This article presents a new definition of Branson's Q-curvature in even-dimensional conformal geometry. We derive the Q-curvature as a coefficient in the asymptotic expansion of the formal solution of a boundary problem at infinity for the Laplacian in the Poincare metric associated to the conformal structure. This gives an easy proof of the result of Graham-Zworski that the log coefficient in the volume expansion of a Poincare metric is a multiple of the integral of the Q-curvature, and leads to a definition of a non-local version of the Q-curvature in odd dimensions.
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
Let D a divisor with simple normal crossings in a Kahler manifold X. The purpose of this short note is to show that the existence of a Poincare type metric with constant scalar curvature in on the complement of D implies for any component of the divisor that the scalar curvature of Poincare type metric outside of D is less than the mean scalar curvature attached to the component. We also explain how those results were already conjectured by G. Szekelyhidi when D is reduced to one component.
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
We study an asymptotic Dirichlet problem for Weyl structures on asymptotically hyperbolic manifolds. By the bulk-boundary correspondence, or more precisely by the Fefferman-Graham theorem on Poincaré metrics, this leads to a natural extension of the notion of Branson's $Q$-curvature to Weyl structures on even-dimensional conformal manifolds.
Let $X$ be a compact Kähler manifold and $S$ a subvariety of $X$ with higher co-dimension. The aim is to study complete constant scalar curvature Kähler metrics on non-compact Kähler manifold $X-S$ with Poincaré--Mok--Yau asymptotic property (see Definition \ref{def}). In this paper, the methods of Calabi's ansatz and the moment construction are used to provide some special examples of such metrics.
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.
Consider a compact Kähler manifold X with a simple normal crossing divisor D, and define Poincaré type metrics on X\D as Kähler metrics on X\D with cusp singularities along D. We prove that the existence of a constant scalar curvature (resp. an extremal) Poincaré type Kähler metric on X\D implies the existence of a constant scalar curvature (resp. an extremal) Kähler metric, possibly of Poincaré type, on every component of D. We also show that when the divisor is smooth, the constant scalar curvature/extremal metric on X\D is asymptotically a product near the divisor.
This note corrects a mistake in the original book in the evolution equations of total curvature for the curve-shrinking flow in an ambient Ricci Flow. The resulting upper bound for the evolution of total curvature is an exponential bound in time. The change involves the multiplicative constant. Here we show that it depends on the initial total curvature and the initial length, rather than just on the initial total curvature as was asserted before. This change does not affect the application of these results to prove finite-time extinction when the third homotopy group of the manifold is non-tr…
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.
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).
By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is …
Let $(X,L_X)$ be a polarized manifold and $D$ be a smooth hypersurface such that $D \in | L_X |$. In this paper, we show that if there is no nontrivial holomorphic vector field on $D$ and ${\rm Aut}_0 ((X,L_X); D)$ is trivial, then constant scalar curvature Kähler metrics of Poincaré type on $X \setminus D$ can be approximated by constant scalar curvature Kähler metrics with cone singularities of sufficiently small angle along $D$. This result implies log K-semistability of $((X,L_X);D)$ with angle 0.
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 …
For G an almost-connected Lie group, we study G-equivariant index theory for proper co-compact actions with various applications, including obstructions to and existence of G-invariant Riemannian metrics of positive scalar curvature. We prove a rigidity result for almost-complex manifolds, generalising Hattori's results, and an analogue of Petrie's conjecture. When G is an almost-connected Lie group or a discrete group, we establish Poincare duality between G-equivariant K-homology and K-theory, observing that Poincare duality does not necessarily hold for general G.
The purpose is to study the CR-manifold with a contact structure conformal to the Heisenberg group. In our previous work \cite{WY}, we have proved that if the $Q'$-curvature is nonnegative, and the integral of $Q'$-curvature is below the dimensional bound $c_1'$, then we have the isoperimetric inequality. In this paper, we manage to drop the condition on the nonnegativity of the $Q'$-curvature. We prove that the volume form $e^{4u}$ is a strong $A_\infty$ weight. As a corollary, we prove the Sobolev-Poincaré inequality on a class of CR-manifolds with integrable $Q'$-curvature.
We give sufficient conditions for a measured length space (X,d,m) to admit local and global Poincare inequalities. We first introduce a condition DM on (X,d,m), defined in terms of transport of measures. We show that DM, along with a doubling condition on m, implies a scale-invariant local Poincare inequality. We show that if (X,d,m) has nonnegative N-Ricci curvature and has unique minimizing geodesics between almost all pairs of points then it satisfies DM, with constant 2^N. The condition DM is preserved by measured Gromov-Hausdorff limits. We then prove a Sobolev inequality for measured len…
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 prove local Poincaré inequalities under various curvature-dimension conditions which are stable under the measured Gromov-Hausdorff convergence. The first class of spaces we consider is that of weak CD(K,N) spaces as defined by Lott and Villani. The second class of spaces we study consists of spaces where we have a flow satisfying an evolution variational inequality for either the Rényi entropy functional $E_N(ρm) = -\int_X ρ^{1-1/N} dm$ or the Shannon entropy functional $E_\infty(ρm) = \int_X ρ\log ρdm$. We also prove that if the Rényi entropy functional is strongly displacement convex in …
We approach the problem of uniformization of general Riemann surfaces through consideration of the curvature equation, and in particular the problem of constructing Poincaré metrics (i.e., complete metrics of constant negative curvature) by solving the equation $Δu - e^{2u} = K_0(z)$ on general open surfaces. A few other topics are discussed, including boundary behavior of the conformal factor $e^{2u}$ giving the Poincaré metric when the Riemann surface has smoothly bounded compact closure, and also a curvature equation proof of Koebe's disk theorem.
We introduce a hyperbolic Gauss map into the Poincare disk for any surface in H^2xR with regular vertical projection, and prove that if the surface has constant mean curvature H=1/2, this hyperbolic Gauss map is harmonic. Conversely, we show that every nowhere holomorphic harmonic map from an open simply connected Riemann surface into the Poincare disk is the hyperbolic Gauss map of a two-parameter family of such surfaces. As an application we obtain that any holomorphic quadratic differential on the surface can be realized as the Abresch-Rosenberg holomorphic differential of some, and generic…
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.
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.
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).
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…
It is shown that curvature-dimension bounds CD(N, k) for a metric measure space (X,d,m) in the sense of Sturm imply a weak L^1- Poincare-inequality under some symmetry assumption on the choice of transport rays in the cut locus of (X,d). This condition is satisfied if (X,d) has m-almost surely no branching points.
We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show that a local Poincaré inequality and the measure contraction property follow from the Ricci curvature bounds defined by Sturm. We also show for a large class of convex functionals that a local Poincaré inequality is implied by the weak displacement convexity of the functional.
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 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…
It is shown that for any piecewise-linear closed orientable manifold of odd dimension there exists an invariantly defined metric on the determinant line of cohomology with coefficients in an arbitrary flat bundle E over the manifold (E is not required to be unimodular). The construction of this metric (called Poincare - Reidemeister metric) is purely combinatorial; it combines the standard Reidemeister type construction with Poincare duality. The main result of the paper states that the Poincare-Reidemeister metric computes combinatorially the Ray-Singer metric. It is shown also that the Ray-S…
In this note we study the conformal metrics of constant $Q$ curvature on closed locally conformally flat manifolds. We prove that for a closed locally conformally flat manifold of dimension $n\geq 5$ and with Poincarë exponent less than $\frac {n-4}2$, the set of conformal metrics of positive constant $Q$ and positive scalar curvature is compact in the $C^\infty$ topology.
We equip the whole tangent space $TM$ to a hyperbolic manifold $M$ (of constant sectional curvature -1) with a natural metric in an intrinsic way, so that the isometries of $M$ extend to isometries of $TM$ by holomorphic continuation. The image to the tangent space to a geodesic is equivalent to a hyperbolic disk. In the case of hyperbolic space, we exhibit an equivariant diffeomorphism between $TM$ and the fourth symmetric complex domain of E. Cartan, also known as the Lie ball. The closure of the Lie ball appears as a horospheric compactification of the tangent bundle to hyperbolic space, an…
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…
