On Positively Curved Einstein Four-Manifolds with Euler Characteristic at Most Three

Liang Cheng

In the authors' words

It is conjectured that a complete, orientable Einstein four-manifold with strictly positive sectional curvature must be isometric to either the round four-sphere $S^{4}$ or the complex projective plane $CP^{2}$ with the Fubini--Study metric. In this paper, we confirm this conjecture when the manifold is homeomorphic to $S^{4}$ or $CP^{2}$ . More precisely, we show that a complete, orientable Einstein four-manifold $M$ with strictly positive sectional curvature and Euler characteristic $χ (M) \leq 3$ (equivalently, by Freedman's classification theorem, homeomorphic to $S^{4}$ or $CP^{2}$ ) is isometric to either the round $S^{4}$ or the Fubini--Study $CP^{2}$ . As an application, we obtain that a complete, orientable Einstein four-manifold with strictly positive sectional curvature admitting a nontrivial Killing field is isometric to either the round $S^{4}$ or the Fubini--Study $CP^{2}$ .

Main resultLimitation the authors admit

On Positively Curved Einstein Four-Manifolds with Euler Characteristic at Most Three

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding