pith. sign in

arxiv: 2604.27950 · v1 · submitted 2026-04-30 · 🧮 math.DG · nlin.SI

On Killing tensors on Riemannian symmetric spaces

Vladimir Matveev , Yuri Nikolayevsky This is my paper

Pith reviewed 2026-05-07 05:53 UTC · model grok-4.3

classification 🧮 math.DG nlin.SI
keywords Killing tensorsRiemannian symmetric spacesrank onequadratic Killing tensorstop-slot Killing tensorsgeodesic flow integralscompact irreducible spacesindecomposable tensors
0
0 comments X

The pith

Quadratic Killing tensors on rank-one symmetric spaces are spanned by top-slot fields

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

The paper first proves that investigating Killing tensor fields on any Riemannian symmetric space reduces without loss to the compact irreducible case. It then defines top-slot Killing tensor fields and supplies an explicit description of this new class. The central theorem establishes that every quadratic Killing tensor field is a linear combination of these top-slot fields. For the quaternionic projective space and the Cayley projective space the authors further prove that the quadratic fields are spanned by the indecomposable tensors constructed in an earlier paper together with the decomposable ones. The result finishes the classification of all quadratic Killing tensors on Riemannian symmetric spaces of rank one, which are precisely the quadratic-in-momenta integrals of the geodesic flow on these manifolds.

Core claim

By reducing the general problem to compact irreducible symmetric spaces, we introduce the top-slot Killing tensor fields. We provide an explicit and elegant description of these fields and prove that the space of quadratic Killing tensor fields is spanned by the top-slot ones. Additionally, for the quaternionic projective space and the Cayley projective space, the quadratic Killing tensor fields are spanned by the indecomposable ones constructed earlier and the decomposable ones. This completes the classification of quadratic Killing tensor fields on Riemannian symmetric spaces of rank one.

What carries the argument

Top-slot Killing tensor fields, the newly introduced class whose explicit description is shown to span every quadratic Killing tensor on the spaces under study.

If this is right

  • Every quadratic integral of the geodesic flow on a rank-one Riemannian symmetric space is now known explicitly.
  • The classification applies uniformly once the problem is reduced to the compact irreducible setting.
  • On the quaternionic and Cayley projective spaces the spanning set is given by the union of the new top-slot fields with the indecomposables already constructed.
  • The reduction technique shows that information about Killing tensors is preserved when passing from the general symmetric space to its compact irreducible factors.

Where Pith is reading between the lines

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

  • The explicit spanning set may now be used to write down all quadratic conserved quantities for geodesic motion on these spaces.
  • The same reduction-to-irreducible-compact strategy could be tested for Killing tensors of degree higher than two.
  • One could check whether analogous top-slot constructions exist on symmetric spaces of higher rank.

Load-bearing premise

The top-slot fields together with the decomposable tensors and the indecomposables from the earlier paper actually generate the entire space of quadratic Killing tensors with nothing left over.

What would settle it

Exhibiting one quadratic Killing tensor on the quaternionic projective space or the Cayley projective space that cannot be expressed as a linear combination of the top-slot fields, the decomposables, and the previously constructed indecomposables would refute the spanning claim.

read the original abstract

A Killing tensor field on a Riemannian space corresponds to an integral of the geodesic flow polynomial in momenta. A Killing tensor field is called decomposable if it is a polynomial in Killing vector fields. In this paper, we first prove that the study of Killing tensor fields on symmetric spaces can be reduced to the case of compact irreducible ones. Then we introduce the class of top slot Killing tensor fields. We obtain an explicit and elegant description of such tensor fields and prove that the quadratic Killing tensor fields are spanned by the top-slot ones. We also show that quadratic Killing tensor fields on the quaternionic projective space and on the Cayley projective space are spanned by the indecomposable ones constructed in our earlier paper and the decomposable ones. This completes the classification of quadratic Killing tensor fields on Riemannian symmetric spaces of rank one.

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 / 2 minor

Summary. The paper first proves a reduction theorem allowing the study of Killing tensor fields on Riemannian symmetric spaces to be limited to the compact irreducible case. It then introduces top-slot Killing tensor fields, defined algebraically using highest weight vectors in the isotropy group's representation on symmetric tensors. An explicit description is given, and it is proved that quadratic Killing tensor fields are spanned by the top-slot ones. For the quaternionic projective spaces and the Cayley projective space, the quadratic Killing tensors are shown to be spanned by the indecomposable examples from the authors' earlier paper combined with decomposable ones, completing the classification for all rank-one Riemannian symmetric spaces.

Significance. Assuming the proofs are correct, this manuscript provides a complete classification of quadratic Killing tensors on rank-one symmetric spaces. This is significant because Killing tensors correspond to polynomial integrals of the geodesic flow, and their classification aids in understanding integrable geodesic flows on these spaces. The strengths include the parameter-free algebraic construction of top-slot tensors, the use of representation theory to prove spanning (matching dimensions for Sp(n) and F4), and the general reduction result via Cartan duality. These elements make the work a solid contribution to the theory of symmetric spaces and integrable systems.

minor comments (2)
  1. The reduction argument using invariance under the connected component of the isometry group and Cartan duality is justified, but a brief explicit statement confirming that no new independent quadratic components are introduced in the non-compact or reducible cases would strengthen the claim that all information is preserved.
  2. The top-slot construction is defined via highest weight vectors in the isotropy representation; including a short computational example (e.g., for the sphere or a low-dimensional quaternionic space) would make the explicit description more accessible and illustrate how these tensors differ from decomposable ones.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, the positive summary of our results on the classification of quadratic Killing tensors, and the recommendation for minor revision. We are pleased that the algebraic construction of top-slot tensors, the reduction theorem via Cartan duality, and the dimension-matching arguments for Sp(n) and F4 are viewed as strengths. Since the major comments section contains no specific points requiring clarification or correction, we have no point-by-point responses to provide. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent algebraic and representation-theoretic steps

full rationale

The reduction of Killing tensor study to compact irreducible symmetric spaces follows from invariance under the connected isometry group component and Cartan duality, both standard and independent of the target results. The top-slot class is introduced via an algebraic definition using highest-weight vectors in the isotropy representation on symmetric tensors; the spanning claim for quadratic Killing tensors is proven by explicit module decomposition into top-slot summands plus lower decomposable terms. For the rank-one cases, completeness is verified by matching the dimension of the space of quadratic Killing tensors (computed from the representation theory of Sp(n) and F4) against the span of the cited indecomposable constructions plus decomposables; this dimension count is an external, standard computation independent of the paper's own constructions or fitted values. The self-citation supplies explicit prior examples but does not bear the load of the spanning or completeness arguments, which are self-contained and externally falsifiable. No equation or step reduces by construction to its inputs, and no uniqueness theorem or ansatz is smuggled via self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definition of Killing tensors as symmetric tensors giving polynomial integrals of geodesic flow and on the definition of Riemannian symmetric spaces as homogeneous spaces whose geodesic symmetries are isometries; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math A Killing tensor field on a Riemannian manifold corresponds to an integral of the geodesic flow that is polynomial in the momenta.
    This is the standard definition used throughout the literature on Killing tensors and geodesic flows.
  • standard math A Riemannian symmetric space is a Riemannian manifold in which the geodesic symmetry at every point is an isometry.
    This is the definition of Riemannian symmetric space invoked when reducing the problem to compact irreducible cases.

pith-pipeline@v0.9.0 · 5430 in / 1498 out tokens · 47046 ms · 2026-05-07T05:53:48.669782+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    A. V. Bolsinov and B. Jovanovi\'c, Noncommutative integrability, moment map and geodesic flows. Ann. Global Anal. Geom. 23 (2003), 305--322

    work page 2003

  2. [2]

    Bolsinov, E

    A. Bolsinov, E. Miranda, V. Matveev, S. Tabachnikov, Open problems, questions, and challenges in finite-dimensional integrable systems. Philos. Trans. Roy. Soc. A 376 (2018), 20170430

    work page 2018

  3. [3]

    R. L. Bryant, P. Foulon, S. Ivanov, V. Matveev, W. Ziller, Geodesic behavior for Finsler metrics of constant positive flag curvature on S^2 . J. Diff. Geom. 117 (2021), 1--22

    work page 2021

  4. [4]

    A. S. Mishchenko and A. T. Fomenko, Euler equations on finite-dimensional Lie groups. Math. USSR-Izv. 12 (1978), no. 2, 371--389

    work page 1978

  5. [5]

    D. Cox, J. Little, D. O'Shea, Ideals, varieties, and algorithms. Undergrad. Texts Math. Springer-Verlag, New York, 1997

    work page 1997

  6. [6]

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

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

    work page arXiv

  7. [7]

    Prolongation and Killing two-tensors

    M. Eastwood, T. Leistner, Prolongation and Killing two-tensors, arXiv: https://arxiv.org/abs/2604.17855v1

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    Fulton, J

    W. Fulton, J. Harris Representation theory. A first course. Graduate Texts in Mathematics, 129. Springer Verlag, New York, 1991

    work page 1991

  9. [9]

    Helgason, Differential geometry, Lie groups, and symmetric spaces

    S. Helgason, Differential geometry, Lie groups, and symmetric spaces. Pure and Applied Mathematics, 80. Academic Press, Inc. New York, London, 1978

    work page 1978

  10. [10]

    Kruglikov, V

    B. Kruglikov, V. Matveev, The geodesic flow of a generic metric does not admit nontrivial integrals polynomial in momenta, Nonlinearity, 29 (2016), 1755-1768

    work page 2016

  11. [11]

    Matveev, Y

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

    work page 2024

  12. [12]

    Matveev, Y

    V. Matveev, Y. Nikolayevsky, Killing tensors on reducible spaces, manuscripta math. 176 (2025), 3, doi.org: 10.1007/s00229-024-01599-3

    work page doi:10.1007/s00229-024-01599-3 2025

  13. [13]

    Matveev, An Ky Nguyen, Y

    V. Matveev, An Ky Nguyen, Y. Nikolayevsky, Quadratic Killing tensors on classical Lie groups are decomposable, preprint

    work page

  14. [14]

    Michel, P

    J.-P. Michel, P. Somberg and J. S ilhan, Prolongation of symmetric Killing tensors and commuting symmetries of the Laplace operator, Rocky Mountain J. Math. 47 (2017), no. 2, 587--619

    work page 2017

  15. [15]

    Nikolayevsky, Quadratic Killing tensors on some symmetric spaces of higher rank, preprint

    An Ky Nguyen, Y. Nikolayevsky, Quadratic Killing tensors on some symmetric spaces of higher rank, preprint

    work page

  16. [16]

    L. G. Rybnikov, The argument shift method and the Gaudin model. Funct. Anal. Appl. 40 (2006), no. 3, 188--199

    work page 2006

  17. [17]

    Sumitomo, K

    T. Sumitomo, K. Tandai, Killing tensor fields on the standard sphere and spectra of (n+1)/ ( (n-1) (2)) and O(n+1)/(O(n-1) O(2)) , Osaka Math. J. 20 (1983), 51--78

    work page 1983

  18. [18]

    Sumitomo, K

    T. Sumitomo, K. Tandai, On the centralizer of the Laplacian of P_n( ) and the spectrum of complex Grassmann manifold G_ 2,n-1 ( ) , Osaka J. Math. 22 (1985), 123--155

    work page 1985

  19. [19]

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

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

    work page 1983

  20. [20]

    Thompson, Killing tensors in spaces of constant curvature, J

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

    work page 1986

  21. [21]

    J. A. Wolf, Spaces of constant curvature, AMS Chelsea Publishing, Providence 2011

    work page 2011

  22. [22]

    Wolf, Structural equations for Killing tensors of arbitrary rank, Comput

    T. Wolf, Structural equations for Killing tensors of arbitrary rank, Comput. Phys. Commun. 115 (1998), 316-329

    work page 1998

  23. [23]

    Berndt, C

    J. Berndt, C. Olmos, The index conjecture for symmetric spaces, J. reine angew. Math. 772 (2021), 187-222

    work page 2021

  24. [24]

    K. Heil, A. Moroianu, U. Semmelmann, Killing and conformal Killing tensors, J. Geom. Phys. 106 (2016), 383-400

    work page 2016

  25. [25]

    D. S. P. Leung, On the classification of reflective submanifolds of Riemannian symmetric spaces, Indiana Univ. Math. J. 24 (1974/75), 327-339. Errata, Indiana Univ. Math. J. 24 (1975), 1199

    work page 1974

  26. [26]

    Murakami, Exceptional simple Lie groups and related topics in recent differential geometry

    S. Murakami, Exceptional simple Lie groups and related topics in recent differential geometry. Differential Geometry and Topology, Lecture Notes in Math., Springer, 1369 (1989) 183–221

    work page 1989

  27. [27]

    Nagata, A remark on the unique factorization theorem, J

    M. Nagata, A remark on the unique factorization theorem, J. Math. Soc. Japan, 9 (1957), 143-145

    work page 1957

  28. [28]

    Ziller, Weakly symmetric spaces, in ``Topics in Geometry, in memory of Joseph D'Atri'', Progress in Nonlinear Differential Equations 20, Birkh\" a user, Basel, (1996), 355-368

    W. Ziller, Weakly symmetric spaces, in ``Topics in Geometry, in memory of Joseph D'Atri'', Progress in Nonlinear Differential Equations 20, Birkh\" a user, Basel, (1996), 355-368

    work page 1996

  29. [29]

    and M_2 ``small

    and? 5. reflection in tg subspaces: explain, Leung, how to kill 4,0; and also 0,4 (what conditions for R); and then from even follow odd? and finally, what to do with (2,2)? try to write down as for the product X=X_1+X_2, P=P_1+P_2 and then look at the components and at the homogeneous parts 6. cut locus? look at the section in Helgason 7. For finite dim ...

    work page