Dice Question Streamline Icon: https://streamlinehq.com

Are the reduced horn maps R1(\tilde{J}) a generating set of acyclic cofibrations in 1-reduced simplicial sets? (Conjectured no)

Show that the set R1(\tilde{J}) = { R1(j_{n,k}) : R1(Λ[n,k]) → R1(Δ[n]) for all integers n ≥ 3 and 0 ≤ k ≤ n }, obtained by applying the 1-reduction functor R1 to the horn inclusions j_{n,k}, is not a generating set of acyclic cofibrations for the model category of 1-reduced simplicial sets SSets_1 (whose weak equivalences are weak homotopy equivalences and whose cofibrations are monomorphisms).

Information Square Streamline Icon: https://streamlinehq.com

Background

In transferring the standard model structure from pointed simplicial sets to the category of 1-reduced simplicial sets SSets_1, the authors identify a generating set of cofibrations R1(I). For acyclic cofibrations, directly applying 1-reduction to all horn inclusions R1(J) fails because the n=2 horns do not yield weak equivalences after reduction.

Restricting to higher horns, they define \tilde{J} = { j_{n,k} : Λ[n,k] → Δ[n] | n ≥ 3, 0 ≤ k ≤ n } and show that R1(\tilde{J}) consists of acyclic cofibrations in SSets_1, detects fibrant objects, and detects fibrations whose targets are Kan complexes. However, it remains unresolved whether R1(\tilde{J}) actually generates all acyclic cofibrations in SSets_1. The authors conjecture that it does not.

References

However, to the best of our knowledge, the question of whether {R}{1}(\widetilde{J}) is a generating set of acyclic cofibrations for {\mathcal{SS}\mathrm{ets}{1} remains open. Conjecture. Let {R}{1} : {\mathcal{SS}\mathrm{ets} → {\mathcal{SS}\mathrm{ets}{1} denote the 1-reduction functor. The set {R}{1}(\widetilde{J})={R{1}(j_{n, k}) : R_{1}(\Lambda[n, k]) → R_{1}(\Delta[n]) \mid n ≥ 3 \text{ and } 0 ≤ k ≤ n} is not a generating set of acyclic cofibrations for {\mathcal{SS}\mathrm{ets}_{1}.

A modern perspective on rational homotopy theory (2505.23322 - Chatzitheodoridis, 29 May 2025) in Section 4.3 (Acyclic cofibrations of 1-reduced simplicial sets)