The Simplicial Cylinder DG Ring
Pith reviewed 2026-05-16 05:47 UTC · model grok-4.3
The pith
When the source DG ring A is semi-free, the simplicial set of maps from A to the simplicial cylinder of B forms a Kan complex.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The simplicial cylinder DG ring is assembled from the family of higher cylinder DG rings Cyl_q(B). The simplicial Hom set SHom(A,B) is defined by taking DG ring homomorphisms from A into each Cyl_q(B) as its q-simplices. The main theorem states that SHom(A,B) is a Kan complex whenever A is a semi-free DG ring. As a consequence, the fundamental groupoid SHom_{≤1}(A,B) is invariant under quasi-isomorphisms of B, and the automorphism groups of its objects are abelian.
What carries the argument
The simplicial cylinder DG ring Cyl(B), built by gluing the higher cylinder DG rings Cyl_q(B) for all q, which encodes all orders of homotopies and supplies the simplices of the simplicial set SHom(A,B).
If this is right
- The fundamental groupoid extracted from SHom(A,B) is unchanged when B is replaced by any quasi-isomorphic DG ring.
- Automorphism groups of objects in this groupoid are abelian.
- The construction supplies a source of higher homotopies that can be used to study the homotopy theory of DG rings.
Where Pith is reading between the lines
- Semi-free DG rings behave like cofibrant objects with respect to this notion of homotopy.
- The Kan complex property opens the door to defining derived mapping spaces between DG rings.
- The abelian automorphism groups may constrain the possible homotopy groups that arise from these simplicial sets.
Load-bearing premise
The source DG ring A must be semi-free.
What would settle it
An explicit semi-free DG ring A together with a DG ring B for which a particular horn in the simplicial set SHom(A,B) admits no filler.
read the original abstract
The Keller cylinder DG ring encodes homotopies between DG ring homomorphisms $f_0, f_1 : A \to B$. Recently we discovered the higher cylinder DG rings $Cyl_q(B)$, which assemble into the simplicial cylinder DG ring $Cyl(B)$. For $q=1$ this recovers Keller's original construction. The sets $SHom_q(A,B)$ of DG ring homomorphisms $A \to Cyl_q(B)$ form the simplicial Hom set $SHom(A,B)$. Our main result is that when $A$ is a semi-free DG ring, the simplicial set $SHom(A,B)$ is a Kan complex. We prove several results about the fundamental groupoid $SHom_{\leq 1}(A,B)$, including invariance under quasi-isomorphism $B' \to B$, and that the automorphism groups are abelian. We also indicate some applications of this work.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces higher cylinder DG rings Cyl_q(B) assembling into the simplicial cylinder DG ring Cyl(B), generalizing Keller's cylinder construction for q=1. It defines the simplicial set SHom(A,B) whose q-simplices are the DG ring homomorphisms A → Cyl_q(B). The central result asserts that SHom(A,B) is a Kan complex whenever the source DG ring A is semi-free. Additional theorems establish properties of the fundamental groupoid SHom_≤1(A,B), including invariance under quasi-isomorphisms of the target B and the abelianness of its automorphism groups, together with indicated applications.
Significance. If the main theorem holds, the construction supplies a simplicial enrichment of Hom-sets in the category of DG rings (with semi-free source) that is Kan, thereby furnishing a concrete model for higher homotopies between DG ring maps. The invariance of the fundamental groupoid under quasi-isomorphisms of the target and the abelian automorphism groups are concrete, usable features that could support homotopy-theoretic arguments in derived algebra and homological algebra.
major comments (1)
- [Main theorem (Kan complex property)] Proof of the Kan property (main theorem): the argument that every horn Λ^n_k → SHom(A,B) extends to Δ^n reduces to extending a compatible collection of DG ring maps A → Cyl_{n-1}(B) to a single map A → Cyl_n(B). Because A is semi-free, this extension is determined by images of a free generating set subject to differential relations; the manuscript must exhibit an explicit choice of those images inside Cyl_n(B) that satisfies the relations for arbitrary compatible horn data. The current sketch does not display the solvability step for the missing face.
minor comments (2)
- [Definition of the simplicial cylinder] Notation for the simplicial structure maps on Cyl(B) should be stated explicitly (face and degeneracy operators) rather than left implicit from the assembly of the Cyl_q(B).
- [Fundamental groupoid results] The statement that automorphism groups in SHom_≤1(A,B) are abelian would benefit from a short direct verification using the cylinder relations, even if it follows from standard arguments.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the positive assessment of its significance. We agree that the proof of the main theorem requires a more explicit construction to be fully rigorous, and we will revise the manuscript to address this point in detail.
read point-by-point responses
-
Referee: [Main theorem (Kan complex property)] Proof of the Kan property (main theorem): the argument that every horn Λ^n_k → SHom(A,B) extends to Δ^n reduces to extending a compatible collection of DG ring maps A → Cyl_{n-1}(B) to a single map A → Cyl_n(B). Because A is semi-free, this extension is determined by images of a free generating set subject to differential relations; the manuscript must exhibit an explicit choice of those images inside Cyl_n(B) that satisfies the relations for arbitrary compatible horn data. The current sketch does not display the solvability step for the missing face.
Authors: We agree that the current sketch of the proof does not explicitly construct the images of the free generators in Cyl_n(B) that solve the differential relations for an arbitrary horn. In the revised version we will add a detailed construction: given a compatible collection of maps on the faces of the horn, we use the semi-free generators of A and the explicit differential and multiplication rules in the simplicial cylinder Cyl(B) to define the missing face by solving the resulting linear system over the underlying graded ring of Cyl_n(B). The compatibility of the horn data ensures that the system is consistent, and we verify that the chosen images satisfy all required relations by direct computation with the cylinder differentials. revision: yes
Circularity Check
No circularity: Kan complex property derived from semi-free hypothesis and cylinder construction
full rationale
The paper defines the higher cylinders Cyl_q(B) and the simplicial set SHom(A,B) via DG ring homomorphisms into these cylinders, then states as a theorem that SHom(A,B) is Kan precisely when A is semi-free. This is an explicit assumption on the source object that enables the required lifting properties for horns; it is not obtained by fitting, renaming, or self-referential definition. No equation or step in the abstract reduces the Kan fillers to a tautology or to a prior self-citation whose content is presupposed without independent verification. The construction and the main result are presented as self-contained within the paper's new objects and the semi-free hypothesis.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of differential graded rings, simplicial sets, and Kan complexes
invented entities (1)
-
Higher cylinder DG rings Cyl_q(B)
no independent evidence
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.