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

0
votes
0answers
14 views

Reductions of structure groups and sections of coset bundles

I'm looking for a reference for the following proposition: Let $G$ be a Lie group and $H$ a (closed) Lie subgroup of $G$. Let $E \to B$ be a principal $G$-bundle. Then reductions of the ...
1
vote
0answers
24 views

Formal adjoint of curvature (Yang Mills)

Currently reading a paper on finding solutions to the Yang Mills equation $D^*\Omega=0$, where $\Omega$ is the curvature and $D^*$ is the formal adjoint of the exterior covariant derivative $D$. ...
2
votes
0answers
23 views

Difference between types of connections [closed]

For my background, I am familiar with the basics of differential geometry, especially Riemannian geometry, and in some more advanced topics relevant to physics, especially general relativity. Lately ...
4
votes
0answers
58 views

Does a left group action on a principal bundle induce an action on associated vector bundles?

Let $G\hookrightarrow P\xrightarrow{\pi}M$ be a principal $G$-bundle with right action $\cdot $ and suppose we are also given a left action $\rho: U\times P\rightarrow P$ of some group $U$ on $P$. ...
1
vote
0answers
16 views

Decomposition of tangent space of principal bundle

A connection on a principal bundle $\pi:P\rightarrow M$ is a choice of horizontal subspace $H_p$ at each $p\in P$, such that $T_p P = H_p + V_p$ where $V_p = \ker((\pi_*)_p)$. It is very common to ...
1
vote
1answer
18 views

Lifting a principal G-bundle to a principal bundle with structure group a covering of G

Let $P\to $ be a principal $G$-bundle. Suppose $U$ covers $G$. What do we mean by a lift of $P$ with respect to $U$? Can we take $P,M,G,U$ such that no lift exists?
1
vote
0answers
27 views

Bundle map is isomorphism iff it covers a homeomorphism

Consider $P_0$ and $P_1$ principal G-bundles with projection maps $\pi_0, \pi_1$, respectively; $f:P_0 \rightarrow P_1$ a continuous G-equivariant map (i.e. a bundle map) and $g:X_0 \rightarrow X_1$ ...
3
votes
1answer
47 views

Transformation behavior of connection on vector bundle.

Using the notation from Jost's various books on geometry, let $$ D=d+A $$ be a connection on a vector bundle $\pi:E\rightarrow M$ with structure group $GL(n,\mathbb{R})$. Also let $\{U_\alpha\}$ be ...
1
vote
0answers
27 views

$G$-structure defined by a tensor

Let $M$ be an $n$ dimensional manifold with its bundle of linear frames $\pi:L(M)\to M$. Suppose $T_0$ is a tensor on $\mathbb R^n$ and $u\in L(M)$. We may view $u$ as a linear map $u:\mathbb R^n\to ...
2
votes
1answer
19 views

Is a principal bundle automorphism locally given by a left action?

Let $G\hookrightarrow P \xrightarrow{\pi} M$ be a principal bundle, denote by $\cdot$ the right action of $G$ on $P$. Let $f:P\rightarrow P$ a bundle automorphism (i.e. $f$ is a diffeo, $f(p \cdot g) ...
5
votes
1answer
72 views

Is this operation meaningful or it is a mistake in the book?

I've been reading Nakahara's "Geometry, Topology and Physics" and found something quite strange on the section 10.3.3 which discusses the geometrical meaning of the curvature of a connection. It is ...
1
vote
0answers
42 views

Expansion of path-ordered integral and curvature

Suppose $(P,\pi, M)$ is a principal bundle with structure group $G$ and suppose $\omega \in \Omega^1(P,\mathfrak{g})$ is a connection on $P$ with curvature $\Omega = D\omega$. If $\sigma : U\subset M ...
2
votes
0answers
26 views

Reduction to the special orthogonal group

It is well known that an $SL_n$-bundle $E$ on an algebraic curve $X$ is self dual (i.e $E\cong E^*$) iff it is an $SO_n$-bundle However, I can't see why, because the isomorphism $E\cong E^*$ means ...
3
votes
0answers
26 views

Quotient space of equivariant vector bundle.

Let $p: P \to B$ be a principal $G$-bundle, and $\pi : E \to P$ a vector bundle with action of $G$ on $E$ such that $G$ acts by vector bundle isomorphisms and $\pi$ is equivariant. Is it always the ...
4
votes
1answer
51 views

To Reconcile Two Different Descriptions of the Dual Bundle

$\newcommand{\mc}{\mathcal}$ Let $\pi:E\to M$ be a smooth vector bundle with typical fibre a $k$-dimensional vector space $\mc V$. There are (at least) two ways to construct the dual bundle of $E$. ...
3
votes
0answers
51 views

Rigorously what is this integral?

I've been studying some gauge theories approach to problems in mechanics in order to get a better understanding of the ideas from gauge theories and to see some applications of fibre bundle theory. ...
1
vote
2answers
42 views

A Lie Group Homomorphism $f:G\to H$ Induces a Functor from Principal $G$-Bundles to $H$-Bundles

I am trying to understand Qiaochu Yuan's answer to this question. The first line of the answer reads: A Lie group homomorphism $f:G\to H$ induces a functor from the category of principal ...
3
votes
1answer
58 views

Applications of Principal Bundle Construction: Vague Question

I recently read the principal $G$-bundle construction on a smooth manifold $M$, where $G$ is a Lie group. To understand them better, I am looking for some applications. Can the principal ...
1
vote
0answers
40 views

Motivation for the name “vertical subspace” in the context of fiber bundles.

Let $p:E\to B$ be a smooth fiber bundle with fiber $F$. Consider the vector spaces $V_u=\{x\in T_uE: p_*(x)=0\}$. We call $V_u$ the vertical subspace of the tangent space $T_uE$. How can we see that ...
1
vote
1answer
35 views

The fundamental vector fields of a principal bundle are vertical.

Let $p:P\to M$ be a principal $G$-bundle. To each $A$ in the Lie algebra of $G$ corresponds a fundamental vector field $A^*$ on $M$ defined by $$A^*_u=\frac{d}{dt}|_{t=0} u(exp(tA))$$ How can we see ...
2
votes
0answers
28 views

How to Induce a Metric on Homogeneous Space $G/H$ by the Metric from Bundle G

I am having a question on how to induce a metric $g$ on homogeneous space $G/H$, if one is given a ${\rm Ad}_H$-invariant metric $\bar{g}$ on G. More specifically and simply, consider principal ...
1
vote
0answers
47 views

Certain principle bundle structure on $\mathbb{R}^{n}\setminus \{0\}$

Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a principle fibre bundle. Here $\mathbb{H}^{2}$ is the Poincare upper plane ...
0
votes
0answers
19 views

$ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $is a principal $ O(n-k) $-bundle.

I'm trying to prove that $ \pi : O(n) \rightarrow O(n)/O(n-k) \cong V_{n,k}(\mathbb{R}) $; $ A \longmapsto (Ae_1, ... ,Ae_k) $ (the projection from the orthogonal group to the Stiefel manifold) is a ...
0
votes
0answers
25 views

Connection of a $G$-principal bundle as a section of a vector bundle?

In what follows all manifolds, Lie groups and mappings are meant to be $C^\infty$. Let $\pi:M\longrightarrow B$ be a left $G$-principal bundle. A connection on this bundle is a map $H$ which assigns ...
4
votes
0answers
75 views

Does naturality for characteristic classes imply the classifying space is universal for them?

Let $G$ be a Lie group, $\mathfrak g$ its Lie algebra, $K$ its maximal compact subgroup. To every flat $G$-bundle $P$ over a smooth manifold $M$ I can associate a homomorphism $w_P: H^*(\mathfrak g, ...
4
votes
2answers
151 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 ...
5
votes
0answers
46 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
14 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
94 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
46 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
113 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
27 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
36 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
24 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
26 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
28 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
19 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
122 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
106 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
50 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
58 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
58 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
33 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
72 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
33 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
62 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
50 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
37 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
1answer
60 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
57 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 ...