On any closed symplectic manifold we construct a path-connected neighborhood of the identity in the Hamiltonian diffeomorphism group with the property that each Hamiltonian diffeomorphism in this neighborhood admits a Hofer and spectral length minimizing path to the identity. This neighborhood is open in the $C^1-$topology. The construction utilizes a continuation argument and chain level result in the Floer theory of Lagrangian intersections.
In this paper, we construct infinitely many bi-invariant metrics on the Hamiltonian diffeomorphism group and study their basic properties and corresponding generalizations of the Hofer inequality and Sikorav one.
Let $Σ$ be a compact surface of genus $g \geq 1$ equipped with an area form. We construct eggbeater Hamiltonian diffeomorphisms which lie arbitrarily far in the Hofer metric from the set of autonomous Hamiltonians. This result is already known for $g \geq 2$ (our argument provides an alternative, very simple construction compared to previous publications) while the case $g = 1$ is new.
In this paper we obtain exact normal forms with functional invariants for local diffeomorphisms, under the action of the symplectomorphism group in the source space. Using these normal forms we obtain exact classification results for the first occurring singularities of Hamiltonian systems with one-sided constraints, a problem posed by R. B. Melrose in his studies of glancing hypersurfaces.
In this article we prove that for a smooth fiberwise convex Hamiltonian, the asymptotic Hofer distance from the identity gives a strict upper bound to the value at 0 of Mather's $β$ function, thus providing a negative answer to a question asked by K. Siburg in \cite{Siburg1998}. However, we show that equality holds if one considers the asymptotic distance defined in \cite{Viterbo1992}.
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…
We compare Hofer's geometries on two spaces associated with a closed symplectic manifold M. The first space is the group of Hamiltonian diffeomorphisms. The second space L consists of all Lagrangian submanifolds of $M \times M$ which are exact Lagrangian isotopic to the diagonal. We show that in the case of a closed symplectic manifold with $π_2(M) = 0$, the canonical embedding of Ham(M) into L, f $\mapsto$ graph(f) is not an isometric embedding, although it preserves Hofer's length of smooth paths.
Let $Σ$ be a compact surface equipped with an area form. There is an long standing open question by Katok, which, in particular, asks whether every entropy-zero Hamiltonian diffeomorphism of a surface lies in the $C^0$-closure of the set of integrable diffeomorphisms. A natural generalization of this question is to ask to what extent one family of `simple' Hamiltonian diffeomorphisms of $Σ$ can be approximated by the other. In this paper we show that the set of autonomous Hamiltonian diffeomorphisms is not Hofer-dense in the set of integrable Hamiltonians. We construct explicit examples of int…
Let $Σ$ be a surface equipped with an area form. There is an long standing open question by Katok, which, in particular, asks whether every entropy-zero Hamiltonian diffeomorphism of a surface lies in the $C^0$-closure of the set of integrable diffeomorphisms. A slightly weaker version of this question asks: ``Does every entropy-zero Hamiltonian diffeomorphism of a surface lie in the $C^0$-closure of the set of autonomous diffeomorphisms?'' In this paper we answer in negative the later question. In particular, we show that on a surface $Σ$ the set of autonomous Hamiltonian diffeomorphisms is n…
In this article we prove that on any closed symplectic manifold there exists an arbitrarily $C^\infty$-small Hamiltonian diffeomorphism not admitting a square root.
We prove a number of results on the interrelation between the $L^p$-metric on the group of Hamiltonian diffeomorphisms of surfaces and the subset of all autonomous Hamiltonian diffeomorphisms. More precisely, we show that there are Hamiltonian diffeomorphisms of all surfaces of genus $g\neq 1$ lying arbitrarily $L^p$-far from this subset; answering a variant of a question of Polterovich for the $L^p$-metric.
In this paper, we apply spectral invariants, constructed in [Oh5,8], to the study of Hamiltonian diffeomorphisms of closed symplectic manifolds $(M,ω)$. Using spectral invariants, we first construct an invariant norm called the {\it spectral norm} on the Hamiltonian diffeomorphism group and obtain several lower bounds for the spectral norm in terms of the $\e$-regularity theorem and the symplectic area of certain pseudo-holomorphic curves. We then apply spectral invariants to the study of length minimizing properties of certain Hamiltonian paths {\it among all paths}. In addition to the constr…
In this paper we study the size of the fixed point set of a Hamiltonian diffeomorphism on a closed symplectic manifold which is both rational and weakly monotone. We show that there exists a non-trivial cycle of fixed points whenever the action spectrum is smaller, in a certain sense, than required by the Ljusternik-Schirelman theory. For instance, in the aspherical case, we prove that when the number of points in the action spectrum is less than or equal to the cup length of the manifold, then the cohomology of the fixed point set must be non-trivial. This is a consequence of a more general r…
In this article, we study the Calabi invariant on the unit disk usually defined on compactly supported Hamiltonian diffeomorphisms of the open disk. In particular we extend the Calabi invariant to the group of $C^1$ diffeomorphisms of the closed disk which preserves the standard symplectic form. We also compute the Calabi invariant for some diffeomorphisms of the disk which satisfies some rigidity hypothesis.
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.
Let M be a closed symplectic manifold, and let | | be a norm on the space of all smooth functions on M, which are zero-mean normalized with respect to the canonical volume form. We show that if | | is dominated from above by the L-Infinity-norm, and | | is invariant under the action of Hamiltonian diffeomorphisms, then it is also invariant under all volume preserving diffeomorphisms. We also prove that if | | is, additionally, not equivalent to the L-Infinity-norm, then the induced Finsler metric on the group of Hamiltonian diffeomorphisms on M vanishes identically.
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.
Consider a Hamiltonian diffeomorphism $g$ on a surface. We describe several scenarios where a curve $L$ and its image $g(L)$ provide a simple evidence that $g$ is not autonomous.
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…
We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we construct quasimorphisms on $Ham(T^2)$ and some of them are Calabi.
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 that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.
Let $Σ_g$ be a closed hyperbolic surface of genus $g$ and let $Ham(Σ_g)$ be the group of Hamiltonian diffeomorphisms of $Σ_g$. The most natural word metric on this group is the autonomous metric. It has many interesting properties, most important of which is the bi-invariance of this metric. In this work we show that $Ham(Σ_g)$ is unbounded with respect to this metric.
In the setting of geometric quantization, we associate to any prequantum bundle automorphism a unitary map of the corresponding quantum space. These maps are controlled in the semiclassical limit by two invariants of symplectic topology: the Calabi morphism and a quasimorphism of the universal cover of the Hamiltonian diffeomorphism group introduced by Entov, Py, Shelukhin.
We show that for a special class of geometric quantizations with "small" quantum errors, the quantum classical correspondence gives rise to an asymptotic projective representation of the group of Hamiltonian diffeomorphisms. As an application, we get an obstruction to Hamiltonian actions of finitely presented groups.
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 prove a $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a $C^\infty$ closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of spectral invariants in embedded contact homology. A key new ingredient of this paper is an analysis of an area-preserving map near its fixed point, which is based on some classical results in Hamiltonian dynamics: existence of KAM invariant circles for elliptic fixed points, and convergence of the Birkhoff normal form for hyperbolic fixed points.
Given a symplectic surface $(Σ, ω)$ of genus $g \ge 4$, we show that the free group with two generators embeds into every asymptotic cone of $(\mathrm{Ham}(Σ, ω), d_\mathrm{H})$, where $d_\mathrm{H}$ is the Hofer metric. The result stabilizes to products with symplectically aspherical manifolds.
In this paper, we first develop a mini-max theory of the action functional over the semi-infinite cycles via the chain level Floer homology theory and construct spectral invariants of Hamiltonian diffeomorphisms on arbitrary compact symplectic manifold (M,omega). To each given time dependent Hamiltonian function H and quantum cohomology class 0 not equal a element of QH^*(M), we associate an invariant rho(H;a) which varies continuously over H in the C^0-topology. This is obtained as the mini-max value over the semi-infinite cycles whose homology class is `dual' to the given quantum cohomology …
We study the dynamics of Hamiltonian diffeomorphisms on convex symplectic manifolds. To this end we first establish the Piunikhin-Salamon-Schwarz isomorphism between the Floer homology and the Morse homology of such a manifold, and then use this isomorphism to construct a biinvariant metric on the group of compactly supported Hamiltonian diffeomorphisms analogous to the metrics constructed by Viterbo and Schwarz. These tools are then applied to prove and reprove results in Hamiltonian dynamics. Our applications comprise a uniform lower estimate for the slow entropy of a compactly supported Ham…
We construct an embedding $Φ$ of $[0,1]^{\infty}$ into $Ham(M, ω)$, the group of Hamiltonian diffeomorphisms of a suitable closed symplectic manifold $(M, ω)$. We then prove that $Φ$ is in fact a quasi-isometry. After imposing further assumptions on $(M, ω)$, we adapt our methods to construct a similar embedding of $\mathbb{R} \oplus [0,1]^{\infty}$ into either $Ham(M, ω)$ or $\widetilde{Ham}(M, ω)$, the universal cover of $Ham(M, ω)$. Along the way, we prove results related to the filtered Floer chain complexes of radially symmetric Hamiltonians. Our proofs rely heavily on a continuity result…
We investigate a two-cocycle on the group of symplectic diffeomorphisms of an exact symplectic manifolds defined by Ismagilov, Losik, and Michor and investigate its properties. We provide both vanishing and non-vanishing results and applications to foliated symplectic bundles and to Hamiltonian actions of finitely generated groups.
Let (Σ, ω) be a compact Riemann surface with constant curvature c. In this work, we proved that the mean curvature flow of a given Hamiltonian diffeomorphism on Σ provides a smooth path in Ham(Σ), the group of all Hamiltonian diffeomorphisms of Σ. This result gives a proof, in the case of graph of Hamiltonian diffeomorphisms to the conjecture of Thomas and Yau asserting that the mean curvature flow of a compact embedded Lagrangian submanifold S with zero Maslov class in a Calabi- Yau manifolds M exists for all time and converges smoothly to a special Lagrangian submanifold in the Hamiltonian i…
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…
We prove that the fundamental group of the group of Hamiltonian diffeomorphisms of the symplectic manifold that is obtain by blowing up a submanifold contains an element of infinite order. We prove this using Weinstein's morphism and by constructing explicitly such loop of Hamiltonian diffeomorphisms.
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 define boundedness properties on the contractible fixed points set of the time-one map of an identity isotopy on a closed oriented surface with genus $g\geq1$. In symplectic geometry, a classical object is the notion of action function, defined on the set of contractible fixed points of the time-one map of a Hamiltonian isotopy. We give a dynamical interpretation of this function that permits us to generalize it in the case of a homeomorphism isotopic to identity that preserves a Borel finite measure of rotation vector zero, provided that a boundedness condition is satisfied. We give some p…
Using a "Hodge decomposition" of symplectic isotopies on a compact symplectic manifold $(M,ω)$, we construct a norm on the identity component in the group of all symplectic diffeomorphisms of $(M,ω)$ whose restriction to the group $Ham(M,ω)$ of hamiltonian diffeomorphisms is bounded from above by the Hofer norm. Moreover, $Ham(M,ω)$ is closed in $Symp(M,ω)$ equipped with the topology induced by the extended norm. We give an application to the $C^0$ symplectic topology. We also discuss extensions of Oh's spectral distance.
In this paper, we prove the main conjecture on $g$-areas that was announced by the first author in 2004. It states that the $g$-area of any Hamiltonian diffeomorphism $ϕ$ is equal to the positive Hofer distance between $ϕ$ and the subspace of Hamiltonian diffeomorphisms that can be expressed as a product of at most $g$ commutators.
In this paper we provide a criterion for the quasi-autonomous Hamiltonian path (``Hofer's geodesic'') on arbitrary closed symplectic manifolds $(M,ω)$ to be length minimizing in its homotopy class in terms of the spectral invariants $ρ(G;1)$ that the author has recently constructed (math.SG/0206092). As an application, we prove that any autonomous Hamiltonian path on arbitrary closed symplectic manifolds is length minimizing in {\it its homotopy class} with fixed ends, when it has no contractible periodic orbits {\it of period one}, has a maximum and a minimum point which are generically under…
In this paper we consider the Arnold conjecture on the Lagrangian intersections of some closed Lagrangian submanifold of a closed symplectic manifold with its image of a Hamiltonian diffeomorphism. We prove that if the Hofer's symplectic energy of the Hamiltonian diffeomorphism is less than a topology number defined by the Lagrangian submanifold, then the Arnold conjecture is true in the degenerated (non-transversal) case.
