What it is
A metric is Ricci-flat if Ric(g)=0. These are the Einstein metrics with zero Einstein constant and the stationary points of the unnormalized Ricci flow ∂tg=−2Ric. Flat tori are the simplest examples. The rest come almost entirely from special holonomy:
- Calabi–Yau metrics. Yau's solution of the Calabi conjecture (1978) gives a unique Ricci-flat Kähler metric in each Kähler class of a compact Kähler manifold with c1=0. Cao reproved this with the Kähler–Ricci flow, which converges to that metric.
- Hyperkähler metrics, such as those on K3 surfaces, and the non-compact ALE gravitational instantons that Kronheimer constructed as hyperkähler quotients.
- Exceptional holonomy G2 and Spin(7), in dimensions 7 and 8, constructed by Joyce.
Whether every compact simply connected Ricci-flat manifold has special holonomy is a long-standing open question.
Why it matters
Ricci-flat metrics are among the simplest long-time limits of Ricci flow, so their stability is a basic question. Guenther, Isenberg and Knopf studied the flow near Ricci-flat metrics. Šešum proved that a linearly stable, integrable compact Ricci-flat metric is dynamically stable. Haslhofer and Müller proved that a compact Ricci-flat metric is dynamically stable exactly when it locally maximizes Perelman's λ-functional; when it does not, an ancient flow emerges from it. Deruelle and Kröncke extended stability to ALE Ricci-flat manifolds, including ALE Calabi–Yau ones. Ricci flow is also an algorithm: Headrick and Wiseman used it to compute the Ricci-flat metric on a K3 surface numerically, for which no formula is known.
Where it stands
Active directions include stability of non-compact Ricci-flat metrics with other asymptotics, Ricci-flat cones as singularity models, degenerations of Calabi–Yau metrics (collapsing and the SYZ picture), and numerical Calabi–Yau metrics for string theory (see physics). For the Kähler–Einstein side, see Kähler–Einstein and K-stability; for Einstein metrics with non-zero constant, Einstein metrics.