We study rigidity on certain Kähler manifolds with nonnegative Ricci curvature. Among others things, we show that a complete noncompact Kähler surface with nonnegative Ricci curvature, Euclidean volume growth and quadratic curvature decay is biholomorphic to resolution of an affine algebraic variety.
- Paper ID: 2510.10600
- Title: Complete Kähler manifolds with nonnegative Ricci curvature II
- Author: Gang Liu (East China Normal University)
- Classification: math.DG (Differential Geometry)
- Publication Date: October 12, 2025 (arXiv preprint)
- Paper Link: https://arxiv.org/abs/2510.10600
This paper investigates rigidity problems on certain Kähler manifolds with nonnegative Ricci curvature. The main results demonstrate that complete noncompact Kähler surfaces with nonnegative Ricci curvature, Euclidean volume growth, and quadratic curvature decay are biholomorphic to a resolution of an affine algebraic variety.
This work continues the author's investigation in reference 11, focusing on complete Kähler manifolds with nonnegative Ricci curvature that are not necessarily Ricci-flat. The research proceeds in two main directions:
- When the holomorphic bisectional curvature is nonnegative, establishing sharp estimates relating curvature integrals, dimensions of polynomial growth holomorphic functions, and volume
- Characterizing Ricci-flat Kähler metrics through metric tangent cones at infinity
- Inspired by Ni's problem 16 and the author's Conjecture 2 in 11 regarding uniqueness of scalar curvature integrals at infinity
- Scalar curvature integrals relate to conjectures by Yau 21, Gromov 8, and Naber 15
- Uniqueness of scalar curvature integrals has topological applications
Unlike the Ricci-flat case, the nonnegative Ricci curvature setting presents additional difficulties:
- The Q-Gorenstein condition does not guarantee that nowhere vanishing holomorphic sections can be pulled back to the manifold
- In general, ∫MRicn=∫VRicVn may not hold
- Tangent Cone Rigidity Theorem: Proves that under Q-Gorenstein assumptions, all tangent cones at infinity are Q-Gorenstein
- Curvature Integral Convergence: Establishes existence of limr→∞r2k−2n∫B(p,r)Rick∧ωn−k
- Ricci-Flat Rigidity Conditions: Provides sufficient conditions for the manifold to be Ricci-flat
- Kähler Surface Algebraicity: Proves holomorphic spectral rigidity and algebraicity of Kähler surfaces satisfying the conditions
- Scalar Curvature Integral Limits: For Kähler surfaces, establishes existence of limr→∞r−2∫B(p,r)S
Theorem 1: Let Mn(n≥2) be a complete noncompact Kähler manifold with nonnegative Ricci curvature, Euclidean volume growth, and quadratic curvature decay. If some tangent cone at infinity is Q-Gorenstein, then all tangent cones are Q-Gorenstein.
Corollaries 1-3:
- If rank(Ric)≤n−2, then M is Ricci-flat
- If rank(Ric)≤n−1 and some tangent cone is Gorenstein, then M is Ricci-flat
- For Kähler surfaces, all tangent cones have the same holomorphic spectrum, and M is biholomorphic to a resolution of an affine algebraic variety
The Q-Gorenstein condition's openness and closedness in the space of tangent cones is established through the following key steps:
Openness Proof:
- Utilizing metric regularity, cross-sections of tangent cones are homeomorphic
- Pulling back the standard form η to the standard bundle via local diffeomorphisms on Vi′∖oi
- Applying Hörmander L2 estimates to obtain nowhere vanishing sections
Closedness Proof:
- Utilizing boundedness of degree and interior gradient estimates
- Establishing closedness through Cheeger-Gromov convergence
Proposition 1 (Curvature Integral Estimates): There exists C1>0 such that for all 1≤k≤n, r>0:
r2k−2n∫B(p,r)Rick∧ωn−k<C1
Lemma 1 (Integral Relations): Modulo (2π)nZ:
knlimi→∞∫B(pi,1)Ricin=∫B(o,1)(ddclog∣Ω∣2)n
Lemma 2 (Geometric Series Property): On the tangent cone V, ∫B(o,1)(ddclog∣Ω∣2)k∧ω0n−k forms a geometric series with respect to k.
Connecting different tangent cones through ∫Ricn, while addressing additional difficulties under Q-Gorenstein conditions. Key observations:
- ∫MRicn=∫VRicVn modulo c(2π)n, where c is rational
- Since the tangent cone space is path-connected, ∫VRicVn is independent of V
- ∫BV(o,1)RicVk∧ωVn−k forms a geometric series
- Degree Control: Establishing boundedness of d/m<C(M) through Claim 1
- Poincaré-Lelong Formula: Utilizing 2πRici=2π1ddclog∣si1∣2−Di1−Ei1
- Integration by Parts: Handling terms of the form ∫χiddclog∣si1∣2∧Ricin−1
- Iterative Process: Processing all Ricci powers through n iterations
This is a pure theoretical mathematics paper with no numerical experiments. Results are established through rigorous mathematical proofs.
- Constructive proofs: Through explicit construction of holomorphic sections and application of function-theoretic tools
- Limit analysis: Utilizing Gromov-Hausdorff convergence and pointed convergence
- Integral estimates: Applying Hörmander L2 theory and elliptic regularity
Proves that under appropriate assumptions, all tangent cones at infinity possess identical geometric properties, particularly consistency of Q-Gorenstein properties.
For all k>0, establishes existence and finiteness of limr→∞r2k−2n∫B(p,r)Rick∧ωn−k.
For Kähler surfaces satisfying the conditions:
- All tangent cones possess the same holomorphic spectrum
- The manifold is biholomorphic to a resolution of an affine algebraic variety
- The scalar curvature integral limr→∞r−2∫B(p,r)S exists
- Mok 18, Liu 12, Conlon-Hein 3: Proved algebraicity under strictly positive or zero Ricci curvature assumptions
- Donaldson-Sun 7: Holomorphic spectral rigidity in the Ricci-flat case
- Liu 10: Results under nonnegative bisectional curvature
- Cheeger-Colding 1: Provides C1,α regularity of metric tangent cones
- Collins-Székelyhidi 4, Martelli-Sparks-Yau 14: Existence of homogeneous sections
- Hörmander L2 Theory: Key tool for solving ∂ˉ equations
- Establishes tangent cone rigidity theory for Kähler manifolds with nonnegative Ricci curvature
- Generalizes known algebraicity results to the more general nonnegative Ricci curvature setting
- Provides theoretical framework for higher-dimensional cases
- Dimensional Restriction: Complete results established only for surfaces (2-dimensional case)
- Geometric Assumptions: Requires Euclidean volume growth and quadratic curvature decay
- Q-Gorenstein Assumption: Requires at least one tangent cone to satisfy Q-Gorenstein condition
Problem 1: Does Corollary 3 hold in higher dimensions?
This is an important open problem requiring development of new techniques to address complexities in higher dimensions.
- Theoretical Depth: Generalizes known results from special cases to the more general nonnegative Ricci curvature setting
- Technical Innovation: Skillfully addresses technical difficulties under Q-Gorenstein conditions
- Geometric Insight: Reveals the unexpected geometric phenomenon of holomorphic spectral rigidity
- Proof Techniques: Effectively combines tools from complex geometry, differential geometry, and algebraic geometry
- Dimensional Restriction: Main results limited to the surface case
- Assumption Conditions: Requires multiple geometric assumptions, potentially limiting practical applicability
- Constructiveness: Proofs are primarily existential, lacking concrete construction methods
- Theoretical Contribution: Provides new perspectives for rigidity theory in Kähler geometry
- Methodological Value: Proof techniques may apply to other geometric problems
- Bridging Role: Establishes new connections between metric geometry and algebraic geometry
- Classification problems in complex algebraic geometry
- Study of Kähler manifolds with special curvature conditions
- Analysis of asymptotic geometry and behavior at infinity
The paper cites 22 important references, covering:
- Cheeger-Colding theory 1
- Algebraicity results in complex geometry 3,12,18
- Gromov-Hausdorff limit theory 7,13,17
- Sasaki-Einstein geometry 4,14
- Conjectures related to curvature integrals 8,15,21
Overall Assessment: This is a high-quality theoretical mathematics paper achieving significant progress in rigidity theory for Kähler geometry. Although main results are limited to the surface case, the provided technical framework and geometric insights hold substantial value for the field. The proofs are rigorous, the technical innovation is strong, and the work establishes a solid foundation for further research.