Franks' Theorem in Surface and Symplectic Dynamics

• Franks' theorem is a collection of results asserting that an area-preserving map with one periodic point must exhibit infinitely many periodic points on surfaces like the annulus and sphere.
• The theorem extends to refined arithmetic and reversible dynamics by using rotation forcing to guarantee the existence of symmetric periodic orbits with prescribed rational rotation numbers.
• Franks’ lemma, the perturbative counterpart, facilitates controlled adjustments in geodesic flows and linearized dynamics, underpinning advances in Hamiltonian and symplectic systems.

to=arxiv_search.search ,一本道json {"^^^^^^^^19query19 theorem annulus periodic points sphere geodesic flows19^^^^^^^^", "^^^^^^^^19max_results19 ^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19query19^^^^, "^^^^^^^^19sort_by19 "^^^^^^^^19sort_order19 to=arxiv_search.search in commentary 天天送json {"^^^^^^^^19query19 theorem annulus periodic points sphere geodesic flows19^^^^^^^^", "^^^^^^^^19max_results19 ^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19query19^^^^, "^^^^^^^^19sort_by19 "^^^^^^^^19sort_order19 to use search tool per instruction. to=arxiv_search.search 天天中彩票如何json {"^^^^^^^^19query19 theorem annulus periodic points sphere geodesic flows19sort_order19^^^^^^^^"Franks' dichotomy\" OR ^^^^^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19sort_order19^^^^^^^^"Franks' lemma\" OR ^^^^^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19sort_order19^^^^^^^^"Franks-Misiurewicz\" OR ^^^^^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19sort_order19^^^^^^^^"A refinement of a theorem by Franks\"", "^^^^^^^^19max_results19 ^^^^19max_results19query19^^^^, "^^^^^^^^19sort_by19 "^^^^^^^^19sort_order19 The contemporary literature suggests that the expression Franks' theorem is used for several closely related results associated with John Franks rather than for a single statement. Its classical core is a family of periodic-point dichotomies for area-preserving surface maps, especially on the annulus and the two-sphere. Around that core lies a broader Franks program: rational rotation data forcing periodic orbits, perturbative realizability results now called Franks' lemma, and higher-dimensional or symplectic descendants in Hamiltonian dynamics and geodesic flows (&&&^^^^19query19^^^^&&&, &&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&, &&&^^^^19max_results19^^^^&&&).

^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^. Classical periodic-point theorems on the annulus and the sphere

One standard formulation concerns the annulus

PRESERVED_PLACEHOLDER_^^^^19query19^^^^

In this form, Franks’ theorem states that every area-preserving homeomorphism on PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ or PRESERVED_PLACEHOLDER_^^^^19max_results19^^^^ with a periodic point has infinitely many interior periodic points (&&&^^^^19query19^^^^&&&). A closely related formulation, used in work on area-preserving annulus homeomorphisms isotopic to the identity, says that if such a map has at least one fixed or periodic point, then it must have infinitely many interior periodic points (&&&^^^^19submittedDate19^^^^&&&).

A second canonical form is the sphere dichotomy: PRESERVED_PLACEHOLDER_^^^^19sort_by19^^^^ This statement is the version emphasized in symplectic reinterpretations of Franks’ theorem and is described there as Franks’ celebrated “two-or-infinitely-many” theorem (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&, &&&^^^^19descending19^^^^&&&). In the smooth category, a Hamiltonian reformulation on PRESERVED_PLACEHOLDER_^^^^19submittedDate19^^^^ yields the same dichotomy for Hamiltonian diffeomorphisms (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

These statements already display the characteristic Franks phenomenon: minimal periodic behavior is rigid, and any deviation from the minimal regime forces infinite periodic proliferation. Much of the later literature treats this phenomenon as the model case for stronger forcing results, symplectic generalizations, and arithmetic refinements.

^^^^19max_results19^^^^. Rotation forcing and arithmetic refinements on the annulus

A deeper annulus statement, used repeatedly as a forcing mechanism, is the rotation-interval theorem. For a homeomorphism PRESERVED_PLACEHOLDER_^^^^19sort_order19^^^^ of the open or closed annulus isotopic to the identity, with lift PRESERVED_PLACEHOLDER_^^^^19descending19^^^^, if there exist two recurrent points PRESERVED_PLACEHOLDER_^^^^19query19^^^^ such that

PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^

then for any rational number

PRESERVED_PLACEHOLDER_^^^^19max_results19^^^^

written in irreducible form, there exists a PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19query19^^^^-prime-periodic point with rotation number PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&). In the closed-annulus case this goes back to Franks, and for the open annulus it is extended in work of Le Calvez and Wang as cited there (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

This forcing theorem underlies refined versions of Franks’ classical infinitude result. A first refinement shows that if PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^ satisfy PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19sort_by19^^^^ and an area-preserving annulus homeomorphism isotopic to the identity has a PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19submittedDate19^^^^-prime-periodic point, then it has infinitely many prime-periodic points whose prime periods are also coprime to PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19sort_order19^^^^ (&&&^^^^19submittedDate19^^^^&&&). A later formulation states the same phenomenon for finite-area annulus homeomorphisms in the form

PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19descending19^^^^

with the special case PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19query19^^^^ implying that one odd periodic point forces infinitely many odd periodic points (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

The significance of these refinements is arithmetic rather than merely existential. Classical Franks theory gives infinitely many periodic points. The refined theorems show that the least periods can be forced inside prescribed coprimality classes, which is precisely the type of control needed in later applications to reversible dynamics, Reeb flows, and celestial mechanics (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

^^^^19sort_by19^^^^. Reversible dynamics and symmetric periodic points

In reversible surface dynamics, Franks’ theorem acquires a symmetric analogue. Let

PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^

and let PRESERVED_PLACEHOLDER_^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^ be an PRESERVED_PLACEHOLDER_^^^^19max_results19query19^^^^-invariant domain. A homeomorphism PRESERVED_PLACEHOLDER_^^^^19max_results19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ on PRESERVED_PLACEHOLDER_^^^^19max_results19max_results19^^^^ is called reversible if

PRESERVED_PLACEHOLDER_^^^^19max_results19sort_by19^^^^

A point PRESERVED_PLACEHOLDER_^^^^19max_results19submittedDate19^^^^ is a symmetric periodic point if

PRESERVED_PLACEHOLDER_^^^^19max_results19sort_order19^^^^

(&&&^^^^19query19^^^^&&&).

In this setting, every area-preserving reversible map on PRESERVED_PLACEHOLDER_^^^^19max_results19descending19^^^^ or PRESERVED_PLACEHOLDER_^^^^19max_results19query19^^^^ is either periodic-point free or has infinitely many interior symmetric periodic points (&&&^^^^19query19^^^^&&&). The reversible conclusion is stronger in flavor than the classical one: even a non-symmetric periodic point guarantees infinitely many symmetric periodic points (&&&^^^^19query19^^^^&&&). Under isotopy to the identity, an odd-periodic point likewise forces infinitely many interior symmetric odd-periodic points (&&&^^^^19query19^^^^&&&).

This picture also admits an arithmetic refinement. For reversible finite-area annulus homeomorphisms isotopic to the identity, if there exist recurrent points with different rotation numbers, then every intermediate rational rotation number is realized by a symmetric PRESERVED_PLACEHOLDER_^^^^19max_results19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^-prime-periodic orbit (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&). Consequently, if such a reversible map has a periodic point and PRESERVED_PLACEHOLDER_^^^^19max_results19max_results19^^^^, then it has infinitely many symmetric periodic orbits with prime periods also coprime to PRESERVED_PLACEHOLDER_^^^^19sort_by19query19^^^^ (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&). This extends Franks-type forcing from periodic points to symmetric periodic points and from qualitative infinitude to arithmetic control.

^^^^19submittedDate19^^^^. Rotation sets on the torus and the Franks–Misiurewicz program

In torus dynamics, the phrase Franks’ theorem often points not to a single periodic-point theorem but to a broader program in which the geometry of the rotation set constrains periodic behavior, semiconjugacy, and rigidity. For PRESERVED_PLACEHOLDER_^^^^19sort_by19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ and a lift PRESERVED_PLACEHOLDER_^^^^19sort_by19max_results19^^^^, the rotation set is

PRESERVED_PLACEHOLDER_^^^^19sort_by19sort_by19^^^^

and by Misiurewicz–Ziemian it is always a compact convex subset of PRESERVED_PLACEHOLDER_^^^^19sort_by19submittedDate19^^^^ (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^&&&). The Franks–Misiurewicz conjecture proposes a classification of rotation sets with empty interior: they should be either singletons or nontrivial line segments satisfying precise rationality restrictions (&&&^^^^19max_results19query19^^^^&&&).

Part of this conjecture is known to fail: Avila produced a counterexample in the irrational-slope case, and Le Calvez–Tal proved that if a nontrivial segment has irrational slope and contains a rational point, then that rational point must be an endpoint (&&&^^^^19max_results19query19^^^^&&&). The rational-slope case remains central. In one important class, extensions of irrational circle rotations, the rotation set is always a singleton; equivalently, every toral homeomorphism homotopic to the identity that is topologically semiconjugate to an irrational circle rotation is a pseudo-rotation (&&&^^^^19max_results19query19^^^^&&&). This resolves the rational-slope problem in the minimal category described there.

A further restriction comes from deviation theory. If a lift satisfies

PRESERVED_PLACEHOLDER_^^^^19sort_by19sort_order19^^^^

then any hypothetical counterexample to the rational case of the Franks–Misiurewicz conjecture must have unbounded horizontal deviation (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^&&&). More geometrically, any counterexample for the rational case must have infinite perpendicular deviation (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^&&&). The relation to classical Franks theorems is conceptual rather than a direct generalization of a single periodic-point statement: rational data in the rotation set are expected to force dynamically realized structure, and avoiding that conclusion requires highly non-classical transverse behavior (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19max_results19^^^^&&&).

^^^^19sort_order19^^^^. Franks’ lemma and perturbative realizability

A different but equally standard meaning of the name is Franks’ lemma: a perturbative realization theorem for linearized dynamics along a chosen orbit segment. In geodesic-flow form, the statement is that the derivative of the geodesic Poincaré map along a chosen geodesic segment can be perturbed freely within a neighborhood in PRESERVED_PLACEHOLDER_^^^^19sort_by19descending19^^^^ by a PRESERVED_PLACEHOLDER_^^^^19sort_by19query19^^^^-small perturbation of the Riemannian metric that keeps the geodesic itself unchanged (&&&^^^^19max_results19^^^^&&&). On surfaces this holds for every PRESERVED_PLACEHOLDER_^^^^19sort_by19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ metric, whereas in higher dimension the theorem is proved on a PRESERVED_PLACEHOLDER_^^^^19sort_by19max_results19^^^^-open and PRESERVED_PLACEHOLDER_^^^^19submittedDate19query19^^^^-dense subset PRESERVED_PLACEHOLDER_^^^^19submittedDate19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ of metrics (&&&^^^^19max_results19^^^^&&&).

A geometric-control proof rewrites the Jacobi equation as a bilinear control system on the symplectic group. For PRESERVED_PLACEHOLDER_^^^^19submittedDate19max_results19^^^^, PRESERVED_PLACEHOLDER_^^^^19submittedDate19sort_by19^^^^, there exist PRESERVED_PLACEHOLDER_^^^^19submittedDate19submittedDate19^^^^ such that for every geodesic arc PRESERVED_PLACEHOLDER_^^^^19submittedDate19sort_order19^^^^ of length PRESERVED_PLACEHOLDER_^^^^19submittedDate19descending19^^^^,

PRESERVED_PLACEHOLDER_^^^^19submittedDate19query19^^^^

where PRESERVED_PLACEHOLDER_^^^^19submittedDate19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ is the linearized Poincaré map (&&&^^^^19max_results19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&). The support of the perturbation can moreover be confined to a tubular neighborhood of the chosen geodesic and made disjoint from finitely many transverse geodesics (&&&^^^^19max_results19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

A second-order uniform version, phrased for conformal or Mané perturbations, takes the form PRESERVED_PLACEHOLDER_^^^^19submittedDate19max_results19^^^^. For every PRESERVED_PLACEHOLDER_^^^^19sort_order19query19^^^^ there exist PRESERVED_PLACEHOLDER_^^^^19sort_order19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ such that along any geodesic segment PRESERVED_PLACEHOLDER_^^^^19sort_order19max_results19^^^^, every symplectic map in a sufficiently small ball around PRESERVED_PLACEHOLDER_^^^^19sort_order19sort_by19^^^^ is realized by a PRESERVED_PLACEHOLDER_^^^^19sort_order19submittedDate19^^^^ conformal perturbation preserving the geodesic, supported in a small geodesic cylinder, and satisfying

PRESERVED_PLACEHOLDER_^^^^19sort_order19sort_order19^^^^

(&&&^^^^19sort_by19query19^^^^&&&). The same perturbative philosophy extends to magnetic flows: by perturbing the magnetic field within a fixed cohomology class through exact PRESERVED_PLACEHOLDER_^^^^19sort_order19descending19^^^^-forms PRESERVED_PLACEHOLDER_^^^^19sort_order19query19^^^^, one can realize any sufficiently small perturbation of the linearized Poincaré map along a magnetic orbit segment (&&&^^^^19sort_by19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

^^^^19descending19^^^^. Symplectic generalizations and recent applications

Franks’ theorem on PRESERVED_PLACEHOLDER_^^^^19sort_order19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^ admits a fully symplectic proof in the smooth category. Every Hamiltonian diffeomorphism of PRESERVED_PLACEHOLDER_^^^^19sort_order19max_results19^^^^ has either two or infinitely many periodic points, and if it has exactly two periodic points PRESERVED_PLACEHOLDER_^^^^19descending19query19^^^^ and PRESERVED_PLACEHOLDER_^^^^19descending19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^, then both are nondegenerate elliptic fixed points with irrational mean indices satisfying

PRESERVED_PLACEHOLDER_^^^^19descending19max_results19^^^^

(&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&). The proof uses mean index theory, resonance relations of Ginzburg and Kerman, and Floer homology on the torus rather than classical low-dimensional topological dynamics (&&&^^^^19all:Franks theorem annulus periodic points sphere geodesic flows19^^^^&&&).

This sphere dichotomy has become a model for higher-dimensional Hamiltonian analogues. One such descendant proves that on a closed strictly monotone symplectic manifold, if a strongly non-degenerate perfect Hamiltonian diffeomorphism has bounded barcode norm along the iterates PRESERVED_PLACEHOLDER_^^^^19descending19sort_by19^^^^, then it must be a pseudo-rotation; consequently, if the number of fixed points exceeds the sum of Betti numbers, the number of periodic points along the PRESERVED_PLACEHOLDER_^^^^19descending19submittedDate19^^^^-tower tends to infinity (&&&^^^^19sort_by19submittedDate19^^^^&&&). A toric version goes further: for a compact symplectic toric manifold, if

PRESERVED_PLACEHOLDER_^^^^19descending19sort_order19^^^^

is greater than the total rank of homology, then PRESERVED_PLACEHOLDER_^^^^19descending19descending19^^^^ has infinitely many simple periodic points (&&&^^^^19descending19^^^^&&&). This is presented there as a vast generalization of Franks’ famous two-or-infinity dichotomy and as a proof of the Hofer–Zehnder conjecture in the toric case (&&&^^^^19descending19^^^^&&&).

Recent applications also return to the annulus theorem itself. For any reversible Finsler metric on PRESERVED_PLACEHOLDER_^^^^19descending19query19^^^^, the number of prime closed geodesics grows quadratically with respect to length, and one of the two main tools is an improvement on Franks’ theorem about the number of periodic points of area-preserving annulus maps (&&&^^^^19sort_by19query19^^^^&&&). This suggests that Franks’ theorem is no longer only a periodic-point dichotomy for surface homeomorphisms: it has become a structural template for forcing arguments across symplectic dynamics, Reeb dynamics, and geometric flows (&&&^^^^19sort_by19query19^^^^&&&).