Higher order obstructions to the desingularization of Einstein metrics
Tristan Ozuch
备注：
2 figures, 50 pages. V2: added results for stable Ricci-flat metrics and corrected some typos. V3: got rid of technical assumptions on the infinitesimal deformations of the orbifold
We find new obstructions to the desingularization of compact Einstein orbifolds by smooth Einstein metrics. These new obstructions, specific to the compact situation, raise the question of whether a compact Einstein $4$-orbifold which is limit of Einstein metrics bubbling out Eguchi-Hanson metrics has to be Kähler. We then test these obstructions to discuss if it is possible to produce a Ricci-flat but not Kähler metric by the most promising desingularization configuration proposed by Page in 1981. We identify $84$ obstructions which, once compared to the $57$ degrees of freedom, indicate that almost all flat orbifold metrics on $\mathbb{T}^4/\mathbb{Z}_2$ should not be limit of Ricci-flat metrics with generic holonomy while bubbling out Eguchi-Hanson metrics. Perhaps surprisingly, in the most symmetric situation, we also identify a $14$-dimensional family of desingularizations satisfying all of our $84$ obstructions.
We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for deformations of conically singular coassociative 4-folds, and thus relate them to the stability of the singularities. We use our results to describe the relationship between moduli spaces of coassociative 4-folds with conical singularities and those of their desingularizations. We als…
We study the question of the integrability of Einstein deformations and relate it to the question of the desingularization of Einstein metrics. Our main application is a negative answer to the long-standing question of whether or not every Einstein $4$-orbifold (which is an Einstein metric space in a synthetic sense) is limit of smooth Einstein $4$-manifolds. We more precisely show that spherical and hyperbolic $4$-orbifolds with the simplest singularities cannot be Gromov-Hausdorff limits of smooth Einstein $4$-metrics without relying on previous integrability assumptions. For this, we analyz…
We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth special Lagrangians. We also use soft methods from symplectic geometry (the relative version of the h--principle) and tools from algebraic topology to prove (both positive and negative) results about Lagrangian desingularizations of Lagrangian submanifolds with isolated singulariti…
Consider an Einstein orbifold $(M_0,g_0)$ of real dimension $2n$ having a singularity with orbifold group the cyclic group of order $n$ in ${\rm{SU}}(n)$ which is generated by an $n$th root of unity times the identity. Existence of a Ricci-flat Kähler ALE metric with this group at infinity was shown by Calabi. There is a natural "approximate" Einstein metric on the desingularization of $M_0$ obtained by replacing a small neighborhood of the singular point of the orbifold with a scaled and truncated Calabi metric. In this paper, we identify the first obstruction to perturbing this approximate E…
This is the fourth in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first paper math.DG/0211294 studied the regularity of X near its singular points, and the second m…
In this second article, we prove that any desingularization in the Gromov-Hausdorff sense of an Einstein orbifold is the result of a gluing-perturbation procedure that we develop. This builds on our first paper where we proved that a Gromov-Hausdorff convergence implied a much stronger convergence in suitable weighted Hölder spaces, in which the analysis of the present paper takes place. The description of Einstein metrics as the result of a gluing-perturbation procedure also sheds light on the local structure of the moduli space of Einstein metrics near its boundary. More importantly here, we…
We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the overlap glueing region enables us to use a result of Joyce to conclude that the resulting compact smooth 7-manifold admits a torsion-free G_2 structure, with full G_2 holonomy. There are topological obstructions for this procedure to work, which arise from the degree 3 and degree 4 cohomology of the asymptotically conical G_2 manifolds which are glued in at each c…
We prove that desingularizations of non degenerate Poincaré-Einstein metrics with A1 singularities remain non degenerate. In principle this enables a recursive procedure to desingularize the other Fuchsian singularities. We illustrate this procedure by the A2 case.
We obtain a residue formula for an obstruction to the existence of coupled Kähler-Einstein metrics described by Futaki-Zhang. We apply it to an example studied separately by Futaki and Hultgren which is a toric Fano manifold with reductive automorphism, does not admit a Kähler-Einstein metric but still admits coupled Kähler-Einstein metrics.
We present a global conformal invariant on closed six-manifolds which obstructs the existence of a conformally Einstein metric. We show that this obstruction is nontrivial and, up to multiplication by a constant, is the unique such invariant. This also gives rise to a (possibly trivial) diffeomorphism invariant which obstructs the existence of an Einstein metric. We also discuss global conformal invariants which obstruct the existence of a conformally Einstein metric on closed six-manifolds with infinite fundamental group.
It is shown that the existence of an $ω$-compatible Einstein metric on a compact symplectic manifold $(M,ω)$ imposes certain restrictions on the symplectic Chern numbers. Examples of symplectic manifolds which do not satisfy these restrictions are given. The results offer partial support to a conjecture of Goldberg.
A theorem of Anderson and Bando-Kasue-Nakajima from 1989 states that to compactify the set of normalized Einstein metrics with a lower bound on the volume and an upper bound on the diameter in the Gromov-Hausdorff sense, one has to add singular spaces called Einstein orbifolds, and the singularities form as blow-downs of Ricci-flat ALE spaces. This raises some natural issues, in particular: can all Einstein orbifolds be Gromov-Hausdorff limits of smooth Einstein manifolds? Can we describe more precisely the smooth Einstein metrics close to a given singular one? In this first paper, we prove th…
Using the tractor calculus to study smooth metric measure spaces, we adapt results of Gover and Nurowski to give sharp metric obstructions to the existence of quasi-Einstein metrics on suitably generic manifolds. We do this by introducing an analogue of the Weyl tractor $W$ to the setting of smooth metric measure spaces. The obstructions we obtain can be realized as tensorial invariants which are polynomial in the Riemann curvature tensor and its divergence. By taking suitable limits of their tensorial forms, we then find obstructions to the existence of static potentials, generalizing to high…
We find a new obstruction for a real Einstein 4-orbifold with an A1-singularity to be a limit of smooth Einstein 4-manifolds. The obstruction is a curvature condition at the singular point. For asymptotically hyperbolic metrics, with boundary at infinity a conformal metric, we prove that if the obstruction vanishes, one can desingularize Einstein orbifolds with such singularities. The Dirichlet problem consists in finding Einstein metrics with given conformal infinity on the boundary: we prove that our obstruction defines a wall in the space of conformal metrics on the boundary, and that all t…
This is the third in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302356, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first two papers math.DG/0211294, math.DG/0211295 studied the regularity of X near its singular poi…
There is an obstruction to the existence of Kähler -Einstein metrics which is used to define the GIT weight for K-stability, and it has been extended to various geometric problems. This survey paper considers such extended obstructions to the existence problem of Kähler -Ricci solitons, Sasaki-Einstein metrics and (conformally) Einstein-Maxwell Kähler metrics. These three cases have a common feature that the obstructions are parametrized by a space of vector fields. We see, in these three cases, the obstructions are obtained as the derivative of suitable volume functionals. This tells us for w…
We describe two simple obstructions to the existence of Ricci-flat Kahler cone metrics on isolated Gorenstein singularities or, equivalently, to the existence of Sasaki-Einstein metrics on the links of these singularities. In particular, this also leads to new obstructions for Kahler-Einstein metrics on Fano orbifolds. We present several families of hypersurface singularities that are obstructed, including 3-fold and 4-fold singularities of ADE type that have been studied previously in the physics literature. We show that the AdS/CFT dual of one obstruction is that the R-charge of a gauge inva…
This paper concerns obstruction flatness of hypersurfaces $Σ$ that arise as unit sphere bundles $S(E)$ of Griffiths negative Hermitian vector bundles $(E, h)$ over Kähler manifolds $(M, g).$ We prove that if the curvature of $(E, h)$ satisfies a splitting condition and $(M,g)$ has constant Ricci eigenvalues, then $S(E)$ is obstruction flat. If, in addition, all these eigenvalues are strictly less than one and $(M,g)$ is complete, then we show that the corresponding ball bundle admits a complete Kähler-Einstein metric.
Obstruction flatness of a strongly pseudoconvex hypersurface $Σ$ in a complex manifold refers to the property that any (local) Kähler-Einstein metric on the pseudoconvex side of $Σ$, complete up to $Σ$, has a potential $-\log u$ such that $u$ is $C^\infty$-smooth up to $Σ$. In general, $u$ has only a finite degree of smoothness up to $Σ$. In this paper, we study obstruction flatness of hypersurfaces $Σ$ that arise as unit circle bundles $S(L)$ of negative Hermitian line bundles $(L, h)$ over Kähler manifolds $(M, g).$ We prove that if $(M,g)$ has constant Ricci eigenvalues, then $S(L)$ is obst…
A Riemannian or pseudo-Riemannian (or conformal) structure is conformally Einstein if and only if there is a suitably generic parallel section of a certain vector bundle -- the so-called standard conformal tractor bundle. We show that this characterisation leads to a systematic approach to constructing obstructions to conformally Einstein metrics. Relaxing the requirement that the parallel tractor field be generic gives a natural generalisation of the Einstein equations.
We study the quantization of coupled Kähler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric obstruction which interpolates between the Donaldson-Futaki invariant and Chow weight. Then we show the existence and weak convergence of balanced metrics on CKE manifolds under the vanishing of this obstruction. Moreover, restricted to the …
In this note we present an obstruction to the existence of solutions to the self-dual Einstein-Maxwell-Higgs equations on a compact surface, which depends on the multiplicities of the zeroes of the \emph{Higgs field} and the \emph{vortex number} $N$. In particular, we exhibit infinitely many examples of Higgs fields for which solutions cannot exist.
We study infinitesimal Einstein deformations on compact flat manifolds and on product manifolds. Moreover, we prove refinements of results by Koiso and Bourguignon which yield obstructions on the existence of infinitesimal Einstein deformations under certain curvature conditions.
In this article we introduce $A$-valued Einstein-Hilbert-Palatini functional ($A$-EHP) over a n-manifold $M$, where $A$ is an arbitrary graded algebra, as a generalization of the functional arising in the study of the first order formulation of gravity. We show that if $A$ is weak $(k,s)$-solvable, then $A$-EHP is non-null only if $n<k+s+3$. We prove that essentially all algebras modeling classical geometries (except semi-Riemannian geometries with specific signatures) satisfy this condition for $k=1$ and $s=2$, including Hitchin's generalized complex geometry, Pantilie's generalized quaternio…
We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equation if we allow logarithmic terms, and that a local CR-invariant tensor arises as the obstruction to the existence of a log-free solution. Some properties of this new CR invariant, the CR obstruction tensor, are discussed.
We construct polynomial conformal invariants, the vanishing of which is necessary and sufficient for an $n$-dimensional suitably generic (pseudo-)Riemannian manifold to be conformal to an Einstein manifold. We also construct invariants which give necessary and sufficient conditions for a metric to be conformally related to a metric with vanishing Cotton tensor. One set of invariants we derive generalises the set of invariants in dimension four obtained by Kozameh, Newman and Tod. For the conformally Einstein problem, another set of invariants we construct gives necessary and sufficient conditi…
We study boundary regularity for conformally compact Einstein metrics in even dimensions by generalizing the ideas of Michael Anderson. Our method of approach is to view the vanishing of the Ambient Obstruction tensor as an nth order system of equations for the components of a compactification of the given metric. This, together with boundary conditions that the compactification is shown to satisfy provide enough information to apply classical boundary regularity results. These results then provide local and global versions of finite boundary regularity for the components of the compactificati…
In this paper we develop a new approach to the gluing problem in General Relativity, that is, the problem of matching two solutions of the Einstein equations along a spacelike or characteristic (null) hypersurface. In contrast to the previous constructions, the new perspective actively utilizes the nonlinearity of the constraint equations. As a result, we are able to remove the $10$-dimensional spaces of obstructions to the null and spacelike (asymptotically flat) gluing problems, previously known in the literature. In particular, we show that any asymptotically flat spacelike initial data can…
We survey the definitions and some important properties of several asymptotic invariants of smooth manifolds, and discuss some open questions related to them. We prove that the (non-)vanishing of the minimal volume is a differentiable property, which is not invariant under homeomorphisms. We also formulate an obstruction to the existence of Einstein metrics on four-manifolds involving the volume entropy. This generalizes both the Gromov--Hitchin--Thorpe inequality and Sambusetti's obstruction.
Motivated by the study of coupled Kähler-Einstein metrics by Hultgren and Witt Nyström and coupled Kähler-Ricci solitons by Hultgren, we study in this paper coupled Sasaki-Einstein metrics and coupled Sasaki-Ricci solitons. We first show an isomorphism between the Lie algebra of all transverse holomorphic vector fields and certain space of coupled basic functions related to coupled twisted Laplacians for basic functions, and obtain extensions of the well-known obstructions to the existence of Kähler-Einstein metrics to this coupled case. These results are reduced to coupled Kähler-Einstein met…
This article is a summary of some of the author's work on Sasaki-Einstein geometry. A rather general conjecture in string theory known as the AdS/CFT correspondence relates Sasaki-Einstein geometry, in low dimensions, to superconformal field theory; properties of the latter are therefore reflected in the former, and vice versa. Despite this physical motivation, many recent results are of independent geometrical interest, and are described here in purely mathematical terms: explicit constructions of infinite families of both quasi-regular and irregular Sasaki-Einstein metrics; toric Sasakian ge…
In this note, stimulated by the existence result of Futaki-Ono-Wang for toric Sasaki-Einstein metrics, we obtain new examples of Sasaki-Einstein metrics on S^1-bundles associated to canonical line bundles of P^1-bundles over Kähler-Einstein Fano manifolds, even though the Futaki's obstruction does not vanish. Here the method of Sakane and Koiso is used, and our examples include non-toric Sasaki-Einstein manifolds.
We find obstructions to the existence of Einstein metrics of non-negative sectional curvature on a smooth closed simply connected manifold of any dimension. The results are achieved by combining the classical Morse theory of the loop space with a new upper bound for the topological entropy of the geodesic flow in terms of the curvature tensor.
We study Einstein metrics on smooth compact 4-manifolds with an edge-cone singularity of specified cone angle along an embedded 2-manifold. To do so, we first derive modified versions of the Gauss-Bonnet and signature theorems for arbitrary Riemannian 4-manifolds with edge-cone singularities, and then show that these yield non-trivial obstructions in the Einstein case. We then use these integral formulae to obtain interesting information regarding gravitational instantons which arise as limits of such edge-cone manifolds.
We present classical and recent results on Kähler-Einstein metrics on compact complex manifolds, focusing on existence, obstructions and relations to algebraic geometric notions of stability (K-stability). These are the notes for the SMI course "Kähler-Einstein metrics" given by C.S. in Cortona (Italy), May 2017. The material is not intended to be original.
Seiberg-Witten theory is used to obtain new obstructions to the existence of Einstein metrics on 4-manifolds with conical singularities along an embedded surface. In the present article, the cone angle is required to be of the form 2(pi)/p, where p is a positive integer, but we conjecture that similar results will also hold in greater generality.
Let $M$ be a compact complex manifold admitting a Kähler structure. A conformally Kähler, Einstein-Maxwell metric (cKEM metric for short) is a Hermitian metric $\tilde{g}$ on $M$ with constant scalar curvature such that there is a positive smooth function $f$ with $g = f^2 \tilde{g}$ being a Kähler metric and $f$ being a Killing Hamiltonian potential with respect to $g$. Fixing a Kähler class, we characterize such Killing vector fields whose Hamiltonian function $f$ with respect to some Kähler metric $g$ in the fixed Kähler class gives a cKEM metric $\tilde{g} = f^{-2}g$. The characterization …
This article presents a new and more elementary proof of the main Seiberg-Witten-based obstruction to the existence of Einstein metrics on smooth compact 4-manifolds. It also introduces a new smooth manifold invariant which conveniently encapsulates those aspects of Seiberg-Witten theory most relevant to the study of Riemannian variational problems on 4-manifolds.
This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary a constant mean curvature umbilic condition is imposed. First, recent work of Nozaki, Takayanagi, and Ugajin is generalized and extended showing that such metrics cannot have smooth compactifications for generic corners embedded in the infinite boundary. A model linear problem is…
A gluing construction of $Z$-extremal Kähler metrics and new examples of Bismut Hermitian-Einstein $3$-folds
Université du Québec à Montréal（蒙特利尔大学）；Institute of Mathematics and Informatics, Bulgarian Academy of Sciences（保加利亚科学院数学与信息学研究所）；McGill University（麦吉尔大学）
We show that solutions of the Seiberg-Witten equations lead to non-trivial lower bounds for the L2-norm of the Weyl curvature of a compact Riemannian 4-manifold. These estimates are then used to derive new obstructions to the existence of Einstein metrics. These results considerably refine those previously obtained using scalar-curvature estimates alone.
To any smooth compact manifold $M$ endowed with a contact structure $H$ and partially integrable almost CR structure $J$, we prove the existence and uniqueness, modulo high-order error terms and diffeomorphism action, of an approximately Einstein ACH (asymptotically complex hyperbolic) metric $g$ on $M\times (-1,0)$. We consider the asymptotic expansion, in powers of a special defining function, of the volume of $M\times (-1,0)$ with respect to $g$ and prove that the log term coefficient is independent of $J$ (and any choice of contact form $θ$), i.e., is an invariant of the contact structure …
This paper considers the existence of conformally compact Einstein metrics on 4-manifolds. A reasonably complete understanding is obtained for the existence of such metrics with prescribed conformal infinity, when the conformal infinity is of positive scalar curvature. We find in particular that general solvability in this class depends on the topology of the filling manifold. The obstruction to solvability for arbitrary boundary values is also identified. While most of the paper concerns dimension 4, some general results on the structure of the space of such metrics hold in all dimensions.
In this paper, first we consider the existence and non-existence of Einstein metrics on the topological 4-manifolds $3\mathbb{CP}^2 # k \bar{\mathbb{CP}}^2$ (for $k \in {11, 13, 14, 15, 16, 17, 18}$) by using the idea of Răsdeaconu and Şuvaina (2009) and the constructions in Park, Park, and Shin (arXiv:0906.5195v2) and in Park, Park, and Shin (2009). Then, we study the existence or non-existence of non-singular solutions of the normalized Ricci flow on the exotic smooth structures of these topological manifolds by employing the obstruction developed in Ishida (2008).
We study a variational problem on a smooth manifold with a decomposition of the tangent bundle into $k>2$ subbundles (distributions), namely, we consider the integrated sum of their mixed scalar curvatures as a functional of adapted pseudo-Riemannian metric (keeping the pairwise orthogonality of the distributions) and contorsion tensor, defining a linear connection. This functional allows us to generalize the class of Einstein metrics in the following sense: if all of the distributions are one-dimensional, then it coincides with the geometrical part of the Einstein-Hilbert action restricted to…
Given any two Einstein (pseudo-)metrics, with scalar curvatures suitably related, we give an explicit construction of a Poincaré-Einstein (pseudo-)metric with conformal infinity the conformal class of the product of the initial metrics. We show that these metrics are equivalent to ambient metrics for the given conformal structure. The ambient metrics have holonomy that agrees with the conformal holonomy. In the generic case the ambient metric arises directly as a product of the metric cones over the original Einstein spaces. In general the conformal infinity of the Poincare metrics we construc…
The (Fefferman-Graham) ambient obstruction tensor is a conformally invariant symmetric trace-free 2-tensor on even-dimensional Riemannian and pseudo-Riemannian manifolds. The conformal deformation complex is a differential complex related to infinitesimal deformations of conformal structure. We construct a conformally invariant differential operator on algebraic Weyl tensors that gives special curved analogues of certain operators related to the deformation complex and that, upon application to the Weyl curvature, yields the obstruction tensor. This new definition of the obstruction tensor lea…
