Non-generation conjecture for 1-reduced simplicial sets

About 1 year old · traced to

Let R1 ⁣:SSets→SSets1R_{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])∣n≥3 and 0≤k≤n},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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.