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
2answers
19 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
59 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
62 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
31 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
30 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
63 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 ...
2
votes
2answers
20 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 ...
3
votes
0answers
20 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 ...
1
vote
0answers
25 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
35 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
51 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 ...
2
votes
1answer
46 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
25 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
30 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
79 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
11 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, ...
1
vote
2answers
61 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
25 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 ...
4
votes
4answers
74 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
26 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
20 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
52 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
20 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
0answers
85 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
16 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
102 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
46 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
84 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
28 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
43 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
38 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$ ...
4
votes
1answer
69 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
34 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 ...
3
votes
1answer
26 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
78 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 ...
2
votes
0answers
30 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 ...
5
votes
0answers
47 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
63 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
56 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
53 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
67 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
63 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 ...
2
votes
1answer
72 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
38 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
51 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
27 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
34 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
83 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
261 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 ...