Recognition: 1 theorem link
· Lean TheoremCombinatorial Models for Linear Homotopy Theories
Pith reviewed 2026-05-11 02:37 UTC · model grok-4.3
The pith
Semisimplicial modules and augmented semisimplicial modules are equivalent to chain complexes as models for linear homotopy theories over characteristic-zero fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a field k of characteristic 0, semisimplicial modules and augmented semisimplicial modules are equivalent to appropriate chain-complex homotopy theories, both at the Gabriel-Zisman localization and the Quillen model-categorical level. The semicubical sign embedding gives a natural comparison from semicubical modules to augmented semisimplicial modules and induces a Quillen adjunction, but not a Quillen equivalence on the full semicubical category since there is an obstruction in augmented homology at degree -1.
What carries the argument
Small differential categorical algebras that serve as the common intermediary through which semisimplicial, augmented semisimplicial, semicubical, and chain-complex structures are compared and shown to carry equivalent homotopy data.
If this is right
- The homotopy category of semisimplicial modules is equivalent to the homotopy category of chain complexes, so invariants computed in one setting transfer directly to the other.
- Quillen model structures on semisimplicial modules and on chain complexes are equivalent, allowing cofibrations, fibrations, and weak equivalences to be identified across the two presentations.
- The Gabriel-Zisman localization of the category of semisimplicial modules yields the same homotopy category as the localization of chain complexes.
- Semicubical modules map into the augmented semisimplicial world via a Quillen adjunction, so some but not all semicubical homotopy data can be recovered inside the semisimplicial model.
Where Pith is reading between the lines
- The degree -1 obstruction suggests that a slight enlargement or truncation of the semicubical category might remove the remaining mismatch and produce a full Quillen equivalence.
- Because the equivalences are established at the level of model categories, any homotopy-coherent construction that works for chain complexes (such as derived tensor products) can be transported verbatim to the semisimplicial setting.
- The same comparison technique might extend to other combinatorial models such as arboreal vector spaces once the small differential categorical algebra framework is applied to them.
Load-bearing premise
The base field must have characteristic zero so that the comparisons can be carried out via small differential categorical algebras without extra sign or torsion obstructions.
What would settle it
Exhibit a specific semisimplicial module whose homotopy groups or derived functors fail to match those of any chain complex, or demonstrate that the semicubical-to-augmented-semisimplicial adjunction fails to preserve weak equivalences when the degree -1 homology obstruction is present.
read the original abstract
For a field $k$ of characteristic $0$, we compare $k$-linear chain complexes, semisimplicial vector spaces, augmented semisimplicial vector spaces, semicubical vector spaces, and arboreal vector spaces through small differential categorical algebras. We prove that semisimplicial modules and augmented semisimplicial modules are equivalent to appropriate chain-complex homotopy theories, both at the Gabriel--Zisman localization and the Quillen model-categorical level. The semicubical sign embedding gives a natural comparison from semicubical modules to augmented semisimplicial modules and induces a Quillen adjunction, but not a Quillen equivalence on the full semicubical category since there is an obstruction in augmented homology at degree $-1$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compares k-linear chain complexes, semisimplicial vector spaces, augmented semisimplicial vector spaces, semicubical vector spaces, and arboreal vector spaces over a field k of characteristic zero, using small differential categorical algebras as an intermediary. It proves that semisimplicial modules and augmented semisimplicial modules are equivalent to appropriate chain-complex homotopy theories both via Gabriel-Zisman localization and at the Quillen model-categorical level. The semicubical sign embedding induces a natural comparison and Quillen adjunction from semicubical modules to augmented semisimplicial modules, but this adjunction fails to be a Quillen equivalence on the full semicubical category due to an obstruction in augmented homology at degree -1.
Significance. If the central claims hold, the work supplies explicit combinatorial models for linear homotopy theories, which may facilitate computations in homological algebra and algebraic topology. The precise identification of the degree -1 obstruction as the barrier to equivalence for the semicubical case, together with the use of small differential categorical algebras, constitutes a concrete technical advance.
major comments (2)
- [semicubical sign embedding section] § on the semicubical sign embedding and Quillen adjunction: the claim that non-equivalence holds solely because of the obstruction in augmented homology at degree -1 is load-bearing for the non-equivalence statement; the manuscript must explicitly verify that the embedding preserves weak equivalences in all degrees except -1 and that no other invariants (e.g., in positive degrees or post-localization) differ, for instance by direct homology computation or a concrete counterexample object.
- [equivalences section] § on equivalences via small differential categorical algebras: the proofs that semisimplicial modules and augmented semisimplicial modules are equivalent to chain-complex homotopy theories (both Gabriel-Zisman and Quillen) rest on these algebras; the derivations, including how the characteristic-zero hypothesis is used and how the degree -1 homology claim is handled, require full detail to support the central equivalences.
minor comments (1)
- Notation for 'small differential categorical algebras' should be introduced with a precise definition on first appearance and used consistently thereafter.
Simulated Author's Rebuttal
We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment below and will incorporate the requested clarifications and verifications in a revised version.
read point-by-point responses
-
Referee: [semicubical sign embedding section] § on the semicubical sign embedding and Quillen adjunction: the claim that non-equivalence holds solely because of the obstruction in augmented homology at degree -1 is load-bearing for the non-equivalence statement; the manuscript must explicitly verify that the embedding preserves weak equivalences in all degrees except -1 and that no other invariants (e.g., in positive degrees or post-localization) differ, for instance by direct homology computation or a concrete counterexample object.
Authors: We agree that the non-equivalence claim requires explicit verification that the sign embedding preserves weak equivalences except at degree -1. In the revision we will add a direct homology computation for the image of the embedding, confirming preservation in all degrees ≠ -1, together with a concrete counterexample object exhibiting the degree -1 obstruction. We will also verify that no other invariants (positive-degree homology or post-localization) differ by comparing the localized homotopy categories explicitly. revision: yes
-
Referee: [equivalences section] § on equivalences via small differential categorical algebras: the proofs that semisimplicial modules and augmented semisimplicial modules are equivalent to chain-complex homotopy theories (both Gabriel-Zisman and Quillen) rest on these algebras; the derivations, including how the characteristic-zero hypothesis is used and how the degree -1 homology claim is handled, require full detail to support the central equivalences.
Authors: We acknowledge that the proofs via small differential categorical algebras need fuller detail. In the revised manuscript we will expand these derivations, explicitly explaining the use of the characteristic-zero hypothesis in the constructions and how the degree -1 homology is handled (or avoided) in establishing both the Gabriel-Zisman localizations and the Quillen equivalences for semisimplicial and augmented semisimplicial modules. revision: yes
Circularity Check
No circularity: equivalences proven via direct comparisons through small differential categorical algebras.
full rationale
The paper establishes equivalences of semisimplicial and augmented semisimplicial modules to chain-complex homotopy theories (at both Gabriel-Zisman localization and Quillen model-categorical levels) by explicit comparisons using small differential categorical algebras. The semicubical sign embedding induces a Quillen adjunction whose failure to be an equivalence is attributed to a concrete obstruction in augmented homology at degree -1. No step reduces by definition to its own inputs, renames a fitted quantity as a prediction, or relies on a load-bearing self-citation chain; the derivations are self-contained mathematical proofs with independent content.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption k is a field of characteristic 0
Reference graph
Works this paper leans on
-
[1]
Advances in Mathematics , volume = 170, number = 1, pages =
Al-Agl, Fahd Ali and Brown, Ronald and Steiner, Richard , title =. Advances in Mathematics , volume = 170, number = 1, pages =
-
[2]
Mathematical Proceedings of the Cambridge Philosophical Society , volume =
Ara, Dimitri and Cisinski, Denis-Charles and Moerdijk, Ieke , title =. Mathematical Proceedings of the Cambridge Philosophical Society , volume =. 2019 , doi =
work page 2019
-
[3]
A. The. Applied Categorical Structures , volume =. 2025 , doi =
work page 2025
-
[4]
Boardman, J. M. and Vogt, R. M. , title =. 1973 , doi =
work page 1973
-
[5]
Brantner, D. Lukas B. and Hahn, Jeremy and Knudsen, Ben , title =. Journal of Topology , volume = 17, number = 4, pages =
- [6]
- [7]
- [8]
-
[9]
Journal of Topology , volume =
Cisinski, Denis-Charles and Moerdijk, Ieke , title =. Journal of Topology , volume =. 2011 , doi =
work page 2011
- [10]
-
[11]
Day, Brian J. and Street, Ross , title =. Theory and Applications of Categories , volume =. 1995 , url =
work page 1995
-
[12]
Semisimplicial spaces , journal =
Ebert, Johannes and Randal. Semisimplicial spaces , journal =. 2019 , doi =
work page 2019
- [13]
-
[14]
Transactions of the American Mathematical Society , volume =
Fiedorowicz, Zbigniew and Loday, Jean-Louis , title =. Transactions of the American Mathematical Society , volume =. 1991 , doi =
work page 1991
-
[15]
Fors, G. Augmental Homology and the K. arXiv preprint , year =. math/0109073 , archivePrefix=
-
[16]
Gabriel, Pierre and Zisman, Michel , title =
-
[17]
Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques , volume =
Grandis, Marco , title =. Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques , volume =. 2009 , url =
work page 2009
-
[18]
Theory and Applications of Categories , volume =
Grandis, Marco and Mauri, Luca , title =. Theory and Applications of Categories , volume =
- [19]
- [20]
-
[21]
Dold--Kan Correspondence for Dendroidal Abelian Groups , journal =
Guti. Dold--Kan Correspondence for Dendroidal Abelian Groups , journal =. 2011 , doi =
work page 2011
- [22]
-
[23]
A necessary and sufficient condition for induced model structures , journal =
Hess, Kathryn and K. A necessary and sufficient condition for induced model structures , journal =. 2017 , doi =
work page 2017
- [24]
- [25]
-
[26]
Hovey, Mark , title =
-
[27]
New York Journal of Mathematics , volume =
Kapulkin, Krzysztof and Lindsey, Zachery and Wong, Liang Ze , title =. New York Journal of Mathematics , volume =. 2019 , url =
work page 2019
-
[28]
Kaya, Haydar Can and Kaygun, Atabey , YEAR =
-
[29]
Arboreal Objects and Their Homotopy Theory , year =
Kaygun, Atabey , EPRINT =. Arboreal Objects and Their Homotopy Theory , year =. 2603.20140 , archivePrefix=
-
[30]
Journal of Pure and Applied Algebra , volume =
Stephen Lack and Ross Street , title =. Journal of Pure and Applied Algebra , volume =. 2015 , number =
work page 2015
-
[31]
Leinster, Tom , title =
-
[32]
Mac Lane, Saunders , title =
-
[33]
Maltsiniotis, Georges , title =
-
[34]
Homology, Homotopy and Applications , volume =
Maltsiniotis, Georges , title =. Homology, Homotopy and Applications , volume =. 2009 , doi =
work page 2009
-
[35]
Markl, Martin and Shnider, Steve and Stasheff, Jim , title =
- [36]
- [37]
-
[38]
Mitchell, Barry , title =
-
[39]
Advances in Mathematics , volume =
Mitchell, Barry , title =. Advances in Mathematics , volume =. 1972 , doi =
work page 1972
-
[40]
Algebraic & Geometric Topology , volume =
Moerdijk, Ieke and Weiss, Ittay , title =. Algebraic & Geometric Topology , volume =. 2007 , doi =
work page 2007
- [41]
-
[42]
Algebraic & Geometric Topology , volume =
Schwede, Stefan and Shipley, Brooke , title =. Algebraic & Geometric Topology , volume =. 2003 , url =
work page 2003
-
[43]
Serre, Jean-Pierre , title =
-
[44]
Tonks, A. P. , title =. Journal of Pure and Applied Algebra , volume =. 1992 , doi =
work page 1992
-
[45]
Torii, Takeshi , title =. arXiv preprint , year =. 2202.02493 , archivePrefix=
- [46]
- [47]
-
[48]
Mathematical Foundations of Quantum Field Theory and Perturbative String Theory , series =
Weiss, Ittay , title =. Mathematical Foundations of Quantum Field Theory and Perturbative String Theory , series =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.