I've always heard that Kan's $Ex^\infty$ functor has important theoretical applications, but the only one I know is to show that the Kan-Quillen model structure is right proper. What else is it useful for?

I'm looking for something more than the existence of a functorial fibrant replacement functor for the Kan-Quillen model structure, for which one can simply appeal to the small object argument.

As far as I know, the nice properties of the monad $Ex^\infty: sSet \to sSet$ are summed up in the following list (all model-categorical terms are with respect to the Kan-Quillen model structure on $sSet$):

  1. $Ex^\infty$ preserves finite products.

  2. In fact, $Ex^\infty$ preserves finite limits and filtered colimits.

  3. $Ex^\infty$ preserves fibrations and acyclic fibrations.

  4. $Ex^\infty$ preserves and reflects weak equivalences.

  5. $X \to Ex^\infty X$ is an anodyne extension for every $X$.

  6. $Ex^\infty X$ is fibrant for every $X$.

  7. (Have I missed something?)

Thus, $Ex^\infty$ is a functorial fibrant replacement for the Kan-Quillen model structure which preserves finite limits, fibrations, and filtered colimits. The above list is rather redundant. For instance, I've listed (1) separately from (2) because I'm thinking of it as a "monoidal" property rather than an "exactness" property.

Some consequences are that:

  • The Kan-Quillen model structure is right proper.

  • The weak equivalences of the Kan-Quillen model structure are stable under filtered colimits.

  • The simplicial approximation theorem follows easily if you happen to independently know that $sSet$ is Quillen equivalent to $Top$.

  • What else?

For instance, I think I have the impression that (1) implies something important about simplicial categories, but I'm not sure what.

The applications I've listed can all be proven in different ways, and might even be inputs to proving the above properties of $Ex^\infty$. Ideally I'd like something meatier.

  • 4
    $\begingroup$ It's worth noting that almost all of your list of properties are shared by the functor $EX:= \mathrm{Sing}|X|$, the singular complex of geometric realization. (I guess I don't know that $E$ preserves all filtered colimits, but the others are ok.). $\endgroup$ – Charles Rezk Mar 6 at 16:11

Another thing for which Kan Ex$^{\infty}$ functor is useful is actually in the construction of the Kan-Quillen model structure. It morally gives a purely algebraic version of the simplicial approximation theorem (the version involving subdivision) which allows you to avoid the use of topological spaces in the proof.

This is very apparent in Cisinski's proof of the existence of the Kan-Quillen model structure from his book "Les préfaisceaux comme modèles des types d'homotopies".

In his approach it follows quite formally, from the theory of test categories and what we now call the theory of Cisinski model structures, that there is a model structure on simplicial sets, where the cofibrations are the monomorphisms and the weak equivalences are the realization weak equivalences. But it is unclear what the fibrations are.

With a bit of work one can see that the fibrant objects are the Kan complexes and the fibrations between fibrant objects are the Kan fibrations, but it is considerably harder to show that in general the fibrations are the the Kan fibrations.

This is at this point that Cisinki introduces Kan's Ex$^{\infty}$ and uses its good property to show this last fact (if I remember correctly, he essentially shows that any Kan fibration is a retract of the pullback of its image by Kan Ex$^{\infty}$, which is a Kan fibration between Kan complexes, hence an actual fibration).

A sign that this last result is hard, is that in very similar situations, like the Joyal model structure, or Lurie's model structure on Marked simplicial sets, but where one does not have an analogue of Kan Ex$^{\infty}$, this last results (that one can characterize fibrations between general objects by our naive lifting property) does not hold.

A similar, but more direct approach to give a purely combinatorial construction of the Kan Quillen model structure, also relying on Kan's Ex$^{\infty}$ functor, but which uses more explicit constructions instead of the theory of test categories and Cisinski model structures, has been given by S.Moss.

Note that the most classical proof of the existence of the Kan-Quillen model structure uses topological spaces and the simplicial approximation theorem, which in the end relies on a machinery very similar to that of Kan's $Ex^{\infty}$. Though another type of purely combinatorial proof (but very non-constructive) of the existence of the Kan-Quillen model structure uses the theory of minimal fibrations instead. (see for example Joyal & Tierney notes on simplicial homotopy theory, and as pointed by Denis Nardin, this is also Quillen's original proof).

Finally, I am also presently finishing an actual constructive proof (in the technical sense of the term) of the existence of the Kan-Quillen model structure, which also relies on Kan's Ex$^{\infty}$ functor (it is in the same spirit as S. Moss's proof mentioned above).

  • 8
    $\begingroup$ The first purely combinatorial construction of the model structure was also the first construction of the model structure, in Quillen's Homotopical algebra (theorem II.3.3) :). I don't know why people always forget about that. $\endgroup$ – Denis Nardin Mar 6 at 8:57
  • 3
    $\begingroup$ Indeed. A related answer: mathoverflow.net/a/46112/42137 $\endgroup$ – Andrea Gagna Mar 6 at 9:38
  • $\begingroup$ @DenisNardin : Indeed... For some unknown reason I had in mind that Quillen's proof was relying on older work on simplicial sets which used topology... $\endgroup$ – Simon Henry Mar 6 at 15:03
  • 1
    $\begingroup$ It's also in chapter 3 of Cisinski's book "Higher Categories and Homotopical Algebra", for those who prefer to read English. $\endgroup$ – Reid Barton Mar 11 at 1:15
  • 1
    $\begingroup$ @Reid Barton: The proof in "Higher Categories and Homotopical Algebra" is different from the one in "Les préfaisceaux..." $\endgroup$ – Denis-Charles Cisinski Mar 11 at 13:05

The Ex^∞ functor provides a powerful criterion for detecting weak equivalences of simplicial sets. The specific construction of Ex^∞ is crucial for such a criterion.

Specifically, the simplicial Whitehead theorem states that simplicial homotopy equivalences of Kan complexes are simplicial maps that have a relative-homotopy-lifting property with respect to the inclusions ∂Δ^n→Δ^n.

Using Kan's Ex^∞ functor we can extend this criterion to detect weak equivalences of arbitrary simplicial sets.

More precisely, since ∂Δ^n and Δ^n are compact objects, any map ∂Δ^n→Ex^∞(X) or Δ^n→Ex^∞(X) factors through some Ex^m(X), which allows us to use the adjunction between Sd^m and Ex^m to show that weak equivalences between arbitrary simplicial sets are precisely those simplicial maps that have a relative-homotopy-lifting property with respect to iterated subdivisions of ∂Δ^n→Δ^n, with an additional caveat that we may increase the number of subdivisions and the homotopy itself can be subdivided.

  • $\begingroup$ This does seem powerful but I’ve never seen it actually used in practice. Have you? $\endgroup$ – Tim Campion Mar 6 at 6:25
  • $\begingroup$ @TimCampion: Yes. A paper is forthcoming. That's why I mentioned it. $\endgroup$ – Dmitri Pavlov Mar 6 at 6:49
  • $\begingroup$ Awesome! I find this especially interesting because I've been developing a cubical $Ex^\infty$ functor, and the one application I have so far results from a similar criterion for cubical subdivision (related to my question from a few weeks ago about simplicial homotopy groups -- it was you, in fact, who steered me toward cubical sets!) $\endgroup$ – Tim Campion Mar 6 at 6:51
  • 2
    $\begingroup$ @TimCampion A similar use of $Ex^\infty$ is in Section 3.2 of this paper of John Bourke, where the class of weak homotopy equivalences between arbitrary simplicial sets is described as a cone-injectivity class. $\endgroup$ – Alexander Campbell Mar 6 at 10:02

Your Answer

By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.