Constant scalar curvature Kähler metric

In

class on a compact Kähler manifold. Namely, let ${\displaystyle [\omega ]\in H_{\text{dR}}^{2}(X)}$ be a Kähler class on a compact Kähler manifold ${\displaystyle (X,\omega )}$, and let ${\displaystyle \omega _{\varphi }=\omega +i\partial {\bar {\partial }}\varphi }$ be any Kähler metric in this class, which differs from ${\displaystyle \omega }$ by the potential ${\displaystyle \varphi }$. The Calabi functional ${\displaystyle C}$ is defined by

${\displaystyle C(\omega _{\varphi })=\int _{X}S(\omega _{\varphi })^{2}\omega _{\varphi }^{n}}$

where ${\displaystyle S(\omega _{\varphi })}$ is the

Riemannian metric

to ${\displaystyle \omega _{\varphi }}$ and ${\displaystyle \dim X=n}$. This functional is essentially the norm squared of the scalar curvature for Kähler metrics in the Kähler class ${\displaystyle [\omega ]}$. Understanding the flow of this functional, the

Extremal metrics

By definition, an extremal Kähler metric is a critical point of the Calabi functional.,^[1] either local or global minimizers. In this sense extremal Kähler metrics can be seen as the best or canonical choice of Kähler metric on any compact Kähler manifold.

Constant scalar curvature Kähler metrics are examples of extremal Kähler metrics which are absolute minimizers of the Calabi functional. In this sense the Calabi functional is similar to the

In some circumstances constant scalar curvature Kähler metrics may not exist on a compact Kähler manifold, but extremal metrics may still exist. For example, some manifolds may admit Kähler–Ricci solitons, which are examples of extremal Kähler metrics, and explicit extremal metrics can be constructed in the case of surfaces.^[3]

The absolute minimizers of the Calabi functional, the constant scalar curvature metrics, can be alternatively characterised as the critical points of another functional, the

Holomorphy potentials

There is an alternative characterization of the critical points of the Calabi functional in terms of so-called holomorphy potentials.

generate automorphisms of the Kähler manifold. In other words, their gradient vector fields are holomorphic.

A holomorphy potential is a complex-valued function ${\displaystyle f:X\to \mathbb {C} }$ such that the vector field ${\displaystyle \xi }$ defined by ${\displaystyle \xi ^{j}=g^{j{\bar {k}}}\partial _{\bar {k}}f}$ is a

holomorphic vector field

, where ${\displaystyle g}$ is the Riemannian metric associated to the Kähler form, and summation here is taken with

Einstein summation notation

. The vector space of holomorphy potentials, denoted by ${\displaystyle {\mathfrak {h}}}$, can be identified with the

${\displaystyle (X,\omega )}$

A Kähler metric ${\displaystyle \omega }$ is extremal, a minimizer of the Calabi functional, if and only if the scalar curvature ${\displaystyle S(\omega )}$ is a holomorphy potential. If the scalar curvature is constant so that ${\displaystyle \omega }$ is cscK, then the associated holomorphy potential is a constant function, and the induced holomorphic vector field is the zero vector field. In particular on a Kähler manifold which admits no non-zero holomorphic vector fields, the only holomorphy potentials are constant functions and every extremal metric is a constant scalar curvature Kähler metric.

The existence of constant curvature metrics are intimately linked to obstructions arising from holomorphic vector fields, which leads to the

• Mabuchi functional
• Kähler-Einstein metric

References

• Biquard, Olivier (2006), "Métriques kählériennes à courbure scalaire constante: unicité, stabilité", Astérisque, Séminaire Bourbaki. Vol. 2004/2005 Exp. No. 938 (307): 1–31,
  MR 2296414
• Donaldson, S. K. (2001), "Scalar curvature and projective embeddings. I", Journal of Differential Geometry, 59 (3): 479–522,
  MR 1916953
• Donaldson, S. K. (2002), "Scalar curvature and stability of toric varieties", Journal of Differential Geometry, 62 (2): 289–349,
  MR 1988506