{"id":"31666bff-64b7-484a-bb19-fce39bda0c39","arxiv_id":"2508.02667","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Every closed four-manifold with at least two Z2-conical points admits a Yamabe metric, a conformal metric of constant scalar curvature, via a new min-max argument.","lead":"On a four-dimensional manifold with at least two cone-shaped singularities whose cross-section is the real projective 3-space, the authors prove that a conformal metric of constant scalar curvature, called a Yamabe metric, always exists. They use a mountain-pass variational scheme, the first min-max argument for the singular Yamabe problem, together with a new estimate on how the mass of a conformal blow-up diverges near a cone point.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The upper bound c<Y4 in the middle segment of the min-max path relies on the Dai-Sun-Wang positive mass theorem for the conformal blow-up, but the paper does not verify that the blow-up metric satisfies the theorem's hypotheses, including the regularity class and strict positivity of the mass.","rationale":"The reader's conditional verdict is well supported. The proof of Theorem 1.1 hinges on the strict inequality c < Y4, which in turn hinges on the positivity of the coefficient A_q in the expansion (4.7) for centers q away from the conical points. The paper cites the Dai-Sun-Wang positive mass theorem for this, but does not verify the theorem's hypotheses for the specific conformal blow-up metric, nor does it discuss the equality case in which the mass could vanish. This is a genuine gap in the written argument, but it is addressable: either by a direct check of the DSW hypotheses, or by an alternative proof of positivity of A_q using the standing assumption that the Yamabe constant is not attained. The other potential concerns, such as the adaptation of Struwe's compactness in Lemma 4.1, are less central because the sketched argument is standard and the singular set is finite; the proof there can likely be completed. The paper otherwise contains detailed expansions and no obvious internal contradiction, so the correct verdict remains CONDITIONAL rather than ACCEPT or REJECT.","tokens_in":44963,"tokens_out":29282,"duration_ms":336168,"concrete_test":"For a center q in the middle segment, write the conformal blow-up metric h_q := G_q² g_q explicitly in coordinates and check the hypotheses of [DSW24, Theorem 1.1]: verify the decay of the metric at infinity, the scalar-flatness away from the singular set, and the conical regularity class at the original singular points (in particular whether a C^{1,1} lift is admissible or a C^{2,α} smoothing is needed). Then compute A_q from the constant term in the Green expansion at q; if the model case S⁴/Z₂ (the round football) gives A_q = 0 for all regular q, confirm that this is exactly the attained case excluded by assumption (1.4), and prove that under (1.4) the mass is strictly positive and bounded below on the compact middle segment.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is proved by building an admissible min-max path with Yamabe energy strictly below Y4 = 6S4. For centers q at distance at least δ/4 from all conical points, the paper uses expansion (4.7): Q_{g_q}(w_{q,ε}) = 6S4 − A_q ε² + ε² o_δ(1) + o(ε²), where A_q is a positive multiple of the ADM mass of the scalar-flat asymptotically flat orbifold (M\\{q}, G_q² g_q). Positivity of A_q is imported from [DSW24, Theorem 1.1]. This is load-bearing because if A_q were zero at some q on the path, the inequality would only be ≤Y4, not <Y4, and the min-max level could equal Y4, allowing a regular bubble and destroying the contradiction in the last step of Theorem 1.1. The paper does not check the hypotheses of [DSW24] against the specific blow-up metric: the local conical structure is only C^{1,1} after the Z2 lift, whereas the DSW theorem may require a specified regularity class; and the equality case of the positive mass theorem (mass = 0) is not ruled out under the standing assumption that Y = Y_S is not attained. Since [DSW24] is an external preprint, the application must be verified rather than assumed. If either the regularity hypothesis fails or a zero-mass blow-up can occur, Proposition 4.8 and therefore Theorem 1.1 lose their upper-bound control.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":45249,"tokens_out":15935,"duration_ms":179025,"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":[{"comment":"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.","section":"Section 4.2, Eq. (4.7)"},{"comment":"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.","section":"Lemma 4.1"}],"minor_comments":[{"comment":"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":"Section 4.4"},{"comment":"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.","section":"Section 5.2, after Eq. (5.34)"},{"comment":"The word 'immediatly' in the first sentence of the proof is a typo and should read 'immediately'.","section":"Proof of Lemma 3.7"},{"comment":"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.","section":"Section 5.1"},{"comment":"Equation (4.11) would be clearer if rewritten as (j1+2j2)(√2/2)Y4; the current typesetting renders the numerical coefficient ambiguously.","section":"Eq. (4.11)"}],"recommendation":"major_revision","confidential_remarks":"The central concern is the unverified application of the external preprint [DSW24] and the sketched compactness argument in Lemma 4.1. Both are fixable in a revision, but they are load-bearing for the main theorem, so I do not recommend acceptance in the current form. The positive mass theorem is an external recent preprint, and the editors may wish to monitor its publication status; if the authors can verify its hypotheses or replace it with a published reference, the paper would be a significant contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is the real thing: it proves a genuinely new existence theorem for Yamabe metrics on four-manifolds with Z2-conical points when the standard minimization route fails, and it does so by introducing the first min-max scheme for the singular Yamabe problem. The double-bubble estimate in Lemma 2.1 is a clean, non-perturbative fact (the energy of the symmetric sum stays strictly between the singular and regular thresholds), and Lemma 3.7 — showing that the mass of the conformal blow-up diverges like inverse squared distance to the cone point — is exactly the right analytic input to make the interpolation work. The expansions in Propositions 4.3, 4.5, and 4.6 are written out with explicit constants, and I found no circular reasoning or post-hoc curve fitting. This is a substantial step beyond the prior work [FM24] and [ACM14], and it directly addresses a problem left open in the literature.\n\nTwo soft spots, in proportion. First, the upper bound c < Y4 in the middle segment and the far-from-singular region relies on the positive mass theorem of Dai–Sun–Wang [DSW24] for asymptotically flat manifolds with conical singularities. That theorem is imported from an external preprint, and the paper does not check its hypotheses against the specific conformal blow-up metric. The local lift here is only C^{1,1}, and the strict positivity of the mass — the equality case is not discussed — is load-bearing. If the mass were zero at some point on the path, the inequality would degrade to non-strict and the min-max level could equal Y4, allowing a regular bubble. This is a genuine gap, but it looks addressable: either the DSW theorem applies and the authors should say exactly how, or extra work is needed near the equality case.\n\nSecond, Lemma 4.1 defers the singular adaptation of Struwe's compactness to a sketched argument. The proof is plausible and likely standard, but it is the kind of thing that should be written out in a paper whose main theorem depends on it.\n\nNeither issue sinks the paper. The central structure is coherent, the new estimates are valuable, and the citation pattern is honest. This deserves a serious referee, not a desk reject. My recommendation: send it to review, ask for verification of the DSW hypotheses (or a proof of strict mass positivity in this setting) and for a fuller proof of Lemma 4.1, then accept conditionally.","headline":"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.","tokens_in":45850,"tokens_out":1765,"would_cite":true,"duration_ms":22336,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C18","53C21","58J60","35J20"],"pacs":[],"model":"deepseek-v4-flash","headline":"On a closed four-manifold with at least two Z2-conical points, the Yamabe problem is solvable even when the standard minimization criterion fails.","keywords":["Yamabe problem","conical singularities","min-max methods","conformal geometry","Green's function","positive mass theorem","four-manifolds","orbifold singularities"],"falsifier":"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.","tokens_in":44705,"feed_emoji":"📐","tokens_out":8908,"duration_ms":87770,"temperature":0.7,"pith_summary":"This paper proves that every closed four-manifold with finitely many conical points whose link is the three-dimensional sphere modulo the antipodal map admits a Yamabe metric — a conformal metric of constant scalar curvature — provided there are at least two conical points. The result matters because it covers the borderline case where the Yamabe constant equals the local threshold and the classical minimization criterion Y(M,[g])<Y_S is unavailable. The proof introduces the first min-max scheme for the singular Yamabe problem, deforming a regular bubble into a singular bubble along a path whose Yamabe energy stays strictly below the round four-sphere value and thereby rules out all bubbling scenarios at the min-max level. A key quantitative input is that the mass of the conformal blow-up at a point approaching a conical singularity diverges like the inverse square of the distance, which keeps the competitor path bounded away from the bubbling threshold.","feed_headline":"Two conical points guarantee a Yamabe metric","feed_subtitle":"Even when the usual minimization threshold fails, the new min-max path stays below the bubbling energy.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the positive mass theorem for asymptotically flat manifolds with isolated conical singularities that makes the upper bound c<Y4 strict at regular points.","marker":"[DSW24]"},{"why":"Provides the variational framework, compact Sobolev embeddings, and the existence criterion Y<Y_S on stratified spaces used throughout the paper.","marker":"[ACM14]"},{"why":"Introduces the bubble-glued-to-Green's-function competitor that the paper adapts away from the conical set.","marker":"[Sch84]"},{"why":"Supplies the conformal normal coordinate expansions and the mass interpretation used in Lemma 3.7.","marker":"[LP87]"},{"why":"Computes the local Yamabe constant of the S3/Z2 cone as √2/2 Y4 and identifies the bubble extremals.","marker":"[Pet09]"},{"why":"Provides the two-bubble interaction asymptotics of order ε²/t² that drive the double-bubble energy decrease.","marker":"[Bah89]"},{"why":"Earlier conical Yamabe results that allow reduction to the case h'(0)=0 and give the conformal change removing first-order terms.","marker":"[FM24]"},{"why":"Used to establish existence of the Green's function for the conformal Laplacian on conical manifolds in Proposition 3.1.","marker":"[Maz91]"},{"why":"Provides the global compactness bubble-decomposition result adapted to prove Lemma 4.1 and to rule out blow-up at level c.","marker":"[Str84]"}],"fun_headline_variants":["Min-max yields Yamabe metrics on four-manifolds with two conical points","Two Z2 singularities ensure Yamabe metric by min-max","Conical four-manifolds with two points admit Yamabe metrics","Min-max path beats bubbling for Yamabe on conical spaces","Yamabe metrics exist for four-manifolds with two conical points"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Min-max yields Yamabe metrics on four-manifolds with two conical points","Two Z2 singularities ensure Yamabe metric by min-max","Conical four-manifolds with two points admit Yamabe metrics","Min-max path beats bubbling for Yamabe on conical spaces","Yamabe metrics exist for four-manifolds with two conical points"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1193,"prompt_tokens":782,"completion_tokens":411,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":398,"completion_tokens_details":{"reasoning_tokens":320}},"tokens_in":398,"tokens_out":411,"duration_ms":4113,"temperature":1.0,"reasoning_tokens":320,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:38:31.725752+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":2}