{"id":"0f309c9b-5882-42d4-bc1f-67b5f19ecc9d","arxiv_id":"2412.12819","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near-minimizers of the normalized total σ2-curvature on the d-sphere are quantitatively close to the standard metric in two Sobolev norms, with optimal exponents 2 and 4.","lead":"The paper proves that metrics on the sphere whose total σ2-curvature is almost minimal must themselves be almost the standard round metric, up to a Möbius transformation. It is the first quantitative stability theorem for a geometric functional whose Euler-Lagrange equation is fully nonlinear.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof hinges on imported quotient inequality (2.1); if Ge-Wang [GW13] does not fully remove the σ2>0 condition, Proposition 3 collapses.","rationale":"The paper's central claim, Theorem 1, is a quantitative stability result for the sharp σ2-curvature inequality. The proof follows the Bianchi-Egnell strategy: Proposition 3 establishes compactness of optimizing sequences, Proposition 4 establishes local stability near the optimizer set, and together they imply the global theorem. The single most load-bearing input is inequality (2.1), which transfers F2-near-optimality to F1-near-optimality; without it the compactness step has no justification. The paper cites two external theorems for this inequality and does not prove them. This is a legitimate weak point because it is an external dependency, not because of any visible internal inconsistency. The reader identified exactly this assumption, and I agree. However, the cited theorems are standard in the conformal geometry literature, the authors correctly identify their roles, and the rest of the proof is detailed and internally coherent. Therefore the concern does not change the accept verdict; it only flags a verification task that would settle the robustness of the argument. No ad hominem, no manufactured flaw: the stress test confirms the proof structure is sound modulo the cited Ge-Wang quotient identity.","tokens_in":33144,"tokens_out":16199,"duration_ms":147238,"concrete_test":"Check the original statement of [GW13, Theorem 1] and verify that it indeed asserts equality between inf_{σ1>0,σ2>0} F2/(F1)^((d-4)/(d-2)) and inf_{σ1>0} F2/(F1)^((d-4)/(d-2)) for the same convention of F1 and F2, and that the sphere satisfies every hypothesis of the theorem. As a numerical sanity check, evaluate (2.1) on the two-bubble family from §5.2 and on u=1+εφ with φ a spherical harmonic of degree ℓ≥2; any violation for an admissible σ1>0 metric would invalidate Proposition 3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The global-to-local reduction in Proposition 3 uses inequality (2.1) to turn F2-near-minimality into F1-near-minimality, after which Lions compactness applies to the Yamabe quotient. The paper does not prove (2.1); it deduces it from [GW04, Thm 1] (which holds under σ2>0) and [GW13, Thm 1] (which is invoked to remove that constraint). Every later step, including Proposition 4 and Theorem 1, depends on Proposition 3. If [GW13] actually has a hidden hypothesis, compares a different normalized quotient, or only removes σ2>0 in a restricted class of metrics, then the implication from F2→S2 to F1→S1 fails and the compactness argument is not established. I see no internal error in the paper beyond this external-support risk; the citation chain is clearly identified and plausible.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a quantitative (Bianchi–Egnell type) stability theorem for the sharp σ2-curvature inequality on the sphere. For d>4, any positive smooth conformal factor u with σ1(u)>0 satisfies a deficit estimate in terms of the best W^{1,2} and W^{1,4} distance to the Möbius orbit of the constant function, with the optimal powers 2 and 4 respectively. The proof consists of a global-to-local reduction (Proposition 3) based on the Ge–Wang quotient monotonicity inequality (2.1) and Lions concentration compactness, followed by a local analysis (Proposition 4) using a spherical harmonic decomposition and a careful Taylor expansion. Sharpness of the two exponents is demonstrated by two distinct families of examples in Section 5. An appendix gives a strengthening of the Figalli–Zhang stability inequality for the p-Sobolev inequality.","tokens_in":33256,"tokens_out":23600,"duration_ms":193010,"significance":"This is the first quantitative stability result for a conformal variational problem whose Euler–Lagrange equation is fully nonlinear, which is a substantive advance over the existing stability theory for the Yamabe/Sobolev inequalities. The main theorem is sharp in the sense that the exponents 2 and 4 cannot be improved, and the sharpness constructions are explicit. The proof is technically original: the use of the Ge–Wang monotonicity formula to transfer compactness from F1 to F2, the two-norm local analysis via spherical harmonics, and the careful handling of the pointwise constraint σ1>0 are all strong points. The paper is largely self-contained except for the clearly identified external inputs (2.1) from [GW04] and [GW13], and the auxiliary result in the appendix is a nice complement. The central argument appears sound; the issues I found are local and repairable.","major_comments":[{"comment":"Just after defining sj and rj, the paper states: 'By the Sobolev inequality, we have sj → 0 in L^{2d/(d−2)} and therefore also rj → 0 in L^{4d/(d−4)} (Sd).' This inference is not valid as written: for d>4, L^{4d/(d−4)} is a stronger space than L^{2d/(d−2)} on a finite measure space, and convergence in W^{1,2} only gives convergence in L^{2d/(d−2)}. Nevertheless, the needed conclusion (1+rj)^4 → 1 in L^1 follows by Vitali's theorem, since rj → 0 in measure (because sj → 0 in W^{1,2}) and ||1+rj||_{L^{4d/(d−4)}} is bounded by the normalization. I recommend replacing the incorrect Sobolev-embedding statement with this standard uniform-integrability argument.","section":"§2, proof of Proposition 3"},{"comment":"In the case δ(u) > δ0 ||∇u||^p, the proof claims the bound inf_{Q∈M} ( ||∇u−∇Q||^p + ∫|∇Q|^{p−2}|∇u−∇Q|^2 dx ) ≤ ||∇u||^p 'by taking Q=0'. But Q=0 is not an optimizer, so it is not admissible in the infimum over M. This step needs a correct competitor (for example, a sequence of optimizers concentrating at infinity, which would give a bound by a constant times ||∇u||^p), or a different argument. Since this is the only proof of the non-degenerate regime, the appendix is incomplete as written.","section":"Appendix, proof of Theorem 14"}],"minor_comments":[{"comment":"In the decomposition after Lemma 12, the third line reads 'rmed_j := ...', which is a typo; it should define rhi_j.","section":"§4.1, definition of frequency decomposition"},{"comment":"The coefficient in the quadratic term is printed as 2(3d+4)/(d−4) in (4.3) but as 2(3d−4)/(d−4) in (4.4); one of these is a typo.","section":"§4.1, inequalities (4.3) and (4.4)"},{"comment":"The notation 'o_{|ξ|→∞}(1)' appears where the limit should be as |ξ|→1; please correct to 'o_{|ξ|→1}(1)'.","section":"§5.2, equations (5.6) and (5.7)"},{"comment":"Since inequality (2.1) is the pivotal external input for Proposition 3, the authors should state explicitly which theorem of [GW04] and which theorem of [GW13] are used and confirm that the hypotheses of those results match the present setting (in particular, that the removal of the σ2>0 condition is exactly as in [GW13]). This is a clarity request, not a doubt about correctness.","section":"§2, inequality (2.1)"},{"comment":"The sentence 'the functional F1 attains its minimum precisely at those metrics that are obtained from g∗ by a Möbius transformation' would be more precise as '...at the metrics Ψ*g∗ for Möbius transformations Ψ', since the set of minimizers is the orbit, not a single metric.","section":"§1.1, conformal parametrization"},{"comment":"In the step estimating Π1rj, the factor (d+1)/|Sd| appears in the projection formula; the subsequent bound is correct, but it would be helpful to state that this constant depends only on d.","section":"§4.2, proof of Lemma 13, Part 1"}],"recommendation":"minor_revision","confidential_remarks":"The main theorem is significant and the proof is essentially correct; the two major comments above are local gaps that can be fixed without changing the architecture of the paper. The external reliance on [GW13] is a genuine correctness risk only if that citation is not precisely as described, but the manuscript's derivation of (2.1) is transparent and the cited result is from a reputable source. The appendix's gap, while not central, should be fixed because the appendix is advertised as an answer to a question posed after a talk. Overall, the paper is a strong contribution and I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is the first quantitative stability theorem for a conformal curvature functional whose Euler-Lagrange equation is fully nonlinear. That alone makes it worth a serious look. It proves a sharp two-exponent estimate: near-minimizers of the total σ2-curvature are close to Möbius images of the round metric in W^1,2 squared plus W^1,4 quartic, and both exponents are optimal. The two-norm phenomenon is real, not an artifact: the quadratic and quartic behaviors come from genuinely different perturbation regimes.\n\nThe proof is written in the Bianchi-Egnell two-step form and is unusually transparent. The global-to-local step uses a monotonicity inequality of Ge-Wang to transfer F2-near-minimality to F1-near-minimality, after which Lions concentration-compactness applies. The local step uses a spherical harmonic decomposition to separate low and high frequencies; that is exactly the right tool to see why the W^1,2 and W^1,4 distances behave differently. The sharpness constructions for both exponents are explicit. The appendix also strengthens the Figalli-Zhang result in a natural way and answers a question of Neumayer. I checked the spots most likely to hide errors: the passage from s_j to r_j in Proposition 3, and the frequency-splitting estimates in Lemma 13. They are terse but correct; the claims that look too quick (e.g., the o(||r||^2+||r||^4) bounds) work because ||r||_{W^1,4}→0 makes ||r||^4 negligible relative to ||r||^2.\n\nThe main thing a referee needs to do is verify the external theorem that carries the global-to-local step: inequality (2.1), quoted from Guan-Wang and Ge-Wang, which removes the σ2>0 condition. The paper inherits its load from that citation. The citation chain is explicit and the deduction is spelled out, and I have no reason to doubt it, but it is the one part of the argument not proved here. If that inequality failed, Proposition 3 would collapse. That is a verification task, not an internal flaw.\n\nWho is this for? Anyone working on quantitative stability for functional inequalities, conformal geometry, or the σk-Yamabe problem. It deserves a serious referee; I would send it out.","headline":"First quantitative stability theorem for a fully nonlinear conformal curvature functional, with optimal two-norm behavior; proof is solid, but referee should verify the external Ge-Wang inequality that carries the global-to-local step.","tokens_in":33848,"tokens_out":11161,"would_cite":true,"duration_ms":89110,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A23","35J60","53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"Near-minimizers of the total σ2-curvature on the sphere are quantitatively close to Möbius images of the round metric.","keywords":["σ2-curvature","conformal geometry","sharp inequality","stability","Sobolev inequality","Möbius transformations","fully nonlinear","sphere"],"falsifier":"Two concrete tests: (i) compute the quotient ratio in (2.1) for metrics with σ1>0 but σ2≤0 to see if it fails; (ii) try to build an optimizing sequence with F_2[u]→$S_d^{{(2)}}$ whose $W^{{1,4}}$-distance to the Möbius orbit stays bounded away from zero. Either violation would falsify the main stability claim.","tokens_in":32895,"feed_emoji":"🌐","tokens_out":11307,"duration_ms":85429,"temperature":0.7,"pith_summary":"The paper proves a quantitative stability version of the sharp σ2-curvature inequality on the sphere S^d for d>4. It shows that any conformal metric with positive scalar curvature whose normalized total σ2-curvature is close to the minimum must be close, in explicit Sobolev norms, to a Möbius image of the standard metric. The two exponents, 2 and 4, are shown to be optimal. This is the first stability result of this kind for a variational problem whose Euler–Lagrange equation is fully nonlinear.","feed_headline":"Near-minimizers of σ2-curvature are forced close to the round metric","feed_subtitle":"The proof gives optimal stability exponents 2 and 4 for the fully nonlinear σ2-curvature variational problem.","key_machinery":"The proof is built on three pieces. The first is the quotient inequality $(F_2/S_d^{(2)})^{1/(d-4)} \\ge (F_1/S_d^{(1)})^{1/(d-2)}$, imported from the literature, which transfers near-optimality of F_2 to near-optimality of the Yamabe functional F_1; compactness for F_1-optimizing sequences then comes from concentration compactness. The second is the nonnegative energy density e_2(u) (defined in terms of σ1(u), |∇u|^2, and u), which turns the total σ2-curvature into an integral of nonnegative terms and permits a Taylor expansion around the optimizer. The third is a decomposition of the remainder r=u-1 into spherical harmonics of low, medium, and high degree; the medium frequencies are finite-dimensional and can be pushed into higher-order errors, while the high frequencies are where the quartic $W^{{1,4}}$ terms contribute at the sharp order, giving the exponent 4.","core_discovery":"The central assertion is Theorem 1: for every d>4 there is a constant c_d>0 such that every positive smooth function u on S^d with σ1(u)>0 satisfies F_2[u]-$S_d^{{(2)}}$ ≥ c_d inf_{λ,Ψ} ( ‖λ(u)_Ψ-1‖^2_{$W^{{1,2}}$} + ‖λ(u)_Ψ-1‖^4_{$W^{{1,4}}$} ), where F_2 is the normalized total σ2-curvature functional, $S_d^{{(2)}}$ its sharp minimum, and (u)_Ψ is u transformed by the Möbius map Ψ with the appropriate Jacobian weight. In geometric terms, almost minimizers of the total σ2-curvature among unit-volume conformal metrics with positive scalar curvature are quantitatively close to the standard metric and its Möbius images. The closeness is strong enough to control Sobolev distances by the energy deficit, and the exponents 2 and 4 cannot be improved, as shown by explicit families of perturbations.","pith_inferences":["This suggests that the quantitative distance bound could serve as the key input for controlling convergence rates of gradient flows for the fully nonlinear σ2-curvature functional, even though no such flow result is proved here.","The method of transferring compactness via the quotient inequality might adapt to other σ_k-curvature functionals on the sphere, provided an analogue of the quotient inequality and a nonnegative energy density exist, potentially yielding stability for a whole family of fully nonlinear variational problems.","The explicit spectral decomposition raises the possibility of computing explicit stability constants in Theorem 1 by tracking the spectral gap and the constants in the quotient inequality; the paper notes this is conceivable but does not carry it out."],"forward_implications":["The deficit F_2[u]-S_d^{(2)} controls both the quadratic W^{1,2} distance and the quartic W^{1,4} distance to the Möbius orbit, so any convergence of the functional implies convergence of the metric in those norms.","The optimality results mean that no stability inequality of the same form can hold with a smaller power than 2 for the W^{1,2} distance or smaller than 4 for the W^{1,4} distance, settling the sharp order of the remainder.","Optimizing sequences for F_2 are relatively compact in W^{1,4} modulo Möbius transformations, giving a compactness theorem for the fully nonlinear problem that does not require a direct concentration-compactness argument for F_2 itself.","The local analysis around minimizers yields a two-term stability inequality for the classical Sobolev inequality in \\dot W^{1,p}(R^d) with 2<p<d, strengthening the existing gradient stability result in that setting."],"supporting_citations":[{"why":"Establishes the sharp σ2-curvature inequality and identifies the Möbius metrics as the unique minimizers; this is the inequality the paper quantifies.","marker":"[GVW03]"},{"why":"Provides the quotient inequality between F2 and F1 under the additional constraint σ2>0, used in deriving the key comparison (2.1).","marker":"[GW04]"},{"why":"Removes the σ2>0 assumption in the quotient inequality, extending it to all metrics with σ1>0, which is the key tool in the global-to-local reduction.","marker":"[GW13]"},{"why":"Provides the representation of the total σ2-curvature as the integral of the nonnegative energy density e2(u), which underlies the local Taylor expansion.","marker":"[Cas20]"},{"why":"Supplies the concentration-compactness theorem used to show compactness of optimizing sequences for the Yamabe functional, the first step of the global-to-local reduction.","marker":"[Lio85a]"},{"why":"Gives the classical stability inequality for the Sobolev inequality that the present work extends to the σ2-setting, including the two-step strategy.","marker":"[BE91]"},{"why":"Provides the gradient-stability framework for the Sobolev inequality with p≥2, including the type of local control of distances used in the local analysis.","marker":"[FN19]"},{"why":"Gives the sharp stability exponent max{2,p} in \\dot W^{1,p} and the two-bubble example of sharp quartic growth, both reused in the sharpness section and the appendix.","marker":"[FZ22]"}],"fun_headline_variants":["Optimal stability exponents 2 and 4 for σ2-curvature near-minimizers","Almost minimizers of σ2-curvature are almost round, quantitatively","Sharp quantitative stability for the σ2-curvature variational problem","σ2-curvature: optimal exponents 2 and 4 for near-minimizer closeness","Near-minimizers of σ2-curvature forced close to round, sharp exponents"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole compactness reduction rests on a quoted inequality comparing the σ2-functional with the scalar-curvature functional for all metrics of positive scalar curvature; if that inequality were not true for all such metrics, the proof's first step would fail.","fun_headline_variants_meta":{"raw":{"variants":["Optimal stability exponents 2 and 4 for σ2-curvature near-minimizers","Almost minimizers of σ2-curvature are almost round, quantitatively","Sharp quantitative stability for the σ2-curvature variational problem","σ2-curvature: optimal exponents 2 and 4 for near-minimizer closeness","Near-minimizers of σ2-curvature forced close to round, sharp exponents"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000688,"raw_usage":{"total_tokens":3084,"prompt_tokens":877,"completion_tokens":2207,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":2100}},"tokens_in":493,"tokens_out":2207,"duration_ms":12645,"temperature":1.0,"reasoning_tokens":2100,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:41:07.952804+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Two concrete tests: (i) compute the quotient ratio in (2.1) for metrics with σ1>0 but σ2≤0 to see if it fails; (ii) try to build an optimizing sequence with F_2[u]→$S_d^{{(2)}}$ whose $W^{{1,4}}$-distance to the Möbius orbit stays bounded away from zero. Either violation would falsify the main stability claim.","supporting_citations":[],"review_version":1}