🔢 mathematics

Stability conditions and infinitesimal deformation of curves

This paper establishes that the derived push-forward functor induces an isomorphism between the spaces of stability conditions on a smooth projective curve and its infinitesimal deformation, thereby linking their derived symmetries and autoequivalence groups.

Original authors: Kotaro Kawatani

Published 2026-05-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Kotaro Kawatani

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 Big Picture: The "Ghost" Curve

Imagine you have a beautiful, smooth drawing of a curve on a piece of paper. In mathematics, this is a smooth projective curve (let's call it $X_0$ ).

Now, imagine you take a very thin layer of "fog" or "glue" and stick it onto that drawing. The drawing underneath is still there, but it's now slightly fuzzy, slightly thicker, and has a bit of extra "stuff" attached to it. In math terms, this is an infinitesimal deformation (let's call the fuzzy version $X$ ). It's not a totally new shape; it's just the original shape with a tiny, almost invisible layer of complexity added on top.

The author of this paper asks a very specific question: If we add this tiny layer of "fog" to our curve, does the mathematical "rulebook" for how we measure and categorize objects on that curve change?

The Rulebook: Stability Conditions

To understand the paper, you first need to understand what a "stability condition" is.

Think of a stability condition as a sophisticated grading system or a "rulebook" for sorting objects. In the world of these curves, the "objects" are complex mathematical structures (like bundles of strings or layers of fabric).

The rulebook tells you which objects are "stable" (strong, unbreakable, fundamental) and which are "unstable" (they fall apart into smaller pieces).
Mathematicians have found that the collection of all possible rulebooks for a curve forms a shape called a space of stability conditions. It's like a map where every point represents a different way of sorting the objects.

The Main Discovery: The Fog Doesn't Matter

The paper's main result is surprisingly simple, even though the math to prove it is very hard.

The Claim: If you take your smooth curve ( $X_0$ ) and add a tiny layer of "fog" to make it $X$ , the map of all possible rulebooks (the space of stability conditions) remains exactly the same.

The Analogy:
Imagine you have a perfect, clear glass marble ( $X_0$ ). You know exactly how light bends through it, and you have a complete catalog of all the ways light can interact with it.
Now, you dip that marble in a very thin, invisible layer of oil ( $X$ ). The marble looks slightly different to the naked eye, but the way light bends through it? It hasn't changed at all.

The author proves that the "fuzzy" curve $X$ and the "clean" curve $X_0$ share the exact same catalog of rulebooks. There is a perfect, one-to-one match between the rulebooks of the fuzzy version and the clean version.

How They Proved It: The "Almost Hereditary" Trick

How did the author prove that the fog doesn't change the rulebook?

He looked at the "building blocks" of these curves. He discovered a special property he calls "almost hereditary."

The Analogy: Imagine you are trying to build a tower out of blocks. Usually, if you have a complex tower, it might be hard to figure out which blocks are holding it up.
However, in this specific "fuzzy" situation, the author showed that even though the tower looks complex (because of the fog), the rules for how the blocks fit together are actually governed by the clean, underlying blocks ( $X_0$ ).
The "fog" blocks are so tightly bound to the "clean" blocks that they can't do anything on their own. If you try to build a "stable" tower in the fuzzy world, it turns out you are actually just building a tower using the clean blocks underneath.

Because of this, the author could show that any "stable" object in the fuzzy world is just a copy of a "stable" object from the clean world. This allowed him to prove the two maps of rulebooks are identical.

The Second Discovery: The Symmetry Group

The paper also looks at symmetries.

Imagine you have a kaleidoscope. You can rotate it, flip it, and twist it, and the pattern changes, but the kaleidoscope itself remains the same. The group of all these moves is called the autoequivalence group.
The author shows that if you have a symmetry (a twist or turn) for the fuzzy curve ( $X$ ), it automatically creates a valid symmetry for the clean curve ( $X_0$ ).

The Analogy:
If you have a magic wand that can rearrange the pieces of your "fuzzy" marble, that same wand will rearrange the pieces of the "clean" marble underneath in a perfectly consistent way. You don't need a new wand for the clean marble; the old one works perfectly.

Why Does This Matter?

The author notes that in the past, mathematicians mostly studied "clean" curves (reduced schemes). They didn't pay much attention to the "fuzzy" ones (non-reduced schemes).

This paper says: Don't worry about the fuzziness.
If you want to understand the deep mathematical structure of a curve, you can ignore the tiny, infinitesimal deformations. You can just study the clean, underlying shape, and you will get the exact same answer.

Summary in One Sentence

This paper proves that adding a microscopic layer of "mathematical fog" to a smooth curve doesn't change the fundamental rules for sorting its objects or the symmetries that move them around; the fuzzy version and the clean version are mathematically identical in these specific ways.

Technical Summary: Stability Conditions and Infinitesimal Deformation of Curves

Problem Statement
The paper investigates the behavior of the space of stability conditions, denoted $\text{Stab}(\mathcal{D})$ , under infinitesimal deformations of algebraic varieties. While the structure of $\text{Stab}(\mathcal{D})$ is well-understood for smooth projective curves over a field (classified by Okada, Bridgeland, and Macrì for various genera), existing literature primarily focuses on reduced schemes. The author addresses the gap in understanding stability conditions for non-reduced schemes, specifically infinitesimal deformations of smooth projective curves. The central question is whether the space of stability conditions is invariant under such deformations and how the derived symmetries of the deformed scheme relate to the original reduced scheme.

Methodology
The author employs a combination of derived category theory, deformation theory of coherent sheaves, and the specific properties of stability conditions. The methodology proceeds through the following logical steps:

Toy Model (Artinian Rings): The paper first establishes a baseline by analyzing the affine scheme $\text{Spec}(R)$ where $(R, \mathfrak{m})$ is an Artinian local $k$ -algebra. It proves that $\text{Stab}(\mathcal{D}^b(\text{Spec } R))$ is non-empty and isomorphic to $\text{Stab}(\mathcal{D}^b(k))$ . This relies on the observation that stable objects in the derived category of an Artinian ring are essentially modules over the residue field.
Almost Hereditary Subcategories: A core technical tool introduced is the concept of an "almost hereditary" subcategory. A full abelian subcategory $\mathcal{A}_0 \subset \mathcal{A}$ is almost hereditary if the vanishing of $\text{Hom}^0$ and $\text{Hom}^1$ between objects in $\mathcal{A}_0$ implies the vanishing of all higher $\text{Hom}$ groups. The author proves that for an infinitesimal deformation $\pi: X \to \text{Spec } R$ of a smooth curve $X_0$ , the inclusion of coherent sheaves $\text{Coh}(X_0) \hookrightarrow \text{Coh}(X)$ satisfies this property. This is established using the deformation theory of locally free sheaves on curves, specifically leveraging the vanishing of obstructions in $H^2$ .
Analysis of Stable Objects: Using the almost hereditary property, the author demonstrates that any object stable with respect to a stability condition on $\mathcal{D}^b(X)$ must lie in the image of the derived push-forward functor $j_*: \mathcal{D}^b(X_0) \to \mathcal{D}^b(X)$ (up to shifts). This reduces the study of stability on the deformed space to the reduced space.
Case-by-Case Analysis: The proof of the main isomorphism is divided based on the genus $g$ of the curve $X_0$ :
- Genus $g > 0$ : The author utilizes the fact that the homological dimension of $\mathcal{D}^b(X_0)$ is 1. By analyzing the stability of skyscraper sheaves and line bundles, it is shown that the autoequivalence group and stability conditions behave uniformly.
- Genus $g = 0$ : The case of the projective line $\mathbb{P}^1$ is treated by generalizing Okada's results. The author utilizes semi-orthogonal decompositions and the specific exact triangles involving line bundles and skyscraper sheaves on $\mathbb{P}^1_R$ to classify stability conditions.
- Genus $g = 1$ : The analysis involves the interplay between slope stability and the specific structure of indecomposable sheaves on elliptic curves.
Induced Actions: The paper constructs a group homomorphism from the autoequivalence group $\text{Aut}(\mathcal{D}^b(X))$ to $\text{Aut}(\mathcal{D}^b(X_0))$ by showing that any autoequivalence of the deformed category preserves the subcategory $\text{Im}(j_*)$ .

Key Contributions and Results

Theorem 1.2 (Main Result): Let $X$ be an infinitesimal deformation of a smooth projective curve $X_0$ over an Artinian local ring. The derived push-forward functor $j_*$ induces an isomorphism of complex manifolds:
$j_*^{-1}: \text{Stab}(\mathcal{D}^b(X)) \xrightarrow{\sim} \text{Stab}(\mathcal{D}^b(X_0)).$
This result implies that the existence and structure of stability conditions depend solely on the underlying reduced scheme and are insensitive to the infinitesimal thickening.
Proposition 1.3: There exists a natural group homomorphism $\text{Aut}(\mathcal{D}^b(X)) \to \text{Aut}(\mathcal{D}^b(X_0))$ . This establishes a link between the derived symmetries of the deformed scheme and the original scheme, showing that the deformation structure does not introduce new autoequivalences that act non-trivially on the reduced part.
Proposition 3.10 & Corollary 3.12: The paper confirms that for an Artinian local ring $R$ , $\text{Stab}(\mathcal{D}^b(R))$ is non-empty and isomorphic to $\text{Stab}(\mathcal{D}^b(k))$ , and more generally, $\text{Stab}(\mathcal{D}^b(A))$ is non-empty if and only if the Krull dimension of the Noetherian ring $A$ is zero.
Technical Lemma (Proposition 4.4): The proof that $\text{Coh}(X_0)$ is an almost hereditary subcategory of $\text{Coh}(X)$ is a significant technical contribution, enabling the reduction of stability problems from the non-reduced setting to the reduced setting.

Significance
The paper claims significance by extending the theory of stability conditions to the non-reduced setting, a domain previously largely unexplored in the literature. By proving that the space of stability conditions is invariant under infinitesimal deformations of curves, the author provides a direct comparison between deformed and undeformed settings. This result suggests that the "complex manifold" structure of $\text{Stab}(\mathcal{D})$ is robust against infinitesimal perturbations of the underlying geometry. Furthermore, the construction of the homomorphism between autoequivalence groups offers a new perspective on how derived symmetries interact with deformation theory, linking the symmetries of the deformed object directly to those of its reduced core. The author notes that generalizing these results to singular curves or higher-dimensional varieties (such as surfaces) would require new ideas, as the current proof relies heavily on the homological dimension of the curve being 1.