pith. sign in

arxiv: 2603.08955 · v3 · submitted 2026-03-09 · 🧮 math.DG

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

Juan Miguel Ruiz , Areli V\'azquez Ju\'arez This is my paper

Pith reviewed 2026-05-15 13:00 UTC · model grok-4.3

classification 🧮 math.DG
keywords Yamabe equationproduct manifoldsK-peak solutionsconcentrationscalar curvaturecritical pointssubcritical approximation
0
0 comments X

The pith

If Φ has a stable isolated critical point, the subcritical Yamabe equation on the product manifold has positive K-peak solutions concentrating there for small ε.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how to produce multi-peak solutions to a subcritical Yamabe equation on Riemannian products M × X when X has constant positive scalar curvature. The construction works whenever the scalar curvature of g on M is constant or a fixed dimensional constant β vanishes. In these cases the existence of K-peak solutions reduces to the existence of stable isolated critical points of an auxiliary function Φ built from the scalar curvature, Ricci curvature, and full curvature tensor of g. When such a point ξ₀ exists, solutions with any prescribed number of peaks appear for all sufficiently small scaling parameters ε and concentrate at ξ₀. The result completes earlier theorems that required non-degenerate critical points and nonzero β.

Core claim

If ξ₀ is a stable, isolated critical point of Φ, then for each K ∈ ℕ there exists ε₀ > 0 such that for every ε ∈ (0, ε₀) the equation −ε² Δ_g u + (1 + c ε² s_g) u = u^q admits a positive K-peak solution concentrating around ξ₀ on the product (M × X, g + ε² h).

What carries the argument

The auxiliary function Φ on M, constructed from s_g, |Ric_g| and |Rm_g|, whose stable isolated critical points determine the locations and existence of the concentrating K-peak solutions.

If this is right

  • For every natural number K, K-peak solutions exist on the product for all sufficiently small ε.
  • The Yamabe equation on the Riemannian product (M × X, g + ε² h) possesses positive solutions when ε is small.
  • The result covers the remaining cases in which s_g is constant or the dimensional constant β vanishes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction to critical points of Φ may produce concentrating solutions for other semilinear elliptic equations on product manifolds.
  • Explicit computation of Φ on standard examples such as spheres or flat tori would locate the concentration points of the solutions.
  • The construction suggests that the Yamabe problem on products can be reduced to a finite-dimensional variational problem on one factor once the other factor has constant positive scalar curvature.

Load-bearing premise

X has constant positive scalar curvature and ξ₀ is a stable isolated critical point of the auxiliary function Φ.

What would settle it

Exhibit a product manifold where Φ possesses a stable isolated critical point yet the subcritical Yamabe equation has no K-peak solutions for arbitrarily small ε.

read the original abstract

Let $(M^n, g)$ and $(X^m, h)$ be closed manifolds $m, n>2$, such that $(X, h)$ has constant positive scalar curvature. We consider the one parameter family of products $(M\times X, g+\epsilon^2 h)$, $\epsilon>0$. We prove that if either the scalar curvature of $g$, $s_g$, is constant or a certain dimensional constant $\beta=0$, there is some function $\Phi:M\rightarrow \mathbb{R}$ that depends on $s_g$, the norm of the Ricci curvature of $g$ and the norm of the curvature tensor of $g$; such that if $\xi_0$ is a stable, isolated, critical point of $\Phi$, then for each $K\in\mathbb{N}$, there is some $\epsilon_0>0$ such that for every $\epsilon \in (0,\epsilon_0)$ the subcritical Yamabe equation $-\epsilon^2\Delta_g u+(1+{\bf{c}}\epsilon^2 s_g)u=u^q$ has a positive $K-$peak solution, which concentrates around $\xi_0$. Here, ${\bf{c}}=\frac{N-2}{4(N-1)}$, $q=\frac{N+2}{N-2}$ and $N=n+m$. This provides solutions for the Yamabe equation on Riemannian products $(M\times X, g+\epsilon^2 h)$ and covers some remaining cases of previous results which handle the case where $s_g$ has non-degenerate critical points and $\beta\neq0$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that on the product manifold (M^n × X^m, g + ε² h) with (X, h) of constant positive scalar curvature, if either s_g is constant or the dimensional constant β vanishes, there exists an auxiliary function Φ : M → ℝ depending on s_g, |Ric_g| and |Rm_g| such that whenever ξ₀ is a stable isolated critical point of Φ, then for every K ∈ ℕ there is ε₀ > 0 so that the subcritical Yamabe equation −ε² Δ_g u + (1 + c ε² s_g) u = u^q admits a positive K-peak solution concentrating at ξ₀ for all ε ∈ (0, ε₀). The construction proceeds by Lyapunov-Schmidt reduction about a K-bubble approximate solution whose centers cluster near ξ₀.

Significance. If the analytic estimates and finite-dimensional reduction are valid, the result supplies a clean extension of earlier multi-peak constructions for the Yamabe equation on products, covering precisely the cases in which s_g is constant or β = 0. The derivation of Φ directly from the curvature invariants of g, together with the stability hypothesis on its critical points, yields solutions for arbitrary K and thereby strengthens the existence theory for the Yamabe problem in product geometries.

minor comments (3)
  1. [Introduction] §1 (Introduction): the precise algebraic expression for the auxiliary function Φ in terms of s_g, |Ric_g| and |Rm_g| should be displayed explicitly rather than deferred entirely to later sections, so that the dependence on the background geometry is visible at the outset.
  2. [Main theorem] The notation for the constant c = (N−2)/4(N−1) and the exponent q = (N+2)/(N−2) is introduced only in the abstract; repeating the definitions in the statement of the main theorem would improve readability.
  3. [Abstract] The error estimates controlling the remainder after the Lyapunov-Schmidt reduction are mentioned but not quantified in the abstract; a brief indication of the order of the error term would help the reader assess the range of ε for which the construction works.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment. The recommendation for minor revision is appreciated, and we will incorporate any minor suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper proves conditional existence of K-peak solutions to the subcritical Yamabe equation on product manifolds via Lyapunov-Schmidt reduction around a clustered K-bubble approximate solution. The auxiliary function Φ is explicitly constructed from the scalar curvature s_g, |Ric_g|, and |Rm_g| of the background metric g (under the standing assumption of constant positive scalar curvature on the second factor or β=0); it is not defined in terms of the solution u or any fitted parameter. The stability and isolation of the critical point ξ₀ of Φ is the standard non-degeneracy hypothesis that guarantees a critical point for the reduced finite-dimensional functional, after which standard elliptic estimates close the argument. No step renames a fitted quantity as a prediction, no load-bearing premise reduces to a self-citation chain, and the derivation does not invoke any uniqueness theorem or ansatz imported from the authors' prior work in a circular manner. The result is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard elliptic theory and variational methods for the Yamabe equation; no new free parameters are introduced beyond the small scaling ε, and no new entities are postulated.

axioms (2)
  • standard math Closed manifolds admit Sobolev embeddings and elliptic regularity for the conformal Laplacian.
    Invoked implicitly when constructing solutions via Lyapunov-Schmidt reduction.
  • domain assumption (X, h) has constant positive scalar curvature.
    Stated in the setup and used to simplify the background scalar curvature on the product.

pith-pipeline@v0.9.0 · 5590 in / 1488 out tokens · 39972 ms · 2026-05-15T13:00:37.259986+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Akutagawa.The Yamabe invariant, Sugaku Expositions

    K. Akutagawa.The Yamabe invariant, Sugaku Expositions. Volume 34, Number 1. (2021), 1–34

    work page 2021

  2. [2]

    Aubin,Equations differentielles non-lineaires et probleme de Yamabe concernant la courbure scalaire, J

    T. Aubin,Equations differentielles non-lineaires et probleme de Yamabe concernant la courbure scalaire, J. Math. Pures Appl.55(1976), 269-296

    work page 1976

  3. [3]

    Betancourt, J

    A. Betancourt, J. Julio-Batalla, J. Petean,Global bifurcation techniques for Yamabe type equa- tions on Riemannian manifolds. Nonlinear Analysis, Vol. 202. 112-140 (2021)

    work page 2021

  4. [4]

    E. N. Dancer, A. M. Micheletti, A. Pistoia,Multipeak solutions for some singularly perturbed nonlinear elliptic problems on Riemannian manifolds, Manuscripta Math. 128 (2009), 163-193

    work page 2009

  5. [5]

    D´ avila and I

    J. D´ avila and I. H. MuniveSolutions of the Yamabe Equation by Lyapunov–Schmidt Reduction. The Journal of Geometric Analysis. Vol. 31, 8080–8104, (2021)

    work page 2021

  6. [6]

    Piccione, M

    De Lima, P. Piccione, M. Zedda,On bifurcation of solutions of the Yamabe problem in product manifolds, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eare29(2012) 261–277

    work page 2012

  7. [7]

    S. Deng, M. Musso, A. Pistoia.Concentration on minimal submanifolds for a Yamabe-type problem. Comm. Partial Differential Equations 41 (2016), no. 9, 1379-1425

    work page 2016

  8. [8]

    S. Deng, Z. Khemiri and F. Mahmoudi,On spike solutions for a singularly perturbed problem in a compact Riemannian manifold. Commun. Pure Appl. Anal. 17 (2018), no. 5, 2063–2084

    work page 2018

  9. [9]

    Gray.The volume of a small geodesic ball of a Riemannian manifold

    A. Gray.The volume of a small geodesic ball of a Riemannian manifold. Michigan Math. J. 20(4), 329-344 (1974)

    work page 1974

  10. [10]

    Henry, J

    G. Henry, J. Petean,Isoparametric hypersurfaces and metrics of constant scalar curvature, Asian J. Math.18, 53-68, (2014)

    work page 2014

  11. [11]

    M. K. Kwong,Uniqueness of positive solutions of∆u−u+u p = 0inR n, Arch. Rational Mech. Anal. 105, 243–266 (1989)

    work page 1989

  12. [12]

    A. M. Micheletti, A. Pistoia,The role of the scalar curvature in a nonlinear elliptic problem on Riemannian manifolds, Calc. Var. 34 (2009), 233-265

    work page 2009

  13. [13]

    Obata,The conjectures on conformai transformations of Riemannian manifolds, J

    M. Obata,The conjectures on conformai transformations of Riemannian manifolds, J. Diff. Geom. 6 (1971), 247-258

    work page 1971

  14. [14]

    Otoba, J

    N. Otoba, J. Petean,Bifurcation for the constant scalar curvature equation and harmonic Rie- mannian submersions, The Journal of Geometric Analysis.30, 4. 4453-4463. (2019)

    work page 2019

  15. [15]

    Otoba, J

    N. Otoba, J. Petean,Metrics of constant scalar curvature on sphere bundles, Differential Geom. Appl.46(2016) 146–163

    work page 2016

  16. [16]

    T. H. Parker and J. M. Lee,The Yamabe Problem, Bull. of the Amer. Math. Soc.17, 1, (1987), 37-91

    work page 1987

  17. [17]

    Petean,Metrics of constant scalar curvature conformal to Riemannian products, Proc

    J. Petean,Metrics of constant scalar curvature conformal to Riemannian products, Proc. Amer. Math. Soc.138, 2897–2905, (2010)

    work page 2010

  18. [18]

    Petean,Multiplicity results for the Yamabe equation by Lusternik-Schnirelmann theory, J

    J. Petean,Multiplicity results for the Yamabe equation by Lusternik-Schnirelmann theory, J. Funct. Anal. 276, 6. 1788-1805 (2019)

    work page 2019

  19. [19]

    C. A. Rey and J. M. Ruiz,Multipeak Solutions for the Yamabe Equation, The Journal of Geometric Analysis. Vol. 31, 1180–1222, (2021)

    work page 2021

  20. [20]

    J. M. RuizMultiplicity of solutions to the Yamabe equation on warped productsJournal of Geometry and Physics. 138 44-54 (2019)

    work page 2019

  21. [21]

    Schoen,Conformal deformation of a Riemannian metric to constant scalar curvature, J

    R. Schoen,Conformal deformation of a Riemannian metric to constant scalar curvature, J. Differential Geometry20(1984), 479-495

    work page 1984

  22. [22]

    Trudinger,Remarks concerning the conformal deformation of Riemannian structures on compact manifolds, Ann

    N. Trudinger,Remarks concerning the conformal deformation of Riemannian structures on compact manifolds, Ann. Scuola Norm. Sup. Pisa (3)22(1968), 265–274

    work page 1968

  23. [23]

    Yamabe,On a deformation of Riemannian structures on compact manifolds, Osaka Math

    H. Yamabe,On a deformation of Riemannian structures on compact manifolds, Osaka Math. J.12(1960), 21-37

    work page 1960