# Tagged Questions

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$.

70 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 ...
76 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 ...
87 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 ...
44 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 ...
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 ...
34 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 ...
35 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 ...
87 views

46 views

47 views

### Gauge theory on a trivial bundle

I am learning gauge theory, so I tried to understand what happens in the case of a trivial principal bundle. However I have some problems understanding how a connection looks like in that case. Here's ...
86 views

### Upgrading Leray–Hirsch to Künneth for principal bundles

The Leray–Hirsch theorem says that given a fiber bundle $F \to E \to B$ such that $H^*(F)$ is free (as a module over whatever coefficient ring $k$) and, for each $n \geq 0$ there is a set of classes ...
63 views

### What is the principal bundle structure of $O(n)$?

Consider the map $\pi:O(n)\rightarrow G(k,n)$ which maps $A\in O(n)$ to the subspace of $\mathtt{R}^n$ spanned by the first $k$ columns of $A$. Here $G(k,n)$ is the Grassmannian manifold. My question ...
611 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 ...
143 views

### Lifting Riemannian metrics on principal bundles

Given a principal bundle $\pi:M\rightarrow M/G$, there are natural maps $$\pi_{\mathcal{F}}:\mathcal{F}(M)^G\rightarrow\mathcal{F}(M/G)$$ ...
41 views

### Contraction of second exterior covariant derivative with metric

Let $G \hookrightarrow P \to M$ be a principal $G$ bundle, $P \times_\rho V$ be a vector bundle associated to representation $\rho$ of $G$ on $V$. If $\omega$ is a connection $1$-form on $P$ then we ...
49 views

### This result holds in general or just for vector bundles?

If $(P,\pi, M)$ is a principal $G$-bundle, then given a left $G$-space $F$, using the $G$-product we can create a new bundle $(P_F, \pi_F, M)$ that is said to be associated to the first. Also, if we ...
105 views

### Reference for principal bundles and related concepts

I am looking for a good reference for fibre bundles on differential manifolds, Ehresmann connections, principal $G$-bundles and principal Ehresmann connections (the $G$-equivariant version of ...
47 views

### Principal bundle map is fiber homeomorphism

let $B_1(\mathcal{P}_1:P_1\rightarrow X_1)$ and $B_2$ be two principal G-bundles and let $\tilde f:P_1 \rightarrow P_2$ be a principal bundle map. I want to prove that $\tilde f$ carries each fiber of ...
49 views

### Let $\pi: E \to M$ a vector bundle. Is $E$ a direct summnad of $M\times\mathbb{R}^{d}$, for some $d$?

Let $\pi: E \to M$ a vector bundle over a smooth manifold $M$. $E$ is direct summand of $M\times\mathbb{R}^{d}$, if there exist a vector bundle morphisms $f:E\to M\times\mathbb{R}^{d}$ and ...
120 views

### Principal $\mathrm{SL}_n$-bundles

It seems to be well-known that a principal $\mathrm{SL}_n$-bundle on a scheme or manifold $X$ is the same as a vector bundle of rank $n$ whose determinant is a trivial line bundle. One direction is ...
27 views

### extension of a principal connection

I am trying to prove the following: Suppose that $\alpha:H\to G$ is a Lie group homomorphism and let $P\to M$ be a principal $H$-bundle and $Q\to M$ a principal $G$-bundle. Suppose further that there ...
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$)?