🔢 mathematics

Stability properties of adapted tangent sheaves on Kähler--Einstein log Fano pairs

The paper proves that for a log Fano pair with standard coefficients equipped with a singular Kähler–Einstein metric, the adapted tangent sheaf and the adapted canonical extension are polystable with respect to the pullback of the first Chern class under any strictly $\Delta$ -adapted morphism.

Original authors: Louis Dailly

Published 2026-01-28

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Louis Dailly

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: Balancing Act on a Bumpy Surface

Imagine you have a geometric shape (like a sphere or a donut) that represents a complex mathematical space. In the world of this paper, this shape isn't perfect; it has some "scars" or "cracks" on it (mathematicians call these singularities). Furthermore, there are specific lines or patches drawn on the surface (called divisors) that change how the shape behaves.

The author is studying a very special kind of shape called a Log Fano pair. Think of this as a shape that naturally wants to curve inward, like a bowl, but has some extra rules attached to its edges.

The paper asks a fundamental question: Is this shape "stable"?

In math, "stability" doesn't mean it won't fall over. It means the shape is perfectly balanced. If you try to pull a piece of it apart, the forces holding it together are perfectly distributed. If it's unstable, it's like a wobbly tower of blocks that will collapse if you nudge it.

The Main Characters

The Shape (X, ∆): The main stage. It's a "Log Fano pair," meaning it's a specific type of curved space with some marked boundaries.
The Metric (The Ruler): The paper assumes this shape has a Kähler–Einstein metric. Imagine this as a perfect, custom-made ruler that fits the shape exactly. It measures distances and angles in a way that makes the curvature of the space perfectly uniform, even around the cracks and scars.
The Tangent Sheaf (The Direction Map): Imagine standing on this shape. The "Tangent Sheaf" is a collection of arrows pointing in every possible direction you could walk from your current spot. It's the map of all possible movements.
The "Adapted" Twist: Because the shape has cracks and special boundaries, the standard map of directions doesn't work well. You need a special map that "adapts" to the cracks. The author calls this the Adapted Tangent Sheaf. It's like a GPS that knows exactly how to navigate around the potholes and barriers on the road.
The "Cover" (The Unwrapping): To study the cracks, the author uses a trick called a strictly adapted morphism. Imagine taking a crumpled piece of paper with a tear in it and wrapping it with a new, smooth sheet of paper that covers the tear perfectly. This new sheet is a "cover." It allows the mathematician to look at the messy shape through a clean, smooth lens.

The Core Discovery: The Shape is Perfectly Balanced

The paper proves a very strong result: The "Adapted Tangent Sheaf" is "Polystable."

Let's break down what that means with an analogy:

Stable: Imagine a tightrope walker. If they lean slightly to the left, they immediately correct and lean right. They are in perfect balance.
Polystable: Imagine a tightrope walker who is actually a team of three people holding hands. If the whole team leans, they balance together. But if you look closely, you see that the team is actually made of three smaller, independent tightrope walkers, each perfectly balanced on their own. They are stuck together, but each part is stable on its own.

The Paper's Claim:
Louis Dailly proves that if you have this specific type of shape (Log Fano) with a perfect ruler (Kähler–Einstein metric), then the "Adapted Direction Map" (the Tangent Sheaf) is Polystable.

This means the map of directions is perfectly balanced. It might be made of smaller, independent balanced pieces, but the whole thing holds together without collapsing.

He also proves this for a related object called the Adapted Canonical Extension. Think of this as the "direction map" plus a little extra baggage (a specific mathematical extension). He shows that this extended map is also perfectly balanced.

How Did He Prove It? (The Strategy)

The proof is like a detective story that uses a "resolution" to solve a messy crime scene.

The Problem: The original shape has cracks and scars. It's too messy to measure directly.
The Solution (Log Resolution): The author takes the messy shape and "resolves" it. He creates a new, smooth version of the shape (a "log resolution") where the cracks are smoothed out into neat, manageable lines.
The Approximation: On this smooth version, he creates a series of "practice" rulers. These aren't perfect yet, but they get closer and closer to the perfect ruler as he tweaks them.
The Calculation: He calculates the "balance" (stability) of the direction map on these practice rulers. He shows that as the practice rulers get better and better, the balance holds up.
The Conclusion: Since the balance holds on the smooth, resolved version, and the math connects the smooth version back to the original messy shape, the original shape must also be balanced.

The "Uniformization" Bonus (Corollary B)

The paper ends with a "What if?" scenario. It asks: What if the shape is not just balanced, but perfectly balanced in a very specific, extreme way?

If the shape satisfies a specific mathematical equation (the Miyaoka–Yau equality), the paper proves that the shape isn't just any random shape. It must be a quotient of a projective space.

The Analogy:
Imagine you have a complex, patterned rug. If the rug is perfectly balanced in this specific extreme way, the paper proves that the rug must actually be a simple, standard pattern (like a grid) that has been cut up and rearranged by a group of people (a finite group). You can't have a weird, random shape; it has to be a standard shape that was folded and glued together in a specific way.

Summary

The Goal: To prove that the "direction maps" on certain complex, cracked shapes are perfectly balanced.
The Method: Smooth out the cracks, use a series of improving rulers to test the balance, and show that the balance holds.
The Result: The direction maps are Polystable (perfectly balanced, made of smaller balanced pieces).
The Implication: If the shape is "perfectly perfect" (satisfies a specific equality), it must be a standard shape that has been folded and rearranged, not a random mess.

This work connects the physical idea of a "perfectly balanced surface" (geometry) with the abstract idea of "stable structures" (algebra), showing that when nature (or math) creates a perfect equilibrium, the underlying structures must be orderly and decomposable.

Technical Summary: Stability Properties of Adapted Tangent Sheaves on Kähler–Einstein Log Fano Pairs

Problem Statement
The paper addresses the stability properties of vector bundles and sheaves associated with log Fano pairs $(X, \Delta)$ endowed with singular Kähler–Einstein (KE) metrics. Specifically, it investigates the adapted tangent sheaf $T_{X,\Delta,f}$ and the adapted canonical extension $E_{X,\Delta,f}$ , which are concrete sheaves realized via strictly $\Delta$ -adapted morphisms $f: Y \to X$ .

While the Kobayashi–Hitchin correspondence establishes a link between Hermite–Einstein metrics and polystability for smooth manifolds, and previous results by Tian, Li, and Druel–Guenancia–Păun have extended these stability results to smooth Fano manifolds, log smooth log Fano pairs, and $\mathbb{Q}$ -Fano varieties respectively, a general result for log Fano pairs with standard coefficients and singular KE metrics remained open. The core difficulty lies in handling the boundary divisor $\Delta$ and the associated ramification phenomena, which require the use of orbisheaves and adapted morphisms to define concrete objects on resolutions.

Methodology
The proof strategy follows the approach developed by Druel, Guenancia, and Păun [DGP24], adapted to the orbifold setting. The methodology proceeds through the following steps:

Resolution and Orbifold Structure: The problem is reduced to a log resolution $\pi: \tilde{X} \to X$ of the pair $(X, \Delta)$ . The pair $(\tilde{X}, \tilde{\Delta})$ (where $\tilde{\Delta}$ is the strict transform) is log smooth and naturally endowed with a smooth orbi-étale orbistructure.
Approximation by Perturbed Metrics: The singular KE metric on $X$ is pulled back to $\tilde{X}$ . This metric is approximated by a family of smooth orbifold metrics $\omega_{t,\epsilon}$ , which are solutions to perturbed Monge–Ampère equations. These metrics possess conic singularities along the exceptional divisors and the strict transform of $\Delta$ .
Curvature Analysis: The authors analyze the curvature of the orbifold tangent bundle $T(\tilde{X}, \tilde{\Delta})$ and its canonical extension $\tilde{E}$ with respect to the approximating metrics. By decomposing the curvature tensor and utilizing the second fundamental form of subbundles, they derive inequalities for the slopes of sub-sheaves.
Limit Process: Using estimates on the potentials and the boundedness of the metrics (via Bedford–Taylor theory and Evans–Krylov/Schauder estimates), the authors show that the slope inequalities hold in the limit as the approximation parameters $t, \epsilon \to 0$ .
Descent to Adapted Sheaves: Finally, the semistability and polystability results established on the log resolution are transferred to the adapted sheaves on $Y$ via strictly $\Delta$ -adapted morphisms. This relies on the fact that adapted sheaves are defined as invariant sections of pullbacks of orbibundles, and stability properties are preserved under such morphisms.

Key Contributions and Results

Theorem A (Main Result): Let $(X, \Delta)$ be a log Fano pair with standard coefficients endowed with a singular Kähler–Einstein metric. For any strictly $\Delta$ -adapted morphism $f: Y \to X$ , the adapted tangent sheaf $T_{X,\Delta,f}$ and the adapted canonical extension $E_{X,\Delta,f}$ are polystable with respect to the class $f^*c_1(X, \Delta)$ .
- This generalizes Tian's result on the polystability of the canonical extension for smooth Fano manifolds to the singular log setting.
- It extends Li's semistability result for log smooth pairs and the polystability result for $\mathbb{Q}$ -Fano varieties to the general log Fano case with standard coefficients.
Corollary B (Uniformization): The paper derives a uniformization result for log Fano pairs satisfying the equality case of the Miyaoka–Yau inequality. If $(X, \Delta)$ admits a singular KE metric and the Chern class equality $(2(n+1)c_2(X, \Delta) - n c_1(X, \Delta)^2) \cdot c_1(X, \Delta)^{n-2} = 0$ holds, then $(X, \Delta)$ is isomorphic to a quotient $(\mathbb{P}^n/G, \Delta_G)$ for a finite subgroup $G \subset \text{PGL}(n+1, \mathbb{C})$ .
Technical Lemmas:
- Proposition 3.1: The orbifold tangent bundle on the log resolution is semistable with respect to the pullback of the KE class.
- Proposition 3.4: The orbifold canonical extension on the log resolution is semistable.
- Lemma 4.3 & 4.4: These establish the reduction mechanism, proving that stability on the log resolution implies stability for the adapted sheaves on the base, and that this property is independent of the choice of the adapted morphism.

Significance
The paper claims to provide a definitive extension of the strong semistability results of Tian to the singular setting of log Fano pairs with standard coefficients. By successfully adapting the Druel–Guenancia–Păun strategy to the orbifold context, the work bridges the gap between differential geometric notions (singular KE metrics) and algebraic stability for a broad class of singular varieties. The result is significant for the classification of log Fano pairs, particularly in the context of the Miyaoka–Yau inequality, offering a characterization of those pairs that are uniformized by projective space modulo a finite group. The work relies on and generalizes previous frameworks established in [Li21], [DGP24], and [GT22], without introducing new experimental applications or future implications beyond the stated uniformization corollary.