# Tagged Questions

16 views

### Invariant forms on principal bundles

Let $\pi:M \to B$ be a principal $G$-bundle and $\xi$ a invarint $k$-form on $M$. Does $k> dimG$ implies that $\xi$ is a basic form (pull back of a $k$-form on the base manifold $B$)?
88 views

### Is the $G$-action on a principal $G$-bundle proper?

Let $G$ be a Lie group. If $G$ acts properly and freely on a manifold $P$, then it is well-known that $P \to P/G$ form a principal $G$-bundle. I would like to know the converse: namely Question: if ...
66 views

### Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
102 views

### Principle G bundles v.s. Flat G connection

What is the difference between Principle G bundles v.s. Flat G connection? I heard that for a discrete group $G$ (in physics, or a finite group $G$ in math), the principle G bundles is the same ...
65 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) ...
56 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 ...
47 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 ...
112 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, ...
### 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 ...