🔢 mathematics

Obstruction sequences to homotopy equivalences

This paper develops an obstruction theory for gauge equivalences in complete differential graded Lie algebras to characterize homotopy equivalences between algebras governed by operads or properads, applying these results to establish new findings in algebraic topology and geometry, particularly regarding minimal models for highly connected varieties.

Original authors: Coline Emprin

Published 2026-07-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Coline Emprin

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

The Shape of Things: When Math Meets the Invisible

Imagine you are trying to describe a complex 3D object, like a twisted sculpture, to someone who can only see it through a blurry, low-resolution camera. You might try to describe it by its shadow, or by its silhouette, or by the way light hits its edges. In the world of mathematics, specifically a field called rational homotopy theory, mathematicians do something similar. They study the "shape" of spaces (like spheres, donuts, or higher-dimensional versions of these) not by looking at their physical surface, but by analyzing their "algebraic shadows." These shadows are built from equations and structures that capture the essence of the space's holes and twists.

Sometimes, a space is "formal." This is a fancy way of saying that its algebraic shadow is perfectly simple: the complicated, messy details of the shape don't actually matter because the space behaves exactly like its most basic skeleton. It's like realizing that a complex machine is actually just a simple gear system in disguise. When a space is formal, mathematicians can predict its behavior using only its basic building blocks, ignoring the messy middle parts. However, many spaces are not formal; their shadows are messy, and their behavior depends on those hidden, complicated details. The big question has always been: How do we tell if two different-looking shapes are actually "homotopy equivalent" (meaning they are the same shape underneath the paint)? And if they aren't exactly the same, how close are they?

The Paper's Mission: Building a Ladder to the Truth

In this paper, Coline Emprin builds a new mathematical tool to answer these questions. Think of the problem of checking if two shapes are the same as trying to walk from one side of a deep canyon to the other. You can't just jump; you need a bridge. In the past, mathematicians had a way to check if the bridge was perfect (a "formal" space), but they lacked a way to measure the bridge if it was slightly crooked or if you were trying to cross a canyon that wasn't perfectly symmetrical.

Emprin's work introduces "obstruction sequences." Imagine you are trying to fix a wobbly table. You put a shim under one leg. If it's still wobbly, you try another. If it's still wobbly, you try a third. An obstruction sequence is like a step-by-step checklist for this process. It doesn't just say "yes, the table is fixed" or "no, it's broken." Instead, it tells you exactly how far you can get before you hit a wall.

Here is how the paper works:

The Gauge Equivalence Degree: The author defines a number (which can go up to infinity) that measures how "close" two algebraic structures are to being the same. If the number is infinite, they are perfectly equivalent. If the number is finite (say, 5), it means you can match them up perfectly for the first five steps of your checklist, but at step six, you hit a "blockage" or an "obstruction" that proves they are fundamentally different.
The Step-by-Step Ladder: The paper provides a method to calculate these blockages one by one. You start at the bottom of the ladder. If the first rung is clear, you move up. If you find a blockage at rung 3, you know the two shapes are "3-close" but not identical. This is a huge improvement because it allows mathematicians to say, "These shapes aren't the same, but they are this close," rather than just "they are different."
Applying to Real Shapes: The author uses this new ladder to study "highly connected varieties." In simple terms, these are shapes that are very smooth and have very few "holes" in their lower dimensions. The paper proves that for these specific types of shapes, if they are "connected enough" and their dimensions are small enough (specifically, if the dimension $d$ is less than $(\ell+1)k + 2$ , where $k$ is the connectivity and $\ell$ is a number you choose), their algebraic shadows are surprisingly simple. They can be described by a very short list of rules (an $A_\infty$ -algebra) that stops after a certain number of steps.

Why This Matters

The paper doesn't just solve a puzzle for its own sake; it provides a way to handle shapes in situations where previous tools failed. For example, it works even when the numbers used to describe the shapes aren't the usual "real numbers" but come from different systems (like modular arithmetic used in cryptography or number theory).

The author shows that for these highly connected shapes, the "messiness" of their algebraic structure is limited. If you look at the shape's "shadow," you will find that the complicated parts (the parts that would make the shape non-formal) simply don't exist beyond a certain point. This means that for these specific shapes, you don't need to worry about the infinite complexity of the universe; you only need to worry about a finite, manageable number of steps.

In short, Emprin has built a precision instrument that measures the "distance" between shapes. It tells us not just if two things are the same, but exactly where they start to differ. This allows mathematicians to classify complex geometric objects with a new level of detail, proving that even in the most abstract corners of math, there are limits to how complicated things can get.

Technical Summary: Obstruction Sequences to Homotopy Equivalences

Problem Statement

The paper addresses the fundamental problem of characterizing homotopy equivalences between differential graded (dg) algebras governed by operads or properads (potentially colored by a groupoid). While rational homotopy theory establishes that two spaces share the same rational homotopy type if their singular cochain algebras are homotopy equivalent, determining whether two specific algebraic structures are homotopy equivalent is a non-trivial deformation problem.

Specifically, the author seeks to extend the theory of Kaledin classes, which provide a complete obstruction to formality (homotopy equivalence to the homology algebra), to the more general setting of homotopy equivalence between two arbitrary algebraic structures. The core question is: given two Maurer–Cartan elements $\phi$ and $\psi$ in a complete differential graded Lie algebra (dg Lie algebra) governing a deformation problem, can one detect whether they are gauge equivalent? If they are not, at what order along the filtration does the equivalence fail?

Methodology

The paper develops a systematic obstruction theory based on the structure of complete dg Lie algebras. The methodology proceeds through the following logical steps:

Reformulation as Gauge Equivalence:
The problem of homotopy equivalence between two algebraic structures $(A, \phi)$ and $(B, \psi)$ is recast as a gauge equivalence problem between their transferred Maurer–Cartan elements in a common complete dg Lie algebra $\mathfrak{g}$ . This relies on the isomorphism between the group of $\infty$ -isotopies and the gauge group of the convolution dg Lie algebra (in characteristic zero).
Twisting and Filtration:
To analyze the equivalence between $\phi$ and $\psi$ , the author twists the dg Lie algebra $\mathfrak{g}$ by $\psi$ to obtain $\mathfrak{g}_\psi$ . The difference $\phi - \psi$ becomes a Maurer–Cartan element in $\mathfrak{g}_\psi$ . The problem is then reduced to determining if this difference is gauge equivalent to zero (gauge trivial).
Construction of Obstruction Sequences:
The author constructs an inductive sequence of homology classes $(\vartheta_k)_{k \geq 1}$ along the complete descending filtration $F$ of the Lie algebra.
- Starting from a gauge trivialization modulo $F^k\mathfrak{g}$ , the author defines a class $\vartheta_k \in H^{-1}(\mathfrak{g}_\psi / F^{k+1}\mathfrak{g})$ .
- The vanishing of $\vartheta_k$ is the necessary and sufficient condition to extend the trivialization to modulo $F^{k+1}\mathfrak{g}$ .
- If $\vartheta_k \neq 0$ , the sequence terminates, and $k$ is identified as the gauge equivalence degree, measuring the exact order at which the equivalence fails.
Generalization to Arbitrary Coefficients:
While the initial construction assumes the ground ring $R$ is a $\mathbb{Q}$ -algebra (allowing the use of the Baker–Campbell–Hausdorff formula), the paper refines this for arbitrary commutative rings using weight-graded structures. In this setting, the obstruction classes are identified with truncations of the Kaledin class, allowing the theory to function even when factorials are not invertible, provided specific weight conditions are met.
Descent and Colored Extensions:
The theory is extended to show that gauge equivalence descends under faithfully flat scalar extensions. Furthermore, the framework is adapted to colored operads (groupoid-colored), broadening the scope to include endomorphism operads of modules over a groupoid.

Key Contributions and Results

1. Obstruction Sequences to Gauge Equivalences (Section 1)

Theorem 1.11: Establishes that the gauge equivalence degree of two Maurer–Cartan elements is infinite if and only if they are gauge equivalent modulo $F^k\mathfrak{g}$ for all $k$ .
Theorem 1.13 & 1.17: Provides sufficient conditions for the gauge equivalence degree to imply actual gauge equivalence. Specifically, if the dg Lie algebra is bounded or weight-graded (with appropriate vanishing of homology in the twisted algebra), an infinite obstruction sequence guarantees gauge equivalence.
Theorem 1.19 (Equivalence Descent): Proves that for a faithfully flat extension $R \to S$ , two Maurer–Cartan elements are gauge equivalent over $R$ if and only if they are gauge equivalent over $S$ .

2. Obstruction Sequences to Homotopy Equivalences (Section 2)

Theorem 2.24: Applies the obstruction theory to $\Omega C$ -algebras (algebras over a cobar construction). It states that two such algebras are homotopy equivalent (modulo filtration) if and only if the gauge equivalence degree of their transferred structures is infinite.
Theorem 2.29: Extends the descent property to homotopy equivalences of algebras over properads.
Theorem 2.40 & 2.48: Generalizes the theory to arbitrary coefficient rings (not just $\mathbb{Q}$ -algebras) by utilizing weight-graded structures. It relates the gauge triviality degree to the vanishing of truncated Kaledin classes, providing a criterion for gauge formality in positive characteristic.
Application to Spheres (Joint work [ET26]): The framework is used to prove that the pre-Calabi–Yau algebra $C_*(\Omega S^n; \mathbb{Q})$ is intrinsically formal, meaning it is determined up to homotopy by its homology structure, preserving Poincaré duality.

3. Minimal Models for Highly Connected Varieties (Section 3)

Theorem 3.5 & 3.6: The paper applies the obstruction theory to extend results by Zhou and Miller regarding the formality of highly connected manifolds and varieties.
- It proves that for a compact $k$ -connected manifold $M$ of dimension $d < (\ell+1)k + 2$ (with $\ell \geq 3$ ), the singular cochain algebra $C^*_{sing}(M; K)$ has depth $\ell-1$ . This means it is homotopy equivalent to a strictly unital $A_\infty$ -algebra with operations vanishing for arity $p \geq \ell$ .
- This result is generalized to étale cochains of smooth proper varieties over separably closed fields (Theorem 3.6), working over fields where $\ell$ and $\ell+1$ are invertible.
- The proof utilizes the obstruction sequence to show that higher-order operations ( $\phi_p$ for $p \geq \ell$ ) vanish due to degree constraints and Poincaré duality, effectively constructing the minimal model.

Significance and Claims

The paper claims to provide a complete obstruction theory for gauge equivalences in complete dg Lie algebras, which serves as a unifying framework for studying homotopy equivalences of algebraic structures.

Generalization of Kaledin Classes: The work successfully extends the detection of formality (a special case of homotopy equivalence) to the detection of homotopy equivalence between arbitrary structures, quantifying the "distance" between them via the gauge equivalence degree.
Arbitrary Coefficients: By refining the theory for weight-graded algebras, the paper removes the strict dependence on characteristic zero, allowing these obstruction techniques to be applied in positive characteristic and over general commutative rings.
Geometric Consequences: The theory is demonstrated to be a powerful tool for deriving concrete geometric results. Specifically, it provides a rigorous mechanism to establish the existence of minimal models with truncated operations for highly connected varieties, generalizing classical formality results to broader cohomology theories (singular and étale) and coefficient rings.

The author emphasizes that while the obstruction sequences are inductive and depend on choices (gauge choices), the resulting gauge equivalence degree is an invariant of the pair of structures, offering a precise measure of their homotopical relationship.