The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
73 views

Frame-bundle reduction from spinor-bundle reduction

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin manifold, and let us denote by $F(M)$ its frame bundle, by $SP(M)$ its spin bundle and by $S = P(M)\times_{\rho}\Delta$ its spinor bundle, ...
6
votes
3answers
295 views

A conjecture about parallelizable generalized spheres

Let $S^{d}$ denote the standard $d$-dimensional sphere. I heard from a physicist that from physical arguments they have been able to show that the vector bundle: $E_{d} = TS^{d}\oplus \Lambda ...
1
vote
1answer
77 views

Space of invariant sections

I have a principal bundle $\pi: M \to B$ with structure group $G$ and a vector bundle $p: V\to M$. I need to work with $\Gamma_G(V,M)$, the space of invariant (under the fiber action on $M$) sections ...
2
votes
1answer
131 views

Curvature of a principal bundle and the exterior covariant derivative

I am sorry if this is too elementary; I had posted it on math.stack but no one answered. Let $P\to M$ a principal fibre bundle with fibre $G$, and let $A\in \Omega^{1}(P)\otimes\mathfrak{g}$ be a ...
4
votes
1answer
236 views

Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...
0
votes
1answer
53 views

Principal bundle associated to a Courant algebroid

A Courant algebroid is defined as a real vector bundle equipped with a product and a symmetric bilinear on its space of sections satisfying a particular set of conditions. What would be the definition ...
-1
votes
1answer
126 views

Does there exist a fibre bundle $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$ with fiber $K(\mathbb{Z}_2,1)$? [closed]

Does there exist a fibration $K(\mathbb{Z}_4,1)\rightarrow K(\mathbb{Z}_2,1)$, evidently with fiber $K(\mathbb{Z}_2,1)$?
2
votes
1answer
89 views

Coarsely trivial Borel cross section for $G\to G/N$

Let $G$ be a locally compact group, and let $N$ be a closed, normal subgroup, and let $\pi\colon G\to G/N$ be the quotient homomorphism. It is known that there exists a Borel cross section, i.e., a ...
1
vote
2answers
215 views

Is there a formula for the total Chern Class of the tangent space of a projectivized vector bundle?

Let $V\rightarrow M$ be a complex vector bundle (of rank $k$) over a complex manifold $M$ (you can assume $M$ is compact if that helps, but it may not be relevant to my question). Let $\pi:\mathbb{P}V ...
0
votes
0answers
55 views

discrete group action on Stiefel manifold

Let $S_3$ be the permutation group of order $3$. Let $V_2(\mathbb{R}^n)$ be the stiefel manifold of $2$-frames in $\mathbb{R}^n$. Let $S_3$ act on $V_2(\mathbb{R}^n)$ by $$ (1,2)(u,v)=(-u,v-u), $$ $$ ...
13
votes
1answer
266 views

Anything between vector bundles and sphere bundles?

There are two extremities: on the "easy end" one has vector bundles which are classified by maps to the (more or less) well understood spaces like Grassmanians; on the "hard end" there are spherical ...
2
votes
1answer
135 views

A Dold-Thom style construction of a cohomology class from a sphere bundle

Re-reading my comment to the question Pontryagin class of quaternionic line bundle I suddenly realized that I do not understand something crucial about it. For the purposes of that crucial thing let ...
1
vote
1answer
148 views

fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle $$ G\to E\to B,$$ then $B=E/G$, the orbit space under action of $G$. Let $BG$ be the classifying space of $G$. ...
0
votes
0answers
195 views

Lifting a quadratic system to a non vanishing vector field on $S^{3}$ or $T^{1} S^{2}$

Let $P:S^{3}\to S^{2}$ be the Hopf fibration. For a vector field $X$ on $S^{2}$ there is a non vanishing vector field $\tilde{X}$ on $S^{3}$ such that $DP(\tilde{X})=X$. It is constructed in ...
4
votes
2answers
197 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?
3
votes
2answers
140 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 ...
6
votes
3answers
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 ...
5
votes
1answer
259 views

A generalization of covering spaces to fiber bundles with totally path-disconnected fibers

There is a classical theorem about covering spaces and the actions of the fundamental group. Theorem 1: Let $B$ be a non-empty locally path-connected and path-connected space. The category of ...
14
votes
3answers
315 views

Existence of sections of the evaluation map for the diffeomorphism group

Let $M$ be a closed connected oriented smooth manifold and $\mathrm{Diff}_{+}(M)$ the group of orientation preserving diffeomorphisms of $M$ endowed with the compact-open topology. Pick a base point ...
4
votes
1answer
198 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 ...
1
vote
3answers
608 views

Topology of maps between fibers of vector bundles

First of all sorry for the (possible) incorrect english. I don't know english very well. I'm with a doubt about topology of maps between fibres of vector bundles. Consider $E$ and $F$ vector bundles ...
4
votes
1answer
117 views

connections on principal bundles over $S^1$

Suppose $G$ is a compact connected Lie group and $P$ is a $G$-bundle over $S^1$, $A$ is a connection. Then we can choose a frame such that $A = a d\theta$ where $a\in \mathfrak{g}$ is constant. My ...
7
votes
1answer
358 views

Two questions about sphere bundles

I would like to better understand the relationship between different notions of orientable sphere bundle. Let me say that a locally trivial fiber bundle $\pi\colon E\to M$ with fiber $S^n$ and ...
23
votes
9answers
4k views

Looking for an introduction to orbifolds

Is there any source where the basic facts about orbifolds are written and proved in full detail? I found the article by Satake "The Gauss-Bonnet Theorem for V-manifolds", but I'd like to have a more ...
16
votes
1answer
734 views

When are fiber bundles reversible?

My question, in its most general form is this: Given a fiber bundle $F\rightarrow E\rightarrow B$, when is there a fiber bundle $B\rightarrow E\rightarrow F$? Here, F,E, and B can lie in ...
2
votes
2answers
407 views

Branched coverings over orbifolds with reflector lines

It is well known that if $F\to B$ is a $n$-finite branched covering over an orbifold with cone-points then the orbifold Euler's characteristics are related via ...
2
votes
1answer
184 views

Is this sphere bundle over SL3/SO3 trivial?

The space $SL_3(\mathbb{R})/SO_3(\mathbb{R})$ can be though of as some kind of 5-(real)dimensional generalized upper half-space. Fix any copy of $SO_2(\mathbb{R})$ sitting inside $SO_3(\mathbb{R})$, ...
3
votes
1answer
432 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
2
votes
1answer
130 views

Fibre bundles of fibre genus greater than 1

What are concrete examples of fibre bundles with fibre genus $\geq 2$? I am trying to find examples I can use to work throught the following construction: Suppose $X \to C$ is a fibre bundle with ...
3
votes
0answers
129 views

Orthonormal frame bundle orthogonal to a curve

This is a duplicate of this question on math.stackexchange, since I got there not a single answer. Let $M$ be a $n$-dimensional smooth riemannian manifold and ...
2
votes
0answers
170 views

Global sections for torus fiber bundle

Let us consider the following situation: $\pi:X\rightarrow B$ is a locally trivial fibration between smooth manifolds, its fiber being a torus $T$. My question is two-fold: 1) what is the obstruction ...
1
vote
1answer
189 views

on two definitions of irreducible connection

I have seen two kinds of definitions of irreducible connections on fibre bundls: A connection is said to be irreducible if the holonomy group is precisely $G$ and not a proper subgroup. or 2. ...
6
votes
1answer
277 views

how to obtain a generalized Morse function out of a fiber bundle?

I already asked this question in MSE but did not get any answer/comment yet. Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, ...
8
votes
1answer
529 views

Local trivializations of the non-trivial $SU(2)$-bundle over $S^5$

It is well known that $SU(3)$ is the unique, non-trivial, principal $SU(2)$- bundle over $S^5$. To my knowledge the way this is proven is by using the following fact: If $G$ is a Lie group ...
0
votes
1answer
467 views

fiber bundle on an orbit of $\mathfrak{g}\oplus\mathfrak{g^*}$

Let $G$, be a Lie Group and $\mathfrak{g}$ be its Lie algebra ,i.e, $Lie(G)=\mathfrak{g}$. Let $\zeta=(\ X,F)\ \in \mathfrak{g}\oplus\mathfrak{g^*}$. Here $X\in \mathfrak{g} $ and $F\in ...
4
votes
3answers
2k views

Grassmannian bundle theorem

Let's consider a vector bundle $E$ of rank $n$ over a compact manifold $X$. Consider the associated Grassmannian bundle $G$ for some $k < n$, obtained by replacing each fiber $E_x$ by $Gr(k,E_x)$. ...
3
votes
1answer
131 views

Which varieties of general type admit fibrations with non-general type fibres

Disclaimer. I don't know much about the things I'm asking. This is why my other question pencils on varieties of general type was a bit unclear. I believe the following question makes up for this. ...
2
votes
0answers
76 views

Non-clean fiber products

Usually, the most general condition for fiber product of manifolds (or vector bundles) to exist is that we require the images cleanly intersects. See e.g. When do fibre products of smooth manifolds ...
2
votes
1answer
203 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 ...
8
votes
3answers
835 views

Serre Spectral Sequence of Representations

Suppose that $G$ is a group acting on a fibre bundle $(F,E,B)$ by bundle automorphisms. In this case, the action automorphisms $E\to E$ give the integral homology $H_\ast(E;\mathbb{Z})$ the structure ...
2
votes
2answers
282 views

Homotopy Equivalences and Induced Correspondences between Fibre Bundles

Suppose that $f:X\rightarrow Y$ is a homotopy equivalence of manifolds. Given a manifold $F$, the pullback construction for $f$ yields a correspondence between isomorphism classes of fibre bundles ...
3
votes
1answer
146 views

How to classify von Neumann algebra bundles?

If we consider algebra bundles over X where the fiber is an algebra of bounded operators in a separable Hilbert space H over the complex numbers. I learn from "Isomorphism Classification of Operator ...
0
votes
1answer
152 views

When is a sheaf of groups (algebras, rings, modules) a group (algebra, ring, module)?

If $\pi:E\to M$ is a vector bundle then the set of sections $\Gamma(E)$ is naturally a vector space under fibrewise addition and scalar multiplication on the bundle $E$. This holds similarily for ...
6
votes
0answers
233 views

Flat morphisms whose fibers are affine spaces

Let $f:X \to Y$ be a flat morphism, such that each fiber is isomorphic to the affine space $\mathbb{A}^n$. Then is is true that $f$ is a Zariski affine bundle? If not, is it at least an ètale affine ...
3
votes
1answer
250 views

twisted bundle definition

I have often heard people talk about, say, "the" twisted $S^2$-bundle over $S^2$. My question is, what do they mean by a twisted bundle? I know that in the above example any $S^2$-bundle over $S^2$ is ...
1
vote
4answers
346 views

Triviality of a differentiable sphere bundle

I have read in some lecture notes in the internet (without reference) the following result: Let $E$ be a differentiable sphere bundle whose base $B$ has dimension $n\geq 2$ and whose fibers $F$ ...
3
votes
4answers
1k 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 ...
0
votes
1answer
321 views

Cotetrad, spin connection and Dirac operator

Let us consider an orientable smooth 4-manifold $M$. Pick a vector bundle $T$ that's isomorphic to the tangent bundle $TM$. We then equip $T$ with a cotetrad (or coframe field) $e$ and (spin) ...
2
votes
1answer
638 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 ...
9
votes
1answer
378 views

representatives of the group of homotopy 7-spheres

In Milnor's paper "On manifolds homeomorphic to the 7-sphere" it is proven that there are manifolds homeomorphic but not diffeomorphic to the standard 7-sphere. His construction involves sphere ...