Compact Kähler manifolds with partially semi-positive curvature

This paper investigates the geometry of compact Kähler manifolds with partially semi-positive curvature by proving that such manifolds are rationally connected under specific positivity conditions and establishing structure theorems that classify them as either having high rational dimension or admitting a locally constant fibration with rationally connected fibers and a Ricci-flat base.

The Gist

Imagine you are an architect trying to understand the shape of a mysterious, multi-dimensional building called a Compact Kähler Manifold. In the world of mathematics, these buildings are complex spaces where geometry and calculus dance together.

The authors of this paper, Shiyu Zhang and Xi Zhang, are investigating a specific question: What does the "curvature" of this building tell us about its overall shape and connectivity?

Here is a breakdown of their findings using simple analogies.

1. The Big Picture: "Rational Connectedness"

First, let's define the goal. The mathematicians want to know if the building is "Rationally Connected."

• The Analogy: Imagine the building is a giant city. "Rationally Connected" means that no matter where you are in the city, you can always find a path made of straight, simple roads (called "rational curves") to get to any other point. There are no isolated islands or dead ends that you can't reach via these simple roads.
• Why it matters: If a space is rationally connected, it's "simple" in a deep algebraic sense. If it's not, it might have complex, twisted holes or structures that make it hard to navigate.

2. The New Tool: "BC-p Positivity"

To figure out if the city is connected, the authors look at the curvature of the ground. Usually, mathematicians look at how much the ground bends in every direction (like a sphere) or just in one direction.

The authors introduce a new, flexible tool called BC-p Positivity.

• The Analogy: Think of the ground's curvature as the "stiffness" of the floor.
  • Old way: You had to check if the floor was stiff in every possible direction (very strict).
  • The new way (BC-p): You only need to check if the floor is stiff when you look at it through a specific "lens" or "filter" that averages out the stiffness over a group of directions.
• The Discovery: They proved that if the floor is "stiff enough" (positive) through these specific lenses, the city must be rationally connected. You can't have a rationally connected city with a "saggy" or "negative" floor in these specific ways.

3. The First Big Result: Proving a Conjecture

The authors used this new tool to solve a puzzle that other mathematicians (Ni, Wang, and Zheng) had been stuck on.

• The Puzzle: They suspected that if a building has a specific type of "Orthogonal Ricci Curvature" (a way of measuring how the floor bends sideways), it must be rationally connected.
• The Solution: Using their new "BC-p" lens, they confirmed this suspicion. It's like saying, "If the floor bends nicely sideways, you can definitely walk from point A to point B on a straight path."

4. The Second Big Result: The "Splitting" Theorem

What happens if the floor isn't perfectly stiff everywhere, but only "semi-stiff" (it's flat or stiff, but never sagging)?

The authors discovered a fascinating structural rule. If the floor is semi-stiff, the building must fall into one of two categories:

• Scenario A: The Open City. The building is mostly rationally connected (you can walk everywhere).

• Scenario B: The Split Building. The building is actually two separate worlds glued together:

  1. The "Flat" Part: A section that is perfectly flat (like a torus or a donut shape). This part has no curvature at all.
  2. The "Connected" Part: A section that is rationally connected (the open city from Scenario A).

• The Analogy: Imagine a train station.

  • If the station is "semi-stiff," it turns out the station is actually a train (the flat part) parked next to a park (the connected part).
  • The "train" part is rigid and flat (Ricci-flat).
  • The "park" part is full of paths connecting everything.
  • The math proves that the building doesn't have a messy, twisted middle; it cleanly splits into these two distinct, simple pieces.

5. Why This Matters

Before this paper, mathematicians had to use very specific, rigid rules to determine if a shape was simple or complex.

• The Innovation: The authors created a "universal adapter" (BC-p positivity) that fits many different types of curvature measurements.
• The Impact: They didn't just solve one problem; they provided a new way to look at many problems. They confirmed old guesses and extended results to new types of geometries (like "Conformally Kähler" manifolds, which are shapes that look like Kähler manifolds but are slightly stretched or squashed).

Summary

In short, Zhang and Zhang showed that if the "floor" of a complex geometric building is stiff enough in the right ways, the building is either a simple, connected city or a clean combination of a flat platform and a connected city. They gave mathematicians a new, powerful magnifying glass to see these structures clearly, solving long-standing mysteries about how these shapes are built.

Technical Summary

Here is a detailed technical summary of the paper "Compact Kähler Manifolds with Partially Semi-Positive Curvature" by Shiyu Zhang and Xi Zhang.

1. Problem Statement

The paper investigates the geometric structure of compact Kähler manifolds under partially semi-positive curvature conditions. Unlike strictly positive curvature conditions (which often force the manifold to be rationally connected or a point), semi-positive conditions allow for negative curvature in certain directions.

The authors address two primary questions:

1. Rational Connectedness: Can new differential-geometric criteria be established to guarantee that a compact Kähler manifold is rationally connected (RC) based on weaker curvature conditions than previously known? Specifically, they focus on BC-p positivity (introduced by L. Ni) and its relationship to the rational dimension of the manifold.
2. Structure Theorems: For manifolds satisfying intermediate semi-positive curvature conditions (specifically $k$-semi-positive Ricci curvature and semi-positive $k$-scalar curvature), what is the global structure? Do they admit a fibration where the base is "flat" (Ricci-flat) and the fiber is rationally connected?

2. Methodology

The authors employ a sophisticated blend of complex differential geometry, algebraic geometry, and the theory of currents. The core methodology involves:

• BC-p Positivity: Utilizing the definition of BC-p positivity, which requires that for any $p$-dimensional subspace $\Sigma$ of the tangent bundle, there exists a direction $v$ such that the average of the Chern curvature tensor over $\Sigma$ is positive. This is a weaker condition than RC-positivity of exterior powers.
• Hermitian Ratio and Bochner Techniques: The central technical tool is the analysis of the Hermitian ratio $\psi$. Given a dominant meromorphic map $f: X \dashrightarrow Y$, they consider the reflexive extension $F$ of the pullback of the canonical bundle $f^*K_Y$. They define $\psi = e^{\phi_\alpha} |\eta_\alpha|^2$, where $\eta_\alpha$ generates $F$ and $\phi_\alpha$ is a plurisubharmonic (psh) weight.
• Currents and Approximation: A significant portion of the work involves rigorous analysis of currents associated with psh functions. The authors use smooth approximations ($\phi_\epsilon$) to handle singular metrics and prove integral inequalities involving $\sqrt{-1}\partial\bar{\partial}(e^\phi \eta \wedge \bar{\eta})$.
• Bochner-Type Formulas: They derive strict subharmonicity of $\log \psi$ along specific directions when the tangent bundle is BC-p positive and $K_Y$ is pseudo-effective. This leads to contradictions if the rational dimension is too small.
• Splitting Theorems: For the semi-positive case, they establish a splitting theorem for the tangent bundle using parallel transport and the de Rham decomposition theorem, showing that the universal cover splits into a product of a Ricci-flat base and a rationally connected fiber.

3. Key Contributions

A. New Criterion for Rational Connectedness

The authors prove that BC-p positivity of the tangent bundle is sufficient to control the rational dimension.

• Theorem 1.2: If $X$ has a BC-p positive tangent bundle and $f: X \dashrightarrow Y$ is a dominant meromorphic map with $\dim Y = p$, then $K_Y$ cannot be pseudo-effective.
• Theorem 1.4 (Main Criterion): A compact Kähler manifold is rationally connected if and only if its tangent bundle is BC-p positive for all $1 \le p \le n$. This unifies and generalizes previous results involving mean curvature positivity and RC-positivity.

B. Confirmation of Conjectures and Generalizations

• Ni-Wang-Zheng Conjecture (Theorem 1.5): They confirm that a compact Kähler manifold with positive orthogonal Ricci curvature ($Ric^\perp > 0$) is rationally connected.
• Conformally Kähler Case (Theorem 1.6): They generalize the result of Heier-Wong and Yang (who proved RC for positive holomorphic sectional curvature in the Kähler case) to the conformally Kähler case. They achieve this by constructing a specific Hermitian metric that makes the tangent bundle BC-p positive, bypassing the variational arguments used in the Kähler case.

C. Structure Theorems for Semi-Positive Curvature

The paper establishes structure theorems for manifolds with $k$-semi-positive Ricci curvature ($Ric \ge_k 0$) and semi-positive $k$-scalar curvature ($S_k \ge 0$).

• Theorem 1.10: For such manifolds, one of two scenarios occurs:
  1. The rational dimension is large: $rd(X) \ge n - k + 1$.
  2. The manifold admits a locally constant fibration $f: X \to Y$ where:
     • The base $Y$ is Ricci-flat (or has vanishing scalar curvature depending on the condition).
     • The fiber $F$ is rationally connected.
     • The universal cover splits holomorphically and isometrically: $(X_{univ}, g) \cong (Y_{univ}, g_Y) \times (F, g_F)$.

This generalizes the structure theorems of Campana-Demailly-Peternell (for $Ric \ge 0$) and Matsumura (for $H \ge 0$).

D. Complement to Mixed Curvature Results

The paper provides a complement to recent work by Chu-Lee-Zhu on mixed curvature. While Chu-Lee-Zhu established a splitting for non-negative mixed curvature, they could not guarantee the rational connectedness of the fiber. Zhang and Zhang fill this gap, proving that under these conditions, the fiber is indeed rationally connected.

4. Key Results Summary

Result	Condition	Conclusion
Theorem 1.2	$TX$ is BC-p positive; $f: X \dashrightarrow Y$ dominant, $\dim Y = p$.	$K_Y$ is not pseudo-effective.
Theorem 1.4	$TX$ is BC-p positive for all $1 \le p \le n$. |$X$ is rationally connected.
Theorem 1.5	$Ric^\perp > 0$.	$X$ is rationally connected.
Theorem 1.6	$X$ is conformally Kähler with positive holomorphic sectional curvature.	$X$ is rationally connected.
Theorem 1.10	$Ric \ge_k 0$ or $S_k \ge 0$.	Either $rd(X) \ge n-k+1$ OR $X$ fibers over a Ricci-flat base with an RC fiber.
Theorem 4.12	Mixed curvature $C_{a,b} \ge 0$ ($a \ge 0, a+b>0$).	Universal cover splits as $\mathbb{C}^k \times F$ (where $F$ is RC).

5. Significance

• Unification: The paper provides a unified framework (via BC-p positivity) to understand rational connectedness, subsuming various curvature conditions (mean curvature, orthogonal Ricci, holomorphic sectional curvature) under a single differential-geometric criterion.
• Sharpness of Conditions: By introducing the "intermediate" curvature conditions ($k$-semi-positive), the authors bridge the gap between strict positivity (which implies RC) and non-negativity (which implies structure theorems).
• Technical Innovation: The rigorous treatment of the Hermitian ratio $\psi$ using currents and the specific construction of metrics for conformally Kähler manifolds represent significant technical advances. The proof that BC-p positivity implies the vanishing of certain cohomology groups without requiring strict positivity is a major step forward.
• Resolution of Open Problems: The paper resolves the conjecture regarding positive orthogonal Ricci curvature and extends the Heier-Wong/Yang result to the conformally Kähler setting, which was previously an open problem due to the failure of standard variational methods.

In conclusion, this paper significantly advances the understanding of the relationship between curvature positivity and the birational geometry of Kähler manifolds, offering new tools (BC-p positivity) and definitive structure theorems for semi-positive cases.