{"id":"08c61ccc-aeb0-48c7-90cf-d012b46b9244","arxiv_id":"2502.08495","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Positive solutions to the critical p-Laplace and n-Laplace Liouville equations on noncompact Ricci-nonnegative manifolds are classified as Euclidean bubbles under new ranges and growth conditions.","lead":"The paper proves new rigidity theorems for the critical p-Laplace and quasilinear Liouville equations on complete Riemannian manifolds with nonnegative Ricci curvature, using a new sharp nonlinear Kato inequality and Cheng-Yau type gradient estimates. It shows that under certain dimension, energy, or decay conditions, any positive solution forces the manifold to be Euclidean and the solution to be an explicit Aubin-Talenti or logarithmic bubble.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Weak-solution extension of the Kato/Bochner machinery is not justified; Theorem 3.1 needs an approximation argument across the critical set.","rationale":"I checked the algebraic identities in Lemmas 2.1-2.4 for smooth w with grad w != 0 and found them internally consistent; the exponent bookkeeping in Lemmas 3.3-3.4 and in Theorems 5.1-5.3 also appears to check out modulo the standard regularity input. The single place where a hidden assumption is needed is the passage from the smooth, nondegenerate case to the weak-solution setting: the Bochner-Kato identity and the subsequent integration by parts with f^{-alpha}eta^gamma are stated rather than proved across the critical set. This is not a disagreement with the consensus but an internal justification gap. If the cited regularity theory supplies the needed integrability and a weak formulation of grad f, then the gap is closable by a short approximation lemma; without it, the contradiction in Theorem 3.1, and hence the main rigidity theorems, lacks a key link. The reader's weakest_assumption identifies exactly this point, so I agree with the conditional verdict.","tokens_in":36823,"tokens_out":34266,"duration_ms":326829,"concrete_test":"Independently re-derive Lemma 2.4 and the key estimates (3.3)-(3.7) for w in C^{1,alpha}_loc with grad w = 0 on a measure-zero set, using a mollification w_epsilon -> w or a direct distributional computation. Verify that the boundary terms on partial B_epsilon around the critical set vanish as epsilon -> 0 and that f^{-alpha}eta^gamma is an admissible test function for every alpha below n(p-1)/((n-1)p). If this fails for some p in (1,2) or for any alpha in the allowed range, Theorem 3.1 and the rigidity conclusions built on it are not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The entire rigidity argument reduces to Theorem 3.1, whose proof tests the distributional inequality div(w^{1-n}E(W)) >= w^{1-n}trE^2 against the nonsmooth function f^{-alpha}eta^gamma. But Lemma 2.4 and the nonlinear Kato inequality (2.4) are proved only for w in C^3 with grad w != 0. For weak solutions, the paper cites C^{1,alpha}_loc regularity and smoothness off a measure-zero critical set Z, then asserts that the divergence inequality holds distributionally and that (3.3)-(3.7) are valid. This requires a missing approximation argument: f is only continuous, grad f is not known to be pointwise well-defined across Z, and the products and |E(W)| sqrt(trE^2) used in (3.4)-(3.5) need a weak formulation. The delicate case is p<2, where |grad u|^{p-2} grad^2 u in L^2_loc does not by itself make the boundary terms over the critical set vanish. Since Theorems 5.1-5.3 and Theorem II all invoke Theorem 3.1 as the contradiction source, this gap is load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies positive weak solutions of the critical p-Laplace equation -Δ_p u = u^{np/(n-p)-1} and the quasilinear Liouville equation -Δ_n u = e^{nu} on complete, noncompact Riemannian manifolds with nonnegative Ricci curvature. The authors introduce a P-function construction, prove a nonlinear Kato inequality and a Bochner-type identity for the p-Laplacian, and use them to derive integral growth estimates of Karp type and a Cheng-Yau type gradient estimate. From these they conclude, under either a range of p, a finite-energy/decay condition, or a pointwise polynomial upper bound, that the manifold is isometric to Euclidean space and the solution is an Aubin-Talenti bubble; an analogous rigidity statement is given for the n-Laplace Liouville equation. The main theorems are Theorem I (parts A, B, C) and Theorem II.","tokens_in":37015,"tokens_out":30908,"duration_ms":271237,"significance":"If the technical gaps noted below are closed, this is a substantial contribution: it gives the first classification of critical p-Laplace solutions on manifolds with nonnegative Ricci curvature under broad analytic conditions, extends the semilinear results of Catino-Monticelli and Ciraolo-Farina-Polvara to the quasilinear setting, and answers part of Problem 2 in the introduction. The algebraic core is explicit and verifiable: Lemma 2.1 and Lemma 2.4 contain concrete identities and inequalities, and the conditions in Theorems I and II are stated with explicit exponents, so the predictions are falsifiable. A particular strength is that the argument is not a reduction to previously fitted parameters; the central contradiction comes from the growth dichotomy in Theorem 3.1. The main reservations are about the weak-solution justification of the distributional Bochner machinery and one incorrect linear-algebra bound in the gradient estimate; both appear repairable.","major_comments":[{"comment":"The proof of Theorem 3.1 is the engine of the paper, but the passage from the pointwise Bochner identity (2.15) and Kato inequality (2.4), both proved only for w ∈ C^3 with ∇w ≠ 0, to the distributional inequality used for weak solutions is not justified. The text asserts after citing [1,22,51,52] that div(w^{1-n}E(W)) ≥ w^{1-n}trE^2 “holds in the sense of distribution” and then tests it against f^{-α}η^γ. However, f is only C^{0,α} across the critical set Z, ∇f is not classically defined on Z, and f^{-α}η^γ is not a C∞_0 test function; moreover, for p<2 the available regularity |∇u|^{p-2}∇²u ∈ L²_loc does not by itself control the boundary terms that arise when integrating by parts on M\\Z. Since Theorem 3.1 supplies the growth contradiction in Theorems 5.1–5.3 and Theorem II, an approximation or density argument (or a directly weak formulation of (2.15)) must be supplied before the main claims are established.","section":"§3, Theorem 3.1 (Eqs. (3.3)-(3.7))"},{"comment":"The eigenvalue assertion preceding (4.14) is incorrect as stated: A_φ = Id + (p-2)|∇φ|^{-2}∇φ⊗∇φ has eigenvalues {1, p-1}, so for p<2 it is bounded below by p-1 and above by 1, not “below by 1 and above by p−1”. Consequently, the factor (p−1)/(tp) multiplying ∫|∇(η|∇φ|^t)|² in (4.14) is not a valid consequence when p>2, where the lower bound is 1. The inequality should use min{1,p−1} (or an equivalent p-dependent constant) in that factor. This affects the proof of Theorem 4.1, which Theorem 5.3 invokes for p up to n²/(3n−2); for n≥6 this range includes p>2, so the error occurs in a parameter range actually used in the paper.","section":"§4, Lemma 4.3, Eq. (4.14)"},{"comment":"The final contradiction in Theorem II is not written correctly. Theorem 3.2 is applied with G(s)=F(2s) to obtain (5.4), a limsup with denominator R²G(R) of an integral over B_R. The next display, however, asserts a limsup with denominator R²F(R) over B_{R/2} and declares it infinite; (5.3) only bounds ∫_{B_{R/2}} f w^{3-n-2/n} by C R²F(R), while doubling the radius gives the bound C R²G(R), not C R²F(R). The argument can be repaired by keeping G in the final step: bound ∫_{B_R} f^{1-α}... by C R²G(R) and contradict (5.4). As it stands, the displayed implication does not follow from the preceding lines.","section":"§5.4, proof of Theorem II (Eqs. (5.3)-(5.4))"}],"minor_comments":[{"comment":"In the definition of weak solution to the n-Laplace Liouville equation, the integrand should be |∇u|^{n-2}⟨∇u,∇φ⟩, not |∇u|^{p-2}⟨∇u,∇φ⟩.","section":"Definition 1.2"},{"comment":"The phrase “Euclidean plane R^n” should read “Euclidean space R^n”, since the corollary covers n = 3, 4, 5.","section":"Corollary 1.2"},{"comment":"The notation “(n−1)α+” appears to mean the positive part α_+, but this is never defined; please define it explicitly or rewrite the inequality with α_+ = max{α,0}.","section":"Eq. (3.6)"},{"comment":"The proof of Theorem 3.2 is dismissed with “the rest of the proof is similar”; given that Theorem II depends on this statement, a brief indication of the changed exponents and the new constant α<1 would improve readability.","section":"Theorem 3.2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is clearly written and the main strategy is coherent, but the weak-solution justification of the distributional Bochner/Kato inequalities is a genuine load-bearing gap. I would not reject: the missing approximation argument is likely standard and the eigenvalue error in Lemma 4.3 is local and repairable. The authors should also correct the F/G mismatch in the proof of Theorem II. If these points are addressed, the paper would be a solid contribution to the geometric classification of critical quasilinear equations."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper. The real story: new sharp nonlinear Kato inequality, clean algebraic identities, and a coherent integral-estimate strategy; but the weak-regularity step in Theorem 3.1 is asserted rather than proved, and the proof of Theorem II has an exponent error for n=2,3. The main theorems are likely true, but the write-up is not there yet.\n\nWhat's genuinely good: the Kato inequality (2.4) is new and sharp, with a nice verification via the example; the Bochner-type formula (2.15) is the right frame. The integral estimates of Theorems 3.1–3.2 are the engine, and the overall strategy—force f constant, then pull a homothetic vector field out of E(W)=0—is sound. The exponent bookkeeping in Theorem 5.1 and the growth-range arguments in Theorem 5.2 look correct. The disclosure about Nobili–Violo is transparent.\n\nThe problems: the stress-test is on target. Lemma 2.4 and the Kato inequality are proven for C^3 w with ∇w ≠ 0; for the weak solutions in Theorem 3.1 the paper cites regularity and then says the divergence inequality holds in the sense of distributions and uses f^{-α}η^γ as a test function. That requires an approximation argument across the critical set. It is not automatic, especially for p<2. Since Theorem 3.1 is used to generate the contradiction in every rigidity theorem, this is load-bearing. A referee should demand a proof or a precise lemma.\n\nSecond, Theorem II: the proof sets q=(n+2)/(n-2) and claims q3. So the proof does not cover n=2,3. The theorem statement says all n. Either the theorem needs a low-dimension argument or a restriction to n≥4. This is a mathematical error, not just a presentation issue.\n\nAlso, the Cheng-Yau gradient estimate is explicitly deferred for n=2; minor.\n\nWho this is for: geometric analysts working on rigidity and quasilinear PDEs. It deserves a serious referee, but the referee's job is real: verify the weak-regularity extension and fix the n=2,3 case. I would not cite it as-is.","headline":"Genuinely new tools and a mostly sound strategy, but a load-bearing regularity gap in Theorem 3.1 and an exponent error in Theorem II make this a major-revision paper, not a finished result.","tokens_in":37559,"tokens_out":10371,"would_cite":false,"duration_ms":97920,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J92","35B33","58J05","53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"Positive weak solutions of the critical p-Laplace equation on complete noncompact manifolds with nonnegative Ricci curvature, under one of three growth or decay assumptions, force the manifold to be Euclidean and the solution to be an…","keywords":["critical p-Laplace equation","Liouville equation","classification","rigidity","Ricci curvature","nonlinear Kato inequality","Aubin-Talenti bubble","Cheng-Yau gradient estimate"],"falsifier":"Build a complete rotational-symmetric metric of nonnegative Ricci curvature and solve the critical p-Laplace equation radially: if a positive solution with nonconstant P-function satisfies the growth bound in condition (B) or the decay bound in condition (C), then the annulus integral $\\int_{B_R\\setminus B_{R/2}} f^{-\\alpha}w^{1-n}|\\nabla w|^{2p-2}$ would be $O(R^2)$, contradicting its predicted divergence and falsifying the rigidity claim.","tokens_in":36603,"feed_emoji":"📐","tokens_out":12006,"duration_ms":115983,"temperature":0.7,"pith_summary":"This paper tries to settle a rigidity dichotomy for the critical $p$-Laplace equation $-\\Delta_p u = u^{np/(n-p)-1}$: on a complete, connected, noncompact Riemannian manifold with nonnegative Ricci curvature, a positive weak solution should be nothing more than an Aubin-Talenti bubble living on flat Euclidean space. The authors show this under three broad enough hypotheses on $p$ or on the solution's growth at infinity, and they prove an analogous statement for the quasilinear Liouville equation $-\\Delta_n u = e^{nu}$. These are classification results with a geometric payoff: if one such solution exists, the entire manifold must be isometric to $\\mathbb{R}^n$. This matters because the same mechanism also rules out Sobolev minimizers on nonflat manifolds, a question at the heart of sharp Sobolev inequalities.","feed_headline":"Critical p-Laplace solutions force flat Euclidean space","feed_subtitle":"A new Bochner-Kato inequality shows growth or decay bounds on solutions can only be met on R^n.","key_machinery":"The engine is the triple $(w,f,E)$: the auxiliary function $w$, the P-function $f=\\Delta_p w$, and the trace-free endomorphism $E(W)=\\nabla W - (\\mathrm{div}\\,W / n)\\,g$ built from $W=|\\nabla w|^{p-2}\\nabla w$. The load-bearing identity is the Bochner-type formula $\\mathrm{div}(w^{1-n}E(W)) = w^{1-n}\\mathrm{tr}\\,E^2 + w^{1-n}\\mathrm{Ric}(W,W)$, combined with the sharp nonlinear Kato inequality $\\mathrm{tr}\\,E^2 \\ge \\frac{n(p-1)}{n-1} \\cdot \\frac{\\langle E(W), A^{-1}(E(W))\\rangle}{|W|^2}$, where $A(X)=X+(p-2)|\\nabla w|^{-2}\\langle X,\\nabla w\\rangle\\nabla w$. This pair upgrades nonnegative Ricci curvature into a pointwise lower bound on a divergence, which after integration against test functions yields the dichotomy: either $f$ is constant or certain annulus integrals diverge at least like $R^2$. The Cheng–Yau type gradient estimate, proved by Moser iteration, is the supporting mechanism that converts polynomial decay of $u$ into the required upper bound on these integrals.","core_discovery":"The paper's central claim is that the critical $p$-Laplace equation is rigid on complete noncompact manifolds with nonnegative Ricci curvature. The proof introduces the auxiliary function $w$ and the P-function $f=\\Delta_p w$, where $w = ((n-p)/p)^{(p-1)/p} u^{-p/(n-p)}$ for the $p$-Laplace equation and $w=e^{-u}$ for the $n$-Laplace Liouville equation. The load-bearing Bochner-type identity $\\mathrm{div}(w^{1-n}E(W)) = w^{1-n}\\mathrm{tr}\\,E^2 + w^{1-n}\\mathrm{Ric}(W,W)$, with $W=|\\nabla w|^{p-2}\\nabla w$ and $E$ the trace-free part of $\\nabla W$, combines with a new sharp nonlinear Kato inequality to give a dichotomy: if the P-function is not constant, certain annulus integrals grow faster than $R^2$. Each hypothesis in Theorem I—an upper range of $p$, finite weighted $L^q$ growth, or polynomial decay faster than a stated rate—supplies a matching $O(R^2)$ upper bound, forcing $f$ to be constant. A constant $f$ makes $E(W)$ a homothetic vector field, which by a classical geometric theorem forces the metric to be Euclidean; existing Euclidean classifications then identify the solution as an Aubin-Talenti bubble. Theorem II repeats this scheme for $-\\Delta_n u = e^{nu}$ and yields the standard logarithmic solution on $\\mathbb{R}^n$.","pith_inferences":["If the regularity barrier at the critical set could be removed, the same divergence-versus-growth contradiction would likely push condition (A) down toward all $12$, leaving a window in which the true borderline could be lower.","The $n$-Laplace Liouville theorem suggests a conformally invariant classification in which the lower-bound condition with $F\\equiv 1$ gives $u(x)\\ge -\\frac{n}{n-1}\\ln r - C$, and any slower allowed growth would break rigidity."],"forward_implications":["The first part of Theorem I covers the range $p_n