Einstein four-manifolds of three-nonnegative curvature operator

摘要

In this paper we prove that Einstein four-manifolds of 3-positive curvature operator are isometric to (S-4, g(0)) or (CP2, g(FS)), and Einstein four-manifolds of 3-nonnegative curvature operator are isometric to (S-4, g(0)), (CP2, g(FS)), or (S-2 x S-2, g(0) circle plus g(0)), up to rescaling. We also prove that the first eigenvalue of the Laplace operator for Einstein four-manifolds with Ric = g and nonnegative sectional curvature is bounded above by 4/3+4(1/3). The basic idea of the proofs is to construct an "integrated subharmonic function", and the main ingredients of the proofs are curvature decompositions (in particular Berger decomposition), the Weitzenbock formula, and the refined Kato inequality. Along with the proofs, wealso discover an alternative proof for the Weitzenbock formula using Berger decomposition, and an alternative proof for the refined Kato inequality using Derdzinski's argument.