Calabi Curvature Operator Characterizes Complex Projective Space

Complex projective space is the standard positive-curvature model in Kähler geometry, but proving that a curvature condition forces this model is usually difficult. The condition must control more than an individual sectional or Ricci curvature value: it must eliminate the tensorial degrees of freedom that distinguish a general Kähler–Einstein metric from the Fubini–Study metric. This paper gives such a criterion through the Calabi curvature operator and resolves a problem posed at the May 2026 AIM workshop on the Bochner technique.

Core Contribution

The paper proves a Tachibana-type rigidity theorem for Kähler–Einstein manifolds. Under its stated strict positivity condition on a shifted Calabi curvature operator, the authors show that the Bochner tensor vanishes. The non-flat classification then identifies the manifold with complex projective space.

The substantive contribution is not merely another pinching condition. The authors derive a new Bochner formula expressing the relevant Lichnerowicz curvature term using the Calabi curvature operator. That connection allows positivity of the Calabi operator to control the Bochner tensor through a differential inequality. Previous rigidity arguments can require a sign condition on a Lichnerowicz-type term directly; here, the Calabi operator supplies that sign after a nontrivial algebraic reduction.

Technical Approach

The proof focuses on the Bochner tensor $B$, the curvature component that measures the departure from the constant-holomorphic-sectional-curvature model in this Kähler–Einstein setting. The new formula rewrites the curvature contribution in the Bochner identity in terms of the Calabi operator, together with contractions involving $B$ and a suitable eigentensor $S$.

The final step is geometric rather than analytic. Once the Bochner tensor is zero, the Kähler–Einstein metric has the curvature structure of a complex space form. The proof excludes the flat alternative under the paper's positive setting and obtains complex projective space. The authors also point out that this maximum-principle route avoids an otherwise direct verification using a full curvature table.

Results and Analysis

The evidence is a mathematical proof, supplemented by algebraic examples that test the constants used in the proof. There is no empirical evaluation, and none is needed for the theorem's central claim. Its force depends instead on whether the Bochner identity, the tensor inequalities, and the classification argument close without a gap.

That analysis supports a restrained interpretation. The paper establishes a clean sufficient condition for rigidity and provides evidence that its underlying algebraic constants are not easily sharpened by looking only at the same tensor data. It does not show that every natural nonnegative Calabi-operator condition characterizes projective space. Indeed, the discussion of products, quadrics, and a weaker conjectural condition makes clear that the boundary between strict and weak positivity remains the harder question.

Scope and Caveats

The theorem is specialized to Kähler–Einstein manifolds and to the paper's particular shifted Calabi-operator positivity hypothesis. It is therefore most directly relevant to researchers studying curvature pinching, Bochner methods, and rigidity of Kähler metrics. The result is a precise addition to that toolkit: it supplies a route from Calabi-operator information to Bochner-tensor vanishing, but it does not replace broader classification results under weaker curvature assumptions.