Inspired by the techniques of Givental and Théret, we provide a proof with generating functions of a recent result of Ginzburg-Gürel concerning the periodic points of Hamiltonian diffeomorphisms of $\mathbb{C}\text{P}^d$. For instance, we are able to prove that fixed points of pseudo-rotations are isolated as invariant sets or that a Hamiltonian diffeomorphism with a hyperbolic fixed point has infinitely many periodic points.
We prove that any Hamiltonian diffeomorphism of a closed symplectic manifold equipped with an atoroidal symplectic form has simple non-contractible periodic orbits of arbitrarily large period, provided that the diffeomorphism has a non-degenerate (or even isolated and homologically non-trivial) periodic orbit with non-zero homology class and the set of one-periodic orbits in that class is finite.
We prove a very general Weyl-type law for Periodic Floer Homology, estimating the action of twisted Periodic Floer Homology classes over essentially any coefficient ring in terms of the grading and the degree, and recovering the Calabi invariant of Hamiltonians in the limit. We also prove a strong non-vanishing result, showing that under a monotonicity assumption which holds for a dense set of maps, the Periodic Floer Homology has infinite rank. An application of these results yields that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed surface has a dense set of periodic poin…
An area-preserving diffeomorphism of an annulus has an "action function" which measures how the diffeomorphism distorts curves. The average value of the action function over the annulus is known as the Calabi invariant of the diffeomorphism, while the average value of the action function over a periodic orbit of the diffeomorphism is the mean action of the orbit. If an area-preserving annulus diffeomorphism is a rotation near the boundary of the annulus, and if its Calabi invariant is less than the maximum boundary value of the action function, then we show that the infimum of the mean action …
We prove that for a certain class of closed monotone symplectic manifolds any Hamiltonian diffeomorphism with a hyperbolic fixed point must necessarily have infinitely many periodic orbits. Among the manifolds in this class are complex projective spaces, some Grassmannians, and also certain product manifolds such as the product of a projective space with a symplectically aspherical manifold of low dimension. A key to the proof of this theorem is the fact that the energy required for a Floer connecting trajectory to approach an iterated hyperbolic orbit and cross its fixed neighborhood is bound…
Here we use Vinogradov's prime distribution theorem and a multi-dimensional generalization due to Harman to strengthen some recent results concerning the periodic points of Hamiltonian diffeomorphisms. In particular we establish resonance relations for the mean indices of the fixed points of Hamiltonian diffeomorphisms which do not have periodic points with arbitrarily large periods in $\mathbb{P}^2$, the set of natural numbers greater than one which have at most two prime factors when counted with multiplicity. As an application of these results we partially recover, using only symplectic too…
The main theme of this paper is the connection between the existence of infinitely many periodic orbits for a Hamiltonian system and the behavior of its action or index spectrum under iterations. We use the action and index spectra to show that any Hamiltonian diffeomorphism of a closed, rational manifold with zero first Chern class has infinitely many periodic orbits and that, for a general rational manifold, the number of geometrically distinct periodic orbits is bounded from below by the ratio of the minimal Chern number and half of the dimension. These generalizations of the Conley conject…
We show that the actions and indexes of fixed points of a Hamiltonian diffeomorphism with finitely many periodic points must satisfy certain relations, provided that the quantum cohomology of the ambient manifold meets an algebraic requirement satisfied for projective spaces, Grassmannians and many other manifolds. We also refine a previous result on the Conley conjecture for negative monotone symplectic manifolds, due to the second and third authors, and show that a Hamiltonian diffeomorphism of such a manifold must have simple periodic orbits of arbitrarily large period whenever its fixed po…
We prove several generic existence results for infinitely many periodic orbits of Hamiltonian diffeomorphisms or Reeb flows. For instance, we show that a Hamiltonian diffeomorphism of a complex projective space or Grassmannian generically has infinitely many periodic orbits. We also consider symplectomorphisms of the two-torus with irrational flux. We show that such a symplectomorphism necessarily has infinitely many periodic orbits whenever it has one and all periodic points are non-degenerate.
We prove that every $C^\infty$-smooth, area preserving diffeomorphism of the closed 2-disk having not more than one periodic point is the uniform limit of periodic $C^\infty$-smooth diffeomorphisms. In particular every smooth irrational pseudo-rotation can be $C^0$-approximated by integrable systems. This partially answers a long standing question of A. Katok regarding zero entropy Hamiltonian systems in low dimensions. Our approach uses pseudoholomorphic curve techniques from symplectic geometry.
We consider Hamiltonian diffeomorphisms of the Euclidean space, generated by compactly supported time-dependent perturbations of hyperbolic quadratic forms. We prove that, under some natural assumptions, such a diffeomorphism must have simple periodic orbits of arbitrarily large period when it has fixed points which are not necessary from a homological perspective.
We prove that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed, oriented surface admits a sequence of equidistributed periodic orbits. This is a quantitative refinement of the recently established generic density theorem for area-preserving surface diffeomorphisms. The proof has two ingredients. The first is a "Weyl law" for PFH spectral invariants, which was used to prove the generic density theorem. The second is a variational argument inspired by the work of Marques-Neves-Song and Irie on equidistribution results for minimal hypersurfaces and three-dimensional Reeb flows, r…
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
We study Hamiltonian diffeomorphisms of closed symplectic manifolds with non-contractible periodic orbits. In a variety of settings, we show that the presence of one non-contractible periodic orbit of a Hamiltonian diffeomorphism of a closed toroidally monotone or toroidally negative monotone symplectic manifold implies the existence of infinitely many non-contractible periodic orbits in a specific collection of free homotopy classes. The main new ingredient in the proofs of these results is a filtration of Floer homology by the so-called augmented action. This action is independent of capping…
This is an expository paper devoted to the Morse index of Chaperon's generating families of Hamiltonian diffeomorphisms. After reviewing the construction of such generating families, we present Bott's iteration theory in this setting: we study how the Morse index of a critical point corresponding to an iterated periodic orbit depends on the order of iteration of the orbit. We also investigate the precise dependence of the Morse index from the choice of the generating family associated to a given Hamiltonian diffeomorphism, which will allow to see the Morse index as a Maslov index for the linea…
We show that whenever a Hamiltonian diffeomorphism or a Reeb flow has a finite number of periodic orbits, the mean indices of these orbits must satisfy a resonance relation, provided that the ambient manifold meets some natural requirements. In the case of Reeb flows, this leads to simple expressions (purely in terms of the mean indices) for the mean Euler characteristics. These are invariants of the underlying contact structure which are capable of distinguishing some contact structures that are homotopic but not diffeomorphic.
We use generating function techniques developed by Givental, Théret and ourselves to deduce a proof in $\mathbb{C}\text{P}^d$ of the homological generalization of Franks theorem due to Shelukhin. This result proves in particular the Hofer-Zehnder conjecture in the non-degenerated case: every Hamiltonian diffeomorphism of $\mathbb{C}\text{P}^d$ that has at least $d+2$ non-degenerated periodic points has infinitely many periodic points. Our proof does not appeal to Floer homology or the theory of $J$-holomorphic curves. An appendix written by Shelukhin contains a new proof of the Smith-type ineq…
We show that whenever a closed symplectic manifold admits a Hamiltonian diffeomorphism with finitely many simple periodic orbits, the manifold has a spherical homology class of degree two with positive symplectic area and positive integral of the first Chern class. This theorem encompasses all known cases of the Conley conjecture (symplectic CY and negative monotone manifolds) and also some new ones (e.g., weakly exact symplectic manifolds with non-vanishing first Chern class). The proof hinges on a general Lusternik-Schnirelmann type result that, under some natural additional conditions, the …
We consider the classical problem of area-preserving maps on annulus $\mathbb{A} = S^1 \times [0, 1]$ . Let $\mathcal{M}_f$ be the set of all invariant probability measures of an area-preserving, orientation preserving diffeomorphism $f$ on $\mathbb{A}$. Given any $μ_1$ and $μ_2$ in $\mathcal{M}_f$, Franks \cite{Franks1988}\cite{Franks1992}, generalizing Poincaré's last geometric theorem (Birkhoff \cite{Birkhoff1913}), showed that if their rotation numbers are different, then $f$ has infinitely many periodic orbits. In this paper, we show that if $μ_1$ and $μ_2$ have different actions, even if…
This paper initiated an investigation on the following question: Suppose a smooth 4-manifold does not admit any smooth circle actions. Does there exist a constant $C>0$ such that the manifold support no smooth $\Z_p$-actions of prime order for $p>C$? We gave affirmative results to this question for the case of holomorphic and symplectic actions, with an interesting finding that the constant $C$ in the holomorphic case is topological in nature while in the symplectic case it involves also the smooth structure of the manifold.
We provide a simple proof of a theorem due to Nancy Hingston, asserting that symplectically degenerate maxima of any Hamiltonian diffeomorphism of the standard symplectic 2d-torus are non-isolated contractible periodic points or their action is a non-isolated point of the average-action spectrum. Our argument is based on generating functions.
In this article we show that the braid type of a set of $1$-periodic orbits of a non-degenerate Hamiltonian diffeomorphism on a surface is stable under perturbations which are sufficiently small with respect to the Hofer metric $d_{\rm Hofer}$. We call this new phenomenon braid stability for the Hofer metric. We apply braid stability to study the stability of the topological entropy $h_{\rm top}$ of Hamiltonian diffeomorphisms on surfaces with respect to small perturbations with respect to $d_{\rm Hofer}$. We show that $h_{\rm top}$ is lower semicontinuous on the space of Hamiltonian diffeomor…
We prove the Conley conjecture for a closed symplectically aspherical symplectic manifold: a Hamiltonian diffeomorphism of a such a manifold has infinitely many periodic points. More precisely, we show that a Hamiltonian diffeomorphism with finitely many fixed points has simple periodic points of arbitrarily large period. This theorem generalizes, for instance, a recent result of Hingston establishing the Conley conjecture for tori.
Area and orientation preserving diffeomorphisms of the standard 2-disc, referred to as symplectomorphisms of $\mathbb{D}^{2}$, allow decompositions in terms of positive twist diffeomorphisms. Using the latter decomposition we utilize the Conley index theory of discrete braid classes as introduced in [Ghrist et al., C. R. Acad. Sci. Paris Sér. I Math., 331(11), 2000, Invent. Math., 152(2), 2003] in order to obtain a Morse type forcing theory of periodic points: a priori information about periodic points determines a mapping class which may force additional periodic points.
Let M be a weakly monotone symplectic manifold, and H be a time-dependent Hamiltonian; we assume that the periodic orbits of the corresponding time-dependent Hamiltonian vector field are non-degenerate. We construct a refined version of the Floer chain complex associated to these data and any regular covering of M, and derive from it new lower bounds for the number of periodic orbits. We prove in particular that if the fundamental group of M is finite and solvable or simple, then the number of periodic orbits is not less than the minimal number of generators of the fundamental group. For a gen…
Given an area-preserving diffeomorphism of the closed unit disk which is a rotation near the boundary, one can naturally define an "action" function on the disk which agrees with the rotation number on the boundary. The Calabi invariant of the diffeomorphism is the average of the action function over the disk. Given a periodic orbit of the diffeomorphism, its "mean action" is defined to be the average of the action function over the orbit. We show that if the Calabi invariant is less than the boundary rotation number, then the infimum over periodic orbits of the mean action is less than or equ…
In this paper we first apply the chain level Floer theory to the study of Hofer's geometry of Hamiltonian diffeomorphism group in the cases without quantum contribution: we prove that any quasi-autonomous Hamiltonian path on weakly exact symplectic manifolds or any autonomous Hamiltonian path on arbitrary symplectic manifolds is length minimizing in its homotopy class with fixed ends, as long as it has a fixed maximum and a fixed minimum which are not over-twisted and all of its contractible periodic orbits of period less than one are sufficiently $C^1$-small. Next we give a construction of ne…
