{"id":"d5cbc57a-136e-4ec5-8d58-4b91876fb043","arxiv_id":"2507.01674","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Yamabe problem for W^{2,q} metrics with q>3 on closed orientable 3-manifolds is fully resolved.","lead":"This paper proves that every rough Riemannian metric of Sobolev class W^{2,q} with q>3 on a closed orientable 3-manifold can be conformally deformed to one of constant scalar curvature. It resolves the last open case of the Yamabe problem for low-regularity metrics and builds elliptic and blow-up tools likely to be reused in rough geometry and general relativity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.10's W^{3,q} regularity of the conformal map to S^3 rests on a false harmonicity assertion; conformal maps do not pull back harmonic coordinates to harmonic functions in dimension 3.","rationale":"The reader's weakest assumption identified the applicability of the Lee–LeFloch PMT and the reliance on the unpublished [6] as the main risks. Those are legitimate, but the present stress-test uncovered a more specific, internally checkable gap in the argument for the mass-zero case. The exact equation used in Theorem 5.10 to bootstrap the regularity of the conformal map to S^3 is false for non-homothetic conformal maps. Since the authors themselves flag that the A=0 case is the only one where the positive-mass test-function argument does not apply, the correctness of Theorem A in that case depends entirely on Theorem 5.10. The proof as written does not establish that the conformal map is W^{3,q} at the pole, nor that the pulled-back round metric belongs to the W^{2,q} conformal class. This is a serious but potentially repairable gap: one could replace the false harmonicity assertion with the correct conformal-transformation equation, which contains a first-order term involving ∇λ, and then run a bootstrap if that term can be shown to be sufficiently regular. Until such a repair is supplied, the paper should remain conditional. The central claim may well be true, and the rest of the analytic toolkit (rough Laplacian, Green function, PMT application) appears coherent and largely self-contained aside from [6]; the concern is confined to the rigidity/regularity step in the mass-zero case.","tokens_in":71919,"tokens_out":21309,"duration_ms":236876,"concrete_test":"Derive the transformation of the Laplacian under the conformal map φ:(M,g)→(N,h), φ^*h=e^{2λ}g: for smooth f, Δ_g(f∘φ)=e^{2λ}(Δ_h f)∘φ -(n-2)df(dφ(∇λ)). Verify the identity for φ equal to the inverse stereographic projection from R^3 to S^3 and for f equal to a nonconstant harmonic coordinate of the round sphere. If the second term is nonzero at a generic point, the equation Δ_g(u^i∘φ)=0 asserted in Theorem 5.10 is refuted. A complementary check: compute the same term for the specific map φ=σ_S^{-1}∘y in the mass-zero case and confirm that λ is nonconstant because y is only an isometry from (\\hat M,\\hat g) to Euclidean space and σ_S^{-1} is conformal, not isometric.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the proof of Theorem 5.10, after defining φ via stereographic projection and the isometry y, the authors state that, in a harmonic chart (U,u^i) around N∈S^3, 'using that φ is an isometry, one can check that the maps u^i∘φ ... are C^{1,α} weak solutions to Δ_g(u^i∘φ)=0.' But φ is a conformal diffeomorphism (φ^*g_{S^3}=e^{2λ}g), not an isometry of (M,g) to (S^3,g_{S^3}). For a conformal map in dimension n, the transformation law is Δ_g(f∘φ)=e^{2λ}(Δ_{g_{S^3}}f)∘φ -(n-2)df(dφ(∇λ)). In n=3, even if Δ_{g_{S^3}}f=0, the second term vanishes only when the conformal factor λ is constant. The stereographic conformal factor is nonconstant, so the claimed Laplace equation is generally false. Consequently, the elliptic regularity step upgrading φ from C^{1,α} to W^{3,q} at the pole p is unjustified. This is load-bearing because Theorem 5.12 explicitly excludes the mass-zero case A=0 and delegates it to Theorem 5.10; without W^{3,q}-regularity of the conformal diffeomorphism, the round metric φ^*g_{S^3} need not lie in [g]_{W^{2,q}}, and the A=0 branch of the Yamabe resolution is unsupported. The issue is an internal inconsistency in the proof, not merely a citation gap: the conformal factor of the map is not constant, so the omitted lower-order term is genuinely present.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops an elliptic regularity theory for the conformal Laplacian of W^{2,q} Riemannian metrics on closed manifolds with q>n/2, and proves existence, uniqueness, positivity, and a blow-up expansion for the associated Green function. It then uses the Green function to decompactify the manifold and applies the Lee–LeFloch positive mass theorem to prove Theorem A: on an orientable closed 3-manifold, every W^{k,q} metric with k≥2 and q>3 admits a W^{k,q} conformal metric of constant scalar curvature. A separate theorem settles the non-positive Yamabe case in all dimensions n≥3 with the same regularity.","tokens_in":72206,"tokens_out":13943,"duration_ms":168915,"significance":"The analytic framework is substantial and largely self-contained: the Fredholm and regularity results for L_g, the construction of harmonic and normal coordinates below the C^{1,1} threshold, and the scaling proof of the Green-function expansion in Theorem 4.4 are careful and likely useful beyond the Yamabe problem. The paper is also commendably explicit about its external inputs, namely the first author's prior regularity theorems [6] and the Lee–LeFloch PMT [44]. If the mass-zero branch can be repaired, the result would be a natural and important advance in low-regularity conformal geometry.","major_comments":[{"comment":"In the proof of Theorem 5.10, the claim that the maps u^i∘φ are C^{1,α} weak solutions to Δ_g(u^i∘φ)=0 in a harmonic chart on S^3 is false. Since φ is only a conformal diffeomorphism, write φ^*g_{S^3}=e^{2λ}g. For any function f on S^3 the transformation law is Δ_g(f∘φ)=e^{2λ}((Δ_{S^3}f)∘φ+(n-2)df(dφ(∇λ))). Even if Δ_{S^3}f=0, the second term does not vanish unless λ is constant, and λ is not constant in any neighborhood of p; in the mass-zero case the expansion G=|x|^{-1}+O_1(|x|^{1+β}) still leaves a nonconstant conformal factor. Thus the elliptic bootstrap to W^{3,q} at p is not justified. This is load-bearing for Theorem 5.12 and Theorem A, because the A=0 branch is delegated to Theorem 5.10, and without φ∈W^{3,q} the pulled-back round metric is not shown to lie in [g]_{W^{2,q}}.","section":"Theorem 5.10"},{"comment":"The final conformal-factor computation also relies on the formula (σ_S)_*g_{S^3}=4u_1^{-4}g_{R^3} stated before (5.34). With the paper's definition u_1=(1+|z|^2)^{-1/2}, the correct factor is 4u_1^4, not 4u_1^{-4}. As written, the displayed expression for φ^*g_{S^3} blows up near p, which is incompatible with the fact that φ is smooth in stereographic coordinates near p (up to the claimed regularity). This exponent error should be corrected and the conformal factor argument redone.","section":"Proof of Theorem 5.10, final paragraph"}],"minor_comments":[{"comment":"There are several small typos: Corollary 3.10 says 'W^{k,p}-Riemannian metric' where the exponent should be q, and Proposition 3.13 says 'Riemannia metric' instead of 'Riemannian metric'.","section":"Corollary 3.10 and Proposition 3.13"},{"comment":"In the displayed formula for the third derivative, the last term has the repeated index ∂^3u/∂x^a∂x^b∂x^b; it should be ∂^3u/∂x^a∂x^b∂x^c for a correct chain-rule expression.","section":"Lemma 2.1, equation (2.7)"},{"comment":"The stereographic metric formula has the inverse exponent, which appears to be a typo but should be fixed consistently in the text because it is used in the conformal factor computation.","section":"Around equation (5.34)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and the bulk of the analysis appears sound and carefully written. My main reservation is the mass-zero branch in Theorem 5.10, where the harmonicity assertion is incorrect; I see this as a fixable but essential gap rather than evidence of circularity or fabrication. I would ask the authors to supply a correct regularity argument for the conformal map near the pole, or to modify the proof of Theorem 5.12 so that it does not depend on the current W^{3,q} claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline result—Yamabe for W^{2,q}, q>3, closed orientable 3-manifolds—is the right target, and the paper really does build most of the machinery to get there: a workable elliptic theory for the rough conformal Laplacian, a Green function with the sharp blow-up expansion, and a clean reduction of the positive case to the sign of the ADM-type mass. The appendices on Sobolev diffeomorphisms and weighted estimates are useful on their own. That is real credit where it is due.\n\nThe reader's conditional verdict is fair. I share the worry about relying on the first author's unpublished [6] for the foundational Laplace regularity; that should be published or reproduced. The Lee–LeFloch PMT application is handled with more care than I expected, including the decay check and the spin/orientability caveat.\n\nBut I think the reader under-weights one specific internal gap, and the stress-test note lands. In Theorem 5.10, after constructing φ via the isometry y and stereographic projection, the proof says 'using that φ is an isometry' and concludes that u^i∘φ solves Δ_g(u^i∘φ)=0. φ is not an isometry; it is conformal. The correct transformation has the extra lower-order term -(n-2)df(dφ(∇λ)), and in n=3 that term does not vanish because the conformal factor is not constant. So the W^{3,q} regularity upgrade for φ is not justified as written. This is load-bearing: Theorem 5.12 uses Theorem 5.10 precisely to handle the mass-zero case A=0. Without that upgrade, the round metric φ^*g_{S^3} is not shown to lie in the W^{2,q} conformal class, and that branch of Theorem A is unsupported. The gap may be repairable—one could try to run the bootstrap with the lower-order term—but the repair is not in the paper.\n\nAlso, the final display in Theorem 5.10 has the conformal factor exponent inverted (u_1^{-4} instead of u_1^4, if u_1 is the standard bubble). That may be a typo, but it should be fixed.\n\nWho is this for? Geometric analysts working on low-regularity Yamabe, rough metrics, and PMT. The toolkit is worth having even if the main theorem needs this repair. I would send it to a serious referee; a desk rejection would be wrong. But I would not accept it without a corrected mass-zero argument.","headline":"Real analytic toolkit and a plausible main theorem, but the mass-zero branch rests on a false harmonicity claim about a conformal map; that needs repair before acceptance.","tokens_in":72809,"tokens_out":9778,"would_cite":true,"duration_ms":110136,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","35J60","35J08","58J05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every $W^{k,q}$ Riemannian metric on a closed orientable 3-manifold with $q>3$ admits a conformal metric of constant scalar curvature, with matching Sobolev regularity.","keywords":["Yamabe problem","rough metrics","conformal Laplacian","Green function","positive mass theorem","Sobolev regularity","scalar curvature","asymptotically Euclidean manifolds"],"falsifier":"The central claim would collapse if the positive mass theorem for distributional curvature admitted a counterexample in the exact class built here: a scalar-flat $W^{2,r}_{-\\tau}$ asymptotically Euclidean 3-manifold with $r>3/2$, $\\tau=2-3/r$, nonnegative distributional scalar curvature, and negative generalized ADM mass. Constructing such a manifold would directly contradict the positive-mass theorem on which Theorem A rests.","tokens_in":71667,"feed_emoji":"🧮","tokens_out":7109,"duration_ms":73975,"temperature":0.7,"pith_summary":"This paper tries to establish that the Yamabe problem—the search for a constant-scalar-curvature metric inside a conformal class—has a positive answer for rough Riemannian metrics on closed 3-manifolds. Specifically, it claims that any $W^{k,q}$-Riemannian metric with $k \\geq 2$ and $q > 3$ on an orientable, closed 3-manifold is conformally equivalent to a $W^{k,q}$ metric of constant scalar curvature. The proof requires building an elliptic theory for the conformal Laplacian whose coefficients are only Sobolev-regular, and a detailed blow-up analysis of its Green function. The positive-Yamabe case, the hard one, is reduced to a positive-mass theorem for the asymptotically Euclidean manifold obtained by deleting the Green-function pole. A reader should care because rough metrics arise naturally in general relativity's constraint equations and in low-regularity scalar-curvature geometry, where previously the positive case was open even for $C^{1,\\alpha}$ metrics.","feed_headline":"Sobolev-rough 3-metrics admit constant scalar curvature conformally","feed_subtitle":"A Green-function blow-up expansion plus a rough positive mass theorem settle the Yamabe problem for q > 3 metrics.","key_machinery":"The rough conformal Laplacian $L_g = -a_n \\Delta_g + R_g$, with coefficients in $W^{2,q}$, is the central operator; the paper proves it is Fredholm of index zero and an isomorphism when the Yamabe invariant is positive, and develops regularity theorems for its solutions. The conformal Green function $G_p$—the unique positive solution of $L_g G_p = \\delta_p$—is the central object: its blow-up profile in harmonic coordinates of a good conformal gauge (a conformal metric with continuous positive scalar curvature) determines the asymptotic Euclidean structure of the decompactified manifold. The mass formula $m = 2A$, where $A$ is the leading constant in the Green-function expansion, connects the analytic blow-up analysis to the Lee–LeFloch positive mass theorem, and Aubin bubbles supply the test functions whose energy dips below $\\lambda(S^3)$.","core_discovery":"Theorem A is the central discovery: on an orientable, smooth, closed 3-manifold, every $W^{k,q}$-Riemannian metric with $k \\geq 2$ and $q > 3$ admits a conformal metric of constant scalar curvature of the same Sobolev class. The same conclusion holds without the dimensional or regularity restrictions when the Yamabe invariant is non-positive: for $n \\geq 3$ and $q > n/2$, every $W^{k,q}$ metric with $\\lambda(M,g) \\leq 0$ has a $W^{k,q}$ constant-scalar-curvature conformal representative. The engine behind the positive case is Theorem B, which produces a unique positive Green function for the rough conformal Laplacian and controls its blow-up at the pole in specially constructed harmonic coordinates, yielding the expansion $G_p = B/|x|^{n-2} + h(x)$ with $h(x) = A + O(|x|^{2 - n/r})$. The constant $A$ records the ADM-type mass of the decompactified manifold $(M\\setminus\\{p\\}, G^4 g)$, and the Lee–LeFloch positive mass theorem supplies the sign $A \\geq 0$ needed to beat the round-sphere threshold in the Aubin–Trudinger–Yamabe argument.","pith_inferences":["One consequence the authors leave implicit is that the resolution suggests a regularity threshold: the 'good' 3D threshold $q > 3$ is exactly where the Green-function error term becomes continuous and $C^1$-controlled; below it, the same conformal-method route would need a new blow-up estimate.","The identification $m = 2A$ also suggests a concrete numerical check: computing the coefficient $A$ for an explicit rough metric on $S^3$ would verify the sign and the mass-vanishing rigidity.","The elliptic regularity toolkit for the rough Laplace–Beltrami and conformal Laplacian operators is likely to transfer directly to the Lichnerowicz equation of the conformal method in general relativity, where rough initial data are standard.","A testable extension: sharpen the Green-function expansion to $q \\leq n/2$ in dimension 3, or to dimensions 4–5 with a spin positive-mass theorem, and Theorem A would extend; the paper identifies both as open."],"forward_implications":["If the theorem is right, every $W^{2,q}$ conformal class on a closed orientable 3-manifold with $q > 3$ contains a constant scalar curvature metric, and the regularity of that representative exactly matches the starting metric ($W^{k,q}$ for $k \\geq 2$).","In the non-positive Yamabe case the result is fully general in dimension: for any closed $n \\geq 3$ manifold and any $W^{k,q}$ metric with $q > n/2$ and $\\lambda(M,g) \\leq 0$, a $W^{k,q}$ constant-scalar-curvature conformal metric exists.","The Green-function expansion of Theorem B provides a usable analytic tool for Schrödinger-type operators with rough geometric coefficients, beyond the Yamabe problem itself.","If a positive mass theorem for distributional curvature became available without the spin assumption or for multiple ends, the orientability assumption in Theorem A could be dropped, as the paper notes."],"supporting_citations":[{"why":"Supplies the positive mass theorem for distributional curvature used to get $A \\geq 0$ and rigidity in the mass-zero case.","marker":"[44]"},{"why":"Provides the earlier rough Laplace–Beltrami regularity results (Theorem 3.1) on which the paper's elliptic theory for $L_g$ is built.","marker":"[6]"},{"why":"Supplies the classical Yamabe strategy—Aubin bubbles, Green-function decompactification, and the PMT-based test-function construction—that the paper adapts to rough metrics.","marker":"[45]"},{"why":"Gives the non-positive Yamabe case and Yamabe classification for lower-regularity metrics, which the paper extends and upgrades in regularity.","marker":"[52]"},{"why":"Establishes $W^{1,p}$ ($p>n$) constant scalar curvature metrics in non-positive Yamabe classes, the rougher baseline whose regularity the paper bootstraps.","marker":"[76]"},{"why":"Provides the asymptotic-Euclidean Yamabe classification and weighted-space framework used for the decompactified manifold $(M\\setminus\\{p\\}, G^4 g)$.","marker":"[26]"},{"why":"Aubin's theorem $\\lambda(M,g) < \\lambda(S^n)$ supplies the threshold the test functions must beat in the positive case.","marker":"[3]"}],"fun_headline_variants":["Rough 3-metrics admit conformal constant scalar curvature","Yamabe problem solved for Sobolev-regular 3-metrics","Green function blow-up settles Yamabe for rough metrics","Sobolev q>3 metrics get conformal constant curvature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing premise is that the Lee–LeFloch positive mass theorem applies to the scalar-flat asymptotic-Euclidean manifolds obtained by decompactifying with the rough conformal Green function; if that theorem fails for these rough metrics, the sign of $A$ and with it the positive-Yamabe conclusion collapses.","fun_headline_variants_meta":{"raw":{"variants":["Rough 3-metrics admit conformal constant scalar curvature","Yamabe problem solved for Sobolev-regular 3-metrics","Green function blow-up settles Yamabe for rough metrics","Sobolev q>3 metrics get conformal constant curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000529,"raw_usage":{"total_tokens":2538,"prompt_tokens":920,"completion_tokens":1618,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":536,"completion_tokens_details":{"reasoning_tokens":1545}},"tokens_in":536,"tokens_out":1618,"duration_ms":12720,"temperature":1.0,"reasoning_tokens":1545,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:45:24.751678+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The central claim would collapse if the positive mass theorem for distributional curvature admitted a counterexample in the exact class built here: a scalar-flat $W^{2,r}_{-\\tau}$ asymptotically Euclidean 3-manifold with $r>3/2$, $\\tau=2-3/r$, nonnegative distributional scalar curvature, and negative generalized ADM mass. Constructing such a manifold would directly contradict the positive-mass theorem on which Theorem A rests.","supporting_citations":[{"cited_title":"The positive mass theorem for manifolds with distributional curvature","cited_arxiv_id":null,"evidence_quote":"Supplies the positive mass theorem for distributional curvature used to get $A \\geq 0$ and rigidity in the mass-zero case."},{"cited_title":"The Yamabe problem","cited_arxiv_id":null,"evidence_quote":"Supplies the classical Yamabe strategy—Aubin bubbles, Green-function decompactification, and the PMT-based test-function construction—that the paper adapts to rough metrics."},{"cited_title":"Rough solutions of the Einstein constraint equations on compact manifolds","cited_arxiv_id":null,"evidence_quote":"Gives the non-positive Yamabe case and Yamabe classification for lower-regularity metrics, which the paper extends and upgrades in regularity."},{"cited_title":"The Yamabe problem for distributional curvature","cited_arxiv_id":null,"evidence_quote":"Establishes $W^{1,p}$ ($p>n$) constant scalar curvature metrics in non-positive Yamabe classes, the rougher baseline whose regularity the paper bootstraps."},{"cited_title":"Yamabe classification and prescribed scalar curvature in the asymptotically Euclidean setting","cited_arxiv_id":null,"evidence_quote":"Provides the asymptotic-Euclidean Yamabe classification and weighted-space framework used for the decompactified manifold $(M\\setminus\\{p\\}, G^4 g)$."},{"cited_title":"Equations diff´ erentielles non lin´ eaires et probl` eme de Yamabe con- cernant la courbure scalaire","cited_arxiv_id":null,"evidence_quote":"Aubin's theorem $\\lambda(M,g) < \\lambda(S^n)$ supplies the threshold the test functions must beat in the positive case."}],"review_version":1}