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 construct is not Einstein, and so this describes a class of non-conformally Einstein metrics for which the (Fefferman-Graham) obstruction tensor vanishes.
We develop a geometric and explicit construction principle that generates classes of Poincare-Einstein manifolds, and more generally almost Einstein manifolds. Almost Einstein manifolds satisfy a generalisation of the Einstein condition; they are Einstein on an open dense subspace and, in general, have a conformal scale singularity set that is a conformal infinity for the Einstein metric. In particular, the construction may be applied to yield families of compact Poincare-Einstein manifolds, as well as classes of almost Einstein manifolds that are compact without boundary. We obtain classifica…
We provide the first example of continuous families of Poincaré-Einstein metrics developing cusps on the trivial topology $\mathbb{R}^4$. We also exhibit families of metrics with unexpected degenerations in their conformal infinity only. These are obtained from the Riemannian version of an ansatz of Debever and Plebański-Demiański. We additionally indicate how to construct similar examples on more complicated topologies.
An almost Einstein manifold satisfies equations which are a slight weakening of the Einstein equations; Einstein metrics, Poincare-Einstein metrics, and compactifications of certain Ricci-flat asymptotically locally Euclidean structures are special cases. The governing equation is a conformally invariant overdetermined PDE on a function. Away from the zeros of this the almost Einstein structure is Einstein, while the zero set gives a scale singularity set which may be viewed as a conformal infinity for the Einstein metric. In this article we give a classification of the possible scale singular…
A conformal description of Poincare-Einstein manifolds is developed: these structures are seen to be a special case of a natural weakening of the Einstein condition termed an almost Einstein structure. This is used for two purposes: to shed light on the relationship between the scattering construction of Graham-Zworski and the higher order conformal Dirichlet-Neumann maps of Branson and the author; to sketch a new construction of non-local (Dirichlet-to-Neumann type) conformal operators between tensor bundles.
We treat the problem of defining, and characterising in a practical way, an appropriate class of distinguished curves for Poincaré-Einstein manifolds, and other conformally singular geometries. These "generalised geodesics" agree with geodesics away from the conformal singularity set and are shown to satisfy natural "boundary conditions" at points where they meet or cross the metric singularity set. We also characterise when they coincide with conformal circles. In the case of (Poincaré-)Einstein manifolds, we are able to provide a very general theory of first integrals for these distinguished…
For a Poincare-Einstein manifold under certain restrictions, X. Chen, M. Lai and F. Wang proved a sharp inequality relating Yamabe invariants. We show that the inequality is true without any restriction.
For an asymptotically Poincare-Einstein manifold with a lower Ricci curvature bound, we establish a sharp inequality relating the type II Yamabe invariant of the interior and the Yamabe invariant of its conformal infinity
A Poincaré-Einstein metric $g$ is called non-degenerate if there are no non-zero infinitesimal Einstein deformations of $g$, in Bianchi gauge, that lie in $L^2$. We prove that a 4-dimensional Poincaré-Einstein metric is non-degenerate if it satisfies a certain chiral curvature inequality. Write $R_+$ for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if $R_+$ is negative definite then $g$ is non-degenerate. This is a chiral generalisation of a result due to Biquard and Lee, that a Poincaré-Einstein metric of negative sectional curvature is non-degenerate
After analyzing renormalization schemes on a Poincaré-Einstein manifold, we study the renormalized integrals of scalar Riemannian invariants. The behavior of the renormalized volume is well-known, and we show any scalar Riemannian invariant renormalizes similarly. We consider characteristic forms and their behavior under a variation of the Poincaré-Einstein structure, and obtain, from the renormalized integral of the Pfaffian, an extension of the Gauss-Bonnet theorem.
In this note we prove the existence of infinitely many positive conformal classes on $S^7$ which cannot be the conformal infinity of a Poincaré-Einstein metric on the ball $B^8$. We also prove a sharp inequality between the Yamabe invariant of the conformal infinity and the Yamabe invariant of the interior (after a suitable compactification).
Given a closed Riemannian manifold $(M, g_M)$ of dimension $n \geq 3$, we prove the existence of a conformally compact Einstein metric $g_{+}$ defined on a collar neighborhood $M \times (0,1]$ whose conformal infinity is $[g_M]$.
We construct new examples of Einstein metrics by perturbing the conformal infinity of geometrically finite hyperbolic metrics and by applying the inverse function theorem in suitable weighted Hölder spaces.
We study conformal $Spin$-subgeometry of submanifolds in a semi-Riemannian $Spin$-manifold, focusing on conformal $Spin$-manifolds $(M,[h])$ and their Poincaré-Einstein metrics $(X,g_+)$. Our approach is based on the spectral theory of Dirac operator in the ambient $Spin$-manifold, and associated spinor valued meromorphic family of distributions with residues given by the residue family operators $\slashed{D}_N^{res}(h;λ)$ on spinors. We develop basic aspects and properties of $\slashed{D}_N^{res}(h;λ)$ including conformal covariance, factorization properties by conformally covariant operators…
We exhibit an explicit one-parameter smooth family of Poincaré-Einstein metrics on the even-dimensional unit ball whose conformal infinities are the Berger spheres. Our construction is based on a Gibbons-Hawking-type ansätz of Page and Pope. The family contains the hyperbolic metric, converges to the complex hyperbolic metric at one of the ends, and at the other end the ball equipped with our metric collapses to a Poincaré-Einstein manifold of one lower dimension with an isolated conical singularity.
In this paper, we mainly study the scattering operators for the Poincaré-Einstein manifolds. Those operators give the fractional GJMS operators $P_{2γ}$ for the conformal infinity. If a Poincaré-Einstein manifolds $(X^{n+1}, g_+)$ is locally conformally flat and there exists an representative $g$ for the conformal infinity $(M, [g])$ such that the scalar curvature $R$ is a positive constant and $Q_4>0$, then we prove that $P_{2γ}$ is positive for $γ\in (1,2)$ and thus the first real scattering pole is less than $\frac{n}{2}-2$.
We establish a boundary connected sum theorem for asymptotically hyperbolic Einstein metrics; this requires no nondegeneracy hypothesis. We also show that if the two metrics have scalar positive conformal infinities, then the same is true for this boundary join.
We prove the existence of a $C^{1,1}$ conformally compact Einstein metric on the ball that has asymptotic sectional curvature decay to $-1$ plus terms of order $e^{-2r}$ where $r$ is the distance from any fixed compact set. This metric has no $C^2$ conformal compactification.
We re-visit the eigenvalue estimate of the Dirac operator on spin manifolds with boundary in terms of the first eigenvalues of conformal Laplace operator as well as the conformal mean curvature operator. These problems were studied earlier by Hijazi-Montiel-Zhang and Raulot and we re-prove them under weaker assumption that a boundary chirality operator exists. Moreover, on these spin manifolds with boundary, we show that any $C^{3,α}$ conformal compactification of some Poincare-Einstein metric must be the standard hemisphere when the first nonzero eigenvalue of the Dirac operator achieves its …
We study the linearization of the Dirichlet-to-Neumann map for Poincaré-Einstein metrics in even dimensions on an arbitrary compact manifold with boundary. By fixing a suitable gauge, we make the linearized Einstein equation elliptic. In this gauge the linearization of the Dirichlet-to-Neumann map appears as the scattering matrix for an elliptic operator of 0-type, modified by some differential operators. We study the scattering matrix by using the 0-calculus and generalize a result of Graham for the case of the standard hyperbolic metric on a ball.
Let X be a Kähler manifold and D be a R-divisor with simple normal crossing support and coefficients between 1/2 and 1. Assuming that K_X+D is ample, we prove the existence and uniqueness of a negatively curved Kahler-Einstein metric on X\D having mixed Poincaré and cone singularities according to the coefficients of D. As an application we prove a vanishing theorem for certain holomorphic tensor fields attached to the pair (X,D).
Let $(M,g)$ be a compact Kähler-Einstein manifold with $c_1 > 0$. Denote by $K\to M$ the canonical line-bundle, with total space $X$, and $X_0$ the singular space obtained by blowing down $X$ along its zero section. We employ a construction by Page and Pope and discuss an interesting multi-parameter family of Poincaré--Einstein metrics on $X$. One 1-parameter subfamily $\{g_t\}_{t>0}$ has the property that as $t\searrow 0$, $g_t$ converges to a PE metric $g_0$ on $X_0$ with conic singularity, while $t^{-1}g_t$ converges to a complete Ricci-flat Kähler metric $\hat{g}_0$ on $X$. Another 1-param…
In this paper, we give a sharp spectral characterization of conformally compact Einstein manifolds with conformal infinity of positive Yamabe type in dimension $n+1>3$. More precisely, we prove that the largest real scattering pole of a conformally compact Einstein manifold $(X,g)$ is less than $\ndemi -1$ if and only if the conformal infinity of $(X,g)$ is of positive Yamabe type. If this positivity is satisfied, we also show that the Green function of the fractional conformal Laplacian $P(α)$ on the conformal infinity is non-negative for all $α\in [0, 2]$.
For a conformally compact Poincaré-Einstein manifold $(X,g_+)$, we consider two types of compactifications for it. One is $\bar{g}=ρ^2g_+$, where $ρ$ is a fixed smooth defining function; the other is the adapted (including Fefferman-Graham) compactification $\bar{g}_s=ρ^2_sg_+$ with a continuous parameter $s>\frac{n}{2}$. In this paper, we mainly prove that for a set of conformally compact Poincaré-Einstein manifolds $\{(X, g_{+}^{(i)})\}$ with conformal infinity of positive Yamabe type, $\{\bar{g}^{(i)}\}$ is compact in $C^{k,α}(\overline{X})$ topology if and only if $\{\bar{g}_s^{(i)}\}$ is …
An important tool in the study of conformal geometry, and the AdS/CFT correspondence in physics, is the Fefferman-Graham expansion of conformally compact Einstein metrics. We show that conformally compact metrics satisfying a generalization of the Einstein equation, Poincare-Lovelock metrics, also have Fefferman-Graham expansions. Moreover we show that conformal classes of metrics that are near that of the round metric on the n-sphere have fillings into the ball satisfying the Lovelock equation, extending the existence result of Graham-Lee for Einstein metrics.
We calculate a wall crossing formula for 4-dimensional Poincare-Einstein metrics, through a wall made of orbifold Poincare-Einstein metrics with A1 singularities. This is based on a formalism which enables to deal with higher order terms of the Einstein equation in this setting. Some other consequences are deduced.
Let $(X^{n},g_+) $ $(n\geq 3)$ be a Poincaré-Einstein manifold which is $C^{3,α}$ conformally compact with conformal infinity $(\partial X, [\hat{g}])$. On the conformal compactification $(\overline{X}, \bar g=ρ^2g_+)$ via some boundary defining function $ρ$, there are two types of Yamabe constants: $Y(\overline{X},\partial X,[\bar g])$ and $Q(\overline{X},\partial X,[\bar g])$. (See definitions (\ref{def.type1}) and (\ref{def.type2})). In \cite{GH}, Gursky and Han gave an inequality between $Y(\overline{X},\partial X,[\bar g])$ and $Y(\partial X,[\hat{g}])$. In this paper, we first show that …
In this paper, we show that for a Poincaré-Einstein manifold $(X^{n+1},g_+)$ with conformal infinity $(M,[\hat{g}])$ of nonnegative Yamabe type, the fractional Yamabe constants of the boundary provide lower bounds for the relative volume. More explicitly, for any $γ\in (0,1)$, $$ \left(\frac{Y_{2γ} (M,[\hat{g}])}{Y_{2γ} (\mathbb{S}^n , [g_{\mathbb{S}}])}\right)^{\frac{n}{2γ}} \leq \frac{V(Γ_t(p),g_+)}{V(Γ_t(0),g_{\mathbb{H}})} \leq \frac{V( B_t(p),g_+)}{V( B_t(0), g_{\mathbb{H}})} \leq 1,\quad 0<t<\infty, $$ where $B_t(p)$, $Γ_t(p)$ are the the geodesic ball and geodesic sphere of radius $t$ i…
We examine here the space of conformally compact metrics $g$ on the interior of a compact manifold with boundary which have the property that the $k^{th}$ elementary symmetric function of the Schouten tensor $A_g$ is constant. When $k=1$ this is equivalent to the familiar Yamabe problem, and the corresponding metrics are complete with constant negative scalar curvature. We show for every $k$ that the deformation theory for this problem is unobstructed, so in particular the set of conformal classes containing a solution of any one of these equations is open in the space of all conformal classes…
An important problem is to determine under which circumstances a metric on a conformally compact manifold is conformal to a Poincaré--Einstein metric. Such conformal rescalings are in general obstructed by conformal invariants of the boundary hypersurface embedding, the first of which is the trace-free second fundamental form and then, at the next order, the trace-free Fialkow tensor. We show that these tensors are the lowest order examples in a sequence of conformally invariant higher fundamental forms determined by the data of a conformal hypersurface embedding. We give a construction of the…
For a class of even dimensional conformally compact manifolds (X,g), we define a generalized Krein spectral function by applying a renormalized trace functional to the spectral measure of the Laplacian. We then show that this is the phase of the Kontsevich-Vishik determinant det S(s) of the scattering operator S(s) of (the Laplacian of) g and we analyze the divisors of det(S(s)). As an application for convex co-compact hyperbolic quotients, we obtain a functional equation for Selberg's Zeta function Z(s), we express the determinant of the GJMS conformal Laplacians of the conformal infinity of …
We study higher form Proca equations on Einstein manifolds with boundary data along conformal infinity. We solve these Laplace-type boundary problems formally, and to all orders, by constructing an operator which projects arbitrary forms to solutions. We also develop a product formula for solving these asymptotic problems in general. The central tools of our approach are (i) the conformal geometry of differential forms and the associated exterior tractor calculus, and (ii) a generalised notion of scale which encodes the connection between the underlying geometry and its boundary. The latter al…
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…
We determine the structure of conformal powers of the Dirac operator on Einstein {\it Spin}-manifolds in terms of the product formula for shifted Dirac operators. The result is based on the techniques of higher variations for the Dirac operator on Einstein manifolds and spectral analysis of the Dirac operator on the associated Poincaré-Einstein metric, and relies on combinatorial recurrence identities related to the dual Hahn polynomials.
This is a survey on the correspondence between asymptotically complex hyperbolic Einstein metrics and CR structures on the boundary at infinity, which is the complex version of that between Poincaré-Einstein metrics and conformal structures. We mainly discuss existence theorems, and propose several open problems.
Given a smooth complex projective variety X and a smooth divisor D on X, we prove the existence of Hermitian-Einstein connections, with respect to a Poincaré-type metric on X - D, on polystable parabolic principal Higgs bundles with parabolic structure over D, satisfying certain conditions on its restriction to D.
We consider two consecutive eons $\hat{M}$ and $\check{M}$ from Penrose's Conformal Cyclic Cosmology and study how the matter content of the past eon ($\hat{M}$) determines the matter content of the present eon ($\check{M}$) by means of the reciprocity hypothesis. We assume that the only matter content in the final stages of the past eon is a spherical wave described by Einstein's equations with the pure radiation energy momentum tensor $$\hat{T}^{ij} = \hatΦK^iK^j, \quad \hat{g}_{ij} K^iK^j = 0,$$ and with cosmological constant $\hatΛ$ . We solve these Einstein's equations associating to $\ha…
The "new positive energy conjecture" Horowitz and Myers (1999) probes a possible nonsupersymmetric AdS/CFT correspondence. We consider a version formulated for complete, asymptotically Poincaré-Einstein Riemannian metrics $(M,g)$ with bounded scalar curvature $R\ge -n(n-1)$. This version then asserts that any such $(M,g)$ must have mass not less than the mass $m_0$ of a metric $g_0$ induced on a time-symmetric slice of a certain AdS soliton spacetime. The conjecture remains unproved, having so far resisted standard techniques. Little is known other than that the conjecture is true for metrics …
In this paper we study global Poincare inequalities on balls in a large class of sub-Riemannian manifolds satisfying the generalized curvature dimension inequality introduced by F.Baudoin and N.Garofalo. As a corollary, we prove the uniqueness of solutions for the subelliptic heat equation. Our results apply in particular to CR Sasakian manifolds with Tanaka-Webster-Ricci curvature bounded from below and Carnot groups of step two.
