arxiv: 2604.13616 · v2 · submitted 2026-04-15 · 🧮 math.SG

Recognition: unknown

Topics in Magnetic Geometry: Interpolation, Intersections and Integrability

Levin Maier, Lina Deschamps, Tom Stalljohann

Pith reviewed 2026-05-10 12:18 UTC · model grok-4.3

classification 🧮 math.SG

keywords magnetic geometrycontact manifoldsgeodesic flowmagnetomorphismtotally magnetic submanifoldintegrabilityPoisson-commuting integralsinterpolation

0 comments

The pith

Magnetic geodesic flows on contact manifolds interpolate smoothly between sub-Riemannian geodesics and the flow of the magnetic field's primitive vector field.

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

The paper establishes an interpolation property for Killing magnetic systems on contact manifolds under an additional condition, where the magnetic geodesic flow transitions smoothly from the sub-Riemannian geodesic flow on the contact distribution to the flow generated by a primitive of the magnetic field. It further shows that Hamiltonian actions from the magnetomorphism group yield Poisson-commuting integrals of motion for the magnetic flow. The work proves that fixed-point sets of magnetomorphisms and intersections of totally magnetic submanifolds remain totally magnetic, extending classical closure phenomena from Riemannian geometry into the magnetic setting.

Core claim

For Killing magnetic systems on contact manifolds satisfying an additional condition, the corresponding magnetic geodesic flow interpolates smoothly between the sub-Riemannian geodesic flow on the contact distribution and the flow of the vector field associated with a primitive of the magnetic field. Hamiltonian group actions associated with the magnetomorphism group produce Poisson-commuting integrals of motion for the magnetic flow. Fixed-point sets of magnetomorphisms and intersections of totally magnetic submanifolds are again totally magnetic.

What carries the argument

The magnetic geodesic flow in exact magnetic systems on contact manifolds, together with the magnetomorphism group and the class of totally magnetic submanifolds, which together carry the interpolation, integrability, and closure arguments.

If this is right

Poisson-commuting integrals arise directly from Hamiltonian actions of the magnetomorphism group, supporting integrability of the magnetic flow.
Fixed-point sets of magnetomorphisms are totally magnetic.
Intersections of totally magnetic submanifolds are totally magnetic.
The interpolation connects sub-Riemannian geometry on the contact distribution with ordinary magnetic dynamics on the same manifold.

Where Pith is reading between the lines

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

Abundant magnetomorphisms could produce many new integrable magnetic flows by symmetry.
The closure under intersections suggests totally magnetic submanifolds form a lattice closed under taking meets.
The interpolation mechanism might extend to other geometric flows that mix distribution and vector field directions.

Load-bearing premise

The additional condition for the interpolation property in Killing magnetic systems on contact manifolds holds, and the definitions of magnetomorphisms and totally magnetic submanifolds support the stated closure results.

What would settle it

A concrete Killing magnetic system on a contact manifold whose geodesic flow fails to interpolate smoothly between the sub-Riemannian flow on the contact distribution and the magnetic vector field flow would disprove the central interpolation claim.

read the original abstract

This paper develops new links between contact geometry, magnetic dynamics, and symmetry in exact magnetic systems. First, we establish an interpolation property for Killing magnetic systems on contact manifolds under an additional condition. Specifically, we show that the corresponding magnetic geodesic flow interpolates smoothly between the sub-Riemannian geodesic flow on the contact distribution and the flow of the vector field associated with a primitive of the magnetic field. Second, we show that Hamiltonian group actions associated with the magnetomorphism group produce Poisson-commuting integrals of motion for the magnetic flow. Finally, we obtain new structural results on totally magnetic submanifolds, showing that fixed-point sets of magnetomorphisms and intersections of totally magnetic submanifolds are again totally magnetic. The latter two results may be viewed as extensions of classical phenomena from Riemannian geometry to magnetic geometry.

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.

Desk Editor's Note private letter to a colleague

This paper gives a clean, incremental extension of some Riemannian facts on geodesic flows and submanifolds to the magnetic/contact setting, with proofs that hold up under standard arguments.

read the letter

The main thing to know is that the interpolation result for Killing magnetic systems works when the magnetic field is a multiple of the Reeb vector field, linking the sub-Riemannian flow on the contact distribution to the flow generated by a primitive of the magnetic field. The other two claims are that magnetomorphism group actions yield Poisson-commuting integrals for the magnetic flow, and that fixed-point sets plus intersections of totally magnetic submanifolds remain totally magnetic. These are framed as direct lifts of classical Riemannian statements about Killing fields and totally geodesic submanifolds.

Referee Report

0 major / 3 minor

Summary. The paper develops links between contact geometry, magnetic dynamics, and symmetry for exact magnetic systems on contact manifolds. It proves three main results: (1) an interpolation property for Killing magnetic systems under the condition that the magnetic field is a multiple of the Reeb vector field, showing the magnetic geodesic flow interpolates smoothly between the sub-Riemannian geodesic flow on the contact distribution and the flow of the vector field from a primitive of the magnetic field; (2) that Hamiltonian group actions associated with the magnetomorphism group (magnetic-preserving diffeomorphisms) yield Poisson-commuting integrals of motion for the magnetic flow; (3) that fixed-point sets of magnetomorphisms and intersections of totally magnetic submanifolds (those with tangent spaces invariant under the magnetic flow) are again totally magnetic. These extend classical Riemannian geometry phenomena to the magnetic setting using standard symplectic and contact geometry techniques.

Significance. If the results hold, the paper strengthens connections between contact geometry and magnetic dynamics by providing explicit interpolation, integrability via symmetries, and closure properties for magnetic submanifolds. Strengths include the supply of precise definitions for magnetomorphisms and totally magnetic submanifolds, the explicit additional condition (magnetic field as multiple of Reeb field) resolving abstract ambiguities, and derivations from standard arguments without internal gaps or unsupported steps, enhancing reproducibility and clarity in the field.

minor comments (3)

§2 (Definitions): Ensure the definition of 'Killing magnetic system' explicitly cross-references the contact structure and metric compatibility condition to avoid any reader ambiguity when transitioning from the abstract to the proofs.
Theorem 3.2 (Interpolation): The statement of the additional condition could include a brief parenthetical reminder of the Reeb field multiple property for immediate context, even if detailed in the preceding paragraph.
§4 (Integrals of motion): Verify that the Poisson-commuting property is stated with explicit reference to the magnetomorphism group action to strengthen the link to the Hamiltonian structure.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, including the interpolation property for Killing magnetic systems, the Poisson-commuting integrals from magnetomorphism actions, and the closure results for totally magnetic submanifolds. The recommendation for minor revision is noted, and we will prepare a revised version to address any editorial or minor clarifications.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims—an interpolation property for Killing magnetic systems, Poisson-commuting integrals from magnetomorphism group actions, and closure of totally magnetic submanifolds under fixed points and intersections—are derived from standard symplectic/contact geometry theorems applied to explicitly defined magnetic structures. The interpolation requires an additional condition (magnetic field a multiple of the Reeb field) that is stated outright rather than smuggled in; magnetomorphisms and totally magnetic submanifolds are defined directly from the magnetic flow without circular reference back to the results. No equations reduce to fitted parameters renamed as predictions, no load-bearing uniqueness theorems are imported solely via self-citation, and the derivations remain independent of the target conclusions. This is a self-contained extension of classical geometry with no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard axioms of contact and symplectic geometry plus the definitions of magnetic systems and magnetomorphisms; no free parameters or invented entities appear in the abstract.

axioms (2)

standard math Contact manifolds admit a contact form whose kernel is the contact distribution.
Invoked implicitly when discussing sub-Riemannian geodesic flow on the contact distribution.
domain assumption Magnetic systems are defined via a closed 2-form (magnetic field) compatible with the contact structure.
Central to the definition of magnetic geodesic flow and Killing condition.

pith-pipeline@v0.9.0 · 5431 in / 1386 out tokens · 32312 ms · 2026-05-10T12:18:04.114193+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 5 canonical work pages · 3 internal anchors

[1]

Abbondandolo

A. Abbondandolo. Lectures on the free period Lagrangian action functional. J. Fixed Point Theory Appl. , 13(2):397–430, 2013

2013
[2]

Abbondandolo, L

A. Abbondandolo, L. Macarini, M. Mazzucchelli, and G. P. Paternain. Infinitely many periodic orbits of exact magnetic flows on surfaces for almost every subcritical energy level. J. Eur. Math. Soc. (JEMS) , 19(2):551–579, 2017

2017
[3]

Abbondandolo, L

A. Abbondandolo, L. Macarini, and G. P. Paternain. On the existence of three closed magnetic geodesics for subcritical energies. Commentarii Mathematici Helvetici , 90:155–193, 2015

2015
[4]

Albers, G

P. Albers, G. Benedetti, and L. Maier. The Hopf-Rinow theorem and the Ma˜ n´ e critical value for magnetic geodesics on odd-dimensional spheres. Journal of Geometry and Physics , 2025

2025
[5]

V. I. Arnold. Some remarks on flows of line elements and frames. Dokl. Akad. Nauk SSSR , 138:255–257, 1961

1961
[6]

Asselle and G

L. Asselle and G. Benedetti. The Lusternik-Fet theorem for autonomous Tonelli Hamiltonian systems on twisted cotangent bundles. J. Topol. Anal., 8(3):545–570, 2016

2016
[7]

V. Assenza. Magnetic curvature and existence of a closed magnetic geodesic on low energy levels. Inter- national Mathematics Research Notices, 2024(21):13586–13610, November 2024

2024
[8]

Bimmermann and L

J. Bimmermann and L. Maier. Magnetic billiards and the Hofer–Zehnder capacity of disk tangent bundles of lens spaces. Mathematische Annalen, 2025

2025
[9]

D. E. Blair. Riemannian geometry of contact and symplectic manifolds , volume 203 of Progress in Math- ematics. Birkh¨ auser Boston, Ltd., Boston, MA, second edition, 2010

2010
[10]

Cieliebak, U

K. Cieliebak, U. Frauenfelder, and G. P. Paternain. Symplectic topology of Ma˜ n´ e’s critical values.Geom. Topol., 14(3):1765–1870, 2010

2010
[11]

Contreras, R

G. Contreras, R. Iturriaga, G. P. Paternain, and M. Paternain. Lagrangian graphs, minimizing measures and Ma˜ n´ e’s critical values.Geom. Funct. Anal., 8(5):788–809, 1998

1998
[12]

Contreras, L

G. Contreras, L. Macarini, and G. P. Paternain. Periodic orbits for exact magnetic flows on surfaces. Int. Math. Res. Not. , (8):361–387, 2004

2004
[13]

On the contact type conjecture for exact magnetic systems

L. Deschamps, L. Maier, and T. Stalljohann. On the contact type conjecture for exact magnetic systems. arXiv preprint arXiv:2508.01113 , 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[14]

Deschamps, L

L. Deschamps, L. Maier, and T. Stalljohann. On the growth rate of magnetic systems on closed contact manifolds. arXiv preprint arXiv:2510.14608 , 2025

work page arXiv 2025
[15]

A. Fathi. Solutions kam faibles conjugu´ ees et barri` eres de peierls. Comptes Rendus de l’Acad´ emie des Sciences. S´ erie I. Math´ ematique, 325:649–652, 1997

1997
[16]

Fathi and E

A. Fathi and E. Maderna. Weak KAM theorem on non compact manifolds. NoDEA Nonlinear Differential Equations Appl., 14:1–27, 2007

2007
[17]

H. Geiges. An introduction to contact topology , volume 109. Cambridge University Press, 2008

2008
[18]

V. L. Ginzburg. On closed trajectories of a charge in a magnetic field. An application of symplectic geometry. In Contact and symplectic geometry (Cambridge, 1994) , volume 8 of Publ. Newton Inst. , pages 131–148. Cambridge Univ. Press, Cambridge, 1996

1994
[19]

Ma˜ n´ e

R. Ma˜ n´ e. Lagrangian flows: the dynamics of globally minimizing orbits. InInternational Conference on Dynamical Systems (Montevideo, 1995) , volume 362 of Pitman Res. Notes Math. Ser. , pages 120–131. Longman, Harlow, 1996

1995
[20]

Macarini and G

L. Macarini and G. Paternain. On the stability of Ma˜ n´ e critical hypersurfaces.Calculus of Variations and Partial Differential Equations , 39:579–591, 2010

2010
[21]

L. Maier. On Ma˜ n´ e’s critical value for the two-component Hunter–Saxton system and an infinite- dimensional magnetic Hopf–Rinow theorem. arXiv preprint arXiv:2503.12901 , 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[22]

D. McDuff. Applications of convex integration to symplectic and contact geometry. Annales de l’Institut Fourier, 37:107–133, 1987

1987
[23]

W. J. Merry. Closed orbits of a charge in a weakly exact magnetic field. Pacific J. Math., 247(1):189–212, 2010

2010
[24]

Montgomery

R. Montgomery. A tour of subriemannian geometries, their geodesics and applications , volume 91 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2002

2002
[25]

Petersen

P. Petersen. Riemannian geometry, volume 171 of Graduate Texts in Mathematics. Springer, Cham, third edition, 2016. TOPICS IN MAGNETIC GEOMETRY 21

2016
[26]

J. M. Reber and I. Terek. Finiteness of totally magnetic hypersurfaces. arXiv preprint arXiv:2602.00439 , 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[27]

Sacksteder

R. Sacksteder. The rigidity of hypersurfaces. J. Math. Mech. , 11:929–939, 1962

1962
[28]

Sorrentino

A. Sorrentino. Action-minimizing methods in Hamiltonian dynamics , volume 50 of Mathematical Notes. Princeton University Press, Princeton, NJ, 2015. An introduction to Aubry-Mather theory

2015
[29]

Sullivan

D. Sullivan. Cycles for the dynamical study of foliated manifolds and complex manifolds. Inventiones Mathematicae, 36:225–255, 1976

1976
[30]

I. A. Taimanov. The principle of throwing out cycles in morse-novikov theory.Soviet Mathematics Doklady, 27:43–46, 1983

1983
[31]

I. A. Taimanov. Closed extremals on two-dimensional manifolds. Russian Mathematical Surveys, 47:163– 211, 1992

1992
[32]

I. A. Taimanov. Closed non self-intersecting extremals of multivalued functionals. Siberian Mathematical Journal, 33:686–692, 1992

1992
[33]

I. Terek. The submanifold compatibility equations in magnetic geometry.arXiv preprint arXiv:2506.22990, 2026. F aculty of Mathematics and Computer Science, University of Heidelberg, Im Neuenheimer Field 205, 69120 Heidelberg, Germany Email address: ldeschamps@mathi.uni-heidelberg.de F aculty of Mathematics and Computer Science, University of Heidelberg, I...

work page arXiv 2026