On K-peak solutions for the Yamabe equation on product manifolds

This paper proves that for a product manifold $(M \times X, g+\epsilon^2 h)$ where $(X,h)$ has constant positive scalar curvature, the subcritical Yamabe equation admits $K$-peak positive solutions for any $K \in \mathbb{N}$ when $\epsilon$ is sufficiently small, provided the scalar curvature of $g$ is constant or a specific dimensional constant vanishes and $\xi_0$ is a stable critical point of a curvature-dependent function.

The Gist

Here is an explanation of the paper "On K-Peak Solutions for the Yamabe Equation on Product Manifolds" using simple language and creative analogies.

The Big Picture: Smoothing Out a Bumpy World

Imagine you have a piece of fabric (a manifold). In mathematics, this fabric represents the shape of space. Sometimes, this fabric is bumpy, wrinkled, or has weird curves.

The Yamabe Problem is a famous mathematical quest that asks: "Can we stretch or shrink this fabric (without tearing it) so that every single point on it has the exact same level of 'bumpiness' (scalar curvature)?"

Mathematicians have known for a long time that you can usually find one way to smooth this fabric out perfectly. But a bigger, trickier question remains: Is that the only way? Or are there other, more complex ways to smooth it out that create interesting patterns?

The Setup: A Two-Layer Cake

In this paper, the authors look at a specific type of space made by stacking two shapes together, like a two-layer cake:

1. The Bottom Layer ($M$): A large, complex, and slightly bumpy world.
2. The Top Layer ($X$): A tiny, perfectly round, and smooth sphere (or similar shape) that is glued on top.

They are studying what happens when the top layer gets microscopically thin. Imagine the top layer is a sheet of paper, and they keep folding it until it's almost invisible. This is represented by the variable $\epsilon$ (epsilon) getting smaller and smaller.

The Discovery: Creating "Peaks"

The authors discovered that as that top layer gets thinner, you can create solutions to the smoothing problem that look like mountain ranges.

Instead of the whole fabric being perfectly flat, you can create a solution that has $K$ distinct peaks (mountains).

• If $K=1$, you get one mountain.
• If $K=10$, you get a range of 10 mountains.
• The paper proves you can create any number of these mountains ($K$), as long as you make the top layer thin enough.

The Secret Map: Where Do the Mountains Go?

The most interesting part of the paper is figuring out where these mountains will stand. You can't just put them anywhere; they need to be in specific "sweet spots."

The authors found that the location of these peaks is determined by a special mathematical map (called a functional $\Phi$). Think of this map as a topographical chart of the bottom layer ($M$).

• The Rule: The mountains will form at the stable "high points" or "low points" on this map.
• The Ingredients: This map isn't just about how bumpy the fabric is. It's a complex recipe that mixes:
  • How the curvature changes (the slope of the bumps).
  • The "Ricci curvature" (how the fabric stretches in different directions).
  • The "Riemann curvature tensor" (the full, detailed geometry of the wrinkles).

If the bottom layer is perfectly uniform (constant curvature), the peaks form based on the geometry of the wrinkles themselves. If the bottom layer is uneven, the peaks form based on the specific "stable" spots where the curvature is balanced.

The Analogy: The "Lemonade Stand" Game

Imagine you are setting up $K$ lemonade stands on a hilly campus (the manifold $M$).

1. The Goal: You want to set them up so that the "wind" (the mathematical forces) balances perfectly, and no stand gets blown over.
2. The Constraint: You can only set them up if the "sun" (the top layer $X$) is very small.
3. The Strategy: You look at a special weather map ($\Phi$) that tells you where the wind is most stable.
   • If the map says "Go to the top of the hill," you put a stand there.
   • If the map says "Go to the valley," you put a stand there.
4. The Result: The paper proves that if you follow this map, you can successfully set up any number of stands ($K$), and they will stay perfectly balanced, even though they are very close to each other (but far enough apart to not crash into one another).

Why Does This Matter?

Before this paper, mathematicians knew how to find solutions with peaks in some specific cases (like when the bottom layer was very bumpy). However, there were "leftover" cases where the math didn't quite work out with the old methods.

This paper fills in those gaps. It shows that even when the bottom layer is perfectly smooth (constant curvature) or when a specific mathematical constant ($\beta$) is zero, you can still create these complex, multi-peak solutions.

In short: The authors proved that nature (or at least, the math describing space) is more flexible than we thought. Even in very smooth, uniform environments, if you look closely enough (by making the extra dimension tiny), you can find complex, multi-peaked structures hiding in plain sight, governed by a precise geometric map.

Technical Summary

Here is a detailed technical summary of the paper "On K-Peak Solutions for the Yamabe Equation on Product Manifolds" by Juan Miguel Ruiz and Areli Vázquez Juárez.

1. Problem Statement

The paper addresses the Yamabe problem on a specific class of product manifolds. Let $(M^n, g)$ and $(X^m, h)$ be closed manifolds with dimensions $n, m > 2$. The manifold $(X, h)$ is assumed to have constant positive scalar curvature. The authors consider the one-parameter family of product metrics:
$$(M \times X, g_\epsilon) \quad \text{where} \quad g_\epsilon = g + \epsilon^2 h, \quad \epsilon > 0.$$

The goal is to find positive solutions to the subcritical Yamabe equation on $(M \times X, g_\epsilon)$:
$$-\epsilon^2 \Delta_{g_\epsilon} u + (1 + c \epsilon^2 s_g) u = u^{q},$$
where $N = n+m$, $q = \frac{N+2}{N-2}$, $c = \frac{N-2}{4(N-1)}$, and $s_g$ is the scalar curvature of $(M, g)$.

The Core Challenge:
Previous work (specifically reference [18]) established the existence of $K$-peak solutions concentrating around isolated critical points of the scalar curvature $s_g$ under the condition that a specific dimensional constant $\beta \neq 0$.
This paper investigates the remaining cases where:

1. The scalar curvature $s_g$ is constant, OR
2. The dimensional constant $\beta = 0$.

In these scenarios, the standard reduction to critical points of $s_g$ fails, requiring a new functional to determine the concentration points of the solutions.

2. Methodology

The authors employ the Lyapunov-Schmidt reduction method, a standard technique in nonlinear elliptic PDEs on manifolds for constructing multi-peak solutions. The methodology proceeds through the following steps:

A. Approximate Solution Construction

1. Limit Equation: They utilize the unique, positive, radially symmetric solution $U \in H^1(\mathbb{R}^n)$ to the limit equation $-\Delta U + U = U^{p-1}$ (where $p = \frac{2n}{n-2}$).
2. Local Peaks: For a point $\xi \in M$, they construct a localized approximate solution $W_{\epsilon, \xi}$ by scaling $U$ and cutting it off using a smooth radial function $\chi_r$ within a geodesic ball $B_g(\xi, r)$.
3. Multi-Peak Ansatz: For $K$ distinct points $\bar{\xi} = (\xi_1, \dots, \xi_K) \in M^K$, they define an approximate solution:
   $$Y_{\epsilon, \bar{\xi}} = \sum_{i=1}^K (W_{\epsilon, \xi_i} + \epsilon^2 V_{\epsilon, \xi_i})$$
   Here, $V_{\epsilon, \xi}$ is a second-order correction term derived from solving a linearized equation involving the curvature of $M$.

B. Energy Functional Expansion

The authors analyze the energy functional $J_\epsilon(u)$ associated with the equation. They perform a precise asymptotic expansion of the energy evaluated at the approximate solution $Y_{\epsilon, \bar{\xi}}$ up to order $\epsilon^4$.
The expansion takes the form:
$$\bar{J}_\epsilon(\bar{\xi}) = K\alpha + \epsilon^2 \frac{\beta}{2} \sum s_g(\xi_i) + \epsilon^4 \sum \Phi(\xi_i) - \frac{1}{2} \sum_{i \neq j} \gamma_{ij} U\left(\frac{d(\xi_i, \xi_j)}{\epsilon}\right) + o(\epsilon^4)$$

• $\alpha, \beta$: Dimensional constants derived from integrals of the limit solution $U$.
• $\gamma_{ij}$: Interaction terms between peaks.
• $\Phi(\xi)$: A new reduced functional that becomes the dominant term when $\beta = 0$ or $s_g$ is constant.

C. The Reduced Functional $\Phi$

When the $\epsilon^2$ term vanishes (due to $\beta=0$ or constant $s_g$), the location of the peaks is determined by the critical points of the functional $\Phi: M \to \mathbb{R}$:
$$\Phi(\xi) = \frac{1}{120(n+2)} \left( -c_8 \Delta_g s_g(\xi) + c_6 \|\text{Ric}_\xi\|^2 - 3c_1 \|R_\xi\|^2 \right) + c_7 s_g(\xi)^2 + c_9 s_g(\xi)$$
where $R_\xi$ is the curvature tensor, $\text{Ric}_\xi$ is the Ricci curvature, and $c_i$ are constants depending on dimensions $n, m$.

D. Finite Dimensional Reduction

1. Orthogonal Decomposition: The problem is split into an infinite-dimensional part (orthogonal to the kernel of the linearized operator) and a finite-dimensional part (tangent to the manifold of peaks).
2. Invertibility: They prove that the linearized operator restricted to the orthogonal complement is invertible for small $\epsilon$ and well-separated points.
3. Fixed Point Argument: Using the contraction mapping principle, they solve for a perturbation $\phi$ such that $u = Y_{\epsilon, \bar{\xi}} + \phi$ is an exact solution.
4. Critical Point Existence: They show that if $\xi_0$ is an isolated, stable critical point of $\Phi$, then for sufficiently small $\epsilon$, there exist $K$ points $\xi_1^\epsilon, \dots, \xi_K^\epsilon$ clustering near $\xi_0$ that maximize the reduced energy functional, yielding a solution.

3. Key Contributions

1. Resolution of Degenerate Cases: The paper fills a gap in the literature by handling the cases where the scalar curvature $s_g$ is constant or the dimensional constant $\beta$ vanishes. In these cases, the concentration of solutions is no longer driven by $s_g$ alone.
2. Introduction of $\Phi$: The authors derive and identify a new functional $\Phi(\xi)$ that depends on higher-order curvature invariants (Laplacian of scalar curvature, squared norms of Ricci and Riemann curvature tensors). This functional dictates the concentration points in the absence of scalar curvature variation.
3. Multiplicity of Solutions: The paper proves the existence of $K$-peak positive solutions for any integer $K \geq 1$. This demonstrates a high degree of multiplicity for the Yamabe equation on product manifolds, even when the base manifold has constant scalar curvature.
4. Explicit Constants: The paper provides explicit integral formulas for the constants $c_1, \dots, c_9$ and $\beta$, clarifying the dependence on the dimensions $n$ and $m$.

4. Main Results

Theorem 1.1:
Suppose either $\beta = 0$ or $s_g$ is constant. Let $\xi_0 \in M$ be an isolated local $C^1$ stable critical point of the functional $\Phi$. Then, for every positive integer $K$, there exists $\epsilon_0 > 0$ such that for all $\epsilon \in (0, \epsilon_0)$, the Yamabe equation on $(M \times X, g + \epsilon^2 h)$ admits a positive solution $u_\epsilon$ with $K$ peaks.

These peaks concentrate at points $\xi_1^\epsilon, \dots, \xi_K^\epsilon$ such that:

• $d_g(\xi_0, \xi_i^\epsilon) \to 0$ as $\epsilon \to 0$.
• The distance between distinct peaks scales as $d_g(\xi_i^\epsilon, \xi_j^\epsilon) / \epsilon \to \infty$ (peaks are well-separated relative to the scale $\epsilon$).
• The solution converges to the sum of the peaks: $\|u_\epsilon - \sum W_{\epsilon, \xi_i^\epsilon}\|_\epsilon \to 0$.

Corollary/Example:
If $(M, g)$ is an Einstein manifold that does not have constant sectional curvature, the solutions concentrate around the stable critical points of the norm of the curvature tensor $\|R_\xi\|$.

5. Significance

• Geometric Analysis: This work extends the understanding of the Yamabe problem beyond the existence of a single constant scalar curvature metric. It highlights the rich structure of the solution space, showing that multiple non-isometric metrics of constant scalar curvature can exist within the same conformal class on product manifolds.
• Curvature Dependence: It reveals that when the scalar curvature is constant, the geometry of the manifold (specifically the Ricci and Riemann curvature tensors) plays a decisive role in the formation of singularities (peaks) in the conformal factor.
• Methodological Rigor: The paper provides a rigorous framework for handling "degenerate" cases in Lyapunov-Schmidt reductions where lower-order terms in the energy expansion vanish, requiring the analysis of higher-order geometric terms.

In summary, the paper successfully constructs multi-peak solutions for the Yamabe equation on product manifolds in scenarios previously unaddressed, proving that the geometry of the base manifold (via higher-order curvature terms) drives the concentration of solutions when scalar curvature is uniform.