Filtered formal groups, Cartier duality, and derived algebraic geometry

Here is an explanation of the paper "Filtered formal groups, Cartier duality, and derived algebraic geometry" by Tasos Moulinos, translated into everyday language with creative analogies.

The Big Picture: A Shape-Shifting Bridge

Imagine you are trying to understand a complex, mysterious object in mathematics called a Formal Group. Think of this object not as a static statue, but as a living, breathing creature that changes shape depending on how you look at it.

This paper is about building a bridge between two different worlds:

The World of Shapes (Geometry): Where we look at curves, surfaces, and spaces.
The World of Algebra (Numbers): Where we look at equations, rings, and polynomials.

The author, Tasos Moulinos, is trying to solve a puzzle: How do we take a specific type of geometric shape and turn it into a "filtered" object? In math, a filtration is like a set of Russian nesting dolls. You have the whole object, then you peel off the outer layer to see what's inside, then peel off another layer, and so on. The paper shows us how to build these nesting dolls for these geometric creatures in a very precise way.

The Main Characters

To understand the story, we need to meet the main characters:

The Formal Group ( $\hat{G}$ ): Imagine a tiny, microscopic version of a circle or a line. It's so small that it only exists "infinitely close" to a single point. It's a fundamental building block in geometry.
Cartier Duality (The Magic Mirror): This is the paper's most important tool. It's a magical mirror that reflects one object into its "twin." If you have a Formal Group (a shape), the mirror shows you an Affine Group Scheme (a set of equations).
- Analogy: Think of a shadow puppet. The puppet is the shape (Formal Group), and the shadow on the wall is the equations (Group Scheme). The paper proves that if you know the shadow perfectly, you can reconstruct the puppet, and vice versa.
The Deformation to the Normal Cone (The Morphing Machine): This is a fancy term for a machine that slowly morphs one shape into another.
- The Setup: Imagine you have a formal group sitting on a table.
- The Action: The machine starts a slow-motion video. At the beginning (time $t=1$ ), the object looks like the original formal group. As time moves to $t=0$ , the object slowly stretches and changes until it becomes a Lie Algebra (which is essentially a flat, straight line or a vector space).
- The Result: The machine creates a "family" of objects that connects the complex shape to the simple shape.

The Story of the "Filtered Circle"

The paper starts with a specific problem. In a previous project, the author and his colleagues created something called the "Filtered Circle."

Imagine a circle. Now, imagine that this circle isn't just a circle; it's a circle that has a "history" or a "timeline" attached to it.
This filtered circle is special because when you do math on it, you get Hochschild Homology.
- What is Hochschild Homology? Think of it as a "fingerprint" or a "DNA test" for algebraic structures. It tells you deep secrets about the structure of numbers and shapes.
The mystery was: Where does this "filtering" (the nesting dolls) come from?

The Solution: The Morphing Machine

Moulinos solves the mystery by using the Morphing Machine (Deformation to the Normal Cone).

The Experiment: He takes the "unit section" of a formal group (imagine the center point of the circle) and runs it through the Morphing Machine.
The Discovery: The machine produces a new object that exists over a line (representing time).
- At one end of the line, you have the original complex shape.
- At the other end, you have the simple, flat shape.
The "Aha!" Moment: The author proves that the "filtering" (the nesting dolls) on the original shape is exactly the same as the I-adic filtration.
- Analogy: Imagine you have a onion. The "I-adic filtration" is just the natural layers of the onion. The paper proves that the complex "Filtered Circle" we invented earlier is just a fancy way of looking at the natural layers of this onion.

The "Magic Mirror" in Action

Once he has this morphing machine, he uses the Magic Mirror (Cartier Duality) to flip the result.

He takes the morphing machine's output (the family of shapes) and reflects it.
The reflection is a family of Group Schemes (equations).
This reflection turns out to be the Filtered Circle he was looking for!
Conclusion: The "Filtered Circle" isn't a random invention. It is the natural, mathematical reflection of a formal group being morphed from a curve into a straight line.

The Spectral Twist (The "Quantum" Version)

The paper doesn't stop at normal math. It goes into Spectral Algebraic Geometry, which is like "Quantum Math."

In this world, numbers can be "fuzzy" or exist in multiple states at once (like in quantum physics).
The author asks: "Can we build this Morphing Machine and Magic Mirror in the Quantum world?"
The Answer: Yes, but with a catch.
- He successfully builds a "Spectral Lift" of these objects. This means he creates a version of the Filtered Circle that lives in the quantum realm.
- However, when he tries to lift the entire morphing process (the deformation) to the quantum realm, it breaks.
- Analogy: Imagine you can build a perfect model of a car out of plastic (normal math). You can also build a model out of "quantum plastic" (spectral math). But if you try to build the factory that makes the car in the quantum realm, the factory collapses because the rules of quantum physics don't allow the factory to exist in the same way.

Why Does This Matter?

This paper is significant because it connects three big ideas:

Topology: The study of shapes (like the circle).
Algebra: The study of equations.
Geometry: The study of space.

By showing that the "Filtered Circle" is just the natural result of morphing a formal group and looking at its reflection, the author unifies these fields. It tells us that the complicated "filtrations" mathematicians use to study numbers are actually just the natural layers of geometric shapes changing over time.

Summary in One Sentence

The paper proves that the complex "Filtered Circle" used to study numbers is actually just the natural reflection of a geometric shape slowly turning into a straight line, and while we can build a quantum version of this shape, the machine that turns it into a line doesn't work in the quantum world.

Here is a detailed technical summary of the paper "Filtered formal groups, Cartier duality, and derived algebraic geometry" by Tasos Moulinos.

1. Problem Statement and Motivation

The paper addresses the geometric and algebraic foundations of filtered Hochschild homology and its relationship to formal groups and Cartier duality.

Context: Previous work by the author, Robalo, and Toën ([MRT22]) introduced the "filtered circle," an algebro-geometric object capturing the $k$ -linear homotopy type of the topological circle $S^1$ . This object arises as the classifying stack $BH$ of a $\mathbb{G}_m$ -equivariant family of group schemes $H$ over the affine line $\mathbb{A}^1$ .
The Gap: While the connection between the filtered circle and the formal multiplicative group $\widehat{\mathbb{G}}_m$ $G_{m}$ was established, the generalization to arbitrary formal groups $\widehat{G}$ $G$ remained unclear. Specifically:
- Does an arbitrary formal group $\widehat{G}$ admit a canonical degeneration over $\mathbb{A}^1/\mathbb{G}_m$ similar to the one for $\widehat{\mathbb{G}}_m$ ?
- Is there a canonical filtration on the $\widehat{G}$ -Hochschild homology ( $HH^{\widehat{G}}$ ) induced by this geometry?
- Can these constructions be lifted from the setting of simplicial commutative rings (derived algebraic geometry) to the setting of $E_\infty$ -rings (spectral algebraic geometry)?

The paper aims to systematize these ideas using filtered formal groups, Cartier duality, and deformation to the normal cone within the framework of derived and spectral algebraic geometry.

2. Methodology

The author employs a multi-layered approach combining classical algebraic geometry with modern higher category theory:

Filtered Formal Groups: The paper introduces a new category of filtered formal groups over a discrete ring $R$ . These are defined as abelian cogroup objects in the category of complete filtered algebras (specifically, those arising as duals of smooth filtered coalgebras).
Filtered Cartier Duality: A duality theory is established between these filtered formal groups and a specific class of filtered Hopf algebras (affine group schemes over $\mathbb{A}^1/\mathbb{G}_m$ ). This generalizes the classical Cartier duality between formal groups and affine group schemes.
Deformation to the Normal Cone (DNC): The author utilizes the DNC construction in the setting of derived algebraic geometry. Applied to the unit section of a formal group $\widehat{G}$ , this produces a $\mathbb{G}_m$ -equivariant family over $\mathbb{A}^1$ that interpolates between $\widehat{G}$ and the formal completion of its tangent Lie algebra.
Spectral Algebraic Geometry: The framework is extended to $E_\infty$ -rings and spectral schemes, utilizing Lurie's theory of formal groups in spectral algebraic geometry ([Lur18b]) to define spectral lifts of these structures.

3. Key Contributions and Results

A. Filtered Formal Groups and Unicity

Definition: A filtered formal group is defined as an abelian cogroup object in the category of complete filtered algebras $\mathcal{CAlg}(\widehat{\text{Fil}}_R)$ .
Unicity Theorem (Theorem 1.4): The paper proves a rigidity result: if a commutative ring $A$ is complete with respect to an ideal $I$ , there is a unique complete filtered algebra structure on $A$ compatible with the $I$ -adic filtration, provided the associated graded object matches the $I$ -adic graded object.
Implication: This implies that the filtration on the coordinate algebra of a formal group is canonical and unique; the formal group structure lifts uniquely to this filtered setting.

B. Deformation to the Normal Cone for Formal Groups

Construction: The author constructs a stack $\text{Def}_{\mathbb{A}^1/\mathbb{G}_m}(\widehat{G})$ $Def_{A^{1} / G_{m}} (G)$ over $\mathbb{A}^1/\mathbb{G}_m$ $A^{1} / G_{m}$ for any formal group $\widehat{G}$ $G$ .
- The fiber over $1 \in \mathbb{A}^1/\mathbb{G}_m $is$ \widehat{G}$.
- The fiber over $0 \in \mathbb{A}^1/\mathbb{G}_m $is the formal completion of the tangent Lie algebra$ \widehat{T\widehat{G}} $(which is isomorphic to$ \widehat{\mathbb{G}}_a$ in the 1-dimensional case).
Corollary 1.7: This deformation induces a unique filtered formal group structure on the coordinate ring of the deformation. This structure is identified with the $I$ -adic filtration on the coordinate ring of $\widehat{G}$ .

C. Recovery of the Filtered Circle and HKR Filtration

Theorem 1.8: By applying Filtered Cartier Duality to the deformation of $\widehat{\mathbb{G}}_m$ , the author recovers the group scheme $H$ from [MRT22] (the "filtered circle").
Significance: This proves that the HKR filtration (Hochschild-Kostant-Rosenberg) on Hochschild homology is functorially induced by the $I$ -adic filtration on the coordinate ring of $\widehat{\mathbb{G}}_m$ via Cartier duality. It identifies the geometric source of the HKR filtration as the deformation to the normal cone of the unit section of $\widehat{\mathbb{G}}_m$ .

D. $\widehat{G}$ -Hochschild Homology

Theorem 7.3: For any formal group $\widehat{G}$ , the functor $HH^{\widehat{G}}(-)$ admits a refinement to the $\infty$ -category of filtered modules.
Result: $HH^{\widehat{G}}(A)$ carries an exhaustive filtration. The associated graded of this filtration is the derived de Rham algebra (or a variant thereof), recovering the classical HKR filtration in the case $\widehat{G} = \widehat{\mathbb{G}}_m$ .

E. Spectral Lifts and Topological Hochschild Homology (THH)

Spectral Deformation Rings: The paper lifts these constructions to the spectral deformation ring $R^{\text{un}}_{\widehat{G}}$ (an $E_\infty$ -ring parametrizing deformations of $\widehat{G}$ ).
Theorem 1.12: There exists a functorial lift of the Cartier dual of a formal group to a spectral group scheme over $R^{\text{un}}_{\widehat{G}}$ .
Theorem 9.9: When $\widehat{G} = \widehat{\mathbb{G}}_m$ , the spectral lift of $\widehat{G}$ -Hochschild homology recovers Topological Hochschild Homology (THH) after $p$ -completion.
Negative Result (Proposition 10.1): The paper concludes that the specific filtration arising from the deformation to the normal cone cannot be lifted to the sphere spectrum. Specifically, there is no formal group over the spectral affine line that pulls back to the deformation of $\widehat{\mathbb{G}}_m$ over $\mathbb{Z}$ . This is because the formal additive group $\widehat{\mathbb{G}}_a$ does not exist as a spectral formal group over the sphere in the required way.

4. Significance

Unification of Concepts: The paper provides a unified geometric framework explaining the origin of filtrations on Hochschild homology. It links the HKR filtration directly to the geometry of formal groups and their deformations, moving beyond ad-hoc constructions.
Generalization: It generalizes the theory of the "filtered circle" to arbitrary formal groups, defining a new class of invariants ( $\widehat{G}$ -Hochschild homology) with canonical filtrations.
Bridge between Classical and Spectral: The work successfully bridges classical derived algebraic geometry (simplicial rings) and spectral algebraic geometry ( $E_\infty$ -rings). It demonstrates how classical Cartier duality extends to the spectral setting to recover THH.
Rigidity and Obstruction: The unicity results on filtered algebras provide strong structural constraints on these objects. Conversely, the negative result regarding the lift of the filtration to the sphere spectrum highlights deep obstructions in spectral algebraic geometry, distinguishing between what is possible in derived geometry versus spectral geometry.

In summary, Moulinos establishes that the deformation to the normal cone of a formal group is the fundamental geometric mechanism generating the canonical filtration on its associated Hochschild homology, and explores the limits of lifting this structure to the realm of stable homotopy theory.