{"id":"5130abb3-07da-48d9-ad88-712a667d12b5","arxiv_id":"2412.13351","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All quaternion-Kähler manifolds of negative scalar curvature are stable Einstein metrics, hence scalar-curvature rigid, while some positive-curvature examples are not rigid.","lead":"This paper proves that every quaternion-Kähler manifold with negative scalar curvature is stable as an Einstein metric, meaning small volume-preserving perturbations cannot increase scalar curvature. It also shows that some positive-curvature quaternion-Kähler metrics, such as the complex 2-plane Grassmannian, are not scalar curvature rigid even though they are semi-stable.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.11 depends on an unverified isometric embedding: Lemma 2.2 gives parallel subbundles but does not prove the explicit maps are isometric or that the three summands can be normalized to a single isometric intertwining Φ.","rationale":"The reader's weakest_assumption identifies exactly the step I find most load-bearing: the unproved isometric intertwining embedding in the proof of Theorem 1.11. Lemma 2.2 provides parallel subbundles in Λ⁴ and explicit bundle maps, but the proof then asserts an isometric Φ without showing that the maps are isometric or explaining how to normalize each irreducible summand. If the proportionality constants are omitted, the central identity (Δ_Eh,h) = (Δ_HΦh,Φh)−2scal/(4n)||h||² is not justified, and the stability lower bound does not follow from the written argument. I agree with the reader that this is a genuine gap, though it is likely repairable by representation-theoretic normalization. The abstract overstatement about 'every irreducible nonpositive Einstein manifold of special holonomy' being stable is a separate presentation issue, not the load-bearing mathematical step; the stability theorem itself does not claim to cover Kähler-Einstein or Ricci-flat cases as stable. The positive-curvature counterexample also depends on cited/preprint material, but that supports Corollary 1.12 rather than the main stability theorem. Since the reader's CONDITIONAL verdict already reflects the need to fix the embedding verification, I recommend no change to the verdict: the paper should be accepted once the isometry constants are supplied and the abstract is corrected.","tokens_in":12739,"tokens_out":21085,"duration_ms":201623,"concrete_test":"Fix a local quaternionic frame and compute the pointwise norms of the two explicit embeddings from Lemma 2.2. For α∈Sym²H, β∈Sym²E test whether |α^T∧β^T|² = c₁|α⊗β|² with c₁ a positive constant independent of α,β. For η∈Λ²₀E test whether |ω_I∧η^T(I·,·)+ω_J∧η^T(J·,·)+ω_K∧η^T(K·,·)|² = c₂|η|² with c₂ a positive constant. If both hold, rescale each summand by c₁^{-1/2}, c₂^{-1/2} and verify the resulting Φ is a parallel isometric embedding satisfying Φ∘Δ_L=Δ_H∘Φ; if either ratio is not constant, the proof of Theorem 1.11 needs an alternative construction of isometric intertwining embedding.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core inequality in the proof of Theorem 1.11 is (Δ_Eh,h) = (Δ_Lh,h)−2scal/(4n)||h||² = (Δ_HΦh,Φh)−2scal/(4n)||h||², so everything rests on the asserted isometric embedding Φ : Sym²T*M → Λ⁴T*M with Φ∘Δ_L=Δ_H∘Φ. Lemma 2.2 establishes only that the three irreducible Sp(1)·Sp(n)-summands of Sym²T*M 'appear as parallel subbundles' of Λ⁴T*M and sketches explicit maps: α⊗β ↦ α^T∧β^T and η ↦ ω_I∧η^T(I·,·)+ω_J∧η^T(J·,·)+ω_K∧η^T(K·,·). It does not compute the pointwise norms of these images. The intertwining Δ_H∘Φ=Φ∘Δ_L follows from parallelism, but isometry does not; an arbitrary parallel embedding can distort the metric by a positive constant on each irreducible summand, and if the constants differ across summands the equality (Δ_Lh,h)=(Δ_HΦh,Φh) is false as written. Because each summand is irreducible, any parallel injective map is conformal on that summand, so the gap is probably fixable by an explicit rescaling. Still, the isometry is the exact step that converts nonnegativity of the Hodge Laplacian into stability, and it is asserted rather than proved. A referee should require the normalization computation before the paper is accepted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies stability and scalar curvature rigidity of quaternion-Kähler manifolds. The main result, Theorem 1.11, asserts that every quaternion-Kähler manifold of negative scalar curvature is stable, hence scalar curvature rigid and, in the compact case, non-deformable as an Einstein metric. The proof embeds the bundle of symmetric 2-tensors into the bundle of 4-forms by a parallel bundle map so that the Einstein operator corresponds to the nonnegative Hodge Laplacian plus a positive constant. The paper also proves Theorem 1.9, showing that compact Einstein manifolds admitting infinitesimal deformations that are not integrable of second order are not scalar curvature rigid, and uses this to exhibit quaternion-Kähler manifolds of positive scalar curvature that are not scalar curvature rigid.","tokens_in":13057,"tokens_out":7100,"duration_ms":67254,"significance":"If Theorem 1.11 is correct, it is a substantial result: it would settle stability for all quaternion-Kähler manifolds with negative scalar curvature and complete the picture for special holonomy Einstein metrics in the negative scalar curvature regime. The bundle-embedding method is elegant and potentially useful beyond this case. Theorem 1.9 is also a valuable contribution, giving a clean obstruction to scalar curvature rigidity via third variation of the Einstein-Hilbert functional. However, the central proof depends on an isometric embedding whose normalization is asserted rather than verified; this is a load-bearing gap that must be fixed before the main theorem can be accepted.","major_comments":[{"comment":"The proof of Theorem 1.11 hinges on the sentence in the proof that 'there is an isometric embedding Φ : Sym^2T^*M → Λ^4T^*M' such that Φ ∘ Δ_L = Δ_H ∘ Φ. Lemma 2.2, however, only establishes that the three irreducible summands of Sym^2T^*M appear as parallel subbundles of Λ^4T^*M and sketches explicit maps; it does not compute the pointwise norms of the images, nor does it prove that a single parallel bundle map realizes all three summands isometrically. Since each summand is irreducible, any parallel injective bundle map is conformal on that summand, but the conformal factors could differ across summands, and then the equality (Δ_L h,h) = (Δ_H Φh,Φh) used in the displayed estimate would fail. The required normalization computation for the maps α⊗β ↦ α^T ∧ β^T and η ↦ η-hat must be supplied before Theorem 1.11 follows.","section":"Lemma 2.2"},{"comment":"The abstract claims that 'every irreducible nonpositive Einstein manifold of special holonomy is stable,' but this is not established by the paper. In Section 1.3.1, Ricci-flat special holonomy metrics are stated to be only semi-stable, and in Section 1.3.2, Kähler-Einstein metrics of negative scalar curvature are stated to be semi-stable with integrability still open. Theorem 1.11 covers only quaternion-Kähler manifolds of negative scalar curvature. The abstract's global special holonomy claim is therefore unsupported and should be restricted to the quaternion-Kähler case or replaced by a statement that the result completes the quaternion-Kähler case among the known semi-stable special holonomy results.","section":"Abstract"},{"comment":"The proof of Lemma 2.2 relies on the representation-theoretic decomposition from [26] to assert that the three summands appear in Λ^4T^*M, but the explicit embeddings are only sketched. In particular, the map η ↦ η-hat uses a local quaternionic frame {I,J,K}; it should be shown explicitly that the resulting 4-form is independent of the choice of local frame and that the image lies in the indicated parallel subbundle. Without this verification, the global parallel bundle map Φ used in Theorem 1.11 is not fully justified.","section":"Lemma 2.2"}],"minor_comments":[{"comment":"There are several typographical errors, including 'infintesimal' for 'infinitesimal', 'analouge' for 'analogue', 'constrast' for 'contrast', and 'exmples' for 'examples'; these should be corrected throughout.","section":"Throughout"},{"comment":"The notation η^T is used with two related but different meanings: taking a tensor product with a symplectic form and composing η with an almost complex structure. The two uses should be distinguished notationally to avoid confusion.","section":"Section 2.2"},{"comment":"The phrase 'near ĝ' in Definition 1.4 is informal for open manifolds; since Theorem 1.8 concerns open manifolds, the precise topology on the space of metrics should be indicated or a reference to [7] should be given.","section":"Definition 1.4"},{"comment":"Reference [24] contains a stray comma in the author field ('Wang, M. Y. : , Parallel spinors'), and reference [3] should be checked for a complete title and publication status.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central construction is promising and the gap in Lemma 2.2 appears fixable by explicit norm computations, but the isometric embedding is the exact step that converts nonnegativity of the Hodge Laplacian into stability, so the paper should not be accepted until that computation is provided."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Klaus, quick take on arXiv:2412.13351.\n\nThe genuinely new content is Theorem 1.11: every quaternion-Kähler manifold of negative scalar curvature is stable, hence scalar curvature rigid and non-deformable when compact. The idea—embedding symmetric 2-tensors into 4-forms via a parallel bundle map so that the Lichnerowicz Laplacian becomes a nonnegative Hodge Laplacian plus a positive constant—is fresh, and the argument is mostly clean. Theorem 1.9, tying second-order non-integrability to failure of scalar curvature rigidity, is also new and the proof via total symmetry of the trilinear form is neat.\n\nThe soft spots are two. First, Lemma 2.2 shows the three summands of Sym^2 T*M appear as parallel subbundles of Λ^4 T*M, but it never computes pointwise norms. The proof of Theorem 1.11 then asserts an isometric embedding Φ. That assertion needs a normalization argument: on each irreducible summand a parallel injective map is a homothety, so a constant rescaling on each summand should make it isometric, but that computation is not in the paper. Without it the key equality (Δ_L h,h) = (Δ_H Φh,Φh) does not follow as written. I would call this fixable rather than fatal, but a referee should insist on seeing it.\n\nSecond, the abstract overclaims. The paper proves stability only in the quaternion-Kähler negative case. The survey in Section 1.3 says Ricci-flat and Kähler-Einstein negative metrics are semi-stable, not stable; stability fails, or is at least unknown, for those. The abstract's 'every irreducible nonpositive Einstein manifold of special holonomy is stable' is false as stated and should be corrected to 'semi-stable' or restricted to the quaternion-Kähler case.\n\nMinor points: the positive scalar curvature counterexample depends on results in coauthor preprints [13,20]; that is acceptable but should be clearly flagged. The reproof of the symmetry result from [20] is fine and actually helps the paper stand alone.\n\nOverall: a solid paper, worth refereeing, with one small gap to fix and an abstract to tone down. If those are addressed I would be happy to see it published.","headline":"Genuinely new stability result for negative-scalar-curvature quaternion-Kähler manifolds; the abstract overstates the special-holonomy conclusion and the key embedding lemma needs an isometry check.","tokens_in":13609,"tokens_out":3703,"would_cite":true,"duration_ms":33844,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C26","58J50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every quaternion-Kähler manifold with negative scalar curvature is stable as an Einstein manifold, hence scalar-curvature rigid; compact ones are non-deformable.","keywords":["quaternion-Kähler manifolds","Einstein stability","scalar curvature rigidity","Lichnerowicz Laplacian","Hodge Laplacian","special holonomy","infinitesimal Einstein deformations"],"falsifier":"Compute the map $\\Phi$ of Lemma 2.2 explicitly on each of the three summands $\\mathrm{Sym}^2H^*\\otimes\\mathrm{Sym}^2E^*$, $\\Lambda^2_0E^*$, and $\\mathbb{C}$ on a quaternionic hyperbolic space, and check $\\|\\Phi(\\alpha)\\|^2=\\|\\alpha\\|^2$ together with $\\Delta_H(\\Phi(\\alpha))=\\Phi(\\Delta_L\\alpha)$; a single compactly supported tt-tensor with $(\\Delta_E h,h)_{L^2}<0$ would disprove stability.","tokens_in":12518,"feed_emoji":"📐","tokens_out":9771,"duration_ms":85842,"temperature":0.7,"pith_summary":"The paper proves that every quaternion-Kähler manifold with negative scalar curvature is stable as an Einstein manifold. Stability here means the Einstein operator is strictly positive on trace-free divergence-free symmetric 2-tensors, the infinitesimal directions in which the Einstein–Hilbert functional can vary. By a recent theorem connecting linear stability to scalar curvature rigidity, each such metric is scalar-curvature rigid: no nearby metric of the same volume, agreeing with it outside a compact set, can have scalar curvature at least as large and strictly larger somewhere. Compact negative-curvature quaternion-Kähler manifolds are additionally non-deformable as Einstein metrics. The result completes the stability picture for irreducible nonpositive Einstein manifolds of special holonomy, while the paper also exhibits positive-scalar-curvature quaternion-Kähler manifolds that are semi-stable yet not scalar-curvature rigid.","feed_headline":"Negative-scalar-curvature quaternion-Kähler metrics are stable","feed_subtitle":"Stability forbids nearby metrics from raising scalar curvature locally, completing the special-holonomy Einstein picture.","key_machinery":"The load-bearing object is a parallel bundle embedding $\\Phi:\\mathrm{Sym}^2T^*M \\to \\Lambda^4T^*M$ built from the $Sp(1)\\cdot Sp(n)$ representation theory of quaternion-Kähler manifolds. The symmetric 2-tensor bundle splits into three parallel summands, $\\mathrm{Sym}^2H^*\\otimes\\mathrm{Sym}^2E^*$, $\\Lambda^2_0E^*$, and the trivial line spanned by the metric; Lemma 2.2 asserts that each summand also occurs inside $\\Lambda^4T^*M$, so a parallel map $\\Phi$ can identify the two bundles. Because the standard Laplace operator commutes with parallel bundle maps, $\\Phi$ satisfies $\\Delta_L\\circ\\Phi = \\Phi\\circ\\Delta_H$, where $\\Delta_H$ is the nonnegative Hodge Laplacian. Writing the Einstein operator as $\\Delta_E = \\Delta_L - 2\\,\\mathrm{scal}/(4n)$ and applying $\\Phi$ to a tt-tensor then yields $(\\Delta_E h,h)_{L^2} \\ge -2\\,\\mathrm{scal}/(4n)\\,\\|h\\|^2_{L^2}$, which is strictly positive when $\\mathrm{scal}<0$. The construction is the mechanism that converts a holonomy representation into a spectral positivity statement.","core_discovery":"The central claim, stated as Theorem 1.11, is that every quaternion-Kähler manifold $(M,g)$ of negative scalar curvature is stable, meaning the Einstein operator $\\Delta_E = \\Delta_L - 2\\,\\mathrm{scal}/(4n)$ is strictly positive in the $L^2$-sense on tt-tensors. Because the scalar curvature is negative, strict positivity follows once the Lichnerowicz Laplacian $\\Delta_L$ is controlled by the nonnegative Hodge Laplacian on 4-forms. The paper proves that control by constructing a parallel isometric bundle embedding $\\Phi:\\mathrm{Sym}^2T^*M \\to \\Lambda^4T^*M$ that intertwines the two Laplacians. It then concludes, via the stability-rigidity theorem, that the metric is scalar-curvature rigid and, in the compact case, non-deformable as an Einstein metric. In the opposite regime, the paper shows that compact Einstein manifolds admitting infinitesimal deformations that are not integrable of second order are not scalar-curvature rigid, and applies this to the complex 2-plane Grassmannian $\\mathrm{Gr}_2(\\mathbb{C}^{n+2})$ to produce quaternion-Kähler manifolds of positive scalar curvature that are semi-stable but not scalar-curvature rigid.","pith_inferences":["A natural extension is that the same parallel-embedding strategy may work for other special holonomy classes whenever the symmetric 2-tensor bundle decomposes into parallel subbundles that also appear inside a form bundle, allowing a Hodge-Laplacian comparison.","The explicit nature of the embedding suggests a quantitative spectral gap: the first eigenvalue of $\\Delta_E$ on tt-tensors is at least $-2\\,\\mathrm{scal}/(4n)$, and equality would correspond to harmonic 4-forms lying in the image of $\\Phi$, connecting rigidity to $L^2$ harmonic form theory.","For positive scalar curvature, the failure of rigidity in $\\mathrm{Gr}_2(\\mathbb{C}^{n+2})$ is driven by non-integrable second-order deformations; one could test whether every semi-stable positive-scalar-curvature quaternion-Kähler manifold that fails scalar-curvature rigidity arises this way."],"forward_implications":["Every quaternion-Kähler metric of negative scalar curvature is scalar-curvature rigid, so locally one cannot raise scalar curvature while fixing the volume and the metric outside a compact set.","Every compact quaternion-Kähler manifold of negative scalar curvature has no infinitesimal Einstein deformations and is therefore non-deformable as an Einstein metric.","Together with earlier results, all irreducible nonpositive Einstein manifolds of special holonomy are stable.","Compact Einstein manifolds with infinitesimal deformations that are not integrable of second order are never scalar-curvature rigid; hence the complex 2-plane Grassmannians are semi-stable quaternion-Kähler metrics that fail scalar-curvature rigidity.","The stability result holds without compactness, so noncompact negative-curvature quaternion-Kähler manifolds are stable in the $L^2$ sense and are scalar-curvature rigid by the paper's open-manifold analogue."],"supporting_citations":[{"why":"Supplies the theorem that semi-stable and integrable Einstein manifolds are scalar-curvature rigid, and that open nonpositive semi-stable Einstein manifolds are rigid, converting stability into rigidity in Theorems 1.11 and 1.8.","marker":"[7]"},{"why":"Provides the decomposition of $\\Lambda^4(H^*\\otimes E^*)$ into $Sp(1)\\cdot Sp(n)$ summands on which Lemma 2.2's parallel embeddings rest.","marker":"[26]"},{"why":"Defines the standard Laplace operator and its commutation with parallel bundle maps, which gives $\\Delta_L\\circ\\Phi=\\Phi\\circ\\Delta_H$.","marker":"[21]"},{"why":"Shows that near a non-spherical Einstein metric the constant-scalar-curvature slice $C_1$ has tangent space $TT$ plus Lie derivatives, used in the proof of Theorem 1.9.","marker":"[15]"},{"why":"Establishes second-order integrability results and the symmetry of the trilinear obstruction, providing the background against which Theorem 1.9 constructs non-rigid examples.","marker":"[20]"},{"why":"Classifies compact symmetric spaces' stability and identifies $\\mathrm{Gr}_2(\\mathbb{C}^{n+2})$ as semi-stable with infinitesimal Einstein deformations, yielding the positive-curvature counterexamples.","marker":"[22]"},{"why":"Gives the lower bound $\\Delta_L \\ge 2\\,\\mathrm{scal}/(4n)\\,(n+1)/(n+2)$ on trace-free symmetric 2-tensors of positive-curvature quaternion-Kähler manifolds, used in the closing remark.","marker":"[14]"}],"fun_headline_variants":["Negative curvature stabilizes quaternion-Kähler metrics","Stable and scalar rigid: negative quaternion-Kähler","Contrast: semi-stable positive quaternion-Kähler not rigid","Stability theorem for negative quaternion-Kähler manifolds","Rigidity from stability: negative quaternion-Kähler"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the symmetric 2-tensors can be placed inside the 4-forms by a parallel map that preserves lengths and exactly matches the two Laplace operators; the text asserts this from representation theory without fully verifying it on each summand.","fun_headline_variants_meta":{"raw":{"variants":["Negative curvature stabilizes quaternion-Kähler metrics","Stable and scalar rigid: negative quaternion-Kähler","Contrast: semi-stable positive quaternion-Kähler not rigid","Stability theorem for negative quaternion-Kähler manifolds","Rigidity from stability: negative quaternion-Kähler"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000661,"raw_usage":{"total_tokens":2986,"prompt_tokens":873,"completion_tokens":2113,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":489,"completion_tokens_details":{"reasoning_tokens":2027}},"tokens_in":489,"tokens_out":2113,"duration_ms":17535,"temperature":1.0,"reasoning_tokens":2027,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:14:47.709699+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the map $\\Phi$ of Lemma 2.2 explicitly on each of the three summands $\\mathrm{Sym}^2H^*\\otimes\\mathrm{Sym}^2E^*$, $\\Lambda^2_0E^*$, and $\\mathbb{C}$ on a quaternionic hyperbolic space, and check $\\|\\Phi(\\alpha)\\|^2=\\|\\alpha\\|^2$ together with $\\Delta_H(\\Phi(\\alpha))=\\Phi(\\Delta_L\\alpha)$; a single compactly supported tt-tensor with $(\\Delta_E h,h)_{L^2}<0$ would disprove stability.","supporting_citations":[{"cited_title":": Local and global scalar curvature rigidity of Einstein mani folds, Math","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that semi-stable and integrable Einstein manifolds are scalar-curvature rigid, and that open nonpositive semi-stable Einstein manifolds are rigid, converting stability into rigidity in Theorems 1.11 and 1.8."},{"cited_title":": Differential forms on quaternionic K¨ ahler manifolds, Handbook of pseudo-Riemannian geometry and supersymmetry, 15-37, IRMA Lect","cited_arxiv_id":null,"evidence_quote":"Provides the decomposition of $\\Lambda^4(H^*\\otimes E^*)$ into $Sp(1)\\cdot Sp(n)$ summands on which Lemma 2.2's parallel embeddings rest."},{"cited_title":": The standard Laplace operator , Manuscripta Math","cited_arxiv_id":null,"evidence_quote":"Defines the standard Laplace operator and its commutation with parallel bundle maps, which gives $\\Delta_L\\circ\\Phi=\\Phi\\circ\\Delta_H$."},{"cited_title":": A decomposition of the space M of Riemannian metrics on a manifold , Osaka J","cited_arxiv_id":null,"evidence_quote":"Shows that near a non-spherical Einstein metric the constant-scalar-curvature slice $C_1$ has tangent space $TT$ plus Lie derivatives, used in the proof of Theorem 1.9."},{"cited_title":"Second order Einstein deformations","cited_arxiv_id":"2305.07391","evidence_quote":"Establishes second-order integrability results and the symmetry of the trilinear obstruction, providing the background against which Theorem 1.9 constructs non-rigid examples."},{"cited_title":": Stability of compact symmetric spaces , J","cited_arxiv_id":null,"evidence_quote":"Classifies compact symmetric spaces' stability and identifies $\\mathrm{Gr}_2(\\mathbb{C}^{n+2})$ as semi-stable with infinitesimal Einstein deformations, yielding the positive-curvature counterexamples."},{"cited_title":": Estimating the eigenvalues on quaternionic K¨ ahler manifo lds, Internat","cited_arxiv_id":null,"evidence_quote":"Gives the lower bound $\\Delta_L \\ge 2\\,\\mathrm{scal}/(4n)\\,(n+1)/(n+2)$ on trace-free symmetric 2-tensors of positive-curvature quaternion-Kähler manifolds, used in the closing remark."}],"review_version":1}