pith. machine review for the scientific record. sign in

arxiv: 2605.10750 · v1 · submitted 2026-05-11 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Homogeneity of magnetic geodesics in the Heisenberg group

Jun-ichi Inoguchi , Marian Ioan Munteanu
Authors on Pith no claims yet

Pith reviewed 2026-05-12 04:17 UTC · model grok-4.3

classification 🧮 math.DG
keywords Heisenberg groupmagnetic geodesicscontact structurehomogeneityLie groupsdifferential geometry
0
0 comments X

The pith

Magnetic geodesics in the 3-dimensional Heisenberg group from the canonical contact structure are homogeneous.

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

The paper proves that magnetic geodesics derived from the canonical contact structure on the three-dimensional Heisenberg group are homogeneous. Homogeneity means these curves remain unchanged in form under the left translations that define the group law. A reader would care because the result ties the solutions of the magnetic geodesic equation directly to the underlying Lie group symmetries, which often permits explicit parametrizations and global control of the curves.

Core claim

The authors prove that magnetic geodesics in the 3-dimensional Heisenberg group derived from the canonical contact structure are homogeneous. This establishes that the solutions to the associated second-order differential equation on the group are invariant under the natural action of the Heisenberg group itself.

What carries the argument

The magnetic geodesic equation induced by the canonical contact 1-form on the Heisenberg group, whose solutions are shown to be homogeneous.

If this is right

  • All such magnetic geodesics admit uniform descriptions via the group multiplication law.
  • Local properties of the curves extend globally due to the transitive action of the group.
  • The geodesics are equivalent up to left translation, reducing the classification problem to a single orbit.

Where Pith is reading between the lines

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

  • Similar homogeneity may hold for magnetic geodesics on other nilpotent Lie groups equipped with left-invariant contact structures.
  • The result could simplify models of charged particle trajectories in magnetic fields that possess nilpotent symmetry.

Load-bearing premise

The result assumes the standard definitions of magnetic geodesics via the canonical contact structure and of homogeneity as invariance under the Heisenberg group translations; any change in these definitions would make the proof inapplicable.

What would settle it

An explicit parametrization of a magnetic geodesic curve in the Heisenberg group whose shape changes under left translation by a group element would disprove the claim.

read the original abstract

We prove that magnetic geodesics in the $3$-dimensional Heisenberg group derived from the canonical contact structure are homogeneous.

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

Summary. The paper proves that magnetic geodesics in the 3-dimensional Heisenberg group derived from the canonical contact structure are homogeneous. The argument shows that the magnetic geodesic equation, derived from the left-invariant contact form, reduces to a left-invariant ODE whose solutions are one-parameter subgroups up to left translation.

Significance. If the result holds, it establishes an important symmetry property for magnetic geodesics in this setting. The proof is grounded in the left-invariance of the Heisenberg group and aligns with standard definitions in sub-Riemannian and contact geometry. This could be useful for understanding the integrability of the magnetic geodesic flow and provides a concrete example of homogeneity in a non-trivial Lie group context. The direct reduction to an ODE on the Lie algebra is a strength of the approach.

minor comments (1)
  1. The manuscript would benefit from including a brief numerical example or explicit parametrization of a magnetic geodesic to illustrate the homogeneity property.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation of minor revision. The referee's summary accurately reflects the main result and the left-invariant reduction used in the proof.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claim is established by a direct reduction: the magnetic geodesic equation induced by the canonical left-invariant contact form on the Heisenberg group is shown to be left-invariant, hence equivalent to an ODE whose solutions are one-parameter subgroups (up to left translation). This uses only standard definitions from contact and sub-Riemannian geometry with no fitted parameters renamed as predictions, no self-definitional loops, no load-bearing self-citations, and no imported uniqueness theorems. The derivation chain is self-contained and independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is abstract-only, so the ledger is necessarily incomplete; the work likely depends on standard axioms of contact geometry and Lie group structure without introducing new free parameters or entities.

axioms (2)
  • domain assumption Standard definition of magnetic geodesics induced by a contact structure on a 3D manifold
    The abstract invokes the canonical contact structure to define the magnetic geodesics.
  • domain assumption Homogeneity is a well-defined property for curves in the Heisenberg group
    The claim equates the geodesics to homogeneous curves under the group action.

pith-pipeline@v0.9.0 · 5294 in / 1164 out tokens · 42413 ms · 2026-05-12T04:17:38.380983+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Albers, G

    P. Albers, G. Benedetti, L. Maier, The Hopf–Rinow theorem and the Ma˜ n´ e critical value for magnetic geodesics on odd-dimensional spheres, J. Geom. Phys.214 (2025): 105521

    work page 2025

  2. [2]

    D. V. Anosov, Ya. G. Sinai, Some smooth ergodic systems, Uspekhi Mat. Nauk, 22(1967), no. 5, 107–172, English translation: Russian Math. Surveys22(1967), no. 5, 103–167

    work page 1967

  3. [3]

    V. I. Arnol’d, Some remarks on flows of line elements and frames, Dokl. Akad. Nauk. SSSR138(1961), 255–257. English translation: Sov. Math. Dokl.2(1961), 562–564

    work page 1961

  4. [4]

    V. I. Arnol’d, First steps in symplectic topology, Uspekhi Mat. Nauk.41(1986), no. 6, 3–18. English traslation: Russ. Math. Surv.41(1986), 1–21

    work page 1986

  5. [5]

    Arvanitoyeorgos, Homogeneous manifolds whose geodesics are orbits

    A. Arvanitoyeorgos, Homogeneous manifolds whose geodesics are orbits. Recent results and some open problems, Irish Math. Soc. Bull.79(2017), 5–29

    work page 2017

  6. [6]

    Berestovskii, Y

    V. Berestovskii, Y. Nikonorov,Riemannian Manifolds and Homogeneous Geodesics, Springer Monographs in Mathematics, 2020, Springer Nature Switzer- land

    work page 2020

  7. [7]

    Biggs, C

    R. Biggs, C. C. Remsing, Some remarks on the oscillator group, Differential Geom. Appl.35(2014) 199–209

    work page 2014

  8. [8]

    Bimmermann, L

    J. Bimmermann, L. Maier, Magnetic billiards and the Hofer–Zehnder capacity of disk tangent bundles of lens spaces, Math. Ann.392(2025), no. 4, 5209–5233. 20

    work page 2025

  9. [9]

    A. V. Bolsinov, B. Jovanovi´ c, Magnetic flows on homogeneous spaces, Comment. Math. Helv.83(2008), no. 3, 679–700

    work page 2008

  10. [10]

    Cristofaro-Gardiner, U

    D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, H. Liu, Contact three- manifolds with exactly two simple Reeb orbits, Geom. Topol.27(2023), no. 9, 3801–3831

    work page 2023

  11. [11]

    Dragovi´ c, B

    V. Dragovi´ c, B. Gaji´ c, B. Jovanovi´ c, Integrability of homogeneous exact magnetic flows on spheres, Regul. Chaot. Dyn.30(2025), 582–597

    work page 2025

  12. [12]

    Drut ¸˘ a-Romaniuc, J

    S. Drut ¸˘ a-Romaniuc, J. Inoguchi, M. I. Munteanu, A. I. Nistor, Magnetic curves in Sasakian manifolds, J. Nonlinear Math. Phys.22(2015), no. 3, 428–447

    work page 2015

  13. [13]

    Eliashberg, M

    Y. Eliashberg, M. Fraser, Topologically trivial Legendrian knots, J. Symplectic Geom.7(2009), no. 2, 77–127

    work page 2009

  14. [14]

    Epstein, R

    J. Epstein, R. Gornet, M. Mast, Periodic magnetic geodesics on Heisenberg manifolds, Ann. Global Anal. Geom.60(2021), no. 3, 647–685

    work page 2021

  15. [15]

    Geiges,An Introduction to Contact Topology, Cambridge Stud

    H. Geiges,An Introduction to Contact Topology, Cambridge Stud. Adv. Math. 109, Cambridge Univ. Press, 2008

    work page 2008

  16. [16]

    Inoguchi, T

    J. Inoguchi, T. Kumamoto, N. Ohsugi, Y. Suyama, Differential geometry of curves and surfaces in 3-dimensional homogeneous spaces I, Fukuoka Univ. Sci. Rep.29 (1999), no. 2, 155–182

    work page 1999

  17. [17]

    Inoguchi, M

    J. Inoguchi, M. I. Munteanu, Homogeneity of magnetic trajectories in the real special linear group, Proc. Amer. Math. Soc.152(2024), no. 3, 1287–1300

    work page 2024

  18. [18]

    Inoguchi, M

    J. Inoguchi, M. I. Munteanu, Homogeneity of magnetic trajectories in the Berger sphere, J. Math. Anal. Appl.550(2025), no. 2, Paper No. 129554, 38 pp

    work page 2025

  19. [19]

    Ishihara, S

    H. Ishihara, S. Matsuno, Inhomogeneous generalization of Einstein’s static uni- verse with Sasakian space, PTEP, Prog. Theor. Exper. Phys. 2022 (2), Article ID 023E01, 9 pp

    work page 2022

  20. [20]

    Kocsard, G

    A. Kocsard, G. P. Ovando, S. Reggiani, On first integrals of the geodesic flow on Heisenberg nilmanifolds, Differ. Geom. Appl.49(2016), 496–509

    work page 2016

  21. [21]

    Kowalski, L

    O. Kowalski, L. Vanhecke, Riemannian manifolds with homogeneous geodesics, Boll. Un. Mat. Ital. B (7)5(1991), 189–246

    work page 1991

  22. [22]

    Kozaki, H

    H. Kozaki, H. Ishihara, T. Koike, Y. Morisawa, Spacetime constructed from a contact manifold with a degenerate metric, Physical Review D110(10) (2024), Article number 104023

    work page 2024

  23. [23]

    Marenich, Geodesics in Heisenberg groups, Geom

    V. Marenich, Geodesics in Heisenberg groups, Geom. Dedicata66(1997), no. 2, 175–185. 21

    work page 1997

  24. [24]

    R. A. Marinosci, Homogeneous geodesics in a three-dimensional Lie group, Comment. Math. Univ. Carolinae43(2002), no. 2, 261–270

    work page 2002

  25. [25]

    Munteanu, One-dimensional metric foliations on the Heisenberg group, Proc

    M. Munteanu, One-dimensional metric foliations on the Heisenberg group, Proc. Amer. Math. Soc.134(2006), 1791–1802

    work page 2006

  26. [26]

    Ovando, The geodesic flow on nilpotent Lie groups of steps two and three, Discrete Contin

    G. Ovando, The geodesic flow on nilpotent Lie groups of steps two and three, Discrete Contin. Dyn. Syst.42(2022), no. 1, 327–352

    work page 2022

  27. [27]

    Ovando, M

    G. Ovando, M. Subils, Magnetic trajectories on 2-step nilmanifolds, J. Geom. Anal.33(2023), Article number 186

    work page 2023

  28. [28]

    Ovando, M

    G. Ovando, M. Subils, Magnetic fields on non-singular 2-step nilpotent Lie groups, J. Pure Appl. Algebra228(2024), no. 6, Article number 107618

    work page 2024

  29. [29]

    R. F. Streater, The representations of the oscillator group, Commun. Math. Phys. 4(1967), 217–236

    work page 1967

  30. [30]

    W. M. Thurston,Three-dimensional Geometry and TopologyI, Princeton Math. Series., vol.35(S. Levy ed.), 1997

    work page 1997

  31. [31]

    Tricerri, L

    F. Tricerri, L. Vanhecke,Homogeneous Structures on Riemannian Manifolds, Lecture Notes Series, London Math. Soc.52, (1983), Cambridge Univ. Press. 22

    work page 1983