🔢 mathematics

The Simplicial Cylinder DG Ring

This paper introduces the simplicial cylinder DG ring $Cyl(B)$ to define a simplicial Hom set $SHom(A,B)$, proving that it forms a Kan complex when $A$ is semi-free and establishing key properties of its fundamental groupoid, such as quasi-isomorphism invariance and abelian automorphism groups.

Original authors: Amnon Yekutieli

Published 2026-04-28

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Amnon Yekutieli

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the shape of a very complex, multi-layered mathematical object called a DG Ring. Think of a DG Ring not as a simple number, but as a giant, shifting structure made of Lego bricks, where each brick has a specific "weight" (degree) and a special rule for how it changes over time (a differential).

Mathematicians often want to compare two of these structures, let's call them Ring A and Ring B. They ask: "How many ways can I build a bridge (a homomorphism) from A to B?"

The Problem: Wobbly Bridges

In the past, mathematicians knew how to count these bridges if the structures were simple. But when the structures get complicated, the bridges can be wobbly. Two bridges might look different but actually lead to the same destination in a "homotopic" way (they can be smoothly deformed into one another).

For a long time, there was a tool called the Keller Cylinder. Imagine this as a "test tube" or a "sliding track" that helps you see if two bridges are actually the same. If you can slide one bridge into the other along this track, they are considered equivalent. However, this tool only worked well for simple cases. If the starting structure (Ring A) was too complex, the test tube would break, and you couldn't tell if your bridges were truly equivalent.

The New Discovery: The Simplicial Cylinder

The author, Amnon Yekutieli, introduces a brand new, super-powered tool called the Simplicial Cylinder.

Think of the old Keller Cylinder as a single, straight slide. The new Simplicial Cylinder is like a whole playground of slides of different shapes and sizes, arranged in a specific pattern (a "simplicial" pattern).

Level 0: Just the starting point.
Level 1: The old, familiar slide (the Keller Cylinder).
Level 2, 3, 4...: New, more complex slides that allow you to test the bridges in higher dimensions.

The paper proves that if you start with a "semi-free" Ring A (a type of structure that is built up in a very orderly, step-by-step way, like a well-organized Lego tower), this new playground is perfectly solid. In mathematical terms, it is a Kan Complex.

What does "Kan Complex" mean in plain English?
Imagine you are drawing a shape on a piece of paper using a stencil (a "horn"). If the stencil has a hole in it, a Kan Complex guarantees that you can always fill that hole with a complete shape without tearing the paper.

The Analogy: If you have a partial map of bridges between Ring A and Ring B, this new tool guarantees you can always complete the map. You will never get stuck with a "partial bridge" that can't be finished. This means the rules for comparing bridges are consistent and reliable.

The Result: A Group of Friends (The Hom Groupoid)

Because this playground is so solid, the author can now organize all the bridges between Ring A and Ring B into a neat structure called a Groupoid.

The Objects: The bridges themselves (the homomorphisms).
The Connections: The ways you can slide one bridge into another (homotopies).

The paper reveals two surprising things about this group of friends:

Uniqueness of Paths: If you have two different ways to build a bridge from a semi-free Ring A to Ring B, there is a "distinguished" (special, unique) way to say they are connected. It's like having a unique, official handshake between any two versions of the same bridge.
The Circle is Round (Abelian): If you look at a single bridge and ask, "How many ways can I wiggle this bridge into itself?" the answer forms a group that is Abelian.
- The Metaphor: In many mathematical groups, the order matters (doing A then B is different from B then A). But here, the order doesn't matter. It's like a group of people standing in a circle; no matter who you ask to move first, the circle stays the same. This makes the structure very predictable and easy to handle.

Why Does This Matter? (According to the Paper)

The paper claims that by building this "Simplicial Cylinder" playground, the author has created a solid foundation to construct the (2, 1)-derived category of DG rings.

The Analogy: Think of the "derived category" as a master map of all possible relationships between these mathematical structures. Before this, the map was drawn using indirect, blurry methods (like looking at shadows). This paper provides the tools to draw the map directly and explicitly. It turns a fuzzy, shadowy understanding into a clear, structured picture where you can see exactly how bridges connect and how they can be transformed into one another.

Summary

The paper takes a messy, difficult problem of comparing complex mathematical structures and introduces a new, multi-level "playground" (the Simplicial Cylinder). It proves that if the starting structure is well-organized, this playground is perfectly solid, allowing mathematicians to:

Always complete partial comparisons.
Organize all comparisons into a neat, predictable group.
Build a clearer, more explicit map of the entire mathematical landscape of these rings.

The author notes that while this work focuses on rings, the same logic could likely be applied to even more complex structures called "DG Categories," essentially upgrading the entire field's ability to navigate these mathematical shapes.

1. Problem Statement and Context

The paper addresses the structural understanding of homotopies between Differential Graded (DG) ring homomorphisms.

The Setting: The category DGRng of DG rings (graded rings with a differential satisfying the graded Leibniz rule).
The Issue: While Keller (1999) introduced the notion of a Keller homotopy between two DG ring homomorphisms $f_0, f_1: A \to B$ , it was known that for arbitrary DG rings, these homotopies do not necessarily form an equivalence relation. However, for semi-free DG rings, they do.
The Gap: There was a lack of an explicit, simplicial framework to organize these homotopies and higher homotopies (homotopies between homotopies) into a coherent structure (specifically, a Kan complex) that could serve as a foundation for a derived category of DG rings. Previous constructions of simplicial enrichments for DG categories (e.g., by Tabuada or Faonte) relied on indirect model-categorical arguments or $A_\infty$ -functors, lacking an explicit algebraic description of the "cylinder" objects for higher dimensions.

2. Methodology

Yekutieli develops a new algebraic machinery based on simplicial DG rings to encode homotopies.

A. The Simplicial Cylinder DG Ring

The core innovation is the construction of a simplicial DG ring $\text{Cyl}(B) = \{ \text{Cyl}_q(B) \}_{q \in \mathbb{N}}$ associated with any DG ring $B$ .

$q=1$ : $\text{Cyl}_1(B)$ recovers the classical Keller cylinder DG ring, $\text{Cyl}_{Ke}(B)$ , which encodes degree $-1$ derivations (Keller homotopies).
General $q$ : For any $q$ , $\text{Cyl}_q(B)$ is defined as the normalization of the cosimplicial ring associated with the standard simplex $\Delta^q$ and $B$ . Specifically, $\text{Cyl}_q(B) := N(\Delta^q, B)$ .
Simplicial Structure: The collection $\{\text{Cyl}_q(B)\}$ forms a simplicial object in the category of DG rings, induced by the cosimplicial structure of the standard simplices.

B. The Simplicial Hom Set

For DG rings $A$ and $B$ , the author defines a simplicial set:
$\text{SHom}(A, B) := \{ \text{Hom}_{\text{DGRng}}(A, \text{Cyl}_q(B)) \}_{q \in \mathbb{N}}$

0-simplices: DG ring homomorphisms $A \to B$ .
1-simplices: Keller homotopies between homomorphisms.
$q$ -simplices: Higher homotopies encoded by maps into $\text{Cyl}_q(B)$ .

C. Horn Filling and Semi-Freeness

The proof strategy relies on the lifting properties of semi-free DG rings.

The author constructs a DG ring $N(\Lambda^q_i, B)$ associated with a horn $\Lambda^q_i \subset \Delta^q$ .
A key technical result (Theorem 0.5/4.8) establishes a canonical bijection:
$\text{Hom}_{\text{SSet}}(\Lambda^q_i, \text{SHom}(A, B)) \cong \text{Hom}_{\text{DGRng}}(A, N(\Lambda^q_i, B))$
The inclusion of the horn $\Lambda^q_i \hookrightarrow \Delta^q$ induces a surjective quasi-isomorphism of DG rings $N(\Delta^q, B) \to N(\Lambda^q_i, B)$ .
Since semi-free DG rings have the lifting property with respect to surjective quasi-isomorphisms, any map from a semi-free ring to the horn can be lifted to the full simplex.

3. Key Contributions and Results

Main Theorem: The Kan Complex Property

Theorem 0.3 (Theorem 5.2): If $\tilde{A}$ is a semi-free DG ring and $B$ is any DG ring, then the simplicial set $\text{SHom}(\tilde{A}, B)$ is a Kan complex.

Significance: This proves that the "homotopy theory" of DG rings behaves well when the source is semi-free. The Kan condition ensures that all horns can be filled, meaning homotopies can be composed and inverted, and higher homotopies exist to witness these compositions.

The Hom Groupoid

The fundamental groupoid of this Kan complex, denoted $\text{SHom}_{\leq 1}(\tilde{A}, B)$ , is analyzed:

Objects: DG ring homomorphisms $f: \tilde{A} \to B$ .
Morphisms: Isomorphism classes of Keller homotopies (2-homotopy classes).
Result 1 (Theorem 0.6/7.3): If $v: \tilde{B} \to B$ is a surjective quasi-isomorphism, the induced functor $\text{SHom}_{\leq 1}(\tilde{A}, \tilde{B}) \to \text{SHom}_{\leq 1}(\tilde{A}, B)$ is an equivalence of groupoids. This implies that the homotopy category is invariant under quasi-isomorphism of the target.
Result 2 (Theorem 0.8/7.15): Given a map $f: A \to B$ and semi-free resolutions $\tilde{A} \to A$ and $\tilde{B} \to B$ , the collection of all liftings $\tilde{f}_i: \tilde{A} \to \tilde{B}$ forms a contractible groupoid. There is a distinguished isomorphism between any two liftings, satisfying coherence conditions.
Result 3 (Theorem 0.9/7.19): The automorphism group of any object $f$ in this groupoid is abelian. Specifically, $\text{Aut}(f) \cong H^{-1}(\text{Der}_{\tilde{A}, f}(B))$ , the first cohomology of the derivation complex.

Algebraic Description of Higher Homotopies

Section 6 provides an explicit algebraic description of 2-homotopies (maps into $\text{Cyl}_2(B)$ ).

A map $h: A \to \text{Cyl}_2(B)$ corresponds to a tuple of homomorphisms and derivations $(f_0, f_1, f_2, \gamma_{01}, \gamma_{02}, \gamma_{12}, \sigma)$ .
Theorem 6.18 gives the precise compatibility conditions (equations $(\ast)$ and $(\ast\ast)$ ) these components must satisfy to form a DG ring homomorphism. This explicitly connects the simplicial structure to the algebraic data of derivations.

4. Significance and Future Directions

Explicit Derived Category: The paper lays the groundwork for constructing the $(2,1)$ -derived category of DG rings, denoted $D^{(2,1)}(\text{DGRng})$ $D^{(2, 1)} (DGRng)$ . This is a 2-category where:
- Objects are DG rings.
- 1-morphisms are homotopy classes of DG ring maps.
- 2-morphisms are homotopy classes of Keller homotopies.
Simplicial Enrichment: The work attempts to provide an explicit simplicial enrichment of the category of DG rings, moving beyond the indirect constructions via Quillen model structures.
Extension to DG Categories: The author notes (Remark 0.10) that these results likely extend to the category of small DG categories (DGCat), suggesting a unified approach to the homotopy theory of DG structures.
Abelian Nature: The discovery that the automorphism groups are abelian is a crucial structural insight, simplifying the potential composition of higher morphisms in the derived setting.

In summary, Yekutieli provides a rigorous, algebraic, and explicit construction of the homotopy theory of DG rings using a "simplicial cylinder" approach. This resolves the structural issues of Keller homotopies for semi-free rings and offers a concrete path toward defining higher derived categories without relying solely on abstract model-categorical machinery.