On Pseudo-Effectivity and Volumes of Adjoint Classes in Kähler Families with Projective Central Fiber

This paper investigates the deformation behavior of pseudo-effective canonical divisors and volumes of adjoint classes in Kähler families, establishing global stability results under specific conditions and confirming Siu's invariance of plurigenera conjecture for smooth Kähler threefolds.

The Gist

Imagine you are a master architect designing a series of buildings that change shape slightly as you walk through them. This is the world of complex geometry, where mathematicians study shapes (called varieties) that exist in many dimensions.

This paper, written by Christopher Hacon, Yi Li, and Sheng Rao, is like a set of blueprints and stability tests for these shifting buildings. Specifically, they are looking at a special type of building called a Kähler family. Think of a Kähler family as a "morphing" structure where every single room (fiber) is a smooth, complex shape, but the whole thing flows together like a river.

Here is the breakdown of their discoveries using simple analogies:

1. The "Gravity" of the Building (Pseudo-effectivity)

In this mathematical world, every building has a "gravity" or a "weight" associated with it, called the canonical divisor.

• The Question: If the central building in your family is "heavy" (mathematically, "pseudo-effective"), do the buildings next to it also have to be heavy? Or can they suddenly become "weightless" (uniruled, meaning they are covered by lines like a net)?
• The Old Rule: For standard, rigid buildings (projective varieties), mathematicians already knew the answer: if the center is heavy, the neighbors are too.
• The New Discovery: The authors proved this holds true even for these fluid, morphing Kähler buildings, provided the central building is a standard, rigid one (projective).
• The Analogy: Imagine a heavy stone anchor in the center of a floating raft. The authors proved that if the anchor is heavy, the entire raft stays heavy, even if the wood around it is flexible and changing shape. They also showed that if the center is "light" (uniruled), the whole raft is light.

2. The "Volume" of the Building (Volumes of Adjoint Classes)

Mathematicians also care about the volume of these shapes. But in this high-dimensional world, "volume" isn't just how much space it takes up; it's a measure of how many "rooms" or "solutions" exist inside the shape.

• The Problem: Usually, when you deform a shape (stretch or squish it), its volume might change. But for these specific "adjoint" shapes (a mix of the building's gravity and its internal structure), the authors wanted to know: Does the volume stay the same?
• The Discovery: Yes! If the central building has a "big" volume (it's spacious and full of solutions), then the volume of the neighboring buildings stays exactly constant.
• The Analogy: Imagine a balloon filled with a special gas. If you squeeze the balloon slightly (deformation), the amount of gas inside usually changes. But the authors found a special type of balloon where, no matter how you gently squeeze it, the amount of gas inside remains perfectly constant. They proved this happens when the central balloon is rigid and spacious.

3. The "Three-Dimensional" Breakthrough (Kähler Threefolds)

The paper gets even more impressive when they look at 3D shapes (threefolds).

• The Big Challenge: In higher dimensions, things get messy. Usually, you need the central building to be rigid (projective) to prove these rules hold. But for 3D shapes, the authors used a powerful new toolkit (the Minimal Model Program, or MMP) that acts like a "renovation crew."
• The Renovation Crew (MMP): Imagine you have a messy, old building. The MMP is a set of rules to tear down the bad parts and rebuild them into a "minimal model" (the most efficient version).
• The Result: Because the "renovation crew" works perfectly for 3D shapes, the authors proved that you don't even need the central building to be rigid. Even if the whole family is fluid and changing, the "gravity" and "volume" rules still hold perfectly for 3D shapes.
• The Analogy: It's like discovering that the laws of physics for floating rafts work perfectly in 3D space, even if the raft is made of jelly, because the jelly has a special internal structure that keeps it stable.

4. Why This Matters (Siu's Conjecture)

There is a famous guess in mathematics called Siu's Conjecture. It asks: "If you have a family of shapes, do the number of 'solutions' (called plurigenera) stay the same as the shape changes?"

• For a long time, this was only proven for rigid, projective shapes.
• This paper confirms that Siu's Conjecture is true for 3D shapes, even if they are fluid and not rigid. It's a massive step forward in understanding how complex shapes behave when they change.

Summary

Think of this paper as a stability report for a magical, shifting city:

1. Weight Check: If the center of the city is heavy, the whole city is heavy.
2. Volume Check: If the center is spacious, the neighbors stay just as spacious, no matter how the city morphs.
3. The 3D Miracle: In 3D, these rules are so robust that they work even if the city is made of fluid, shifting material, not just solid stone.

The authors achieved this by combining old, rigid mathematical tools with new, flexible techniques that allow them to "renovate" these fluid shapes step-by-step, proving that their fundamental properties remain unbroken.

Technical Summary

Here is a detailed technical summary of the paper "On Pseudo-Effectivity and Volumes of Adjoint Classes in Kähler Families with Projective Central Fiber" by Christopher D. Hacon, Yi Li, and Sheng Rao.

1. Problem Statement

The paper addresses fundamental deformation problems in complex algebraic and analytic geometry, specifically within the context of Kähler families (families of compact Kähler manifolds or varieties). The central questions are:

1. Deformation Stability of Pseudo-Effectivity: If the canonical divisor $K_X$ of a central fiber $X_0$ in a Kähler family is pseudo-effective, does this property persist for nearby fibers $X_t$? Conversely, if $X_0$ is uniruled (implying $K_{X_0}$ is not pseudo-effective), do nearby fibers remain uniruled?
2. Deformation Invariance of Volumes and Plurigenera: Do the volumes of adjoint classes (e.g., $K_X + B + \beta$) and plurigenera ($P_m = h^0(mK_X)$) remain constant under deformation for smooth Kähler families?

While these properties are well-established for projective families (via the Minimal Model Program and extension theorems like Ohsawa-Takegoshi), they remain largely open for transcendental Kähler families where the total space or fibers are not necessarily projective. The authors aim to bridge this gap, particularly for families where the central fiber is projective or for Kähler threefolds where the full MMP is established.

2. Methodology

The authors employ a sophisticated synthesis of the Minimal Model Program (MMP) adapted to the transcendental (non-algebraic) setting and analytic extension techniques. Key methodological components include:

• Generalized Kähler Pairs: The framework utilizes generalized pairs $(X, B + \beta)$, where $\beta$ is a closed $(1,1)$-current (transcendental class) rather than a divisor. This allows the application of MMP techniques to Kähler varieties.
• Extension of the Analytic MMP: A core technical achievement is extending the steps of the MMP (divisorial contractions, flips, Mori fiber spaces) from a central fiber $X_0$ to a neighborhood of fibers $X_t$. This relies on:
  • Kollár's Extension Theorem: Extending contraction morphisms when $R^1\phi_* \mathcal{O}_X = 0$.
  • Transcendental Base Point Free Theorem: Utilizing recent results (Das-Hacon [DH24b]) to ensure the termination of the MMP and the existence of minimal models for projective fibers, which then extend to the Kähler family.
• Singular Stokes' Formula: To prove the constancy of volumes, the authors avoid relying on the constancy of Hilbert polynomials (which fails for transcendental classes). Instead, they run the MMP to reach a model where the adjoint class is nef. They then apply a singular version of Stokes' formula (Proposition 6.2) to show that the top intersection number (volume) remains constant, leveraging the fact that the singular locus of the currents has codimension $\geq 2$.
• Relative Douady Space Arguments: Used to establish global stability results by analyzing families of rational curves covering uniruled fibers.

3. Key Contributions and Results

A. Stability of Pseudo-Effectivity and Uniruledness

• Theorem 1.2 (Global Stability): For a flat family $f: X \to S$ of Kähler varieties with canonical singularities, if the central fiber $X_0$ is projective and $K_{X_0}$ is pseudo-effective, then $K_{X_t}$ is pseudo-effective for all $t \in S$. Conversely, if $X_0$ is projective and uniruled, then $X_t$ is uniruled for all $t$.
  • Significance: This generalizes Tsuji's result for projective families to Kähler families, provided the central fiber is projective.
• Extension to Threefolds: The authors note that for Kähler threefolds, the projectivity assumption on the central fiber can be dropped because the MMP and the transcendental base point free conjecture are fully established for Kähler threefolds (via works [DH24a, CHP16, etc.]). Thus, Conjecture 1.4 holds for Kähler threefolds without assuming the central fiber is projective.

B. Invariance of Volumes of Adjoint Classes

• Theorem 1.6 (Projective Central Fiber with Big Adjoint Class): If $X_0$ is projective and the adjoint class $K_{X_0} + B_0 + \beta_0 + \delta \omega_0$ is big, then the volume function $t \mapsto \text{vol}(K_{X_t} + B_t + \beta_t + \delta \omega_t)$ is locally constant near $0$.
  • Mechanism: The authors run the MMP with scaling on $X_0$ to reach a minimal model where the class is nef. They then extend this MMP to nearby fibers. Since the class becomes nef, the volume equals the top intersection number, which is constant by Stokes' theorem (applied to the smooth locus).
• Theorem 1.7 (Log Smooth Case): A variant is proved for log smooth families without the condition $N(K+B+\beta) \wedge B = 0$, using log-concavity of the volume function.

C. Confirmation of Siu's Conjecture in Dimension 3

• Theorem 1.8 (Main Result for Threefolds): For a smooth family of Kähler threefolds (no projectivity assumption on fibers required), the plurigenera $P_m(X_t)$ are constant for all $t \in S$. Furthermore, the volume function $t \mapsto \text{vol}(K_{X_t} + \delta \omega_{X_t})$ is constant for any $\delta \geq 0$.
  • Significance: This confirms Siu's Invariance of Plurigenera Conjecture (Conjecture 1.5) specifically in dimension three for the Kähler category. It resolves a long-standing open problem by combining the relative MMP for Kähler threefolds with the abundance conjecture (which is known in dimension 3).

4. Significance and Impact

1. Bridging Algebraic and Transcendental Geometry: The paper successfully adapts powerful algebraic tools (MMP, base point free theorems) to the transcendental Kähler setting, demonstrating that deformation invariance properties often hold even without global projectivity, provided the central fiber has sufficient structure (projectivity or low dimension).
2. Resolution of Siu's Conjecture in Dim 3: By confirming the invariance of plurigenera for Kähler threefolds, the authors settle a major conjecture in complex geometry for this dimension, extending Siu's original projective results.
3. New Techniques for Volume Invariance: The use of the singular Stokes' formula to prove volume constancy for transcendental classes offers a novel alternative to algebraic methods (like Hilbert polynomials), opening pathways for studying volumes in non-algebraic contexts.
4. Foundation for Higher Dimensions: The results for threefolds serve as a critical testbed and foundation for attempting to generalize these invariance results to higher-dimensional Kähler manifolds, where the MMP is still under development.

In summary, the paper represents a significant advancement in the classification of complex varieties, establishing robust deformation invariance theorems for pseudo-effectivity and volumes in the Kähler category, with a complete solution for the three-dimensional case.