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

Basic Information

• Paper ID: 2510.13353
• Title: A 2-systolic inequality on compact Kähler surfaces with positive scalar curvature
• Author: Zehao Sha
• Classification: math.DG (Differential Geometry)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13353

Abstract

This paper establishes a 2-systolic inequality for compact Kähler surfaces with positive scalar curvature that admit a non-constant holomorphic map to a compact Riemann surface of positive genus.

Research Background and Motivation

Research Problem

This work aims to establish fundamental inequalities in systolic geometry, particularly investigating the quantitative relationship between 2-systolic invariants and positive scalar curvature on compact Kähler surfaces.

Significance of the Problem

1. Theoretical Significance: Systolic geometry studies the relationship between the minimal size of non-trivial homological cycles in Riemannian manifolds and global geometric properties, constituting a core problem in differential geometry
2. Historical Development: Builds upon pioneering work by Schoen-Yau, Bray-Brendle-Neves and others on 3-dimensional manifolds
3. Technical Challenges: Generalizing results from 3-dimensional manifolds to Kähler surfaces requires novel techniques and methods

Limitations of Existing Approaches

• The classical results of Bray-Brendle-Neves apply only to 3-dimensional manifolds
• Stern's harmonic map method primarily targets $S^1$-valued maps
• Lack of systematic research addressing the special structures of Kähler geometry

Research Motivation

Inspired by Stern's level set method, the author adapts this approach to the case of compact Kähler surfaces fibering over Riemann surfaces of positive genus, obtaining a Bray-Brendle-Neves-type homological 2-systolic inequality.

Core Contributions

1. Main Theorem: Establishes the 2-systolic inequality for compact Kähler surfaces with positive scalar curvature: $\min_X S_X \cdot \text{sys}_2(X,\omega) \leq 8\pi$
2. Rigidity Result: Completely characterizes the equality case: equality holds if and only if $X$ is isometrically covered by $\mathbb{CP}^1 \times E$
3. Technical Innovation: Successfully adapts the level set method to the Kähler geometric setting
4. Classification Application: Utilizes the complete classification of positive scalar curvature Kähler surfaces by LeBrun-Brown

Detailed Methodology

Task Definition

For a compact Kähler surface $(X,\omega)$, the 2-systolic invariant is defined as: $\text{sys}_2(X,\omega) = \inf \{\text{Vol}_\omega(Z) \mid Z \subset X \text{ embedded}, [Z] \neq 0 \in H_2(X;\mathbb{Z})\}$

The study investigates the upper bound of its product with the minimum scalar curvature $\min_X S_X$.

Core Technical Framework

1. Adaptation of the Level Set Method

Let $f: X \to C$ be a non-constant holomorphic map to a compact Riemann surface of genus $g \geq 1$. For any $z \in C$, $D_z = f^{-1}(z)$ is a Cartier divisor in $X$.

2. Key Geometric Equations

Via the adjunction formula: $\text{Ric}_D(\omega) = \text{Ric}_X(\omega)|_D$

Combined with the trace Gauss equation: $\text{Ric}_X(\omega)(\nabla^{1,0}f, \nabla^{0,1}f) = |\nabla^{1,0}f|^2(S_X(\omega) - S_D(\omega))$

3. Application of Bochner Formula

For a holomorphic map $f: (X,\omega) \to (C,\omega_0)$: $\Delta|\partial f|^2 = |\nabla\partial f|^2 + \langle\text{Ric}(\omega), f^*\omega_0\rangle - \text{tr}_\omega^2(f^*\text{Rm}(\omega_0))$

When $C$ has non-positive Gauss curvature: $\Delta|\partial f|^2 \geq |\nabla\partial f|^2 + |\nabla^{1,0}f|^2(S_X(\omega) - S_D(\omega))$

Technical Innovations

1. Exploitation of Geometric Structure: Fully utilizes the complex structure of Kähler manifolds and special properties of holomorphic maps
2. Coarea Formula: Cleverly applies the coarea formula to transform volume integrals into integrals over fibers
3. Topological Constraints: Establishes relationships between Euler characteristic and curvature via the Gauss-Bonnet formula

Main Results

Theorem 1.2 (Main Result)

Let $(X,\omega)$ be a compact Kähler surface with positive scalar curvature admitting a non-constant holomorphic map $f: X \to C$ to a compact Riemann surface of genus $g(C) \geq 1$. Then: $\min_X S_X \cdot \text{sys}_2(X,\omega) \leq 8\pi$

Equality holds if and only if $X$ is isometrically covered by $\mathbb{CP}^1 \times E$, where $E$ is an elliptic curve.

Corollary 1.3

When $g(C) \geq 2$, the strict inequality holds: $\min_X S_X \cdot \text{sys}_2(X,\omega) < 8\pi$

Core Proof Strategy

Via Lemma 2.3, for $\phi = 1$: $\int_C \left[\int_{D_z} \left(\frac{|\nabla\partial f|^2}{|\partial f|^2} + S_X\right) \omega\right] \omega_0 \leq \int_C \left(\int_{D_z} S_{D_z} \cdot \omega\right) \omega_0$

Combined with the Gauss-Bonnet formula: $4\pi \int_C \chi(D_z) \omega_0 = \int_C \left(\int_{D_z} S_{D_z} \cdot \omega\right) \omega_0$

Using $\chi(D_z) \leq 2N(z)$ and $\text{Vol}_\omega(D_z) \geq N(z) \cdot \text{sys}_2(X,\omega)$, the desired inequality is obtained.

Example Analysis

Example 3.3 (Product Surfaces)

Consider $X = \mathbb{P}^1 \times C$, where $C$ is a compact Riemann surface of genus $g \geq 2$, equipped with the product metric $\omega = \omega_{FS} \oplus \omega_C$.

Setting parameters:

• $\text{Vol}_{\omega_{FS}}(\mathbb{P}^1) = \pi$, $S_{\mathbb{P}^1} = 8$
• $S_C = -8 + \varepsilon$, where $\varepsilon \in (0,8)$

Then $S_X = \varepsilon$, $\text{sys}_2(X,\omega) = \pi$, thus: $\min_X S_X \cdot \text{sys}_2(X,\omega) = \varepsilon \pi < 8\pi$

Related Work

Historical Development

1. Schoen-Yau (1979): Proved that area-minimizing surfaces in positive scalar curvature manifolds are homeomorphic to $S^2$ or $\mathbb{RP}^2$
2. Bray-Brendle-Neves (2010): Established the $\pi_2$-systolic inequality for 3-dimensional positive scalar curvature manifolds
3. Stern (2022): Introduced the level set method for harmonic maps
4. LeBrun-Brown: Completed the classification of positive scalar curvature Kähler surfaces

Innovation of This Work

Compared to previous work, this paper is the first to generalize systolic inequalities to Kähler surfaces while fully exploiting the special structures of complex geometry.

Future Research Directions

Open Problems

Problem 4.1 (Rational Base)

For compact Kähler surfaces with positive scalar curvature admitting a non-constant holomorphic map $f: X \to \mathbb{P}^1$: $\min_X S_X \cdot \text{sys}_2(X,\omega) \leq 16\pi$

Problem 4.2 (Universal Bound)

Do all compact Kähler surfaces with positive scalar curvature satisfy: $\min_X S_X \cdot \text{sys}_2(X,\omega) \leq 16\pi$

In-Depth Evaluation

Strengths

1. Technical Innovation: Successfully generalizes techniques from 3-dimensional manifolds to Kähler surfaces with significant methodological innovations
2. Completeness of Results: Not only establishes the inequality but completely characterizes the equality case
3. Geometric Insight: Deeply reveals the relationship between systolic invariants and scalar curvature in Kähler geometry
4. Clear Exposition: Well-structured paper with clear technical exposition

Limitations

1. Scope of Applicability: Requires the assumption of existence of a holomorphic map to a positive genus surface, limiting the generality of results
2. Technical Dependence: Strongly relies on the LeBrun-Brown classification
3. Open Questions: The rational base case and universal bound problem remain unresolved

Impact Assessment

1. Theoretical Contribution: Establishes foundations for the development of systolic geometry on Kähler manifolds
2. Methodological Value: The application of level set methods in complex geometry serves as a model for future work
3. Subsequent Research: Provides technical pathways for solving more general systolic inequality problems

Applicable Scenarios

This method is particularly suitable for:

• Kähler manifolds with fibered structures
• Research on positive scalar curvature complex surfaces
• Interdisciplinary research between systolic geometry and complex geometry

References

The paper cites important literature in systolic geometry and Kähler geometry, including:

• Foundational work by Bray-Brendle-Neves on systolic inequalities for 3-dimensional manifolds
• Classification theory by LeBrun on scalar curvature of Kähler surfaces
• Innovative research by Stern on level set methods for harmonic maps

Summary: This is a highly technical differential geometry paper that successfully generalizes important results in systolic geometry to Kähler surfaces. While having certain limitations in scope of applicability, its methodological innovations and theoretical contributions are significant, establishing important foundations for further development in this field.