On the contact type conjecture for exact magnetic systems

Levin Maier; Lina Deschamps; Tom Stalljohann

arxiv: 2508.01113 · v3 · submitted 2025-08-01 · 🧮 math.SG · math.DS

On the contact type conjecture for exact magnetic systems

Lina Deschamps , Levin Maier , Tom Stalljohann This is my paper

Pith reviewed 2026-05-19 01:19 UTC · model grok-4.3

classification 🧮 math.SG math.DS

keywords exact magnetic systemscontact type conjectureMañé critical valueperiodic magnetic geodesicsnull-homologous orbitssymplectic geometryenergy surfaces

0 comments

The pith

Exact magnetic systems of strong geodesic type carry null-homologous periodic orbits with negative action on every energy level below the strict Mañé critical value, so their energy surfaces are not of contact type.

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

The paper constructs an infinite-dimensional family of exact magnetic systems, called systems of strong geodesic type, on any closed manifold. For each such system there is at least one null-homologous embedded periodic orbit on every energy level whose action is negative whenever the energy lies below the strict Mañé critical value. This orbit forces the energy surface to fail the contact condition. A reader cares because the result settles the contact-type conjecture for this explicit and large class of systems and supplies explicit formulas for both the strict and lowest critical values. The construction also yields multiplicity theorems that produce arbitrarily many such orbits on each level.

Core claim

For every magnetic system of strong geodesic type the authors build on a closed manifold, there exists at least one null-homologous embedded periodic magnetic geodesic on every energy level; its action is negative for energies below the strict Mañé critical value. Consequently the energy surface cannot be of contact type below this threshold. When the orbit is contractible the strict and lowest Mañé critical values coincide, and the systems admit arbitrarily many embedded null-homologous periodic orbits on each energy level.

What carries the argument

A magnetic system of strong geodesic type, an exact magnetic system constructed so that it admits a null-homologous periodic magnetic geodesic with negative action on low-energy levels.

If this is right

The contact type conjecture holds for the entire class of strong geodesic magnetic systems.
Both the strict and lowest Mañé critical values admit explicit computation and coincide when the distinguished orbit is contractible.
Every energy level carries arbitrarily many embedded null-homologous periodic magnetic geodesics.
On any non-aspherical manifold a dense set of Riemannian metrics admits an infinite-dimensional space of such magnetic fields.
On any closed contact manifold satisfying the strong Weinstein conjecture an infinite-dimensional space of metrics makes the induced magnetic system strong geodesic type.

Where Pith is reading between the lines

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

The construction suggests that non-contact type may be typical rather than exceptional for exact magnetic systems on closed manifolds.
Similar orbit constructions could be tested on specific manifolds such as the sphere or the torus to verify the critical-value formulas numerically.
The multiplicity results may connect to broader questions about the density of periodic orbits in magnetic flows.

Load-bearing premise

The explicit construction of magnetic systems of strong geodesic type that forces a null-homologous embedded periodic orbit with negative action on every energy level below the strict Mañé critical value.

What would settle it

An explicit energy level below the strict Mañé critical value that carries no null-homologous embedded periodic orbit whose action is negative would falsify the non-contact-type claim.

read the original abstract

In this article, we answer-for a class of magnetic systems-a question now known as the contact type conjecture, whose origin trace back to the 1998 work of Contreras, Iturriaga, Paternain, and Paternain. For a broad class of magnetic systems, we explicitly construct, on any closed manifold, an infinite-dimensional space of exact magnetic systems, which we refer to as magnetic systems of strong geodesic type. For each such system, there exists at least one null-homologous embedded periodic orbit on every energy level, with negative action for energies below the strict Ma\~n\'e critical value. As a consequence, the corresponding energy surfaces are not of contact type below this threshold. Thus, for this class of systems, the contact type conjecture holds true. Moreover, for these systems, both the strict and the lowest Ma\~n\'e critical values can be computed explicitly, and they coincide whenever the aforementioned periodic magnetic geodesic is contractible, without requiring any additional assumptions on the manifold. Several remarkable multiplicity results also hold, guaranteeing arbitrarily large numbers of embedded null-homologous periodic magnetic geodesics on every energy level. We illustrate the richness of this class through two types of examples. First, on any non-aspherical manifold, there exists a dense subset of the space of Riemannian metrics such that, for each such metric, one can construct an infinite-dimensional space of exact magnetic fields yielding magnetic systems of strong geodesic type. Second, on any closed contact manifold for which the strong Weinstein conjecture holds, one can construct an infinite-dimensional space of Riemannian metrics such that, for each such metric, the magnetic system induced by the fixed contact form is of strong geodesic type.

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

The paper gives explicit infinite-dimensional families of strong geodesic type magnetic systems on any closed manifold where the contact type conjecture holds via constructed null-homologous periodic orbits with negative action.

read the letter

The main point here is that these authors construct infinite-dimensional families of exact magnetic systems they call strong geodesic type on any closed manifold, and show that the contact type conjecture holds for them. Specifically, each such system has at least one null-homologous embedded periodic orbit on every energy level, with negative action below the strict Mañé critical value, which implies the energy surfaces are not of contact type below that threshold. They also compute the strict and lowest Mañé critical values explicitly, and they coincide if the orbit is contractible. They get multiplicity results too, with arbitrarily many such orbits on every energy level. The examples are concrete: dense subsets of metrics on non-aspherical manifolds, and Riemannian metrics on contact manifolds satisfying the strong Weinstein conjecture. What stands out is how the construction works on arbitrary closed manifolds without extra assumptions, and how the Mañé values come out directly from the systems rather than through indirect arguments. The stress-test found no obvious gaps in the orbit existence or action negativity steps, and the central claim rests on an explicit new class instead of circular definitions. That said, the full details on why the strong geodesic type property forces the embedded periodic orbit with negative action on every energy level would need a close read to confirm there are no hidden steps. This is for people in symplectic geometry working on magnetic systems, contact type, and Mañé critical values. A reader tracking the 1998 conjecture or wanting explicit families to work with would get real value from the constructions and formulas. It deserves a serious referee because the explicitness and broad scope make it worth checking the derivations in detail.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs an infinite-dimensional family of exact magnetic systems of strong geodesic type on any closed manifold. For each such system it proves the existence of at least one null-homologous embedded periodic orbit on every energy level whose action is negative below the strict Mañé critical value; this implies that the corresponding energy surfaces are not of contact type below the threshold. Explicit formulas are supplied for both the strict and lowest Mañé critical values (which coincide when the orbit is contractible), together with multiplicity results guaranteeing arbitrarily many such orbits on each energy level. The construction is illustrated by dense subsets of metrics on non-aspherical manifolds and by Riemannian metrics on contact manifolds satisfying the strong Weinstein conjecture.

Significance. If the constructions and orbit-existence arguments hold, the paper supplies a concrete, infinite-dimensional class of exact magnetic systems for which the contact-type conjecture is settled, together with explicit critical-value formulas and multiplicity statements. These features provide a substantial positive result in the study of magnetic geodesics and contact geometry of energy surfaces.

major comments (2)

[§4] §4 (Construction of strong geodesic type systems): the central claim that every energy level below the strict Mañé critical value carries a null-homologous embedded periodic orbit of negative action rests on the explicit construction; a self-contained verification that the geodesic-type condition forces both existence and action negativity for all such levels would strengthen the argument.
[§6] §6 (Explicit formulas for Mañé critical values): the statement that the strict and lowest critical values coincide whenever the constructed orbit is contractible is used to obtain the non-contact-type conclusion without extra topological assumptions; the derivation should explicitly track how the action of the orbit determines both values.

minor comments (2)

The abstract and introduction both refer to 'several remarkable multiplicity results'; a short summary paragraph in the introduction listing the precise multiplicity statements would improve readability.
Notation for the strict and lowest Mañé critical values should be standardized (e.g., consistent use of subscripts) across the text, definitions, and statements of theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for recommending minor revision. We are grateful for the positive evaluation of the significance of our results. We address each major comment below.

read point-by-point responses

Referee: [§4] §4 (Construction of strong geodesic type systems): the central claim that every energy level below the strict Mañé critical value carries a null-homologous embedded periodic orbit of negative action rests on the explicit construction; a self-contained verification that the geodesic-type condition forces both existence and action negativity for all such levels would strengthen the argument.

Authors: We agree that a more self-contained verification would strengthen the presentation. In the current manuscript, the existence and action negativity follow from the definition of strong geodesic type systems combined with the explicit construction in §4. To address this, we will revise §4 by adding a self-contained proposition that derives the existence of the null-homologous embedded periodic orbit with negative action directly from the strong geodesic type condition, independent of further construction details. This will make the argument clearer for readers. revision: yes
Referee: [§6] §6 (Explicit formulas for Mañé critical values): the statement that the strict and lowest critical values coincide whenever the constructed orbit is contractible is used to obtain the non-contact-type conclusion without extra topological assumptions; the derivation should explicitly track how the action of the orbit determines both values.

Authors: We appreciate this observation. In §6, we provide explicit formulas for the strict Mañé critical value and the lowest Mañé critical value. When the periodic orbit is contractible, its negative action implies that the strict critical value equals the action value (up to sign or normalization), and since the lowest critical value is defined as the infimum over all such actions and is always less than or equal to the strict one, they coincide. We will revise the manuscript to include a more explicit step-by-step tracking of this determination, showing precisely how the action of the contractible orbit sets both values equal without needing additional topological assumptions on the manifold. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via explicit construction

full rationale

The paper establishes its main result by explicitly constructing an infinite-dimensional family of exact magnetic systems of strong geodesic type on arbitrary closed manifolds, then directly proving the existence of the required null-homologous embedded periodic orbit with negative action on every energy level below the strict Mañé critical value. Both the strict and lowest Mañé critical values are given by explicit formulas derived from the construction itself, with no reduction to self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations. The non-contact-type conclusion follows immediately from this orbit property without invoking external uniqueness theorems or ansatzes from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the authors' definition and construction of the new class of strong geodesic type systems and on standard background facts from symplectic geometry; no numerical parameters are fitted.

axioms (2)

domain assumption The underlying manifold is closed and smooth.
Standard setting for magnetic systems and periodic-orbit problems on compact manifolds without boundary.
ad hoc to paper Existence of Riemannian metrics and exact magnetic fields that satisfy the strong geodesic type properties.
The paper constructs such fields; the properties are introduced specifically to guarantee the required periodic orbits.

invented entities (1)

magnetic systems of strong geodesic type no independent evidence
purpose: A newly defined class of exact magnetic systems for which null-homologous periodic orbits with negative action exist on all energy levels below the strict Mañé critical value.
Introduced in the paper to isolate a broad family where the contact type conjecture can be verified by direct construction.

pith-pipeline@v0.9.0 · 5839 in / 1597 out tokens · 76540 ms · 2026-05-19T01:19:52.898169+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

For each such system, there exists at least one null-homologous embedded periodic orbit on every energy level, with negative action for energies below the strict Mañé critical value. As a consequence, the corresponding energy surfaces are not of contact type below this threshold.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

c0(M, g, dα) = ½ ∥α∥²∞

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Topics in Magnetic Geometry: Interpolation, Intersections and Integrability
math.SG 2026-04 unverdicted novelty 7.0

Magnetic geodesic flows interpolate between sub-Riemannian and magnetic vector field flows, magnetomorphism actions produce Poisson-commuting integrals, and totally magnetic submanifolds are closed under fixed points ...

Reference graph

Works this paper leans on

66 extracted references · 66 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Abbas, K

C. Abbas, K. Cieliebak, and H. Hofer. The Weinstein conjecture for planar contact structures in dimension three.Commentarii Mathematici Helvetici, 80:771–793, 2005

work page 2005
[2]

Abbondandolo

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

work page 2013
[3]

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

work page 2017
[4]

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

work page 2015
[5]

Acu and A

B. Acu and A. Moreno. Planarity in higher-dimensional contact manifolds.International Mathematics Research Notices, 2022(6):4222–4258, March 2022

work page 2022
[6]

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

work page 2025
[7]

Albers, U

P. Albers, U. Fuchs, and W. J. Merry. Orderability and the Weinstein conjecture.Compositio Mathematica, 151(12):2251–2272, 2015

work page 2015
[8]

Albers and H

P. Albers and H. W. Hofer. On the Weinstein conjecture in higher dimensions.Commentarii Mathematici Helvetici, 84(2):429–436, 2009

work page 2009
[9]

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

work page 1961
[10]

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

work page 2016
[11]

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

work page 2024
[12]

Benedetti

G. Benedetti. The contact property for symplectic magnetic fields onS 2.Ergodic Theory Dynam. Systems, 36(3):682–713, 2016

work page 2016
[13]

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. 28 LINA DESCHAMPS, LEVIN MAIER, AND TOM STALLJOHANN

work page 2025
[14]

G. D. Birkhoff. Dynamical systems with two degrees of freedom.Transactions of the American Mathe- matical Society, 18(2):199–300, 1917

work page 1917
[15]

G. D. Birkhoff.Dynamical Systems, volume 9 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, R.I., with an addendum by j¨ urgen moser edition, 1966

work page 1966
[16]

M. S. Borman, Y. Eliashberg, and E. Murphy. Existence and classification of overtwisted contact structures in all dimensions.Acta Mathematica, 215(2):281–361, 2015

work page 2015
[17]

Bott and L

R. Bott and L. W. Tu.Differential Forms in Algebraic Topology. Springer New York, NY, 1982

work page 1982
[18]

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

work page 2010
[19]

Cineli, V

E. Cineli, V. L. Ginzburg, and B. Z. G¨ urel. Closed Orbits of Dynamically Convex Reeb Flows: Towards the HZ- and Multiplicity Conjectures.arXiv preprint arXiv:2410.13093, 2024

work page arXiv 2024
[20]

Contreras

G. Contreras. The Palais-Smale condition on contact type energy levels for convex Lagrangian systems. Calc. Var. Partial Differential Equations, 27(3):321–395, 2006

work page 2006
[21]

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

work page 1998
[22]

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

work page 2004
[23]

Contreras and M

G. Contreras and M. Mazzucchelli. Closed geodesics and the first Betti number.arXiv preprint arXiv:2407.02995, 2024

work page arXiv 2024
[24]

Cristofaro-Gardiner, U

D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, and H. Liu. Proof of Hofer-Wysocki-Zehnder’s two or infinity conjecture.arXiv preprint arXiv:2310.07636, 2024

work page arXiv 2024
[25]

Eliashberg

Y. Eliashberg. Classification of overtwisted contact structures on 3-manifolds.Inventiones mathematicae, 98(3):623–637, 1989

work page 1989
[26]

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

work page 1997
[27]

Fathi and E

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

work page 2007
[28]

Floer, H

A. Floer, H. Hofer, and C. Viterbo. The Weinstein conjecture inP×C l.Math. Z., 203(3):469–482, 1990

work page 1990
[29]

Frauenfelder and F

U. Frauenfelder and F. Schlenk. Hamiltonian dynamics on convex symplectic manifolds.Israel J. Math., 159:1–56, 2007

work page 2007
[30]

Geiges.An introduction to contact topology, volume 109

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

work page 2008
[31]

Geiges and K

H. Geiges and K. Zehmisch. Symplectic cobordisms and the strong Weinstein conjecture.Mathematical Proceedings of the Cambridge Philosophical Society, 153(2):261–279, 2012

work page 2012
[32]

Geiges and K

H. Geiges and K. Zehmisch. The Weinstein Conjecture for Connected Sums.International Mathematics Research Notices, 2016(2):325–342, 2016

work page 2016
[33]

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

work page 1994
[34]

V. L. Ginzburg. The weinstein conjecture and theorems of nearby and almost existence. In J. E. Marsden and T. S. Ratiu, editors,The Breadth of Symplectic and Poisson Geometry, volume 232 ofProgress in Mathematics, pages 139–172. Birkh¨ auser Boston, 2005

work page 2005
[35]

M. L. Gromov. Pseudo holomorphic curves in symplectic manifolds.Inventiones Mathematicae, 82:307– 347, 1985

work page 1985
[36]

Hadamard

J. Hadamard. Les Surfaces ` a Courbures Oppos´ ees et Leurs Lignes G´ eod´ esiques.Journal de Math´ ematiques Pures et Appliqu´ ees, 4:27–73, 1898

work page
[37]

Hadamard

J. Hadamard. Sur les G´ eod´ esiques d’une Surface ` a Courbure N´ egative.Comptes Rendus Hebdomadaires des S´ eances de l’Acad´ emie des Sciences, 128:1020–1022, 1899

work page
[38]

H. Hofer. Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three.Invent. Math., 114(3):515–563, 1993

work page 1993
[39]

Hofer and C

H. Hofer and C. Viterbo. The Weinstein conjecture in the presence of holomorphic spheres.Communica- tions on Pure and Applied Mathematics, 45(5):583–622, 1992

work page 1992
[40]

Hofer, K

H. Hofer, K. Wysocki, and E. Zehnder. Finite energy foliations of tight three-spheres and Hamiltonian dynamics.Annals of Mathematics, 157(1):125–255, 2003

work page 2003
[41]

Hofer and E

H. Hofer and E. Zehnder. Periodic solutions on hypersurfaces and a result by C. Viterbo.Inventiones Mathematicae, 90:1–9, 1987. THE CONTACT TYPE CONJECTURE 29

work page 1987
[42]

Hofer and E

H. Hofer and E. Zehnder.Symplectic invariants and Hamiltonian dynamics. Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher. [Birkh¨ auser Advanced Texts: Basel Textbooks]. Birkh¨ auser Verlag, Basel, 1994

work page 1994
[43]

Hutchings and C

M. Hutchings and C. H. Taubes. The Weinstein conjecture for stable Hamiltonian structures.Geometry & Topology, 13(2):901–941, 2009

work page 2009
[44]

W. L¨ uck. Survey on aspherical manifolds. InEuropean Congress of Mathematics, pages 53–82. European Mathematical Society, Z¨ urich, 2010

work page 2010
[45]

L. A. Lyusternik and A. I. Fet. Variational problems on closed manifolds.Doklady Akad. Nauk SSSR (N.S.), 81:17–18, 1951

work page 1951
[46]

Ma˜ n´ e

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

work page 1995
[47]

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

work page 2010
[48]

L. Maier. On geometric hydrodynamics and infinite dimensional magnetic systems.arXiv preprint arXiv:2506.00544, 2025

work page arXiv 2025
[49]

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
[50]

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

work page 1987
[51]

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

work page 2010
[52]

Poincar´ e

H. Poincar´ e. Sur le Probl` eme des Trois Corps et les ´Equations de la Dynamique.Acta Mathematica, 13:1–270, 1890

work page
[53]

Poincar´ e

H. Poincar´ e. Sur les Lignes G´ eod´ esiques des Surfaces Convexes.Transactions of the American Mathemat- ical Society, 6(3):237–274, 1905

work page 1905
[54]

P. H. Rabinowitz. Periodic solutions of Hamiltonian systems.Comm. Pure Appl. Math., 31(2):157–184, 1978

work page 1978
[55]

Rademacher

H.-B. Rademacher. Simple closed geodesics in dimensions≥3.J. Fixed Point Theory Appl., 26(1):Paper No. 5, 14, 2024

work page 2024
[56]

F. Schlenk. Applications of Hofer’s geometry to Hamiltonian dynamics.Comment. Math. Helv., 81(1):105– 121, 2006

work page 2006
[57]

Sorrentino.Action-minimizing methods in Hamiltonian dynamics, volume 50 ofMathematical Notes

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

work page 2015
[58]

M. Struwe. Existence of periodic solutions of Hamiltonian systems on almost every energy surface.Boletim da Sociedade Brasileira de Matem´ atica, 20:49–58, 1990

work page 1990
[59]

Sullivan

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

work page 1976
[60]

I. A. Taimanov. The principle of throwing out cycles in Morse-Novikov theory.Soviet Mathematics Dok- lady, 27:43–46, 1983

work page 1983
[61]

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

work page 1992
[62]

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

work page 1992
[63]

C. H. Taubes. The Seiberg-Witten equations and the Weinstein conjecture.Geom. Topol., 11:2117–2202, 2007

work page 2007
[64]

C. Viterbo. A proof of Weinstein’s conjecture inR 2n.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 4(4):337– 356, 1987

work page 1987
[65]

Weinstein

A. Weinstein. Periodic orbits for convex Hamiltonian systems.Ann. of Math. (2), 108(3):507–518, 1978

work page 1978
[66]

O. Zoll. ¨Uber Fl¨ achen mit Scharen Geschlossener Geod¨ atischer Linien.Mathematische Annalen, 57:108– 133, 1903. 30 LINA DESCHAMPS, LEVIN MAIER, AND TOM STALLJOHANN 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 Mathe...

work page 1903

[1] [1]

Abbas, K

C. Abbas, K. Cieliebak, and H. Hofer. The Weinstein conjecture for planar contact structures in dimension three.Commentarii Mathematici Helvetici, 80:771–793, 2005

work page 2005

[2] [2]

Abbondandolo

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

work page 2013

[3] [3]

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

work page 2017

[4] [4]

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

work page 2015

[5] [5]

Acu and A

B. Acu and A. Moreno. Planarity in higher-dimensional contact manifolds.International Mathematics Research Notices, 2022(6):4222–4258, March 2022

work page 2022

[6] [6]

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

work page 2025

[7] [7]

Albers, U

P. Albers, U. Fuchs, and W. J. Merry. Orderability and the Weinstein conjecture.Compositio Mathematica, 151(12):2251–2272, 2015

work page 2015

[8] [8]

Albers and H

P. Albers and H. W. Hofer. On the Weinstein conjecture in higher dimensions.Commentarii Mathematici Helvetici, 84(2):429–436, 2009

work page 2009

[9] [9]

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

work page 1961

[10] [10]

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

work page 2016

[11] [11]

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

work page 2024

[12] [12]

Benedetti

G. Benedetti. The contact property for symplectic magnetic fields onS 2.Ergodic Theory Dynam. Systems, 36(3):682–713, 2016

work page 2016

[13] [13]

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. 28 LINA DESCHAMPS, LEVIN MAIER, AND TOM STALLJOHANN

work page 2025

[14] [14]

G. D. Birkhoff. Dynamical systems with two degrees of freedom.Transactions of the American Mathe- matical Society, 18(2):199–300, 1917

work page 1917

[15] [15]

G. D. Birkhoff.Dynamical Systems, volume 9 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, R.I., with an addendum by j¨ urgen moser edition, 1966

work page 1966

[16] [16]

M. S. Borman, Y. Eliashberg, and E. Murphy. Existence and classification of overtwisted contact structures in all dimensions.Acta Mathematica, 215(2):281–361, 2015

work page 2015

[17] [17]

Bott and L

R. Bott and L. W. Tu.Differential Forms in Algebraic Topology. Springer New York, NY, 1982

work page 1982

[18] [18]

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

work page 2010

[19] [19]

Cineli, V

E. Cineli, V. L. Ginzburg, and B. Z. G¨ urel. Closed Orbits of Dynamically Convex Reeb Flows: Towards the HZ- and Multiplicity Conjectures.arXiv preprint arXiv:2410.13093, 2024

work page arXiv 2024

[20] [20]

Contreras

G. Contreras. The Palais-Smale condition on contact type energy levels for convex Lagrangian systems. Calc. Var. Partial Differential Equations, 27(3):321–395, 2006

work page 2006

[21] [21]

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

work page 1998

[22] [22]

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

work page 2004

[23] [23]

Contreras and M

G. Contreras and M. Mazzucchelli. Closed geodesics and the first Betti number.arXiv preprint arXiv:2407.02995, 2024

work page arXiv 2024

[24] [24]

Cristofaro-Gardiner, U

D. Cristofaro-Gardiner, U. Hryniewicz, M. Hutchings, and H. Liu. Proof of Hofer-Wysocki-Zehnder’s two or infinity conjecture.arXiv preprint arXiv:2310.07636, 2024

work page arXiv 2024

[25] [25]

Eliashberg

Y. Eliashberg. Classification of overtwisted contact structures on 3-manifolds.Inventiones mathematicae, 98(3):623–637, 1989

work page 1989

[26] [26]

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

work page 1997

[27] [27]

Fathi and E

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

work page 2007

[28] [28]

Floer, H

A. Floer, H. Hofer, and C. Viterbo. The Weinstein conjecture inP×C l.Math. Z., 203(3):469–482, 1990

work page 1990

[29] [29]

Frauenfelder and F

U. Frauenfelder and F. Schlenk. Hamiltonian dynamics on convex symplectic manifolds.Israel J. Math., 159:1–56, 2007

work page 2007

[30] [30]

Geiges.An introduction to contact topology, volume 109

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

work page 2008

[31] [31]

Geiges and K

H. Geiges and K. Zehmisch. Symplectic cobordisms and the strong Weinstein conjecture.Mathematical Proceedings of the Cambridge Philosophical Society, 153(2):261–279, 2012

work page 2012

[32] [32]

Geiges and K

H. Geiges and K. Zehmisch. The Weinstein Conjecture for Connected Sums.International Mathematics Research Notices, 2016(2):325–342, 2016

work page 2016

[33] [33]

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

work page 1994

[34] [34]

V. L. Ginzburg. The weinstein conjecture and theorems of nearby and almost existence. In J. E. Marsden and T. S. Ratiu, editors,The Breadth of Symplectic and Poisson Geometry, volume 232 ofProgress in Mathematics, pages 139–172. Birkh¨ auser Boston, 2005

work page 2005

[35] [35]

M. L. Gromov. Pseudo holomorphic curves in symplectic manifolds.Inventiones Mathematicae, 82:307– 347, 1985

work page 1985

[36] [36]

Hadamard

J. Hadamard. Les Surfaces ` a Courbures Oppos´ ees et Leurs Lignes G´ eod´ esiques.Journal de Math´ ematiques Pures et Appliqu´ ees, 4:27–73, 1898

work page

[37] [37]

Hadamard

J. Hadamard. Sur les G´ eod´ esiques d’une Surface ` a Courbure N´ egative.Comptes Rendus Hebdomadaires des S´ eances de l’Acad´ emie des Sciences, 128:1020–1022, 1899

work page

[38] [38]

H. Hofer. Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three.Invent. Math., 114(3):515–563, 1993

work page 1993

[39] [39]

Hofer and C

H. Hofer and C. Viterbo. The Weinstein conjecture in the presence of holomorphic spheres.Communica- tions on Pure and Applied Mathematics, 45(5):583–622, 1992

work page 1992

[40] [40]

Hofer, K

H. Hofer, K. Wysocki, and E. Zehnder. Finite energy foliations of tight three-spheres and Hamiltonian dynamics.Annals of Mathematics, 157(1):125–255, 2003

work page 2003

[41] [41]

Hofer and E

H. Hofer and E. Zehnder. Periodic solutions on hypersurfaces and a result by C. Viterbo.Inventiones Mathematicae, 90:1–9, 1987. THE CONTACT TYPE CONJECTURE 29

work page 1987

[42] [42]

Hofer and E

H. Hofer and E. Zehnder.Symplectic invariants and Hamiltonian dynamics. Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher. [Birkh¨ auser Advanced Texts: Basel Textbooks]. Birkh¨ auser Verlag, Basel, 1994

work page 1994

[43] [43]

Hutchings and C

M. Hutchings and C. H. Taubes. The Weinstein conjecture for stable Hamiltonian structures.Geometry & Topology, 13(2):901–941, 2009

work page 2009

[44] [44]

W. L¨ uck. Survey on aspherical manifolds. InEuropean Congress of Mathematics, pages 53–82. European Mathematical Society, Z¨ urich, 2010

work page 2010

[45] [45]

L. A. Lyusternik and A. I. Fet. Variational problems on closed manifolds.Doklady Akad. Nauk SSSR (N.S.), 81:17–18, 1951

work page 1951

[46] [46]

Ma˜ n´ e

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

work page 1995

[47] [47]

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

work page 2010

[48] [48]

L. Maier. On geometric hydrodynamics and infinite dimensional magnetic systems.arXiv preprint arXiv:2506.00544, 2025

work page arXiv 2025

[49] [49]

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

[50] [50]

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

work page 1987

[51] [51]

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

work page 2010

[52] [52]

Poincar´ e

H. Poincar´ e. Sur le Probl` eme des Trois Corps et les ´Equations de la Dynamique.Acta Mathematica, 13:1–270, 1890

work page

[53] [53]

Poincar´ e

H. Poincar´ e. Sur les Lignes G´ eod´ esiques des Surfaces Convexes.Transactions of the American Mathemat- ical Society, 6(3):237–274, 1905

work page 1905

[54] [54]

P. H. Rabinowitz. Periodic solutions of Hamiltonian systems.Comm. Pure Appl. Math., 31(2):157–184, 1978

work page 1978

[55] [55]

Rademacher

H.-B. Rademacher. Simple closed geodesics in dimensions≥3.J. Fixed Point Theory Appl., 26(1):Paper No. 5, 14, 2024

work page 2024

[56] [56]

F. Schlenk. Applications of Hofer’s geometry to Hamiltonian dynamics.Comment. Math. Helv., 81(1):105– 121, 2006

work page 2006

[57] [57]

Sorrentino.Action-minimizing methods in Hamiltonian dynamics, volume 50 ofMathematical Notes

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

work page 2015

[58] [58]

M. Struwe. Existence of periodic solutions of Hamiltonian systems on almost every energy surface.Boletim da Sociedade Brasileira de Matem´ atica, 20:49–58, 1990

work page 1990

[59] [59]

Sullivan

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

work page 1976

[60] [60]

I. A. Taimanov. The principle of throwing out cycles in Morse-Novikov theory.Soviet Mathematics Dok- lady, 27:43–46, 1983

work page 1983

[61] [61]

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

work page 1992

[62] [62]

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

work page 1992

[63] [63]

C. H. Taubes. The Seiberg-Witten equations and the Weinstein conjecture.Geom. Topol., 11:2117–2202, 2007

work page 2007

[64] [64]

C. Viterbo. A proof of Weinstein’s conjecture inR 2n.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 4(4):337– 356, 1987

work page 1987

[65] [65]

Weinstein

A. Weinstein. Periodic orbits for convex Hamiltonian systems.Ann. of Math. (2), 108(3):507–518, 1978

work page 1978

[66] [66]

O. Zoll. ¨Uber Fl¨ achen mit Scharen Geschlossener Geod¨ atischer Linien.Mathematische Annalen, 57:108– 133, 1903. 30 LINA DESCHAMPS, LEVIN MAIER, AND TOM STALLJOHANN 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 Mathe...

work page 1903