Kan fibration

From Wikipedia, the free encyclopedia

The notion of a Kan fibration is a part of the theory of simplicial sets in mathematics. Kan fibrations are the fibrations in the model category theoretic sense on the category of simplicial sets and are therefore of fundamental importance. The name is in honor of Daniel Kan.

Contents

[edit] Definition

For each n ≥ 0, recall that the standard n-simplex Δn, is the representable simplicial set

\Delta^n(i) = Hom_{\mathbf{\Delta}} ([i], [n])

Geometrically, this corresponds to a solid n-simplex, such as the convex subspace of ℝn+1 consisting of all points (t0, ..., tn) such that each ti is positive and their sum equals 1.

For each k ≤ n, this has a subcomplex \Lambda^n_k, the k-th horn inside Δn, corresponding to the boundary of the n-simplex, with the k-th face removed. (It may be formally defined in various ways, as for instance the union of the images of the n maps \Delta^{n-1} \rightarrow \Delta^n corresponding to all the other faces of Δn.)

Lifting diagram for a Kan fibration
Lifting diagram for a Kan fibration

A map of simplicial sets f: X\rightarrow Y is a Kan fibration if for any k\le n and for any maps s:\Lambda^n_k\rightarrow X and y:\Delta^n\rightarrow Y such that f \circ s=y \circ i, there exists a map x:\Delta^n \rightarrow X such that s=x \circ i and y=f \circ x. Therefore, this definition very much resembles the one of fibrations in topology, see also homotopy lifting property, whence the name "fibration".

Using the correspondence of n-simplices of a simplicial set X and morphisms \Delta_n \rightarrow X (this is an instance of the Yoneda lemma), the Kan-fibration property means that if there are given n+1 n-simplices

s0, ..., sk-1, sk+1, ..., sn+1 ∈ Xn,

"fitting together", i.e.

du st = dt su-1

for all suitable u, t (du denotes the u-th boundary operator of the simplicial set X), together with an n+1-simplex y ∈ Yn+1, such that f(su) = du(y), there is a (not necessarily unique) n+1-simplex x ∈ Xn+1 mapping to y under f and, applying the boundary operators, restricting to the given su: f(x) = y, du(x)=su.

Morally, one may say that it means that a horn in X extends to a simplex in Y then it extends to a simplex in X in a way that lifts the simplex in X.

A simplicial set X is called fibrant, if the unique morphism to the one-point simplicial set is a Kan fibration. This amounts to saying that for a collection of n-simplices fitting together as above, there is a n+1-simplex restricting to the given simplices, or in other words that every horn in X has a filler.

[edit] Examples

S(X) := \{ \Delta_n^{top} \rightarrow X \}

Using the fact that the topological horn is a strong deformation retract of the full simplex, one shows that this simplicial set is fibrant.

  • It can be shown that the simplicial set underlying a simplicial group is always fibrant.

[edit] Applications

The homotopy groups of a fibrant simplicial set may be defined combinatorially, using horns, in a way that agrees with the homotopy groups of the topological space which realizes it.

[edit] References

Goerss, Paul; Jardine, John (1999). Simplicial homotopy theory. Birkhäuser. ISBN 376436064X. 

May, Peter (1967). Simplicial objects in algebraic topology. The university of Chicago press. ISBN 0226511804.