The Hofer-Zehnder theorem states that almost every hypersurface in a thickening of a hypersurface $S$ in a symplectic manifold $(M,ω)$ carries a closed characteristic provided that $S$ bounds a compact submanifold and $(M,ω)$ has finite capacity. We show that it is enough to assume that the thickening of $S$ has finite capacity.
We introduce the concept of Hofer-Zehnder $G$-semicapacity (or $G$-sensitive Hofer-Zehnder capacity) and prove that given a geometrically bounded symplectic manifold $(M,ω)$ and an open subset $N \subset M$ endowed with a Hamiltonian free circle action $ϕ$ then $N$ has bounded Hofer-Zehnder $G_ϕ$-semicapacity, where $G_ϕ\subset π_1(N)$ is the subgroup generated by the homotopy class of the orbits of $ϕ$. In particular, $N$ has bounded Hofer-Zehnder capacity. We give two types of applications of the main result. Firstly, we prove that the cotangent bundle of a compact manifold endowed with a fr…
Let $M$ be a compact manifold with an effective semi-free circle action whose fixed point set has trivial normal bundle. We prove that its cotangent bundle endowed with the canonical symplectic form has bounded Hofer-Zehnder sensitive capacity. We give several examples like the product of any compact manifold with $§^n$ or a connected sum $\CP^n # ... # \CP^n$.
We prove that if a Hamiltonian diffeomorphism of a closed monotone symplectic manifold with semisimple quantum homology has more contractible fixed points, counted homologically, than the total dimension of the homology of the manifold, then it must have an infinite number of contractible periodic points. This constitutes a higher-dimensional homological generalization of a celebrated result of Franks from 1992, as conjectured by Hofer and Zehnder in 1994.
We give a different and simpler proof of a slightly modified (and weaker) variant of a recent theorem of Shelukhin extending Franks' "two-or-infinitely-many" theorem to Hamiltonian diffeomorphisms in higher dimensions and establishing a sufficiently general case of the Hofer-Zehnder conjecture. A few ingredients of our proof are common with Shelukhin's original argument, the key of which is Seidel's equivariant pair-of-pants product, but the new proof highlights a different aspect of the periodic orbit dynamics of Hamiltonian diffeomorphisms.
We use Floer homology to study the Hofer-Zehnder capacity of neighborhoods near a closed symplectic submanifold M of a geometrically bounded and symplectically aspherical ambient manifold. We prove that, when the unit normal bundle of M is homologically trivial in degree dim(M) (for example, if codim(M) > dim(M)), a refined version of the Hofer-Zehnder capacity is finite for all open sets close enough to M. We compute this capacity for certain tubular neighborhoods of M by using a squeezing argument in which the algebraic framework of Floer theory is used to detect nontrivial periodic orbits. …
Motivated by Pazit Haim-Kislev's combinatorial formula for the Ekeland-Hofer-Zehnder capacities of convex polytopes, we give corresponding formulas for $Ψ$-Ekeland-Hofer-Zehnder and coisotropic Ekeland-Hofer-Zehnder capacities of convex polytopes introduced by the second named author and others recently. Contrary to Pazit Haim-Kislev's subadditivity result for the Ekeland-Hofer-Zehnder capacities of convex domains, we show that the coisotropic Hofer-Zehnder capacities satisfy the subadditivity for suitable hyperplane cuts of two-dimensional convex domains in the reverse direction.
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 prove representation formulas for the coisotropic Hofer-Zehnder capacities of bounded convex domains with special coisotropic submanifolds and the leaf relation (introduced by Lisi and Rieser recently), study their estimates and relations with the Hofer-Zehnder capacity,give some interesting corollaries, and also obtain corresponding versions of a Brunn-Minkowski type inequality by Artstein-Avidan and Ostrover and a theorem by Evgeni Neduv.
We find bounds for the Hofer-Zehnder capacity of coadjoint orbits of compact Lie groups with respect to the Kostant--Kirillov--Souriau symplectic form in terms of the combinatorics of their Bruhat graph. We show that our bounds are sharp for coadjoint orbits of the unitary group and equal to the diameter of a weighted Cayley graph.
We prove the finiteness of the Hofer-Zehnder capacity of unit disk cotangent bundles of closed Riemannian manifolds, under some simple topological assumptions on the manifolds. The key ingredient of the proof is a computation of the pair-of-pants product on Floer homology of cotangent bundles. We reduce it to a simple computation of the loop product, making use of results of A.Abbondandolo- M.Schwarz.
Let $(M,ω)$ be an aspherical symplectic manifold, which is closed or convex. Let $U$ be an open set in $M$, which admits a circle action generated by an autonomous Hamiltonian $H \in C^\infty(U)$, such that each orbit of the circle action is not contractible in $M$. Under these assumptions, we prove that the Hofer-Zehnder capacity of $U$ is bounded by the Hofer norm of $H$. The proof uses a variant of the energy-capacity inequality, which is proved by the theory of action selectors.
In this article we examine under which conditions symplectic homology with local coefficients of a unit disk bundle $D^*M$ vanishes. For instance this is the case if the Hurewicz map $π_2(M)\to H_2(M;\mathbb{Z})$ is nonzero. As an application we prove finiteness of the $π_1$-sensitive Hofer-Zehnder capacity of unit disk bundles in these cases. We also prove uniruledness for such cotangent bundles. Moreover, we find an obstruction to the existence of $H$-space structures on general topological spaces, formulated in terms of local systems.
We introduce the notion of a symplectic capacity relative to a coisotropic submanifold of a symplectic manifold, and we construct two examples of such capacities through modifications of the Hofer-Zehnder capacity. As a consequence, we obtain a non-squeezing theorem for symplectic embeddings relative to coisotropic constraints and existence results for leafwise chords on energy surfaces.
We prove that if M is a closed, connected, oriented, rationally inessential manifold, then the Hofer-Zehnder capacity of the unit disk bundle of the cotangent bundle of M is finite.
We use the minimal coupling procedure of Sternberg and Weinstein and our pseudo-symplectic capacity theory to prove that every closed symplectic submanifold in any symplectic manifold has an open neighborhood with finite ($π_1$-sensitive) Hofer-Zehnder symplectic capacity. Consequently, the Weinstein conjecture holds near closed symplectic submanifolds in any symplectic manifold.
We introduce the Hofer-Zehnder $G$-semicapacity $c_{HZ}^G(M,\om)$ of a symplectic manifold $(M,\om)$ with respect to a subgroup $G \subset π_1(M)$ ($c_{HZ}(M,\om) \leq c^G_{HZ}(M,\om)$) and prove that if $(M,\om)$ is tame and there exists an open subset $U \subset M$ admitting a Hamiltonian free circle action with order greater than two then $U$ has bounded Hofer-Zehnder $G$-semicapacity, where $G \subset π_1(M)$ is the subgroup generated by the orbits of the action, provided that the index of rationality of $(M,\om)$ is sufficiently great (for instance, if $[\om]|_{π_2(M)}=0$). We give a lot …
We use the criteria of Lalonde and McDuff to determine a new class of examples of length minimizing paths in the group $Ham(M)$. For a compact symplectic manifold $M$ of dimension two or four, we show that a path in $Ham(M)$, generated by an autonomous Hamiltonian and starting at the identity, which induces no non-constant closed trajectories of points in $M$, is length minimizing among homotopic paths. The major step in the proof involves determining an upper bound for the Hofer-Zehnder capacity for symplectic manifolds of the type $(M \times D(a))$ where $M$ is compact and has dimension two …
We use the criteria of Lalonde and McDuff to show that a path that is generated by a generic autonomous Hamiltonian is length minimizing with respect to the Hofer norm among all homotopic paths provided that it induces no non-constant closed trajectories in M. This generalizes a result of Hofer for symplectomorphisms of Euclidean space. The proof for general M uses Liu-Tian's construction of S^1-invariant virtual moduli cycles. As a corollary, we find that any semifree action of S^1 on M gives rise to a nontrivial element in the fundamental group of the symplectomorphism group of M. We also es…
The main theme of this paper is a relative version of the almost existence theorem for periodic orbits of autonomous Hamiltonian systems. We show that almost all low levels of a function on a geometrically bounded symplectically aspherical manifold carry contractible periodic orbits of the Hamiltonian flow, provided that the function attains its minimum along a closed symplectic submanifold. As an immediate consequence, we obtain the existence of contractible periodic orbits on almost all low energy levels for twisted geodesic flows with symplectic magnetic field. We give examples of functions…
We exhibit many examples of closed symplectic manifolds on which there is an autonomous Hamiltonian whose associated flow has no nonconstant periodic orbits (the only previous explicit example in the literature was the torus T^2n (n\geq 2) with an irrational symplectic structure). The underlying smooth manifolds of our examples include, for instance: the K3 surface and also infinitely many smooth manifolds homeomorphic but not diffeomorphic to it; infinitely many minimal four-manifolds having any given finitely-presented group as their fundamental group; and simply connected minimal four-manif…
We study the relationship between a homological capacity $c_{\mathrm{SH}^+}(W)$ for Liouville domains $W$ defined using positive symplectic homology and the existence of periodic orbits for Hamiltonian systems on $W$: If the positive symplectic homology of $W$ is non-zero, then the capacity yields a finite upper bound to the $π_1$-sensitive Hofer-Zehnder capacity of $W$ relative to its skeleton and a certain class of Hamiltonian diffeomorphisms of $W$ has infinitely many non-trivial contractible periodic points. En passant, we give an upper bound for the spectral capacity of $W$ in terms of th…
In [EH89, Theorem 1] Ekeland-Hofer prove that for a centrally symmetric, restricted contact type hypersurface in R^{2n} and for any global, centrally symmetric Hamiltonian perturbation there exists a leaf-wise intersection point. In this note we show that if we replace restricted contact type by star-shaped there exists infinitely many leaf-wise intersection points or a leaf-wise intersection point on a closed characteristic.
We prove the following three results in Hamiltonian dynamics. 1. The Weinstein conjecture holds true for every displaceable hypersurface of contact type. 2. Every magnetic flow on a closed Riemannian manifold has contractible closed orbits for a dense set of small energies. 3. Every closed Lagrangian submanifold of an arbitrary symplectic manifold whose fundamental group injects and which admits a Riemannian metric without closed geodesics has the intersection property.
We introduce the concept of pseudo symplectic capacities which is a mild generalization of that of symplectic capacities. As a generalization of the Hofer-Zehnder capacity we construct a Hofer-Zehnder type pseudo symplectic capacity and estimate it in terms of Gromov-Witten invariants. The (pseudo) symplectic capacities of Grassmannians and some product symplectic manifolds are computed. As applications we first derive some general nonsqueezing theorems that generalize and unite many previous versions, then prove the Weinstein conjecture for cotangent bundles over a large class of symplectic u…
In this paper, we firstly generalize some theories developed by I. Ekeland and H. Hofer in [EkH] for closed characteristics on compact convex hypersurfaces in ${\bf R}^{2n}$ to star-shaped hypersurfaces. As applications, we use Ekeland-Hofer theory and index iteration theory to prove that if a compact star-shaped hypersuface in ${\bf R}^4$ satisfying some suitable pinching condition carries exactly two geometrically distinct closed characteristics, then both of them must be elliptic. We also conclude that the theory developed by Y. Long and C. Zhu in [LoZ] still holds for dynamically convex st…
Inspired by the work of G. Lu on pseudo symplectic capacities we obtain several results on the Gromov width and the Hofer--Zehnder capacity of Hermitian symmetric spaces of compact type. Our results and proofs extend those obtained by Lu for complex Grassmannians to Hermitian symmetric spaces of compact type. We also compute the Gromov width and the Hofer--Zehnder capacity for Cartan domains and their products.
Scale structures were introduced by H.Hofer, K.Wysocki, and E.Zehnder. In this note we define an invariant for scale Hilbert spaces modulo scale isomorphism and use it to distinguish large classes of scale Hilbert spaces.
Scale spaces were defined by H.Hofer, K.Wysocki, and E.Zehnder. In this note we introduce a subclass of scale spaces and explain why we believe that this subclass is the right class for a general setup of Floer theory.
In this paper we use the Ekeland-Hofer-Zehnder symplectic capacity to provide several bounds and inequalities for the length of the shortest periodic billiard trajectory in a smooth convex body in ${\mathbb R}^{n}$. Our results hold both for classical billiards, as well as for the more general case of Minkowski billiards.
We improve the estimates for the Ekeland--Hofer--Zehnder capacity of convex bodies by Gluskin and Ostrover. In the course of our argument we show that a closed characteristic of minimal action on the boundary of a centrally symmetric convex body in $\mathbb R^{2n}$ must itself be centrally symmetric, with generalizations to some other types of symmetry.
Scale structures were introduced by H. Hofer, K. Wysocki, and E. Zehnder as a new concept of a smooth structure in infinite dimensions. We prove that scale structures on mapping spaces are completely determined by the dimension of domain manifolds. As a consequence, we give a complete description of the local invariant introduced by U. Frauenfelder for mapping spaces. Product mapping spaces and relative mapping spaces are also studied. Our approach is based on the spectral resolution of Laplace type operators together with the eigenvalue growth estimate.
This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673]. We prove compactness results for moduli spaces of holomorphic curves arising in Symplectic Field Theory. The theorems generalize Gromov's compactness theorem in [M Gromov, Pseudo-holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985) 307--347] as well as compactness theorems in Floer homology theory, [A Floer, The unregularized gradient flow of…
The Weinstein conjecture, as the general existence problem for periodic orbits of Hamiltonian or Reeb flows, has been among the central questions in symplectic topology for over two decades and its investigation has led to understanding of some fundamental properties of Hamiltonian flows. In this paper we survey some recently developed and well-known methods of proving various particular cases of this conjecture and the closely related almost existence theorem. We also examine differentiability and continuity properties of the Hofer-Zehnder capacity function and relate these properties to the …
Polyfold theory was developed by Hofer-Wysocki-Zehnder by finding commonalities in the analytic framework for a variety of geometric elliptic PDEs, in particular moduli spaces of pseudoholomorphic curves. It aims to systematically address the common difficulties of compactification and transversality with a new notion of smoothness on Banach spaces, new local models for differential geometry, and a nonlinear Fredholm theory in the new context. We shine meta-mathematical light on the bigger picture and core ideas of this theory. In addition, we compiled and condensed the core definitions and th…
We develop a family of deformations of the differential and of the pair-of-pants product on the Hamiltonian Floer complex of a symplectic manifold (M,ω) which upon passing to homology yields ring isomorphisms with the big quantum homology of M. By studying the properties of the resulting deformed version of the Oh-Schwarz spectral invariants, we obtain a Floer-theoretic interpretation of a result of Lu which bounds the Hofer-Zehnder capacity of M when M has a nonzero Gromov-Witten invariant with two point constraints, and we produce a new algebraic criterion for (M,ω) to admit a Calabi quasimo…