Volume minimization and conformally Kähler, Einstein-Maxwell geometry

From MaRDI portal
Publication:1712759



Abstract: Let M be a compact complex manifold admitting a K"ahler structure. A conformally K"ahler, Einstein-Maxwell metric (cKEM metric for short) is a Hermitian metric ildeg on M with constant scalar curvature such that there is a positive smooth function f with g=f2ildeg being a K"ahler metric and f being a Killing Hamiltonian potential with respect to g. Fixing a K"ahler class, we characterize such Killing vector fields whose Hamiltonian function f with respect to some K"ahler metric g in the fixed K"ahler class gives a cKEM metric ildeg=f−2g. The characterization is described in terms of critical points of certain volume functional. The conceptual idea is similar to the cases of K"ahler-Ricci solitons and Sasaki-Einstein metrics in that the derivative of the volume functional gives rise to a natural obstruction to the existence of cKEM metrics. However, unlike the K"ahler-Ricci soliton case and Sasaki-Einstein case, the functional is neither convex nor proper in general, and often has more than one critical points. The last observation matches well with the ambitoric examples studied earlier by LeBrun and Apostolov-Maschler.


In this technical article, the authors construct so-called conformally Kähler Einstein-Maxwell metrics on compact manifolds by finding the critical points of a certain volume functional. More precisely, let \((M,g)\) be a compact Kähler manifold with its induced almost complex tensor field \(J\). Then, a \(J\)-Hermitian manifold \((M,\tilde{g})\) is called a \textit{conformally Kähler Einstein-Maxwell} (cKEM) manifold if (i) there exists a positive smooth function \(f\) on \(M\) such that \(g=f^2\tilde{g}\); (ii) the Hamiltonian vector field \(K:=J\mathrm{grad}_gf\) is Killing for both \(g\) and \(\tilde{g}\); (iii) the scalar curvature of \(\tilde{g}\) is constant. (Regarding terminology, one can demonstrate that in four dimensions, out of a cKEM manifold one can obtain a solution of the Riemannian Einstein-Maxwell equations.) Let \(G\subset \mathrm{Aut}_r(M,g)\) be a compact subgroup of the group of reduced automorphisms of \((M,g)\), with Lie algebra \({\mathfrak g}\). Then, to every pair \((K,a)\in {\mathfrak g}\times{\mathbb R}\) one can construct a certain metric \(\tilde{g}_{K,a}\) on \(M\) and an associated functional on \({\mathfrak g}\times{\mathbb R}\) given by \((K,a)\mapsto \mathrm{Vol}(M, \tilde{g}_{K,a})\). The main result of the paper is that cKEM metrics are critical points of this functional and a point \((K,a)\) is a critical point if and only if its so-called cKEM-Futaki invariant vanishes (see Theorem 1.1 and Section 1 for further explanations). Section 2 contains the proof of the main result while Sections 3 and 4 are devoted to explicit examples of non-Kähler cKEM metrics and some computations with them.











This page was built for publication: Volume minimization and conformally Kähler, Einstein-Maxwell geometry

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