pith. sign in

arxiv: 2401.07620 · v2 · submitted 2024-01-15 · 🧮 math.DG · math-ph· math.DS· math.MP· nlin.SI

Killing tensors on reducible spaces

Vladimir S. Matveev , Yuri Nikolayevsky This is my paper

Pith reviewed 2026-05-24 04:47 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.DSmath.MPnlin.SI
keywords Killing tensorRiemannian productreduciblecompact factorholonomyuniversal cover
0
0 comments X

The pith

Any Killing tensor on the product of two Riemannian manifolds with one compact factor is reducible as a sum of products from the factors.

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

The paper establishes that on a Riemannian product where one factor is compact, every Killing tensor decomposes into sums of products of Killing tensors from each factor separately. A sympathetic reader cares because this gives a complete reduction of the problem to the individual factors rather than requiring new objects on the combined space. The same reducibility holds for the lifts of Killing tensors from compact manifolds with reducible holonomy to their universal covers. The authors also supply a local description of Killing tensors on products and an example showing that compactness is required for the result.

Core claim

We prove that on the product of two Riemannian manifolds one of which is compact, any Killing tensor is reducible, that is, is the sum of products of Killing tensors on the factors. The same is true for the lifts to the universal cover of Killing tensors on a compact manifold with reducible holonomy. We give a local description of Killing tensors on product manifolds and present an example of a complete product manifold whose factors are locally irreducible which admits an irreducible Killing tensor field.

What carries the argument

Reducibility of a Killing tensor on a Riemannian product, where the tensor on the product decomposes as a sum of products of Killing tensors from each factor.

If this is right

  • Classification of Killing tensors on such products reduces directly to classification on each factor.
  • Compact manifolds with reducible holonomy have all their Killing tensors lifting to reducible ones on the universal cover.
  • Local descriptions of Killing tensors on products are built from the local data of the factors.
  • No irreducible Killing tensors can appear on products satisfying the compactness condition.

Where Pith is reading between the lines

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

  • The decomposition may simplify analysis of conserved quantities in the geodesic flow on product spaces.
  • Similar reducibility questions could be asked for other symmetric tensor fields on products.
  • The result highlights how compactness blocks mixing between factors that would otherwise produce new tensors.

Load-bearing premise

One of the two factors in the Riemannian product is compact.

What would settle it

An explicit example of a product manifold with one compact factor that nonetheless admits an irreducible Killing tensor would disprove the central claim.

read the original abstract

We prove that on the product of two Riemannian manifolds one of which is compact, any Killing tensor is reducible, that is, is the sum of products of Killing tensors on the factors. The same is true for the lifts to the universal cover of Killing tensors on a compact manifold with reducible holonomy. We give a local description of Killing tensors on product manifolds and present an example of a complete product manifold whose factors are locally irreducible which admits an irreducible Killing tensor field.

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 proves that if M and N are Riemannian manifolds and one factor (say M) is compact, then every Killing tensor on the product M × N is reducible: it decomposes as a sum of products of Killing tensors on M and on N. The same decomposition holds for the lifts of Killing tensors to the universal cover of a compact manifold whose holonomy representation is reducible. The authors also supply a local (pointwise) description of Killing tensors on arbitrary Riemannian products and exhibit a complete non-compact product manifold with locally irreducible factors that admits an irreducible Killing tensor, showing that compactness cannot be omitted.

Significance. The decomposition theorem supplies a concrete structural result for Killing tensors on reducible spaces under a natural topological hypothesis. The counter-example demonstrates sharpness of the compactness assumption, while the local description and the holonomy-lift statement extend the reach of the main result. The work proceeds from the standard definition of Killing tensors via the usual covariant derivative condition and contains no free parameters or ad-hoc constructions.

minor comments (3)
  1. [§2] §2 (local description): the coordinate expression for a general Killing tensor on a product is stated but the transition functions between the two natural product charts are not written explicitly; adding one displayed equation would remove any ambiguity about the precise form of the mixed terms.
  2. [Theorem 1.1] Theorem 1.1 and Theorem 4.3: both statements invoke compactness of one factor, yet the proofs appear to use only the existence of a finite atlas with controlled transition maps; a short remark clarifying whether the argument extends to proper Riemannian submersions with compact fibers would be useful.
  3. [§5] The counter-example in §5 is constructed on a product of two non-compact locally irreducible manifolds; the verification that the exhibited tensor is indeed Killing and irreducible is only sketched. A single additional paragraph confirming the Lie derivative condition on the explicit metric would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The referee's description of the results is accurate. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a direct mathematical proof from the definitions of Killing tensors, Riemannian products, and holonomy reducibility. The central claim follows from the compactness assumption on one factor and standard properties of the product structure, with an explicit counterexample on the non-compact case. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the derivation is self-contained against external benchmarks in differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics proof relying on standard differential geometry; no free parameters, ad-hoc axioms, or new postulated entities are introduced.

axioms (1)
  • standard math Standard axioms and definitions of Riemannian manifolds, symmetric tensor fields, and the Killing equation from differential geometry
    The central claim is derived from these background structures.

pith-pipeline@v0.9.0 · 5605 in / 1019 out tokens · 57666 ms · 2026-05-24T04:47:34.342141+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

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

  1. [1]

    Open problems, questions and challenges in finite-dimensional integrable systems

    Alexey Bolsinov et al. “Open problems, questions and challenges in finite-dimensional integrable systems”. English. In: Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 376.2131 (2018). Id/No 20170430, p. 40. issn: 1364-503X. doi: 10.1098/rsta.2017.0430

    work page doi:10.1098/rsta.2017.0430 2018

  2. [2]

    Killing and conformal Killing tensors

    Konstantin Heil, Andrei Moroianu, and Uwe Semmelmann. “Killing and conformal Killing tensors”. In: J. Geom. Phys. 106 (2016), pp. 383–400. issn: 0393-0440,1879-1662. doi: 10.1016/j.geomphys.2016.04.014. url: https://doi.org/10.1016/j.geomphys.2016.04.014

    work page doi:10.1016/j.geomphys.2016.04.014 2016

  3. [3]

    The geodesic flow of a generic metric does not admit nontrivial integrals polynomial in momenta

    Boris Kruglikov and Vladimir S. Matveev. “The geodesic flow of a generic metric does not admit nontrivial integrals polynomial in momenta”. English. In: Nonlinearity 29.6 (2016), pp. 1755–1768. issn: 0951-7715. doi: 10.1088/0951-7715/29/6/1755

    work page doi:10.1088/0951-7715/29/6/1755 2016

  4. [4]

    Quadratic Killing tensors on symmetric spaces which are not generated by Killing vector fields

    Vladimir S. Matveev and Yuri Nikolayevsky. “Quadratic Killing tensors on symmetric spaces which are not generated by Killing vector fields”. In: Comptes Rendus Math´ ematique, to appear(2024). url: https://arxiv.org/abs/2312.16518. REFERENCES 11

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  5. [5]

    Killing tensors as irreducible representations of the general linear group

    Raymond G. Mclenaghan, Robert Milson, and Roman G. Smirnov. “Killing tensors as irreducible representations of the general linear group”. English. In: C. R., Math., Acad. Sci. Paris 339.9 (2004), pp. 621–624. issn: 1631-073X. doi: 10.1016/j.crma.2004.07.017

    work page doi:10.1016/j.crma.2004.07.017 2004

  6. [6]

    Some theorems on locally product Riemann - ian spaces

    Shun-ichi Tachibana. “Some theorems on locally product Riemann - ian spaces”. In: Tohoku Math. J. (2) 12 (1960), pp. 281–292. issn: 0040-8735,2186-585X. doi: 10.2748/tmj/1178244441. url: https://doi.org/10.2748/tmj

    work page doi:10.2748/tmj/1178244441 1960

  7. [7]

    Killing tensor fields on spaces of constant cur - vature

    Masaru Takeuchi. “Killing tensor fields on spaces of constant cur - vature”. In: Tsukuba J. Math. 7.2 (1983), pp. 233–255. issn: 0387- 4982,2423-821X. doi: 10.21099/tkbjm/1496159823. url: https://doi.org/10.21099/tkbjm

    work page doi:10.21099/tkbjm/1496159823 1983

  8. [8]

    Killing tensors in spaces of constant curva- ture

    Gerald Thompson. “Killing tensors in spaces of constant curva- ture”. English. In: J. Math. Phys. 27 (1986), pp. 2693–2699. issn: 0022-2488. doi: 10.1063/1.527288. F akult¨at f¨ur Mathematik und Informatik, Friedrich-Schiller-Universit¨at, 07737 Jena, Germany Email address : vladimir.matveev@uni-jena.de Department of Mathematical and Physical Sciences, La...

    work page doi:10.1063/1.527288 1986