Hofer's geometry and Floer theory under the quantum limit
Ely Kerman
备注:
This is major revision. Section 2 has been completely reworked to correct a gap in the previous version of Proposition 2.5. The main results have been slightly improved, and figures and examples have been added. 29 pages
In this paper, we use Floer theory to study the Hofer length functional for paths of Hamiltonian diffeomorphisms which are sufficiently short. In particular, the length minimizing properties of a short Hamiltonian path are related to the properties and number of its periodic orbits.
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. …
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…
Following \cite{citeSavelyevVirtualMorsetheoryon$Omega$Ham$(Momega)$.}, we develop here a connection between Morse theory for the (positive) Hofer length functional $L: Ω\text {Ham}(M, ω) \to \mathbb{R}$, with Gromov-Witten/Floer theory, for monotone symplectic manifolds $ (M, ω) $. This gives some immediate restrictions on the topology of the group of Hamiltonian symplectomorphisms (possibly relative to the Hofer length functional), and a criterion for non-existence of certain higher index geodesics for the Hofer length functional. The argument is based on a certain automatic transversality p…
We show that if (M,ω) is a closed symplectic manifold which admits a nontrivial Hamiltonian vector field all of whose contractible closed orbits are constant, then Hofer's metric on the group of Hamiltonian diffeomorphisms of (M,ω) has infinite diameter, and indeed admits infinite-dimensional quasi-isometrically embedded normed vector spaces. A similar conclusion applies to Hofer's metric on various spaces of Lagrangian submanifolds, including those Hamiltonian-isotopic to the diagonal in M x M when M satisfies the above dynamical condition. To prove this, we use the properties of a Floer-theo…
We use spectral invariants in Lagrangian Floer theory in order to show that there exist \emph{isometric} embeddings of normed linear spaces (finite or infinite dimensional, depending on the case) into the space of Hamiltonian deformations of certain Lagrangian submanifolds in tame symplectically aspherical manifolds. In addition to providing a new class of examples in which the Lagrangian Hofer metric can be computed explicitly, we refine and generalize some known results about it.
Given a closed symplectic manifold $(M,ω)$ we introduce a certain quantity associated to a tuple of conjugacy classes in the universal cover of the group ${\hbox{\it Ham}} (M,ω)$ by means of the Hofer metric on ${\hbox{\it Ham}} (M,ω)$. We use pseudo-holomorphic curves involved in the definition of the multiplicative structure on the Floer cohomology of a symplectic manifold $(M,ω)$ to estimate this quantity in terms of actions of some periodic orbits of related Hamiltonian flows. As a corollary we get a new way to obtain Agnihotri-Belkale-Woodward inequalities for eigenvalues of products of u…
We prove that the displacement energy of a stable coisotropic submanifold is bounded away from zero if the ambient symplectic manifold is closed, rational and satisfies a mild topological condition.
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…
In this short note we show how Dubrovin's integrable hierarchies, defined using the Gromov-Witten theory of a closed symplectic manifold, generalizes to Hamiltonian Floer theory. In particular, we show how the required generalization of the PSS isomorphism, relating Gromov-Witten theory and Hamiltonian Floer theory, can be constructed in the framework of Eliashberg-Givental-Hofer's symplectic field theory.
Let $γ$ be a non-degenerate Ustilovsky geodesic in $Ham (M, ω)$ generated by $H$. We give a simple proof of a generalization of the conjecture stated in \cite{virtmorse}, relating the Morse index of $ γ$, as a critical point of the Hofer length functional, with the Conley Zehnder index of the extremizers of $H$, considered as periodic orbits.
We find robust obstructions to representing a Hamiltonian diffeomorphism as a full $k$-th power, $k \geq 2,$ and in particular, to including it into a one-parameter subgroup. The robustness is understood in the sense of Hofer's metric. Our approach is based on the theory of persistence modules applied in the context of filtered Floer homology. We present applications to geometry and dynamics of Hamiltonian diffeomorphisms.
We verify here some variants of topological and dynamical flavor of the injectivity radius conjecture in Hofer geometry, Lalonde-Savelyev \cite{citeLalondeSavelyevOntheinjectivityradiusinHofergeometry} in the case of $Ham (S^2)$ and $Ham(Σ, ω)$, for $Σ$ a closed positive genus surface. In particular we show that any loop in $Ham (S^2)$, respectively $Ham(Σ, ω)$ with $L ^{+}$ Hofer length less than $area(S ^{2} )/2$, respectively any $L ^{+} $ length is contractible through ($L ^{+} $) Hofer shorter loops, in the $C ^{\infty} $ topology. We also prove some stronger variants of this statement on…
In this work, we establish new rigidity results for the Maslov class of Lagrangian submanifolds in large classes of closed and convex symplectic manifolds. Our main result establishes upper bounds for the minimal Maslov number of displaceable Lagrangian submanifolds which are product manifolds whose factors each admit a metric of negative sectional curvature. Such Lagrangian submanifolds exist in every symplectic manifold of dimension greater than six or equal to four. The proof utilizes the relations between closed geodesics on the Lagrangian, the periodic orbits of geometric Hamiltonian flow…
This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces o…
Hofer's norm (metric) is an important and interesting topic in symplectic geometry. In the present paper, we define fragmented Hofer's norms which are Hofer's norms controlled by fragmentation norms and give some observations on fragmented Hofer's norms.
We introduce a new notion of persistence modules endowed with operators. It encapsulates the additional structure on Floer-type persistence modules coming from the intersection product with classes in the ambient (quantum) homology, along with a few other geometric situations. We provide sample applications to the $C^0$-geometry of Morse functions and to Hofer's geometry of Hamiltonian diffeomorphisms, that go beyond spectral invariants and traditional persistent homology.
For a class of Riemannian manifolds that include products of arbitrary compact manifolds with manifolds of nonpositive sectional curvature on the one hand, or with certain positive-curvature examples such as spheres of dimension at least 3 and compact semisimple Lie groups on the other, we show that the Hamiltonian diffeomorphism group of the cotangent bundle contains as subgroups infinite-dimensional normed vector spaces that are bi-Lipschitz embedded with respect to Hofer's metric; moreover these subgroups can be taken to consist of diffeomorphisms supported in an arbitrary neighborhood of t…
Stefan M$\ddot{\mathrm{u}}$ller posed the problem "Do Hofer's metrics on the group of Hamiltonian diffeomorphism and the one of Hamiltonian homeomorphisms (Hameomorphisms) correspond?". Let $(M,ω)$ be a compact exact symplectic manifold. We prove that the group of Hamiltonian homeomorphisms is not a simple group if the positive answer of M$\ddot{\mathrm{u}}$ller's question holds . To prove this results, we introduce fragmented Hofer's norms on a normal subgroup of the group of Hamiltonian homeomorphisms.
In this paper we show how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures in Hamiltonian Floer theory. Using the SFT of Hamiltonian mapping tori we show how to define a homotopy extension of the well-known Lie bracket and discuss how it can be used to prove the existence of multiple closed Reeb orbits. Furthermore we show how to define the analogue of rational Gromov-Witten theory in the Hamiltonian Floer theory of open symplectic manifolds. More precisely, we introduce a so-called cohomology F-manifold…
The purpose of this note is to make some connection between the sub-Riemannian geometry on Carnot-Caratheodory groups and symplectic geometry. We shall concentrate here on the Heisenberg group, although it is transparent that almost everything can be done on a general Carnot-Caratheodory group. Such generalisations will be the subject of a forthcoming note.
In this note we consider the following conjecture: given any closed symplectic manifold $M$, there is a sufficiently small real positive number $ρ$ such that the open ball of radius $ρ$ in the Hofer metric centered at the identity on the group of Hamiltonian diffeomorphisms of $M$ is contractible, where the retraction takes place in that ball -- this is the strong version of the conjecture -- or inside the ambient group of Hamiltonian diffeomorphisms of $M$ -- this is the weak version of the conjecture. We prove several results that support that weak form of the conjecture.
To every closed subset $X$ of a symplectic manifold $(M,ω)$ we associate a natural group of Hamiltonian diffeomorphisms $Ham(X,ω)$. We equip this group with a semi-norm $\Vert\cdot\Vert^{X,ω}$, generalizing the Hofer norm. We discuss $Ham(X,ω)$ and $\Vert\cdot\Vert^{X,ω}$ if $X$ is a symplectic or isotropic submanifold. The main result involves the relative Hofer diameter of $X$ in $M$. Its first part states that for the unit sphere in $R^{2n}$ this diameter is bounded below by $\frac\pi2$, if $n\geq2$. Its second part states that for $n\geq2$ and $d\geq n+1$ there exists a compact set in $R^{…
Schwarz showed that when a closed symplectic manifold (M,\om) is symplectically aspherical (i.e. the symplectic form and the first Chern class vanish on π_2(M)) then the spectral invariants, which are initially defined on the universal cover of the Hamiltonian group, descend to the Hamiltonian group Ham (M,\om). In this note we describe less stringent conditions on the Chern class and quantum homology of M under which the (asymptotic) spectral invariants descend to Ham (M,\om). For example, they descend if the quantum multiplication of M is undeformed and H_2(M) has rank >1, or if the minimal …
We resolve three longstanding questions related to the large scale geometry of the group of Hamiltonian diffeomorphisms of the two-sphere, equipped with Hofer's metric. Namely: (1) we resolve the Kapovich-Polterovich question by showing that this group is not quasi-isometric to the real line; (2) more generally, we show that the kernel of Calabi over any proper open subset is unbounded; and (3) we show that the group of area and orientation preserving homeomorphisms of the two-sphere is not a simple group. We also obtain, as a corollary, that the group of area-preserving diffeomorphisms of the…
This paper meticulously revisit and study the flux geometry of any compact oriented manifold $(M; W)$. We generalize several well-known factorization results, exhibit some orbital conditions for the study of flux geometry, give a proof of the discreteness of the flux group for volume-preserving diffeomorphisms, show that any smooth path in the kernel of the flux is a vanishing flux path, and show that the kernel of the flux for volume-preserving diffeomorphisms is $C^1$closed inside the group of all volume-preserving diffeomorphisms isotopic to the identity map:This recovers several results fr…
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…
We study the class of norms on the space of smooth functions on a closed symplectic manifold, which are invariant under the action of the group of Hamiltonian diffeomorphisms. Our main result shows that any such norm that is continuous with respect to the $C^{\infty}$-topology, is dominated from above by the $L_{\infty}$-norm. As a corollary, we obtain that any bi-invariant Finsler pseudo-metric on the group of Hamiltonian diffeomorphisms that is generated by an invariant norm that satisfies the aforementioned continuity assumption, is either identically zero or equivalent to Hofer's metric.
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.
This is the first of two papers devoted to showing how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures on the symplectic cohomology of open symplectic manifolds. Using the SFT of Hamiltonian mapping tori we show how to define a homotopy extension of the well-known Lie bracket on symplectic cohomology. Apart from discussing applications to the existence of closed Reeb orbits, we outline how the $L_{\infty}$-structure is conjecturally related via mirror symmetry to the extended deformation theory of compl…
In this article we study persistence features of topological entropy and periodic orbit growth of Hamiltonian diffeomorphisms on surfaces with respect to Hofer's metric. We exhibit stability of these dynamical quantities in a rather strong sense for a specific family of maps introduced by Polterovich and Shelukhin. A crucial ingredient comes from some enhancement of lower bounds for the topological entropy and orbit growth forced by a periodic point, formulated in terms of the geometric self-intersection number and a variant of Turaev's cobracket of the free homotopy class that it induces. Tho…
In this article we study the Hofer geometry of a compact Lie group $K$ which acts by Hamiltonian diffeomorphisms on a symplectic manifold $M$. Generalized Hofer norms on the Lie algebra of $K$ are introduced and analyzed with tools from group invariant convex geometry, functional and matrix analysis. Several global results on the existence of geodesics and their characterization in finite dimensional Lie groups $K$ endowed with bi-invariant Finsler metrics are proved. We relate the conditions for being a geodesic in the group $K$ and in the group of Hamiltonian diffeomorphisms. These results a…
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.
We relate previously defined quantum characteristic classes to Morse theoretic aspects of the Hofer length functional on $\ls$. As an application we prove a theorem which can be interpreted as stating that this functional behaves "virtually" as a perfect Morse-Bott functional with a flow. This can be applied to study topology and Hofer geometry of $ \text {Ham}(M, ω)$. We also use this to give a prediction for the index of some geodesics for this functional, which was recently partially verified by Yael Karshon and Jennifer Slimowitz.
In this paper we consider a geometric variant of Hofer's symplectic energy, which was first considered by Eliashberg and Hofer in connection with their study of the extent to which the interior of a region in a symplectic manifold determines its boundary. We prove, by a simple geometric argument, that both versions of energy give rise to genuine norms on all symplectic manifolds. Roughly speaking, we show that if there were a symplectomorphism of $M$ which had "too little" energy, one could embed a large ball into a thin cylinder $M \times B^2$. Thus there is a direct geometric relation betwee…
We study the asymptotic behaviour of 1-parameter subgroups with respect to Hofer's metric when the underlying symplectic manifold is an open surface of infinite area. We prove that, depending on the topology of the level sets of the Hamiltonian H, the distance either is bounded or behaves asymptotically linear. Moreover, the slope can be calculated explicitly as the difference of two distinguished critical values of H.
It is the goal of this paper to present the first steps for defining the analogue of Hamiltonian Floer theory for covariant field theory, treating time and space relativistically. While there already exist a number of competing geometric frameworks for covariant field theory generalizing symplectic geometry, none of them are readily suitable for variational techniques such as Hamiltonian Floer theory, since the corresponding action functionals are too degenerate. Instead, we show how a regularization procedure introduced by Bridges leads to a new geometric framework for which we can show that …
Given a closed monotone symplectic manifold $M$, we define certain characteristic cohomology classes of the free loop space $L \text {Ham}(M, ω)$ with values in $QH_* (M)$, and their $S^1$ equivariant version. These classes generalize the Seidel representation and satisfy versions of the axioms for Chern classes. In particular there is a Whitney sum formula, which gives rise to a graded ring homomorphism from the ring $H_{*} (L\text {Ham}(M, ω), \mathbb{Q})$, with its Pontryagin product to $QH_{2n+*} (M)$ with its quantum product. As an application we prove an extension of a theorem of McDuff …