pith. sign in

arxiv: 2501.18485 · v2 · submitted 2025-01-30 · 🌊 nlin.SI · math-ph· math.DG· math.DS· math.MP

Real-analyticity of 2-dimensional superintegrable metrics and solution of two Bolsinov-Kozlov-Fomenko conjectures

Vladimir S. Matveev This is my paper

Pith reviewed 2026-05-23 04:57 UTC · model grok-4.3

classification 🌊 nlin.SI math-phmath.DGmath.DSmath.MP
keywords superintegrable metricspolynomial integralsreal-analyticityPoisson bracketisothermal coordinatesKiyohara metricsBolsinov-Kozlov-Fomenko conjectures2D Riemannian metrics
0
0 comments X

The pith

Kiyohara's metrics with high-degree polynomial integrals are not superintegrable.

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

The paper shows that two-dimensional superintegrable metrics are real-analytic in isothermal coordinates, at least in the special case needed here. It uses this to demonstrate that the metrics constructed by Kiyohara in 2001, which admit irreducible polynomial integrals of arbitrarily high degree k, cannot be superintegrable. In particular, they do not admit nontrivial polynomial integrals of degree less than k. This settles two conjectures from Bolsinov, Kozlov and Fomenko in 1995. The proof rests on a theorem that the Poisson bracket of any two polynomial-in-momenta integrals is an algebraic function of those integrals and the Hamiltonian.

Core claim

The central claim is that the Poisson bracket of two polynomial-in-momenta integrals is an algebraic function of the integrals and the Hamiltonian. A special case of the conjecture that superintegrable metrics are real-analytic in isothermal coordinates follows from this algebraic property, and the case is enough to prove that the Kiyohara metrics admitting irreducible integrals of arbitrary high degree k are not superintegrable and have no nontrivial polynomial integrals of degree less than k.

What carries the argument

Theorem 3 on the Poisson bracket of polynomial integrals being an algebraic function of the integrals and the Hamiltonian; this property controls the possible degrees and analytic character of the integrals.

If this is right

  • The Kiyohara metrics do not admit nontrivial polynomial integrals of degree less than k.
  • Conjectures (b) and (c) from Bolsinov, Kozlov and Fomenko 1995 are resolved for the entire Kiyohara family.
  • Small modifications of the arguments yield a method to construct new superintegrable systems.
  • The real-analyticity conjecture for superintegrable metrics holds in at least one special case sufficient for the degree obstruction.

Where Pith is reading between the lines

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

  • If real-analyticity holds for all 2D superintegrable metrics, then non-analytic examples with polynomial integrals cannot exist.
  • Other families claimed to have only high-degree integrals should be checked for the same degree obstruction.
  • The algebraic Poisson bracket relation may extend to integrals that are not polynomial or to systems in higher dimensions.
  • For small explicit values of k one could numerically search for any hidden lower-degree integral in the corresponding Kiyohara metric.

Load-bearing premise

That the special case of analyticity established via the algebraic Poisson bracket property applies to the Kiyohara metrics and would force lower-degree integrals to exist if those metrics were superintegrable.

What would settle it

Explicit construction of a nontrivial polynomial integral of degree less than k for a Kiyohara metric with large k, or direct verification that one of those metrics is superintegrable while non-analytic in isothermal coordinates.

read the original abstract

We study two-dimensional Riemannian metrics which are superintegrable in the class of polynomial in momenta integrals. The study is based on our main technical result, Theorem 3, which states that the Poisson bracket of two polynomial in momenta integrals is an algebraic function of the integrals and of the Hamiltonian. We conjecture that two-dimensional superintegrable Riemannian metrics are necessary real-analytic in isothermal coordinate systems, and give arguments supporting this conjecture. Small modification of the arguments, discussed in the paper, provides a methods to construct new superintegrable systems. We prove a special case of the above conjecture which is sufficient to show that the metrics constructed by K. Kiyohara in 2001, which admit irreducible polynomial in momenta integrals of arbitrary high degree $k$, are not superintegrable and in particular do not admit nontrivial polynomial in momenta integral of degree less than $k$. This result solves Conjectures (b) and (c) explicitly formulated in Bolsinov, KOzlov and Fomenko in 1995.

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

1 major / 1 minor

Summary. The paper establishes Theorem 3, an algebraic property of the Poisson bracket of two polynomial-in-momenta integrals (they are algebraic functions of the integrals and the Hamiltonian). It conjectures that 2D superintegrable Riemannian metrics must be real-analytic in isothermal coordinates, proves a special case of this conjecture, and applies that special case to conclude that the family of metrics constructed by Kiyohara (2001) admitting irreducible degree-k integrals for arbitrarily large k are in fact not superintegrable and possess no nontrivial polynomial integrals of degree less than k. This is claimed to resolve conjectures (b) and (c) of Bolsinov-Kozlov-Fomenko (1995).

Significance. If the special case of the analyticity conjecture is shown to apply uniformly to the Kiyohara construction, the result would resolve two 1995 conjectures by demonstrating that the existence of an irreducible high-degree integral precludes lower-degree ones. Theorem 3 supplies a new algebraic relation that is independent of fitted parameters and could be useful beyond this application.

major comments (1)
  1. [Abstract and the section applying Theorem 3 to Kiyohara metrics] The central claim that the proved special case of the analyticity conjecture suffices to rule out superintegrability for the entire Kiyohara family (for arbitrary k) is asserted in the abstract and introduction but lacks an explicit derivation showing that the coordinate/algebraic conditions required by the special case hold for the metric form given by Kiyohara. This verification is load-bearing for the disproof of the conjectures and for the statement that no lower-degree integrals exist.
minor comments (1)
  1. [Theorem 3] The statement of Theorem 3 would benefit from an explicit list of the polynomial degrees or the precise algebraic dependence relation that is proved.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and for identifying the need for explicit verification in the application of our special case to the Kiyohara family. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and the section applying Theorem 3 to Kiyohara metrics] The central claim that the proved special case of the analyticity conjecture suffices to rule out superintegrability for the entire Kiyohara family (for arbitrary k) is asserted in the abstract and introduction but lacks an explicit derivation showing that the coordinate/algebraic conditions required by the special case hold for the metric form given by Kiyohara. This verification is load-bearing for the disproof of the conjectures and for the statement that no lower-degree integrals exist.

    Authors: We agree that the manuscript would benefit from an explicit derivation confirming that the Kiyohara metrics satisfy the coordinate and algebraic conditions of the special case of the analyticity conjecture. In the revised version we will insert a new subsection (immediately following the statement of the special case) that derives these conditions directly from Kiyohara's 2001 metric form in isothermal coordinates. The derivation will show that the required algebraic relations on the Poisson bracket (from Theorem 3) hold uniformly for arbitrary degree k, thereby rigorously justifying the conclusion that the metrics are not superintegrable and admit no nontrivial polynomial integrals of degree less than k. This addition will also strengthen the abstract and introduction statements. revision: yes

Circularity Check

0 steps flagged

No circularity; new Theorem 3 provides independent algebraic support for the special case

full rationale

The paper's derivation rests on its own main technical result (Theorem 3) establishing that the Poisson bracket of two polynomial-in-momenta integrals is an algebraic function of the integrals and the Hamiltonian. This algebraic property is used to prove a special case of the real-analyticity conjecture, which is then applied to the Kiyohara family to rule out lower-degree integrals. No load-bearing step reduces by construction to a fitted parameter, self-definition, or prior self-citation; the central claims are supported by the newly proved algebraic relation rather than by renaming known results or importing uniqueness from the authors' earlier work. The argument is self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of the Poisson bracket on the cotangent bundle and the definition of superintegrability via polynomial integrals; no free parameters are introduced, no new entities are postulated, and the axioms invoked are the usual differential-geometric ones (Riemannian metric, Hamiltonian vector field, algebraic closure under bracket).

axioms (2)
  • standard math The Poisson bracket of two polynomial-in-momenta functions on the cotangent bundle is again a function on the cotangent bundle.
    Invoked as background for Theorem 3; this is a standard fact in symplectic geometry.
  • domain assumption Superintegrability in 2D requires three independent integrals in involution with the Hamiltonian.
    Standard definition used throughout the abstract to frame the problem.

pith-pipeline@v0.9.0 · 5731 in / 1648 out tokens · 31569 ms · 2026-05-23T04:57:48.287092+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

24 extracted references · 24 canonical work pages

  1. [1]

    Rich quasi-linear system for integrable geodesic flows on 2-torus

    Misha Bialy and Andrey E. Mironov. “Rich quasi-linear system for integrable geodesic flows on 2-torus”. In: Discrete Contin. Dyn. Syst. 29.1 (2011), pp. 81–90. issn: 1078-0947,1553-5231. url: https://doi. org/10.3934/dcds.2011.29.81

    work page doi:10.3934/dcds.2011.29.81 2011

  2. [2]

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

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

  3. [3]

    A. V. Bolsinov and A. T. Fomenko. Integrable geodesic flows on two- dimensional surfaces. Monographs in Contemporary Mathematics. Con- sultants Bureau, New York, 2000, pp. xiv+322. isbn: 0-306-11065-2. doi: 10.1007/978- 1- 4615- 4307- 7 . url: https://doi.org/10. 1007/978-1-4615-4307-7

    work page doi:10.1007/978- 2000

  4. [4]

    The de Maupertuis principle and geodesic flows on a sphere that arise from integrable cases of the dynamics of a rigid body

    A. V. Bolsinov, V. V. Kozlov, and A. T. Fomenko. “The de Maupertuis principle and geodesic flows on a sphere that arise from integrable cases of the dynamics of a rigid body”. In: Uspekhi Mat. Nauk 50.3(303) (1995), pp. 3–32. issn: 0042-1316,2305-2872. url: https://doi.org/ 10.1070/RM1995v050n03ABEH002100

    work page doi:10.1070/rm1995v050n03abeh002100 1995

  5. [5]

    Two-dimensional Riemannian metrics with an integrable geodesic flow. Local and global geometries

    A. V. Bolsinov, V. S. Matveev, and A. T. Fomenko. “Two-dimensional Riemannian metrics with an integrable geodesic flow. Local and global geometries”. In: Mat. Sb. 189.10 (1998), pp. 5–32.issn: 0368-8666,2305-

    work page 1998

  6. [6]

    url: https://doi.org/10.1070/SM1998v189n10ABEH000346

    work page doi:10.1070/sm1998v189n10abeh000346

  7. [7]

    Open problems and questions about geodesics

    Keith Burns and Vladimir S. Matveev. “Open problems and questions about geodesics”. In: Ergodic Theory Dynam. Systems 41.3 (2021), pp. 641–684. issn: 0143-3857,1469-4417. url: https://doi.org/10. 1017/etds.2019.73

    work page 2021

  8. [8]

    Topology and Integrability in Lagrangian Mechan- ics

    Leo T. Butler. “Topology and Integrability in Lagrangian Mechan- ics”. In: Lagrangian Mechanics. Ed. by H¨ useyin Canbolat. Rijeka: In- techOpen, 2017. Chap. 3. url: https://doi.org/10.5772/66147

    work page doi:10.5772/66147 2017

  9. [9]

    A new integrable system on the sphere

    Holger R. Dullin and Vladimir S. Matveev. “A new integrable system on the sphere”. In: Math. Res. Lett. 11.5-6 (2004), pp. 715–722. issn: 1073-2780. url: https://doi.org/10.4310/MRL.2004.v11.n6.a1. 17

    work page doi:10.4310/mrl.2004.v11.n6.a1 2004

  10. [10]

    Two-dimensional geodesic flows having first integrals of higher degree

    K. Kiyohara. “Two-dimensional geodesic flows having first integrals of higher degree”. In: Math. Ann. 320.3 (2001), pp. 487–505. issn: 0025- 5831,1432-1807. url: https://doi.org/10.1007/PL00004483

    work page doi:10.1007/pl00004483 2001

  11. [11]

    G. Koenigs. Sur les g` eod` esiques ` a int` egrales quadratiques. Ed. by J.G. Darboux. in: Le¸ cons sur la th´ eorie g´ en´ erale des surfaces et les applica- tions g´ eom´ etriques du calcul infinit´ esimal. Quatri` eme partie. Chelsea Publishing Co., Bronx, NY, 1972, pp. 368–404

    work page 1972

  12. [12]

    Geodesic flows on two-dimensional manifolds with an additional first integral that is polynomial with respect to veloci- ties

    V. N. Kolokoltsov. “Geodesic flows on two-dimensional manifolds with an additional first integral that is polynomial with respect to veloci- ties”. In: Izv. Akad. Nauk SSSR Ser. Mat. 46.5 (1982), pp. 994–1010,

    work page 1982

  13. [13]

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

    B. Kruglikov and V. S. Matveev. “The geodesic flow of a generic metric does not admit nontrivial integrals polynomial in momenta”. In: Non- linearity 29.6 (2016), pp. 1755–1768. issn: 0951-7715,1361-6544. url: https://doi.org/10.1088/0951-7715/29/6/1755

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

  14. [14]

    Invariant characterization of Liouville metrics and polynomial integrals

    Boris Kruglikov. “Invariant characterization of Liouville metrics and polynomial integrals”. In: J. Geom. Phys. 58.8 (2008), pp. 979–995. issn: 0393-0440,1879-1662. url: https : / / doi . org / 10 . 1016 / j . geomphys.2008.03.005

    work page 2008

  15. [15]

    Differential invariants for cubic integrals of geodesic flows on surfaces

    V. S. Matveev and V. V. Shevchishin. “Differential invariants for cubic integrals of geodesic flows on surfaces”. In: Journal of Geometry and Physics 60.6 (2010), pp. 833–856. issn: 0393-0440. doi: https : / / doi.org/10.1016/j.geomphys.2010.02.002 . url: https://www. sciencedirect.com/science/article/pii/S0393044010000392

    work page doi:10.1016/j.geomphys.2010.02.002 2010

  16. [16]

    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”. In: C. R. Math. Acad. Sci. Paris 339.9 (2004), pp. 621–624. issn: 1631-073X,1778-3569. url: https : / / doi . org / 10 . 1016 / j . crma.2004.07.017

    work page 2004

  17. [17]

    Local integrals of geodesic flows

    V. V. Ten. “Local integrals of geodesic flows”. In: Regul. Khaotich- eskaya Din. 2.2 (1997), pp. 87–89

    work page 1997

  18. [18]

    Killing tensors in spaces of constant curvature

    G. Thompson. “Killing tensors in spaces of constant curvature”. In: J. Math. Phys. 27.11 (1986), pp. 2693–2699. issn: 0022-2488,1089-7658. url: https://doi.org/10.1063/1.527288. 18

    work page doi:10.1063/1.527288 1986

  19. [19]

    On a class of integrable systems with a cubic first in- tegral

    Galliano Valent. “On a class of integrable systems with a cubic first in- tegral”. In: Comm. Math. Phys. 299.3 (2010), pp. 631–649. issn: 0010- 3616,1432-0916. url: https://doi.org/10.1007/s00220-010-1107- 7

    work page doi:10.1007/s00220-010-1107- 2010

  20. [20]

    Superintegrable geodesic flows versus Zoll metrics

    Galliano Valent. “Superintegrable geodesic flows versus Zoll metrics”. In: J. Geom. Phys. 159 (2021), Paper No. 103873, 26. issn: 0393- 0440,1879-1662. url: https : / / doi . org / 10 . 1016 / j . geomphys . 2020.103873

    work page arXiv 2021

  21. [21]

    Superintegrable models on Riemannian surfaces of revolution with integrals of any integer degree (I)

    Galliano Valent. “Superintegrable models on Riemannian surfaces of revolution with integrals of any integer degree (I)”. In: Regul. Chaotic Dyn. 22.4 (2017), pp. 319–352. issn: 1560-3547,1468-4845. url: https: //doi.org/10.1134/S1560354717040013

    work page doi:10.1134/s1560354717040013 2017

  22. [22]

    Explicit metrics for a class of two-dimensional cubically superintegrable sys- tems

    Galliano Valent, Christian Duval, and Vsevolod Shevchishin. “Explicit metrics for a class of two-dimensional cubically superintegrable sys- tems”. In: J. Geom. Phys. 87 (2015), pp. 461–481.issn: 0393-0440,1879-

    work page 2015

  23. [23]

    url: https://doi.org/10.1016/j.geomphys.2014.08.004

    work page doi:10.1016/j.geomphys.2014.08.004 2014

  24. [24]

    Structural equations for Killing tensors of arbitrary rank

    T. Wolf. “Structural equations for Killing tensors of arbitrary rank”. In: Comput. Phys. Comm. 115.2-3 (1998), pp. 316–329. issn: 0010-4655. url: https://doi.org/10.1016/S0010-4655(98)00123-4. 19

    work page doi:10.1016/s0010-4655(98)00123-4 1998