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

8
votes
1answer
65 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
25 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
48 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
23 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 ...
3
votes
1answer
26 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
19 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
95 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
77 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
38 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
53 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
20 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
66 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
23 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
53 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
34 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
24 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
41 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
52 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
184 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
50 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
30 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
66 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
26 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
21 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
25 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
41 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
86 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
135 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
22 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
99 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
21 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
125 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
84 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
43 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
113 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 ...
2
votes
1answer
86 views

Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
4
votes
1answer
188 views

Principle G bundles v.s. Flat G connection

What is the difference between Principle G bundles v.s. Flat G connection? I heard that for a discrete group $G$ (in physics, or a finite group $G$ in math), the principle G bundles is the same ...
0
votes
0answers
29 views

Differentiable structure on the gauge group?

In this paper I have come across a formulation involving differentiation in the gauge group of a principal bundle which I do not understand (found at the very top of p. 369). Let $P\rightarrow M$ be ...