nLab
minimal Kan fibration

Contents

Idea

A minimal Kan fibration is a Kan fibration whose fibers are, in some sense, as small as possible in its homotopy class. Moreover, every Kan fibration has a strong deformation retract to a minimal Kan fibration (prop. 2 below). Hence minimal Kan complexes (i.e. minimal fibrations over the point) are the analogue in simplicial sets of minimal Sullivan models in rational homotopy theory.

Minimal Kan fibrations over connected bases happen to be fiber bundles, locally trivial over each simplex (lemma 2 below). This implies that their geometric realization into any convenient category of topological spaces is also a fiber bundle and hence in particular a Serre fibration. This is what makes minimal fibrations play a key role in all available proofs of the Quillen equivalence between the model structure on topological spaces and the standard model structure on simplicial sets (see at homotopy hypothsis – for Kan complexes).

Definition

Definition

A Kan fibration ϕ:ST\phi \colon S \longrightarrow T, is called a minimal Kan fibration if for any two cells in the same fiber with the same boundary if they are homotopic relative their boundary, then they are already equal.

More formally, ϕ\phi is minimal precisely if for every commuting diagram of the form

(Δ[n])×Δ[1] p 1 Δ[n] Δ[n]×Δ[1] h S p 1 ϕ Δ[n] T \array{ (\partial \Delta[n]) \times \Delta[1] &\stackrel{p_1}{\longrightarrow}& \partial \Delta[n] \\ \downarrow && \downarrow \\ \Delta[n] \times \Delta[1] &\stackrel{h}{\longrightarrow}& S \\ \downarrow^{\mathrlap{p_1}} && \downarrow^{\mathrlap{\phi}} \\ \Delta[n] &\longrightarrow& T }

then the two composites

Δ[n]d 1d 0Δ[n]×Δ[1]hS \Delta[n] \stackrel{\overset{d_0}{\longrightarrow}}{\underset{d_1}{\longrightarrow}} \Delta[n] \times \Delta[1] \stackrel{h}{\longrightarrow} S

are equal.

Properties

Proposition

The pullback (in sSet) of a minimal Kan fibration, def. 1, along any morphism is again a mimimal Kan fibration.

Proposition

For every Kan fibration, there exists a fiberwise strong deformation retract to a minimal Kan fibration, def. 1.

(e.g. Goerss-Jardine 96, chapter I, prop. 10.3, Joyal-Tierney 05, theorem 3.3.1, theorem 3.3.3).

Proof idea

Choose representatives by induction, use that in the induction step one needs lifts of anodyne extensions against a Kan fibration, which exist.

Lemma

A morphism between minimal Kan fibrations, def. 1, which is fiberwise a homotopy equivalence, is already an isomorphism.

(e.g. Goerss-Jardine 96, chapter I, lemma 10.4)

Proof idea

Show the statement degreewise. In the induction one needs to lift anodyne extensions agains a Kan fibration.

Lemma

Every minimal Kan fibration, def. 1, over a connected base is a simplicial fiber bundle, locally trivial over every simplex of the base.

(e.g. Goerss-Jardine 96, chapter I, corollary 10.8)

Proof

By assumption of the base being connected, the classifying maps for the fibers over any two vertices are connected by a zig-zag of homotopies, hence by this lemma the fibers are connected by homotopy equivalences and then by prop. 1 and lemma 1 they are already isomorphic. Write FF for this typical fiber.

Moreover, for all nn the morphisms Δ[n]Δ[0]Δ[n]\Delta[n] \to \Delta[0] \to \Delta[n] are left homotopic to Δ[n]idΔ[n]\Delta[n] \stackrel{id}{\to} \Delta[n] and so applying this lemma and prop. 1 once more yields that the fiber over each Δ[n]\Delta[n] is isomorphic to Δ[n]×F\Delta[n]\times F.

minimal fibration

References

Revised on April 19, 2016 14:47:07 by Urs Schreiber (131.220.184.222)