Abstract
We compute the Hofer–Zehnder capacity of magnetic disc tangent bundles over constant curvature surfaces. We use the fact that the magnetic geodesic flow is totally periodic and can be reparametrized to obtain a Hamiltonian circle action. The oscillation of the Hamiltonian generating the circle action immediately yields a lower bound of the Hofer–Zehnder capacity. The upper bound is obtained from Lu’s bounds of the Hofer–Zehnder capacity using the theory of pseudo-holomorphic curves. In our case, the gradient spheres of the Hamiltonian H will give rise to the non-vanishing Gromov–Witten invariant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
The notion of symplectic capacities was developed to investigate the existence of symplectic embeddings. As symplectomorphisms are always volume preserving, one could ask whether a symplectic embedding \(M\hookrightarrow N\) exists if and only if there exists a smooth volume preserving embedding. The answer is no (in dimension larger than two) and was given by Gromov in 1985 with his non-squeezing theorem [6]. This means that there must be other global symplectic invariants than volume. A class of such invariants is given by symplectic capacities as introduced by H. Hofer and E. Zehnder in [7]. There, they constructed a special capacity, now known as the Hofer–Zehnder capacity, relating embedding problems with the dynamics on symplectic manifolds. Very importantly, its finiteness implies the existence of periodic orbits on almost all compact regular energy levels ([7, Ch. 4]).
Definition 1.1
Let \((M,\omega )\) be a symplectic manifold possibly with boundary \(\partial M\). We call a smooth Hamiltonian function \(H:M\rightarrow \mathbb {R}\) admissible if there exists a compact subset \(K\subset M\setminus \partial M\) and a non-empty open subset \(U\subset K\) such that
-
(a)
\( H\vert _{M{\setminus } K}=\max H\ \ \text {and}\ \ H\vert _{U}=0, \)
-
(b)
\(0\le H(x)\le \max H\) for all \(x\in M\).
Denote by \(\mathcal {H}(M)\) the set of admissible functions and by \(\mathcal {P}_{\le 1}(H)\) the set of non-constant periodic orbits with period at most one. The Hofer–Zehnder capacity of the symplectic manifold \((M,\omega )\) is then defined as
In this note, we consider the following setup. Let \((\Sigma ,g)\) be a closed oriented Riemannian surface of constant curvature \(\kappa \). Denote by \(\lambda \) the pullback via the metric isomorphism \(T\Sigma \cong T^*\Sigma \) of the canonical 1-form on \(T^*\Sigma \). Further denote by \(\sigma \in \Omega _2(\Sigma )\) the Riemannian area form. We now study for some \(r>0\) the disc tangent bundle
and equip it with the magnetically twisted symplectic form
for some real parameter \(s\ne 0\). We call s the strength of the magnetic field. The most famous Hamiltonian on tangent bundles is the kinetic Hamiltonian
If \(s=0\), the associated Hamiltonian flow is the geodesic flow. In analogy, the Hamiltonian flow for \(s\ne 0\) is called magnetic geodesic flow. Morally, turning on the magnetic term bends the flow lines, just like a charged particle moving on the surface under the influence of a magnetic field transversal to the surface.
Our main (and only) theorem gives the value of the Hofer–Zehnder capacity for a certain range of s, r.
Theorem
Let \((\Sigma ,g)\) be a closed oriented Riemannian surface of constant curvature \(\kappa \). Denote by \(\sigma \) the corresponding area form and pick two real parameters \(r>0\) and \(s\ne 0\) satisfying \(s^2+\kappa r^2>0\). Then for \(\kappa \ne 0\),
The capacity for \(\kappa =0\) is the limit
The theorem covers three types of surfaces: spheres (\(\kappa >0\)), flat tori (\(\kappa =0\)), and hyperbolic surfaces \((\kappa < 0)\). The assumption \(s^2+\kappa r^2>0\) does not put any additional constraint on spheres and flat tori. For hyperbolic surfaces, it tells us to look at strong magnetic fields, i.e., \(\vert s\vert >\sqrt{-\kappa } r\). The cases not covered are the sphere (\(\kappa >0\)) and tori (\(\kappa =0\)) with vanishing magnetic field (\(s=0\)) and hyperbolic surfaces (\(\kappa <0\)) with weak magnetic field. As shown in [3], the theorem (and the corollary) actually hold in the case of spheres with vanishing magnetic field. For flat tori, the values where recently determined [1] to be twice the systol, in particular finite, but for hyperbolic surfaces even finiteness is unknown.
There are some modifications of the Hofer–Zehnder capacity we will also discuss. First one can look at this capacity with respect to a fixed free homotopy class of loops \(\nu \). We denote
the set of non-constant T-periodic solutions to the Hamiltonian equations in the class \(\nu \) and by \(\mathcal {P}_{\le T}(M,\nu )\) the set of non-constant periodic solutions in the class \(\nu \) with period less or equal to T. The Hofer–Zehnder capacity with respect to this free homotopy class is defined to be
For \(\nu =0\), this is called \(\pi _1\)-sensitive capacity.
Second there is a relative version, considering only Hamiltonians vanishing on a subset \(Z\subset M\) not touching the boundary. It is defined as follows. Denote by \(\mathcal {H}(M,Z)\) the set of smooth functions satisfying a) and b) for an open neighborhood \(U\supset Z\) and a compact set \(K\subset M\setminus \partial M\) containing U, i.e., \(U\subset K\). The relative Hofer–Zehnder capacity is then defined as
Observe that from the definitions it follows directly that
Proving the theorem, it becomes clear that the Hamiltonian we use for the lower bound is actually vanishing on the zero-section, thus also bounds the relative capacity from below. In addition, the upper bound comes from pseudo-holomorphic spheres, therefore it detects contractible orbits which means we actually bound the \(\pi _1\)-sensitive capacity from above.
Corollary
The \(\pi _1\)-sensitive and the relative Hofer–Zehnder capacity agree, i.e.,
This example also shows that the \(\pi _1\)-sensitive capacity is not continuous on all smooth families of domains bounded by smooth hypersurfaces, a question raised by Cieliebak, Hofer, Latschev, and Schlenk in [5, Prob. 7]. Indeed, for closed hyperbolic surfaces \((\kappa =-1)\), we find that
is not continuous in r. It jumps precisely at the Mañé critical value [4, Sec. 5.2]. The value at \(r=1\) follows as the Hofer–Zehnder capacity is of inner regularity [7, Thm. 1, Ch. 3], hence lower semi-continuous in r. To see that the \(\pi _1\)-sensitive capacity for \(r>1\) is infinite, observe that any radial Hamiltonian that is constantly zero on \(D_1\Sigma \) has no contractible periodic orbits, as curves in \(\mathbb {C}\textrm{H}^1\) of constant geodesic curvature less than 1 are not periodic.
Outline.
In the second section, we modify the magnetic geodesic flow to obtain a semifree Hamiltonian circle action and in the third section, we use this circle action to prove the theorem and its corollary.
2 Magnetic geodesic flow
For the proof of our main theorem, the key ingredient is the fact that we can modify the magnetic geodesic flow to obtain a semifree Hamiltonian circle action. The construction of this circle action is done in this section.
We first work on the universal cover of \(\Sigma \), hence \(\mathbb {C}\textrm{P}^1,\mathbb {C}^1,\mathbb {C}\textrm{H}^1\) depending on the sign of the curvature. As for example shown in [2], magnetic geodesics on these spaces are curves of constant geodesic curvature \(\kappa _g= \frac{\vert s\vert }{\vert v\vert }\). If R denotes the radius (with respect to the Riemannian metric g) of a geodesic circle, we know, using normal polar coordinates, that its circumference C and the geodesic curvature \(\kappa _g\) are
Here we use the convention \(\sqrt{-1}=i\) and the formulas \(-i\sin (ix)=\sinh (x)\), \(\cos (ix)=\cosh (x)\). Observe that in the hyperbolic case the geodesic curvature of geodesic circles can not be less than \(\sqrt{\vert \kappa \vert }\). Indeed, curves of geodesic curvature less than \(\sqrt{\vert \kappa \vert }\) do not close up. We therefore restrict to the regime of strong magnetic field, i.e., \(s^2+\kappa \vert v\vert ^2>0\). See Fig. 1 for a visualisation.
where in the last step we inserted \(\kappa _g= \frac{\vert s\vert }{\vert v\vert }\). Now, we conclude that the period is given by
In particular, the reparametrization \(H=h\circ E\) with
induces a Hamiltonian \(S^1\)-action (of period \(T=1)\). Note that the induced circle action is semifree as all, but the constant orbits, have period 1. If we now consider arbitrary Riemannian surfaces of constant curvature, it is a priori not clear that the induced circle action is still semifree. This is the statement of the following proposition.
Lemma 2.1
Let \((\Sigma ,g,j)\) be a Riemann surface of constant sectional curvature \(\kappa \). Then, for constants \(s\in \mathbb {R}\setminus \lbrace 0\rbrace \) and \( r>0\) satisfying \(s^2+\kappa r^2>0\), the Hamiltonian
generates a semifree Hamiltonian circle action on the disc-subbundle \((D_r \Sigma , \omega _s)\) of the magnetically twisted tangent bundle.
Proof
If \(\Sigma \) is simply connected, we are done by the previous computations. If \(\Sigma \) is not simply connected, we know that \(\kappa \le 0\) and \(\Sigma =\tilde{\Sigma }/\Gamma \) for a discrete subgroup \(\Gamma \) of isometries acting freely on the universal covering \(\tilde{\Sigma }\in \lbrace \mathbb {C}^1,\mathbb {C}\textrm{H}^1\rbrace \). We need to make sure that the restriction of the projection \(\tilde{\Sigma }\rightarrow \Sigma \) to any magnetic geodesic \(\tilde{\gamma }\rightarrow \gamma \) is no covering of degree \(>1\). The prove goes by contradiction. Assume \(\tilde{\gamma }\) was covering \(\gamma \) with some degree \(>1\), then there must be an element \(g\in \Gamma \) that is a rotation around the center of \(\tilde{\gamma }\). In particular, g fixes the center of \(\tilde{\gamma }\), which yields a contradiction as \(\Gamma \) acts freely on \(\tilde{\Sigma }\). \(\square \)
3 Proof of Theorem
In the previous section, we proved that for \(r>0\), satisfying \(s^2+\kappa r^2>0\), the Hamiltonian
is well-defined, smooth, and generates a semifree \(S^1\)-action. We can now show that the oscillation of this Hamiltonian yields both a lower and an upper bound for the Hofer–Zehnder capacity and thus determines it.
Lower bound:
We modify the Hamiltonian H generating the circle action slightly so that it becomes admissible. This can be done with the help of a function \(f:[0,\max H]\rightarrow [0,\infty )\) satisfying
Then all solutions to the Hamiltonian system on \((D_r\Sigma ,\omega _s)\) with Hamiltonian \(\tilde{H}=f\circ H\) have period
Thus \(\tilde{H}\) is admissible and we find the estimate
Upper bound:
The main abstract ingredient for the upper bound is a theorem by Lu [9, Thm. 1.10] in terms of (closed) Gromov–Witten invariants (see Appendix A). In order to obtain the right setup to apply Lu’s theorem we compactify the disc tangent bundle using a Lerman cut [8].
Roughly speaking, for a Hamiltonian \(S^1\)-manifold \((M,\omega )\) with moment map \(H:M\rightarrow \mathbb {R}\), the Lerman cut associates to a regular sub level set \(\lbrace H(x,v) < C\rbrace \) a closed symplectic manifold \(\left( \overline{\lbrace H(x,v) < C\rbrace },\overline{\omega }\right) \) that contains \(\lbrace H(x,v) < C\rbrace \) as an open dense symplectic submanifold and attaches the symplectic quotient \(H^{-1}(C)/S^1\) at the boundary. For the precise definition of Lerman cuts, we refer to [8].
In our case, we do a Lerman cut with respect to the Hamiltonian H at the level set
to compactify \((D_r\Sigma , \omega _s)\). The compactification \((\overline{D_r\Sigma }, \overline{\omega _s})\) is a closed symplectic 4-manifold with semifree Hamiltonian circle action. We denote its moment map by \(\overline{H}:\overline{D_r\Sigma }\rightarrow \mathbb {R}\). The critical set, where the Hamiltonian \(\overline{H}\) attains its minimum, corresponds to the zero-section and the critical set, where the Hamiltonian \(\overline{H}\) attains its maximum, corresponds to the quotient \(D_\infty :=\partial D_r\Sigma / S^1\). Both are therefore of codimension two. Now if we choose a compatible \(S^1\)-invariant almost complex structure J, any gradient sphere \(u(s,t)=\Phi ^t_{\overline{H}}\gamma (s)\) is J-holomorphic and connects the two critical sets. Here \(\Phi ^t_{\overline{H}}\) denotes the Hamiltonian flow of \(\overline{H}\) and \(\gamma \) is a non-constant gradient flow line with respect to the metric induced by J, i.e., \(\dot{\gamma }=JX_{\overline{H}}\). The map \(u:\mathbb {R}\times S^1\rightarrow \overline{D_r\Sigma }\) indeed extends to the sphere as gradient flow lines connect critical points. By [10, Prop. 4.3], the 1-point Gromov-Witten invariant \(\textrm{GW}_A([pt.])\) in the class \(A\in H_2(\overline{D_r\Sigma },\mathbb {Z})\) of a gradient sphere (\(A=[u]\)) is non-vanishing. Further the homology class represented by the divisor \(D_\infty \) obtained from collapsing the boundary is proportional to the Poincaré-dual of \([\overline{\omega _s}]\). Thus
This means we can apply a corollary A.1 of Lu’s theorem, [9, Thm. 1.10] to obtain as upper bound
Note that the first equality follows from the fact that the sub level set of H is symplectomorphic to the Lerman cut with the contracted boundary removed.
Other types of the Hofer–Zehnder capacity:
Lu’s theorem actually yields an upper bound for the \(\pi _1\)-sensitive Hofer–Zehnder capacity, as we are working with pseudoholomorphic spheres. Further the Hamiltonian \(\tilde{H}\) used for the lower bound vanishes along the zero-section, thus \(\max \tilde{H}\) also bounds the relative Hofer–Zehnder capacity from below. In total, we obtain
As all orbits of \(\tilde{H}\) are contractible, we can further conclude that \(c_{\textrm{HZ}}^\nu (D_r\Sigma ,\omega _s)=\infty \) for any \(\nu \ne 0\).
Notes
Compact with no boundary!
References
Benedetti, G., Bimmermann, J., Zehmisch, K.: Symplectic capacities of disc cotangent bundles of flat tori. arXiv:2311.07351 (2023)
Benedetti, G., Ritter, A.F.: Invariance of symplectic cohomology and twisted cotangent bundles over surfaces. Int. J. Math. 31(9), 2050070, 56 pp. (2020)
Bimmermann, J.: Hofer–Zehnder capacity of disc tangent bundles of projective spaces. arXiv:2306.11382 (2023)
Cieliebak, K., Frauenfelder, U., Paternain, G.P.: Symplectic topology of Mané‘s critical values. Geom. Topol. 14(3), 1765–1870 (2010)
Cieliebak, K., Hofer H., Latschev, J., Schlenk, F.: Quantitative symplectic geometry. arXiv:math/0506191 (2005)
Gromov, M.L.: Pseudo holomorphic curves in symplectic manifolds. Invent. Math. 82, 307–347 (1985)
Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics. Reprint of the 1994 Edition. Modern Birkhäuser Classics. Birkhäuser, Basel (2011)
Lerman, E.: Symplectic cuts. Math. Res. Lett. 2(3), 247–258 (1995)
Lu, G.: Gromov-Witten invariants and pseudo symplectic capacities. Israel J. Math. 156(1), 1–63 (2006)
McDuff, D.: Hamiltonian \({S}^1\)-manifolds are uniruled. Duke Math. J. 146(3), 449–507 (2009)
Acknowledgements
I want to thank Gabriele Benedetti and Kai Zehmisch for their valuable feedback and input on the topic. This work is part of a project in the SFB/TRR 191 Symplectic Structures in Geometry, Algebra and Dynamics, funded by the DFG. The author acknowledges funding by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 281869850 (RTG 2229), 390900948 (EXC-2181/1), and 281071066 (TRR 191).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A corollary of Lu’s theorem
A corollary of Lu’s theorem
In this appendix, we prove a corollary of Lu’s theorem [9, Thm. 1.10] that is essential for finding the upper bound in the proof of our main theorem. We do not introduce the language of pseudo-symplectic capacities or Gromov–Witten invariants here and instead refer to [9] for the careful description of the setup. The notation for admissible functions is also the same as in Lu’s article, only the notation for Gromov–Witten invariants differ, we replaced \(\Psi _{A,g,m+2}\) with \(\textrm{GW}_{A,g,m+2}\).
Corollary A.1
Let \((M,\omega )\) be a closed symplectic manifold of dimension \(\dim M\ge 4\) and fix two disjoint closedFootnote 1 connected submanifolds \(D_0,D_\infty \subset M\) of codimension at least two. Denote by \([D_0],[D_\infty ]\in H_2(M,\mathbb {Q})\) the induced homology classes. Suppose there exists a homology class \(A\in H_2(M;\mathbb {Z})\) for which the Gromov-Witten invariant
for some homology classes \(\beta _1,\ldots ,\beta _m \in H_*(M;\mathbb {Q})\) and an integer \(m \ge 1\). Then the relative Hofer–Zehnder capacity satisfies
and if A is a spherical class, i.e., \(g=0\), then also
Proof
We need to show that
because then
Indeed, as \(D_0,D_\infty \) are connected and of codimension at least two, the boundary of any small closed disc sub bundle \(D_\varepsilon D_0, D_\varepsilon D_\infty \) of the normal bundle is connected and we can set \(P=D_\varepsilon D_0\) and \(Q=M\setminus \textrm{Int}(D_\varepsilon D_\infty )\). For \(\varepsilon >0\) small enough, condition (1) is satisfied as \(D_0\) and \(D_\infty \) are disjoint and compact. Now let \(H\in \mathcal {H}_{\textrm{ad}}(M\setminus \Sigma _\infty , \Sigma _0; \omega )\), then H vanishes on an open neighborhood of \(\Sigma _0\) and constantly attains its maximum on a neighborhood of \(\Sigma _\infty \). In particular, for \(\varepsilon >0\) small enough, H also satisfies condition (2). Conditions (3) and (6) hold true per definition and (4) per construction. Condition (5) follows as M is compact, thus critical values can not accumulate. The \(\pi _1\)-sensitive claim follows analogously. \(\square \)
Remark A.2
As finitely many points can be moved by Hamiltonian diffeomorphisms, i.e., \(\textrm{Ham}(M,\omega )\) is k-transitive, it follows that 2-point invariants yield upper bounds to the Hofer–Zehnder capacity of M and 1-point invariants yield upper bounds to the Hofer–Zehnder capacity of \(M\setminus D_\infty \).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bimmermann, J. Hofer–Zehnder capacity of magnetic disc tangent bundles over constant curvature surfaces. Arch. Math. (2024). https://doi.org/10.1007/s00013-024-02003-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00013-024-02003-y