We discuss the singular Yamabe obstruction $\mathcal{B}_3$ of a hypersurface in a four-dimensional general background. We derive various explicit formula for $\mathcal{B}_3$ from the original definition. We relate these formulas to corresponding formulas in the literature. The proofs are elementary.
We develop the calculus for hypersurface variations based on variation of the hypersurface defining function. This is used to show that the functional gradient of a new Willmore-like, conformal hypersurface energy agrees exactly with the obstruction to smoothly solving the singular Yamabe problem for conformally compact four-manifolds. We give explicit hypersurface formulae for both the energy functional and the obstruction.
Let $(X,g)$ be a compact manifold with boundary $M^n$ and $σ$ a defining function of $M$. To these data, we associate natural conformally covariant polynomial one-parameter families of differential operators $C^\infty(X) \to C^\infty(M)$. They arise through a residue construction which generalizes an earlier construction in the framework of Poincaré-Einstein metrics. The main ingredient of the definition of residue families are eigenfunctions of the Laplacian of the singular metric $σ^{-2}g$. We prove that if $σ$ is an approximate solution of a singular Yamabe problem, these families can be wr…
We study positive solutions of the Yamabe equation with isolated singularity and prove the existence of solutions with prescribed asymptotic expansions near singular points and an arbitrarily high order of approximation.
We prove that a minimizer of the Yamabe functional does not exist for a sphere $\mathbb{S}^n$ of dimension $n \geq 3$, endowed with a standard edge-cone spherical metric of cone angle greater than or equal to $4π$, along a great circle of codimension two. When the cone angle along the singularity is smaller than $2π$, the corresponding metric is known to be a Yamabe metric, and we show that all Yamabe metrics in its conformal class are obtained from it by constant multiples and conformal diffeomorphisms preserving the singular set.
We study asymptotic behaviors of positive solutions to the Yamabe equation and the $σ$k-Yamabe equation near isolated singular points and establish expansions up to arbitrary orders. Such results generalize an earlier pioneering work by Caffarelli, Gidas, and Spruck, and a work by Korevaar, Mazzeo, Pacard, and Schoen, on the Yamabe equation, and a work by Han, Li, and Teixeira on the $σ_k$-Yamabe equation. The study is based on a combination of classification of global singular solutions and an analysis of linearized operators at these global singular solutions. Such linearized equations are u…
This paper carries out a renormalization of the volume of the Loewner-Nirenberg singular Yamabe metric in a given conformal class on a compact manifold-with-boundary. This generalizes the usual volume renormalization for Poincare-Einstein metrics. The coefficient of the log term in the volume expansion defines a conformally invariant energy generalizing the Willmore energy of a surface whose variational derivative with respect to variations of the boundary hypersurface is a multiple of the obstruction to smoothness of the singular Yamabe metric itself. The existence of such an energy answers a…
Given $(M,g_0)$ a closed Riemannian manifold and a nonempty closed subset $X$ in $M$, the singular $σ_k-$Yamabe problem asks for a complete metric $g$ on $M\backslash X$ conformal to $g_0$ with constant $σ_k-$curvature. The $σ_k-$curvature is defined as the $k-$th elementary symmetric function of the eigenvalues of the Schouten tensor of a Riemannian metric. The main goal of this paper is to find solutions to the singular $σ_2-$Yamabe problem with isolated singularities in any compact non-degenerate manifold such that the Weyl tensor vanishing to sufficiently high order at the singular point. …
We construct singular solutions to the Yamabe equation using a reduction of the problem in an equivariant setting. This provides a non-trivial geometric example for which the analysis is simpler than in Mazzeo-Pacard program. Our construction provides also a non-trivial example of a weak solution to the Yamabe problem involving an equation with (smooth) coefficients.
We apply scattering theory on asymptotically hyperbolic manifolds to singular Yamabe metrics, applying the results to the study of the conformal geometry of compact manifolds with boundary. In particular, we define extrinsic versions of the conformally invariant powers of the Laplacian, or GJMS operators, on the boundary of any such manifold, along with associated extrinsic Q-curvatures. We use the existence and uniqueness of a singular Yamabe metric to define also nonlocal extrinsic fractional GJMS operators on the boundary, and draw other global conclusions about the scattering operator, inc…
We express two CR invariant surface area elements in terms of quantities in pseudohermitian geometry. We deduce the Euler-Lagrange equations of the associated energy functionals. Many solutions are given and discussed. In relation to the singular CR Yamabe problem, we show that one of the energy functionals appears as the coefficient (up to a constant multiple) of the log term in the associated volume renormalization.
We construct Delaunay-type solutions for the fractional Yamabe problem with an isolated singularity $(-Δ)^γw = c_{n, γ} w^{\frac{n+2γ}{n-2γ}}, w>0 \ \mbox{in} \ \mathbb{R}^n \backslash \{0\}$ We follow a variational approach, in which the key is the computation of the fractional Laplacian in polar coordinates.
In this paper we construct singular solutions to the critical Dirac equation on spheres. More precisely, first we construct solutions admitting two points singularities that we call Delaunay-type solutions because of their similarities with the Delaunay solutions constructed for the singular Yamabe problem in \cite{MP1 , Schoen1989}. Then we construct another kind of singular solutions admitting a great circle as a singular set. These solutions are the building blocks for singular solutions on a general Spin manifold.
A conformal geometry determines a distinguished, potentially singular, variant of the usual Yamabe problem, where the conformal factor can change sign. When a smooth solution does change sign, its zero locus is a smoothly embedded separating hypersurface that, in dimension three, is necessarily a Willmore energy minimiser or, in higher dimensions, satisfies a conformally invariant analog of the Willmore equation. In any case the zero locus is critical for a conformal functional that generalises the total Q-curvature by including extrinsic data. These observations lead to some interesting globa…
We develop a new approach to the conformal geometry of embedded hypersurfaces by treating them as conformal infinities of conformally compact manifolds. This involves the Loewner--Nirenberg-type problem of finding on the interior a metric that is both conformally compact and of constant scalar curvature. Our first result is an asymptotic solution to all orders. This involves log terms. We show that the coefficient of the first of these is a new hypersurface conformal invariant which generalises to higher dimensions the important Willmore invariant of embedded surfaces. We call this the obstruc…
Let (M,g) be a compact oriented Riemannian manifold with an incomplete edge singularity. This article shows that it is possible to evolve g by the Yamabe flow within a class of singular edge metrics. As the main analytic step we establish parabolic Schauder-type estimates for the heat operator on certain Hölder spaces adapted to the singular edge geometry. We apply these estimates to obtain local existence for a variety of quasilinear equations, including the Yamabe flow. This provides a setup for a subsequent discussion of the Yamabe problem using flow techniques in the singular setting.
This article presents an analysis of the normalized Yamabe flow starting at and preserving a class of compact Riemannian manifolds with incomplete edge singularities and negative Yamabe invariant. Our main results include uniqueness, long-time existence and convergence of the edge Yamabe flow starting at a metric with everywhere negative scalar curvature. Our methods include novel maximum principle results on the singular edge space without using barrier functions. Moreover, our uniform bounds on solutions are established by a new ansatz without in any way using or redeveloping Krylov-Safonov …
We obtain uncountably many periodic solutions to the singular Yamabe problem on a round sphere, that blow up along a great circle. These are (complete) constant scalar curvature metrics on the complement of $S^1$ inside $S^m$, $m\geq 5$, that are conformal to the round (incomplete) metric and "periodic" in the sense of being invariant under a discrete group of conformal transformations. These solutions come from bifurcating branches of constant scalar curvature metrics on compact quotients of $S^m \setminus S^1\cong S^{m-2}\times H^2$.
We present a gluing construction which adds, via a localized deformation, exactly Delaunay ends to generic metrics with constant positive scalar curvature. This provides time-symmetric initial data sets for the vacuum Einstein equations with positive cosmological constant with exactly Kottler-Schwarzschild-de Sitter ends, extending the results in arXiv:0710.3365 [gr-qc].
We study the existence of conformal metrics on non-compact Riemannian manifolds with non-compact boundary, which are complete as metric spaces and have negative constant scalar curvature in the interior and negative constant mean curvature on the boundary. These metrics are constructed on smooth manifolds obtained by removing d-dimensional submanifolds from certain n-dimensional compact spaces locally modelled on generalized solid cones. We prove the existence of such metrics if and only if d>(n-2)/2. Our main theorem is inspired by the classical results by Aviles-McOwen and Loewner-Nirenberg …
The negative case of the Singular Yamabe Problem concerns the existence and behavior of complete metrics with constant negative scalar curvature on the complement of a closed set in a compact Riemannian manifold which are conformally equivalent to a smooth metric on this compact manifold. When the closed set is a smooth submanifold, it is known by the results of Loewner-Nirenberg and Aviles-McOwen that there exists such a complete metric if and only if $d > (n-2)/2$, and in general the Hausdorff dimension of the set must be at least $(n-2)/2$. In this paper, we show that the existence of such …
This paper deals with the conformal deformation of the standard metric in a domain on the sphere to a complete metric with the constant scalar curvature. The problem of description of domains allowing such deformation originates in the works of Loewner and Nirenberg, and Schoen and Yau concerned with the locally conformally flat manifolds. The goal of this work is to apply ideas from the nonlinear potential theory to the problem. They allow, in particular, to solve the problem in the case of the constant negative scalar curvature.
We answer affirmatively a question of Aviles posed in 1983, concerning the construction of singular solutions of semilinear equations without using phase-plane analysis. Fully exploiting the semilinearity and the stability of the linearized operator in any dimension, our techniques involve a careful gluing in weighted $L^\infty$ spaces that handles multiple occurrences of criticality, without the need of derivative estimates. The above solution constitutes an \emph{Ansatz} for the Yamabe problem with a prescribed singular set of maximal dimension $(n-2)/2$, for which, using the same machinery,…
We derive a formula of Chern-Gauss-Bonnet type for the Euler characteristic of a four dimensional manifold-with-boundary in terms of the geometry of the Loewner-Nirenberg singular Yamabe metric in a prescribed conformal class. The formula involves the renormalized volume and a boundary integral. It is shown that if the boundary is umbilic, then the sum of the renormalized volume and the boundary integral is a conformal invariant. Analogous results are proved for asymptotically hyperbolic metrics in dimension four for which the second elementary symmetric function of the eigenvalues of the Scho…
The study of the $k$-th elementary symmetric function of the Weyl-Schouten curvature tensor of a Riemannian metric, the so called $σ_k$ curvature, has produced many fruitful results in conformal geometry in recent years. In these studies, the deforming conformal factor is considered to be a solution of a fully nonlinear elliptic PDE. Important advances have been made in recent years in the understanding of the analytic behavior of solutions of the PDE. However, the singular behavior of these solutions, which is important in describing many important questions in conformal geometry, is little u…
We introduce new invariants of a Riemannian singular space, the local Yamabe and Sobolev constants, and then go on to prove a general version of the Yamabe theorem under that the global Yamabe invariant of the space is strictly less than one or the other of these local invariants. This rests on a small number of structural assumptions about the space and of the behavior of the scalar curvature function on its smooth locus. The second half of this paper shows how this result applies in the category of smoothly stratified pseudomanifolds, and we also prove sharp regularity for the solutions on t…
We construct large families of initial data sets for the vacuum Einstein equations with positive cosmological constant which contain exactly Delaunay ends; these are non-trivial initial data sets which coincide with those for the Kottler-Schwarzschild-de Sitter metrics in regions of infinite extent. From the purely Riemannian geometric point of view, this produces complete, constant positive scalar curvature metrics with exact Delaunay ends which are not globally Delaunay. The ends can be used to construct new compact initial data sets via gluing constructions. The construction provided applie…
Complete, conformally flat metrics of constant positive scalar curvature on the complement of $k$ points in the $n$-sphere, $k \ge 2$, $n \ge 3$, were constructed by R\. Schoen [S2]. We consider the problem of determining the moduli space of all such metrics. All such metrics are asymptotically periodic, and we develop the linear analysis necessary to understand the nonlinear problem. This includes a Fredholm theory and asymptotic regularity theory for the Laplacian on asymptotically periodic manifolds, which is of independent interest. The main result is that the moduli space is a locally rea…
Motivated by the work of Li and Mantoulidis, we study singular metrics which are uniformly Euclidean $(L^\infty)$ on a compact manifold $M^n$ ($n\ge 3$) with negative Yamabe invariant $σ(M)$. It is well-known that if $g$ is a smooth metric on $M$ with unit volume and with scalar curvature $R(g)\ge σ(M)$, then $g$ is Einstein. We show, in all dimensions, the same is true for metrics with edge singularities with cone angles $\leq 2π$ along codimension-2 submanifolds. We also show in three dimension, if the Yamabe invariant of connected sum of two copies of $M$ attains its minimum, then the same …
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 give new examples of closed smooth 4-manifolds which support singular metrics of nonpositive curvature, but no smooth ones, thereby answering affirmatively a question of Gromov. The obstruction comes from patterns of incompressible 2-tori sufficiently complicated to force branching of geodesics for nonpositively curved metrics.
When the rank of the bundle is $\geq 2$, in a certain sense, we found an essential obstruction for the gluing construction of $G_{2}-$instantons with $1-$dimensional singularities. It involves the Atiyah classes generated by contracting a vector in $\mathbb{C}^{3}$ with the curvature. Intuitively speaking, the gluing does not work if the tangent connection at a component of the $1-$dimensional singular locus is not the twisted Fubini-Study connection on a twisted tangent bundle of $\mathbb{P}^{2}$. Particularly, it fails if the rank of the bundle is $\geq 3$.
We develop a universal distributional calculus for regulated volumes of metrics that are singular along hypersurfaces. When the hypersurface is a conformal infinity we give simple integrated distribution expressions for the divergences and anomaly of the regulated volume functional valid for any choice of regulator. For closed hypersurfaces or conformally compact geometries, methods from a previously developed boundary calculus for conformally compact manifolds can be applied to give explicit holographic formulae for the divergences and anomaly expressed as hypersurface integrals over local qu…
In this paper, we study the geometric aspects of ball packings on $(M,\mathcal{T})$, where $\mathcal{T}$ is a triangulation on a 3-manifold $M$. We introduce a combinatorial Yamabe invariant $Y_{\mathcal{T}}$, depending on the topology of $M$ and the combinatoric of $\mathcal{T}$. We prove that $Y_{\mathcal{T}}$ is attainable if and only if there is a constant curvature packing, and the combinatorial Yamabe problem can be solved by minimizing Cooper-Rivin-Glickenstein functional. We then study the combinatorial Yamabe flow introduced by Glickenstein \cite{G0}-\cite{G2}. We first prove a small …
We find an obstruction to the existence of non-singular solutions to the normalized Ricci flow on four-manifolds with $b^+=1$. By using this obstruction, we study the relationship between the existence or non-existence of non-singular solutions of the normalized Ricci flow and exotic smooth structures on the topological 4-manifolds ${\mathbb C}{P}^2 # l \overline{{\mathbb C}{P}^2}$, where $5 \leq l \leq 8$.
The paper introduces a number of new techniques to handle minimal hyersurface singularities. In particular, they allow to extend the obstruction theory for postive scalr curvature to any dimension.