{"id":"b07c81ff-43a3-4b8e-942d-5a3856e56583","arxiv_id":"2508.09047","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The spinorial Sobolev deficit on S^n controls the L^{2n/(n+1)} distance to the Killing spinor family, and those extremal spinors do not optimize a second spinorial Sobolev inequality.","lead":"This paper proves a quantitative stability version of the spinorial Sobolev inequality on the unit sphere: the deficit bounds the distance to the extremal Killing spinor family. It also shows those extremal spinors are not optimizers of a second related spinorial Sobolev inequality, contradicting expert expectation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform positivity of c_S needs a spectral-gap/compactness proof not visible in the abstract; a zero normal mode would force c_S=0.","rationale":"The reader identified the weakest assumption as the quantitative rigidity/compactness property needed to turn the deficit into a distance bound with a uniform constant. I agree: this is exactly the load-bearing point. The abstract announces the stability inequality and a surprising index/nullity by-product, but it does not state the second-variation spectral gap or the no-bubbling compactness argument. Since the conformal group acting on M is noncompact, conformal rescaling could in principle produce a sequence with deficit tending to zero while the distance to M remains bounded away from zero; ruling this out requires a sharp analysis of bubbles, and the abstract gives no evidence that it is supplied. The by-product's index/nullity statement is a red herring in the sense that it concerns the other Sobolev inequality and cannot be used to infer positivity of the Hessian of the deficit functional. I am not claiming the theorem is false; the proof may well establish all of this. But with only the abstract available, the central claim is genuinely unverified. Therefore the verdict should remain UNCHANGED (the reader's UNVERDICTED is appropriate). My concrete test is a direct spectral computation of the second variation at a Killing spinor; a zero mode would invalidate the claimed stability, while a positive gap would at least confirm the local part and shift the burden to the compactness check.","tokens_in":946,"tokens_out":9456,"duration_ms":122409,"concrete_test":"On S^3 (or S^2 if easier), fix a standard −1/2-Killing spinor φ and define F as the deficit in the first displayed inequality. Compute the quadratic form Q(η)=d²/dt² F[φ+tη]|t=0 for spinor spherical harmonics η satisfying ∫⟨Dη,Dφ⟩=0 (the L²-orthogonal complement of T_φM) and ||Dη||_{L^{4/3}}=1. Evaluate the infimum of Q(η)/||Dη||_{L^{4/3}}². If the infimum is 0, no positive c_S can exist. If it is positive, the local spectral gap holds; then separately check a concentrating sequence η_j supported in geodesic balls of radius 1/j to rule out a bubble with vanishing ratio.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem asserts a global stability inequality with a fixed positive constant c_S. For such an inequality to hold, the deficit functional F[ψ] must be quadratically coercive in the D-Sobolev norm on the normal space of the equality manifold M. Concretely, the second variation of F at each φ∈M must be bounded below by a positive multiple of ||Dη||^2_{L^{2n/(n+1)}} for all η orthogonal to T_φM. The abstract provides no statement of such a spectral gap, nor of the required compactness of minimizing sequences modulo the noncompact conformal group. The by-product about the *other* Sobolev inequality (index n+1, nullity 2^{⌊n/2⌋+2}) concerns a different Hessian and does not imply the needed positivity for F. If a normal direction η had vanishing second variation, then ψ=φ+εη would have deficit O(ε^2) but RHS distance ε^2||Dη||^2, forcing c_S=0. This is the decisive unverified premise of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper, based on its abstract, claims a sharp stability refinement of the spinorial Sobolev inequality on the unit sphere S^n. The main result is that the nonnegative deficit between the L^{2n/(n+1)} norm of the Dirac gradient power and the linear term controls the distance, measured via ||D(ψ-φ)||_{2n/(n+1)}, from a spinor ψ to the set M of conformally transformed -1/2-Killing spinors, with a universal positive constant c_S. The abstract also reports a by-product: elements of M are not optimizers of a second spinorial Sobolev inequality, having index n+1 and nullity 2^{⌊n/2⌋+2}. No proof or technical hypotheses are visible in the abstract; the review is therefore based only on the statements.","tokens_in":1222,"tokens_out":4563,"duration_ms":46003,"significance":"If the stability inequality holds with explicit positive c_S, it would be a notable quantitative rigidity result for the Dirac operator on the sphere, analogous to stability results for Sobolev and Yamabe inequalities. The equality set is well understood, so the claimed refinement is meaningful. The by-product, if correct, corrects a plausible expert expectation. However, because no proof or even statement of the analytic mechanism (compactness, Hessian nondegeneracy) is included in the provided text, the significance cannot be fully assessed. The paper is potentially important; a full derivation would strengthen the case.","major_comments":[{"comment":"The assertion c_S>0 requires a spectral-gap/compactness argument: the second variation of the deficit functional at every φ∈M must be positive on the normal space, e.g., δ²F(φ)[η,η] ≥ λ‖Dη‖²_{L^{2n/(n+1)}} for η orthogonal to T_φM, and minimizing sequences for the deficit must converge to M modulo the conformal group. The abstract states neither. The by-product in the last sentence concerns a different Sobolev inequality and its Hessian; it cannot provide the required coercivity for the first functional. If the full proof contains such an argument, it should be stated explicitly; if not, the proof is incomplete.","section":"Abstract, stability inequality"},{"comment":"The set M contains conformal transformations, hence is noncompact. The infimum over M in the RHS is therefore not a standard distance to a compact set. The abstract does not specify a normalization (for example fixing the L^{2n/(n-1)} norm or controlling the conformal parameter) that makes the distance well-defined, nor does it state compactness modulo the conformal group. This is load-bearing: the stability inequality must be invariant under the same conformal transformations that move points in M, and the proof must control the scaling of the deficit under those transformations.","section":"Abstract, equality set M"},{"comment":"The claim that elements of M are not optimizers of the second inequality, with index n+1 and nullity 2^{⌊n/2⌋+2}, is presented without any indication of the computation or of how 'nullity' is defined. Even if this computation is correct, it concerns a different functional and does not by itself support the stability inequality. The reviewer cannot verify or falsify this claim from the abstract.","section":"Abstract, by-product"}],"minor_comments":[{"comment":"The abstract uses D, ω_n, c_S and C_S without definitions; at least D and ω_n should be defined or referenced.","section":"Abstract, notation"},{"comment":"The bracket [n/2] is ambiguous; use floor notation ⌊n/2⌋.","section":"Abstract, notation"},{"comment":"The relevant function space for ψ (e.g., the Sobolev space W^{1,2n/(n+1)} of spinors) is not stated; specifying it would make the inequality precise.","section":"Abstract, function spaces"},{"comment":"The paper should cite the original spinorial Sobolev inequality and the classification of M, so the reader can locate the background.","section":"Abstract, references"}],"recommendation":"uncertain","confidential_remarks":"This is an abstract-only review; I could not inspect the proofs. The editor may want a full review before decision. The central concern is whether the positivity of c_S is actually established; the by-product result does not address this. The noncompactness of M and the need for a spectral-gap argument should be addressed explicitly in the manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this paper refines the sharp spinorial Sobolev inequality on S^n by adding a quantitative stability term: the deficit controls the L^{2n/(n+1)} distance (in Dψ) to the family M of generalized Killing spinors. That is a genuine new result. The by-product—showing that elements of M are not optimizers of the other spinorial Sobolev inequality, with explicit index n+1 and nullity 2^{[n/2]+2}—is a concrete, falsifiable claim that corrects an expert expectation. If that index/nullity computation is right, it is a clean contribution.\n\nWhat the paper does well: it states the result sharply, identifies the equality manifold, and gives a specific structural by-product. The stability inequality is the kind of quantitative refinement that has been fruitful in geometric analysis, so this is a meaningful step, not a minor tweak.\n\nSoft spots: we only have the abstract. The main risk is the uniform positivity of c_S. As the stress-test note says, that requires a spectral-gap/compactness argument: the second variation of the deficit at each φ∈M must be positive on the normal space in the right norm, and minimizing sequences must not bubble or escape along the conformal group. The abstract does not state how that is shown. The by-product about the other inequality is a different Hessian and does not imply the needed positivity for F. So a referee needs to check that argument carefully. That said, nothing in the abstract suggests a fatal flaw. The authors likely have a proof, and the paper should be refereed, not desk-rejected.\n\nOne more thing: the \"unlike expected by experts\" phrasing on the index/nullity result is surprising. If true, it is interesting; a referee should verify the computation and also whether the expectation was based on a precise conjecture or just loose analogy.\n\nBottom line: this is a paper for geometric analysts working on sharp inequalities and spin geometry. A serious referee should engage with the proof, especially the coercivity lemma. I would send it to peer review. I would not cite it yet until I have seen the full proof, but it is on my radar.","headline":"Solid abstract with a clear new stability result and a concrete index computation; the real question is whether the proof delivers the uniform constant c_S, which the abstract alone cannot show.","tokens_in":1599,"tokens_out":1761,"would_cite":false,"duration_ms":20378,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C27","58E05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a quantitative stability inequality for the spinorial Sobolev inequality on the unit sphere S^n: the deficit from the sharp bound controls the distance to the extremal set of -1/2-Killing spinors and their conformal transf","keywords":["spinorial Sobolev inequality","Dirac operator","stability","Killing spinors","S^n","sharp constant","Morse index","rigidity"],"falsifier":"Find a dimension n and a sequence of spinors on S^n whose deficit goes to zero while the infimum of the conformal norm of the difference to M stays bounded away from zero; such a sequence would rule out the claimed uniform positive constant c_S.","tokens_in":895,"feed_emoji":"🌐","tokens_out":15419,"duration_ms":134925,"temperature":0.7,"pith_summary":"The paper establishes a stability version of the spinorial Sobolev inequality on the unit sphere S^n. It proves that the deficit between the left-hand side and the sharp lower bound is bounded below by a positive constant times the distance, measured in the same conformal norm, from the spinor to the family of extremizers - the -1/2-Killing spinors and their conformal transforms. This is a quantitative rigidity statement: any spinor that nearly attains equality must be close to one of the explicit extremal spinors. The paper also shows, as a by-product, that these extremizers are not optimizers of a companion Sobolev inequality; they form a manifold of critical points with index n+1 and nullity $2^{{[n/2]+2}}$. The result matters because stability estimates are a route to compactness, uniqueness, and a fuller understanding of sharp geometric functional inequalities.","feed_headline":"Sobolev deficit controls distance to extremal spinors on S^n","feed_subtitle":"Near-optimizers of the spinorial Sobolev inequality must lie close to the explicit Killing-spinor family.","key_machinery":"The central object is the deficit functional\n$$\\mathcal{D}(\\psi)=\\big(\\int|D\\psi|^{\\frac{2n}{n+1}}\\big)^{\\frac{n+1}{n}}-\\frac{n}{2}\\$omega_n^{{1/n}}$\\int\\langle D\\psi,\\psi\\rangle,$$\nwhose zero set on $\\mathbb{S}^n$ is exactly the family $\\mathcal{M}$ of $-\\frac12$-Killing spinors and their conformal transformations. The stability inequality asserts that this deficit controls the distance to $\\mathcal{M}$ in the conformal norm $\\|D(\\cdot)\\|_{L^{2n/(n+1)}}$. The mechanism is a rigidity/compactness property: sequences with vanishing deficit must approach $\\mathcal{M}$ (no concentration or bubbling), and the linearized operator at $\\mathcal{M}$ has no kernel in the tangent directions, so a single po","core_discovery":"The central claim is a stability inequality for the spinorial Sobolev inequality on the unit sphere $\\mathbb{S}^n$: for every spinor field $\\psi$,\n$$\\big(\\int|D\\psi|^{\\frac{2n}{n+1}}\\big)^{\\frac{n+1}{n}}-\\frac{n}{2}\\$omega_n^{{1/n}}$\\int\\langle D\\psi,\\psi\\rangle \\;\\ge\\; c_S\\inf_{\\phi\\in\\mathcal{M}}\\big(\\int|D(\\psi-\\phi)|^{\\frac{2n}{n+1}}\\big)^{\\frac{n+1}{n}},$$\nwhere $c_S>0$ depends only on $n$ and $\\mathcal{M}$ is the set of $-\\frac12$-Killing spinors and their conformal transformations. This refines the known inequality whose equality holds exactly on $\\mathcal{M}$. As a by-product, the paper shows that elements of $\\mathcal{M}$ are not optimizers of the companion inequality $\\big(\\int|D\\psi|^","pith_inferences":["The paper leaves the value of c_S unspecified; identifying the sharp constant would be a natural follow-up and would quantify how strongly the inequality is stable.","The index-nullity computation indicates that M is a nondegenerate critical manifold; if similar nondegeneracy holds on other spin manifolds, the same stability argument may carry over.","The by-product suggests that the optimizer of the companion inequality may be a genuinely different, possibly non-explicit spinor field; the stability inequality could serve as a tool to probe that optimizer by measuring the deficit of candidate spinors."],"forward_implications":["Every almost-optimizer of the spinorial Sobolev inequality on S^n is quantitatively close to a -1/2-Killing spinor or a conformal transform of one.","The stability inequality supplies a compactness principle for sequences of spinors with bounded conformal energy, since the deficit controls the distance to the extremal family.","The by-product shows that the extremal set of the original inequality does not solve the companion Sobolev inequality; its elements are saddle points with index n+1 and nullity 2^{[n/2]+2}, so the optimizer of the companion inequality must lie elsewhere.","The constant c_S becomes a new geometric invariant of the spinorial Sobolev quotient on S^n, and the inequality provides a model for stability in conformally invariant spinorial problems."],"supporting_citations":[],"fun_headline_variants":["Spinorial Sobolev stability: deficit bounds distance to Killing spinors","Near-extremal spinors must be close to Killing family","Killing spinors not optimizers for companion Sobolev inequality","Deficit in spinorial Sobolev inequality controls distance to extremals"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The result depends on the rigidity assumption that any sequence of spinors whose Sobolev deficit tends to zero must converge to the extremal family M - with no concentration or bubbling - and that M is non-degenerate, so a uniformly positive stability constant exists.","fun_headline_variants_meta":{"raw":{"variants":["Spinorial Sobolev stability: deficit bounds distance to Killing spinors","Near-extremal spinors must be close to Killing family","Killing spinors not optimizers for companion Sobolev inequality","Deficit in spinorial Sobolev inequality controls distance to extremals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000576,"raw_usage":{"total_tokens":2650,"prompt_tokens":932,"completion_tokens":1718,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":676,"completion_tokens_details":{"reasoning_tokens":1642}},"tokens_in":676,"tokens_out":1718,"duration_ms":12215,"temperature":1.0,"reasoning_tokens":1642,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:13:15.326406+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a dimension n and a sequence of spinors on S^n whose deficit goes to zero while the infimum of the conformal norm of the difference to M stays bounded away from zero; such a sequence would rule out the claimed uniform positive constant c_S.","supporting_citations":[],"review_version":1}