Non-generation conjecture for 1-reduced simplicial sets

From papers

Let R1 ⁣:SSetsSSets1R_{1} \colon \mathcal{SS}\mathrm{ets} \rightarrow \mathcal{SS}\mathrm{ets}_{1} denote the 11-reduction functor. For the set

R1(J~)={R1(jn,k) ⁣:R1(Λ[n,k])R1(Δ[n])n3 and 0kn},R_{1}(\widetilde{J})=\{R_{1}(j_{n,k}) \colon R_{1}(\Lambda[n,k]) \rightarrow R_{1}(\Delta[n]) \mid n \geq 3 \textrm{ and } 0 \leq k \leq n\},

Non-generation conjecture. The set R1(J~)R_{1}(\widetilde{J}) is not a generating set of acyclic cofibrations for SSets1\mathcal{SS}\mathrm{ets}_{1}. The question is motivated by the fact that this set detects fibrations whose target is a Kan complex, while it is unknown whether it generates all acyclic cofibrations in the model structure on 11-reduced simplicial sets.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Eleftherios Chatzitheodoridis, “A modern perspective on rational homotopy theory”, arXiv:2505.23322 (2026).

Solutions 0

No solutions have been posted yet.