Edit: The claim below is wrong, as explained in the comments, because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy products.

Simplicial homotopy colimits (i.e., homotopy colimits indexed by the opposite category of simplices) commute with (small) homotopy products in spaces.

This can be easily seen by presenting spaces as simplicial sets, simplicial homotopy colimits as the diagonals of the corresponding bisimplicial sets, homotopy products as products, and observing that the diagonal functor, being induced by a restriction along an inclusion of categories, preserves all (co)limits because (co)limits are computed componentwise in any category of functors. In particular, the diagonal functor commutes with small products, which establishes the desired property.

The same argument extends to all Grothendieck ∞-toposes (e.g., quasicategorical toposes or model toposes), because they can be presented as left Bousfield localizations of the categories of simplicial presheaves on small sites, and homotopy (co)limits are computed componentwise in any category of simplicial presheaves, or a left Bousfield localization thereof.

Of course, the opposite category of simplices is homotopy sifted and homotopy sifted colimits commute with finite homotopy products, so the interesting part is commutation of simplicial homotopy colimits with infinite (but small) homotopy products.

I would like to obtain a model-independent proof of this property. Recall that Grothendieck ∞-toposes can be characterized by the appropriate version of Giraud's axioms, as proposed by Rezk, namely, they are precisely those locally presentable ∞-categories in which homotopy colimits are universal, homotopy coproducts are disjoint, and every groupoid object is effective.

Is it possible to prove that small homotopy products commute with simplicial homotopy colimits directly from Giraud's axioms without resorting to a particular model of spaces?

  • 4
    $\begingroup$ The statement that colimits commute with products (in each variable) is a special case of the assumption that colimits are universal (namely, that they are preserved by pullback along the map X -> *), which is one of the axioms on your list. $\endgroup$ – Jacob Lurie Sep 18 '14 at 11:41
  • $\begingroup$ @JacobLurie: Of course, but how does one extend this property to infinite products? $\endgroup$ – Dmitri Pavlov Sep 18 '14 at 11:45
  • 1
    $\begingroup$ Ah, I misunderstood you. Your original statement is false, even in the infty-category of spaces. (Also, it wouldn't follow from a general infty-topos from there, because left exact functors only preserve finite products. Also, sifted colimits don't commute with finite products in a general presentable infty-category.) $\endgroup$ – Jacob Lurie Sep 18 '14 at 11:57
  • $\begingroup$ @JacobLurie: What would be the easiest counterexample in spaces? I am trying to reconcile your statement and the (presumably wrong?) model-dependent proof in the second paragraph. Also, an elementary computation on the level of sets seems to show that the induced canonical map is at least a bijection on π_0. $\endgroup$ – Dmitri Pavlov Sep 18 '14 at 12:11
  • 11
    $\begingroup$ For a counterexample in spaces, let X_* be the simplicial set with vertices the integers and edges joining each integer n to n+1. Regard X_* as a simplicial object of spaces whose geometric realization is contractible. Then a product of infinitely many copies of |X_| is contractible. But the geometric realization of a product of infinitely many copies of X_ is not connected: for example, there's no path joining the identity map Z -> Z with the constant map joining Z -> {0} -> Z. (Contradicting your "elementary computation".) $\endgroup$ – Jacob Lurie Sep 18 '14 at 12:17

Your Answer

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

Browse other questions tagged or ask your own question.