Constant scalar curvature metrics with isolated singularities

DOI10.1215/S0012-7094-99-09913-1MaRDI QIDQ1974953zbMATH OpenFDO

Publication date 27 March 2000

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/dg-ga/9605004

constant scalar curvature singular Yamabe problem

Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Relations of PDEs with special manifold structures (Riemannian, Finsler, etc.) (58J60)

Abstract: We extend the results and methods of cite{MP} to prove the existence of constant positive scalar curvature metrics

g

which are complete and conformal to the standard metric on

S^{N} s e t m i n u s L a m b d a

, where

L a m b d a

is a disjoint union of submanifolds of dimensions between 0 and

(N - 2) / 2

. The existence of solutions with isolated singularities occupies the majority of the paper; their existence was previously established by Schoen cite{S}, but the proof we give here, based on the techniques of cite{MP}, is more direct, and provides more information about their geometry. When

L a m b d a

is discrete we also establish that these solutions are smooth points in the moduli spaces of all such solutions introduced and studied in cite{MPU1} and cite{MPU2}

Review text

In recent years there has been considerable interest in the so-called singular Yamabe problem: given a compact Riemannian manifold \((M,g_0)\) of dimension \(N\geq 3\) and a closed set \(\Lambda\subset M\), find a metric \(g\) conformal to \(g_0\) such that \(g\) has constant scalar curvature and \(g\) is complete on \(M\backslash\Lambda\). If the new metric is given by \(g =u^{4/(N-2)}g_0\) for a smooth positive function \(u\) on \(M\backslash\Lambda\), then \(u\) is required to satisfy the equation \(\Delta_{g_0}u - {{N-2}\over{4(N-1)}} R(g_0)u + {{N-2}\over{4(N-1)}}R(g) u^{(N+2)/(N-2)} = 0\) in \(M\backslash\Lambda\), where \(R(g_0)\), \(R(g)\) are the scalar curvatures of \(g_0\), \(g\) respectively, and \(\Delta_{g_0}\) is the Laplace-Beltrami operator of \(g_0\). In addition, for \(g\) to be complete on \(M\backslash\Lambda\), \(u\) must tend to infinity sufficiently fast as \(\Lambda\) is approached. It is known that for a solution of the above problem to exist the size of \(\Lambda\) and the sign of \(R=R(g)\) must be related. If a solution exists for \(R<0\), then \(\text{ dim}(\Lambda)>(N-2)/2\), while if a solution exists for \(R\geq 0\), then \(\text{ dim}(\Lambda)\leq (N-2)/2\) and the first eigenvalue of \(\Delta_{g_0}-{{N-2}\over{4(N-1)}}R(g_0)\) must be nonnegative. A variety of partial converses have been proved. In particular, in [J. Differ. Geom. 44, 331-370 (1996; Zbl 0869.35040)] the authors proved the existence of a solution for \(M\) an arbitrary compact manifold of nonnegative scalar curvature, whenever \(\Lambda\) is a disjoint finite union of submanifolds of dimensions between \(1\) and \((N-2)/2\). Here this is extended, for \((M,g_0)={\mathbb S}^N\) with the standard metric, to allow \(\Lambda\) to be a disjoint finite union of submanifolds of dimensions between zero and \((N-2)/2\).

Recommendations

Cites work

Cited in

(87)

This page was built for publication: Constant scalar curvature metrics with isolated singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974953)