A gluing construction of singular solutions for a fully non-linear equation in conformal geometry

This paper demonstrates that the classical Mazzeo-Pacard gluing method can be successfully extended to construct singular solutions for the fully non-linear $\sigma_2$-Yamabe equation in dimensions $n>4$, provided the singular set consists of disjoint closed submanifolds with dimensions strictly less than $(n-\sqrt{n}-2)/2$.

The Gist

Here is an explanation of the paper "A Gluing Construction of Singular Solutions for a Fully Non-Linear Equation in Conformal Geometry," translated into everyday language with creative analogies.

The Big Picture: Fixing a Broken Universe

Imagine you have a perfect, smooth, round balloon (this represents a Riemannian manifold, or a geometric universe). In mathematics, we often want to change the shape of this balloon without tearing it, stretching it like a rubber sheet. This is called a conformal change.

Usually, we want the balloon to have a specific "curvature" everywhere—like making sure the air pressure is just right everywhere on the surface. This is the famous Yamabe problem. Mathematicians have solved this for simple cases for a long time.

But what if you want the balloon to have a hole? Or a crack? Or a specific line where the surface is infinitely sharp? This paper tackles a much harder version: How do we create a perfectly smooth universe everywhere, except for a specific, pre-determined "scar" or "singularity," while keeping the physics (curvature) consistent?

The authors, Maria Fernanda Espinal and María del Mar González, show how to "glue" a perfect, smooth universe together with a special, singular piece to create a new, valid universe with a hole in it.

The Main Characters

1. The Background Universe ($M$): A smooth, closed, perfect shape (like a sphere or a donut).
2. The Scar ($\Lambda$): A specific line or surface inside the universe where we want to create a singularity (a point of infinite curvature). Think of it as a "crack" in the fabric of space.
3. The Equation ($\sigma_2$-Yamabe): This is the rulebook. It's a fully non-linear equation.
   • Analogy: Imagine trying to bake a cake where the recipe changes depending on how much you've already mixed. If you add a cup of flour, the amount of sugar you need changes in a complex, non-straightforward way. This equation is like that: the rules of geometry change based on the shape itself. It's much harder than a simple linear recipe (like the standard heat equation).

The Challenge: The "Gluing" Problem

The authors want to take their smooth universe and insert a "singular" piece (a piece that blows up to infinity at the scar) into it.

• The Old Way (Scalar Curvature): For simpler problems (like the standard heat equation), mathematicians Mazzeo and Pacard developed a "gluing method" in 1996. They would take a model of a singularity (a "plug") and try to weld it onto the smooth universe.
• The New Problem: The equation in this paper is fully non-linear. This means you can't just weld the pieces together easily. The "glue" (the math) reacts violently if you aren't careful. The shape of the universe changes the rules of the glue, and the glue changes the shape.

The Solution: A Masterful Glue Job

The authors prove that you can use the old gluing method, even for this super-hard non-linear equation, but you have to be very clever about it.

Here is their step-by-step process, using an analogy:

1. The "Prototype" Singularity (The Model)

First, they look at a simple, flat universe (like an infinite sheet of paper) with a line drawn on it. They find a perfect mathematical solution that creates a singularity exactly on that line.

• Analogy: Imagine they found a perfect, pre-made "crack" in a piece of glass that follows a specific mathematical curve. They know exactly how the glass bends around this crack.

2. The "Neck" Region (The Transition)

This is the hardest part. They need to take that perfect crack from the flat glass and attach it to their curved, smooth universe.

• The Problem: If you just tape them together, the tension will rip the universe apart. The "neck" (the area where the smooth universe meets the crack) is a high-stress zone.
• The Trick: They use a cutoff function. Imagine slowly fading the "crack" into the "smoothness" over a very small distance. They construct an "approximate solution"—a universe that is almost perfect, but has a tiny error in the neck region.

3. The "Linearized" Check (Testing the Glue)

Before they can fix the error, they need to know if the universe is stable. They look at the linearized operator.

• Analogy: Imagine you have a wobbly table. You push it slightly to see how it reacts. Does it fall over? Does it spring back?
• The authors prove that for this specific equation, the "table" (the linearized operator) is very stable. It has "good mapping properties." This means that if you push the universe slightly (add a small correction), it reacts in a predictable, controllable way. This is the key mathematical breakthrough: proving that the complex, non-linear equation behaves nicely enough to be fixed.

4. The "Fixed Point" Argument (The Final Polish)

Now that they have an approximate solution and know the universe is stable, they use a perturbation argument.

• Analogy: You have a rough draft of a sculpture. You know exactly how to chip away a little bit of stone here and add a little bit there to make it perfect. Because the "glue" is so stable, they can mathematically prove that there exists a tiny, perfect adjustment that turns their "rough draft" universe into a perfect solution.

The Result

They successfully construct an infinite family of solutions.

• What it looks like: A smooth, curved universe that is perfectly valid everywhere, except for a specific line (or surface) where the curvature becomes infinite.
• The Constraint: The "scar" (the singular set) cannot be too big. It has to be a specific size relative to the universe. If the scar is too wide, the universe collapses. The paper calculates exactly how wide the scar can be.

Why This Matters

1. Breaking the Barrier: It shows that the "gluing method," which was previously thought to only work for simple equations, can actually handle these incredibly complex, non-linear equations.
2. New Geometries: It opens the door to creating new types of geometric shapes that were previously thought impossible to construct mathematically.
3. Physics Implications: In physics, singularities often represent black holes or the Big Bang. Understanding how to mathematically construct and control these singularities helps us understand the fundamental rules of the universe.

In a Nutshell

The authors took a complex, non-linear puzzle (the $\sigma_2$-Yamabe equation) and showed that you can "glue" a perfect singularity into a smooth universe. They did this by proving that the "glue" is strong and stable enough to hold the pieces together, even though the rules of the game change depending on how you stretch the fabric of space. It's a masterclass in mathematical engineering, turning a theoretical impossibility into a constructed reality.

Technical Summary

Here is a detailed technical summary of the paper "A Gluing Construction of Singular Solutions for a Fully Non-Linear Equation in Conformal Geometry" by Maria Fernanda Espinal and María del Mar González.

1. Problem Statement

The paper addresses the $\sigma_2$-Yamabe problem on a compact Riemannian manifold $(M, g)$ of dimension $n > 4$. Specifically, the authors seek to construct conformal metrics with constant positive $\sigma_2$-curvature that possess a prescribed singular set $\Lambda$.

• The Equation: The problem is formulated as a fully non-linear Partial Differential Equation (PDE) for the conformal factor $u$. The $\sigma_2$-curvature is defined as the second elementary symmetric polynomial of the eigenvalues of the Schouten tensor $A_g$. The equation is:
  $$\sigma_2(g_u^{-1} A_{g_u}) = c$$
  where $g_u = u^{\frac{8}{n-4}}g$ is the conformal metric.
• The Singularity: The singular set $\Lambda$ is a closed, connected submanifold of dimension $p$. The paper investigates solutions that are singular exactly on $\Lambda$ and satisfy the asymptotic behavior:
  $$u(x) \sim \frac{1}{\text{dist}(x, \Lambda)^{\frac{n-4}{4}}} \quad \text{as } x \to \Lambda.$$
• Constraints: The dimension $p$ must satisfy $0 < p < p_2$, where$p_2 = \frac{n - \sqrt{n-2}}{2}$. The background metric is assumed to be non-degenerate and in the positive$\Gamma_2^+$cone (where$\sigma_1, \sigma_2 > 0$).

2. Methodology

The authors employ a gluing construction, adapting the classical method developed by Mazzeo and Pacard for the semi-linear scalar curvature problem ($k=1$) to the fully non-linear setting ($k=2$). The methodology proceeds in several stages:

A. Model Solution Construction

• They utilize a known model solution $U_1$ on $\mathbb{R}^n \setminus \mathbb{R}^p$ (which corresponds to $S^n \setminus S^p$ via stereographic projection).
• This model solution has constant $\sigma_2$-curvature and exhibits the required fast decay at infinity and specific blow-up rate near the singularity.
• A rescaled family $U_\epsilon$ is constructed to serve as the local model near the singularity.

B. Approximate Solution via Gluing

• Cutoff and Transplantation: The authors construct an approximate solution $\bar{u}_\epsilon$ on $M \setminus \Lambda$ by gluing the model solution $U_\epsilon$ to the background metric $g_M$.
• Refined Cutoff: Unlike the semi-linear case, a simple cutoff does not guarantee the metric remains in the positive $\Gamma_2^+$ cone. The authors use a refined gluing technique (based on Guan-Wang) involving a transition function $\phi(r)$ to ensure the Schouten tensor remains in the positive cone throughout the "neck" region.
• Error Analysis: They analyze the error term $f_\epsilon = N(\bar{u}_\epsilon, g_M)$, showing it is small in appropriate weighted norms.

C. Linearization and Functional Analysis

The core of the paper lies in analyzing the linearized operator $L_\epsilon$ around the approximate solution.

• Structure: The linearized operator is identified as an edge operator (in the sense of Mazzeo).
• Indicial Roots: The authors compute the indicial roots of the linearized operator at the singularity ($r \to 0$) and at infinity ($r \to \infty$). These roots determine the mapping properties of the operator in weighted spaces.
  • They prove that for $k=2$, the indicial roots allow for the selection of weight parameters $\mu$ and $\nu$ such that the operator is invertible.
• Weighted Spaces: The analysis is conducted in weighted Hölder spaces $C^{2,\alpha}_\mu(M \setminus \Lambda)$ and weighted Sobolev spaces $L^2_\delta$.
• Injectivity and Surjectivity:
  • Injectivity: They prove the linearized operator is injective by analyzing the kernel. This involves studying the limit operators $L^{(0)}$ (near singularity) and $L^{(\infty)}$ (far field) and using rotational invariance and dilation arguments to show no non-trivial solutions exist in the kernel.
  • Surjectivity: Using the Fredholm properties of edge operators and the injectivity of the adjoint, they establish the existence of a bounded right inverse (Green's operator) with norms independent of $\epsilon$.

D. Fixed Point Argument

• The non-linear problem is rewritten as a fixed-point equation: $\phi = -G_\epsilon(Q_\epsilon[\phi] + f_\epsilon)$, where $Q_\epsilon$ represents the quadratic non-linear terms.
• Using the uniform bounds on the inverse operator and the smallness of the error term $f_\epsilon$, they apply the Banach Fixed Point Theorem to prove the existence of a true solution $\phi$ close to the approximate solution.

3. Key Contributions

1. Extension to Fully Non-Linear Setting: The primary contribution is demonstrating that the Mazzeo-Pacard gluing scheme, previously limited to semi-linear equations (scalar curvature), can be successfully adapted to the fully non-linear $\sigma_2$-Yamabe equation. This required overcoming significant technical hurdles regarding the structure of the Schouten tensor and the preservation of the $\Gamma_2^+$ cone.
2. Conformal Properties: The authors leverage the specific conformal equivariance of the $\sigma_2$ equation to show that the linearized operator possesses "good mapping properties" in weighted spaces, despite the non-linearity.
3. Indicial Root Analysis: A detailed computation of the indicial roots for the linearized $\sigma_2$ operator is provided, establishing the precise range of dimensions $p$ for which the construction works ($p < \frac{n - \sqrt{n-2}}{2}$).
4. Existence of Singular Solutions: The paper proves the existence of an infinite-dimensional family of complete conformal metrics with constant positive $\sigma_2$-curvature and singularities along a submanifold $\Lambda$.

4. Main Results

• Theorem 1.1: Let $(M, g_M)$ be a compact, non-degenerate Riemannian manifold of dimension $n > 4$ with positive $\sigma_2$-curvature. If $\Lambda \subset M$ is a closed submanifold of dimension $p$ satisfying $0 < p < \frac{n - \sqrt{n-2}}{2}$, then there exists an infinite-dimensional family of solutions to the$\sigma_2$-Yamabe equation on$M \setminus \Lambda$. These solutions are singular exactly on$\Lambda$and define complete metrics with constant positive$\sigma_2$-curvature.
• Asymptotic Behavior: The solutions satisfy $u(x) \sim \text{dist}(x, \Lambda)^{-\frac{n-4}{4}}$ near the singularity.

5. Limitations and Future Directions

• Positivity: While the constructed solution $u$ is positive near the singularity $\Lambda$, the authors cannot guarantee $u > 0$ everywhere on $M \setminus \Lambda$. The approximate solution is not sharp enough in the "neck" region to ensure global positivity. They conjecture that a more refined approximate solution (perhaps using a Schwarzschild-type metric in the neck, as done in related works) could resolve this.
• General $k$: The computational complexity restricts the main theorem to $k=2$. The authors conjecture that the result holds for general $k$ ($2 \le k < n/2$), but the algebraic complexity of the Newton tensors for higher$k$ presents significant obstacles.

6. Significance

This work is a significant advancement in Conformal Geometry and Geometric Analysis. It bridges the gap between semi-linear and fully non-linear geometric PDEs, showing that powerful gluing techniques are robust enough to handle the complexities of the $\sigma_k$-curvature equations. The results provide new examples of complete metrics with constant curvature and singular sets, expanding the known landscape of solutions to the Yamabe problem and contributing to the understanding of the geometry of manifolds with singularities.