A characterization of complex projective space via the Calabi curvature operator
We prove a Tachibana-type result for K\"ahler-Einstein manifolds isolating complex projective space based on its Calabi curvature operator. The proof uses a new Bochner formula expressing the Lichnerowicz curvature term via the Calabi curvature operator. This resolves one of the problems posed at the AIM workshop "The Bochner Technique'' (May 2026).