It is well known that any 4-dimensional hyperkahler metric with two commuting Killing fields may be obtained explicitly, via the Gibbons-Hawking Ansatz, from a harmonic function invariant under a Killing field on R^3. In this paper, we find all selfdual Einstein metrics of nonzero scalar curvature with two commuting Killing fields. They are given explicitly in terms of a local eigenfunction of the Laplacian on the hyperbolic plane. We discuss the relation of this construction to a class of selfdual spaces found by Joyce, and some Einstein-Weyl spaces found by Ward, and then show that certain `multipole' hyperbolic eigenfunctions yield explicit formulae for the quaternion-kahler quotients of HP(m-1) by an (m-2)-torus first studied by Galicki and Lawson. As a consequence we are able to place the well-known cohomogeneity one metrics, the quaternion-kahler quotients of HP(2) (and noncompact analogues), and the more recently studied selfdual Einstein hermitian metrics in a unified framework, and give new complete examples.
Weyl derivatives, Weyl-Lie derivatives and conformal submersions are defined, then used to generalize the Jones-Tod correspondence between selfdual 4-manifolds with symmetry and Einstein-Weyl 3-manifolds with an abelian monopole. In this generalization, the conformal symmetry is replaced by a particular kind of conformal submersion with one dimensional fibres. Special cases are studied in which the conformal submersion is holomorphic, affine, or projective. All scalar-flat Kahler metrics with such a holomorphic conformal submersion, and all four dimensional hypercomplex structures with a compa…
We prove that any compact selfdual Einstein 4-orbifold of positive scalar curvature whose isometry group contains a 2-torus is, up to an orbifold covering, a quaternion Kaehler quotient of (k-1)-dimensional quaternionic projective space by a (k-2)-torus for some $k\geq 2$. We also obtain a topological classification in terms of the intersection form of the 4-orbifold.
We study the Jones and Tod correspondence between selfdual conformal 4-manifolds with a conformal vector field and abelian monopoles on Einstein-Weyl 3-manifolds, and prove that invariant complex structures correspond to shear-free geodesic congruences. Such congruences exist in abundance and so provide a tool for constructing interesting selfdual geometries with symmetry, unifying the theories of scalar-flat Kahler metrics and hypercomplex structures with symmetry. We also show that in the presence of such a congruence, the Einstein-Weyl equation is equivalent to a pair of coupled monopole eq…
We study Kahler surfaces with harmonic anti-selfdual Weyl tensor. We provide an explicit local description, which we use to obtain the complete classification in the compact case. We give new examples of extremal Kahler metrics, including Kahler-Einstein metrics and conformally Einstein Kahler metrics. We also extend some of our results to almost Kahler 4-manifolds, providing new examples of Ricci-flat almost Kahler metrics which are not Kahler.
We observe inequalities involving the Herzlich volume of a 4-dimensional asymptotically complex hyperbolic Einstein manifold and its Euler characteristic provided the metrics is either Kaehler or selfdual. In the selfdual case we have to assume furthermore that the Kronheimer-Mrowka invariant is non vanishing.
We obtain explicitly all solutions of the SU(infinity) Toda field equation with the property that the associated Einstein-Weyl space admits a 2-sphere of divergence-free shear-free geodesic congruences. The solutions depend on an arbitrary holomorphic function and give rise to new hyperKahler and selfdual Einstein metrics with one dimensional isometry group. These metrics each admit a compatible hypercomplex structure with respect to which the symmetries are triholomorphic.
A conformal metric on a 4-ball induces on the boundary 3-sphere a conformal metric and a trace-free second fundamental form. Conversely, such a data on the 3-sphere is the boundary of a unique selfdual conformal metric, defined in a neighborhood of the sphere. In this paper we characterize the conformal metrics and trace-free second fundamental forms on the 3-sphere (close to the standard round metric) which are boundaries of selfdual conformal metrics on the whole 4-ball. When the data on the boundary is reduced to a conformal metric (the trace-free part of the second fundamental form vanishe…
Any strictly pseudoconvex domain in C2 carries a complete Kahler-Einstein metric, the Cheng-Yau metric, with ``conformal infinity'' the CR structure of the boundary. It is well known that not all CR structures on the 3-sphere arise in this way. In this paper, we study CR structures on the 3-sphere satisfying a different filling condition: boundaries at infinity of (complete) selfdual Einstein metrics. We prove that (modulo contactomorphisms) they form an infinite dimensional manifold, transverse to the space of CR structures which are boundaries of complex domains (and therefore of Kahler-Eins…
We present a local classification of conformally equivalent but oppositely oriented 4-dimensional Kaehler metrics which are toric with respect to a common 2-torus action. In the generic case, these "ambitoric" structures have an intriguing local geometry depending on a quadratic polynomial q and arbitrary functions A and B of one variable. We use this description to classify Einstein 4-metrics which are hermitian with respect to both orientations, as well a class of solutions to the Einstein-Maxwell equations including riemannian analogues of the Plebanski-Demianski metrics. Our classification…
On a 3-manifold bounding a compact 4-manifold, let a conformal structure be induced from a complete Einstein metric which conformally compactifies to a Kähler metric. Formulas are derived for the eta invariant of this conformal structure under additional assumptions. One such assumption is that the Kähler metric admits a special Kähler-Ricci potential in the sense defined by Derdzinski and Maschler. Another is that the Kähler metric is part of an ambitoric structure, in the sense defined by Apostolov, Calderbank and Gauduchon, as well as a toric one. The formulas are derived using the Duisterm…
In this paper we show that the convergence of complete Kahler-Einstein hypersurfaces in complex torus in the sense of Cheeger-Gromov will canonically degenerate the underlying manifolds into "pair of pants" decomposition. We also construct minimal Lagrangian tori that represent the vanishing cycles of the degeneration.
We consider sphere bundles P and P' of totally null planes of maximal dimension and opposite self-duality over a 4-dimensional manifold equipped with a Weyl or Riemannian geometry. The fibre product PP' of P and P' is found to be appropriate for the encoding of both the selfdual and the Einstein-Weyl equations for the 4-metric. This encoding is realized in terms of the properties of certain well defined geometrical objects on PP'. The formulation is suitable for both complex- and real-valued metrics. It unifies results for all three possible real signatures. In the purely Riemannian positive d…
We construct a new example of an A-manifold, i.e. a Riemannian manifold with a cyclic-parallel Ricci tensor, which can be viewed as a generalization of the Einstein condition. The underlying manifold for our construction is a principal torus bundle over Kähler-Einstein manifold a with fibre a torus of arbitrary dimension.
We give an explicit local classification of conformally equivalent but oppositely oriented Kaehler metrics on a 4-manifold which are toric with respect to a common 2-torus action. In the generic case, these structures have an intriguing local geometry depending on a quadratic polynomial and two arbitrary functions of one variable, these two functions being explicit degree 4 polynomials when the Kaehler metrics are extremal (in the sense of Calabi). One motivation for and application of this result is an explicit local description of Einstein 4-manifolds which are hermitian with respect to eith…
We show the non-positivity of the Einstein-Hilbert action for conformal flat Riemannian metrics. The action vanishes only when the metric is constant flat. This recovers an earlier result of Fathizadeh-Khalkhali in the setting of spectral triples on noncommutative four-torus. Furthermore, computations of the gradient flow and the scalar curvature of this space based on modular operator are given. We also show the Gauss-Bonnet theorem for a parametrized class of non-diagonal metrics on noncommutative two-torus.
In this paper we use structure preserving torus actions on Kahler-Einstein manifolds to construct minimal Lagrangian submanifolds. Our main result is: Let N^2n be a Kahler-Einstein manifold with positive scalar curvature with an effective T^n-action. Then precisely one regular orbit L of the T-action is a minimal Lagrangian submanifold of N. Moreover there is an (n-1)-torus T^n-1 in T^n and a sequence of non-flat immersed minimal Lagrangian tori L_k in N, invariant under T^n-1 s.t. L_k locally converge to L (in particular the supremum of the sectional curvatures of L_k and the distance between…
Metrics of exceptional holonomy are vacuum solutions to the Einstein equation. In this paper we describe manifolds with holonomy contained in Spin(7) preserved by a three-torus symmetry in terms of tri-symplectic geometry of four-manifolds. These complement examples that have appeared in the context of domain wall problems in supergravity.
In this paper we compute the Ricci flow formulas for invariant metrics on prinicpal $G$-bundles compatible with the connection. Our primary focus is on torus bundles which we use to study a notion of Bakry-Émery Ricci flow as well as Ricci flow on circle bundles over Kähler-Einstein manifolds. The latter application gives us solutions to Ricci flows on Heisenberg groups and implicit solutions to Ricci flows on Berger 3-spheres and several other 3-dimensional manifolds.
We consider compact complex surfaces with Hermitian metrics which are Einstein but not Kaehler. It is shown that the manifold must be CP2 blown up at 1,2, or 3 points, and the isometry group of the metric must contain a 2-torus. Thus the Page metric on CP2#(-CP2) is almost the only metric of this type.
We construct Einstein metrics of non-positive scalar curvature on certain solid torus bundles over a Fano Kahler-Einstein manifold. We show, among other things, that the negative Einstein metrics are conformally compact, and the Ricci-flat metrics have slower-than-Euclidean volume growth and quadratic curvature decay. Also we construct positive Einstein metrics on certain 3-sphere bundles over a Fano Kahler-Einstein manifold. We classify the homeomorphism and diffeomorphism types of the total spaces when the base is the complex projective plane.
We relate the global log canonical threshold of a variety with torus action to the global log canonical threshold of its quotient. We apply this to certain Fano varieties and use Tian's criterion to prove the existence of Kahler-Einstein metrics on them. In particular, we obtain simple examples of Fano threefolds being Kahler-Einstein but admitting deformations without Kahler-Einstein metric.
We present a new infinite class of near-horizon geometries of degenerate horizons, satisfying Einstein's equations for all odd dimensions greater than five. The symmetry and topology of these solutions is compatible with those of black holes. The simplest examples give horizons of spatial topology S^3xS^2 or the non-trivial S^3-bundle over S^2. More generally, the horizons are Lens space bundles associated to certain principal torus-bundles over Fano Kaehler-Einstein manifolds. We also consider the classification problem for Einstein metrics on such Lens space bundles and derive a family which…
We generalize the circle bundle examples of ancient solutions of the Ricci flow discovered by Bakas, Kong, and Ni to a class of principal torus bundles over an arbitrary finite product of Fano Kähler-Einstein manifolds studied by Wang and Ziller in the context of Einstein geometry. As a result, continuous families of $κ$-collapsed and $κ$-noncollapsed ancient solutions of type I are obtained on circle bundles for all odd dimensions $\geq 7$. In dimension $7$ such examples moreover exist on pairs of homeomorphic but not diffeomorphic manifolds. Continuous families of $κ$-collapsed ancient solut…
Let $X$ be any $\mathbb{Q}$-Fano variety and $\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ be a connected reductive subgroup of $\mathrm{Aut}(X)_0$ that contains a maximal torus of $\mathrm{Aut}(X)_0$. We prove that $X$ admits a Kähler-Einstein metric if and only if $X$ is $\mathbb{G}$-uniformly K-stable. This proves a version of Yau-Tian-Donaldson conjecture for arbitrary singular Fano varieties. A key new ingredient is a valuative criterion for $\mathbb{G}$-uniform K-stability.
This paper is concerned with the construction of special metrics on non-compact 4-manifolds which arise as resolutions of complex orbifold singularities. Our study is close in spirit to the construction of the hyperkaehler gravitational instantons, but we focus on a different class of singularities. We show that any resolution X of an isolated cyclic quotient singularity admits a complete scalar-flat Kaehler metric (which is hyperkaehler if and only if c_1(X)=0), and that if c_1(X)<0 then X also admits a complete (non-Kaehler) self-dual Einstein metric of negative scalar curvature. In particul…
Let $X$ be a complex toric Fano $n$-fold and ${\cal N}(T)$ the normalizer of a maximal torus $T$ in the group of biholomorphic authomorphisms $Aut(X)$. We call $X$ {\em symmetric} if the trivial character is a single ${\cal N}(T)$-invariant algebraic character of $T$. Using an invariant $α_G(X)$ introduced by Tian, we show that all symmetric toric Fano $n$-folds admit an Einstein-Kähler metric. We remark that so far one doesn't know any example of a toric Fano $n$-fold $X$ such that $Aut(X)$ is reductive, the Futaki character of $X$ vanishes, but $X$ is not symmetric.
The scalar curvature for the noncommutative four torus $\mathbb{T}_Θ^4$, where its flat geometry is conformally perturbed by a Weyl factor, is computed by making the use of a noncommutative residue that involves integration over the 3-sphere. This method is more convenient since it does not require the rearrangement lemma and it is advantageous as it explains the simplicity of the final functions of one and two variables, which describe the curvature with the help of a modular automorphism. In particular, it readily allows to write the function of two variables as the sum of a finite differenc…
Let $L$ be a negative holomorphic line bundle over an $(n-1)$-dimensional complex torus $D$. Let $h$ be a Hermitian metric on $L$ such that the curvature form of the dual Hermitian metric defines a flat Kähler metric on $D$. Then $h$ is unique up to scaling, and, for some closed tubular neighborhood $V$ of the zero section $D \subset L$, the form $ω_h = -(n+1)i\partial\overline\partial\log(-{\log h})$ defines a complete Kähler-Einstein metric on $V \setminus D$ with ${\rm Ric}(ω_h) = -ω_h$. In fact, $ω_h$ is complex hyperbolic, i.e., the holomorphic sectional curvature of $ω_h$ is constant, an…
We provide an explicit resolution of the Abreu equation on convex labeled quadrilaterals. This confirms a conjecture of Donaldson in this particular case and implies a complete classification of the explicit toric Kähler-Einstein and toric Sasaki-Einstein metrics constructed in [6,22,14]. As a byproduct, we obtain a wealth of extremal toric (complex) orbi-surfaces, including Kähler-Einstein ones, and show that for a toric orbi-surface with 4 fixed points of the torus action, the vanishing of the Futaki invariant is a necessary and sufficient condition for the existence of Kähler metric with co…
In this paper, we first show an interpretation of the Kähler-Ricci flow on a manifold $X$ as an exact elliptic equation of Einstein type on a manifold $M$ of which $X$ is one of the (Kähler) symplectic reductions via a (non-trivial) torus action. There are plenty of such manifolds (e.g. any line bundle on $X$ will do). Such an equation is called $V$-soliton equation, which can be regarded as a generalization of Kähler-Einstein equations or Kähler-Ricci solitons. As in the case of Kähler-Einstein metrics, we can also reduce the $V$-soliton equation to a scalar equation on Kähler potentials, whi…
We consider the stability of Sasaki-extremal metrics under deformations of the complex structure on the Reeb foliation. Given such a deformation preserving the action of a compact subgroup of the automorphism group of a Sasaki-extremal structure, a sufficient condition is given involving the nondegeneracy of the relative Futaki invariant for the deformations to contain Sasaki-extremal structures. Deformations of Sasaki-Einstein metrics are also considered, where it suffices that the deformation preserve a maximal torus. As an application, new families of Sasaki-Einstein and Sasaki-extremal met…
The classification of solutions of the static vacuum Einstein equations, on a given closed manifold or an asymptotically flat one, is a long-standing and much-studied problem. Solutions are characterized by a complete Riemannian $n$-manifold $(M,g)$ and a positive function $N$, called the lapse. We study this problem on Asymptotically Poincaré-Einstein $n$-manifolds, $n\ge 3$, when the conformal boundary-at-infinity is either a round sphere, a flat torus or smooth quotient thereof, or a compact hyperbolic manifold. Such manifolds have well-defined Wang mass, and are time-symmetric slices of st…
