The fibre-bundles tag has no wiki summary.

**28**

votes

**4**answers

2k views

### Are submersions of differentiable manifolds flat morphisms?

Let $\pi \colon M\to N$ be a smooth map between real smooth manifolds. Then $C^\infty(M)$ forms a module over $C^\infty(N)$ (via pullback). Is this module flat when $\pi$ is a submersion?
Recall that ...

**20**

votes

**9**answers

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

**17**

votes

**3**answers

828 views

### Cohomology of fibrations over the circle: how to compute the ring structure?

This question is inspired by Cohomology of fibrations over the circle Moreover, it can be considered a subquestion of the above, but somehow it seems to me that some of the more interesting points ...

**17**

votes

**1**answer

1k views

### Characteristic classes of sphere bundles over spheres in terms of clutching functions

I'm trying to understand Milnor's proof of the existence of exotic 7-spheres.
Milnor finds his examples among $S^{3}$ bundles over $S^{4}$ (with structure group $SO(4)$ ). Such a bundle can be ...

**16**

votes

**1**answer

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

**14**

votes

**4**answers

1k views

### What is a section?

This question comes out of the answers to Ho Chung Siu's question about vector bundles. Based on my reading, it seems that the definition of the term "section" went through several phases of ...

**14**

votes

**1**answer

981 views

### Which principlal bundles are locally trivial?

If $H$ is a closed subgroup of a topological group $G$, then the orbit map $G\to G/H$ is a principal bundle, yet somewhat surprisingly, it need not be locally trivial.
In the wikipedia article on ...

**13**

votes

**2**answers

633 views

### What manifold has $\mathbb{H}P^{odd}$ as a boundary?

This question is motivated by What manifolds are bounded by RP^odd? (as well as a question a fellow grad student asked me) but I can't seem to generalize any of the provided answers to this setting.
...

**12**

votes

**7**answers

879 views

### Cohomology classes annihilated by pullbacks

A friend of mine is interested in examples of the following situation:
an oriented smooth fiber bundle $\pi \colon M \to B$ with $M$ and $B$ compact
and a non-zero class $a \in H^3(B; \mathbb{Q})$
...

**11**

votes

**4**answers

968 views

### non-locally trivial A^n bundles

Let $f: X \to Y$ be a morphism of varieties such that its fibres are isomorphic to $\mathbb{A}^n$. Since the definition of a vector bundle stipulates that $f$ be locally the projection $U \times ...

**11**

votes

**2**answers

829 views

### In how many ways can an iterated tangent bundle (T^k)M be viewed as a fibre bundle over (T^(k-1))M?

Let M be a smooth manifold. The double tangent bundle, TTM,can be viewed as a fibre bundle over TM in two ways, with the projection maps given by T_πM (i.e. the derivative of the projection from TM ...

**10**

votes

**4**answers

1k views

### When do two holonomy maps determine flat bundles that are isomorphic as just bundles (w/o regard to the flat connections)?

Suppose we have a surface S (although the question might make as much sense in higher dimensions) and a topological group G. The data of a flat vector bundle on S (up to isomorphism) is the same as a ...

**10**

votes

**3**answers

887 views

### smooth sections of smooth fiber bundles

A maybe trivial question about fiber bundles (I'm not an expert, and I didn't find quickly an answer looking here and there). Suppose you are given fiber bundle $p\colon E\to M$, where
$E,M$ are ...

**9**

votes

**4**answers

542 views

### $S^n \to S^m \to B$ bundle: possible?

Sphere bundles and bundles over spheres are everywhere and are excellent things to get one's hands dirty with.
(1a) But when can we have a bundle $S^n \to S^m \to B?$ It seems like requiring the ...

**9**

votes

**1**answer

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

**9**

votes

**1**answer

423 views

### Bundle-to-function correspondence

To a morphism of sets $f\colon E\to B$ with finite fibers, one may assign a function $$|f^{-1}|\colon B\to{\mathbb N}$$ sending an element $b\in B$ to the cardinality of the fiber $f^{-1}(b)$.
To a ...

**8**

votes

**3**answers

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

**8**

votes

**2**answers

435 views

### Classification of holomorphic disc bundles

I've had difficulty finding sources which treat the classification of holomorphic disc bundles over (compact and noncompact) Riemann surfaces. Note that by "bundle", I mean a holomorphic fiber ...

**8**

votes

**1**answer

337 views

### A sphere bundle map

I think this may all be classical bundle-theory. But I'm trying to read some old papers on classifications of bundles and the following came up as questions I couldn't immediately answer:
Consider ...

**8**

votes

**1**answer

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

**7**

votes

**2**answers

974 views

### Surface bundles over a surface

What can be used to distinguish two $\Sigma_g$-bundles over $\Sigma_h$ up to
(1) homotopy?
(2) homeomorphism?
(3) fiberwise homeomorphism?
(4) bundle isomorphism?
And can these always be computed ...

**7**

votes

**1**answer

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

**7**

votes

**2**answers

630 views

### Fibrewise homotopy-equivalence of unit sphere bundles vs isomorphism of tangent bundles

Let $M$ be a smooth $m$-dimensional manifold, $TM$ its tangent bundle and $SM$ its unit sphere bundle.
Are there some simple examples where $SM$ is fibrewise homotopy-equivalent to the trivial ...

**6**

votes

**2**answers

959 views

### Totally geodesic surfaces in fibered 3-manifolds

Is there an easy example of a (closed) hyperbolic 3-manifold that fibers over the circle but contains some totally geodesic surface?
(Of course such manifolds exist if the 'Virtually Fibered ...

**6**

votes

**2**answers

416 views

### Restrictions of Diffeomorphisms

Notation: Let$M$ be a smooth, closed manifold, $S$ any submanifold of $M$, $Diff(M)$ the group of diffeomorphisms of $M$ and $Imb(S, M)$ the group of smooth imbeddings of $S$ into $M$.
A classical ...

**6**

votes

**2**answers

1k views

### Critical points on a fiber bundle

Consider a (smooth) bundle Eâ†’_B_, and a (smooth) function f: E â†’ R on the total space. Then it makes sense to talk about the derivatives of f along the fibers. Let C be the subspace of E consisting ...

**6**

votes

**1**answer

247 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, ...

**6**

votes

**0**answers

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

**5**

votes

**2**answers

782 views

### Singular K3 — mathematical meaning?

There's a very interesting text by Cumrun Vafa called Geometric Physics.
Here I'm particularly interested in Chapter 4, where we take a Calabi-Yau manifold presented as a degenerating fibration:
...

**5**

votes

**1**answer

313 views

### Killing Chern classes

Let $G$ be a compact connected Lie group and let $E\to B$ be a principal $G$-bundle. Suppose $a$ is a rational cohomology class of $E$ such that its pullback $b$ under an orbit inclusion map $G\to E$ ...

**5**

votes

**1**answer

294 views

### Homomorphisms of Topological Groups which are Automatically Fiber Bundles?

Suppose I have a surjective homomorphism of topological groups $f:E \to G$. Let K be the kernel of f. The topological group K acts on E in an obvious way. When is this a fiber bundle over G? (It will ...

**5**

votes

**0**answers

126 views

### Joins and classifying spaces in the category of compactly generated spaces

In Milnor's Construction of Universal Bundles, II, he defines $E_nG$ by repeated
joins of $G$ with itself, but he has to use the `strong topology' on the join instead
of the everyday topology that ...

**4**

votes

**3**answers

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

**4**

votes

**2**answers

314 views

### Name for bundle of algebraic varieties over a smooth manifold

Consider a smooth manifold $M$ and a bundle $\pi\colon E\to M$ over it, where each fibre of $E$ is an algebraic variety. Is there a special name for this kind of bundle? The idea I have is that ...

**4**

votes

**1**answer

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

**4**

votes

**2**answers

339 views

### Getting rid of exceptional fibers by passing to finite covers?

Consider a Seifert fiber space. Is it always possible to find a finite cover that is a circle bundle and the preimage of any fiber is a finite union of circles?

**4**

votes

**3**answers

194 views

### Homology of bundles over a triangulated base and $A_\infty$-algebras

Let $p:E \to B$ be a fiber bundle over a triangulated base $B$ with fiber $F$, $\sigma$ simplex in $B$, $\sigma \mapsto H_{*}(p^{-1}(\sigma)) \simeq H_{*}(F)$ the obvious map and let $\mathcal{S}$ be ...

**4**

votes

**1**answer

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

**4**

votes

**0**answers

352 views

### What is the spectrum of the commutative C*-algebra I have constructed here?

Let $B$ and $F$ be compact Hausdorff spaces.
Let $E\to B$ be a fiber bundle with fibre $F$ and structure group $\mathrm{Homeo}(F)$, the group of homeomorphisms of $F$.
I think this induces a fiber ...

**3**

votes

**4**answers

870 views

### How to partition R^3 into pairwise non-parallel lines?

Problem. How to partition R^3 into pairwise non-parallel lines?
A possible solution is to stack infinitely many ``concentric'' hyperboloids, by increasing radius and decreasing slope. And don't ...

**3**

votes

**4**answers

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

286 views

### degeneration of quadric bundles

Suppose I have a smooth 2-dimensional quadric bundle $f:X\to S$ over a surface $S$. Suppose furthermore that the discriminant locus $\Delta \subset S$ is smooth. Can I immedately conclude that the ...

**3**

votes

**1**answer

252 views

### Reference for monkeying with the topology of a mapping cylinder

In "Construction of Universal Bundles, II", Milnor has to replace the standard topology on the join with what he calls the "strong topology" which is the smallest topology such that certain maps are ...

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

527 views

### The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

201 views

### Fibred manifolds with boundary

A fibred manifold is a triple $(E,\pi,M)$ where $E$ and $M$ are manifolds and $\pi : E \rightarrow M$ is a surjective submersion. (Saunders, The Geometry of Jet bundles)
A special case of this is the ...