Let $M$ be a closed symmetric monoidal model category. Let $X$ be a cofibrant object (it can also be fibrant if you like) and let $\Sigma_n$ act on $X^{\otimes n}$ by permuting the factors (note that this action is far from being free). There is a natural map from the homotopy colimit of the action (which is the extended power $E\Sigma_n \otimes_{\Sigma_n} X^n$) to the colimit $X^{\otimes n}/\Sigma_n$. In the pointed setting this map goes from $(E\Sigma_n)_+ \otimes_{\Sigma_n} X^{\otimes n}$. Let $(P)$ be the property that this map is a weak equivalence.

Does $(P)$ hold for sSet? [EDIT: Answer is no, see the comments]

Note that $(P)$ is known in at least a couple of instances. For example, Lemma 15.5 of Model Categories of Diagram Spectra by MMSS proves the pointed version for the positive model structures on Orthogonal Spectra and Symmetric Spectra, while EKMM's Theorem III.5.1 proves it for S-alg. I learned these references from Shipley's paper "Monoidal Uniqueness of Stable Homotopy Theory" which is also where I read about the property above. Shipley posits that this property is necessary in order for commutative monoids in $M$ to inherit a model structure. In my current thesis work I've found a more general way, and now I'm trying to see if $(P)$ implies my hypotheses, as well as work out lots of examples.

(1) Are there any other model categories of interest where this property is known to hold or fail?

I imagine this property fails when one knows that commutative monoids don't form a model structure, e.g. in chain complexes over a field of characteristic nonzero (does $(P)$ hold in characteristic zero?), for topological spaces (since a commutative monoid must be a product of Eilenberg-MacLane spaces), or for the usual model structure on symmetric spectra (this was known by Gaunce Lewis, and led to the positive model structure).

(2) Are there any other model categories where you can't have a model structure on commutative monoids? Do these other categories fail to satisfy $(P)$?

(3) Are there any standard hypotheses on a closed symmetric monoidal model category $M$ which will imply $(P)$?

For (3), we can certainly assume $M$ is cofibrantly generated and left proper, even combinatorial, cellular, or simplicial if you like. We can even assume all objects are cofibrant if that will lead to a proof. It's well-known that the map from the homotopy colimit of a diagram to the colimit of the diagram is a weak equivalence if the diagram is Reedy cofibrant, but I feel like this would force the action to be free, which we can't have. Perhaps I'm wrong, though, and there is some way to use Reedy cofibrancy.

4more comments