Closed Magnetic geodesics on Heisenberg nilmanifolds

Gabriela P. Ovando; Mauro Subils

arxiv: 2407.05515 · v2 · pith:AUJSTMJPnew · submitted 2024-07-07 · 🧮 math.DG

Closed Magnetic geodesics on Heisenberg nilmanifolds

Gabriela P. Ovando , Mauro Subils This is my paper

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

classification 🧮 math.DG

keywords magnetic geodesicsHeisenberg nilmanifoldsclosed geodesicsMañé critical valueLorentz forcenilmanifoldsperiodic orbitscompact quotients

0 comments

The pith

Contractible closed magnetic geodesics exist on Heisenberg nilmanifolds at every energy below the Mañé critical value.

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

The paper studies closed magnetic geodesics on three-dimensional Heisenberg nilmanifolds under left-invariant Lorentz forces. It first shows existence on the Heisenberg group H3. On the compact quotient M formed by a lattice, the authors establish conditions under which a magnetic geodesic closes up when projected, and prove that a contractible closed magnetic geodesic always exists for any energy level below the Mañé critical value. The work also shows that closed magnetic geodesics need not appear in every homotopy class and supplies examples of quotients that admit infinitely many such trajectories alongside examples with none that are non-contractible.

Core claim

Under lattice conditions that make geodesics project to closed curves, for any left-invariant Lorentz force and any energy below the Mañé critical value the compact manifold M always carries at least one contractible closed magnetic geodesic.

What carries the argument

Left-invariant magnetic field on H3 descending to M = Λ backslash H3, with lattice conditions ensuring the projected curve is closed.

If this is right

Contractible closed magnetic geodesics appear at all subcritical energies on these compact quotients.
Closed magnetic geodesics are not guaranteed in every homotopy class.
Certain quotients support infinitely many distinct closed magnetic trajectories for a fixed Lorentz force.
Other quotients admit no closed non-contractible magnetic trajectories for some left-invariant Lorentz forces.

Where Pith is reading between the lines

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

The separation between contractible and non-contractible cases may extend to magnetic flows on other nilmanifolds.
The dependence on the Mañé critical value points to possible links with variational existence results for periodic orbits in magnetic systems.
The explicit examples could serve as test cases for numerical searches of periodic magnetic geodesics on nilmanifolds.

Load-bearing premise

The lattice must be chosen so that a given magnetic geodesic on the group projects to a closed curve on the quotient.

What would settle it

A lattice satisfying the stated conditions for which some energy below the Mañé critical value yields no contractible closed magnetic geodesic on M.

read the original abstract

In this work we study the existence of closed magnetic geodesics on three-dimensional Heisenberg nilmanifolds for every left-invariant Lorentz force. Our first objective is to establish the existence of closed contractible magnetic geodesics on $H_3$. Once the invariant magnetic field is induced to a compact quotient $M=\Lambda \backslash H_3$, we study magnetic geodesics on $M$. Firstly, we determine conditions on a lattice $\Lambda \subset H_3$ to ensure that a given magnetic geodesic projects to a closed curve on $M$. In particular, we prove that for {\it any} energy level below the Ma\~n\'e critical value there always exists a contractible closed magnetic geodesic on the compact manifold $M$. On the other hand, we show that closed magnetic geodesics do not necessarily exist in every homotopy class. Finally, we present examples of compact quotients $\Gamma_k\backslash H_3$ that admit infinitely many closed magnetic trajectories, as well as examples for which no closed non-contractible magnetic trajectories exist for a given left-invariant Lorentz force.

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

Paper gives lattice conditions for closed projections and proves contractible magnetic geodesics exist below the Mañé value on these nilmanifolds.

read the letter

The main thing to know is that the authors determine conditions on lattices in the 3D Heisenberg group so magnetic geodesics on the cover project to closed curves on the quotient, and they prove contractible closed magnetic geodesics exist on the compact M for every energy below the Mañé critical value and any left-invariant field. They also show non-contractible ones need not exist in every homotopy class, with examples of quotients having infinitely many closed trajectories and others with none non-contractible for a given field. What is new is the explicit lattice conditions that make the descent work and the guarantee of existence for the contractible case, plus the contrasting examples. The paper does this by first treating the non-compact cover and then descending, which is a reasonable route for this setting. The work is careful within its narrow scope and supplies concrete statements rather than general theory. The examples help show the limits of what holds in different homotopy classes. The potential soft spot is the one raised in the stress-test: whether the lattice conditions end up compatible with the geodesics constructed variationally below the critical value. The abstract indicates they first find suitable geodesics on H3 and then pick lattices so the displacement fits, which suggests they address the compatibility directly. If the full proofs confirm that the periods or vectors can always be accommodated without forcing the lattice too coarse, the claim holds. Otherwise a gap could appear at certain energies. From the stated results it looks like they make it work, so the concern may not land as a flaw. This paper is for people working on magnetic flows or closed geodesics on nilmanifolds and homogeneous spaces. A reader wanting explicit existence results and examples in this subfield would find it useful. It deserves peer review because the claims are precise and the lattice conditions plus examples add concrete value. Recommendation: send it to referees.

Referee Report

1 major / 0 minor

Summary. The manuscript studies closed magnetic geodesics on three-dimensional Heisenberg nilmanifolds M = Λ ∖ H₃ for left-invariant Lorentz forces. It first establishes existence of closed contractible magnetic geodesics on the Heisenberg group H₃. It then determines conditions on lattices Λ ⊂ H₃ such that magnetic geodesics on H₃ project to closed curves on the quotient M, and proves that for any energy level below the Mañé critical value there exists a contractible closed magnetic geodesic on M. The paper also shows that closed magnetic geodesics need not exist in every homotopy class and provides examples of quotients Γ_k ∖ H₃ admitting infinitely many closed magnetic trajectories as well as examples with no closed non-contractible magnetic trajectories for a given force.

Significance. If the central existence result holds, the work supplies explicit lattice conditions and concrete examples that clarify the behavior of periodic orbits for magnetic flows on compact nilmanifolds. The distinction between contractible and non-contractible cases, together with the examples of quotients with infinitely many or zero non-contractible orbits, adds useful information to the literature on magnetic geodesics below the Mañé critical value.

major comments (1)

[Section determining conditions on lattice Λ for closed projections] The load-bearing step is the compatibility between the lattice conditions determined to guarantee closed projections and the variational/dynamical construction of the geodesics on H₃ for every energy below the Mañé critical value. The abstract states that conditions on Λ are chosen so that a given magnetic geodesic projects to a closed curve, yet it is unclear whether these conditions can always be satisfied by the displacement vectors (or periods) arising from the existence argument on the cover without restricting the admissible energies or forces.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive evaluation of its significance. We address the major comment point by point below.

read point-by-point responses

Referee: [Section determining conditions on lattice Λ for closed projections] The load-bearing step is the compatibility between the lattice conditions determined to guarantee closed projections and the variational/dynamical construction of the geodesics on H₃ for every energy below the Mañé critical value. The abstract states that conditions on Λ are chosen so that a given magnetic geodesic projects to a closed curve, yet it is unclear whether these conditions can always be satisfied by the displacement vectors (or periods) arising from the existence argument on the cover without restricting the admissible energies or forces.

Authors: The contractible closed magnetic geodesics on M whose existence is established for every energy below the Mañé critical value are obtained by projecting periodic orbits from the cover H₃. Any periodic orbit on H₃ has vanishing displacement vector and therefore projects to a closed curve on every quotient M = Λ ∖ H₃; no lattice condition is required. The lattice conditions derived in the relevant section apply exclusively to the case of non-periodic orbits on H₃ whose displacement lies in Λ, which is needed only when studying non-contractible homotopy classes. Because the existence result for contractible orbits relies solely on the periodic case on H₃, compatibility holds for every energy and every left-invariant force without restriction. We will add a clarifying sentence in the abstract and at the beginning of Section 4 to emphasize this distinction. revision: yes

Circularity Check

0 steps flagged

No circularity: standard existence proof via lattice conditions and variational methods

full rationale

The paper establishes existence of contractible closed magnetic geodesics on the quotient M=Λ∖H3 for energies below the Mañé critical value by first proving existence on the cover H3 and then imposing lattice conditions on Λ to guarantee that geodesics project to closed curves. This is a direct constructive argument in differential geometry with no data fitting, no parameter tuning, and no load-bearing self-citations or self-definitional reductions. The lattice conditions are explicitly derived as part of the proof to match the projection requirement rather than presupposing the result. The derivation chain remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard differential geometry of Lie groups, left-invariant structures, and the definition of magnetic geodesics; no free parameters or new entities introduced in the abstract.

axioms (2)

domain assumption Left-invariant Lorentz force on the Heisenberg group
Magnetic field is taken left-invariant throughout.
standard math Existence of Mañé critical value for the magnetic flow
Used to delineate the energy regime for the existence statement.

pith-pipeline@v0.9.0 · 5715 in / 1124 out tokens · 31357 ms · 2026-05-23T23:14:32.244989+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

we prove that for any energy level below the Mañé critical value there always exists a contractible closed magnetic geodesic on the compact manifold M
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 4.6 ... solutions ... inverses of elliptic integrals ... periodic trajectories appear only if ∆ < 0

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

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

[1]

V. I. Arnol’d , The ﬁrst steps of symplectic topology , Uspekhi Mat. Nauk 41 (6(252)) pp. 3–18, 229 (1986)

work page 1986
[2]

A. V. Bolsinov, B. Z. Jovanovi ´c, Magnetic ﬂows on on coadjoint orbits , J. Phys. A, Math. Gen. 39 (16), L247–L252 (2006)

work page 2006
[3]

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

work page 2008
[4]

Branding, F

V. Branding, F. Hanisch , Magnetic geodesics via the heat ﬂow , Asian J. Math. 21 (6), 995–1014 (2017)

work page 2017
[5]

Notes on exterior differential systems

R. Bryant , Notes on exterior diﬀerential systems , (2014). See https://arxiv.org/pdf/1405.3116v1

work page internal anchor Pith review Pith/arXiv arXiv 2014
[6]

Burns, G

K. Burns, G. P. P aternain Anosov magnetic ﬂows, critical values and topological entr opy, Nonlinearity 15(2), 281–314 (2002)

work page 2002
[7]

P. F. Byrd, M. D. Friedman , Handbook of elliptic integrals for engineers and scientist s, Die Grundlehren der mathematischen Wissenschaften, Band 6 7, Springer-Verlag, New York, 1971xvi+358, 2nd ed

work page
[8]

Crampin, W

M. Crampin, W. Sarlet, E. Mart ´ınez, G. B. Byrnes, G. E. Prince , Towards a geometrical understanding of Douglas’s solution of the inverse problem of the calculus of variations , Inverse Probl. 10 (2), 245–260 (1994)

work page 1994
[9]

R. C. DeCoste , Closed geodesics on compact nilmanifolds with Chevalley ra tional structure , Manuscripta Math. 127(3), 309–343 (2008)

work page 2008
[10]

DeMeyer , Closed geodesics in compact nilmanifolds , Manuscripta Math

L. DeMeyer , Closed geodesics in compact nilmanifolds , Manuscripta Math. 105 (3), 283–310 (2001)

work page 2001
[11]

Douglas , Solution of the inverse problem of the calculus of variation s, Trans

J. Douglas , Solution of the inverse problem of the calculus of variation s, Trans. Amer. Math. Soc. 50, 71–128 (1941)

work page 1941
[12]

Eberlein , Geometry of 2-step nilpotent Lie groups with a left-invaria nt metric , Ann

P. Eberlein , Geometry of 2-step nilpotent Lie groups with a left-invaria nt metric , Ann. Sci. E. N. S., 4 serie 27 (5), 611–660 (1994)

work page 1994
[13]

Epstein, R

J. Epstein, R. Gornet, M. B. Mast , Periodic magnetic geodesics on Heisenberg manifolds , Ann. Glob. Anal. Geom. 20 , 647–685 (2021)

work page 2021
[14]

Erjavec and J

Z. Erjavec and J. Inoguchi , Magnetic curves in H3 × R, J. Korean Math. Soc. 58 (6), 1501– 1511 (2021). See https://archive.org/details/applicationselli00greerich/mode/2up?view=theater

work page 2021
[15]

Gordon and E

C. Gordon and E. N. Wilson , The spectrum of the Laplacian on Riemannian Heisenberg manifolds, Michigan Math. J. 33 (2), 253–271 (1986)

work page 1986
[16]

V. L. Ginzburg , On the existence and non-existence of closed trajectories f or some Hamiltonian ﬂows, Math. Z. 223:3, 397–409 (1996)

work page 1996
[17]

K. B. Lee, K. P ark, Smoothly closed geodesics in 2-step nilmanifolds , Indiana Univ. Math. J. 45 (1), 1–14 (1996)

work page 1996
[18]

Mast, Closed geodesics in 2-step nilmanifolds , Indiana Univ

M. Mast, Closed geodesics in 2-step nilmanifolds , Indiana Univ. Math. J. 43 (3), 885–911 (1994)

work page 1994
[19]

M. I. Munteanu, A. I. Nistor , Magnetic curves in the generalized Heisenberg group , Nonlinear Analysis 214, 112571 (2022)

work page 2022
[20]

S. P. Novikov and I. A. Taimanov , Periodic extremals of multivalued or not everywhere positi ve functionals, Dokl. Akad. Nauk SSSR 274:1 26–28 (1984)

work page 1984
[21]

Ovando, M

G. Ovando, M. Subils , Magnetic Trajectories on 2-Step Nilmanifolds , J Geom Anal 33, 186 (2023). https://doi.org/10.1007/s12220-023-01228-7 MAGNETIC TRAJECTORIES ON HEISENBERG NILMANIFOLDS 37

work page doi:10.1007/s12220-023-01228-7 2023
[22]

Ovando, M

G. Ovando, M. Subils , Magnetic ﬁelds on non-singular 2-step nilpotent Lie groups , J. Pure Appl. Algebra 228, (2024) 107618

work page 2024
[23]

Schneider Closed magnetic geodesics on S2, J

M. Schneider Closed magnetic geodesics on S2, J. Diﬀer. Geom. 87 (2), 343–388 (2011)

work page 2011
[24]

I. A. Taimanov , Closed extremals on two-dimensional manifolds , Uspekhi Mat. Nauk 47 (2(284)), 143–185, 223 (1992)

work page 1992
[25]

W arner, Foundations of Diﬀerentiable Manifolds and Lie Groups, Sp ringer (1983)

F. W arner, Foundations of Diﬀerentiable Manifolds and Lie Groups, Sp ringer (1983)

work page 1983
[26]

Wolf , On Locally Symmetric Spaces of Non-negative Curvature and c ertain other Locally Homogeneous Spaces, Comment

J. Wolf , On Locally Symmetric Spaces of Non-negative Curvature and c ertain other Locally Homogeneous Spaces, Comment. Math. Helv. 37, 266–295 (1962–1963). Departamento de Matem ´atica, ECEN - FCEIA, Universidad Nacional de Rosario. Pelle - grini 250, 2000 Rosario, Santa Fe, Argentina. Email address : gabriela@fceia.unr.edu.ar Email address : subils@fcei...

work page 1962

[1] [1]

V. I. Arnol’d , The ﬁrst steps of symplectic topology , Uspekhi Mat. Nauk 41 (6(252)) pp. 3–18, 229 (1986)

work page 1986

[2] [2]

A. V. Bolsinov, B. Z. Jovanovi ´c, Magnetic ﬂows on on coadjoint orbits , J. Phys. A, Math. Gen. 39 (16), L247–L252 (2006)

work page 2006

[3] [3]

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

work page 2008

[4] [4]

Branding, F

V. Branding, F. Hanisch , Magnetic geodesics via the heat ﬂow , Asian J. Math. 21 (6), 995–1014 (2017)

work page 2017

[5] [5]

Notes on exterior differential systems

R. Bryant , Notes on exterior diﬀerential systems , (2014). See https://arxiv.org/pdf/1405.3116v1

work page internal anchor Pith review Pith/arXiv arXiv 2014

[6] [6]

Burns, G

K. Burns, G. P. P aternain Anosov magnetic ﬂows, critical values and topological entr opy, Nonlinearity 15(2), 281–314 (2002)

work page 2002

[7] [7]

P. F. Byrd, M. D. Friedman , Handbook of elliptic integrals for engineers and scientist s, Die Grundlehren der mathematischen Wissenschaften, Band 6 7, Springer-Verlag, New York, 1971xvi+358, 2nd ed

work page

[8] [8]

Crampin, W

M. Crampin, W. Sarlet, E. Mart ´ınez, G. B. Byrnes, G. E. Prince , Towards a geometrical understanding of Douglas’s solution of the inverse problem of the calculus of variations , Inverse Probl. 10 (2), 245–260 (1994)

work page 1994

[9] [9]

R. C. DeCoste , Closed geodesics on compact nilmanifolds with Chevalley ra tional structure , Manuscripta Math. 127(3), 309–343 (2008)

work page 2008

[10] [10]

DeMeyer , Closed geodesics in compact nilmanifolds , Manuscripta Math

L. DeMeyer , Closed geodesics in compact nilmanifolds , Manuscripta Math. 105 (3), 283–310 (2001)

work page 2001

[11] [11]

Douglas , Solution of the inverse problem of the calculus of variation s, Trans

J. Douglas , Solution of the inverse problem of the calculus of variation s, Trans. Amer. Math. Soc. 50, 71–128 (1941)

work page 1941

[12] [12]

Eberlein , Geometry of 2-step nilpotent Lie groups with a left-invaria nt metric , Ann

P. Eberlein , Geometry of 2-step nilpotent Lie groups with a left-invaria nt metric , Ann. Sci. E. N. S., 4 serie 27 (5), 611–660 (1994)

work page 1994

[13] [13]

Epstein, R

J. Epstein, R. Gornet, M. B. Mast , Periodic magnetic geodesics on Heisenberg manifolds , Ann. Glob. Anal. Geom. 20 , 647–685 (2021)

work page 2021

[14] [14]

Erjavec and J

Z. Erjavec and J. Inoguchi , Magnetic curves in H3 × R, J. Korean Math. Soc. 58 (6), 1501– 1511 (2021). See https://archive.org/details/applicationselli00greerich/mode/2up?view=theater

work page 2021

[15] [15]

Gordon and E

C. Gordon and E. N. Wilson , The spectrum of the Laplacian on Riemannian Heisenberg manifolds, Michigan Math. J. 33 (2), 253–271 (1986)

work page 1986

[16] [16]

V. L. Ginzburg , On the existence and non-existence of closed trajectories f or some Hamiltonian ﬂows, Math. Z. 223:3, 397–409 (1996)

work page 1996

[17] [17]

K. B. Lee, K. P ark, Smoothly closed geodesics in 2-step nilmanifolds , Indiana Univ. Math. J. 45 (1), 1–14 (1996)

work page 1996

[18] [18]

Mast, Closed geodesics in 2-step nilmanifolds , Indiana Univ

M. Mast, Closed geodesics in 2-step nilmanifolds , Indiana Univ. Math. J. 43 (3), 885–911 (1994)

work page 1994

[19] [19]

M. I. Munteanu, A. I. Nistor , Magnetic curves in the generalized Heisenberg group , Nonlinear Analysis 214, 112571 (2022)

work page 2022

[20] [20]

S. P. Novikov and I. A. Taimanov , Periodic extremals of multivalued or not everywhere positi ve functionals, Dokl. Akad. Nauk SSSR 274:1 26–28 (1984)

work page 1984

[21] [21]

Ovando, M

G. Ovando, M. Subils , Magnetic Trajectories on 2-Step Nilmanifolds , J Geom Anal 33, 186 (2023). https://doi.org/10.1007/s12220-023-01228-7 MAGNETIC TRAJECTORIES ON HEISENBERG NILMANIFOLDS 37

work page doi:10.1007/s12220-023-01228-7 2023

[22] [22]

Ovando, M

G. Ovando, M. Subils , Magnetic ﬁelds on non-singular 2-step nilpotent Lie groups , J. Pure Appl. Algebra 228, (2024) 107618

work page 2024

[23] [23]

Schneider Closed magnetic geodesics on S2, J

M. Schneider Closed magnetic geodesics on S2, J. Diﬀer. Geom. 87 (2), 343–388 (2011)

work page 2011

[24] [24]

I. A. Taimanov , Closed extremals on two-dimensional manifolds , Uspekhi Mat. Nauk 47 (2(284)), 143–185, 223 (1992)

work page 1992

[25] [25]

W arner, Foundations of Diﬀerentiable Manifolds and Lie Groups, Sp ringer (1983)

F. W arner, Foundations of Diﬀerentiable Manifolds and Lie Groups, Sp ringer (1983)

work page 1983

[26] [26]

Wolf , On Locally Symmetric Spaces of Non-negative Curvature and c ertain other Locally Homogeneous Spaces, Comment

J. Wolf , On Locally Symmetric Spaces of Non-negative Curvature and c ertain other Locally Homogeneous Spaces, Comment. Math. Helv. 37, 266–295 (1962–1963). Departamento de Matem ´atica, ECEN - FCEIA, Universidad Nacional de Rosario. Pelle - grini 250, 2000 Rosario, Santa Fe, Argentina. Email address : gabriela@fceia.unr.edu.ar Email address : subils@fcei...

work page 1962