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
100 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 ...
8
votes
1answer
195 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 ...
9
votes
3answers
856 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 ...
12
votes
1answer
434 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 ...
4
votes
0answers
179 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 ...
2
votes
1answer
202 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 ...
3
votes
1answer
84 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 ...
2
votes
3answers
101 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 ...
1
vote
0answers
67 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 ...
1
vote
1answer
148 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$?
0
votes
0answers
17 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 ...