The principal-bundles tag has no wiki summary.

**4**

votes

**2**answers

179 views

### The unit tangent bundle of 2- or 4-manifolds as a principal $S^{1}$- or $S^{3}$-bundle

What type of obstructions have been studied so that the unit tangent bundle of a Riemannian 2-(4-)manifold have a structure of a principal $S^{1}$-($S^{3}$-)bundle?

**8**

votes

**1**answer

258 views

### Clutching functions and Classifying maps

Let $E\xrightarrow{p} \Sigma X$ be a principal G-bundle over a suspension. Write $\Sigma X= C_+X\cup_X C_-X$. Then there are trivialisations of the restrictions $E|_{C_+X}\cong C_+X\times G$, ...

**1**

vote

**1**answer

173 views

### Universal bundles: construction of the map associated to a group homomorphism

For a Lie group $G$ let $EG \to BG$ denote the universal bundle. A Lie group homomorphism $\rho: G \to H$ determines a map $B \rho: BG \to BH$ as the classifying map for the principal $H$-bundle $EG ...

**3**

votes

**2**answers

132 views

### Differentiable structure on the Gauge group of a principal bundle?

I am currently reading this paper in which we have a map $g:I\rightarrow Gauge(P)$ for some principal bundle $P$ which is differentiated. I am looking for a reference or explanation what the "most ...

**7**

votes

**0**answers

129 views

### $v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...

**0**

votes

**0**answers

75 views

### Decomposition of the canonical flat connection on $\tilde M\times_{\rho} SL(n,\mathbb{C})$

I'm looking for a proof resp. reference for a statement of the following form:
Let $M$ be a compact Riemann surface, $\tilde M$ its universal covering, $\rho$ a semisimple representation of its ...

**4**

votes

**1**answer

128 views

### Associating a principal bundle to a torsor

in arXiv:math/0212266, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $X =\bigcup \{ U \in ...

**3**

votes

**0**answers

85 views

### Proof of Lemma in “Harmonic maps and the self-duality equations” by Donaldson

I am referring to this paper by S. K. Donaldson. I could not find a freely available version, hence I feel uncomfortable to copy & paste parts of his paper, and won't do so. Nevertheless, I will ...

**0**

votes

**1**answer

81 views

### Decomposing connections on extensions of the frame bundle

I have posted this question on math.stackexchange, without success. I'll make it brief:
Let $E\rightarrow M$ be an orientable vector bundle of rank n equipped with some Riemannian metric, ...

**7**

votes

**0**answers

80 views

### Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action.
I am trying to understand the Hopf bundle ...

**5**

votes

**0**answers

166 views

### What are global sections of the determinant bundle on the Beilinson-Drinfeld Grassmannian?

Let $X$ be a smooth proper algebraic curve over $\mathbb{C}$, and let $G$ be a reductive group over $\mathbb{C}$. Let $Gr_{X,n}$ be the Beilinson-Drinfeld Grassmannian (for n points in $X$), which ...

**1**

vote

**1**answer

81 views

### Normalizing the value of a principal connection at a point

Let $\nabla$ be a symmetric, linear connection on a smooth manifold $X$.
If $p \in X$ is any point, on a normal chart for $\nabla$ around $p$ it holds:
$$ \Gamma_{ij}^k (p) = 0 \ , $$ where ...

**2**

votes

**2**answers

206 views

### Classifying map of a principal bundle

Given a topological group, say $G$, it is well known that the classifying space $BG$ classifies $G$ principal bundles. Under some mild assumption on $G$, one model of $BG$ is the geometric realization ...

**7**

votes

**1**answer

209 views

### Are there principal $G$-bundles whose holonomy group is $G$?

While studying universal constructions on principal bundles, I've stuck on a quite a basic question, namely:
Given a Lie group $G$, does there exist a principal $G$-bundle $\pi \colon P \to B$, for ...

**9**

votes

**1**answer

257 views

### Example: Principal G bundle that is not Zariski locally trivial, G not finite and G simply connected

Let $G$ be an affine algebraic group over $\mathbb{C}$. It is well known that when working with principal $G$ bundles it is too restrictive to require bundles to be locally trivial in the Zariski ...

**4**

votes

**0**answers

205 views

### Principal bundles and Čech cohomology with non-good open covers

I'm trying to compute characteristic classes of principal bundles by defining transition functions and computing them in Čech cohomology. However, it seems all the constructions are defined in terms ...

**0**

votes

**0**answers

83 views

### Stability principal $G$-bundles

I'm trying to study some papers about the stability of principal bundles and in order to have a complete picture of this theory I need some explicit examples that I don't find in web.
Let $X$ be a ...

**1**

vote

**0**answers

125 views

### Obstruction to this gauge choice of the connection of a vector bundle

Let $M$ be a compact manifold with a nowhere-vanishing vector field $R$. Consider principal $G$-bundle $P$ over $M$, and $\mathcal{A}$ being the space of irreducible connections.
Let me denote a ...

**2**

votes

**1**answer

132 views

### Split real form of $SL(2,\mathbb{C})$ description of the two sphere?

If we denote the parabolic subgroup of $SL(2,\mathbb{C})$ by $P$, then we have the well known isomorphism $SL(2,\mathbb{C})/P \simeq S^2$, where $S^2$ is the two sphere. Now the compact real form of ...

**3**

votes

**0**answers

261 views

### Representation variety vs. space of flat connections

The holonomy provides a bijection from
the space of flat G-connections (modulo gauge equivalence) on a trivial G-bundle over M
to
a connected component of the representation variety ...

**2**

votes

**1**answer

97 views

### Actions of compact Lie groups on (possibly but hopefully not) non-regular spaces

Suppose $G$ is a compact Lie group acting freely on a topological space $Q$ (about whose separation conditions I make no assumptions) and the qoutient $Q/G$ is known to be completely regular Hausdorff ...

**10**

votes

**1**answer

530 views

### What does the moduli stack of G-torsors over the multiplicative group look like?

I am an algebraic topologist and am trying to understand some computations related to p-adic complex K-theory and equivariant K-theory. However this has led me into the world of algebraic geometry ...

**7**

votes

**3**answers

434 views

### Spaces of symplectic embeddings: Bundle? Smoothness?

Let $(M, \omega)$ and $(N, \sigma)$ be two symplectic manifolds, $M$ compact and without boundary. Consider the space $$ \mathcal{E} = \mathrm{Emb}((M, \omega), (N, \sigma)) $$ of all smooth ...

**1**

vote

**0**answers

217 views

### Formula for the curvature of an induced connection

Let $\pi_P:P\to M$ be a principal $G$-bundle on a manifold $M$ endowed with a connection $A$ and $\pi_Q:Q\to M$ be a principal $H$-bundle on a manifold $M$. Let $f:P\to Q$ be a morphism of bundles ...

**3**

votes

**2**answers

392 views

### How many principal bundles are there over a given base?

I'm currently considering principal bundles and classifying spaces in the context of gauge theory and a crucial question came to my mind:
Is there a way to say how many (isomorphism classes of) ...

**1**

vote

**1**answer

74 views

### Non-compact structure group and compactly supported gauge transformations

Let $\pi\colon P\to X$ be a locally trivial principal $G$-bundle over a Hausdorff paracompact space $X$, where $G$ is a topological group (we work in the category of topological spaces, as I do not ...

**3**

votes

**0**answers

257 views

### Are principal bundles isotrivial?

Let $U$ be a $k$-scheme, where $k$ is a field. Let $G$ be a smooth affine $k$-group. Recall that a principal $G$-bundle over $U$ is a smooth surjective $U$-scheme $E$ with an action of $G$ on $E$ such ...

**2**

votes

**1**answer

222 views

### The relation between the heat kernel on the principal bundle and the heat kernel on the base manifold

This question is mainly about Section 5.2 of the book "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne.
Let $M$ be a compact Riemannian manifold without boundary and $P\rightarrow M$ ...

**0**

votes

**0**answers

179 views

### State of the game : cohomology of principal bundles

I would like to know what has been done in terms of specific calculations for the cohomology of principal bundle. For instance, it is known (see e.g. Greub, Halperin and Vanstone's "Connection, ...

**0**

votes

**1**answer

163 views

### How to characterize this particular kind of bundle?

I am considering the following situation.
Let $M_5$ be a 5-dimensional manifold which is an $S^1$ principal bundle over 4-manifold $M_4$. For instance, $M_5 = S^5$ and $M_4 = \mathbb{CP}^2$ with ...

**4**

votes

**5**answers

394 views

### What is “Data” involved in a mathematical construction?

What exactly do mathematicians mean when they refer to "the data" involved in a construction?
I've encountered this many times and I can usually figure out what's going on, but I am curious about the ...

**2**

votes

**1**answer

197 views

### Confusions over the definitions of universal bundle and characteristic class

In most references, only a principal G-bundle is called universal (ie every other bundle can be pullbacked from this one, or an equivalent definition).
Does it make sense to speak of a universal F-G ...

**3**

votes

**1**answer

496 views

### Trivializing principal bundles on a curve over a finite field

This is related to my question Adelic description of moduli of $G$-bundles on a curve.
Let $X$ be a smooth, projective, and geometrically connected curve over a finite field $\mathbb{F}_q$ and $G$ a ...

**2**

votes

**1**answer

167 views

### Twisting an object P by an H-Torsor I

I am reading Brylinski's Loop Spaces, Characteristic Classes, and Geometric Quantization.
The Statement
Let $C$ be a gerbe on a space $X$ with "abelian" band $H$, $f: Y \to X$ a local homeomorphism ...

**3**

votes

**3**answers

295 views

### What are the symmetries of a principal homogeneous bundle?

Let $\operatorname{Klein}$ denote the category of principal homogeneous bundles. An object in this category is a tuple $\mathbf Q = (Q, P; G, H; q, a, \tilde a)$, where:
$G$ is a Lie group, and $H$ ...

**2**

votes

**1**answer

227 views

### Numerable covers from the point of view of Grothendieck topologies

Let $G$ be a topological group. Recall that its classifying space $BG$ is a CW-complex which is the base of a locally trivial principal bundle of group $G$, with contractible total space $EG$. It ...

**3**

votes

**1**answer

291 views

### Higgs bundle and stable bundle

Let $(E,\phi)$ be a $G$-Higgs bundle $\phi\in H^{0}(X,ad(E)\otimes D)$ where $D$ is a divisor on X.
I suppose that $(E,\phi)\in \mathcal{M}^{ani}$ the anisotropic locus.
In particuler, this bundle ...

**4**

votes

**3**answers

340 views

### Connection Transformation Formula; Degree 3 Cech Cohomology

While reading through Brylinski, as in all of my posts, I am trying to understand the following equation:
$ g_* \tilde{\theta} = \tilde{\theta} - g^{-1} dg$
Setting
I have a principal ...

**7**

votes

**3**answers

605 views

### Adelic description of moduli of $G$-bundles on a curve

Let $X$ be a smooth, projective, geometrically connected curve over a field $k$ and $G$ an an affine algebraic group group over $k$ (we can put more hypotheses on $G$ if necessary). If $K$ denotes the ...

**3**

votes

**4**answers

922 views

### Nontrivial examples of non-trivial principal circle bundles

It is a well known fact that (isomorphism classes of) principal $S^1$-bundles over a base space $B$ are classified by $B$'s second integral cohomology, $H^2(B;\mathbb{Z})$.
There is always the ...

**7**

votes

**1**answer

306 views

### Classifying spaces of topological groups that are not well-pointed

Let $G$ be a topological group.
The geometric bar construction $BG = B_{\bullet}(pt, G, pt)$ together with $EG = B_{\bullet}(pt,G,G)$ and the map $EG \to BG$ yields the universal principal $G$-bundle ...

**6**

votes

**0**answers

161 views

### The meaning of a “subcomplex” of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex
$(\wedge^{\cdot} \mathfrak{g}^* ...

**2**

votes

**1**answer

564 views

### Cross sections in bundles and principal G-bundles

A principal $G$-bundle has a cross section iff it is trivial (e.g. Husemoller's Fibre Bundles, 3rd ed., 8.3 in chapter 4).
A principal $G$-bundle is in particular a fiber bundle with fiber $G$.
My ...

**18**

votes

**2**answers

946 views

### How to Draw Complex Line Bundles

I am giving a presentation soon on the Classification of Complex Line Bundles and I would like to have some very "basic" visualizations to use as examples.
Background and Context
I am considering ...

**3**

votes

**1**answer

161 views

### homogenous bundles

Let $G$ be a reductive algebraic group over $\mathbb{C}$ and $H$ be an algebraic subgroup of $G$. We suppose that $H$ acts on some scheme $S$, where $S$ is of finite type over $\mathbb{C}$. Then I ...

**4**

votes

**3**answers

2k views

### Vector bundles vs principal $G$-bundles

It is well known that a (real) vector bundle $\pi : E\to B$ over a topological space (or manifold) $B$ is a fibre bundle whose fibres
$$F=\pi^{-1}(x), \ \ \ x\in B $$
over any $x\in B$, are ...

**2**

votes

**2**answers

303 views

### Lie algebra version of principal bundle?

I am wondering whether there is a Lie algebraic version of principal bundle for Lie group over a given manifold $M$. The first thing I try to think of is group cocycle picture of principal bundle.

**2**

votes

**1**answer

232 views

### family of torsors and family of vector bundles

Suppose $X$ and $Y$ are smooth connected schemes over a field $k=\bar{k}$, $f: X\times_kY\to X$ is the first projection. You may assume $Y$ is proper if you like, my question is if $P\to X\times_kY$ ...

**2**

votes

**1**answer

279 views

### Classification of principal G-bundles over a differentiable stack

According to "Notes on differentiable stacks" by Heinloth,
the classifying stack will also classify $G$-bundles on stacks. (Remark 2.13)
(Here $G$ is a Lie group.) My questions are:
(1) What ...

**2**

votes

**1**answer

609 views

### Isometry groups of Riemannian submersions with totally geodesic fibers

Suppose $F\to M\stackrel{\pi}{\to} B$ is a Riemannian submersion with totally geodesic fibers, all manifolds compact. In general, unless $M=B\times F$ is a Riemannian product, the isometry groups of ...