A 2-systolic inequality on non-rational compact Kähler surfaces with positive scalar curvature

This paper establishes a 2-systolic inequality for compact Kähler surfaces with positive scalar curvature that admit a nonconstant holomorphic map to a positive-genus Riemann surface, a class of manifolds identified as ruled surfaces fibred over such curves.

The Gist

Imagine you are an architect trying to build a house on a very strange, curved piece of land. You have two main rules for your building project:

1. The "Bounciness" Rule (Positive Scalar Curvature): The ground itself must be "bouncy" or positively curved everywhere, like the surface of a sphere. It can't be flat like a table or saddle-shaped like a Pringles chip.
2. The "Map" Rule: Your house must be built in a way that you can draw a continuous, non-breaking map from your house down to a specific type of looped road (a Riemann surface with holes, like a donut or a pretzel).

The Big Question:
Given these rules, how small can the "rooms" inside your house be? In math terms, we are looking for the 2-systole. Think of this as the smallest possible area of a non-trivial loop or surface you can draw inside your house that doesn't just shrink away to nothing.

The Main Discovery: The "8π" Limit

The author, Zehao Sha, proves a surprising limit on how small these rooms can be relative to how "bouncy" the ground is.

He found that if you multiply the smallest room size (the 2-systole) by the minimum bounciness of the ground, the result can never exceed a specific number: 8π (roughly 25.1).

The Analogy:
Imagine the "bounciness" is the tension in a trampoline.

• If the trampoline is super tight (high bounciness), the smallest loop you can draw on it must be quite large.
• If the trampoline is loose (low bounciness), you can draw a tiny loop.
• Sha's theorem says: No matter how you arrange the trampoline, as long as it fits the "Map Rule," the product of "Tightness × Smallest Loop" is capped at 8π.

The "Perfect" House vs. The "Real" House

The paper also tells us when you hit that perfect limit of 8π.

• The Perfect House (Equality): You only hit the limit of 8π if your house is built like a stack of perfect spheres (like a stack of pancakes, but the pancakes are spheres) arranged over a perfectly flat loop (like a cylinder made of a flat ring). In this specific, ideal scenario, the smallest room is exactly the size of one of those spheres.
• The Real House (Strict Inequality): If your house is built over a loop with two or more holes (like a double-donut), the limit is strictly less than 8π. You can never quite reach the maximum efficiency. There is always a "gap."

How Did He Figure This Out? (The Detective Work)

To prove this, the author used a clever mathematical tool called the "Level Set Method."

Imagine your house is a loaf of bread.

1. Slicing: Instead of looking at the whole loaf at once, imagine slicing it into thin layers (level sets) based on a map you drew from the house to the road.
2. The Slice Analysis: For each slice, he looked at the geometry. He asked: "If I slice here, what is the curvature of this slice? How does it relate to the curvature of the whole loaf?"
3. The Boomerang Effect: He used a formula (the Bochner formula) that acts like a boomerang. It takes information about how the map bends and twists, and throws it back to tell you about the total energy of the system.
4. The Summation: By adding up the properties of all these slices, he showed that if the ground is "bouncy" (positive curvature), the slices can't be too small. If they were too small, the math would break (you'd get a negative number where a positive one is required).

Why Does This Matter?

This isn't just about abstract shapes. It connects two very different worlds of geometry:

• Topology: The shape of the object (how many holes it has).
• Geometry: The actual measurements (area, curvature).

The paper confirms a long-standing suspicion: You cannot have a "bouncy" universe that is also "rational" (simple) and has a complex map structure without hitting a hard ceiling on how small its features can be.

It's like saying, "If you want your balloon to be inflated (positive curvature) and you want to draw a specific pattern on it (the map), there is a minimum size the pattern must be. You can't make it arbitrarily tiny."

The "Gap" Discovery

The most exciting part for mathematicians is the gap.

• If your base road is a simple loop (1 hole), you can theoretically hit the perfect limit (8π).
• If your base road is complex (2+ holes), you are strictly below the limit. The universe forces a little bit of "wasted space." You can get close to the limit, but you can never quite touch it.

In a Nutshell:
Zehao Sha proved that on certain curved surfaces, the size of the smallest possible "room" is strictly limited by how curved the surface is. If the surface is complex enough, it can never reach the theoretical maximum efficiency, leaving a permanent mathematical gap.

Technical Summary

Here is a detailed technical summary of the paper "A 2-SYSTOLIC INEQUALITY ON NON-RATIONAL COMPACT KÄHLER SURFACES WITH POSITIVE SCALAR CURVATURE" by Zehao Sha.

1. Problem Statement

The paper addresses the relationship between systolic geometry and positive scalar curvature (PSC) in the context of complex geometry. Specifically, it investigates whether a rigidity inequality analogous to the Bray–Brendle–Neves (BBN) theorem for 3-manifolds holds for compact Kähler surfaces.

• Context: The BBN theorem (2010) establishes that for a closed, orientable Riemannian 3-manifold $(M, h)$ with positive scalar curvature, the product of the minimum scalar curvature and the homological 2-systole is bounded by $8\pi$:
  $$\text{sys}_{\pi_2}(M, h) \cdot \min_M S_M \leq 8\pi$$
  Equality holds if and only if $M$ is covered by $S^2 \times S^1$ with the round metric.
• Gap: The author seeks to extend this inequality to compact Kähler surfaces $(X, \omega)$ that admit a PSC metric and a non-constant holomorphic map to a Riemann surface of genus $g \geq 1$.
• Classification Context: The paper notes that compact Kähler surfaces admitting a PSC metric are classified as either $\mathbb{P}^2$ or ruled surfaces (fibered over a curve). The focus here is on the non-rational case (ruled surfaces over curves with $g \geq 1$).

2. Methodology

The author adapts the level set method introduced by Stern (2022) for 3-manifolds to the setting of Kähler surfaces fibred over Riemann surfaces. The proof strategy involves the following technical steps:

1. Geometric Setup:

   • Consider a compact Kähler surface $(X, \omega)$ and a non-constant holomorphic map $f: X \to C$, where $C$ is a compact Riemann surface with genus $g(C) \geq 1$.
   • Utilize the Uniformization Theorem to equip $C$ with a metric $\omega_0$ of non-positive Gauss curvature.

2. Adjoint and Gauss Equations:

   • Analyze the fibers $D_z = f^{-1}(z)$ as divisors.
   • Use the Adjunction Formula to relate the canonical bundles of the fiber and the total space.
   • Derive a Traced Gauss Equation relating the scalar curvature of the fiber ($S_D$), the scalar curvature of the total space ($S_X$), and the normal curvature terms involving the gradient of $f$.

3. Bochner and Co-area Formulas:

   • Apply the Bochner formula to the holomorphic map $f$ to derive an inequality involving the Laplacian of $|\partial f|^2$, the Ricci curvature, and the curvature of the base $C$.
   • Combine this with the Co-area formula to integrate over the fibers. This allows the transformation of global integrals on $X$ into integrals over the base $C$ involving fiber-wise quantities.

4. Integration and Inequality Derivation:

   • Integrate the derived Bochner-type inequality over the base curve $C$.
   • Utilize the Gauss-Bonnet theorem for the fibers (which are rational curves, $\mathbb{CP}^1$) to relate the integral of the fiber scalar curvature to the Euler characteristic.
   • Establish a key integral inequality (Lemma 2.3) showing that a specific combination of gradient terms and scalar curvatures is non-positive.

3. Key Contributions and Results

Main Theorem (Theorem 1.2 & Theorem 3.2)

The paper proves the following 2-systolic inequality for compact PSC Kähler surfaces admitting a holomorphic map to a curve of genus $g \geq 1$:
$$\min_X S_X \cdot \text{sys}_2(X, \omega) \leq 8\pi$$
Equality Condition: Equality holds if and only if:

1. The base curve $C$ has genus $g=1$ (an elliptic curve) and admits a flat metric.
2. The surface $X$ is isometrically covered by $\mathbb{CP}^1 \times C$.
3. The metric on $X$ is the product of the standard Fubini–Study metric on $\mathbb{CP}^1$ and the flat metric on $C$.
4. The 2-systole is realized by the $\mathbb{CP}^1$-fiber.

Corollary 1.3 (Strict Inequality for Higher Genus)

If the base curve $C$ has genus $g \geq 2$, the inequality is strict:
$$\min_X S_X \cdot \text{sys}_2(X, \omega) < 8\pi$$
This is because a curve of genus $g \geq 2$ cannot admit a flat metric (its Euler characteristic is negative), preventing the equality conditions from being met.

Example 3.3 (Sharpness and Gap)

The author constructs an explicit example $X = \mathbb{P}^1 \times C$ ($g \geq 2$) with a product metric.

• By tuning the scalar curvature of the base $C$ to be slightly negative (but keeping the total scalar curvature positive), the product $\min S_X \cdot \text{sys}_2(X)$ can be made arbitrarily close to $8\pi$ but strictly less than it.
• This demonstrates that the bound $8\pi$is sharp as a limit but not attainable for$g \geq 2$.

4. Significance

• Extension of Rigidity Results: This work successfully extends the celebrated Bray–Brendle–Neves rigidity result from 3-manifolds to a specific class of 4-manifolds (Kähler surfaces). It confirms that the geometric constraint of positive scalar curvature imposes a similar universal bound on the size of non-trivial 2-cycles in these complex geometries.
• Classification Insight: The results reinforce the classification of PSC Kähler surfaces. The inequality acts as a geometric obstruction: if a Kähler surface has a "large" systole relative to its scalar curvature, it must be topologically close to a product of a sphere and a torus (or covered by one).
• Methodological Advancement: The paper demonstrates the versatility of the level set method and Bochner techniques in complex geometry, bridging the gap between real Riemannian geometry (Stern's work) and Kähler geometry.
• Quantitative Gap: The proof provides a quantitative understanding of the "gap" away from the model case ($S^2 \times S^1$ or $\mathbb{CP}^1 \times T^2$), showing that higher genus bases strictly reduce the possible value of the systolic product.

In summary, Zehao Sha establishes that for non-rational compact Kähler surfaces with positive scalar curvature, the product of the minimum scalar curvature and the homological 2-systole is universally bounded by $8\pi$, with equality characterizing the product of a sphere and a flat torus.