A positive mass theorem for CR manifolds
Joint with J H Cheng and P. Yang (Princeton).
1. Asymptotically flat Riemannian manifolds
This is equipped with a metric of the form
where first and second derivatives of decay like , .
1.1. Einstein’s equations
where is determined by the distribution of matter. In the vacuum (), Einstein’s equations are variational : stationary points of the total scalar curvature functional.
Under non compacty supported variations of the metric, the variation of total scalar curvature involves a boundary term
Example 1 Static Schwartzschild space.
1.3. The positve mass theorem
Theorem 1 (Schoen-Yau 1979) If scalar curvature is , then , equalty implies that manifold is Euclidean.
In Newtonian gravity, is the integral of mass density, so it is positive. But in general relativity, depends non linearly on the metric, making our life harder.
1.4. Idea of proof
One constructs an asymptotically plane minimal surface in . For this, solve Plateau problems on larger and larger circles. Assuming allows to give an upper bound of the height of , and show convergence to a stable minimal surface.
In the second variation of area, one uses as test functions functions locally converging to 1 but with Dirichlet energy tending to 0. With Gauss-Bonnet, this yields negative second variation, contradiction.
1.5. Witten’s approach
On spin manifolds, the Dirac operator exists. It satisfies . Integrating this by parts, there is a boundary term involving mass, yielding an expression for mass, which is obviously positive if .
1.6. Conformal blow ups
This is a special class of asymptotically flat manifolds, obtaining by conformally changing an arbitrary metric by the square of the Green function of the conformal Laplacian.
2. CR manifolds
2.1. Asymptotic flatness
Say a CR manifold has positive Webster class if there is a conformal metric with positive Webster curvature. Equivalently, the conformal Laplacian has positive first eigenvalue. Then Green’s function is well defined. Jerison-Lee 1989 give an asymptotic expansion that shows that the conformal metric is asymptotically flat (i.e., Heisenberg).
Definition 2 A pseudohermitian manifold is asymptotically flat if it is Heisenberg group equipped with a metric asymptotic to left-inavriant metric, and Webster curvature is in .
The same logic (first variation of total Webster curvature) leads to the following
2.3. The Paneitz operator
It is conformally covariant third order operator arising in the characterization of CR pluri-harmonic functions (Lee 1988) and Szegö kernel expansion (Hirachi 1993).
Theorem 4 (Chanillo, Chiu, Yang 2010) If and ,…
2.4. Integral formula for the mass
On an asymptotically flat pseudohermitian manifold, let be a function asymptotic to . Then mass is expressed as an integral of derivatives of . If solves a certain differential equation, only one term is negative, it vanishes if box. One manages to find a solution of these equations, first up to a small error, then applying
2.5. Our result
Theorem 5 compact CR 3-manifold. Assume Webster class is positive, and Paneitz operator is nonnegative. Blow up conformally using Green’s function. Then
- Resulting manifold is asymptotically flat.
- Mass is .
- implies is CR equivalent to the round CR sphere.
2.6. Application to the CR Yamabe problem
This amounts to finding conformal metrics with constant Webster curvature. This can be done by minimizing Yamabe’s functional: Total scalar curvature normalized by volume. Loss of compactness is possible (due to conformal invariance). The infimum is always bounded above by the Yamabe invariant of the round CR sphere. If inequality is strict, then compactness is recovered (Jerison-Lee 1989).
These authors prove strict inequality if dimension is and metric non locally conformally flat, by a Taylor expansion. In low dimension, positive mass implies success of a similar procedure.
2.7. Example with positive Webster class but negative mass
This shows the necessity of some condition like positivity of Paneitz operator.
For this, we perturb Heisenberg metric in such a way that is a CR function. Positivity of Paneitz operator fails in this example.
2.8. Open problems
Can one use minimal surfaces ? Area makes sense. Its second variation has been computed (Cheng, Hwang, Malchiodi, Yang 2005), it seems complicated.
Quantitative lower bounds on the mass ? Like Penrose’s inequality: , is area of deepest minimal surface.
Compactness of solutions (Brendle-Marques, Khuri-Marques-Schoen 2009, assuming positive mass).
Classification of profiles of bubbles.