In mathematics, a principal bundle is a mathematical object which formalizes some of the essential features of the Cartesian product $X\times G$ of a space $X$ with a group $G$.

learn more… | top users | synonyms

4
votes
2answers
95 views

Classify sphere bundles over a sphere

Problem (1) Classify all $S^1$ bundles over the base manifold $S^2$. (2) Do the same question for $S^2$ bundles. Moreover, does there exist a universal method to solve this kind of ...
4
votes
0answers
33 views

Cartan geometry on manifolds with boundary

I was reading Sharpe's text on Cartan geometry, and I started to wonder: Does the theory change in any significant way if the base manifold for the Cartan principal bundle is allowed to be a smooth ...
1
vote
0answers
8 views

How to obtain the metric tensor of a principal bundle total space given a connection (assuming it is metric compatible) in the total space?

The title says it all. In a principal bundle I know the connection defined in the total space. How can I calculate the metric that would be compatible with this connection.
8
votes
1answer
74 views

What the curvature $2$-form really represents?

Let $(E,\pi,B)$ be a principal bundle with structure group $G$. The connection $1$-form can be thought of as a projection on the vertical part. It allows us to characterize the horizontal subspaces as ...
2
votes
0answers
35 views

Conjugate group homomorphisms induce homotopic maps on classifying spaces

Let $G$ be a group and let $\phi: G \to G$ be the inner automorphism given by conjugation by an element $g' \in G$, i.e., $\phi(g) = g'^{-1} g g'$. I want to show that the induced map on classifying ...
5
votes
1answer
66 views

Intuition behind the connection one-form

When we define a connection on one principal bundle $\pi: P\to M$ with structure group $G$ we define it as an association of one subspace $H_pP\subset T_pP$ for each $p\in P$ such that $T_pP = H_pP ...
0
votes
0answers
26 views

Sections of associated bundles isomorphism between spaces

I am reading some lecture notes which can be found here . They say that sections of $P\times_G F$ are represented by the functions $f:P\rightarrow F$ satisfying $f(pg)=\rho(g^{-1})\circ f$. Or ...
4
votes
1answer
29 views

Sections of associated bundles

Let $\pi:P\rightarrow M$ be a Principal bundle and $\pi_V:P\times_G F\rightarrow M$ be its associated bundle via the representation $\rho:G\rightarrow GL(V)$. Fact: $\Gamma(P\times_G ...
1
vote
0answers
22 views

Trouble proving identity - Gauge theory/Maurer-Carton one-form/Adjoint representation

The Identity I am trying to prove is the one in this already asked question how to show that ${ad}_{g_{\alpha\beta}} \circ g_{\alpha\beta}^{\star}\theta=-g_{\beta\alpha}^{\star}\theta$? The author ...
0
votes
0answers
20 views

Why is the kernel of the connection one form a connection on a principal bundle?

Let $\pi:P\rightarrow M$ be a principal bundle and let $\omega\in \Omega(P;\mathfrak{g})$ be a one form satisfying $\omega(\sigma(X))=X$ and $R_g^*\omega=\text{Ad}_{g^{-1}}\circ\omega$ Then ...
4
votes
0answers
24 views

Isomorphism of Principal Bundles with structure groupoid

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid. Suppose that $\pi:P\rightarrow B$ is a $\mathcal{G}$-principal bundle and let $(h_s,g_s):(P,B)\rightarrow (P,B); s\in [0,1]$, be a homotopy ...
0
votes
0answers
17 views

Universal G-bundle

I want to study the cohomology of the bundle $BSO_n \times BSO_m \to B[O_n \times O_m]^{+} $, where $[O_n \times O_m]^{+} = (O_n \times O_m) \cap SO_{n+m}$. I know that for studying such cohomology I ...
4
votes
0answers
112 views

Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general situation. Especially I do not work in any "convenient" category of spaces. Wikipedia ...
4
votes
2answers
83 views

Principal bundles, connection forms and fundamental vector fields

Suppose $\pi:P\rightarrow M$ is a principal bundle, $\omega\in \Omega^1(P;\mathfrak{g})$ is the connection one form and $\sigma(\cdot)$ is the fundamental vector field associated to some vector field ...
0
votes
1answer
42 views

Proof of $G\rightarrow G/H$ is a Principal H bundle

Let $G$ be a Lie group and let $H$ be a closed subgroup (not necessarily normal). Then $G$ is a principal $H$-bundle over the (left) coset space $G/H$. I could proof that the fibers are all ...
3
votes
1answer
55 views

Associated bundles: isomorphism between spaces of differential forms.

I think this will be an easy question for numerous people. Let $\pi:P\rightarrow M$ be a principal bundle and $\rho:G\rightarrow GL(V)$ a representation. The space of $k$ forms on $M$ with values in ...
0
votes
1answer
57 views

Bundles with nonzero Stiefel class over $\mathbb{CP}^2$

Could you please show me an example of a principal $SO(3)$-bundle over $\mathbb{CP}^2$ such that the restriction of this bundle on a projective line is non-trivial. Edit: One can try to construct the ...
0
votes
0answers
25 views

Gauge transformation laws, proof in Kobayashi & Nomizu Foundations of Differential geometry

I have two questions about this proof found in K&N's Foundations of Differential Geometry. 1) Can someone please explain how they deduce ...
1
vote
2answers
67 views

Gauge fields and restrictions of the connection one form

I am working through some lecture notes on principal bundles and am stuck on the proof of a certain proposition. In the following, $\pi:P\rightarrow M$ is a principal bundle, $\omega$ is the ...
1
vote
0answers
24 views

Identity of curvature in a principal bundle

I saw in wikipedia (http://en.m.wikipedia.org/wiki/Curvature_form) the following identity for the curvature 2-form of a principal bundle $$2\Omega(X,Y)=h[X,Y]-[hX,hY]$$ where $X,Y\in T_uP$, $P$ being ...
2
votes
1answer
55 views

The curvature of the connection one form - misunderstanding

Let $(P,M,G,\pi,\cdot)$ be a principal bundle. Let $\omega$ be the connection one form for a connection $H\subset TP$. Let $X,Y$ be smooth vector fields on $P$. Then the curvature $\Omega$ of the ...
1
vote
1answer
37 views

Failure to close of horizontal lift on principal bundles.

When considering the geometrical meaning of the curvature on principal bundle $\pi: P \rightarrow M$, let us consider a coordinate system ${x_μ}$ on a chart $U$. Let $V = ∂/∂_{x_1}$ and $W = ...
0
votes
1answer
25 views

Gauge theory on a trivial bundle

I am learning gauge theory, so I tried to understand what happens in the case of a trivial principal bundle. However I have some problems understanding how a connection looks like in that case. Here's ...
3
votes
0answers
43 views

Upgrading Leray–Hirsch to Künneth for principal bundles

The Leray–Hirsch theorem says that given a fiber bundle $F \to E \to B$ such that $H^*(F)$ is free (as a module over whatever coefficient ring $k$) and, for each $n \geq 0$ there is a set of classes ...
2
votes
0answers
55 views

What is the principal bundle structure of $O(n)$?

Consider the map $\pi:O(n)\rightarrow G(k,n)$ which maps $A\in O(n)$ to the subspace of $\mathtt{R}^n$ spanned by the first $k$ columns of $A$. Here $G(k,n)$ is the Grassmannian manifold. My question ...
2
votes
3answers
210 views

$M \times N$ orientable if and only if $M, N$ orientable

For two manifolds $M$ and $N$ I'm trying to prove that $M \times N$ is orientable if and only if $M$ and $N$ are orientable. My attempt so far: $\impliedby)$ Assume $M, N$ are orientable. Then ...
4
votes
1answer
57 views

Lifting Riemannian metrics on principal bundles

Given a principal bundle $\pi:M\rightarrow M/G$, there are natural maps $$\pi_{\mathcal{F}}:\mathcal{F}(M)^G\rightarrow\mathcal{F}(M/G)$$ ...
2
votes
0answers
33 views

Contraction of second exterior covariant derivative with metric

Let $G \hookrightarrow P \to M$ be a principal $G$ bundle, $P \times_\rho V$ be a vector bundle associated to representation $\rho$ of $G$ on $V$. If $\omega$ is a connection $1$-form on $P$ then we ...
2
votes
1answer
46 views

This result holds in general or just for vector bundles?

If $(P,\pi, M)$ is a principal $G$-bundle, then given a left $G$-space $F$, using the $G$-product we can create a new bundle $(P_F, \pi_F, M)$ that is said to be associated to the first. Also, if we ...
3
votes
0answers
67 views

Reference for principal bundles and related concepts

I am looking for a good reference for fibre bundles, Ehresmann connections, principal $G$-bundles and principal Ehresmann connections (the $G$-equivariant version of Ehresmann connections). Could ...
0
votes
1answer
27 views

Principal bundle map is fiber homeomorphism

let $B_1(\mathcal{P}_1:P_1\rightarrow X_1)$ and $B_2$ be two principal G-bundles and let $\tilde f:P_1 \rightarrow P_2$ be a principal bundle map. I want to prove that $\tilde f$ carries each fiber of ...
0
votes
1answer
47 views

Let $\pi: E \to M$ a vector bundle. Is $E$ a direct summnad of $M\times\mathbb{R}^{d}$, for some $d$?

Let $\pi: E \to M$ a vector bundle over a smooth manifold $M$. $E$ is direct summand of $M\times\mathbb{R}^{d}$, if there exist a vector bundle morphisms $f:E\to M\times\mathbb{R}^{d}$ and ...
5
votes
2answers
109 views

Principal $\mathrm{SL}_n$-bundles

It seems to be well-known that a principal $\mathrm{SL}_n$-bundle on a scheme or manifold $X$ is the same as a vector bundle of rank $n$ whose determinant is a trivial line bundle. One direction is ...
1
vote
0answers
22 views

extension of a principal connection

I am trying to prove the following: Suppose that $\alpha:H\to G$ is a Lie group homomorphism and let $P\to M$ be a principal $H$-bundle and $Q\to M$ a principal $G$-bundle. Suppose further that there ...
0
votes
1answer
26 views

Invariant forms on principal bundles

Let $\pi:M \to B$ be a principal $G$-bundle and $\xi$ a invarint $k$-form on $M$. Does $k> dimG$ implies that $\xi$ is a basic form (pull back of a $k$-form on the base manifold $B$)?
0
votes
0answers
42 views

Pushout with principal bundles

I am looking at the wikipedia page on reduction of the structure group for principal bundles (http://en.wikipedia.org/wiki/Reduction_of_the_structure_group) and at the beginning they introduce, for an ...
1
vote
0answers
36 views

Invariant characterization of vector bundles associated to a principal bundle?

I have two related questions. Suppose I have a principal $G$-bundle $P\xrightarrow{\pi} M$. The usual construction of an associated vector bundle goes as follows. Fix some representation $\rho : ...
3
votes
0answers
48 views

How are the components of a connection on a homogenous space related to the Mauer-Cartan form?

I am finding it hard to understand in what way the Mauer-Cartan form $\omega_G$ of a Lie group $G$ can be used to define a connection on a bundle $G \to G/H$ in the same way that parallel transport of ...
4
votes
0answers
90 views

Connections on principal bundles and vector bundles

In Donaldson and Kronheimer's book on the geometry of four manifolds, a brief review of connections on principal bundles is given. Three equivalent definition are stated: 1) Via horizontal subspaces, ...
6
votes
1answer
146 views

Flat connection with non-trivial holonomy? I cannot get it

maybe this is a dumb question, but I cannot understand how a principal $G$-bundle can have non-trivial holonomy with a flat connection. Maybe I'm missing something, but doesn't Ambrose-Singer theorem ...
0
votes
0answers
24 views

Are (certain) metric-preserving vector bundle maps proper?

Given two real vector bundles $p\colon U \to X$ and $q\colon V \to Y$ with a metric and a vector bundle map $f\colon U \to V$ preserving this metric (i.e. it's fiberwise an orthogonal map). Can we ...
4
votes
1answer
104 views

Canonical connection on $CP^n$

I have heard something along the lines of "There is a canonical $U(1)$ connection on $CP^n$" and I am trying to understand what that means. First I suppose that the sentence refers to a line bundle ...
0
votes
0answers
22 views

A construction on principal bundles

In a paper the principal $Sp(1)$-bundle $P$ over $S^4$ is introduced as follows: let $Sp(1)\times Sp(1)\hookrightarrow Sp(2) \xrightarrow{\pi} S^4$ be the spin structure on $S^4 $. The principal ...
1
vote
1answer
36 views

Well-definedness of the action of the structure group of a principal bundle on the total space.

Find the definition of a fiber bundle here- Definition of Fiber Bundle I am having difficulty in proving that the natural action of $K$ on $X$ is well-defined: Let us recall how does K acts on X ...
1
vote
1answer
78 views

Principal Bundle- Definition cum Exercise from “Geometry and Topology” by Bredon

The definition of fiber bundle can be found from here: Definition of Fiber Bundle Then Bredon defines Principal bundle in the exercise as follows: I am not able to show how K acts naturally on ...
3
votes
1answer
127 views

Learning Fibre Bundle from “Topology and Geometry” by Bredon

Bredon defines bundle projection in the following way: $\bf13.1.$ Definition. Let $X,B$ and $F$ be Hausdorff spaces and $p:X\to B$ a map. Then $p$ is called a bundle projection with fiber $F$, if ...
5
votes
0answers
87 views

Exact sequence of tangent spaces of principal $G$-bundles

Let $P$ be a smooth manifold, $G$ a Lie group, $\alpha:P\times G\to P$ a smooth action and $p:P\to P/G$ a smooth principal $G$-bundle. Then, we have the sequence $$ G \xrightarrow{\alpha_a} P ...
0
votes
1answer
52 views

Understanding a statement related to a circle action on a principal bundle found in a paper

I am trying to understand a statement in the paper http://iopscience.iop.org/0951-7715/3/3/012/pdf/0951-7715_3_3_012.pdf I give details below so it should not be necessary to look at the paper. ...
1
vote
0answers
45 views

Relation between principal bundle automorphisms and maps in $\Lambda^0(M,Ad(P))$

Let $ G \hookrightarrow P \xrightarrow{ \pi } M $ be a principal $ G $-bundle over $M$. Denote by $\mathrm{Ad} (P) = P \times _{ \mathrm{Ad} } G $ the non-linear adjoint bundle. It seems to me that ...
3
votes
2answers
114 views

Is the $G$-action on a principal $G$-bundle proper?

Let $G$ be a Lie group. If $G$ acts properly and freely on a manifold $P$, then it is well-known that $P \to P/G$ form a principal $G$-bundle. I would like to know the converse: namely Question: if ...