The principal-bundles tag has no usage guidance.

**0**

votes

**1**answer

71 views

### Exterior derivative on principal bundle [closed]

In Nakahara's Geometry, Topology and Physics on page 375, he constructs a Lie-algebra-valued one-form $\omega$ on a principal bundle $P$ by "lifting" a Lie-algebra-valued one-form $\mathcal A_i$ on an ...

**10**

votes

**0**answers

113 views

### Existence of flat connections via characteristic classes, for nice groups

I have two questions about what I write below (which honestly seems pretty elementary).
Is it true (more or less)?
Is there a clean reference that I can cite.
Let $G$ be a compact Lie group, $M$ a ...

**2**

votes

**1**answer

168 views

### Scheme of Higgs reductions

I'm reading the Bruzzo and Graña Otero's paper Semistable and Numerically Effective Principal (Higgs) Bundles; here: $X$ is a smooth, complex, projective variety; $G$ is a connected, complex, ...

**3**

votes

**1**answer

60 views

### Fiber product of nilmanifolds

Let $M_1$ and $M_2$ be nilmanifolds. We can see them as total spaces of torus bundles $\pi_i:M_i \to B_i\ \ i=1,2$. Suppose that $B_1=B_2$ and that the fibers are torus of the same dimension and ...

**1**

vote

**4**answers

151 views

### On the definition of fundamental vector field

I've encountered with following question while reading Morita's book "Geometry of Differential Forms" (pp.263)
Let $(P,\pi,M,G)$ be a principal G-bundle, $\mathfrak{g}$ be the Lie algebra of the Lie ...

**0**

votes

**0**answers

100 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 $\operatorname{Spec}\mathbb{C}$, and the underlying ...

**6**

votes

**2**answers

337 views

### Principal bundle approach to general relativity

I am curious if there is any literature (texbooks, mainly, but articles will do too, though I don't have easy access to any paid journal) that deals with general relativity by using Ehresmann ...

**8**

votes

**2**answers

275 views

### Circle Action on Quaternionic Projective Space

Quoting from Wikipedia article on quaternionic projective space:
Therefore the quotient manifold
$$
\mathbb{HP}^{2}/\mathrm{U}(1)
$$
may be taken, writing $U(1)$ for the circle group. It has ...

**1**

vote

**2**answers

138 views

### Four Sphere Fibrations

Does there exist a manifold $M$ and a compact Lie group $H$ such that we have a fibration $H \to S^4 \to M$, where $S^4$ is the four sphere?

**10**

votes

**1**answer

258 views

### Counting isomorphism classes in open subsets of Bun_G

Let $G$ be a split semisimple algebraic group and let $C$ be a curve of genus $g$ over $\mathbb F_q$. Assume $g \geq 2$.
The number of $\mathbb F_q$-points of $\# \operatorname{Bun}_G(C)$, where each ...

**2**

votes

**0**answers

45 views

### Holonomy 2-functor transformation by transition functions

The holonomy 2-functor on a $\mathcal{G}$-principal 2-bundle associates a bigon:
$$\mathsf{hol}_i(\Sigma):\mathsf{hol}_i(\gamma)\Rightarrow \mathsf{hol}_i(\gamma')$$
in $\mathcal{G}$ to each bigon:
$$\...

**0**

votes

**2**answers

171 views

### Existence of $B$-reduction of a $G$-torsor on a curve

Let $k$ be an algebraically closed field, $X$ a connected smooth curve over $k$, $G$ a connected reductive group over $k$, and $B \subset G$ a Borel subgroup.
Given a $G$-torsor $E$ on $X$ in the ...

**3**

votes

**1**answer

93 views

### Parallel Transport on Hypersurface Spinor Bundle

So this has been driving me up a wall. I'm trying to digest parts of the Parker & Taubes paper, "On Witten's Proof of the Positive Energy Theorem." Here's a link:
https://projecteuclid.org/...

**0**

votes

**1**answer

170 views

### group actions on fibre bundles

Suppose that we have a group $G$ acting on the spaces $E$ and $B$. Suppose moreover that we have fibre bundles $\xi$ and $\eta$ in the following commutative diagram
If $\xi$ is a trivial bundle, i.e....

**1**

vote

**1**answer

123 views

### Transferring connection information to associated bundles and back

This might not be research level but I've tried more than once to ask about this in MSE and it got nowhere. So I thought It's fair to at least try.
At the risk of repeating well known stuff I tried ...

**4**

votes

**0**answers

151 views

### Is central extension of a group equivalent to a bundle with gauge field?

Let $\tilde G$ be a central extension of a group $G$ by $U(1)$.
One common elegant definition is that there should be a short exact sequence of groups: $0 \to U(1) \to \tilde G \to G \to 0$
However,...

**3**

votes

**2**answers

478 views

### Principal bundles that can't be detected by spheres

The question I'm trying to answer is the following:
Let $P \to X$ be a principal $G$-bundle (over a connected CW complex)
satisfying that all pullbacks to spheres (of arbitrary dimension) are
...

**0**

votes

**0**answers

58 views

### Counterexample request: Adjoint bundle has regular section, no Cartan reduction [duplicate]

In his paper classifying principal bundles on $P^1$, Grothendieck proves that if $X$ is simply connected and $P$ is a principal bundle such that the adjoint bundle has a regular global section, then $...

**3**

votes

**0**answers

93 views

### Spectral theory of differential forms over a circle bundle

Here is the set up : I consider the unitary tangent bundle of a surface $(S,g)$ endowed with the Sasakian metric ; $(T^1S, g_s)$, in fact we have the following fibration :
\begin{equation*}
\mathbb{...

**6**

votes

**4**answers

569 views

### What does “higher monodromy” tell us about a principal bundle

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to ...

**2**

votes

**0**answers

208 views

### Some examples of non trivial principal bundles

1.Is there a nontrivial pricipal bundle $P(M,G)$, with $G$ connected, such that the total space $P$ admit a foliation such that each leaf is diffeomorphic to $M$(Not necessarily via projection $\pi$...

**1**

vote

**1**answer

60 views

### Spaces of Killing spinors for different orientation

Simply put, I want to understand how a change of orientation on a Riemannian spin manifold can change the space of Killing spinors.
To be more precise:
Let $M$ be a spin manifold (i.e. the first and ...

**5**

votes

**1**answer

556 views

### Grothendieck's paper on principal bundles, reduction to a torus step

In Grothendieck's paper "Sur la Classification des Fibres Holomorphes sur la Sphere de Riemann", there is a step I don't understand in section 4, where he proves reduction to a torus. He states (lemma ...

**4**

votes

**1**answer

118 views

### Vector bundles with symmetric perfect form

Let $X$ be a smooth projective curve, and $E$ a vector bundle on $X$ such that there exist a bilinear perfect symmetric form $$E\otimes E\rightarrow \mathcal O_X$$
When I see $E$ as a $GL_r$ ...

**4**

votes

**1**answer

143 views

### Semistability of principal bundle vs vector bundle

Ramanathan has defined the semistability of a principal $G-$bundle $E$ over a curve $X$ as follows:
$E$ is semistable iff for any parabolic subgroup $P\subset G$, for any reduction of the ...

**11**

votes

**1**answer

236 views

### $\pi_1$ of the moduli of G-bundles on elliptic curves and the double affine braid group

For a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, the fundamental group of $\mathfrak{h}_\text{reg}/W$ (where $\mathfrak{h}$ is the Cartan subalgebra, $\mathfrak{h}_\text{reg}$ is the subset ...

**3**

votes

**1**answer

119 views

### Vector bundle with a perfect pairing and ($\mathbb Z/2$, $SL_r$)-bundle

I think this is a well knowing result but I can't find any reference,
Let $(E,q)$ be a vector bundle with a non degenerated quadratic form $q:E\rightarrow E^*$ with trivial determinant, suppose ...

**5**

votes

**0**answers

141 views

### Detecting torsion-classified bundles by differential invariants

The following is based on a loose understanding of the nuts and bolts that go into Chern-Simons theory, so bear with any vagueness on my part.
Suppose I have a principal $G$-bundle $P\to M$ and I ...

**7**

votes

**2**answers

483 views

### Generalising the Penrose Twistor Fibration

As is well known, there exists a fibration $\mathbb{CP}^3 \to S^4$, of the four sphere by complex projective $3$-space, called the Penrose twistor fibration. Does this fibration admit a "canonical" ...

**6**

votes

**1**answer

233 views

### Automorphism group of a fiber bundle surjects onto diffeomorphism group?

This should surely be well-known by I have not been able to find a good reference to the following question: Given a smooth fiber bundle $\pi\colon P \longrightarrow M$ over a smooth manifold $M$ with ...

**1**

vote

**0**answers

107 views

### Certain principal bundle structure on $\mathbb{R}^{n} \setminus \{0\}$

I ask this question in MSE and I received no answer, so I repeat it here:
Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...

**4**

votes

**2**answers

172 views

### What is the space for the coefficients of the connection 1-form of a connection in a vector bundle?

Let $E\to X$ is a a (smooth real) vector bundle with structure group some Lie group $G$. Suppose we have a (linear) connection $\nabla$ on $E$.
Is it true that if $A$ is the connection 1-form of ...

**5**

votes

**2**answers

200 views

### Lindel's theorem for semisimple simply connected G

Let $k$ be a field.
$G/k$ be a simply connected semisimple algebraic group.
Let $X/k$ be a smooth affine $k$-scheme.
Question: Is every principal $G$ bundle on $X\times {\mathbb A}^1$ a pull back ...

**1**

vote

**2**answers

186 views

### Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution $\...

**3**

votes

**0**answers

90 views

### Twisting stable maps to C* equivariant space by a line bundle

Let $X$ be a $\mathbb{C}^*$-equivariant algebraic variety. Then there is a notion of a map to $X$ twisted by a line bundle. Namely, let $B$ be a variety and $L/B$ a line bundle. Let $P_L=L\setminus B$...

**2**

votes

**1**answer

214 views

### Metric, torsion free connections on principal bundles

I hope this is not too elementary, but I have asked this question at the math.stack site, but I have obtained no answers.
Let $F(M)$ be the frame bundle of a $n$-dimensional differentiable manifold $...

**2**

votes

**0**answers

134 views

### When does an algebraic space that is a torsor over a scheme have to be a scheme?

In Group actions on stacks and applications (Section 4 of part A), M.Romagny gives a definition of $G$-torsor over a scheme $S$ in which the total space need not be a scheme, just an algebraic space. ...

**7**

votes

**1**answer

264 views

### Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

I asked this question on math.stackexchange a week ago, but did not get an answer.
First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general ...

**1**

vote

**0**answers

112 views

### Cohomology of a flat principal connection

Let $M$ be a compact manifold, $G$ a compact Lie group, $P\to M$ a principal $G$-bundle and $A$ a flat principal connection on $P$. Then $(\Omega^\bullet(M;\operatorname{ad}P),d_A)$ forms a cochain ...

**3**

votes

**0**answers

117 views

### Identifying a cohomology class arising from a Postnikov decomposition of BU(2)

For various reasons I'm currently interested in Principal $U(n)$-bundles $U(n)\hookrightarrow E\xrightarrow{p} S^m\times X_g$ over the Cartesian product of an $m$-sphere and a closed oriented surface $...

**5**

votes

**2**answers

225 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

430 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$, $E|_{C_+...

**1**

vote

**1**answer

215 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 \...

**5**

votes

**2**answers

174 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

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

**5**

votes

**1**answer

175 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 \mathbf{...

**3**

votes

**0**answers

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

**1**

vote

**1**answer

103 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, $P:=F_{SO(n)...

**8**

votes

**0**answers

93 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 ($G=...

**6**

votes

**0**answers

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