🔢 mathematics

The logarithmic leaf complex and foliated d-semistability

This paper investigates holomorphic foliations on normal crossings varieties by introducing the concept of foliated d-semistability via logarithmic structures, identifying obstructions to this property, and establishing a logarithmic deformation theory that proves the existence of a versal hull for the corresponding moduli functor.

Original authors: Mauricio Corrêa, Pablo Perrella, Sebastián Velazquez

Published 2026-05-04

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Mauricio Corrêa, Pablo Perrella, Sebastián Velazquez

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

Imagine you are an architect trying to design a building. Usually, you work with smooth, perfect materials like glass or steel. But sometimes, you are forced to work with materials that have cracks, corners, or where different pieces of wood meet at sharp angles. In mathematics, these "cracked" or "crossed" shapes are called varieties with normal crossings.

This paper is about understanding foliations on these cracked shapes. To understand what a foliation is, imagine a stack of paper. If you draw lines on every sheet so they all line up perfectly, you have a foliation. It's like a set of invisible tracks or lanes that guide movement through the space.

The authors are asking a big question: If you have a foliation on a cracked, crossed shape, can you "smooth it out"? Can you imagine a process where the cracks disappear, and the shape becomes a perfect, smooth building, while the tracks (the foliation) remain intact and continuous?

Here is how they tackle this problem, using some creative metaphors:

1. The "Logarithmic" Toolkit

To study these cracked shapes, the authors use a special mathematical toolkit called Logarithmic Geometry.

The Analogy: Think of a normal geometric shape as a plain map. A "logarithmic" shape is like that same map, but with a special "legend" or "instruction manual" attached to it. This manual tells you exactly how the cracks behave and how the different pieces fit together.
Why it helps: It turns a messy, broken shape into a "smooth" object in the eyes of this new toolkit. It's like putting on special glasses that make a jagged rock look like a polished gem.

2. The "d-Semistability" Test

The authors introduce a concept called d-semistability.

The Analogy: Imagine you are trying to glue two pieces of wood together to make a table. For the table to be stable, the glue (the mathematical structure) must hold the pieces in a very specific balance. If the pieces are too heavy on one side or the glue is too weak, the table will collapse.
The Rule: The paper proves that for a foliation to be "smoothable" (turn into a perfect shape), it must pass this "d-semistability" test. It's a strict compatibility check. The tracks on one piece of wood must align perfectly with the tracks on the other piece at the seam. If they don't, the whole thing cannot be smoothed out.

3. The "Leaf Complex" (The Blueprint)

To figure out if a smoothing is possible, the authors build a new mathematical machine called the Logarithmic Leaf Complex.

The Analogy: Think of this as a complex blueprint or a flowchart. It takes the "tracks" (the foliation) and the "cracks" (the geometry) and runs them through a series of tests.
The Result: This blueprint produces a set of "obstructions."
- If the blueprint says "0 obstructions," it means the tracks are perfectly aligned, and you can successfully smooth the shape.
- If the blueprint says "1 obstruction," it means there is a specific mathematical reason why the smoothing will fail (like a knot in the wood that can't be untied).

4. The Main Discoveries

The paper makes three key claims:

Local vs. Global: Just because the pieces fit together locally (in a small area) doesn't mean they fit together globally (for the whole shape). The authors found specific "topological" reasons why a shape might look smooth in small patches but fail to smooth out as a whole.
The Compatibility Rule: They discovered a strict rule about the "Camacho-Sad indices" (a fancy way of measuring how the tracks twist around the cracks). For the shape to be smoothable, the twisting on one side of a crack must perfectly cancel out the twisting on the other side.
The Existence of a "Versal Hull": This is a mathematical way of saying they found a "master key" or a "universal container." If a shape passes their tests, this master key guarantees that a smooth version of the shape exists and can be constructed.

Summary

In short, the authors have created a new set of rules and a new testing machine (the Logarithmic Leaf Complex) to determine if a "cracked" shape with "tracks" on it can be repaired into a smooth, perfect shape. They proved that this is only possible if the tracks on the different pieces of the crack align perfectly, and they provided a mathematical method to check this alignment before trying to build the smooth version.

They did not apply this to real-world engineering or medicine; they strictly solved the mathematical puzzle of how these specific geometric shapes behave when you try to smooth them out.

1. Problem Statement and Motivation

The paper addresses a fundamental problem in the deformation theory of holomorphic foliations: Which foliations on varieties with normal crossings (NC) admit smoothings?

Context: In the study of moduli spaces of foliations on smooth varieties, one often encounters boundary points corresponding to singular varieties with normal crossings. The Semistable Reduction Theorem guarantees that any family of foliated pairs can be modified (via base change and birational transformation) to have a central fiber that is a normal crossing variety.
The Gap: While the theory of smoothings for varieties (without foliations) is well-established via the notion of d-semistability (introduced by Friedman and extended by Kawamata–Namikawa), the analogous theory for foliated pairs $(X, \mathcal{F})$ was missing.
Core Question: Given a normal crossing variety $X$ and a foliation $\mathcal{F}$ on it, under what conditions does there exist a flat family over a disk $\Delta$ such that the central fiber is $(X, \mathcal{F})$ and the general fiber is a smooth foliated pair?

2. Methodology

The authors employ Logarithmic Geometry (in the sense of Fontaine–Illusie and Kato) as the primary framework. This approach treats the singular normal crossing variety as a "smooth" object within the category of log schemes.

Logarithmic Structures: They equip the NC variety $X$ with a log structure $M_X$ of semistable type, allowing for a morphism $f: (X, M_X) \to (\ast, \mathbb{N})$ .
Foliated d-Semistability: They define a pair $(X, \mathcal{F})$ to be d-semistable if the tangent sheaf of the foliation, $\mathcal{T}_{\mathcal{F}}$ , is contained within the relative log tangent sheaf $\mathcal{T}_{X/(\ast, \mathbb{N})}$ . This ensures the foliation is compatible with the log-smooth structure of the degeneration.
Deformation Theory: They develop an infinitesimal deformation theory for log-smooth foliated morphisms. This involves constructing a Logarithmic Leaf Complex (analogous to the leaf complex in the smooth case) to govern the deformations.

3. Key Contributions and Results

A. Local and Global Obstructions to d-Semistability

The paper establishes precise criteria for when a foliated pair is d-semistable.

Local Compatibility (Camacho–Sad Indices):
- For a local model $X = V(x_1 \cdots x_r)$ , if the divisors $D_i = V(x_i)$ are invariant under the foliation, the authors derive a compatibility condition for the Camacho–Sad indices of the restricted foliations $\mathcal{F}_i$ on the irreducible components.
- Result (Proposition 3.12): For any two components $X_i, X_j$ intersecting at $D_{ij}$ , the indices must satisfy:
  $CS(\mathcal{F}_i, D_{ij}) + CS(\mathcal{F}_j, D_{ij}) = r - 2$
  where $r$ is the number of components meeting at the singularity.
Global Obstruction Class:
- Local d-semistability does not guarantee global d-semistability. The authors identify the obstruction to gluing local semistable log structures.
- Result (Proposition 3.17): The obstruction to global d-semistability lies in the cohomology group:
  $H^1(X, \mathcal{O}^*_{X/\mathcal{F}} / G_{\mathcal{F}})$
  where $\mathcal{O}^*_{X/\mathcal{F}}$ is the sheaf of invertible first integrals of $\mathcal{F}$ , and $G_{\mathcal{F}}$ is the kernel of the restriction to the singular locus.
- Topological Nature: If the singular locus (double locus) is a leaf of the foliation, the obstruction becomes purely topological, residing in $H^1(D, \mathbb{C}^*)$ .

B. Logarithmic Deformation Theory

The authors construct a deformation theory for log-smooth foliations, generalizing the work of Goldman–Millson and Kato.

The Logarithmic Leaf Complex:
- They define a complex $L^\bullet(\mathcal{F})$ governing the deformations:
  $\mathcal{T}_X \xrightarrow{\delta} \mathcal{H}om(\mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \xrightarrow{\delta} \mathcal{H}om(\wedge^2 \mathcal{T}_{\mathcal{F}}, \mathcal{N}_{\mathcal{F}}) \to \dots$
- The differential is the Chevalley–Eilenberg differential associated with the Lie bracket on the log tangent sheaf.
Obstruction and Moduli:
- Theorem 4.12: The hypercohomology groups of this complex control the deformation theory:
  - $\mathbb{H}^0$ : Automorphisms.
  - $\mathbb{H}^1$ : Equivalence classes of first-order deformations.
  - $\mathbb{H}^2$ : Obstructions to extending deformations.
- Theorem 4.15 (Versal Hull): If $X$ is a proper variety, the moduli functor of log-smooth deformations of $(X, \mathcal{F})$ admits a versal hull. This guarantees the existence of a formal moduli space.
Existence of Smoothings:
- Corollary 4.16: If $(X, \mathcal{F})$ is d-semistable and the obstruction group $\mathbb{H}^2(X, L^\bullet(\mathcal{F}))$ vanishes, then $(X, \mathcal{F})$ admits a smoothing.
- The paper provides a concrete example (Example 4.17) involving gluing $\mathbb{P}^1$ -bundles, showing how the vanishing of specific cohomology groups ensures the existence of a smoothing.

4. Significance

Bridging Singularity and Smoothness: The paper provides the necessary theoretical machinery to treat singular foliated pairs as limits of smooth ones, a crucial step for compactifying moduli spaces of foliations.
Logarithmic Framework: It demonstrates that logarithmic geometry is the natural setting for studying degenerations of foliations, extending the successful application of log geometry to Calabi-Yau and K3 surfaces (Kawamata–Namikawa) to the foliated context.
Computable Criteria: By reducing the problem to cohomological obstructions and index relations (Camacho–Sad), the authors provide concrete tools for researchers to determine if a specific singular foliation can be smoothed.
Future Directions: The work lays the groundwork for studying log Calabi-Yau foliations and applying T1-lifting techniques to prove the existence of smoothings in broader contexts, potentially leading to a complete classification of d-semistable foliated pairs.

In summary, the paper successfully translates the classical theory of d-semistability into the realm of foliations using logarithmic geometry, identifying the precise local and global obstructions and proving the existence of versal deformation spaces.