A spectral sequence for tangent cohomology of algebras over algebraic operads

This paper constructs a spectral sequence converging to operadic tangent cohomology by utilizing filtrations from towers of cofibrations, thereby providing new algebraic descriptions of the Serre spectral sequence and the rational homotopy groups of self-fiber-homotopy equivalences.

The Gist

Imagine you are an architect trying to understand the hidden structural integrity of a massive, complex building. You want to know: If I tweak a brick here, does the whole roof collapse? If I add a new wing, how does it change the flow of people inside?

In mathematics, specifically in a field called algebraic topology, mathematicians study "shapes" (like spheres, toruses, or complex knots) not by looking at them with their eyes, but by translating them into algebraic equations. These equations are the "blueprints" of the shapes.

This paper, by José M. Moreno-Fernández and Pedro Tamaroff, introduces a powerful new computational tool (a "spectral sequence") to help mathematicians solve these blueprints more easily. Here is the breakdown using everyday analogies:

1. The Problem: The "Deformation" Puzzle

Imagine you have a clay sculpture. You want to know how it behaves if you squish it, stretch it, or add a new piece of clay to it. In math, this is called deformation theory.

• The Old Way: For specific types of shapes (like simple circles or spheres), mathematicians had specific tools to calculate these changes. It was like having a different wrench for every different type of bolt.
• The New Goal: The authors wanted a "universal wrench" that works for any type of algebraic shape, no matter how weird or complex. They call this Tangent Cohomology. Think of it as a universal stress-test for any mathematical structure.

2. The Solution: The "Spectral Sequence" (The Multi-Layered Filter)

Calculating the stress-test for a giant building all at once is impossible. It's too messy.
The authors' solution is a Spectral Sequence.

• The Analogy: Imagine you want to count every single grain of sand on a beach. You can't do it all at once. Instead, you build a series of sieves (filters).
  • Sieve 1: Catches the big rocks. You count them.
  • Sieve 2: Catches the medium pebbles. You count them.
  • Sieve 3: Catches the fine sand.
• How it works here: The authors take a complex algebraic shape and break it down into a "tower" of smaller, simpler layers (like building a house brick by brick). They calculate the stress-test for each small layer first. Then, they use their new spectral sequence to "stitch" these small answers together, layer by layer, until they get the answer for the whole complex shape.
• The Magic: This method turns a terrifyingly hard calculation into a step-by-step process that eventually converges to the correct answer.

3. The "Cellular" Construction (Building with Lego)

To make this work, the authors rely on a specific way of building these shapes, called a tower of cofibrations.

• The Analogy: Think of a Lego castle. You don't build the whole castle in one giant chunk. You start with a base plate, then add a wall, then a tower, then a roof. Each step is a small, manageable addition.
• The authors realized that many mathematical shapes are built exactly like this Lego castle. Their new tool is designed specifically to analyze shapes built this way, tracking how each new "Lego brick" changes the overall structure.

4. Real-World Applications (Why should we care?)

The paper isn't just about abstract math; it connects to two very cool real-world (or rather, "real-shape") concepts:

A. The "Loop" Product (String Topology)

Imagine a rubber band floating in space. You can wiggle it, stretch it, and loop it around itself.

• The authors show that their tool can describe the Chas–Sullivan loop product.
• The Metaphor: Imagine a dance floor where everyone is dancing in circles (loops). If two dancers bump into each other, they can merge their dances into a new, more complex dance. The authors' tool provides a completely algebraic way to predict exactly how these "dance merges" happen, turning a geometric dance into a set of solvable equations.

B. The "Fiber" Problem (The Elevator Analogy)

Imagine a building with an elevator shaft (the "fiber") that goes through different floors (the "base"). The elevator can move up and down, but it's constrained by the shaft.

• Mathematicians study the "space of all possible ways the elevator can move" (called self-fiber-homotopy equivalences).
• The authors' tool allows them to calculate the "rational homotopy groups" of this movement space.
• The Metaphor: It's like figuring out exactly how many different ways you can rearrange the furniture in a room without knocking over the walls. Their spectral sequence gives a precise count and description of all those possible rearrangements.

Summary

In short, this paper gives mathematicians a new, universal calculator for understanding how complex shapes change and interact.

1. It breaks big, scary problems into small, manageable Lego-like steps.
2. It uses a filtering system (spectral sequence) to combine the answers from those steps.
3. It successfully applies this to looping shapes (like rubber bands) and moving structures (like elevators in a building), providing a purely algebraic way to solve problems that were previously very difficult to crack.

It's a bit like inventing a new type of microscope that doesn't just show you the cells of a leaf, but allows you to simulate how the whole tree grows, branch by branch, using only a set of algebraic rules.

Technical Summary

Here is a detailed technical summary of the paper "A spectral sequence for tangent cohomology of algebras over algebraic operads" by José M. Moreno-Fernández and Pedro Tamaroff.

1. Problem Statement

The paper addresses the computational difficulty of determining tangent cohomology (also known as André–Quillen cohomology) for algebras over algebraic operads.

• Context: Tangent cohomology $H^*_P(A, M)$ governs the deformation theory of $P$-algebras. It generalizes classical theories like Chevalley–Eilenberg (Lie algebras), Hochschild (associative algebras), and Harrison (commutative algebras).
• Challenge: While the theory is well-established, computing these cohomology groups for specific algebras is often intractable. Existing methods lack a unified, systematic approach to handle algebras constructed via "cellular" decompositions (towers of cofibrations), which are common in rational homotopy theory (e.g., Adams–Hilton and Sullivan models).
• Goal: To construct a spectral sequence that converges to the tangent cohomology of a $P$-algebra $A$, utilizing a filtration derived from a tower of cofibrations that builds $A$.

2. Methodology

The authors employ a blend of homological algebra and homotopical algebra (specifically Quillen's model category theory).

• Operadic Framework: They work within the category of differential graded (dg) algebras over a symmetric operad $P$ (reduced, over a field of characteristic zero).
• Towers of Cofibrations: The core technical tool is the decomposition of a $P$-algebra $A$ as the colimit of a tower of elementary cofibrations:
  $$A_0 \hookrightarrow A_1 \hookrightarrow \dots \hookrightarrow A_s \hookrightarrow A_{s+1} \hookrightarrow \dots \to \varinjlim A_s = A$$
  Here, each step $A_s \hookrightarrow A_{s+1}$ is formed by adjoining generators in a specific degree (analogous to attaching cells in topology).
• Derivation Complexes: The authors utilize the complex of derivations $\text{Der}_B(A, M)$, which vanishes on a subalgebra $B$. They establish a Jacobi–Zariski sequence for a triple of algebras $B \to A \to A'$, which is exact when $A \to A'$ is a cofibration.
• Exact Couples: By filtering the derivation complex $\text{Der}_{A_0}(A, M)$ based on the vanishing of derivations on the stages $A_s$ of the tower, the authors construct an exact couple. This yields a spectral sequence where the $E_1$ page is determined by the relative tangent cohomology of the individual steps in the tower.

3. Key Contributions and Main Results

A. The General Spectral Sequence (Theorem 3.7 & Corollary 3.8)

The primary result is the construction of a functorial, right half-plane spectral sequence.

• Input: A tower of cofibrations $T: A_0 \hookrightarrow A_1 \hookrightarrow \dots \to A$.
• $E_1$ Page:
  $$E_1^{s,t} = H^{s+t}(\text{Der}_{A_s}(A_{s+1}, -))$$
• Convergence: The sequence converges to the tangent cohomology of the limit algebra relative to the base:
  $$E_1^{s,t} \implies H^{s+t}_{A_0}(A, -)$$
• Significance: This provides a computational bridge. Instead of computing the cohomology of the complex, infinite algebra $A$ directly, one computes the cohomology of the "relative" steps (attaching maps) and assembles them via the spectral sequence.

B. Application to Rational Homotopy Theory

The paper specializes this machinery to two major models in rational homotopy theory, recovering and refining known topological results through a purely algebraic lens.

1. The Adams–Hilton Model (Theorem 4.1 & 4.3)

• Context: Applied to the Adams–Hilton model $A_*(X)$ of a CW complex $X$ (modeling the Pontryagin algebra of the loop space $\Omega X$).
• Result: A spectral sequence converging to the homology of the free loop space $LX$:
  $$E_2^{s,t} = \text{hom}(H_s(X), H_t(\Omega X)) \implies H_{s+t}(LX)$$
• Multiplicative Structure: The authors prove the spectral sequence is multiplicative. The product on the $E_2$ page is the convolution product (induced by the coproduct on $H_*(X)$ and product on $H_*(\Omega X)$).
• Significance: This converges to the Chas–Sullivan loop product on string topology. It provides a completely algebraic derivation of the Serre spectral sequence for the free loop space, confirming and extending results by Cohen, Jones, and Yan.

2. The Sullivan Model (Theorem 4.7)

• Context: Applied to a fibration $p: E \to B$ of 1-connected CW complexes, modeled by a relative Sullivan algebra $(\Lambda W, d) \hookrightarrow (\Lambda W \otimes \Lambda V, D)$.
• Result: A spectral sequence converging to the rational homotopy groups of the identity component of the space of self-fiber-homotopy equivalences, $\text{Aut}_1(p)$:
  $$E_2^{s,t} = \text{hom}(\pi_s(F), H_t(E)) \implies \pi_{s-t}(\text{Aut}_1(p))$$
  (Where $F$ is the fiber of the fibration).
• Significance: This connects the Harrison cohomology of the Sullivan model directly to the homotopy groups of the automorphism monoid of the fibration, generalizing previous work by Berglund, Madsen, and others.

4. Technical Nuances and Convergence

• Degeneration: The paper analyzes conditions under which the spectral sequence degenerates (e.g., Corollary 3.12). If the target algebra is truncated and the tower is "cellular," the sequence often collapses at the $E_2$ page.
• Coefficients: The results are primarily over $\mathbb{Q}$ (rational coefficients), consistent with rational homotopy theory, though the general operadic framework allows for other characteristic zero fields.
• Relation to Classical Theories: The authors explicitly show how their "tangent cohomology" recovers Hochschild cohomology for associative algebras (via the cone of the adjoint map) and relates to Quillen homology.

5. Significance

1. Unification: It unifies the computation of deformation obstructions across different types of algebras (Lie, Associative, Commutative) under a single operadic spectral sequence framework.
2. Algebraic Topology: It offers a rigorous, purely algebraic construction of the Serre spectral sequence for free loop spaces and automorphism spaces, bypassing the need for geometric fibrations in the initial setup.
3. Computational Power: By reducing the problem to the "cells" (generators) of the algebra, it offers a practical algorithm for computing invariants like the Chas–Sullivan product or rational homotopy groups of function spaces, which are otherwise difficult to access.
4. Bridge to String Topology: The identification of the multiplicative structure converging to the Chas–Sullivan product solidifies the link between operadic deformation theory and string topology operations.

In summary, the paper provides a powerful computational tool (the spectral sequence) that translates the geometric intuition of "attaching cells" into the algebraic language of operadic cohomology, successfully solving complex deformation and homotopy problems in rational homotopy theory.