pith. sign in

arxiv: 2604.17855 · v1 · submitted 2026-04-20 · 🧮 math.DG · gr-qc

Prolongation and Killing two-tensors

Michael Eastwood , Thomas Leistner This is my paper

Pith reviewed 2026-05-10 04:06 UTC · model grok-4.3

classification 🧮 math.DG gr-qc
keywords Killing two-tensorsprolongationlocally symmetric spacesKilling fieldsquadratic mappingdifferential geometryRiemannian geometry
0
0 comments X

The pith

A prolongation procedure for Killing two-tensors produces a natural quadratic map from Killing fields on irreducible compact locally symmetric spaces.

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

The paper introduces a systematic prolongation procedure for the equation satisfied by Killing two-tensors and carries out its implementation, with special attention to the locally symmetric setting. It then applies the resulting framework to make explicit the quadratic correspondence that sends Killing vector fields to Killing two-tensors. A reader would care because the method replaces ad-hoc calculations on individual spaces with a uniform algebraic procedure that works across an entire class of manifolds.

Core claim

We present a systematic prolongation procedure and its implementation for Killing two-tensors, especially in the locally symmetric case. We use the resulting machinery to elucidate the natural quadratic mapping from Killing fields to Killing two-tensors on irreducible locally symmetric spaces of compact type.

What carries the argument

The systematic prolongation procedure, which enlarges the Killing two-tensor equation into an overdetermined system whose successive integrability conditions yield the desired quadratic mapping.

If this is right

  • Killing fields produce Killing two-tensors by a uniform quadratic rule on every irreducible compact locally symmetric space.
  • The space of Killing two-tensors can be studied by first finding the Killing fields and then applying the quadratic map.
  • Computations of Killing tensors on symmetric spaces become algorithmic rather than case-by-case.
  • The prolongation yields an explicit description of the algebraic relations among these tensors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same prolongation steps might adapt to other overdetermined tensor equations once the symmetry assumption is relaxed.
  • Representation-theoretic interpretations of the quadratic map could connect this construction to the isometry group of the symmetric space.
  • Concrete checks on the sphere or on projective space would give explicit formulas that could be compared with known bases of Killing tensors.

Load-bearing premise

The locally symmetric structure lets the prolongation procedure run without extra adjustments that would be needed on a general manifold.

What would settle it

An explicit Killing vector field on an irreducible compact locally symmetric space whose image under the quadratic map fails to satisfy the Killing two-tensor equation.

read the original abstract

We present a systematic prolongation procedure and its implementation for Killing two-tensors, especially in the locally symmetric case. We use the resulting machinery to elucidate the natural quadratic mapping from Killing fields to Killing two-tensors on irreducible locally symmetric spaces of compact type.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces a systematic prolongation procedure for the Killing equation on symmetric two-tensors and applies the resulting algebraic machinery to construct and elucidate a natural quadratic mapping that sends Killing vector fields to Killing two-tensors on irreducible locally symmetric spaces of compact type.

Significance. If the prolongation closes under the parallel curvature condition of locally symmetric spaces, the construction supplies an explicit, structure-preserving map between two classical objects in Riemannian geometry. This could streamline the study of Killing tensors on symmetric spaces and provide a uniform algebraic description that replaces ad-hoc case analysis.

minor comments (3)
  1. [Abstract] The abstract states the existence of the quadratic mapping but does not indicate whether the map is surjective onto the space of Killing two-tensors or only produces a subspace; a clarifying sentence would strengthen the claim.
  2. [§4] In the locally symmetric case the prolongation is asserted to close algebraically, yet the precise commutation relations used to verify closure (e.g., the action of the curvature endomorphism on the prolonged symbol) are not displayed explicitly; adding one displayed identity would make the argument self-contained.
  3. [§2] Notation for the prolonged bundle and the quadratic map is introduced without a summary table of symbols; a short notation table would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive summary, and the recommendation for minor revision. We are pleased that the significance of the prolongation procedure for Killing two-tensors and its application to the quadratic mapping on irreducible locally symmetric spaces of compact type has been recognized.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces a systematic prolongation procedure for Killing two-tensors, with application to a quadratic mapping on irreducible locally symmetric spaces of compact type. The abstract and description frame this as an algebraic closure under parallel curvature without reference to fitted parameters, self-definitional mappings, or load-bearing self-citations that reduce the central claim to prior inputs. No equations or steps are quoted that exhibit reduction by construction; the derivation is presented as self-contained first-principles work in differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard definitions from Riemannian geometry and the theory of Killing tensors; no free parameters or new entities are mentioned in the abstract.

axioms (2)
  • standard math Killing two-tensors satisfy the standard overdetermined PDE system on a Riemannian manifold.
    This is the background definition invoked when discussing prolongation for Killing tensors.
  • domain assumption Locally symmetric spaces have parallel curvature tensor.
    The abstract singles out the locally symmetric case as the setting where the procedure is especially effective.

pith-pipeline@v0.9.0 · 5315 in / 1367 out tokens · 29507 ms · 2026-05-10T04:06:07.813971+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Killing tensors on Riemannian symmetric spaces

    math.DG 2026-04 unverdicted novelty 7.0

    Quadratic Killing tensors on rank-one Riemannian symmetric spaces are spanned by top-slot tensors together with known decomposable and indecomposable ones, completing their classification.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    Baston and M.G

    R.J. Baston and M.G. Eastwood,The Penrose Transform: its Interaction with Representation Theory, Oxford University Press 1989, reprinted Dover Publications 2016

    work page 1989

  2. [2]

    Belgun, A

    F. Belgun, A. Moroianu, and U. Semmelmann,Killing forms on symmetric spaces, Differential Geom. Appl.24(2006) 215–222

    work page 2006

  3. [3]

    Branson, A

    T.P. Branson, A. ˇCap, M.G. Eastwood, and A.R. Gover,Prolongations of geometric overdetermined systems, Int. Jour. Math.17(2006) 641–664

    work page 2006

  4. [4]

    Carter,Global structure of the Kerr family of gravitational fields, Phys

    B. Carter,Global structure of the Kerr family of gravitational fields, Phys. Rev.174(1968) 1559–1571

    work page 1968

  5. [5]

    ˇCap and J

    A. ˇCap and J. Slov´ ak,Parabolic Geometries I: Background and General Theory, American Mathematical Society 2009

    work page 2009

  6. [6]

    Costanza, M

    F. Costanza, M. Eastwood, T. Leistner, and B. McMillan,A Calabi operator for Riemannian locally symmetric spaces, arXiv:2112.00841, 2021, Amer. Jour. Math., to appear

    work page arXiv 2021

  7. [7]

    Delong, Jr.,Killing tensors and the Hamilton–Jacobi equation, PhD thesis, University of Minnesota, 1982

    R.P. Delong, Jr.,Killing tensors and the Hamilton–Jacobi equation, PhD thesis, University of Minnesota, 1982

    work page 1982

  8. [8]

    Eastwood,Prolongations of linear overdetermined systems of affine and Riemannian manifolds, Suppl

    M.G. Eastwood,Prolongations of linear overdetermined systems of affine and Riemannian manifolds, Suppl. Rend. Circ. Mat. Palermo75(2005) 89–108

    work page 2005

  9. [9]

    Eastwood, Killing tensors on complex projective space, arXiv: https://arxiv.org/abs/2309.00589

    M.G. Eastwood,Killing tensors on complex projective space, arXiv:2309.00589, 2023

    work page arXiv 2023

  10. [10]

    Eastwood and J.A

    M.G. Eastwood and J.A. Wolf,Branching of representations to symmetric subgroups, M¨ unster Jour. Math.4(2011) 1–27

    work page 2011

  11. [11]

    Eschenburg,Lecture notes on symmetric spaces, https://myweb.rz.uni-augsburg.de/~eschenbu/symspace.pdf 37

    J.-H. Eschenburg,Lecture notes on symmetric spaces, https://myweb.rz.uni-augsburg.de/~eschenbu/symspace.pdf 37

    work page

  12. [12]

    Gover and T

    A.R. Gover and T. Leistner,Invariant prolongation of the Killing tensor equation, Ann. Mat. Pura Appl.198(2019) 307–334

    work page 2019

  13. [13]

    Kowalski,Generalized Symmetric Spaces, LNM 805, Springer 1980

    O. Kowalski,Generalized Symmetric Spaces, LNM 805, Springer 1980

    work page 1980

  14. [14]

    Kostant,Holonomy and the Lie algebra of infinitesimal motions of a Riemannian manifold, Trans

    B. Kostant,Holonomy and the Lie algebra of infinitesimal motions of a Riemannian manifold, Trans. Amer. Math. Soc.80(1955) 528–542

    work page 1955

  15. [15]

    Cohen, now maintained by Marc van Leeuwen

    LiE program, Computer Algebra Group of CWI, software project headed by Arjeh M. Cohen, now maintained by Marc van Leeuwen. Version 2.2.2 of LiE is available at http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/

    work page

  16. [16]

    McLenaghan, R

    R.G. McLenaghan, R. Milson, and R.G. Smirnov,Killing tensors as irreducible representations of the general linear group, C. R. Math. Acad. Sci. Paris339(2004) 621–624

    work page 2004

  17. [17]

    Matveev and Y

    V.S. Matveev and Y. Nikolayevsky,Quadratic Killing tensors on symmetric spaces which are not generated by Killing vector fields, C. R. Math. Acad. Sci. Paris362(2024) 1043–1049

    work page 2024

  18. [18]

    Matveev and Y

    V.S. Matveev and Y. Nikolayevsky,Private communication, 2025

    work page 2025

  19. [19]

    Nagy,Skew-symmetric prolongations of Lie algebras and applications, Jour

    P.-A. Nagy,Skew-symmetric prolongations of Lie algebras and applications, Jour. Lie Theory23 (2013) 1–33

    work page 2013

  20. [20]

    Nguyen,Quadratic Killing tensors on symmetric spaces, talk at CIMAT, 4 th August 2025

    K. Nguyen,Quadratic Killing tensors on symmetric spaces, talk at CIMAT, 4 th August 2025

    work page 2025

  21. [21]

    Penrose and W

    R. Penrose and W. Rindler,Spinors and Space-time, vol. 1, Cambridge University Press 1984

    work page 1984

  22. [22]

    Sawon,Homomorphisms of semiholonomic Verma modules: an exceptional case, Acta Math

    J. Sawon,Homomorphisms of semiholonomic Verma modules: an exceptional case, Acta Math. Univ. Comenian.68(1999) 257–269

    work page 1999

  23. [23]

    Sumitomo and K

    T. Sumitomo and K. Tandai,On the centralizer of the Laplacian ofP n(C)and the spectrum of the complex Grassmann manifoldG 2,n−1(C), Osaka Jour. Math.22(1985) 123–155

    work page 1985

  24. [24]

    Takeuchi,Killing tensor fields on spaces of constant curvature, Tsukuba Jour

    M. Takeuchi,Killing tensor fields on spaces of constant curvature, Tsukuba Jour. Math.7(1983) 233–255

    work page 1983

  25. [25]

    Thompson,Killing tensors in spaces of constant curvature, Jour

    G. Thompson,Killing tensors in spaces of constant curvature, Jour. Math. Phys.27(1986) 2693–2699

    work page 1986

  26. [26]

    Wolf,Spaces of constant curvature, sixth edition, AMS Chelsea Publishing 2011

    J.A. Wolf,Spaces of constant curvature, sixth edition, AMS Chelsea Publishing 2011. School of Mathematical Sciences, Adelaide University, SA 5005, Australia Email address:meastwoo@gmail.com School of Mathematical Sciences, Adelaide University, SA 5005, Australia Email address:thomas.leistner@adelaide.edu.au 38

    work page 2011