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

3
votes
1answer
56 views

Correspondence $\{$principal $G$-bundles on $M\}\leftrightarrow\{$conjugacy classes of homomorphisms $\pi_1(M)\to G\}$

Context. I'm reading Qiaochu's short note Surfaces and the representation theory of finite groups which aims to prove Mednykh's formula inspired by ideas from topological quantum field theory. On page ...
1
vote
1answer
21 views

Holonomy of a curve in case of principal $U(1)$ bundle

Suppose $\pi : P\rightarrow M$ is principal $U(1)$ bundle. Let $\gamma$ be a loop in $M$ based at $x_0$ and write $iA$ as connection 1-form on $P$ where $A\in \Omega(P)$. Now define $hol_{\gamma}(A)\...
0
votes
0answers
15 views

Sign disagreement in curvature form on $U(1)$-bundle

this is rather trivial question to masters, but as I'm totally disoriented by my computation, so deciding to ask. I'm trying to solve the following exercise, 1.1, showing the curvature 2-form $F(X,Y)=...
1
vote
1answer
25 views

Apply connections to a gauge transformation?

I'm reading Donaldson's book, Floer homology groups in Yang-Mills theory. On page 82, he considers a trivial bundle $P$ over a $4$-manifold $X$ with tubular ends which is equipped with a connection $...
1
vote
0answers
37 views

Making a principal bundle into a covering space

Suppose $\pi : P\rightarrow M$ is a principal $G$-bundle. I want to make this into a covering map by changing the topology of $P$. By local triviality we can find for each $x\in M$ an open $U\subset ...
1
vote
0answers
15 views

Definition of isomorphism classes of vector bundles with reduced structure group

I'm looking for a definition of the notion of isomorphism between vector bundles $E$ and $F$, over the same base $X$, whose structure groups have been reduced from $GL(n)$ to some subgroup $G\subseteq ...
3
votes
2answers
30 views

Möbius Band Bundle $(Mo,\mathbb{S}^1,\text{proj}_1,\mathbb{R}) $ is not a Principal $\mathbb{R}$-bundle

This is claimed in various places. The problem seems to be with finding a free and transitive group action that has the fibers of $Mo$ as its orbits. I construct $Mo$ as $$ Mo = \mathbb{S}^1 \times \...
0
votes
0answers
22 views

Principal bundle isomorphism.

Let $G\longrightarrow P\overset{\pi}{\longrightarrow} M$ be a differentiable principal bundle, i.e. $M$ and $P$ are differentiable manifolds, $G$ is a Lie group, $\pi$ is a differentiable surjective ...
1
vote
0answers
55 views

Exterior derivative on principal bundle

In Nakahara's Geometry, Topology and Physics on page 375, he constructs a Lie-algebra-valued one-form $\omega$ on a principal bundle $P$ by "lifting" a Lie-algebra-valued one-form $\mathcal A_i$ on an ...
1
vote
1answer
25 views

principal bundle morphism preserves fundamental group

Two related questions. What is the morphism for principal bundles? Does it "preserve" fundamental groups? Fibre bundle morphisms usually preserve "the structure on the fibre". I am not sure how to ...
1
vote
1answer
20 views

The bundle of spin frames as an associated bundle

$\DeclareMathOperator{\Spin}{Spin}$Let $X$ be an oriented smooth $n$-manifold with the frame bundle $\pi_{SO} \colon F_{SO} \to X$. Then the bundle of spin frames is a $\Spin(n)$-bundle $\pi_{\Spin} \...
1
vote
1answer
19 views

Effect of mapping of principal fiber bundles on a principal connection

Let $\lambda = (P,\pi,M,G)$ and $\lambda' = (P',\pi',M',G')$ be two principal fiber bundles, $\lambda$ being equiped with a principal connexion whose connexion form is $\omega$. If $(f,k,\rho)$ is a ...
1
vote
1answer
25 views

why does the regular action of the structure group not imply triviality of a fibre system?

Let $P$ and $X$ be algebraic varieties, $\pi:P\to X$ a morphism and $G$ an algebraic group acting on $P$. Serre calls the triple $(G,P,X)$ a fibre system an proves that if it is locally isotrivial (i....
1
vote
0answers
27 views

What is $P\times_G E$?

I know what is principal bundle and associated bundle according Wiki.But I am not understand what is $P\times_G E$ .Seemly it is bundle,but I am not sure what structure is it . Below picture is from ...
1
vote
0answers
28 views

Sectional category (Schwarz genus) of the Milnor join construction

Assume topological spaces to be normal and paracompact. Following the article: "The genus of a fiber space" by A. Schwarz, we call the sectional category (or Schwarz genus) of a locally trivial fiber ...
1
vote
1answer
50 views

Confused by two different perspectives on $G$-vector bundles

I'm trying to understand how these two perspectives on vector bundle with a $G$-action come together. Perspective 1: Let $P \to X$ be a principal $G$-bundle. The associated bundle construction gives ...
2
votes
0answers
21 views

Lifting the Einstein-Hilbert action into the frame bundle

If we have a four dimensional real spacetime $(M,g)$, with $g$ being a $(-+++)$ signature Lorentz-metric, and $\{\theta^0,\theta^1,\theta^2,\theta^3\}$ is a local orthornormal coframe defined in some ...
2
votes
3answers
83 views

Flat non-trivial $U(1)$-bundle? Is it possible?

maybe this is a very stupid question and I'm missing something very trivial. It's well known that $U(1)$-bundles are classified by the Euler class or the first Chern class. More precisely, the ...
2
votes
1answer
48 views

Explicit Classifying map for a vector bundle

I'm interested in writing down explicitly the classifying map for a given real vector bundle $\pi\colon E \to B$ of rank, say $k$. Take $B$ to be a compact manifold (I'm interested in this case) so we ...
0
votes
1answer
29 views

Local one sections and connections $1$-forms?

Let $\pi:P\longrightarrow M$ be a $G$-principal bundle endowed with a connection $1$-form $\omega\in \Omega^1(P; \mathfrak{g})$ where $\mathfrak{g}$ is the Lie algebra of $G$. Let $\{U_i\}_{i\in I}$ ...
2
votes
1answer
81 views

Is there a nontrivial fiber or principal bundle over $S^3$?

Is there a nontrivial fiber or principal bundle over $S^3$?I know that, by a paper of Steenrod,see the link below, every sphere bundle on 3- sphere is trivial but what about arbitrary fiber ...
0
votes
1answer
26 views

Are there multiple non-isomorphic principal $G$-bundles on Euclidean space? [duplicate]

I'm pretty sure the answer is out there, see this MathOverflow question, but that is unfortunately way over my head :). I'm interested in the case that $G$ is a Lie group (e.g. $U(1)$), but I don't ...
1
vote
0answers
77 views

Action on algebraic variety and adjoint bundles

Let $X$ be a complex algebraic variety and let $G$ be a complex algebraic group; I mean that $X$ is a reduced, separated scheme of finite type on $Spec\mathbb{C}$, and the underlying set of $G$ is a ...
0
votes
2answers
71 views

Defining a differentiable structure by means of functions.

I am trying to understand the construction of principal bundles from Kobayashi and Nomizu, and the situation is the following. Let $M$ be a manifold, $\{ U_\alpha \}_{\alpha \in A}$ an open covering ...
2
votes
1answer
34 views

What does $P\times_G V\to B$ mean?

Let $$\pi:P\to B$$ be a principal $G$-bundle and $$\rho:G\times V\to V$$ a continuous action of $G$ on the vector space $V$. What does the notation $P\times_G V\to B$ mean? It is supposed to be ...
1
vote
2answers
32 views

Parallel displacement on principal bundles

Let $\pi : P \to M$ be a principal bundle with structure group $G$ and connection $\Gamma$. For a fixed $x \in M$, denote by $\Omega(x)$ the space of piecewise differentiable loops based at $x$. Every ...
5
votes
1answer
83 views

Interpretation for the curvature and monodromy of a connection - Reality check

Let $P \to M$ be a principal $G$-bundle with connection form $\omega \in \Omega^1(P,\mathfrak{g})$. Here are the statements I'm basing my viewpoint on: A connection is flat (vanishing curvature)...
2
votes
2answers
27 views

Lift of a curve in a principal bundle?

Let $\pi:P\longrightarrow M$ be a $G$-principal bundle and $I:=[0, 1]$. Given a curve $\alpha:I\longrightarrow M$ and $p_0\in \pi^{-1}(\alpha(0))$ how can I show there is a curve $\beta:I\...
3
votes
0answers
24 views

Two ways to define the fundamental vector field on a principal bundle?

Let $\pi:P\longrightarrow M$ be a $G$-principal bundle. Let $\mathfrak{g}$ be the Lie algebra of left-invariant vector fields on $G$ and $\mathfrak{V}(P)$ be the space of vertical vector fields on $P$,...
1
vote
0answers
31 views

Description of complex conjugate $\operatorname{Spin}^c$ structure without cocycles

The following uses exclusively cocycle descriptions for spin and spinc structures which I would like to avoid. See for example Nicolaescu "Notes on Seiberg-Witten invariants", pages 40-41 for their ...
1
vote
1answer
40 views

Classification of $G$-principal Bundle and classification of $G$-coverings: a bridge between the two?

I encountered the following sentence in an exercise (the context is irrelevant) Let $G\cong\langle s_1,s_2,\dots , s_g \mid R \rangle$ be a discrete one relator group. Consider the $G$-principal ...
1
vote
1answer
30 views

Isomorphism of Lie algebras $\mathfrak{g}\simeq \mathfrak{X}^v(P)$?

Let $\pi:P\longrightarrow M$ be a $G$-principal bundle. For $p\in P$, $V_p$ denotes the space of tangent vertical vectors, that is, $V_p:=T_pP_{\pi(p)}$. The space of vertical vector fields will be ...
4
votes
0answers
59 views

Classifying vector bundles with a reduction of its structure group

Let $Bun(X)$ denote the set of equivalence classes of complex rank 2 vector bundles with a reduction of its structure group to $\mathbb{H}^*$. How can I proof that there is a bijection between $Bun(X)$...
2
votes
1answer
57 views

Principal bundles with compact simply connected structure group over 2-manifolds

I'm reading Thomas Friedrich's "Dirac Operators in Riemannian Geometry," where the following is stated (in the Remark on page 42 before section 2.2 begins, if anyone is following along with the ...
1
vote
0answers
32 views

When is a fibration (canonically) a principal fibration over its group of automorphisms?

The question is inspired by the following observation: Let $p: X'\to X$ be a connected covering space where both spaces are suitably nice (say they are CW complexes), then $p: X' \to X$ is a principal ...
0
votes
1answer
33 views

Isomorphism between tangentspace of Lie group quotient and quotient of Lie algebras.

Let $G$ be a Lie group and $H$ a closed subgroup with Lie algebras $\mathfrak g, \mathfrak h$. Then the canonical projection $p: G \to G/H$ is a submersion. Fix a $g \in G$. We have a linear ...
3
votes
1answer
96 views

Why are the fibers of principal G-bundles homeomorphic to G?

I'm trying to get a grip on the modern geometric formulation of gauge theory, in particular connections on principal G-bundles. However, I am stuck right after the definition already: Virtually all ...
1
vote
0answers
14 views

$G$-invariant vector field coming from a principal bundle?

Let $\pi:P\longrightarrow M$ be a $G$-principal bundle. If $(U, \phi)$ is a local trivialization of this bundle then for every $x\in M$ we have a diffeomorphism $$\phi_x:P_{x}\longrightarrow G, \phi_x:...
1
vote
2answers
81 views

Equivalence between principal $ O(n) $-bundles and vector bundles

There's a well-known result (for example, Th. 14.2.7 in tom Dieck's book) that the category of principal $ \operatorname{GL}_n(\mathbb{R}) $-bundles and bundle maps is equivalent to the category of $ ...
2
votes
0answers
31 views

Spin^c structure induced by a spin structure

I wondered how it works exactly to induce a $\mathrm{spin^c}$-structure if a spin structure is given. I wanted to use the following definitions as used in Friedrich`s "Dirac operators in Riemannian ...
5
votes
4answers
113 views

Introduction a good text on principal bundle

Is there a good text that teaches principal bundle or frame bundle? I am looking for a textbook that might serve as an introduction to topology of principal bundles or frame bundles, specially the ...
2
votes
1answer
34 views

Is the total space of a principal bundle parallelizable?

Given a smooth $G$-principal bundle $P \to M$, is $P$ in general parallelizable as a manifold? That is, is the tangent bundle $TP \to P$ trivial? In the case of Klein geometries, and more generally, ...
0
votes
0answers
27 views

induced connections

I am studying "Spin Geometry" and i have the following question. In page 106 after the connection 1-form is defined there is a discussion about induced connections.Supposing we have a connection on ...
1
vote
2answers
58 views

Gauge transformations for line bundle where the manifold is simply connected.

Im trying to understand the significance of the manifold being simply connected for the following (or any really) case to do with basic yang mills theory. We are considering a U(1) line bundle, L, ...
0
votes
0answers
22 views

Some doubts about the Atiyah groupoid

maybe this question is trivial, but I could not understand somethings about the Atiyah groupoid and algebroid. Let $\pi:P \twoheadrightarrow X$ be a principal $G$-bundle (where $G$ is a Lie group). ...
3
votes
1answer
139 views

Does every manifold M always admit a Riemannian metric?

In the book "Geometry and Topology for Physicists" by Nash and Sen, in Section 7.6, after showing that the structure group $GL(n,\mathbb{R})$ of a frame bundle $F(M)$ (for a general manifold $M$ of ...
0
votes
0answers
18 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 ...
5
votes
0answers
107 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
62 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 ...
5
votes
0answers
93 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$. ...