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

1
vote
0answers
27 views

Equivalence between pullback connections of smoothly homotopic maps

Let $f,g:M\rightarrow N$ be smooth maps between smooth manifolds such that there exist a smooth homotopy $H:M\times [0,1]\rightarrow N$ between them. If we have a principal bundle $P\rightarrow N$, we ...
1
vote
0answers
66 views

morphisms of principal bundles with different structure groups

Let $f \,: X \to Y$ be a continuous map between spaces. Let $G$ and $H$ be topological groups. Consider the diagram: \begin{equation} \label{} \begin{array}{ccccccccccccccccccccccccccccccc} E_G ...
1
vote
0answers
80 views

extending maps from spaces to their whitehead towers

Let $f \,: X \to Y$ be a map between connected spaces. Let: $$ X^{(k)} \to \ldots \to X^{(0)} \approx X $$ and $$ Y^{(k)} \to \ldots \to Y^{(0)} \approx Y $$ be whitehead towers for $X$ and $Y$. What ...
5
votes
1answer
115 views

Explicit description of flat connections under pullback on principal bundles over Riemann surfaces

I'm trying to find a proof/reference for a statement that I've seen quoted in some way or the other, but without reference. The setting: let $P\longrightarrow M$ be a flat principal $G$-bundle over ...
0
votes
0answers
12 views

Short-time representation of variations of metrics on principal bundles via exp?

Let us consider a principal $G$-bundle $P\longrightarrow M$ together with an $H$-reduction $s$, where $H$ is a maximally compact Lie subgroup. As an $H$-reduction, $s\in\Gamma(M,P/H)$, hence we can ...
4
votes
1answer
59 views

“Bundle of metrics” on a principal bundle?

I've come across the term "bundle of metrics" on a principal bundle. In particular, my setting is that for $N\longrightarrow M$ a universal cover of a compact Riemann surface, $P\longrightarrow M$ a ...
3
votes
1answer
84 views

Naive question: what good are characteristic classes of principal bundles?

I recently read a development of characteristic classes on principal bundles through curvature forms and the Chern–Weil homomorphism. Unfortunately, this exposition concluded without listing any ...
2
votes
0answers
51 views

How to decompose connections on the complexified orthonormal frame bundle?

Let $E\rightarrow M$ be an orientable vector bundle of rank n equipped with some Riemannian metric, $P:=F_{SO(n)}(E)$ the orthonormal frame bundle. I say that $P^{c}:=F_{SO(n)}(E)\times_{SO(n)} ...
2
votes
0answers
64 views

Clarification on some notation and “assumptions” in page 143-144 of the book “Quantum Fields and Strings: A Course for Mathematicians, Volume 1”

I was trying to read the chapter $1$ (at page $143$) of this book Quantum Fields and Strings: A Course for Mathematicians, Volume 1 that is supposed to be an introduction to modern quantum field ...
4
votes
1answer
121 views

Problems understanding the construction of Hitchin moduli space in his paper “The self-duality equations on a riemann surface”

First, if this post must be broken up in separate questions, please tell me so. I thought it would be better if I simply posed my questions in one thread, as they are directly related to each other. ...
2
votes
2answers
89 views

If a connection on a principal $G$-bundle restricts to an $H$-subbundle, must its holonomy lie in $H$?

Let $P \to M$ be a principal $G$-bundle, equipped with a principal connection $D$. Let $Q \subset P$ be a principal subbundle with fiber $H$, where $H \leq G$ is a (let's say closed and connected) ...
1
vote
1answer
81 views

Every principal bundle over $\mathbb{R}^n$ is trivial

On page 222 in Naber's "Topology, Geometry and Gauge fields: Foundations" there is the following remark. Using more general versions of the Homotopy Lifting Theorem one can prove that any ...
3
votes
1answer
118 views

When does the difference between a vector bundle and the associated frame bundle matter?

In the comments to this question How a principal bundle and the associated vector bundle determine each other, it was remarked that while there is a bijective correspondence between rank $n$ vector ...
1
vote
1answer
64 views

Difference between various type of bundles having a group as fibre

I am trying to understand the difference between these three objects: 1- a fiber bundle in which the fiber is a group $G$ 2- a fiber bundle in which the fiber is a group $G$ and the structure group ...
2
votes
1answer
324 views

How a principal bundle and the associated vector bundle determine each other

It seems to me that given a vector bundle, the associated principal bundle is univocally determined. In fact one has to construct a principal bundle given the base, the fibre (the group $G$ in which ...
2
votes
2answers
207 views

Principal bundle automorphism generating global gauge transformations

Consider a principal $G$-bundle $P$ with connection form $\omega$. An automorphism $f$ of $P$ is by definition a (smooth) $G$-equivariant map: $f(p \cdot g) =f(p) \cdot g$ for all $p\in P$ and $g\in ...
5
votes
1answer
60 views

When can a connection be lifted?

Let $P \rightarrow X$ be a principal $G$-bundle, and $P' \rightarrow X'$ be a principal $G'$-bundle. Let $(f',f'')$ be a morphism from $P'$ to $P$, i.e., a pair of maps $f': P' \rightarrow P$ and ...
2
votes
1answer
52 views

On the structure of a vector bundle

Let $P \rightarrow X$ be a principal $G$-bundle, $\rho: G\rightarrow GL(V)$ and $\sigma: G\rightarrow GL(W)$ be two finite dimensional linear representations of $G$. Let $E=P\times_\rho V$ and ...
0
votes
0answers
51 views

Seifert manifolds

Seifert fiber space is a PFB. The theorem states that every principal fiber bundle (PFB) admits a connection form, so how can we define the connection 1-form on it? Or how can I find a book or article ...
1
vote
1answer
80 views

Action of a Lie group on the tangent bundle..

Let $P\longrightarrow M$ be a $G$-principal bundles. How do I define an action of $G$ over $TP$? Furthermore how can I identify the space of sections $\Gamma(TP/G)$ with $\mathfrak{X}(M)^G$ where ...
2
votes
1answer
194 views

If there exists a global section then the principal bundle is trivial - problem with smoothness

Let $\pi \colon P \to B$ be a principal $G$-bundle and let $s \colon B \to P$ be it's smooth section. In order to show that $P \simeq B \times G$ I define the map $\varphi \colon P \to B \times G$ by ...
2
votes
1answer
152 views

Connections and covariant derivatives

Let $A$ be a connection on a principal $G$-bundle $P$, let $\chi :G\rightarrow GL(V)$ be a representation of $G$, and let $E:=P\times _\chi V$ be the associated gauge bundle. Then, there is a ...
1
vote
1answer
53 views

Maps of $G$-bundles

A vector bundle is a $GL(\mathbb{R}^m)$-bundle with fiber $\mathbb{R}^m$. A principal $G$-bundle is a $G$-bundle with fiber $G$ (where the "$G$" in "$G$-bundle" embeds into $\mathrm{Aut}\, [G]$ by ...
2
votes
0answers
51 views

Heisenberg manifold

I am interested in the Heisenberg manifold, which is the quotient of the real Heisenberg group by the discrete Heisenberg (sub)group. It is a 3 -manifold which may be viewed as a circle bundle over ...
2
votes
1answer
82 views

a question about space of smooth sections

Let $\Gamma(M,L) $ be the space of smooth sections, then why $\Gamma(M,L) $ is isomorphic to $A=\{f:L^{\times}\to \mathbb{C}; f(cz)=c^{-1}f(z), c\in \mathbb{C}-\{0\} , z\in L^{\times}\}$ . Here ...
1
vote
0answers
30 views

Obstruction of such gauge choice

Suppose we consider $\operatorname{ad}P_G \to T^k$ as the associated adjoint bundle (maybe this is not the correct name, but I just mean with the associated vector bundle ${\rm Lie}G$ as standard ...
1
vote
0answers
36 views

$\mathbb{RP}^3 \rightarrow \mathbb{CP}^1$ defines a principal U(1)-bundle

I have to show that the map $\pi: (x_o : x_1 : x_2 : x_3) \in \mathbb{RP}^3 \rightarrow (x_0 + i x_1) : (x_2+ ix_3) \in \mathbb{CP}^1$ defines a principal U(1)-bundle. The two standard coordinate ...
2
votes
0answers
105 views

Local trivializations for orthonormal frame bundle

Let $(E,\pi, M)$ be a real vector bundle of Rank $N$. Then one can define its frame bundle $GL(E)$ as follows: $GL(E)_x:=\{\text{ordered bases of }E_x\}$ (for $x\in M$). $GL(E):=\bigcup_{x\in M} ...
7
votes
0answers
202 views

Orbit space of a free, proper G-action principal bundle

Let $G$ be a topological group and let $r \colon E \times G \to E$ be a continuous right-action on a topological space $X$. If $p\colon E \to B$ is a continuous map into a topological space $B$ such ...
2
votes
2answers
108 views

Manifold non-orientable iff. frame bundle is connected

Let $M$ be a connected smooth manifold and $L(M):=\bigcup_{x\in M}L_xM$ its frame bundle where $L_xM:=\{(v_1,\dots,v_n):\{v_1,\dots,v_n\}\text{ is a basis of }T_xM\}$. $M$ is non-orientable iff. ...
3
votes
0answers
82 views

What is the commutator of a horizontal and vector field for a connection on a Fiber bundle?

I would be tempted to rephrase my question as : why do people seem to care only about the curvature of a connection on fiber bundles ? Indeed, the curvature gives the vertical part of the commutator ...
5
votes
1answer
155 views

How does a left group action on the fiber of a principal bundle induce a right action on the total space?

Suppose I define a "principal $G$-bundle" as follows: A principal $G$-bundle is a fiber bundle $F \to P \overset{\pi}{\to} X$ with a left group action of $G$ on $F$ that is free and transitive, ...
0
votes
1answer
127 views

Local sections of Hopf fibration $(S^3,\pi,S^2)$

In the lecture we showed the local triviality of the Hopf fibration $(S^3,\pi,S^2)$ as a principal-$S^1$-bundle by constructing local sections $$s_1:S^2\setminus\{\infty\}\cong\mathbb{C}\to S^3,\qquad ...
4
votes
1answer
437 views

Intuition of Chern-Weil theory

Let $ P \rightarrow M$ be a $G$-principal bundle. The lie algebra of $G$ is $\frak{g}$ and $P$ has connection form $\omega \in H^1(P,\frak{g})$ and curvature form $\Omega \in H^2(P,\frak{g})$. We ...
1
vote
1answer
154 views

Principal stable $SL(2)$-bundles on a genus $2$ compact Riemann surface.

Let $X$ be a compact Riemann surface with genus $2$. Can you give me examples of stable principal $SL(2)$-bundles on $X$?
1
vote
1answer
60 views

Doubt on how to prove proposition about bundles

I've started studying bundles and fiber bundles and to get some practice I've tried to prove the following proposition: "Every vector bundle $(E,B,\pi,F,G)$ is associated to a given principal bundle ...
5
votes
1answer
128 views

One-form on quotient manifold

Let $M$ be a smooth manifold with tangent bundle $TM$ and cotangent bundle $TM^*$ and $\psi\in TM^*$ a one-form. We denote the quotient manifold of $M$ by the free and proper $G$-action $\varphi$ as ...
1
vote
1answer
105 views

Recovering an Ehresmann connection from its parallel transport

How can we recover an Ehresmann connection on a general fiber bundle (as a horizontal distribution) knowing only its induced parallel transport?
6
votes
1answer
107 views

Formal Definition of Yang Mills Lagrangian

I have a question regarding the Lagrangian in non abelian gauge theory. Say, $G$ is the gauge group and $\mathfrak g$ the associated Lie algebra. The Lagrangian is often written as $$ \mathcal ...
0
votes
1answer
56 views

What form of Leibniz rule is this (principal fiber bundle)?

Let $P(M,G)$ be a principal fiber bundle. Let $\sigma : U \subseteq M \rightarrow P$ be a smooth local section and $f : U \rightarrow G$ a smooth function. For $ a \in G$, $R_a : P \rightarrow P$ is ...
1
vote
0answers
83 views

Principal $G$-bundles as pull back bundles. [duplicate]

Let $G$ be a compact Lie group and consider a $G$-universal bundle $\pi: EG \to BG $ where $BG$ is the classifying space for the group $G$ and the bundle $\pi: EG \to BG $ is defined as the principal ...
2
votes
2answers
124 views

Universal property of universal bundles.

A classifying space for a group $G$ is a topological space $BG$ with a principle $G$-bundle $p : EG \to BG$ where $EG$ is contractile, so that $BG = EG/G$. A classifying space is universal in the ...
4
votes
1answer
171 views

Classifying map

Let $\xi=(E,p,B)$ a principal $G$-bundle and $\eta=(P,\pi,Q)$ a real vector bundle such that $\operatorname{rank}(\eta)=n$. We can consider a classificant space $BG$. What is the classifying map $f:X ...
2
votes
1answer
133 views

Show that an Ehresmann connection on a principal G bundle is equivalent to a Lie Algebra Valued one form.

Let $E$ be a smooth principal $G$-bundle on M. The vertical bundle $V$ is defined as $V=\ker(d\pi:TE\to \pi^*TM)$. An Ehresmann connection on $E$ is a smooth subbundle $H$ of $TE$ (also called the ...
8
votes
1answer
252 views

Equivalence of Definitions of Principal $G$-bundle

I've finally gotten around to learning about principal $G$-bundles. In the literature, I've encountered (more than) four different definitions. Since I'm still a beginner, it's unclear to me whether ...
4
votes
0answers
185 views

Group actions and associated bundles

Let $P$ be a principal $G$-bundle over $B$, and let $G$ act on some space $F$ (feel free to work in your favorite category of spaces, if this helps). Then $\text{Aut}{P}$ (aka the group of gauge ...
10
votes
1answer
229 views

Why base point makes a huge difference?

While preparing a talk, I was tempted to "prove" the following relationship: $$\text{Prin}_{G}(X)\cong [X,BG]\cong [B[\pi_{1}(X),BG]\cong [\Omega B[\pi_{1}(X)],\Omega BG]\cong [\pi_{1}(X),G]$$ Here ...
9
votes
3answers
943 views

Texts on Principal Bundles, Characteristic Classes, Intro to 4-manifolds / Gauge Theory

I am looking for a textbook that might serve as an introduction to principal bundles, curvature forms and characteristic classes, and perhaps towards 4-manifolds and gauge theory. Currently, the only ...
13
votes
1answer
476 views

Local triviality of principal bundles

Suppose I define a principal $G$-bundle as a map $\pi: P \to M$ with a smooth right action of $G$ on $P$ that acts freely and transitively on the fibers of $\pi$. Does it follow that $P$ is locally ...