REVIEW 2 major objections 5 minor 11 references
Min-max theory and Yamabe metrics on conical four-manifolds
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read On a closed four-manifold with at least two Z2-conical points, the Yamabe problem is solvable even when the standard minimization criterion fails.
desk verdict A serious new min-max existence result for Yamabe metrics on conical four-manifolds, with genuinely new analytic ingredients, but two soft spots — an imported positive mass theorem and a sketched compactness lemma — need referee attention before the proof is fully convincing. 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 load-bearing object is the double bubble bU_{ε,t} = U_{ε,tν}+U_{ε,-tν} on the flat cone R4/Z2, which interpolates between a singular bubble at t=0 and two separated regular bubbles as t tends to infinity; Lemma 2.1 proves its Euclidean Sobolev quotient lies strictly between 6S4 and 6√2S4 for every positive t, with the upper bound approached only at infinity through the interaction energy −C ε²/t². Near a conical point, the paper constructs conformal normal coordinates with a carefully chosen polynomial conformal factor, derives the Green's function expansion G_q(z)=|z|^{-2}+A_q+β_q(z) with A_q=1/(4t²)+O($t^{{b-3}}$), and thereby shows that the mass of the conformal blow-up diverges inverse-quadratically as q approaches the singular point. These two inputs are assembled into a competitor path that starts at one conical bubble, crosses a regular bubble glued to a Green's function, and ends at another conical bubble, staying below Y4 at every step.
What would settle it
Compute the ADM mass of (M\{q}, $G_q^{2}$ g_q) for an explicit conical four-metric with an S3/Z2 link and h'(0)=0 as q approaches the singular point and check the predicted A_q = 1/(4t²)+O($t^{{b-3}}$) expansion of Lemma 3.7; non-positive mass anywhere in this family, or a numerically evaluated quotient Q_{g_{R4}}(U_{ε,tν}+U_{ε,-tν}) that reaches 6√2 S4 at finite t>0, would falsify the strict inequality c<Y4.
Extended reading notes
Core claim
On its own terms, the paper's central claim is Theorem 1.1: let (M,g) be a closed four-manifold with finitely many Z2-conical points, meaning links S3/Z2 satisfying the conical-point structure condition (HP), and suppose there are at least two such points. Then the conformal class admits a Yamabe metric. The theorem does not require the strict inequality that guarantees a minimizer; it applies precisely when Y(M,[g]) equals the local Yamabe constant √2/2 Y4 and is not attained. In that regime the proof produces a min-max level c strictly between the singular-bubble energy and the regular-bubble energy, and a concentration-compactness analysis shows that no combination of singular and regular bubbles can account for a Palais-Smale sequence at that level, so a critical point exists.
Load-bearing premise
The proof rests on an imported positive mass theorem for asymptotically flat manifolds with isolated conical singularities: if the mass of the conformal blow-up at a regular point near the singular set can fail to be strictly positive, or if the Green's function leading coefficient is not exactly 1/(4t²), the competitor path may reach the regular-bubble threshold Y4 and the min-max level no longer excludes bubbling.
Editorial extensions
If this is right
- For any closed four-manifold with at least two Z2-conical points, the Yamabe equation has a positive solution even when the Yamabe constant is not attained and equals the local threshold.
- The variational solutions have globally Lipschitz gradient, and when the local lift of the metric is smooth they are smooth orbifold metrics, as noted in Remark 1.2(c).
- The min-max level c lies in (√2/2 Y4, Y4), so every possible bubble decomposition, whose energy must be (j1+2j2)√2/2 Y4 by formula (4.11), is excluded.
- The inverse-square divergence of the mass explains quantitatively why two conical points are needed: with only one such point the competitor path cannot cross below the regular bubble threshold, matching the known negative-mass examples for conformal compactifications of ALE spaces.
Reading between the lines
- If a positive mass theorem of the same type holds for other quotient singularities S^{n-1}/Γ with the same interaction structure, the same min-max scheme would likely produce Yamabe metrics on higher-dimensional orbifolds with at least two orbifold points; the paper explicitly leaves this open.
- The double-bubble interpolation suggests a model for continuous transitions between local Yamabe constants in conformal geometry, since it gives a path over the cone whose energy interpolates strictly between the singular and regular thresholds without perturbation theory.
- A direct numerical evaluation of Q_{g_{R4}}(U_{ε,tν}+U_{ε,-tν}) for finite t>0 could test the sharp coefficient in expansion (2.10) and the monotonicity assertions behind Lemma 2.1 in isolation from geometric complications.
- The universal 1/(4t²) growth of the mass near an S3/Z2 conical point could serve as a geometric way to detect such singularities from Green's function asymptotics.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that a closed four-manifold with finitely many conical points, each modelled on the cone over S^3/Z_2, admits a Yamabe metric whenever there are at least two conical points. The proof assumes that the usual minimization criterion Y(M,[g]) < Y_S is not available, so the authors run a mountain-pass min-max scheme. The competitor path deforms a bubble concentrated at one conical point into a bubble concentrated at another, passing through regular bubbles supported along a connecting geodesic. The delicate point is to keep the Yamabe energy below the round-sphere value Y_4 along the whole path; this is achieved by combining a non-perturbative estimate for double bubbles in the flat cone (Lemma 2.1), a detailed asymptotic expansion of the Green's function and of the conformal blow-up mass as the pole approaches a conical point (Section 3, Lemma 3.7), and a positive mass theorem for asymptotically flat manifolds with conical singularities imported from [DSW24]. The paper contains full expansions of the Yamabe quotient for the three regimes: near the singular points (Proposition 4.3), far from them (Proposition 4.5), and in the interpolation region (Proposition 4.6).
Significance. If the proof is correct, this is the first min-max existence result for the Yamabe problem on singular four-manifolds, and it genuinely covers cases in which the Yamabe constant is not attained and the standard criterion Y(M,[g])<Y_S fails. The paper's strengths are the explicit nature of the expansions, with concrete positive constants such as A=6π^2c_4^2 in (5.11), and the absence of fitted parameters or circular reductions: the double-bubble lemma and the Green's function asymptotics are proved in detail. The geometric strategy is natural and the use of a positive mass theorem for conical singularities is appropriate. However, two load-bearing points need additional work before the result can be regarded as fully established: the verification of the hypotheses of the external positive mass theorem used in the middle of the path, and the proof of the conical adaptation of Struwe's compactness that underlies Lemma 4.1.
major comments (2)
- [Section 4.2, Eq. (4.7)] The strict upper bound c<Y4 in the middle of the min-max path is obtained through Eq. (4.7), where the coefficient A_q is identified with a positive multiple of the ADM mass and its positivity is imported from [DSW24, Theorem 1.1]. The manuscript does not state the hypotheses of that theorem or verify them for the conformal blow-up (M\setminus\{q\},G_q^2g): the regularity class of the lifted metric at the conical points, the asymptotic flatness of the end at q, and in particular the exclusion of the equality (zero-mass) case are not discussed. Since the proof of Proposition 4.8 and therefore of Theorem 1.1 loses its upper-bound control if A_q=0 for some q on the path, this verification is load-bearing and should be supplied explicitly.
- [Lemma 4.1] The proof of Lemma 4.1 is a sketch rather than a proof: it asserts that Struwe's global compactness result [Str84] can be 'rather easily adapted' to the singular setting and then uses the bubble decomposition (4.2) without giving a statement of the conical compactness theorem or proving the classification of all possible bubbles on the cone over RP^3 with the asserted energy lower bounds. This lemma is exactly what produces the strict inequality c>max{Qg(φε,P1),Qg(φε,P2)} and hence the existence of a mountain-pass Palais-Smale sequence. The adaptation should be presented, or a precise reference containing the conical global compactness statement should be provided.
minor comments (5)
- [Section 4.4] The existence of a geodesic γ̂ satisfying the displayed list of properties is assumed without proof; in particular, the radial representation γ̂(s)=σ_P(sν) near P_i and the avoidance of the other conical points should be justified, since the parametrization (4.10) depends on it.
- [Section 5.2, after Eq. (5.34)] The displayed estimate '≤ C/(τ^2 t^{6-2b}+t^6)' is ambiguous as typeset; it appears to be missing a parenthesis or an additional term, and the expression should be rewritten as a sum of the three controlled terms.
- [Proof of Lemma 3.7] The word 'immediatly' in the first sentence of the proof is a typo and should read 'immediately'.
- [Section 5.1] Proposition 4.3 refers to the constant A given by (5.11), but the definition appears only later in the proof; moving the definition of A to the statement of Proposition 4.3 would improve readability.
- [Eq. (4.11)] Equation (4.11) would be clearer if rewritten as (j1+2j2)(√2/2)Y4; the current typesetting renders the numerical coefficient ambiguously.
Circularity Check
No circularity: the min-max competitor estimates are computed in-paper and the only external loads are independent theorems.
full rationale
The derivation chain is self-contained in its central estimates. Lemma 2.1 and Propositions 4.3, 4.5 and 4.6 compute explicit asymptotic expansions with the same positive constant A = 6π^2 c_4^2 (5.11); the upper bound c < Y4 is obtained from these expansions and from Lemma 3.7, where the Green's function constant A_q = 1/(4t^2)+O(t^{b-3}) is derived by a parametrix, not assumed. In the far-from-singular region, equation (4.7) imports positivity of the ADM mass from the external positive mass theorem of [DSW24]; reliance on an external theorem is not circular, although checking its hypotheses is a correctness matter, not a circularity one. The only notable self-citation, [FM24], is used to dispose of the case in which (ξP) holds; the main min-max construction is carried out under the complementary assumption and does not reduce to that result. No fitted parameter is renamed as a prediction and no equation is equivalent to its input by construction.
Assumptions & free parameters
free parameters (2)
- alpha (auxiliary exponent) =
any alpha in (1/2,1)
- omega (auxiliary exponent) =
any omega with 1>omega>alpha>1/2 and 2+2alpha-4omega>0
assumptions (6)
- standard math Classification of positive finite-energy solutions of the critical Yamabe equation on R4.
- domain assumption Positive mass theorem for asymptotically flat manifolds with isolated conical singularities (Dai-Sun-Wang).
- domain assumption Yamabe solvability criterion on stratified spaces: Y(M,[g])<Y_S implies existence of a minimizer.
- domain assumption Struwe's global compactness theorem for the Yamabe functional, adapted to stratified spaces.
- standard math Conformal normal coordinates and the Lee-Parker expansion of the conformal Laplacian.
- standard math Sobolev embedding and compactness properties on W^{1,2} of stratified spaces.
Cite this review
Pith. "Pith review of Min-max theory and Yamabe metrics on conical four-manifolds." pith.science (2026). https://pith.science/paper/W4BCXKJQ
@misc{pith2026250802667,
author = {Pith},
title = {Pith review of: Min-max theory and Yamabe metrics on conical four-manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/W4BCXKJQ}},
note = {Machine review of arXiv:2508.02667}
}
abstract
We prove existence of Yamabe metrics on four-manifolds possessing finitely-many conical points with $\mathbb{Z}_2$-group, using for the first time a min-max scheme in the singular setting. In our variational argument we need to deform continuously regular bubbles into singular ones, while keeping the Yamabe energy sufficiently low. For doing this, we exploit recent positive mass theorems in the conical setting and study how the mass of the conformal blow-up diverges as the blow-up point approaches the singular set.
Reference graph
Works this paper leans on
-
[1]
Yamabemetricsofpositivescalarcurvatureandconformallyflatmanifolds
[Aku94] K.Akutagawa.“Yamabemetricsofpositivescalarcurvatureandconformallyflatmanifolds”. In: Differential Geom. Appl.4.3 (1994), pp. 239–258. [Aku96] K. Akutagawa. “Convergence for Yamabe metrics of positive scalar curvature with integral bounds on curvature”. In:Pacific J. Math.175.2 (1996), pp. 307–335. [Aku12] K. Akutagawa. “Computations of the orbifol...
work page 1994
-
[3]
Best constant in Sobolev inequality
Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 2008, pp. xx+302. [Tal76] G. Talenti. “Best constant in Sobolev inequality”. In:Ann. Mat. Pura Appl. (4)110 (1976), pp. 353–372. [TV05a] G. Tian and J. Viaclovsky. “Bach-flat asymptotically locally Euclidean metrics”. In:Invent. Math. 160.2 (2005), pp. 357–415. [TV05b] G. Tian and ...
work page 1976
-
[6]
Yamabe metrics on conical manifolds
arXiv:2402. 05927 [math.DG]. url: https://arxiv.org/abs/2402.05927. [GT01] D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001, pp. xiv+517. [GM15] M. J. Gursky and A. Malchiodi. “A strong maximum principle for the Paneitz operator and a non-local flow for theQ-curv...
work page Pith review arXiv 2015
-
[20]
Ricci curvature bounds and Einstein metrics on compact manifolds
[And89] M. T. Anderson. “Ricci curvature bounds and Einstein metrics on compact manifolds”. In: J. Amer. Math. Soc.2.3 (1989), pp. 455–490. [Aub76] T. Aubin. “Équations différentielles non linéaires et problème de Yamabe concernant la courbure scalaire”. In:J. Math. Pures Appl. (9)55.3 (1976), pp. 269–296. [Aub98] T. Aubin.Some nonlinear problems in Riema...
work page 1989
-
[182]
Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 1989, pp. vi+I15+307. [BC88] A. Bahri and J.-M. Coron. “On a nonlinear elliptic equation involving the critical Sobolev exponent: the effect of the topology of the domain”. In:Comm. Pure Appl. Math.4...
work page 1988
-
[218]
Graduate Texts in Mathe- matics. Springer, New York, 2013, pp. xvi+708. [LP87] J. M. Lee and T. H. Parker. “The Yamabe problem”. In:Bull. Amer. Math. Soc. (N.S.) 17.1 (1987), pp. 37–91. [Maz91] R. Mazzeo. “Elliptic theory of differential edge operators. I”. In:Comm. Partial Differential Equations 16.10 (1991), pp. 1615–1664. 43 [MW04] R. Melrose and J. Wu...
work page 1987
-
[255]
Counter-examples to the generalized positive action conjecture
[LeB88] C. LeBrun. “Counter-examples to the generalized positive action conjecture”. In:Comm. Math. Phys.118.4 (1988), pp. 591–596. [Lee13] J. M. Lee.Introduction to smooth manifolds. Second. Vol
work page 1988
-
[274]
Monopole metrics and the orbifold Yamabe problem
[Via10] J. A. Viaclovsky. “Monopole metrics and the orbifold Yamabe problem”. In:Ann. Inst. Fourier (Grenoble)60.7 (2010), pp. 2503–2543. [Yam60] H. Yamabe. “On a deformation of Riemannian structures on compact manifolds”. In:Osaka Math. J.12 (1960), pp. 21–37. 44
work page 2010
Show all 11 references
-
[325]
Remarks concerning the conformal deformation of Riemannian structures on compact manifolds
London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2006, pp. x+113. [Tru68] N. S. Trudinger. “Remarks concerning the conformal deformation of Riemannian structures on compact manifolds”. In:Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3)22 (1968),...
1968
-
[2024]
Conformal metrics with prescribed scalar curvature
arXiv: 2401 . 07186 [math.DG]. url: https : //arxiv.org/abs/2401.07186. [ES86] J. F. Escobar and R. M. Schoen. “Conformal metrics with prescribed scalar curvature”. In: Invent. Math.86.2 (1986), pp. 243–254. [FM24] M. Freguglia and A. Malchiodi.Yamabe metrics on conical manifolds
1986 arXiv
-
[2025]
url: https://arxiv.org/abs/ 2507.01674
arXiv:2507.01674 [math.AP]. url: https://arxiv.org/abs/ 2507.01674. [Bah89] A. Bahri.Critical points at infinity in some variational problems. Vol
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.