Pith. sign in

REVIEW 3 major objections 4 minor 28 references

On stability and scalar curvature rigidity of quaternion-K\"ahler manifolds

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every quaternion-Kähler manifold with negative scalar curvature is stable as an Einstein manifold, hence scalar-curvature rigid; compact ones are non-deformable.

desk verdict 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. read the letter →

arxiv 2412.13351 v1 pith:2PAV2QMU submitted 2024-12-17 math.DG

Klaus Kroencke , Uwe Semmelmann This is my paper · ORCID
classification math.DG MSC 53C2553C2658J50
keywords quaternion-KählermanifoldsEinsteinstabilityscalarcurvaturerigidityLichnerowiczLaplacianHodgespecialholonomyinfinitesimaldeformations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [Lemma 2.2] 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.
  2. [Abstract] 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.
  3. [Lemma 2.2] 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.
minor comments (4)
  1. [Throughout] There are several typographical errors, including 'infintesimal' for 'infinitesimal', 'analouge' for 'analogue', 'constrast' for 'contrast', and 'exmples' for 'examples'; these should be corrected throughout.
  2. [Section 2.2] 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.
  3. [Definition 1.4] 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.
  4. [References] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main argument reduces to standard holonomy representation theory and published rigidity theory, not to its own conclusion.

full rationale

The derivation chain for Theorem 1.11 is: Lemma 2.1 decomposes Sym^2 T*M into irreducible Sp(1)Sp(n)-summands using standard representation theory, Lemma 2.2 identifies the same summands as parallel subbundles of Lambda^4 T*M using the published decomposition of [26], and the proof of Theorem 1.11 uses the standard fact that parallel bundle maps intertwine standard Laplacians ([21]) together with nonnegativity of the Hodge Laplacian. None of these inputs already contains the target statement, namely stability of negative-scalar quaternion-Kahler manifolds; the conclusion Delta_E >= -2 scal/(4n) > 0 follows by substituting Delta_E = Delta_L - 2 scal/(4n). The scalar-curvature rigidity corollaries rely on [7], a separately published theorem, not on an unverified self-citation chain. Section 3 reproves the symmetry of the trilinear form rather than importing [20], and Theorem 1.9 is established by an independent third-variation computation. The only notable weakness is that Lemma 2.2 gives explicit embeddings but does not compute their pointwise norms, so the assertion in the proof of Theorem 1.11 that there exists an isometric embedding Phi is not fully verified there. That is a correctness or normalization gap, not a case where the claimed result is equivalent to its inputs by construction; no fitted quantity is renamed as a prediction, and no central premise is justified solely by a self-citation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no fitted constants or new physical entities. Its conclusions rest on representation-theoretic decompositions, standard spectral facts, and prior theorems on stability and constant scalar curvature deformations. The main self-citation burden is the Dahl-Kröncke rigidity theorem [7] and the coauthor preprints [13,20] used for the positive-curvature counterexample.

assumptions (6)
  • standard math Decomposition of Sym^2(H*⊗E*) and Λ^4(H*⊗E*) into irreducible Sp(1)Sp(n) summands, including the mutual occurrence of the three symmetric-tensor summands in the 4-forms.
    Used in Lemma 2.1 and Lemma 2.2 to construct the parallel embedding Φ. The paper cites [26] for the form decomposition and gives explicit embedding formulas.
  • standard math The standard Laplace operator commutes with parallel bundle maps and coincides with the Hodge Laplacian on parallel subbundles of forms and with the Lichnerowicz Laplacian on parallel subbundles of symmetric tensors.
    Invoked in Section 2.1 and in the proof of Theorem 1.11 to transfer positivity of Δ_H to Δ_L on the image of Φ. Cited to [21].
  • standard math The Hodge Laplacian on Λ^4 of a Riemannian manifold is nonnegative in the L2 sense on compactly supported forms.
    Used at the end of the proof of Theorem 1.11 to bound (Δ_H ω,ω) ≥ 0.
  • standard math Koiso's theorem that the set C1 of unit-volume constant scalar curvature metrics is a manifold near a non-round Einstein metric with tangent space {L_X g} ⊕ TT.
    Used in the proof of Theorem 1.9 to construct a curve gt ∈ C1 tangent to a given tt-tensor h. Cited to [15].
  • domain assumption For Gr_2(C^{n+2}), there exist infinitesimal Einstein deformations not integrable of second order.
    Used for Corollary 1.12. Supported by [13,20], one of which is a coauthor preprint; the body does not reproduce the argument.
  • domain assumption Equivalence result of Dahl-Kröncke [7] linking semi-stability plus integrability to scalar curvature rigidity (Theorem 1.5) and semi-stability to rigidity on open manifolds (Theorem 1.8).
    Used to pass from stability to scalar curvature rigidity in Theorem 1.11. This is prior work by the first author and is cited explicitly.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On stability and scalar curvature rigidity of quaternion-K\"ahler manifolds." pith.science (2026). https://pith.science/paper/2PAV2QMU

@misc{pith2026241213351,
  author       = {Pith},
  title        = {Pith review of: On stability and scalar curvature rigidity of quaternion-K\"ahler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2PAV2QMU}},
  note         = {Machine review of arXiv:2412.13351}
}
read the original abstract

We show that every quaternion-K\"ahler manifold of negative scalar curvature is stable as an Einstein manifold and therefore scalar curvature rigid. In particular, this implies that every irreducible nonpositive Einstein manifold of special holonomy is stable. In contrast, we demonstrate that there exist quaternion-K\"ahler manifolds of positive scalar curvature which are not scalar curvature rigid even though they are semi-stable.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

  1. [20]

    Second order Einstein deformations

    Nagy, P.-A., Semmelmann, U. : Second order Einstein deformations arXiv:2305.07391 (2023), to appear in J. Math. Soc. Japan

    work page Pith review arXiv 2023

  2. [26]

    : Differential forms on quaternionic K¨ ahler manifolds, Handbook of pseudo-Riemannian geometry and supersymmetry, 15-37, IRMA Lect

    Weingart, G. : Differential forms on quaternionic K¨ ahler manifolds, Handbook of pseudo-Riemannian geometry and supersymmetry, 15-37, IRMA Lect. Math. Theor. Phys., 16, Eur. Math. Soc., Z¨ urich, 2010

    work page 2010

  3. [1]

    : Rigidity of SUn-type symmetric spaces, Int

    Batat, W., Hall, S., Murphy, T., W aldron, J. : Rigidity of SUn-type symmetric spaces, Int. Math. Res. Not. IMRN 2024, no. 3, 2066–2098

    work page 2024

  4. [2]

    : Einstein manifolds , Results in Mathematics and Related Areas (3), 10

    Besse, A. : Einstein manifolds , Results in Mathematics and Related Areas (3), 10. Springer-Verla g, Berlin, 1987

    work page 1987

  5. [3]

    Ilmanen, T

    Cao, H.-D., Hamilton, R. Ilmanen, T. : Gaussian densities and stability for some Ricci solitons , preprint (2004), arXiv:0404165

    work page 2004

  6. [4]

    : The mass of asymptotically hyperbolic Riemannian manifold s, Pac

    Chru´sciel, Piotr T., Herzlich M. : The mass of asymptotically hyperbolic Riemannian manifold s, Pac. J. Math. 212 (2003), no. 2, 231–264

    work page 2003

  7. [5]

    : A note on quaternionic K¨ ahler manifolds with ends of finite v olume, Q

    Cort´ es, V. : A note on quaternionic K¨ ahler manifolds with ends of finite v olume, Q. J. Math. 74, no. 4 (2023), 1489–1493

    work page 2023

  8. [6]

    : A class of locally inhomogeneous complete quaternionic K¨ ahler manifolds, Comm

    Cort´ es, V., Gil Garcia, A., Saha, A. : A class of locally inhomogeneous complete quaternionic K¨ ahler manifolds, Comm. Math. Phys. 403 (2023), 1611–1626

    work page 2023

Show all 28 references
  1. [7]

    : Local and global scalar curvature rigidity of Einstein mani folds, Math

    Dahl, M., Kr ¨oncke, K. : Local and global scalar curvature rigidity of Einstein mani folds, Math. Ann. 388 (2024), no. 1, 453–510

    2024

  2. [8]

    : Stability of Einstein metrics and spin structures , Proceedings of the 4th international congress of Chinese mathematicians 2 (2007), no

    Dai, X. : Stability of Einstein metrics and spin structures , Proceedings of the 4th international congress of Chinese mathematicians 2 (2007), no. 2, 59–72

    2007

  3. [9]

    : On the stability of Riemannian manifold with parallel spino rs, Invent

    Dai , X., W ang X., Wei, G. : On the stability of Riemannian manifold with parallel spino rs, Invent. Math. 161 (2005), no. 1, 151–176

    2005

  4. [10]

    : On the variational stability of K¨ ahler-Einstein metrics , Comm

    Dai , X., W ang X., Wei, G. : On the variational stability of K¨ ahler-Einstein metrics , Comm. Anal. Geom. 15 (2007), no. 4, 669–693. ON STABILITY AND SCALAR CUR V ATURE RIGIDITY OF QUATERNION-K ¨AHLER MANIFOLDS 13

    2007

  5. [11]

    , Harris, J

    Fulton, W. , Harris, J. : Representation theory., A first course. Graduate Texts in Mathematics,

  6. [12]

    : On the rigidity of the complex Grassmannians , to appear in Trans

    Hall, S., Schwahn, P., Semmelmann, U. : On the rigidity of the complex Grassmannians , to appear in Trans. Amer. Math. Soc

  7. [13]

    : Sandwich operators and Einstein deformations of com- pact symmetric spaces related to Jordan algebras , arXiv:2412.08770

    Hall, S., Schwahn, P., Semmelmann, U. : Sandwich operators and Einstein deformations of com- pact symmetric spaces related to Jordan algebras , arXiv:2412.08770

    arXiv

  8. [14]

    : Estimating the eigenvalues on quaternionic K¨ ahler manifo lds, Internat

    Homma, Y. : Estimating the eigenvalues on quaternionic K¨ ahler manifo lds, Internat. J. Math. 17 (2006), no. 6, 665–691

    2006

  9. [15]

    : A decomposition of the space M of Riemannian metrics on a manifold , Osaka J

    Koiso, N. : A decomposition of the space M of Riemannian metrics on a manifold , Osaka J. Math. 16 (1979), 423–429

    1979

  10. [16]

    : Rigidity and infinitesimal deformability of Einstein metri cs, Osaka J

    Koiso, N. : Rigidity and infinitesimal deformability of Einstein metri cs, Osaka J. Math. 19 (1982), no. 3, 643–668

    1982

  11. [17]

    : Rigidity and stability of Einstein metrics – the case of comp act symmetric spaces , Osaka J

    Koiso, N. : Rigidity and stability of Einstein metrics – the case of comp act symmetric spaces , Osaka J. Math. 17 (1980) no. 1, 51–73

    1980

  12. [18]

    : Einstein metrics and complex structures , Invent

    Koiso, N. : Einstein metrics and complex structures , Invent. Math. 73 (1983), 71–106

    1983

  13. [19]

    : Einstein metrics and the Yamabe problem

    LeBrun, C. : Einstein metrics and the Yamabe problem. Alexiades, Vasili os (ed.) et al., Trends in mathematical physics , Proceedings of the conference, University of Tennessee, Knox ville, TN, USA, Oc- tober 14–17, 1998. Providence, RI: American Mathematical Socie ty. AMS/IP ...

    1998

  14. [21]

    : The standard Laplace operator , Manuscripta Math

    Semmelmann, U., Weingart, G. : The standard Laplace operator , Manuscripta Math. 158 (2019), no. 1–2, 273–293

    2019

  15. [22]

    : Stability of compact symmetric spaces , J

    Semmelmann, U., Weingart, G. : Stability of compact symmetric spaces , J. Geom. Anal. 32 (2022), no. 4, Paper No. 137, 27 pp

    2022

  16. [23]

    : Murphy’s law in algebraic geometry: badly-behaved deforma tion spaces, Invent

    V akil, R. : Murphy’s law in algebraic geometry: badly-behaved deforma tion spaces, Invent. Math. 164 (2006), no. 3, 569–590

    2006

  17. [24]

    W ang, M. Y. : , Parallel spinors and parallel forms , Ann. Global Anal. Geom. 7 (1989), no. 1, 59–68

    1989

  18. [25]

    W ang, M. Y. : , Preserving parallel spinors under metric deformations , Indiana Univ. Math. J. 40 (1991), no. 3, 815–844

    1991

  19. [27]

    : A new proof of the positive energy theorem , Comm

    Witten, E. : A new proof of the positive energy theorem , Comm. Math. Phys. 80 (1981) no. 3, 381–402. Klaus Kr¨oncke, Institutionen f ¨or Matematik, KTH Stockholm, Lindstedtsv ¨agen 25, 10044 Stockholm, Sweden Email address : kroncke@kth.se Uwe Semmelmann, Institut f ¨ur Geome...

    1981

  20. [129]

    Springer-Verlag, New York, 1991

    Readings in Mathematics. Springer-Verlag, New York, 1991

    1991

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.