Skip to main content

Questions tagged [fibration]

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

Filter by
Sorted by
Tagged with
38 votes
1 answer
2k views

Is an affine fibration over an affine space necessarily trivial?

Let $X$ be an algebraic variety over an alg. closed field with zero char. and let $f:X\to \mathbb{A}^n$ be a smooth surjective morphism, such that all fibers (at closed points) are isomorphic to $\...
KotelKanim's user avatar
  • 2,027
39 votes
1 answer
5k views

Flatness in Algebraic Geometry vs. Fibration in Topology

I am currently trying to get my head around flatness in algebraic geometry. In particular, I'm trying to relate the notion of flatness in algebraic geometry to the notion of fibration in algebraic ...
Daniel Loughran's user avatar
18 votes
6 answers
6k views

Cohomology of fibrations over the circle

Are there any general results on the (integral) cohomology of manifolds that are fibrations over the circle? Any literature references much appreciated.
Dan's user avatar
  • 283
16 votes
3 answers
3k views

Multiplicativity of Euler characteristic for non-orientable fibrations

Let $E\to B$ be a fibration with fiber F, and assume for simplicity that B is connected. Suppose moreover that B and F have Euler characteristics (perhaps they are manifolds). Then often, one can ...
Mike Shulman's user avatar
  • 66.7k
10 votes
2 answers
839 views

Uniformization of Kodaira fibered surfaces

Consider a Kodaira fibration. i.e. a smooth non-isotrivial fibration $X\rightarrow C$ with $X$ a smooth complex surface and $C$ a smooth complex curve, such that both the genus of $C$ and genus of the ...
Darius Math's user avatar
  • 2,221
9 votes
2 answers
510 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 ...
Jonathan Sterling's user avatar
7 votes
3 answers
911 views

A fibrant-objects structure on Top

(Sorry for the crossposting, but I'm really interested in this question). One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...
fosco's user avatar
  • 13.6k
3 votes
2 answers
2k views

Smooth morphism (algebraic geometry) vs. Submersion (differential geo) & Ehresman's Lemma

I have a general question about the motivation behind to definition the smooth morphisms as we know it from algebraic geometry. The most common definition of a smooth morphism $: X \to Y$ between two ...
user267839's user avatar
  • 5,998
31 votes
3 answers
2k views

Is the counit of geometric realization a Serre fibration?

Recall that a Serre fibration between topological spaces is a map which has the homotopy lifting property (HLP) for all CW complexes (equivalently for all disks $D^k$). The Serre fibrations are the ...
Chris Schommer-Pries's user avatar
23 votes
2 answers
4k views

construct the elliptic fibration of elliptic k3 surface

Hi all, As we know, every elliptic k3 surface admits an elliptic fibration over $P^1$, but generally how do we construct this fibration? For example, how to get such a fibration for Fermat quartic? ...
Jay's user avatar
  • 583
20 votes
1 answer
834 views

Are all homotopy equivalences realized by fibrations over [0,1]?

Given two homotopy equivalent spaces $X$ and $Y$, does there always exist a Hurewicz fibration $p: E\rightarrow [0,1]$ with $p^{-1} (0) = X$ and $p^{-1} (1)=Y$? This issue shows up in the accepted ...
Dan Ramras's user avatar
  • 8,803
13 votes
2 answers
2k views

Request: A Serre fibration that is not a Dold fibration

A Serre fibration has the homotopy lifting property with respect to the maps $[0,1]^n \times \{0\} \to [0,1]^{n+1}$. A Dold fibration $E \to B$ has the weak covering homotopy property: lifts with ...
David Roberts's user avatar
  • 35.4k
12 votes
2 answers
818 views

global fibrations of simplicial sheaves

I'm reading the classical Brown-Gersten's paper "Algebraic K-theory as generalized sheaf cohomology" and I'm stuck with their choose of global fibrations. Namely, a morphism of simplicial sheaves $p : ...
Agustí Roig's user avatar
  • 1,975
12 votes
3 answers
1k views

Classifying space for fibrations with Eilenberg-MacLane space fibers and nontrivial fundamental group actions

Let $A$ be an abelian group and let $n \geq 2$. For any connected CW complex $X$, it is standard that a fibration $f\colon E \rightarrow X$ whose fibers are homotopy equivalent to a $K(A,n)$ is ...
Tina's user avatar
  • 383
11 votes
1 answer
513 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 ...
Mike Shulman's user avatar
  • 66.7k
11 votes
0 answers
266 views

Madsen-Tillmann spectrum $MTE$ of the group $E$ which is defined in Freed-Hopkins's paper

In Freed-Hopkins's paper, the group $E(d)$ is defined to be the subgroup of $O(d)\times\mathbb{Z}_4$ consisting of the pairs $(A,j)$ such that $\det A=j^2$, where $\mathbb{Z}_4=\{\pm1,\pm\sqrt{-1}\}$ ...
Borromean's user avatar
  • 1,329
9 votes
4 answers
711 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 $\...
Peter LeFanu Lumsdaine's user avatar
9 votes
1 answer
2k views

How to Compute Transgressions in a Serre Spectral Sequence?

For a short exact sequence of groups $1\rightarrow A\rightarrow B\rightarrow C\rightarrow 1$ there is an associated fibration $K(A,1)\rightarrow K(B,1)\rightarrow K(C,1)$, which can be constructed by ...
Zuriel's user avatar
  • 1,108
7 votes
1 answer
515 views

Replacing the Fibre of a Fibration

This was a question I first asked on stack exchange, here. In my head it seems like a fairly reasonable thing to ask for, but I'm not aware of any construction in the literature. Let $p:E\rightarrow ...
Tyrone's user avatar
  • 5,596
7 votes
1 answer
2k views

Quasi-unipotent monodromy for general families

This must be a naive question, but I'm wondering about the definition of quasi-unipotent monodromy for general families, not only 1-parameter families. The problem is that usually, in the books of ...
Jack's user avatar
  • 637
6 votes
1 answer
263 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 ...
D1811994's user avatar
  • 909
5 votes
2 answers
2k views

A fibration of classifying spaces

Let $G$ be a Lie group, $N$ a closed connected normal subgroup. Let $BG$, $BN$, $B(G/N)$ be the classifying spaces of $G,N$ and $G/N$. Is there a fibration $BN\to BG\to B(G/N)$ ? It seems that such a ...
Boyu Zhang's user avatar
5 votes
2 answers
1k views

How can I see that the slice of a presheaf category is equivalent to the presheaf category of the category of elements?

Let $\mathcal{C}$ be a small category and $P$ a presheaf on $\mathcal{C}$. Then there is an equivalence $$\widehat{\mathcal{C}} / P \cong \widehat{\int_{\mathcal{C}}} P$$ Now there are (at least) two ...
Chuck's user avatar
  • 497
2 votes
2 answers
575 views

Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers. Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...
user avatar