REVIEW 5 major objections 4 minor 44 references
Supercritical elliptic problems on the round sphere and nodal solutions to the Yamabe problem in projective spaces
T0 review · 5 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A Yamabe-type equation on the round sphere admits sign-changing solutions with arbitrarily many prescribed isoparametric nodal components, even for supercritical exponents.
desk verdict Theorem 1.1's p-range overreaches: the proof only supports the exponent from the smaller focal submanifold, but the statement uses the larger one; the rest of the paper is solid enough to warrant review. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the isoparametric function $f:\mathbb{S}^n\to[-1,1]$, a smooth function whose gradient norm and Laplacian depend only on $f$; its regular level sets are isoparametric hypersurfaces and its two singular levels $M_-$ and $M_+$ are focal submanifolds. Writing $u=w\circ f$ transforms the PDE into the singular ODE $w''+\frac{h(r)}{\sin r}w'+\frac{\lambda}{\ell^2}(|w|^{p-1}w-w)=0$ on $[0,\pi]$, where $h$ is strictly decreasing with a single zero. The proof then uses double shooting from the two singular endpoints: two phase-plane curves $I(d)$ and $J(c)$ are defined by evolving with $w'(0)=0$ and $w'(\pi)=0$. An imported oscillation theorem forces the number of zeroes near each endpoint to diverge as $|d|,|c|\to\infty$, while a Pohozaev-type identity shows the curves have unbounded radius; the resulting opposite-oriented spirals must intersect, producing solutions with arbitrarily many zeroes and critical points.
What would settle it
Numerically integrate the singular ODE (2.4) for the case $m_-=m_+=2$, take $p$ close to the endpoint $(m_++3)/(m_+-1)=5$, and count the zeroes of $w_d$ in a small interval $(0,\varepsilon)$ as $d$ grows; if the zero count does not diverge to infinity, the oscillation theorem's range is not valid and the double-shooting intersections cannot be forced.
Extended reading notes
Core claim
On its own terms, the paper establishes that the equation $-\Delta_{g_0}u+\lambda u=\lambda|u|^{p-1}u$ on $\mathbb{S}^n$, with $\lambda>0$ and $p>1$, admits a nodal solution $u_k$ for every $k\in\mathbb{N}$ whenever $p$ lies in $(1,\frac{n-n_++2}{n-n_+-2})$, a range that contains the supercritical regime above the Sobolev critical exponent. The nodal set of $u_k$ contains at least $k$ connected components, each an isoparametric hypersurface diffeomorphic to a prescribed one, while the critical set contains the two focal submanifolds and at least $k-1$ further isoparametric hypersurfaces. Moreover, $|u_k|\to\infty$ on one of the focal submanifolds as $k\to\infty$, so the sequence is not compact. The projective-space results transfer these sphere solutions to sign-changing Yamabe solutions on $\mathbb{CP}^m$ and $\mathbb{HP}^m$ with isoparametric hypersurfaces as level sets and unbounded sup-norms.
Load-bearing premise
The load-bearing premise is the imported oscillation assertion for the singular initial-value problem: for $H(0)>0$ and $p$ in the claimed range, solutions with large initial value $d$ have arbitrarily many zeroes arbitrarily close to $0$; the paper's printed inequality (2.5) appears to need to read $(H(0)+1)/2 < (p+1)/(p-1)$ to match the $p$-interval used later, and if that corrected criterion fails at the boundary values, the double-shooting intersection argument collapses.
Editorial extensions
If this is right
- For every isoparametric hypersurface $S$ and every integer $k$, the sphere equation admits a nodal solution with at least $k$ nodal components, each diffeomorphic to $S$.
- The constructed solutions blow up on one focal submanifold: $|u_k(x)|\to\infty$ for every $x\in M_-$ or every $x\in M_+$ as $k\to\infty$, so the solution family is noncompact.
- In the critical Yamabe case on the sphere, when both focal submanifolds have positive dimension, there is a sign-changing sequence tending to $+\infty$ on one focal submanifold and to $-\infty$ on the other.
- On $\mathbb{CP}^m$ and $\mathbb{HP}^m$ with their canonical metrics, the Yamabe equation has sign-changing solutions for every $k$, with level sets given by isoparametric hypersurfaces and sup-norms diverging to infinity.
- The admissible $p$-interval extends beyond the critical exponent $(n+2)/(n-2)$, so supercritical nodal solutions are not merely possible but appear in infinite families.
Reading between the lines
- Editorial inference: the argument does not use the full symmetry group of the round metric, only the existence of an isoparametric function with two focal submanifolds; analogous nodal families should exist on other manifolds carrying such functions, provided the corresponding singular ODE has the same oscillation and energy properties.
- Editorial inference: the blow-up along minimal focal submanifolds is reminiscent of known concentration phenomena, but here it arises from ordinary differential equations and shooting rather than Lyapunov-Schmidt reduction, suggesting these solutions are explicit models for submanifold concentration.
- Editorial inference: the harmonic-morphism transfer is likely not limited to $\mathbb{CP}^m$ and $\mathbb{HP}^m$; any compact Riemannian submersion with minimal fibers over a base admitting an invariant isoparametric function should produce analogous unbounded nodal solutions on the base.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the supercritical and subcritical semilinear elliptic problem −Δu + λu = λ|u|^{p−1}u on the round sphere S^n, restricted to functions of the form u = w∘f for an isoparametric function f. The reduction turns the PDE into a singular ODE on [0,π] whose coefficient h has one zero. The authors use a double shooting method from the two singular endpoints, together with an oscillation theorem for the associated initial value problem, to produce sign-changing solutions with arbitrarily many nodal components that are isoparametric hypersurfaces, and with blow-up on one of the focal submanifolds. The paper also derives a Yamabe-type multiplicity result on complex and quaternionic projective spaces via harmonic morphisms. The main claimed theorem (Theorem 1.1) is an infinite nodal solution result in the supercritical range.
Significance. If the main theorem is correct after the necessary corrections, it would be a substantial advance: it would provide infinitely many sign-changing solutions to the Yamabe-type problem in a genuinely supercritical range, with a precise description of the level and critical sets as isoparametric hypersurfaces and focal submanifolds, and with blow-up at focal submanifolds. The double-shooting/energy method in Appendix A is substantial, and the reduction via isoparametric functions and harmonic morphisms is elegant. The paper contains no fitted parameters, and the geometric constructions are explicit. However, the central claim as stated is currently overreaching: the p-range in Theorem 1.1 is not the range proved in Section 2, and several auxiliary statements contain dimension or label errors that must be corrected before the result is trustworthy.
major comments (5)
- [Theorem 1.1 and Section 2, Eq. (2.6)] Theorem 1.1 states the p-range with n_+ while assuming n_- ≤ n_+, but the proof in Section 2 fixes 1 ≤ m_- ≤ m_+ and derives (2.6) with n_+ denoting the smaller focal dimension. Under the theorem's ordering, n_+ is the larger focal dimension, so the stated range is strictly larger than the range proved. For example, for the Clifford hypersurface S^1×S^3 in S^5, the theorem would allow every p > 1, whereas the proof's admissible range is 1 < p < 3. The double-shooting intersection argument therefore cannot justify Theorem 1.1 as stated. The theorem should either be restricted to p < (n−n_-+2)/(n−n_-−2) with n_- the smaller focal dimension, or the proof should be reworked to handle both focal dimensions symmetrically. The same mismatch appears in Theorem 1.4.
- [Section 2, Theorem 2.1 and Eq. (2.5)] The inequality printed in (2.5), H(0) + 1/2 < (p+1)/(p−1), does not imply the later range (2.6). Substituting H(0)=m would give p < (2m+3)/(2m−1), which is not the bound used. The algebra that follows (2.6) is consistent with the intended criterion (H(0)+1)/2 < (p+1)/(p−1), which is equivalent to p < (m+3)/(m−1). Equation (2.5) should be corrected to that form; as printed, the statement of the imported oscillation theorem is internally inconsistent with its use.
- [Section 3, Lemma 3.2(2) and its proof] The proof of part (2) contains dimension errors. The lemma claims m ≥ 3, but the proof begins 'For each m ≥ 4'; for m=3 it sets α=β=4, which would give a real dimension 32 for H^4×H^4, while S^{4m+3}=S^15 requires ambient dimension 16. The expression for the ambient space as H^α × H^β × R^{2m+2} also has the wrong real dimension, and the focal submanifold formula writes M_+ = {0}×S^{β−1} rather than {0}×S^{4β−1}. These inconsistencies undermine the construction of the SU(2)-invariant Cartan–Münzner polynomial needed for Corollary 1.3. The construction is repairable by taking α+β = m+1 with α=β=2 for m=3, but as written the proof is not correct.
- [Section 3, proof of Corollary 1.2] The final sentence of the proof of Corollary 1.2 says 'Since arctan(f(x))=0 for every x∈M_+ and arctan(f(x))=π for every x∈M_-', which appears to have the focal labels swapped, and the expression u_k = arctan(f(w_k)) does not make sense because f is a function on S^n while w_k is a scalar. The intended construction is presumably u_k = z_k∘f with z_k = arctan(w_k). This affects the signs in the blow-up limits claimed in Corollary 1.2 and needs to be corrected.
- [Section 2, Lemma 2.3] The scaling in Lemma 2.3 is hard to parse and contains inconsistent exponents. The displayed definition of z_d prints d^{-2/(p-1)} w_{d^{2/(p-1)}}(r/(d√λ)), while the inversion formula reads w_d(r)=d z_{d^{(p-1)/2}}(√λ d^{(p-1)/2} r); these expressions are not equivalent as written. Since the lemma is used to prove that the zeroes r_j(d) collapse to 0, which is essential for the spiral argument, the proof should be rewritten with coherent scaling exponents.
minor comments (4)
- [Abstract and Introduction] There are several typos, e.g. 'hipersurfaces' in the abstract and 'integerdivide{0}' artifacts that should read '\setminus\{0\}'. A proofreading pass is needed.
- [Section 2, after Lemma 2.4] The notation ρ(d) is reused for both the phase-plane radial variable ρ(r,d) and the endpoint value ρ(d,a0); please use a different symbol for one of them to avoid confusion.
- [Section 3, Lemma 3.2(1)] In part (1), for k=0 the text says α=β=2 if k=1 and α=k, β=3 if k≥2, but the case k=0 (i.e. m=2) is not covered even though the lemma states m ≥ 3; this is likely a harmless omission, but it should be clarified.
- [Appendix A, Step 3] The sentence 'the reader may skip it in a first reading' is informal for a journal article and should be removed or rephrased.
Circularity Check
No circularity: the ODE reduction and double-shooting argument are genuine derivations, and the imported oscillation theorems are independent general results with explicit hypotheses.
full rationale
I found no step in which a claimed prediction or first-principles result reduces by construction to its own inputs. The reduction u = w ∘ f is an equivalence between the PDE and the singular ODE (1.9), not a definition of the desired solution, and the double-shooting construction uses the curves I and J to produce intersections rather than assuming the target nodal solution exists. The principal imported ingredient, Theorem 2.1, is a general oscillation criterion for the singular initial value problem (2.4) with explicit hypotheses H(0) > 0, p > 1 and inequality (2.5); its conclusion concerns zeroes of solutions near 0, not the existence of nodal solutions to the sphere problem, so it is not a restatement of Theorem 1.1. It is cited from [22,27], and while [22] shares authors with the present paper, the cited result is parameter-free, externally checkable, and does not include the target result in its assumptions, so under the stated rules it counts as independent support. The zero-counting formulas (2.8) and the phase-plane angle behavior are also imported from [22], but they are elementary consequences of the setup and do not smuggle in the final multiplicity conclusion. The unboundedness of the shooting spirals is proved in this paper via the energy and Pohozaev-type estimates in Appendix A. There is a separate consistency issue between the p-ranges in the statements and the proof convention 1 ≤ m_- ≤ m_+, but that is a correctness or indexing concern, not a circularity of the kinds enumerated. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to force the chosen solution. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Oscillation theorem for singular ODE (Theorem 2.1): under H(0)>0, p>1 and the stated inequality, solutions of (2.4) have arbitrarily many zeroes near the singularity.
- standard math Classification of isoparametric hypersurfaces on spheres: number of principal curvatures ell in {1,2,3,4,6}, with multiplicities m_- and m_+ satisfying the relations used in (1.9).
- standard math Existence and uniqueness for the singular initial value problem (2.4).
- domain assumption Hopf fibrations S^{2m+1}->CP^m and S^{4m+3}->HP^m are Riemannian submersions with minimal fibers, hence harmonic morphisms.
- standard math Muenzer relation n = 1 + ell(m_- + m_+)/2 and dimension formulas for focal submanifolds.
Cite this review
Pith. "Pith review of Supercritical elliptic problems on the round sphere and nodal solutions to the Yamabe problem in projective spaces." pith.science (2026). https://pith.science/paper/BZ7TD7OE
@misc{pith2026190808091,
author = {Pith},
title = {Pith review of: Supercritical elliptic problems on the round sphere and nodal solutions to the Yamabe problem in projective spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/BZ7TD7OE}},
note = {Machine review of arXiv:1908.08091}
}
abstract
Given an isoparametric function $f$ on the $n$-dimensional round sphere, we consider functions of the form $u=w\circ f$ to reduce the semilinear elliptic problem \[ -\Delta_{g_0}u+\lambda u=\lambda\ | u\ | ^{p-1}u\qquad\text{ on }\mathbb{S}^n \] with $\lambda>0$ and $1<p$, into a singular ODE in $[0,\pi]$ of the form $w'' + \frac{h(r)}{\sin r} w' + \frac{\lambda}{\ell^2}\ (| w|^{p-1}w - w\ )=0$, where $h$ is an strictly decreasing function having exactly one zero in this interval and $\ell$ is a geometric constant. Using a double shooting method, together with a result for oscillating solutions to this kind of ODE, we obtain a sequence of sign-changing solutions to the first problem which are constant on the isoparametric hypersurfaces associated to $f$ and blowing-up at one or two of the focal submanifolds generating the isoparametric family. Our methods apply also when $p>\frac{n+2}{n-2}$, i.e., in the supercritical case. Moreover, using a reduction via harmonic morphisms, we prove existence and multiplicity of sign-changing solutions to the Yamabe problem on the complex and quaternionic space, having a finite disjoint union of isoparametric hipersurfaces as regular level sets.
Reference graph
Works this paper leans on
-
[1]
T. Aubin . ´Equations diff´ erentielles non lin´ eaires et probl` eme de Yamabe concernant la cour- bure scalaire. J. Math. Pures Appl. 55 (1976), 269–296
work page 1976
-
[2]
T. Aubin. Some nonlinear problems in Riemannian geometry. Springer Monographs in Math- ematics. Springer-Verlag, Berlin (1998)
work page 1998
-
[3]
P. Baird, J.C. Wood, Harmonic morphisms between Riemannian manifolds. London M athe- matical Society Monographs. New Series, 29.The Clarendon Press, Oxford University Press, Oxford, (2003)
work page 2003
- [4]
-
[5]
A. Besse. Einstein manifolds. Classics in Mathematics , Springer-Verlag Berlin, Heidelberg (1987)
work page 1987
-
[6]
Global bifurcation techniques for Yamabe type equations on Riemannian manifolds
A. Betancourt de la Parra, J. Julio-Batalla, J. Petean . Global bifurcation tech- niques for Yamabe type equations on Riemannian manifolds. Preprint arXiv:1905.09305v1 [math.DG]
work page Pith review arXiv 1905
-
[7]
S. Brendle, F. C. Marques. Recent progress on the Yamabe problem. Surveys in geometric analysis and relativity, 2947, Adv. Lect. Math. 20, Int. Press, Somerville, MA, (2011)
work page 2011
- [8]
Show all 44 references
-
[9]
E. Cartan. Familles de surfaces isoperimetriques dans les espaces a co urbure constante. Ann. Mat. Pura Appl. 17 (1938), 177–191
1938
-
[10]
Castro, M
A. Castro, M. Fischer. Infinitely many rotationally symmetric solutions to a class of semi- linear Laplace-Beltrami equations on spheres. Canad. Math. Bull. 58 (2015), 723–729
2015
-
[11]
Castro, A
A. Castro, A. Kurepa. Infinitely many radially symmetric solutions to a superline ar Dirich- let problem in a ball. Proc. Amer. Math. Soc. 101 (1987), no. 1, 57–64
1987
-
[12]
Cecil, P
T. Cecil, P. Ryan. Geometry of hypersurfaces. Springer Monographs in Mathematics. Springer New York Heidelberg Dordrecht London (2015)
2015
-
[13]
M. Clapp . Entire nodal solutions to the pure critical exponent probl em arising from concen- tration. J. Differential Equations 261 (2016), no. 6, 3042–3060
2016
-
[14]
Clapp, J
M. Clapp, J. F aya, A. Pistoia. Nonexistence and multiplicity of solutions to elliptic pro b- lems with supercritical exponents. Calc. Var. 48 (2013), 611-623
2013
-
[15]
Clapp, J.C
M. Clapp, J.C. Fern ´andez. Multiplicity of nodal solution to the Yamabe problem. Calc. Var. Partial Differ. Equ. 56:145 (2017), 611–623
2017
-
[16]
Clapp, M
M. Clapp, M. Ghimenti, A. M. Micheletti. Solutions to a singularly perturbed supercrit- ical elliptic equation on a Riemannian manifold concentrat ing at a submanifold. J. Math. Anal. Appl. 420 (2014), no. 1, 314–333
2014
-
[17]
Clapp, A
M. Clapp, A. Pistoia. Symmetries, Hopf fibrations and supercritical elliptic pro blems. Math- ematical Congress of the Americas, 1–12, Contemp. Math. , 656, Amer. Math. Soc., Provi- dence, RI, 2016
2016
-
[18]
Q. S. Chi. Isoparametric hypersurfaces with four principal curvatur es, IV. Preprint (2017). arXiv:1605.00976 [math.DG]
2017 arXiv
-
[19]
del Pino, M
M. del Pino, M. Musso, F. Pacard, A. Pistoia. Large energy entire solutions for the Yamabe equation. J. Differential Equations 251 (2011), no. 9, 2568–2597
2011
-
[20]
del Pino, M
M. del Pino, M. Musso, F. Pacard, A. Pistoia. Torus action on Sn and sign-changing solutions for conformally invariant equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 12 (2013), no. 1, 209–237
2013
-
[21]
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
2016
-
[22]
Fern ´andez, J
J.C. Fern ´andez, J. Petean. Low energy solutions to the Yamabe problem. Preprint. arXiv:1807.06114v1 [math.AP]
-
[23]
Ferus, H
D. Ferus, H. Karcher, H. F. M ¨unzner. Cliffordalgebren und neue isoparametrische Hy- perflchen. Math. Z. 177 (1981), no. 4, 479–502
1981
-
[24]
B. Fuglede. Harmonic morphisms between Riemannian manifolds. Ann. Inst. Fourier (Grenoble) 28 (2) (1978), 107–144
1978
-
[25]
Ghimenti, A
M. Ghimenti, A. M. Micheletti, A. Pistoia Blow-up solutions concentrated along minimal submanifolds for some supercritical elliptic problems on R iemannian manifolds. J. Fixed Point Theory Appl. 14 (2013), no. 2, 503–525
2013
-
[26]
Haraux, F
A. Haraux, F. B. Weisslern . Non-uniqueness for a semilinear initial-value problem. Indiana Univ. Math. J. 31 (1982), 167–189
1982
-
[27]
G. Henry . Isoparametric functions and nodal solutions of the Yamabe equation. Ann Glob Anal Geom (2019)
2019
-
[28]
Henry, J
G. Henry, J. Petean. Isoparametric hypersurfaces and metrics of constant scala r curvature. Asian J. Math. 18 (2014), no. 1, 53–67
2014
-
[29]
A. Kurepa. Existence and uniqueness theorem for singular initial valu e problems and appli- cations. Publ. Inst. Math. (Beograd) (N.S.) 45 (59) (1989), 89–93
1989
-
[30]
J. M. Lee. Introduction to smooth manifolds. Graduate Texts in Mathem atics 218. Springer- Verlag New York, Inc. , (2003). 20 JUAN CARLOS FERN ´ANDEZ, OSCAR PALMAS, AND JIMMY PETEAN
2003
-
[31]
Medina, M
M. Medina, M. Musso, J. Wei. Desingularization of Clifford torus and nonradial solution s to the Yamabe problem with maximal rank. J. Funct. Anal. 276 (2019), no. 8, 2470–2523
2019
-
[32]
A. M. Micheletti, A. Pistoia, J. V ´etois. Blow-up solutions for asymptotically critical elliptic equations on Riemannian manifolds. Indiana Univ. Math. J. 58 (2009), no. 4, 1719– 1746
2009
-
[33]
R. Miyaoka. Isoparametric hypersurfaces with ( g, m) = (6 , 2). Ann. Math. 177 (2013), 53- 110
2013
-
[34]
R. Miyaoka. Errata on isoparametric hypersurfaces with ( g, m) = (6 , 2). Ann. of Math. 183, no. 3 (2016), 1057-1071
2016
-
[35]
H. F. M ¨unzner. Isoparametrische Hyperflachen in spharen I, Math. Ann. 251 (1980), 57–71
1980
-
[36]
H. F. M ¨unzner. Isoparametrische Hyperflachen in spharen II, Math. Ann. 256 (1981), 215– 232
1981
-
[37]
Musso, J
M. Musso, J. Wei. Nondegeneracy of nodal solutions to the critical Yamabe pro blem. Comm. Math. Phys. 340 (2015), no. 3, 1049–1107
2015
-
[38]
Petersen
P. Petersen. Riemannian Geometry. Graduate Texts in Mathematics 171. Springer-Verlag New York, Inc. , (2006)
2006
-
[39]
Pistoia, G
A. Pistoia, G. V aira. From periodic ODE’s to supercritical PDE’s. Nonlinear Anal. 119 (2015), 330–340
2015
-
[40]
Premoselli, J
B. Premoselli, J. V ´etois. Compactness of sign-changing solutions to scalar curvatur e-type equations with bounded negative part. J. Differential Equations 266 (2019), no. 11, 7416– 7458
2019
-
[41]
S. I. Pohozaev. Eigenfunctions of the equation ∆ u + λf (u) = 0. (Russian) Dokl. Akad. Nauk. SSSR 165 (1965), 36-39
1965
-
[42]
Robert, J
F. Robert, J. V ´etois. Sign-changing blow-up for scalar curvature type equations . Comm. Partial Differential Equations 38 (2013), no. 8, 1437–1465
2013
-
[43]
M. Struwe. Variational methods. Applications to nonlinear partial di fferential equations and Hamiltonian systems. Fourth edition. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 34. Springer-Verlag, Berlin, (2008)
2008
-
[44]
M. Willem. Minimax theorems. Progress in Nonlinear Differential Equations and their Ap- plications, 24. Birkhuser Boston, Inc., Boston, MA (1996) Departamento de Matem´aticas, F acultad de Ciencias, Universidad Nacional Aut´onoma de M ´exico, CP 04510, M ´exico E-mail address :...
1996
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.