Questions tagged [fibre-bundles]

for questions about fiber bundles, including structure groups, principal bundles, and spaces of sections.

Filter by
Sorted by
Tagged with
1 vote
1 answer
73 views

Pull-back of factor of automorphy

Let $M=\mathbb C^g/ \Gamma$ be a complex tori and $E$ a be a holomorphic vector bundle of rank $r$ over $M$. Then $E$ is characterised by factor of automorphy, i.e. a holomorphic map $J:\Gamma\times\...
user avatar
  • 155
1 vote
0 answers
133 views

Fiber bundle orientability vs manifold orientability

This question seems like a pretty straightforward generalization of a result from vector bundles but its been on MSE for over a week with no answers so I'm reposting https://math.stackexchange.com/...
user avatar
1 vote
1 answer
90 views

Projective bundle is stable under twisting by a line bundle [closed]

I want to prove that "Given a bundle $E$, for any line bundle $L$ the projectivizations of $E$ and $E$ tensor $L$ are isomorphic i.e $P(E)≅P(E⊗L)$". The statement can also be seen on the ...
user avatar
15 votes
4 answers
912 views

Cohomology ring of mapping torus

A mapping torus, $M \rtimes_\varphi S^1$, is a fiber bundle over $S^1$ with fiber $M$, where $\varphi$ is an element of mapping class group of $M$, describing the twist around $S^1$. For $M=S^1\times ...
user avatar
2 votes
0 answers
139 views

Stiefel Whitney number of a fiber bundle

I was going through this paper, and the author rights the following The Stiefel-Whitney class of $E$ is given by $$w(E)=(1+\alpha)^{2m+1}\left\{(1+c)^{2n+1}+u_1(1+c)^{2n}+\dots+u_{2n}(1+c)+u_{2n+1}\...
user avatar
8 votes
0 answers
221 views

Linear $S^{2k}$-bundles over $S^{4k}$

By the classification of Dold and Whitney, linear $S^2$-bundles over $S^4$ are classified by their first Pontryagin class $p_1$, which takes the value $4\lambda$ for the bundle corresponding to $\...
user avatar
  • 291
4 votes
1 answer
145 views

Patching up two trivial fibre bundles induces homology equivalence

I was wondering to ask this question may be it's a silly one. I could not prove or disprove it. Let $X,Y$ be smooth connected manifolds. Let $X=X_1\cup X_2$ ($X_i$'s sub-manifold of $X$) and $X_1 \cap ...
user avatar
  • 165
6 votes
1 answer
280 views

Torus bundles and compact solvmanifolds

I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here. Let $$ T^n \to M \to T^m ...
user avatar
0 votes
1 answer
85 views

Non existence of a preferred Horizontal subspace on a bundle. Why not ? (Basics) [closed]

If I choose a principal bundle, let us say $G\rightarrow P \rightarrow B$, with $G=U(1)$, $P=S^1 \times S^1$ and $B=S^1$. Can I choose to put my finger on the identity element of the group over a ...
user avatar
1 vote
0 answers
130 views

Isometries of the complex projective space for the Fubini Study metric

$\DeclareMathOperator\SU{SU}$I am trying to understand a geometric proof in our mathematical quantum mechanics lecture regarding Wigner's theorem in finite dimensions. We have already shown that it ...
user avatar
6 votes
1 answer
184 views

What conditions are sufficient for the Leray-Hirsch theorem to be a Künneth formula?

This was originally posted on MSE, and since it didn't receive much attention, I'll try here. Let me know if this is not the appropriate place. Given a fiber bundle $F \to E \to B$ over a paracompact ...
user avatar
  • 1,247
11 votes
2 answers
401 views

$ \mathbb{R}P^n $ bundles over the circle

Is every $ \mathbb{R}P^{2n} $ bundle over the circle trivial? Are there exactly two $ \mathbb{R}P^{2n+1} $ bundles over the circle? This is a cross-post of (part of) my MSE question https://math....
user avatar
3 votes
0 answers
107 views

Combinatorial fiber bundles

Triangulations (as simplicial complexes) and bi-stellar flips are a combinatorial analogue of (piece-wise linear) topological manifolds. I'm looking for a similar combinatorial analogue for fiber ...
user avatar
  • 2,475
4 votes
1 answer
171 views

Classification of functorial smooth vector fiber bundles

Let $\mathrm{Bundle}$ be the category whose objects are smooth vector fiber bundles over $\mathbb{R}$, and morphisms are fiberwise smooth linear map (that is, the base is not assumed to be fixed). Let ...
user avatar
2 votes
0 answers
229 views

Fibering cobordant to projectivization of a vector bundle

I was going through this Stong's paper, I am stuck in the proof of the proposition 8.4 (given below) I understand the proof till he derives the expression for the Steenrod square operation of the ...
user avatar
4 votes
1 answer
164 views

Cobordism class of projectivization of a bundle

I was reading the book "Differentiable Periodic Maps" by P.E. Conner (1979). I am stuck at the following problem given at the end of section 21: Let $\xi\to V^n$ be a $k$-plane bundle over a ...
user avatar
1 vote
0 answers
108 views

$P^1$ bundle over complex tori

Let $M$ be a fiber bundle over $\mathbb C^2/ \Lambda$ whose fibers are $P^1$. $M$ is a complex manifold of dimensional 3. Is there a classfication about such $M$. And can we deduce that $M$ is a ...
user avatar
  • 155
4 votes
0 answers
224 views

Is there a notion of „flatness” in point-set topology?

In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
user avatar
3 votes
1 answer
207 views

Reference request: functoriality of $\underline{E}$ and $\underline{B}$

For any group $G$, the universal example for proper $G$-actions, $\underline{E}G$, is a proper $G$-space such that for any other proper $G$-space $X$, there exists a map (unique up to $G$-equivariant ...
user avatar
  • 1,779
2 votes
0 answers
110 views

construction of open subsets in classifying space $BG$

Let $G$ be an arbitrary group and we construct the classifying space $BG$ as quotient of $EG$ where the latter one is considered in this discussion to be constructed in natural way as $\Delta$-complex ...
user avatar
0 votes
0 answers
141 views

genus one curves bundle over complex torus

Let $M$ be a holomorphic fiber bundle over torus $\mathbb C^2/\Lambda$ whose fibers are curves of genus one. Is there any classification about such $M$ ? When the fibers are given by $\mathbb P^1$ ...
user avatar
4 votes
1 answer
98 views

Relationship between two bundles approaches of spontaneous symmetry breaking

I am trying understand if there is a relation between two formulations of the spontaneous symmetry breaking. The first is provide by Derdzinski in his book "Geometry of the standard model of ...
user avatar
2 votes
1 answer
234 views

Classification of disk bundle over surfaces

Are there any reference for the classification of orientable disk bundle over a closed surface? I am particularly interested in the case if the surface is $S^2,RP^2,T^2$ or the Klein bottle. Many ...
user avatar
  • 407
2 votes
0 answers
165 views

Trivialization of fibration by etale base change

Let $f:Y \to X$ be a smooth fibration over $\mathbb{C}$ in the sense that $X$ is a smooth, quasi-projective, connected variety and $f$ is a smooth, projective (surjective) morphism. Suppose that every ...
user avatar
  • 1,939
3 votes
1 answer
275 views

Curvature of principal bundle

Let $(P,M,G)$ be a principal bundle with connection 1-form $\omega$. In all books I have seen so far, the curvature is defined by \begin{equation} F:=D_{\omega}\omega \in \Omega({P,\mathfrak{g}}) \end{...
user avatar
  • 145
4 votes
1 answer
293 views

Surface bundles associated to a short exact sequence of groups

Suppose $S$ is a closed, connected, oriented surface of genus at least two and $G$ is any group. Suppose further that $\Gamma$ is any group that fits into the following short exact sequence: $$ 1 \to \...
user avatar
  • 293
7 votes
0 answers
209 views

Is there a reasonable definition of an octonionic manifold?

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\End{End}$ Todorov and Dubois-Violette have recently shown how to understand the structural gauge group of the standard model via octonions. Q. Is there ...
user avatar
8 votes
1 answer
247 views

Isotopies, Fiber Bundles and Selection Theorems

The following problem is a culmination of a few questions I've asked the last two months, and it's still giving me some issues. I think I know the right way to solve it, but I'm having trouble with ...
user avatar
2 votes
0 answers
94 views

Minimal symmetry of a fibre bundle

Let $F \to E \to B$ be a topological fibre bundle with fibre $F$ and base $B$. It can be characterized by a map $B \to BAut(F)$. If it can also be characterized as a map $B \to BG$ (or say $G$ is a ...
user avatar
  • 4,005
5 votes
1 answer
305 views

$1$-cocycle associated to universal $G$-bundle $EG \to BG$

Let $G$ be a (topological) group whose identity element $e_G$ is a nondegenerated basepoint (e.g. if $G$ is a Lie group). Then that's a known fact that there is for every 'nice' enough topological ...
user avatar
1 vote
0 answers
64 views

Existence of global section, étale map and totally disconnected space

I am trying to show the following result : Let $Y$ be a totally disconnected space and compact space, $X$ a locally compact space and $p:Y\to X$ a surjective local homeomorphism. Then, there exist ...
user avatar
  • 53
8 votes
3 answers
696 views

Spectral sequences in algebraic topology [duplicate]

What books/articles do you recommend for learning spectral sequences? I am interested in their applications to algebraic topology, particularly to understand the homology of fibre bundles. I have a ...
8 votes
2 answers
439 views

Conditions under which the preimage of a submanifold in nontrivial in homology

Let $\pi: M^{n+k} \to N^n$ be a fibre bundle with fibre $F$ between compact smooth manifolds. What are “mild” sufficient conditions on the topology of $M$, $N$ and $F$ so that given a closed $p$-...
user avatar
0 votes
1 answer
61 views

Is the composition of a finite branched cover and a non-isotrivial Riemann surface bundle still non-isotrivial

Given $E\to B$ a non-isotrivial (compact) Riemann surface-bundle (of genus $g>1$) between two complex manifolds and $E'\to E$ is a finite branched cover. Then is the composition map $E'\to E\to B$ ...
user avatar
  • 301
1 vote
0 answers
127 views

Moduli space of genus $g$ curves ${\mathcal{M}_g}$ irreducible by 'Monodromy argument'

I'm reading this post by Charles Siegel on Monodromy Representations and there is a short remark on the proof of irreducibility of moduli space of genus $g$ curves ${\mathcal{M}_g}$ : Just look at ${...
user avatar
1 vote
1 answer
265 views

Principal G-bundles over the circle

To edify my understanding of fiber bundles with structure groups, I was currently trying to reconcile two classifications (in a particular case). For simplicity, I'm taking the base to be $S^1$ and ...
user avatar
4 votes
0 answers
77 views

Dot product of functions on cosets

Some time ago I asked this same question at Math Stackexchange, because I thought that the question is nearly elementary. To my surprise, it was never answered. So I am elevating it to MathOverflow. I ...
user avatar
2 votes
0 answers
81 views

Example of compact fiber bundle with noncompact fibers

This is a cross post of MSE post somehow: Is there any example of compact fiber bundle $E$ with noncompact fibers $F$? Obviously if the base space $B$ is $T_1$ then there is no such example.
user avatar
  • 3,905
3 votes
1 answer
244 views

Circle bundle with homotopically trivial fiber in the total space

Consider a smooth circle fiber bundle $$ S^1 \to E\to B $$ where $E$ is a smooth 3-manifold and $B$ is a smooth surface. Assuming any $S^1$ fiber in $E$ is homotopically trivial, can we prove that $E$ ...
user avatar
  • 2,465
4 votes
0 answers
58 views

Isometries of fiber bundles

Let $F\to S\overset{\pi}{\to} B$ a Riemannian submersion with totally geodesic fibers. Question: How much information about the isometries of $S$ we have if we know the isometries of $F$ and $B$? For ...
user avatar
  • 183
1 vote
0 answers
86 views

Transversality theorem for maps between fiber bundles

I am looking for a possible generalization of the standard Trasversality Theorem which roughly says that transverse maps are generic. For example, see the version below: From page 74, Theorem 2.1 in ...
user avatar
5 votes
1 answer
365 views

When is a diffeomorphism a bundle map?

Let $F\rightarrow E_0 \rightarrow B$ and $F\rightarrow E_1\rightarrow B$ be two smooth fiber bundles. Suppose $E_0$ and $E_1$ are diffeomorphic. What are the obstructions for $E_0$ and $E_1$ to be ...
user avatar
  • 641
2 votes
0 answers
234 views

Differences between induced vector fields on a smooth manifold and on a principal bundle

In the context of the connections on fibre bundle, I have found some difficulties trying to understand the fundamental vector field (my reference is Nakahara, but I'm having some problems with the ...
user avatar
  • 21
1 vote
0 answers
115 views

The compactified Jacobian is birational to a $\mathbb{P}^1$-fibration over the Jacobian of normalization

Let $Y$ be an integral curve whose only singularity is one simple node at a point $y$, and $\pi:X\rightarrow Y$ be the normalization with $\pi^{-1}(y)=\{x,z\}$. $J(X)$ is the Jacobian of $X$, and $\...
user avatar
  • 287
2 votes
0 answers
74 views

Fibre metrics on non-linear bundles

Usually what is meant under a fibre metric is that one is given a (smooth) vector bundle $\pi:Y\rightarrow X$, and on each fibre $Y_x$ an algebraic inner product $g_x$ that varies smoothly from point ...
user avatar
1 vote
0 answers
127 views

A possible kind of $K$ theory via comparison of sphere bundles associated to given vector bundles

Let $E$ be a vector bundle on a topological space $X$.Thanks to Allen Hatcher's book "Vector Bundles and K theory", the construction of sphere bundle $S(E)$ can be done without any inner ...
user avatar
4 votes
1 answer
166 views

Describe $\mathcal{N}_{G(\mathbb{P}^1,\mathbb{P}^k)\mid G(\mathbb{P}^1,\mathbb{P}^n)}$ [from MSE]

Note: This question came from MSE, but since I've received some useful observations I posted it here. Post on MSE Consider $1 \leq k < n$ positive integers, and denote by $G(\mathbb{P}^k,\mathbb{P}...
user avatar
  • 43
3 votes
1 answer
120 views

Cohomogeneity one action on $S^7$-bundles over $S^8$

Is it known if the total space of an $S^7$-bundles over $S^8$ with structure group $SO(8)$ admits a cohomogeneity one action?
user avatar
  • 641
7 votes
1 answer
275 views

Intersection form of surface bundle over surface

Let $\Sigma_g$ be a Riemannian surface of genus $g$. Let $M^4$ be a surface bundle over surface: $\Sigma_g \to M^4 \to \Sigma_h$. $\Sigma_g$ is the fiber and $\Sigma_h$ is the base space. My question: ...
user avatar
4 votes
1 answer
220 views

Positive scalar curvature on the total space of a circle bundle

Let $(\Sigma_\gamma,g)$ be a closed and orientable Riemannian surface of genus $\gamma \geq 1$, $(M^3,\tilde{g})$ be a closed, connected and orientable Riemannian $3$-manifold, and $\pi : M \to \...
user avatar

1
2 3 4 5 6