The CR geometry of weighted extremal Kähler and Sasaki metrics

DOI10.1007/S00208-020-02095-1MaRDI QIDQ2664149zbMATH OpenOpenAlexFDO

Authors David M. J. Calderbank, Vestislav Apostolov

Publication date 20 April 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.10618

contact Lie algebra extremal Kähler metric Jacobi bracket Killing vector field Sasaki manifold Sasaki-Reeb quotient

CR manifolds as boundaries of domains (32V15) Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25) Global differential geometry of Hermitian and Kählerian manifolds (53C55)

Abstract: We establish an equivalence between conformally Einstein--Maxwell Kahler 4-manifolds (recently studied in many works) and extremal Kahler 4-manifolds (in the sense of Calabi) with nowhere vanishing scalar curvature. The corresponding pairs of Kahler metrics arise as transversal Kahler structures of Sasaki metrics compatible with the same CR structure and having commuting Sasaki--Reeb vector fields. This correspondence extends to higher dimensions using the notion of a weighted extremal Kahler metric, illuminating and uniting several explicit constructions in Kahler and Sasaki geometry. It also leads to new existence and non-existence results for extremal Sasaki metrics, suggesting a link between notions of relative weighted K-stability for a polarized variety, and relative K-stability of the Kahler cone corresponding to a Sasaki polarization.

Review text

Let \((M,g,J)\) be a Kähler manifold with scalar curvature \(\mathrm{Scal}(g)\), i.e., the trace of the Ricci curvature tensor, and \(\nabla_g\) the gradient operator w.r.t. the metric \(g\). We say that \(g\) is an extremal Kähler metric if \(K=J\nabla_g\mathrm{Scal}(g)\) is a Killing vector field for \(g\), i.e. \(\mathcal{L}_{K}(g)=0\). Let \(f\) be a function on \(M\) and \(\nu\) be a real number. The \((f,\nu)\)-\(scalar\ curvature\) of \(g\) is defined as \(\mathrm{Scal}_{f,\nu}(g)=f^2\mathrm{Scal}(g)-2(\nu-1)f\Delta_gf-\nu(\nu-1)|df|^2_g\) where \(\Delta_g\) (resp. \(|\cdot|_g\)) stands for the Laplacian operator on \(M\) (resp. the norm w.r.t \(g\)). We say that \(g\) is \((f,\nu)\)-\(extremal\) if \(\mathrm{Scal}_{f,\nu}(g)\) is a Hamiltonian for a Killing vector field of \(g\). Let \((N,D)\) be a contact \((2m+1)\)-manifold and \({\mathfrak{con}}(N,D)\) \(\big(\)resp. \({\mathfrak{con}}_+(N,D)\big)\) its contact Lie algebra of sections (resp. positive sections) of \(TN/D\) under the Jacobi bracket \([\xi,\mathcal{X}]=\eta_{\mathcal{D}}([X_\xi,X_{\mathcal{X}}])=\mathcal{L}_{X_\xi}\mathcal{X} =-\mathcal{L}_{X_\mathcal{X}}\xi\) such that \(\eta_{\mathcal{D}}\) is a map from the set of contact vector fields \(\big(\)the set of vector fields \(X\) such that \(\mathcal{L}_X(C_N^\infty(D))\subset C_N^\infty(D)\big)\) to the set of sections of the quotient space \(TN/D\) and the inverse of \(\eta_{D}\) is defined as \(\xi\to X_\xi\), a first-order differential operator. Let \({\mathfrak{cr}}(N,D,J)\) be the kernel of the linear differential operator \(\xi\to\mathcal{L}_{X_\xi}J\) which is defined on \({\mathfrak{con}}(N,D)\). The Sasaki cone is defined by \({\mathfrak{cr}}_+(N,D,J)={\mathfrak{cr}}(N,D,J)\cap{\mathfrak{con}}_+(N,D)\). The main result is stated as follows: Let \((N,D,J)\) be a \(CR\ (2m+1)\)-manifold endowed with the Sasaki cone \({\mathfrak{cr}}_+(N,D,J)\). Then for \((\mathcal{X},\xi)\in [{\mathfrak{cr}}_+(N,D,J)]^2\) satisfying \([\mathcal{X},\xi]=0\), the authors state that \((N,D,J,\mathcal{X})\) (the Sasaki manifold) is \((\xi,m+2)\)-extremal (Definition 3) if and only if \((N,D,J,\xi)\) is extremal (Theorem 1).

Recommendations

Cites work

Cited in

(19)

This page was built for publication: The CR geometry of weighted extremal Kähler and Sasaki metrics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664149)