🔢 mathematics

Unifying Koszul dualities via point-set models

This paper establishes a unified framework in the differential graded setting by constructing an "inclusion-restriction square" of adjunctions that bridges classical bar-cobar constructions with their $\infty$ -categorical counterparts, thereby reconciling the chain-level models of Lurie, Francis--Gaitsgory, and Heuts.

Original authors: Dan Petersen, Victor Roca i Lucio, Sinan Yalin

Published 2026-04-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Dan Petersen, Victor Roca i Lucio, Sinan Yalin

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 translate a complex story from one language to another. In mathematics, specifically in a field called homotopy theory (which studies shapes and spaces by looking at how they can be stretched or squished), there are two main "languages" used to describe these shapes:

The Language of Algebras: Think of this as a language of building blocks. You have pieces (numbers, vectors) and rules for snapping them together (multiplication).
The Language of Coalgebras: Think of this as a language of unraveling or splitting. You have a big object, and you want to see all the different ways it can be broken down into smaller pieces.

For decades, mathematicians have known that these two languages are deeply connected, like two sides of the same coin. This connection is called Koszul Duality. It's like a magical dictionary that lets you translate a story written in "Building Blocks" into a story written in "Unraveling," and vice versa.

The Problem: Two Different Dictionaries

The paper you provided, Unifying Koszul Dualities via Point-Set Models, addresses a messy situation. Over the years, mathematicians have built two different dictionaries to translate between these languages:

The "Classical" Dictionary: This is the old, classic way. It's very precise but has strict rules. It only works well if the objects you are translating are "nice" and "finite" (like a small Lego set). If you try to translate a giant, infinite structure, the classical dictionary breaks or gives the wrong answer.
The "Modern" Dictionary (The $\infty$ -categorical way): This is a newer, more flexible approach developed by giants like Jacob Lurie. It handles infinite, messy structures beautifully. However, it's written in a very abstract, high-level language that doesn't look like the old classical formulas.

The Conflict:
The authors discovered that these two dictionaries don't actually agree on the translations! If you translate a shape using the Classical method and then try to translate it back using the Modern method, you don't get the same shape you started with. It's like translating a sentence from English to French using a 19th-century dictionary, and then back to English using a 2024 AI translator—you get gibberish.

Furthermore, the Modern dictionary is so abstract that it's hard to see the actual "machinery" (the specific formulas) that makes it work. Mathematicians wanted to see the gears turning.

The Solution: The "Inclusion-Restriction" Square

The authors of this paper built a bridge to connect these two worlds. They constructed a specific diagram (which they call the Inclusion-Restriction Square) that acts like a universal adapter.

Here is the analogy:

Imagine you have a Strict Club (Classical Algebras) and a Loose Club (Modern Algebras).

The Strict Club has rules: you can only add a finite number of items at a time.
The Loose Club allows you to add infinite items, but it's harder to manage.

The authors realized that to translate between the two, you need two special tools:

The "Completion" Tool: This takes a Strict Club member and "completes" them by adding all the infinite possibilities they could have had. This turns a finite building block into an infinite, completed structure.
The "Restriction" Tool: This takes a Loose Club member and forces them to follow the Strict Club's rules, ignoring the infinite possibilities and only looking at the finite sums.

The Big Discovery

The paper shows that if you use these two tools in a specific loop (a square), you can perfectly translate between the Classical world and the Modern world.

The "Bar" and "Cobar" Functors: These are the names of the translation machines.
- The Bar machine turns Algebras (building blocks) into Coalgebras (unraveling).
- The Cobar machine turns Coalgebras back into Algebras.

The authors proved that the Modern Bar machine is actually just the Classical Bar machine followed by a "completion" step. And the Modern Cobar machine is the Classical Cobar machine followed by a "restriction" step.

Why Does This Matter?

It Unifies the Field: It proves that the old, classical formulas and the new, abstract theories are actually saying the same thing. They just needed a translator to show us how.
It Fixes the "Gibberish": It explains exactly why the translations were failing before. The failure happened because the classical tools weren't "complete" enough to handle the infinite structures the modern tools love.
It Gives a Recipe: Instead of just saying "it works in the abstract," the authors give a concrete, step-by-step recipe (using "point-set models") for how to build these translations using standard math tools.

The "Good" and "Bad" News

The paper also discovers that this translation doesn't work perfectly for every shape.

Good Completions: Some shapes are "well-behaved." For these, the translation is perfect. The authors call operads (the rulebooks for these shapes) that behave well "Operads with Good Completions."
Bad Completions: Some shapes are too wild (like an infinite tower of blocks). For these, the translation fails. The paper even gives a specific example of a "bad" shape (related to infinite power series) where the translation breaks down, proving that you can't just force every shape into this system.

Summary

Think of this paper as the Rosetta Stone for a specific branch of advanced mathematics.

Before: Mathematicians had two different maps to the same territory, but they didn't match, and no one knew how to convert one map to the other.
Now: The authors have drawn a new map that overlays the two old ones, showing exactly where they diverge and how to fix the path. They showed that the "Modern" way is just the "Classical" way with a few extra finishing touches (completion) and a few safety checks (restriction).

This allows mathematicians to use the powerful, flexible tools of the modern era while still understanding the concrete, step-by-step mechanics of the classical era.

Technical Summary: Unifying Koszul Dualities via Point-Set Models

1. Problem Statement

The paper addresses a fundamental disconnect in homotopical algebra between classical chain-level constructions of Koszul duality (specifically the bar-cobar adjunction) and their modern $\infty$ -categorical counterparts.

The Classical View: Developed by Cartan, Eilenberg, and Moore, the bar-cobar adjunction relates augmented differential graded (dg) algebras to conilpotent dg coalgebras. It relies on strict algebraic structures and specific finiteness conditions (conilpotence).
The $\infty$ -Categorical View: Recent work by Lurie, Francis–Gaitsgory, and Heuts has established bar-cobar adjunctions in the setting of $\infty$ -categories (e.g., for $E_n$ -algebras). These constructions often involve "flabbier" structures (like $A_\infty$ -coalgebras or coalgebras over $\infty$ -operads) and do not strictly require conilpotence.
The Conflict:
1. Adjointness Mismatch: In the classical setting, the bar functor is a right adjoint (to cobar), whereas in Lurie's $\infty$ -categorical setting, the bar functor is a left adjoint.
2. Structural Incompatibility: The category of dg coalgebras localized at quasi-isomorphisms does not naturally present the $\infty$ -category of coalgebras in the derived category $D(k)$ . Classical coalgebras are too rigid (strictly coassociative), while $\infty$ -categorical coalgebras require homotopy coherence.
3. Lack of Comparison: There was no explicit framework relating the classical chain-level functors (like the standard bar construction $B$ ) to the $\infty$ -categorical functors (like Lurie's $\text{bar}$ ), nor was there a Quillen model for the $\infty$ -categorical adjunction.

2. Methodology

The authors develop a unified framework using point-set models (dg operads and cooperads) to bridge the gap with $\infty$ -categorical theory. Their approach involves:

Dual Frameworks: They simultaneously work with:
- Standard Algebras/Coalgebras: Using dg operads $P$ and conilpotent dg cooperads $C$ .
- Absolute Algebras/Coalgebras: Using "absolute" algebras (algebras over a cooperad where infinite sums are defined) and non-conilpotent coalgebras.
The Inclusion-Restriction Square: The core innovation is constructing a commutative square of adjunctions that intertwines:
1. The classical operadic bar-cobar adjunction ( $B \dashv \Omega$ ).
2. The complete bar-cobar adjunction ( $\hat{B} \dashv \hat{\Omega}$ ) involving absolute algebras and completed structures.
3. Restriction/Inclusion Functors: Functors that restrict absolute structures to finite sums (yielding standard algebras) and include conilpotent coalgebras into general coalgebras.
Model Category Transfers: They establish transferred model structures on these categories (projective for algebras, injective for coalgebras) to ensure that the adjunctions are Quillen adjunctions. This allows them to pass to the $\infty$ -categorical level via localization.
Dual Schur Functors: They utilize the dual Schur functor $\hat{S}c$ to define algebras over cooperads (absolute algebras) and relate them to the monads arising in $\infty$ -categorical constructions.

3. Key Contributions and Results

A. The Inclusion-Restriction Square

The authors construct a commutative square of Quillen adjunctions (Theorem C, Theorem D):
$\begin{array}{ccc} P\text{-alg} & \xrightarrow{B_\pi} & BP\text{-coalg} \\ \uparrow_{cAbs} & & \downarrow_{Inc} \\ P^*\text{-alg}^{comp} & \xrightarrow{\hat{B}_\iota} & \Omega P^*\text{-coalg} \end{array}$

$B_\pi, \Omega_\pi$ : The classical bar-cobar adjunction.
$\hat{B}_\iota, \hat{\Omega}_\iota$ : The complete bar-cobar adjunction (involving absolute algebras).
$Inc, Sub$: Inclusion of conilpotent coalgebras and taking the maximal conilpotent subcoalgebra.
$cAbs, Res$: Completion to absolute algebras and restriction to finite sums.

Significance: This square allows the authors to define the $\infty$ -categorical bar and cobar functors as composites of these point-set Quillen functors.

B. Unification with Lurie and Heuts

Theorem A & 2.16: The composite functor $\text{bar}_P := Inc \circ B_\pi$ (from $P$ -algebras to $\Omega P^*$ -coalgebras) and $\text{cobar}_P := Res \circ \hat{\Omega}_\iota$ induce an adjunction of $\infty$ -categories.
Result: This induced adjunction is equivalent to Lurie's bar-cobar adjunction (generalized to $P$ -algebras) and matches the construction by Heuts.
Resolution of Mismatch: The paper explains that the "handedness" reversal (bar being a left adjoint in $\infty$ -theory vs. right adjoint in classical theory) arises because the classical unit $A \to \Omega BA$ is a quasi-isomorphism, but the map $A \to \hat{\Omega} BA$ (involving completion) is the derived unit. The classical cobar functor $\Omega$ is not a Quillen functor for the relevant model structures, but its completed version $\hat{\Omega}$ is.

C. Derived Koszul Equivalences and Completeness

Homotopy Completeness: The authors define homotopy complete $P$ -algebras (where the derived unit is an equivalence) and homotopy cocomplete coalgebras.
Theorem 6.11: The bar-cobar adjunction restricts to an equivalence of $\infty$ -categories between homotopy complete $P$ -algebras and homotopy cocomplete $\Omega P^*$ -coalgebras. This provides a new, explicit point-set proof of Heuts' main theorem (Theorem 2.1 in [Heu24]).
Good Completions: They introduce criteria for operads to have "good completions" (trivial algebras are homotopy complete). They prove that Koszul operads have good completions but provide counterexamples (e.g., $\Omega \text{Com}^*$ ) where this fails, explaining why certain rectification results do not hold generally.

D. Comparison with Enhanced Bar-Cobar Adjunction

The paper analyzes the Francis–Gaitsgory enhanced bar-cobar adjunction (relating $P$ -algebras to conilpotent $BP$-coalgebras).
Key Finding: The point-set adjunction does not directly present the $\infty$ -categorical enhanced adjunction because the inclusion of conilpotent coalgebras into general coalgebras is not an equivalence of $\infty$ -categories in general.
Correction: They show that the enhanced adjunction is recovered only after applying a left Bousfield localization (Theorem 3.4) and that the comparison functor is fully faithful only on the essential image of homotopy complete algebras (Corollary 6.25).

E. Application to $E_n$ -Algebras

Theorem 7.5 & 7.6: The framework is applied to $E_n$ $E_{n}$ -algebras.
- For $n=1$ (associative), the constructed adjunction recovers Lurie's bar-cobar adjunction (up to a shift).
- For $n \geq 2$ (characteristic 0), it recovers the Ayala–Francis bar-cobar adjunction for $E_n$ -algebras.
This provides the first explicit point-set models (using dg operads and coalgebras) for these high-level $\infty$ -categorical constructions.

4. Significance

Bridging the Gap: The paper successfully unifies the classical, point-set world of Koszul duality with the modern $\infty$ -categorical world, resolving confusion regarding adjointness and structural definitions.
Explicit Models: It provides concrete chain-level models (dg algebras and coalgebras) for abstract $\infty$ -categorical functors, making them computable and accessible to algebraic topologists and homotopy theorists.
Clarification of Conilpotence: It rigorously explains the role of conilpotence and completion, showing that "completion" is the key operation that aligns classical constructions with $\infty$ -categorical ones.
Counterexamples: By constructing explicit counterexamples (e.g., regarding good cocompletions), the paper delineates the precise boundaries where rectification and equivalence theorems hold, preventing overgeneralization of results like the Francis–Gaitsgory conjecture.
Methodological Innovation: The "inclusion-restriction square" serves as a powerful new tool for relating different models of homotopy theories, potentially applicable beyond Koszul duality.

In summary, Petersen, Roca i Lucio, and Yalin provide a comprehensive "dictionary" translating between classical homological algebra and modern $\infty$ -category theory, demonstrating that the latter can be faithfully modeled by the former through the lens of completion and restriction.