The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
124 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
1answer
79 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
2answers
184 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
1answer
186 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
1answer
214 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
0answers
155 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 ...
1
vote
0answers
57 views

Stability principal $G$-bunldes

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
0answers
118 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
1answer
121 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
0answers
239 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
1answer
94 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 ...
11
votes
1answer
512 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
3answers
405 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
0answers
207 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 ...
2
votes
1answer
256 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
1answer
70 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 ...
0
votes
0answers
151 views

Does every real vector bundle admit a metric?

Let $ E \longrightarrow B $ be a vector bundle. I know that if B is paracompact, the bundle admits a metric. My question is the following: is this true for any B? I also know that a reduction of ...
3
votes
0answers
225 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
1answer
205 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
0answers
151 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
1answer
161 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
5answers
383 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
1answer
194 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
1answer
483 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
1answer
158 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
3answers
291 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
1answer
212 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
1answer
275 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
3answers
333 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
3answers
543 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
4answers
836 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
1answer
292 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
0answers
153 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
1answer
482 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
2answers
888 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
1answer
159 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 ...
1
vote
2answers
1k 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
2answers
296 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
1answer
225 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
1answer
271 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
1answer
573 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 ...
0
votes
1answer
324 views

A Follow-up About Connection Forms on Principal Bundles

In this question I asked about proving that a connection form $\alpha$ on a $\mathbb{C}^*$ bundle had to have $2\pi i(\alpha - \overline{\alpha})$ be exact. From the answer to that question I ...
1
vote
1answer
629 views

Principal bundle connections

It is my understanding that a connection form on a principal G-bundle over a manifold X is defined to be a Lie algebra-valued 1-form $\alpha$ which reproduces the Lie algebra generators of the ...
3
votes
1answer
422 views

Principal bundles in the etale and Zariski topology and extensions of the structure group

Say $G$ is a reductive group over a field $k$. I usually take $k = \mathbb{C}$ so assume what you want about the field except maybe that its finite. If $X$ is a scheme over $k$ then a principal $G$ ...
2
votes
1answer
315 views

Index of elliptic operators III: H-structure invariant under a group G

In the Atiyah-Singer paper mentioned above, they introduced on p.557 a concept called $H$-structure which is used to describe the Chern character of special elements of $K(TX)$. It is roughly the ...
1
vote
1answer
270 views

pullback diagram of principal bundles

Let $G, G_1, G_2$ be compact Lie groups with homomorphisms $f_1:G_1 \to G$ and $f_2: G_2\to G$. Let $P_1, P_2$ be principal bundles for $G_1,G_2$ and assume that the bundles $P_i\times_{G_i} G$ are ...
6
votes
1answer
505 views

Almost Flat Connections On Principal G-Bundles

Let $E \rightarrow F$ be a principal $G$-bundle. Let $\alpha$ be a connection 1-form with values in the Lie algebra of $G$. Let $\omega$ denote the curvature 2-form of connection $\alpha$. We know ...
8
votes
2answers
878 views

Nice example of a topologically trivial bundle with nontrivial connection

So, I've been trying to understand what exactly an anomaly is, and how they arise in physics. Apparently an anomalous theory is some theory whose action is given by a section of some bundle (rather ...
4
votes
0answers
221 views

T-Equivariant trivialization of a principal G-bundle

Let $k$ be a field, let $G$ be an algebraic group scheme over $k$ and let $T = \textrm{Spec } k[x, x^{-1}]$ be a one-dimensional torus. Does there exist a scheme $X$ over $k$, an algebraic ...
4
votes
1answer
193 views

isomorphism of extensions by abelian varieties

Let $A$ and $G$ be abelian varieties over $\mathbb{C}$. An element $P$ of $\text{Ext}(A, G)$ is an exact sequence $0 \to G \to P \to A \to 0$, here one can give $P$ the structure of an abelian ...