# Questions tagged [fibration]

For questions about or involving fibrations which are maps which satisfy the homotopy lifting property for all spaces.

**2**

votes

**0**answers

104 views

### Restriction of the sheaf of relative differentials

Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve, and let $\Omega_f$ be the sheaf of relative differentials.
For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of ...

**11**

votes

**1**answer

195 views

### Which maps of simplicial sets geometrically realize to fibrations?

If $f:X\to Y$ is a Kan fibration of simplicial sets, then its geometric realization $|f| : |X|\to |Y|$ is (in some suitable convenient category of topological spaces, like compactly generated ones) a ...

**4**

votes

**1**answer

212 views

### Does the Eilenberg Moore Construction Preserve fibrations?

Say we have a Grothendieck fibration $p : E \to B$ and a monad $T$ on $B$ and a lift $T'$ of $T$ to $E$, i.e. a monad on $E$ such that $pT' = Tp$ and $p$ preserves $\eta, \mu$.
Then because the ...

**2**

votes

**1**answer

90 views

### Naive compactification of $\mathbb{C}^*$-fibrations

Let $\pi:X \to Y$ be a $\mathbb{C}^*$-fibration between complex manifolds in the sense that there exists a fixed integer $a$ such that for every $y \in Y$, $\pi^{-1}(y)=(\mathbb{C}^*)^a$. Suppose ...

**5**

votes

**1**answer

169 views

### Half-dimensional torus fibration vs Lagrangian torus fibration

Assume we have a closed symplectic manifold $M$ which is the total space of a smooth fibration by half-dimensional tori. Can we infer that $M$ is the total space of a smooth fibration by Lagrangian ...

**6**

votes

**0**answers

126 views

### Degeneracy of the Serre Spectral Sequence

I am learning the Serre spectral sequence and I am intrigued about the degeneracy of such at the $E_2$-page. Assuming field coefficients in cohomology for simplicity.
In fact, for a Serre fibration $...

**5**

votes

**1**answer

137 views

### Symplectic Lefschetz fibrations in terms of factorization in symplectic mapping class group

There is a well-known theorem stating that there is a bijection between diffeomorphism classes of Lefschetz fibrations over $S^2$ whose general fiber is a closed orientable surface $\Sigma_g$ of genus ...

**4**

votes

**1**answer

239 views

### Trivialization of Pontryagin square on oriented $4$-manifolds

I'm sorry for not clearly stating my question, thanks to Robert Bruner for answering my original question, let me restate it.
Let $\mathcal{P}:H^2(-,\mathbb{Z}/2)\to H^4(-,\mathbb{Z}/4)$ be the ...

**4**

votes

**0**answers

363 views

### Questions about obstruction theory (Hatcher's book)

I'm actually studying obstruction theory as presented in the last section of chapter $4$ of the book Algebraic Topology by Allen Hatcher. He first finds condition so that a space $X$ admits a ...

**2**

votes

**0**answers

188 views

### Fundamental groupoid and fibration

In this post, it is said that a functor from the fundamental groupoid of a space $X$ (denoted by $\Pi(X)$) to the category $\mathrm{Vect}$ of vector spaces gives a flat vector bundle over $X$. But I ...

**4**

votes

**1**answer

138 views

### Transgression image and Serre spectral sequence for tori

Let $\mathbb{K} \subset \mathbb{T}$ be two tori acting on a topological space $X$ (with all the properties you want). We use the notations $$X_{\mathbb{T}} := (X \times E \mathbb{T}) / \mathbb{T}, \...

**2**

votes

**0**answers

53 views

### Condition for a map to carry over to Leray spectral sequences

I am trying to understand the conditions for two Leray spectral sequences to be related by a map.
Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps of topological spaces (with ...

**5**

votes

**0**answers

67 views

### When is a bisimplicial set diagonal fibrant

Let $sSet^2$ be the category of bisimplicial sets.
In the diagonal model structure on $sSet^2$ weak equivalences are diagonal weak equivalence (i.e.$ X \rightarrow Y$ is a weak equivalence if $dX \...

**2**

votes

**0**answers

58 views

### Extension of a given section and obstruction cocyles

Let $p:E \to X$ be a fibration with the fiber $F$ where $X$ is a CW-complex. Denote by $U$ the set $U:=D^n \times \{0\} \cup S^{n-1} \times I$ (part of a cylinder) and let $\tilde{f}:U \to E$ be a ...

**6**

votes

**1**answer

354 views

### Obstructions for the lifting problem after a pull-back

This is a cross-post from a MSE question which received no answers. Beware that the notation here is a little different.
Consider the following lifting problem(s):
$\require{AMScd}$
\begin{CD}
&...

**4**

votes

**1**answer

148 views

### The converse of Vietoris-Begle theorem

It is well known the following result:
Lemma: Let $F\rightarrow E\rightarrow B$ be a fibration with $B$ connected and
simply connected. Suppose that $F$ is $n$-acyclic, i.e. $H^{p}\left( F;%
%...

**2**

votes

**1**answer

137 views

### Does a compact leaf of the smooth transversaly orientable foliation have trivial normal bundle?

In the book Geometric theory of foliations by Camacho and Neto, the following question is posed:
Let $G$ be a smooth transversaly orientable foliation. Let $F$ be a compact leaf of $G$. Prove that $F$...

**7**

votes

**1**answer

322 views

### About fibrations with fibre Eilenberg-MacLane spaces

Let $f: E\rightarrow B$ be a Kan fibration between pointed connected Kan complexes with fibre the Eilenberg-MacLane space $\mathrm{K}(M, n), n\geq 2, M$ an abelian group. Assume $f$ induces an ...

**1**

vote

**0**answers

79 views

### Transverse $S^1$ actions on mapping tori

Up until now I have thought that the existence of a transverse $\mathbb{S}^1$ action on a symplectic mapping torus implies that the mapping torus is trivial. Unfortunately I also came up with a ...

**4**

votes

**2**answers

194 views

### Space of sections of a fibration under weak homotopy equivalence

If I have two (Serre-)fibrations over the same base, and a weak equivalence of the total spaces that is also a map over the base, could I hope that the induced map on the spaces of sections would also ...

**2**

votes

**1**answer

117 views

### Lefschetz Fibrations and disk bundles

When reading chaptes 7 of Akbulut's book about $4-$manifolds, he describes a handle decomposition for a manifold given a Lefschetz fibration over $S^2$. The idea is to extend the preimage of a disk ...

**10**

votes

**3**answers

600 views

### Can Homotopy Type Theory or algebraic geometry deal with homotopy fibers in terms of families?

((In conclusion)
It was hard to choose which answer to accept. I decided for the one which addressed most of the various aspects of the question.
)
(Later addon)
I now decided to put a bounty on ...

**5**

votes

**0**answers

90 views

### Cartesian liftings in double categories

The question: I wonder whether the following definition, or something similar, has appeared somewhere (see below for motivations). Any reference or pointer is welcome!
(In what follows, I denote ...

**6**

votes

**1**answer

180 views

### Simplicial approximation of a fibration

I am interested in the simplicial approximation of Serre or Hurewicz fibrations (or even fibre bundles). Let's assume $E$ and $B$ are finite simplicial complexes (or their associated geometric ...

**3**

votes

**0**answers

122 views

### Lifting cellular structures to fibrations, fibre bundles or coverings

It is a well known result in Algebraic Topology that given a covering space $E\to B$ where the base has a CW-structure, then the total space can be given a CW-structure (see for example Theorem 8.10 ...

**1**

vote

**0**answers

54 views

### What is the other side of a category-indexed multicategory

By a category-indexed multicategory I mean a pseudofunctor from a category C to the 2-category of multicategories. For example, consider the pseudo functor which sends a topological space B to the ...

**5**

votes

**0**answers

143 views

### Low dimensional homotopy fibration TOP(M) -> TOP(int(M))

In the thesis of Nancy Cardim she proves that for $M$ a topological manifold of dim $\geq 5$ with connected boundary, there exists a homotopy fiber sequence
$C(\partial M)\rightarrow TOP(M) \...

**3**

votes

**0**answers

54 views

### Name of the following “fundamental construction” on fibration

The following "fundamental construction" is mentioned in Bart Jacobs's thesis, from which we can derive a few useful fibrations
I have some blind spot ironing everything out, and wanted to look up ...

**6**

votes

**1**answer

256 views

### When is $X_{hG} \to X/G$ a weak equivalence for $X$ a free $G$-space, $G$ compact Lie?

Two questions (more details below):
Let $G$ be a compact Lie group and $X$ a $G$-space such that all stabilizer
subgroups are conjugate to a fixed $H \leq G$. Denote by $\pi: X
\to X/G$ the quotient ...

**3**

votes

**3**answers

244 views

### Ref request: making a homotopy equivalence fibrewise, in an abstract setting (eg fibration categories)

The following useful lemma holds in a variety of settings:
Lemma. Let $p : Y_1 \to X$, $p_2 : Y_2 \to X$ be fibrations over a common base, and $f : Y_1 \to Y_2$ a map over $X$ that is a homotopy ...

**2**

votes

**0**answers

142 views

### fibre sequence of classifying space

I read Steve Mitchell's Notes on principal bundles and classifying spaces.
There is a theorem: Let $G$ be any topological group, $H$ an admissible
normal subgroup. Then there is a homotopy-fibre ...

**2**

votes

**1**answer

386 views

### A Decomposition for Iitaka fibration

Let $\pi: X\to Y$ be an Iitaka fibration of projective varieties
$X,Y$, then is there always the following decomposition
$$K_Y+\frac{1}{m!}\pi_*\mathcal O_X(m!K_{X/Y})=P+N$$
where $P$ is ...

**4**

votes

**0**answers

117 views

### Naturality of primary obstruction under fiber-preserving maps

Let $B$ be a path-connected CW complex, and let $p:E\to B$ and $p':E'\to B$ be fibrations. Let $f:E'\to E$ be a fiber-preserving map, which therefore induces a map of fibers $\bar{f}:F'\to F$.
Let us ...

**0**

votes

**1**answer

230 views

### Central fibre singularities

Let $f:X\to Y $ be a proper surjective holomorphic fibre space where $X,Y $ are projective varieties.
If the central fibre $X_0$ has at worst log terminal singularities,
then can we say that all ...

**4**

votes

**0**answers

170 views

### Galois categories and the connected components functor

In stacks 0BMQ, a Galois category is defined to be a functor $F:\mathsf C\longrightarrow \mathsf{FinSet}$ such that $\mathsf C$ is finitely bicomplete, every object ...

**6**

votes

**2**answers

267 views

### Constructively, are all fibrations cloven?

A "cloven fibration" is a fibration for which we have an explicit choice of cartesian liftings; this is often phrased as, "We can pick a lifting without using the axiom of choice".
Firstly, I'm a bit ...

**10**

votes

**1**answer

449 views

### Homotopical interpretation of flatness?

I have read a discussion (in a less common language) which discussed a homotopical interpretation of flatness, which went something like:
A map of commutative algebras is flat if pushing it out ...

**4**

votes

**0**answers

168 views

### Some questions on Kontsevich's moduli space

Motivation: Work of Eisenbud, Harris, and Mumford shows that
$\mathcal M_g$ is of general type when $g≥24$. Moreover, by Logan's function $f(g)$ , $\overline {\mathcal M_{g,n}}$ is of general type for ...

**2**

votes

**0**answers

146 views

### local description of $\mathbb{P}^2$-fibrations over $\mathbb{P}^1$

Let $X$ be a rational threefold (over the field of complex numbers) with terminal singularities. It is well-known that $X$ has only finitely many singular points $x_1,x_2, \ldots,x_n$.
To be more ...

**0**

votes

**0**answers

118 views

### Generalization of the fiber changing trick for principal bundles?

We know that a principal bundle can induce a fiber bundle as follows: if $F$ is a space which admits a $G$-action then a principal $G$-bundle $p: E \to B$ induces a fiber bundle $p: E \times_G F \to B$...

**4**

votes

**1**answer

356 views

### On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...

**6**

votes

**1**answer

506 views

### Shafarevich conjecture for abelian varieties

In the paper "Arakelov's theorem for abelian varieties" Faltings proves the Shafarevich conjecture for abelian varieties.
The statement is the following:
Let B be smooth projective a curve, S a ...

**-1**

votes

**1**answer

171 views

### Construction of fibration over Riemannian Manifold

Let $\pi: E \rightarrow B$ be a fibration over a Riemannian manifold $B$, with $\pi^{-1}[b]$ homeomorphic to $\mathbb{R}$.
More precisely:
I want each fiber $\pi^{-1}[b]=Im(f_b)$ for some $C^{\infty}...

**8**

votes

**2**answers

643 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

250 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?

**3**

votes

**0**answers

146 views

### Elliptic fibration arising from a higher genus linear system

Let $H$ be a very ample linear system on a smooth compact complex surface $X$ whose Kodaira dimension is $\geq 0$. A general element of $H$ is smooth and has genus $\geq 2$.
Let $L\subset H$ be a ...

**3**

votes

**1**answer

434 views

### Elliptic fibrations with few singular fibers

It is known that non-isotrivial fibrations of genus $g>0$ curves over the projective line have a bunch of singular fibers. There are at least three of them.
It is not difficult to prove that an ...

**9**

votes

**4**answers

490 views

### Pullback-stable model of fibrewise suspension of fibrations (in simplicial sets, or similar setting)

Given a fibration $p : Y \to X$ in simplicial sets (or any other model category), there are various ways to construct its fibrewise suspension, i.e. its suspension as an object of the slice $\...

**4**

votes

**2**answers

678 views

### Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures?
Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...

**3**

votes

**3**answers

403 views

### Does there exist a holomorphic fibration of genus two over $\mathbb{P}^{1}$ with $7$ nodal singularities?

This is a problem about the holomorphic fibration on a complex manifold.
Does there exist a holomorphic fibration of genus two over $\mathbb{CP}^{1}$ with 7 nodal singularities?
If you are aware of ...