{"id":"bef0fb47-c304-40fa-9b13-c7379a98d981","arxiv_id":"2608.10642","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every positive entire solution of the critical CR Yamabe equation on the Heisenberg group H^n for n≥2 is a Jerison-Lee bubble.","lead":"A proof shows that every positive entire solution of a critical sub-elliptic equation on the Heisenberg group, in every dimension, must be one of the standard explicit bubble solutions. This completes a classification that previously required finite-energy or decay assumptions, and it introduces new rigidity identities for CR geometry.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the reader's Appendix C gap appears to be a miscalculation of the cutoff weight.","rationale":"The reader identified Appendix C as the load-bearing weakness, and I agree that this is the most delicate point of the argument; however, the specific objection raised there does not land. Computing φ^{-1}|∂φ|^2 for φ=η^8 yields 64η^6|∂η|^2, matching exactly the η^6 weight in (C.11); there is no singular η^{-2} factor. The remaining estimates in Lemmas C.2 and C.3 handle the lower-order error terms correctly, with the η^2 terms controlled by the unweighted integral over B_{2R} and the residual defect integral absorbed by a small constant. I therefore found no genuine gap in the proof as written. The reliance on the Jerison–Lee identity from [24] is external but standard, and the paper clearly locates the input. Since the only concrete concern raised by the reader appears to be based on a miscalculation, and I have not identified a substitute load-bearing concern, the manuscript does not need a conditional fix on these grounds. I keep the verdict unchanged out of caution given the length and technicality of the proof, but the stated condition is not supported.","tokens_in":23400,"tokens_out":39488,"duration_ms":349363,"concrete_test":"Independently recompute the transcription of [24, Proposition 4.1, formula (4.2)] into equation (C.2), verifying the vector field V^α in (C.1), and then re-run the φ=η^8 derivation of (C.11) from Lemma C.1 to confirm the weight is η^6|∂η|^2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the contested step, I do not find a load-bearing gap. In Proposition C.4, applying Lemma C.1 with φ=η^8 gives φ^{-1}|∂φ|^2 = η^{-8}(8η^7|∂η|)^2 = 64η^6|∂η|^2, which with |∂η|≤CR^{-1} is exactly the η^6, R^{-2} weight needed for (C.11). The reader's claimed η^{-2}|∂η|^2 singularity does not occur. The cutoff estimates in Lemmas C.2–C.3 are also consistent: the η^2 error terms are absorbed by the unweighted B_{2R} integral in (C.13), and the remaining R^2I term is absorbed by choosing ρ small. The only external algebraic input is the Jerison–Lee divergence identity [24, Proposition 4.1], quoted rather than re-derived; this is standard mathematical practice and does not by itself constitute a correctness gap. I could not identify another load-bearing weakness in the sequential isolation, defect quantization, or finite-descent arguments.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for every n≥2 every positive C^2 solution of the critical CR Yamabe equation 4Δ_b u = n^2 u^{(Q+2)/(Q-2)} on the Heisenberg group H^n is a Jerison–Lee bubble, with no a priori L^{p+1}, decay, boundedness, or symmetry assumption. The proof first establishes an exact Green–Riesz representation and a critical Morrey bound for all positive solutions. Green reciprocity with a bubble produces a nonnegative convex deficit; differentiating reciprocity along the conformal orbit gives a nonlinear barycentre identity on the CR sphere. These ingredients yield the sequential bubble-isolation theorem (Theorem 1.3). For bounded solutions, the m=0 Jerison–Lee divergence identity, localized by a cutoff (Appendix C), gives an annular estimate linking the defect integral to the energy; a discrete Riccati lemma converts energy growth into defect growth, and a height-layer packing argument with a uniform defect quantum closes the loop. Iteration drives the energy-growth exponent below 2, forcing the defect to vanish, and the zero-defect rigidity theorem identifies the solution as a bubble. Unbounded entire solutions are excluded by a Poláčik–Quittner–Souplet doubling argument that reduces to the bounded case and sequential isolation. Together with the known H^1 theorem, this classifies all dimensions.","tokens_in":23530,"tokens_out":50733,"duration_ms":446479,"significance":"If correct, this is a major result: it removes finite energy and all growth assumptions for n≥2, settles the unconditional classification in the Heisenberg setting, and shows that L^{p+1} integrability is a consequence rather than a hypothesis. The proof is methodologically novel, combining exact Green reciprocity with a nonlinear barycentre law to isolate the bubble manifold without energy control, and then using defect quantization to bootstrap to rigidity. The paper is unusually explicit about logical dependencies: the two external algebraic inputs are localized (the Jerison–Lee divergence identity and Bedford's characterization of CR-pluriharmonic functions), and Appendix C supplies the full cutoff argument. I checked the contested step in Proposition C.4: applying Lemma C.1 with φ=η^8 gives φ^{-1}|∂φ|^2 = 64 η^6 |∂η|^2, so the η^6 weight in (C.11) is correct; the reader's worry about an η^{-2} singularity does not materialize. I found no load-bearing error or circularity in the central argument.","major_comments":[],"minor_comments":[{"comment":"The displayed constant in front of the R^{-4} term appears to be a typing slip: with φ=η^6, σ=1/3 and ε=ρR^2, the term ε^{-2}φ^{1-2σ} equals ρ^{-2}R^{-4}η^2, so the coefficient should be C(1+ρ^{-2}) or Cρ^{-2} rather than Cρ. This does not affect the absorption argument, since only the coefficient of the I^2 term matters for choosing ρ small, and the corrected constant merely enlarges the final constant in (C.10).","section":"Appendix C, Eq. (C.13)"},{"comment":"Please harmonize the internal references: Section 5.3 refers to 'Theorem C.4' while Appendix C states Proposition C.4; Section 7.1 refers to 'Theorem 5.4' for Lemma 5.4; Section 4.3 refers to 'Theorem 4.3' and Corollary 4.6 refers to 'Theorem 4.5' for Lemmas 4.3 and 4.5.","section":"Cross-references"},{"comment":"The proof following Theorem 7.4 is headed 'Proof of Theorem 1.2', but the statement it proves is Corollary 1.2.","section":"Section 7, proof of Corollary 1.2"},{"comment":"The dyadic partition of the range of W^{-1/n} should explicitly include negative dyadic powers μ<1; as written, the phrase 'dyadic values' could be read as μ≥1 only. The geometric convergence of the first sum as μ→0 makes this harmless, but a clarifying sentence would help.","section":"Proposition 6.5"},{"comment":"The quantitative implicit function theorem is invoked in one sentence to obtain the modulation parameters v_j. Since this is the only point where the orthogonality normalization is constructed, a brief statement of the required C^1 dependence of Φ on v for F∈L^1 would make the step easier to verify.","section":"Lemma 4.3"}],"recommendation":"minor_revision","confidential_remarks":"This is a technically impressive paper. I verified the main contested cutoff computation in Appendix C and found it correct; the remaining issues are presentation and a harmless constant typo. Given the strength of the claimed result, the editor may wish to ensure an independent check of the quoted Jerison–Lee divergence identity [24, Proposition 4.1], which is the one algebraic input not re-derived in the paper. If that identity is correct, the paper is suitable for publication in a leading analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious proof of the unconditional CR Yamabe classification, with a new method and no load-bearing gap I can find. The main caveat is that the theorem is not new as a result: Liu [30] has a moving-spheres proof of the same statement, and the paper acknowledges it. So the contribution is the method and the verification, not the classification itself.\n\nWhat is actually new is the pair of exact identities: Green reciprocity with a bubble and the nonlinear barycentre law on the CR sphere. They make the sequential isolation theorem work without any energy bound, and the defect-budget alternation that follows is a genuinely different route from the Euclidean moving-plane arguments. I read Section 4 closely; the modulation via the implicit function theorem, the L1 convergence, the concentration of the normalized defect at the missing point, and the contradiction from the barycentre identity all hold together. The paper's claim that there is no circularity is accurate: Theorem 1.3 is proved before any defect estimates are introduced.\n\nThe reader's Appendix C concern does not survive a direct check. With φ=η^8 in Lemma C.1, φ^{-1}|∂φ|^2 = 64η^6|∂η|^2, so there is no η^{-2} singularity and the η^6 weight in (C.11) is exactly what the cutoff produces. The absorbing of the ρR^2I term in (C.13) is legitimate, and I do not see a missing factor. The heavier algebraic input is the pointwise m=0 divergence identity taken from Jerison-Lee [24, Prop 4.1]; it is quoted rather than re-derived, which is standard but means the annular estimate rests on a nontrivial external computation. I did not find an error in how it is translated and used.\n\nTwo soft spots are worth noting. First, the framing for the referee should make clear that if Liu's preprint is correct, the headline theorem is already in the literature; the new part is the independent proof and the intermediate tools. Second, the proof is long and the cutoff estimates in C.2-C.3 are exactly the kind of detail where sign errors hide; a referee should be asked to check them line by line.\n\nThis paper deserves a serious referee. The new machinery is likely to be useful beyond the classification, for example in compactness questions near blow-up points. I would cite it.","headline":"A serious, mostly sound proof of the unconditional CR Yamabe classification with genuinely new tools; the headline theorem is already claimed by Liu, so the value is the method, and the flagged Appendix C gap is not real.","tokens_in":24091,"tokens_out":8537,"would_cite":true,"duration_ms":79469,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J61","32V20","35B53","35B33"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every positive entire CR Yamabe solution is a Jerison–Lee bubble.","keywords":["CR Yamabe equation","Heisenberg group","Liouville theorem","Jerison–Lee bubbles","Green representation","Morrey estimates","defect quantization","conformal invariance"],"falsifier":"Apply the integration by parts of Lemma C.1 to a smooth cutoff η satisfying (C.9) with φ=$η^{8}$ and compare the exponent of η multiplying |∂η|^2 in the resulting estimate with the exponent in (C.11); if the weights do not match, Proposition C.4 and the annular estimate (5.13) are not established, and the proof of Theorem 1.1 loses its engine.","tokens_in":23143,"feed_emoji":"🧮","tokens_out":10540,"duration_ms":90633,"temperature":0.7,"pith_summary":"This paper proves an unconditional classification statement for the critical CR Yamabe equation on the Heisenberg group: for every n≥2, every positive smooth solution is one of the explicit Jerison–Lee bubbles, obtained from a fixed profile by left translation and dilation. No integrability, decay, boundedness, or symmetry is assumed at the outset, and finite energy is shown to be a conclusion rather than a hypothesis. Together with the previously known case n=1, this identifies the positive entire solutions in every dimension. The proof avoids moving-plane and Kelvin-transform arguments, which fail on the Heisenberg group, and instead builds two exact identities from the Green representation: a convex deficit measuring the distance from a bubble, and a nonlinear barycentre law that forbids that deficit from concentrating at a single point of the CR sphere.","feed_headline":"Every positive CR Yamabe solution is a Jerison–Lee bubble","feed_subtitle":"No growth, decay, or symmetry assumed: the proof classifies all positive entire solutions in every dimension.","key_machinery":"The argument is carried by the bubble family U_{a,λ}(ξ)=$λ^{{-n}}$U_0(δ_{$λ^{{-1}}$}($a^{{-1}}$ξ)), the convex deficit D_U(W)=∫$U^{{p+1}}$-∫U^p W=(1/(p-1))∫$U^{{p+1}}$R_p(W/U-1)≥0, and the nonlinear barycentre identity ∫X_α R_p(f)dV_S=0 for α=1,...,Q on the CR sphere. These two identities use only conformal covariance and an exact positive Green representation, and they replace the missing Euclidean reflection and Kelvin-transform machinery. The proof also relies on the critical all-centre Morrey bound ∫_{B_R(a)}u^p≤CR^n, the m=0 Jerison–Lee divergence identity, and an annular estimate that turns energy growth into defect growth.","core_discovery":"The paper claims that the only positive entire $C^{2}$ solutions of 4Δ_b u = $n^{2}$ $u^{{(Q+2)/(Q-2)}}$ on the Heisenberg group H^n are the Jerison–Lee bubbles U_{a,λ}. The central discovery is that two exact consequences of the Green representation — reciprocity with a bubble, giving a nonnegative convex deficit, and differentiation of the same reciprocity along the conformal orbit, giving a barycentre identity — isolate the bubble manifold without any energy bound. A defect budget derived from the m=0 Jerison–Lee divergence identity is then quantized and alternated with the critical Morrey bound to drive the energy-growth exponent below the threshold at which the defect must vanish, and zero defect triggers a pointwise rigidity theorem that identifies the solution as a bubble.","pith_inferences":["The two-identity mechanism should transfer to other conformally covariant equations with a positive Green kernel and a transitive conformal orbit; a natural test case is the Euclidean Yamabe equation in dimensions N≥6, where the critical exponent already satisfies p≤2.","Sequential bubble isolation without energy bounds suggests a CR analogue of the Riemannian Yamabe compactness theory, where sequences of solutions on compact pseudoconvex manifolds could be controlled at isolated concentration points without uniform energy assumptions.","The natural-scale defect quantum can be read as a quantitative stability statement: any non-bubble solution must deviate from the bubble manifold by at least a fixed amount in an appropriate sense, which may connect to sharp stability inequalities for the Folland–Stein Sobolev inequality."],"forward_implications":["For every n≥1, the positive entire solutions of (1.1) are exactly the Jerison–Lee bubbles U_{a,λ}; the n=1 case completes the classification.","Finite energy is a theorem, not an assumption: every positive entire solution automatically belongs to L^{p+1}(H^n).","The two exact identities yield a new isolation theorem: any uniform exact-Riesz/Morrey sequence that converges locally to a bubble is eventually bubbles, with no energy bound required, giving a compactness principle usable near blow-up points.","The defect budget gives a quantitative improvement rule: an all-centre growth D>2 for ∫_{B_R}W^{p+1} is replaced by nD/(n+2), and once D≤2 the Jerison–Lee defect vanishes, forcing the bubble.","The same reciprocity and barycentre identities have direct Euclidean analogues, applying to critical exponents with p≤2, i.e. Euclidean dimensions N≥6."],"supporting_citations":[{"why":"Supplies the m=0 Jerison–Lee divergence identity (formula (4.2)) that drives the annular estimate and the defect budget.","marker":"[24]"},{"why":"Establishes the n=1 unconditional classification that completes the all-dimensional corollary.","marker":"[9]"},{"why":"Provides the spherical spectrum and conformal sub-Laplacian normalization used to identify the first eigenspace and the kernel of the linearized operator.","marker":"[20]"},{"why":"Gives the local characterization of CR-pluriharmonic functions used in the zero-defect rigidity step.","marker":"[3]"},{"why":"Provides the positive fundamental solution of the sub-Laplacian underlying the exact Green representation.","marker":"[17]"},{"why":"Supplies the Liouville theorem for nonnegative sub-Laplacian harmonics used to eliminate the additive remainder in the Green–Riesz representation.","marker":"[5]"},{"why":"Provides the doubling lemma with displacement used to select natural scales and control normalized solutions.","marker":"[34]"}],"fun_headline_variants":["All positive CR Yamabe solutions are Jerison-Lee bubbles","No symmetry, no decay: CR Yamabe classification complete","CR Yamabe: every positive solution is a bubble","Heisenberg CR Yamabe: all positive solutions are bubbles"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire result rests on a single imported identity — the m=0 Jerison–Lee divergence formula — and on the cutoff computation that turns it into the annular estimate; if that cutoff step is not valid as written, the bounded classification and therefore the main theorem do not follow.","fun_headline_variants_meta":{"raw":{"variants":["All positive CR Yamabe solutions are Jerison-Lee bubbles","No symmetry, no decay: CR Yamabe classification complete","CR Yamabe: every positive solution is a bubble","Heisenberg CR Yamabe: all positive solutions are bubbles"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000604,"raw_usage":{"total_tokens":2879,"prompt_tokens":1068,"completion_tokens":1811,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":684,"completion_tokens_details":{"reasoning_tokens":1753}},"tokens_in":684,"tokens_out":1811,"duration_ms":12403,"temperature":1.0,"reasoning_tokens":1753,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:20:15.840347+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Apply the integration by parts of Lemma C.1 to a smooth cutoff η satisfying (C.9) with φ=$η^{8}$ and compare the exponent of η multiplying |∂η|^2 in the resulting estimate with the exponent in (C.11); if the weights do not match, Proposition C.4 and the annular estimate (5.13) are not established, and the proof of Theorem 1.1 loses its engine.","supporting_citations":[{"cited_title":"Monticelli, and Alberto Roncoroni,A Liouville theorem in the Heisenberg group, J","cited_arxiv_id":null,"evidence_quote":"Establishes the n=1 unconditional classification that completes the all-dimensional corollary."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the m=0 Jerison–Lee divergence identity (formula (4.2)) that drives the annular estimate and the defect budget."},{"cited_title":"Frank and Elliott H","cited_arxiv_id":null,"evidence_quote":"Provides the spherical spectrum and conformal sub-Laplacian normalization used to identify the first eigenspace and the kernel of the linearized operator."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the local characterization of CR-pluriharmonic functions used in the zero-defect rigidity step."},{"cited_title":"Folland,A fundamental solution for a subelliptic operator, Bull","cited_arxiv_id":null,"evidence_quote":"Provides the positive fundamental solution of the sub-Laplacian underlying the exact Green representation."},{"cited_title":"1, 111–124","cited_arxiv_id":null,"evidence_quote":"Supplies the Liouville theorem for nonnegative sub-Laplacian harmonics used to eliminate the additive remainder in the Green–Riesz representation."},{"cited_title":"Part I: Elliptic equations and systems, Duke Math","cited_arxiv_id":null,"evidence_quote":"Provides the doubling lemma with displacement used to select natural scales and control normalized solutions."}],"review_version":1}