arxiv:math/ v2 [math.sg] 18 Mar 2003

Transcription

1 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS arxiv:math/ v2 [math.sg] 18 Mar 2003 LEONARDO MACARINI Abstract. We introduce the Hofer-Zehnder G-semicapacity c G HZ (M, ω) of a symplectic manifold (M, ω) with respect to a subgroup G π 1 (M) (c HZ (M, ω) c G HZ (M, ω)) and prove that if (M, ω) is tame and there exists an open subset N M admitting a Hamiltonian free circle action with order greater than two then N has bounded Hofer-Zehnder G-semicapacity, where G π 1 (N) is the subgroup generated by the orbits of the action, provided that the index of rationality of (M, ω) is sufficiently great (for instance, if [ω] π2(m) = 0). We give several applications of this result. Using P. Biran s decomposition theorem, we prove the following: let (M 2n, Ω) be a closed Kähler manifold (n > 2) with [Ω] H 2 (M, Z) and Σ a complex hypersurface representing the Poincaré dual of k[ω], for some k N. Suppose either that Ω vanishes on π 2 (M) or that k > 2. Then there exists a decomposition of M into an open dense subset E such that E \ Σ has finite Hofer-Zehnder G-semicapacity and an isotropic CW-complex, where G π 1 (E \Σ) is the subgroup generated by the obvious circle action on the normal bundle of Σ. Moreover, we prove that if (M, Σ) is subcritical then M \ Σ has finite Hofer-Zehnder G-semicapacity. We also show that given a hyperbolic surface M and TM endowed with the twisted symplectic form ω 0 + π Ω, where Ω is the area form on M, then the Hofer- Zehnder G-semicapacity of the domain U k bounded by the hypersurface of kinetic energy k minus the zero section M 0 is finite iff k 1/2, where G π 1 (U k ) is the subgroup generated by the fibers of SM. Finally, we will consider the problem of the existence of periodic orbits on prescribed energy levels for magnetic flows. We prove that given any weakly exact magnetic field Ω on any compact Riemannian manifold M then there exists a sequence of contractible periodic orbits of energy arbitrarily small, extending a previous result of L. Polterovich. 1. Introduction The problem of the existence of periodic orbits for Hamiltonian systems has a very far and rich history in the development of Mathematics and Physics. In fact, some of the major contributions on this question include the celebrated Poincaré- Birkhoff theorem on the existence of periodic orbits for area preserving twist maps on the annulus and the Morse-Lyusternik-Schnirelman theory on the existence of closed geodesics on compact Riemannian manifolds. Date: current version: August This work was partially supported by FAPERJ and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil. 1

2 2 LEONARDO MACARINI Recently, a special class of symplectic invariants was introduced by H. Hofer and E. Zehnder [23] as a link between rigidity phenomena of symplectic mappings and the existence of periodic orbits provided by classical variational methods. More precisely, they introduced an axiomatic definition of symplectic capacities in the following way: Definition 1.1. Consider the class of all symplectic manifolds {(M, ω)} of fixed dimension equal to 2n. A symplectic capacity is a map (M, ω) c(m, ω) that associate to (M, ω) a non negative number or and that satisfies the following axioms: Monotonicity: if there exists a symplectic embedding ϕ : (M, ω) (N, τ) then c(m, ω) c(n, τ); Conformality: c(m, αω) = α c(m, ω) α R \ {0}; Non-triviality: c(b 2n (r), ω 0 ) = c(z 2n (r), ω 0 ) = πr 2, where B 2n (r) = {(x, y) R 2n ; n i=1 x2 i + y2 i r} is the ball of radius r and Z2n (r) = {(x, y) R 2n ; x y1 2 r} is the cylinder over the (x 1, y 1 )-plane. A distinguished symplectic capacity was introduced by Hofer and Zehnder and is directly related to the question of the existence of periodic orbits on prescribed energy levels of Hamiltonian flows: Definition 1.2. Given a symplectic manifold (M, ω), define the Hofer-Zehnder capacity of M by c HZ (M, ω) = maxh, sup H H a(m,ω) where H a (M, ω) is the set of admissible Hamiltonians H defined on M, that is, H H(M, ω) C (M, R), where H(M, ω) is the set of pre-admissible Hamiltonians defined on M, that is, H satisfies the following properties: 0 H m(h) := max H, there exist an open set V M such that H V 0 and a compact set K M \ M satisfying H M\K m(h); every non-constant periodic orbit of X H has period greater than 1. Intuitively, this capacity measure the sufficient oscillation for a pre-admissible Hamiltonian to have fast periodic orbits, that is, of period less than one. It is easy to see that it satisfies the monotonicity and conformality properties. Remarkably, by making use of classical variational methods, Hofer and Zehnder [23] showed that it also satisfies the non-triviality axiom, giving, in particular, a dynamical new proof of Gromov s nonsqueezing theorem [18]. Moreover, this symplectic invariant has important consequences on the question of the existence of periodic orbits on prescribed energy levels of Hamiltonian systems. In fact, it is easy to prove that if a symplectic manifold (M, ω) has bounded Hofer- Zehnder capacity, that is, if c HZ (U, ω) < for every open subset U M with compact closure, then given any Hamiltonian H : M R with compact energy levels, there exists a dense subset Σ H(M) such that for every c Σ the energy hypersurface H 1 (c) has a periodic solution.

3 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 3 This result was improved by M. Struwe in [39] showing that if the energy hypersurfaces bound a compact submanifold then Σ has total Lebesgue measure. Note that as an immediate consequence we have a proof of the Weinstein conjecture [42] for manifolds with bounded Hofer-Zehnder capacity, since we can construct in a neighborhood of a contact hypersurface S a distinguished parametrized family of hypersurfaces with equivalent flows. Unfortunately, it is, in general, a difficult task to determine when a symplectic manifold has bounded Hofer-Zehnder capacity. For (R 2n, ω 0 ), where ω 0 denotes the canonical symplectic form, it follows by the Hofer-Zehnder theorem [23]. For surfaces, it was proved by K. Siburg [38], that the Hofer-Zehnder capacity of an open subset U coincides with the area of U. However, the situation is dramatically different for higher dimensional manifolds. In fact, Hofer and Viterbo showed in [21] that c HZ (M D 2 (r), ω M ω 0 ) = πr 2, where (M, ω M ) is any closed symplectic manifold and D 2 (r) is the two dimensional disk of radius r > 0, with r satisfying the condition r m(m, ω M ), where m(m, ω M ) is the index of rationality of (M, ω M ), that is, { m(m, ω M ) = inf ω M ; [u] π 2 (M) satisfies [u] [u] } ω M > 0. If the above set is empty, we define m(m, ω M ) =. Recall that a 2-form ω on M is weakly exact if it is closed and m(m, ω) =. This result was extended by G. Lu [28, 29] to noncompact symplectic manifolds satisfying certain conditions at the infinity. More precisely, he showed that c HZ (M D 2 (r), ω M ω 0 ) πr 2, where (M, ω M ) is a tame symplectic manifold. Definition 1.3. A symplectic manifold (M, ω) is called tame (or geometrically bounded) if there exists an almost complex structure J on M and a Riemannian metric g such that J is uniformly ω-tame, that is, there exist positive constants c 1 and c 2 such that ω(v, Jv) c 1 v 2 and ω(v, w) c 2 v w for all tangent vectors v and w to M; the sectional curvature of g is bounded from above and the injectivity radius is bounded away from zero. The closed symplectic manifolds are clearly tame; a product of two tame symplectic manifolds is also such a manifold. Moreover, it was proved in [28] that the cotangent bundle of a compact manifold endowed with any twisted symplectic form is tame (a proof of this fact can also be found in [9]). A twisted symplectic structure on a cotangent bundle T M is a symplectic form given by ω 0 + π Ω, where ω 0 is the canonical symplectic form, π : T M M is the canonical projection and Ω is a closed 2-form on M.

4 4 LEONARDO MACARINI Thus, using the monotonicity property, we can conclude that (T (N S 1 ), ω 0 ) has bounded Hofer-Zehnder capacity, where N is any compact manifold and ω 0 is the canonical symplectic form (because we can embed symplectically T M T S 1 into T M R 2 ). In fact, by the same reason, we can prove that (M T S 1, ω M ω 0 ) has bounded Hofer-Zehnder capacity for any tame symplectic manifold M. It should be noted that it is necessary to consider product symplectic forms ω M ω 0. In fact, there is an example of Herman-Zehnder [19, 43] where they construct a symplectic form on T 3 R T 2 T S 1 with unbounded Hofer-Zehnder capacity. Note that any symplectic form on T 2 is weakly exact. Others know examples of cotangent bundles with bounded Hofer-Zehnder capacity are (T M, ω 0 ), where M is a compact simply connected manifold [40], and T T n endowed with any twisted symplectic form ω 0 + π Ω, where Ω is a closed 2-form on T n and π : T T n T n is the canonical projection. This last result was proved by J. Jiang [24] for Ω 0 and by V. Ginzburg and E. Kerman [17] for the general case. We will consider here a refinement of the Hofer-Zehnder capacity by considering periodic orbits whose homotopy class is contained in a given subgroup G of π 1 (M). More precisely, we define the Hofer-Zehnder semicapacity as follows; it may be considered as a generalization of the π 1 -sensitive Hofer-Zehnder capacity defined by M. Schwarz [37] and Lu [28, 29] and the relative symplectic capacity introduced by P. Biran, L. Polterovich and D. Salamon [6]: Definition 1.4. Given a symplectic manifold (M, ω) and a subgroup G π 1 (M) define the Hofer-Zehnder G-semicapacity of M by c G HZ (M, ω) = sup maxh, H H G a (M,ω) where Ha G (M, ω) is the set of G-admissible Hamiltonians defined on M, that is, H H(M, ω), that is, H is pre-admissible (see the definition 1.2); every nonconstant periodic orbit of X H whose homotopy class belongs to G has period greater than 1. Remark. We call it a semicapacity because given a symplectic embedding ψ : (N, ω N ) (M, ω M ) such that dim N = dim M it cannot be expected, in general, that c G HZ (N, ω N) c ψ G HZ (M, ω M), where ψ : π 1 (N) π 1 (M) is the induced homomorphism on the fundamental group. However, we can state the following weak monotonicity property (for a proof see the Section (2)): given a symplectic embedding ψ : (N, ω N ) (M, ω M ) such that dim N = dim M then c ψ 1 (ψ G) HZ (N, ω N ) c ψ G HZ (M, ω M). In particular, if ψ is injective we have that c G HZ (N, ω N) c ψ G HZ (M, ω M). Note that obviously, c HZ (M, ω M ) = c π 1(M) HZ (M, ω M ) c G HZ(M, ω M ),

5 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 5 for every subgroup G π 1 (M). Moreover, it is easy to see that if the Hofer-Zehnder G-semicapacity is bounded then there are periodic orbits with homotopy class in G on a dense subset of energies for every proper Hamiltonian. We remark that the periodic orbits in M D 2 (r) given by the theorems of Hofer- Viterbo and Lu are contractible. Thus, in terms of symplectic semicapacities, their theorems state the stronger result that c 0 HZ(M D 2 (r), ω M ω 0 ) πr 2 for any tame symplectic manifold (M, ω M ) and 0 < r m(m, ω M ). By the weak monotonicity property, we can conclude then that c π 1(S 1 ) HZ (M T S 1, ω M ω 0 ) is bounded, where π 1 (S 1 ) π 1 (M T S 1 ) is the obvious subgroup generated by the circle in the cylinder T S 1. In fact, the kernel of the induced homomorphism on the fundamental group of the symplectic embedding of M T S 1 into M R 2 is given by π 1 (S 1 ). The aim of the first part of this paper is to generalize this result in the following way: note that M T S 1 has a natural Hamiltonian free circle action with Hamiltonian given by the angle form Φ viewed here as a function on TS 1 T S 1. We will consider the following: Question: Is the existence of a Hamiltonian free circle action sufficient to ensure the boundedness of the Hofer-Zehnder semicapacity (with respect to the subgroup of π 1 (M) generated by the orbits of the action)? Before we state our first result we need a previous topological definition related to free circle actions: Definition 1.5. Let ϕ : N S 1 N be a free circle action on an open subset N of a manifold M. We define the order of the action ϕ as the order of the cyclic subgroup of π 1 (M) generated by the homotopy class of the orbits of ϕ. Now, we are able to state our first theorem. In what follows we will denote the oscillation of a Hamiltonian H by H := sup H inf H. Theorem 1.1. Let (M, ω M ) be a tame symplectic manifold and N M an open subset that admits a free Hamiltonian circle action ϕ : N S 1 N (with period equal to 2π) given by the Hamiltonian H 1 : N R. Suppose that the order of this action n ϕ (considered as an action on M) satisfies n ϕ > 2. Given an open subset U i N with compact closure, suppose that Then, we have that c i 1 HZ G ϕ ( m(m, ω M ) > H 1 U n ϕ 2 ). ( (U, ω M ) 2π H 1 U ) <, n ϕ 2 where i : π 1 (U) π 1 (N) is the induced homomorphism on the fundamental group and G ϕ π 1 (N) is the subgroup generated by the orbits of ϕ.

6 6 LEONARDO MACARINI Remarks. Note that the previous theorem cannot be stated directly for N because we need to assume that M is tame and an open subset of a tame symplectic manifold is not necessarily tame. The circle action above needs to be Hamiltonian. In fact, the example of Herman-Zehnder [19, 43] has unbounded Hofer-Zehnder capacity and it is easy to see that it admits a free symplectic circle action with infinite order. Before we explain the main ideas involved in the proof of the Theorem (1.1), let us state some corollaries and applications. Corollary 1.1. Let (M, ω M ) be a tame symplectic manifold. Suppose that M admits a free Hamiltonian circle action generated by H 1 : M R whose Euler class [e] H 2 (M/S 1, R) satisfies [e] π2 (M/S 1 ) = 0. Then, for any open subset U i M with compact closure, we have that provided that m(m, ω M ) > H 1 U. c i 1 G ϕ HZ (U, ω M ) 2π H 1 U <, In fact, it can be proved that given a free circle action on a manifold M such that the Euler class [e] H 2 (M/S 1, R) satisfies [e] π2 (M/S 1 ) = 0 then the order of the action is infinite (see the Section (3)). Now, consider the finite subgroup Z n S 1. Note that, since the circle action is Hamiltonian, the induced action of Z n on M is symplectic. Since the action is free, the quotient manifold M/Z n has a induced symplectic structure ωm n defined uniquely by the property that the pullback of ωm n by the quotient projection is ω M. Moreover, M/Z n has an induced free Hamiltonian circle action (with period 2π/n) with order greater than or equal to n. Consequently, we have the following immediate corollary: Corollary 1.2. Let (M, ω M ) be a tame symplectic manifold. Suppose that M admits a free Hamiltonian circle action generated by H 1 : M R and let U M be an open subset with compact closure. If n 3 and m(m, ω M ) (1/n) H 1 U, then c i 1 G ϕ HZ (τ n (U), ω) (2π/n) H 1 U (1 + 2/(n 2)) <, where τ n : M M/Z n is the quotient projection, i : τ n (U) M/Z n is the inclusion, ω is the induced symplectic form on M/Z n and ϕ is the induced circle action. There are a lot of non-trivial examples of symplectic manifolds admitting such free Hamiltonian circle actions. The first one that we will consider is the following: let M be a compact manifold admitting a free circle action. Then the lift of this action to the cotangent bundle of M is Hamiltonian with respect to the canonical symplectic form. In fact, it is Hamiltonian with respect to any twisted symplectic form ω 0 +π Ω, where Ω is a closed two-form on M given by the pullback of a closed two-form Ω M/S 1 on M/S 1. Thus, we have the following corollaries:

7 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 7 Corollary 1.3. Let M be a compact manifold admitting a free circle action ϕ whose Euler class [e] H 2 (M/S 1, R) satisfies [e] π2 (M/S 1 ) = 0 and Ω a weakly exact twoform on M given by the pullback of a two-form Ω M/S 1 on M/S 1. Then the cotangent bundle (T M, ω 0 + π Ω) has bounded Hofer-Zehnder G ϕ -semicapacity. Remark. A symplectic manifold (M, ω) has bounded Hofer-Zehnder G-semicapacity if for every open subset with compact closure U i M, we have that c i 1 G HZ (U, ω) <. Corollary 1.4. Let M be a compact manifold such that π 2 (M) = 0 and P the total space of a circle bundle S 1 ϕ P M. Then (T P, ω 0 ) has bounded Hofer-Zehnder G ϕ -semicapacity. Corollary 1.5. Let M be a compact manifold admitting a free circle action ϕ. Then (T (M/Z n ), ω 0 + π Ω) has bounded Hofer-Zehnder G ϕ -semicapacity for any n 3 and any weakly exact 2-form Ω = τ n Ω M/S 1, where τ n : M/Z n M/S 1 is the quotient projection. It is easy to construct specific non-trivial examples of such circle bundles. For instance, the lens spaces S 3 /Z n (n > 2) over S 2, the Heisenberg manifold over the 2-torus and, more generally, any 2-step nilmanifold [34]. In fact, it can be proved that the group of equivalence classes of circle bundles over a manifold M is isomorphic to H 2 (M, Z) [26]. Thus, any non-trivial element of H 2 (M, Z) for a manifold M such that π 2 (M) = 0 corresponds to a non-trivial circle bundle with infinite order. The Heisenberg manifold, for example, corresponds to the cohomology class of the area form on T 2. In the Section (4), we show some applications of the Theorem (1.1) where the circle action is not a lifted action. We will consider circle actions given by the magnetic flow associated to monopoles on surfaces. More precisely, let (M, g) be a closed Riemannian manifold, Ω a closed 2-form on M and TM endowed with the twisted symplectic form ω 0 + π Ω, where ω 0 is the pullback of the canonical symplectic form via the Riemannian metric. When M is a hyperbolic surface and Ω is the area form, this manifold has remarkable properties and is related to McDuff s example of a symplectic manifold with disconnected contacttype boundary [31] (see the Section (4), where we give a simple construction of such a manifold). The Hamiltonian flow φ given by the kinetic energy H(x, v) = (1/2)g x (v, v) with respect to ω 0 + π Ω is called the magnetic flow generated by the Riemannian metric g and the magnetic field Ω. It can be show that, when M is a surface of constant negative curvature and Ω is the area form, the magnetic flow defines a free circle action with infinite order on certain subsets of TM. Using this fact and the expanding completion of convex manifolds developed by Eliashberg and Gromov [12], we can prove the following theorem, proving, in particular, a conjecture of V. Ginzburg [16] in dimension two (taking out

8 8 LEONARDO MACARINI the zero section). This result also gives a characterization (in this particular case) of the Mañé s critical value associated to the magnetic flow in terms of symplectic semicapacities (see [8] and [10]). Theorem 1.2. Let M be a surface of genus g 2 endowed with the hyperbolic metric g 0 and the area form Ω g0 (with normalized area equal to 1). Let H g0 : TM R be the usual Hamiltonian given by the kinetic energy H g0 (x, v) = (1/2)g 0 (v, v) and k R a positive real number. Consider the open subset U k = 0<µ<k Hg 1 0 (µ). Then, c G HZ (U k, ω 0 + π Ω g0 ) <, as long as 0 < k < 1/2, where G π 1 (U k ) is the subgroup generated by the fibers of the unitary bundle. In particular, the periodic orbits have contractible projection on M. On the other hand, we have that c G HZ (U k, ω 0 + π Ω g0 ) = for every k > 1/2. By Moser s theorem, we have the following corollary: Corollary 1.6. Let M be a surface of genus g 2 and Ω a symplectic form on M. Then there exists a Riemannian metric g on M such that c G HZ (U k, ω 0 + π Ω) <, as long as 0 < k < 1/2, where U k = 0<µ<k Hg 1 (µ) and G π 1 (U k ) is the subgroup generated by the fibers of the unitary bundle as above. Remark. When M is the 2-torus and Ω is given by a symplectic form, it is well know that c i 1 (0) HZ (U, ω 0 + π Ω) <, for every open subset U i TT 2 with compact closure. In fact, it is easy to prove that (TT 2, ω 0 + π Ω) is symplectomorphic to (T 2 R 2, Ω σ), where σ is the canonical symplectic form on R 2 [17]. This result can also be obtained by the Theorem (1.1). Now, we will use the Theorem (1.1) to show that for closed Kähler manifolds (M, Ω) the possible obstruction to the boundedness of the Hofer-Zehnder capacity is a very thin subset of M which, in many situations, can be explicitly described. To prove it, we will need the following nice decomposition result of P. Biran [3] which enable us to represent a Kähler manifold as a disjoint union of two basic components whose symplectic nature is very standard: Theorem 1.3 (P. Biran [3]). Let (M 2n, Ω) be a closed Kähler manifold with [Ω] H 2 (M, Z) and Σ M a complex hypersurface whose homology class [Σ] H 2n 2 (M) is the Poincaré dual to k[ω] for some k N. Then, there exists an isotropic CWcomplex (M, Ω) whose complement - the open dense subset (M \, Ω) - is symplectomorphic to a standard symplectic disc bundle (E 0, 1 k ω can) modeled on the normal bundle N Σ of Σ in M and whose fibers have area 1/k. The symplectic form ω can is given by ω can = kπ (Ω Σ ) + d(r 2 α),

9 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 9 where π : E 0 Σ is the bundle projection, r is the radial coordinate using a Hermitian metric and α is a connection form on E such that dα = kπ (Ω Σ ). The form 1 k ω can is uniquely characterized by the requirements that its restriction to the zero section Σ equals Ω Σ, the fibers of π : E 0 Σ are symplectic and have area 1/k and ω can is invariant under the obvious circle action along the fibers. It is called standard because the symplectic type of (E 0, ω can ) depends only on the symplectic type of (Σ, Ω Σ ) and the topological type of the normal bundle N Σ [3]. Let us recall that the pair (M, Σ) is called subcritical [4, 5] if M \ Σ is a subcritical Stein manifold, that is, if there exists a plurisubharmonic Morse function ϕ on M \Σ such that index p (ϕ) < dim C M for every critical point p of ϕ. It is equivalent to the condition that the dimension of (that is, the maximal dimension of the cells of ) is strictly less than n. Theorem 1.4. Let (M 2n, Ω) be a closed Kähler manifold (n > 2) with [Ω] H 2 (M, Z) and Σ M a complex hypersurface whose homology class [Σ] H 2n 2 (M) is the Poincaré dual to k[ω] for some k N. Then there exists an open dense subset E of M symplectomorphic to a standard symplectic disc bundle over Σ whose complement is an isotropic CW-complex M such that if [Ω] π2 (M) = 0 then c G HZ(E \ Σ, Ω) 1/k, where G π 1 (E \ Σ) is the subgroup generated by the orbits of the obvious S 1 -action on E \ Σ. If [Ω] π2 (M) 0 and k > 2, we have that c G HZ(E \ Σ, Ω) 1 k + 2 k 2 2k. Moreover, if (M, Σ) is subcritical and [Ω] π2 (M) = 0, then where E \ Σ i M \ Σ. c i G HZ (M \ Σ, Ω) 1/k, Remarks. The result above cannot be stated directly for symplectic disk bundles and concluded as a property of symplectic disk bundles plus Biran s decomposition result because symplectic disk bundles are not tame. Actually, a fundamental ingredient in the proof of the Theorem (1.4) is that, by the Lefschetz theorem, the circle action on E \ Σ has the same order considered both as an action on E \ Σ itself and as an action on M \ Σ. Under the hypothesis that either dim R M 6 or [Ω] π2 (M) = 0, it was proved by P. Biran [3] that the Gromov capacity of E satisfies c G (E, Ω) 1/k. These assumptions are not necessary as was proved recently by G. Lu [30]. The result above for subcritical manifolds was proved by C. Viterbo in [41]. When (M, Σ) is subcritical we do not consider the case k > 2 because, as was proved in [13], every subcritical polarization has degree 1.

10 10 LEONARDO MACARINI We remark that the CW-complex above is given by the union of the stable manifolds of the gradient flow of a plurisubharmonic function ϕ defined on M \ Σ such that it can be explicitly computed in many examples [3]. The next theorem shows that we can get a similar result in the neighborhood of a symplectic hypersurface of Donaldson type [11]: Theorem 1.5. Let (M 2n, Ω) be a closed symplectic manifold (n > 2) with [Ω] H 2 (M, Z) and Σ M a symplectic hypersurface whose homology class [Σ] H 2n 2 (M) is the Poincaré dual to k[ω] for some k N. Then there exists k 0 2 such that if k > k 0 there exists an open neighborhood V of Σ such that if [Ω] π2 (M) = 0 then c G HZ (V \ Σ, Ω) 1/k, where G π 1 (V \ Σ), as above, is the subgroup generated by the orbits of the obvious S 1 -action on V \ Σ. If [Ω] π2 (M) 0, we have that c G HZ (V \ Σ, Ω) 1 k + 2 k 2 2k. It is important to remark that an extension of Biran s result for symplectic hypersurfaces considered above (which is generally expected to remains valid) will enable us to extend the Theorem (1.4) for general symplectic manifolds. The essential idea in the proof of the Theorem (1.1) is to relate the Hofer-Zehnder capacity of a symplectic manifold endowed with a Hamiltonian circle action with the Hofer-Zehnder capacity of its reduced symplectic manifold (in the sense of Marsden- Weinstein) with respect to this action. More precisely, we construct a Hamiltonian circle action on P := M T S 1 whose reduced symplectic manifold (J 1 (µ)/s 1, σ µ ) is given by (M, ω M ). Then, given a preadmissible Hamiltonian H H(U, ω M ) we construct a S 1 -invariant pre-admissible Hamiltonian Ĥ on P whose reduced dynamics is given by a reparametrization of the Hamiltonian vector field of H on M. Thus, we can apply the results of Hofer-Viterbo and Lu to get a periodic orbit for XĤ and so, by reduction, a periodic orbit for X H. The essential step is to show the non-triviality of the projected closed orbit and it is here that the hypothesis on the order of the action plays an essential role. The idea is to use the condition on the homotopy of the periodic orbit together with an upper bound on the period of the orbit. The hypothesis on the order of the circle action seems to be artificial, but we do not know how to avoid this. An approach to this problem is the following: let M be a tame symplectic manifold endowed with a Hamiltonian free circle action. By the Corollary (1.2), we know that the finite quotient M/Z n endowed with the induced symplectic form has bounded Hofer-Zehnder semicapacity. This naturally raises the following: Question: Given a finite symplectic covering (M, ω M ) (N, ω N ) is it true that the Hofer-Zehnder (semi)capacity of N is bounded if and only if the Hofer-Zehnder (semi)capacity of M is bounded?

11 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 11 It is true for surfaces and also for the cotangent bundle of the torus T n because we can estimate such a capacity via two-dimensional methods. By now, we can just get the following result: Theorem 1.6. Let N be a compact manifold admitting a free circle action S 1 N τ N/S 1, β a connection form for this bundle and H 1 : T N R the Hamiltonian corresponding to the lifted action ϕ of ξ. Then, given n n ϕ we have that c Gϕ HZ (H 1 1 ( n/4, n/4), ω 0 + π dβ) <. Moreover, the same result holds if we take either H 1 (0, n/2) or H 1 ( n/2, 0). Note that this result generalizes the Corollary (1.5). In fact, if n ϕ 3, we have that a neighborhood of H1 1 (1) has finite Hofer-Zehnder G ϕ -semicapacity and consequently (since ψ(q, p) = (q, p + β q ) defines a symplectomorphism between ω 0 and ω 0 + π dβ) a neighborhood V of the zero section satisfies c Gϕ HZ (V, ω 0) < and so (T M, ω 0 ) has bounded Hofer-Zehnder G ϕ -semicapacity. In the second part of this paper, we will consider the problem of the existence of periodic orbits on prescribed energy levels for the special class of Hamiltonian dynamical systems given by the magnetic flows. This problem was first considered by V. Arnold [1, 2] and S. Novikov [33] and for a discussion of the results in this area we refer to [10, 15]. It was proved by L. Polterovich [35] that for every nontrivial weakly exact magnetic field on a manifold whose Euler characteristic vanishes, there exist non-trivial contractible closed orbits of the magnetic flow in a sequence of arbitrarily small energy levels. The proof uses the geometry of the Hofer s metric in the group of Hamiltonian diffeomorphisms and the fundamental fact that the displacement energy of the zero section of TM, with respect to the twisted symplectic form given by a non-vanishing magnetic field, is equal to zero. Recently, E. Kerman [25] gives the same result for magnetic fields given by symplectic forms. We will prove here an extension of Polterovich s theorem for any manifold, without the assumption on the Euler characteristic. Theorem 1.7. Let M be any closed Riemannian manifold and Ω a non-trivial weakly exact magnetic field. Then there exists a sequence of arbitrarily small energy levels containing contractible periodic orbits. The main idea in the proof is similar to that of the Theorem (1.1). In fact, we consider a lift of the magnetic flow to T M T S 1 and use the topological condition on the periodic orbit to ensure the non-triviality of the projected periodic orbit by symplectic reduction. The details are given in the Section (8). Acknowledgements: I am very grateful to Gabriel Paternain for many helpful comments and suggestions and to the Centro de Investigación en Matemática, Guanajuato, Mexico for the hospitality while part of this work was in progress. I am also grateful to Kai Cieliebak and Dusa McDuff for very useful comments. ξ

12 12 LEONARDO MACARINI 2. Proof of the Theorem (1.1) Before we begin the proof of the Theorem (1.1) we need some auxiliary results. Proposition 2.1. Let (M, ω M ) be a tame symplectic manifold and P := M T S 1 endowed with the symplectic form ω P := ω M ω0 S1, where ωs1 0 is the canonical symplectic form on T S 1. Let U P be an open subset with compact closure and suppose that m(m, ω M ) π 2 (U) ωs1 0, where π2 : P T S 1 is the projection onto the second factor. Then given a Hamiltonian H H(U, ω P ), there exists a nonconstant periodic orbit γ of X H with period T < T max (U, H) := π 2 (U) ωs1 0 m(h) Moreover, the homotopy class [γ] of γ belongs to the subgroup π 1 (S 1 ) π 1 (P). Proof. Since U is compact, there exists a positive constant a > 0 such that π 2 (U) S 1 [ a/2, a/2] T S 1. Let ω 0 be the canonical symplectic form on R 2 and consider the symplectomorphism φ : S 1 [ a, a] A := {(x, y) R 2 ; a x 2 + y 2 5a} given by φ(θ, r) = ( 3a + 2r sin θ, 3a + 2r cosθ). Note that Ker(Id, φ) = π 1 (S 1 ), where (Id, φ) : π 1 (T M S 1 [ a, a]) π 1 (T P) π 1 (T M R 2 ) π 1 (T M) is the homomorphism induced on the fundamental group by the transformation given by the identity and φ in the first and second factors respectively. We can suppose, without loss of generality, that φ(π 2 (U)) R 2 is a connected two-dimensional compact submanifold with boundary, so that there exists an open disk of radius R with L distinct points (0 L < ) y j B 2 (R) and an orientation preserving diffeomorphism such that. ψ : φ(π 2 (U)) B 2 (R) \ {y 1,..., y L } φ(π 2 (U)) ω 0 = B 2 (R)\{y 1,...,y L } ω 0 = πr 2. From a theorem of Dacorogna and Moser (see Lemma 2.2 in [38]) this ψ can be required to be symplectic. Thus, consider the Hamiltonian H : M B 2 (R) R given by { m(h) if y = y j for some j = 1,..., L H(x, y) = H(x, φ 1 ψ 1 y) otherwise which is obviously C, since H U\K = m(h), where K U is a compact subset such that K U \ U. By the Theorem C of [28], X H has a contractible periodic orbit γ with period T < πr2 m( H) = ω φ(π 2 (U)) 0 m( H) = π 2 (U) ωs1 0 m(h).

13 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 13 Finally, note that, by the remark above, the periodic orbit γ of X H given by γ = (Id, ψ φ) 1 γ has homotopy class [γ] contained in π 1 (S 1 ) π 1 (P), since γ is contractible. Lemma 2.1. If ψ : (M 1, ω 1 ) (M 2, ω 2 ) is a symplectic embedding, then c ψ 1 (ψ G) HZ (M 1, ω 1 ) c ψ G HZ (M 2, ω 2 ), where G π 1 (M 1 ) is a subgroup of the fundamental group of M 1. Proof. Define the map ψ : H(M 1, ω 1 ) C (M 2 ) by { H ψ 1 (x) if x ψ(m 1 ); ψ (H) = m(h) if x / ψ(m 1 ). It is clear that ψ (H(M 1, ω 1 )) H(ψ(M 1 ), ω 2 ) and that m(ψ H) = m(h). Then it is sufficient to prove that ψ (H ψ 1 a (ψ G) (M 1, ω 1 )) H ψ G (ψ(m 1 ), ω 2 ). To a (ψ G) do it, suppose, by contradiction, that there exists H H ψ 1 a (M 1, ω 1 ) such that X ω 2 ψ has a nonconstant periodic orbit γ such that [γ] ψ H G and the period of γ is less than 1. Then the image of γ by ψ 1 (note that the image of γ is contained in ψ(m 1 ), since ψ H m(h) outside ψ(m 1 )) is a periodic orbit of X ω 1 H of the same period and [ψ 1 γ] ψ 1 (ψ G), a contradiction. Proof of the Theorem (1.1): We will divide the proof in three steps: Step 1: Construction of a reparametrized diagonal circle action ρ on N T S 1 and its symplectic reduction. Let P = N T S 1 M T S 1, where M T S 1 is endowed with the symplectic form ω P = ω M ω0 S1, where ωs1 0 is the canonical symplectic form on T S 1. Note that T S 1 has a natural Hamiltonian circle action given by the Hamiltonian Φ(θ, µ) = µ. Let n R be such that n > 2 H 1 U /(n ϕ 2) and m(m, ω M ) H 1 U + n. Consider the diagonal action ρ : P S 1 P on P given by the Hamiltonian J(x, θ, µ) = (1/n)(H 1 (x) + µ) = (1/n)(H 1 (x) + Φ(θ, µ)), and let ψ : P P be the diffeomorphism given by ψ(x, θ, µ) = (ϕ θ (x), θ, µ H 1 (x)), where ϕ : N S 1 N is the flow generated by H 1. The following lemma is a straightforward computation. Lemma 2.2. The diffeomorphism ψ is a symplectomorphism with respect to ω P. Moreover, J ψ = (1/n)Φ.

14 14 LEONARDO MACARINI Proof. It is clear that ψ J = (1/n)Φ. In effect, J(ψ(x, θ, µ)) = (1/n)(H 1 (ϕ θ (x)) + µ H 1 (x)) = (1/n)(H 1 (x) H 1 (x) + µ) = (1/n)µ. To show that ψ ω P = ω P, it is more convenient to write ψ as ψ(z) = ϕ θ(z) (z) H 1 (z)y, where θ : P S 1 is the projection onto the circle and Y is the unit vector field tangent to the fibers of T S 1 such that Φ(Y ) = 1. Consequently, dψ(z)ξ = (dϕ) θ(z) (z)ξ + π 2 dθ(ξ)x H 1 (ϕ θ(z) (z)) dh 1 (z)ξy (ϕ θ(z) (z)), where X H1 is the Hamiltonian vector field generated by H 1 and π2 dθ is the pullback of the angle form dθ on S 1 to P. Thus, (ψ ω P ) z (ξ, η) = (ω P ) ψ(z) (dψ(z)ξ, dψ(z)η) = ω P ((dϕ) θ(z) (z)ξ, (dϕ) θ(z) (z)η) + ω P ((dϕ) θ(z) (z)ξ, π 2 dθ(η)x H 1 (ϕ θ(z) (z))) ω P ((dϕ) θ(z) (z)ξ, dh 1 (z)ηy (ϕ θ(z) (z))) + ω P (π 2 dθ(ξ)x H 1 (ϕ θ(z) (z)), (dϕ) θ(z) (z)η) + ω P (π 2 dθ(ξ)x H 1 (ϕ θ(z) (z)), π 2 dθ(η)x H 1 (ϕ θ(z) (z))) ω P (π 2 dθ(ξ)x H 1 (ϕ θ(z) (z)), dh 1 (z)ηy (ϕ θ(z) (z))) ω P (dh 1 (z)ξy (ϕ θ(z) (z)), (dϕ) θ(z) (z)η) ω P (dh 1 (z)ξy (ϕ θ(z) (z)), π 2dθ(η)X H1 (ϕ θ(z) (z))) + ω P (dh 1 (z)ξy (ϕ θ(z) (z)), dh 1 (z)ηy (ϕ θ(z) (z))). But note that and ω P (π 2dθ(ξ)X H1 (ϕ θ(z) (z)), π 2dθ(η)X H1 (ϕ θ(z) (z))) = 0 ω P (dh 1 (z)ξy (ϕ θ(z) (z)), dh 1 (z)ηy (ϕ θ(z) (z))) = 0, since the vectors are colinear. On the other hand, and ω P (π 2dθ(ξ)X H1 (ϕ θ(z) (z)), dh 1 (z)ηy (ϕ θ(z) (z))) = 0 ω P (dh 1 (z)ξy (ϕ θ(z) (z)), π 2dθ(η)X H1 (ϕ θ(z) (z))) = 0, because the vectors are orthogonal with respect to the product decomposition P = M T S 1 and by the definition of ω P. We have then that, (ψ ω P ) z (ξ, η) = ω P ((dϕ) θ(z) (z)ξ, (dϕ) θ(z) (z)η) + ω P ((dϕ) θ(z) (z)ξ, π 2dθ(η)X H1 (ϕ θ(z) (z))) ω P ((dϕ) θ(z) (z)ξ, dh 1 (z)ηy (ϕ θ(z) (z))) + ω P (π 2dθ(ξ)X H1 (ϕ θ(z) (z)), (dϕ) θ(z) (z)η) ω P (dh 1 (z)ξy (ϕ θ(z) (z)), (dϕ) θ(z) (z)η) = = (ω P ) z (ξ, η) + π 2 dθ(η)(i X H1 (ϕ θ(z) (z))ω)(dϕ θ(z) (z)ξ) dh 1 (z)η(i Y (ϕθ(z) (z))ω)(dϕ θ(z) (z)ξ) + π 2 dθ(ξ)(i X H1 (ϕ θ(z) (z))ω)(dϕ θ(z) (z)η) dh 1 (z)ξ(i Y (ϕθ(z) (z))ω)(dϕ θ(z) (z)η),

15 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 15 where the last equality follows from the fact that ϕ tω P = ω P. Now, note that π 2dθ(η)(i XH1 (ϕ θ(z) (z))ω)(dϕ θ(z) (z)ξ) = π 2dθ(η)dH 1 (z)ξ, because i XH1 ω P = dh 1 and ϕ dh 1 = dh 1. On the other hand, we have that dh 1 (z)η(i Y (ϕθ(z) (z))ω)(dϕ θ(z) (z)ξ) = dh 1 (z)ηπ 2dθ(ξ), because i Y ω P = π2 dθ and ϕ π2 dθ = π 2 dθ (note that π 2dθ here is the pullback of the angle form dθ on S 1 to P). Consequently, (ψ ω P ) z (ξ, η) = (ω P )z(ξ, η)+ as desired. + π 2dθ(η)dH 1 (z)ξ dh 1 (z)ηπ 2dθ(ξ) + π 2dθ(ξ)dH 1 (z)η dh 1 (z)ξπ 2dθ(η) = ω z (ξ, η), Lemma 2.3. The Marsden-Weinstein reduced symplectic space at J 1 (µ) is given by M with the reduced symplectic form σ µ equal to ω M for every µ R. Proof. We claim that the quotient projection π µ : J 1 (µ) J 1 (µ)/s 1 is given by π 1 ψ 1 J 1 (µ), where π 1 : P M is the projection onto the first factor. In effect, note that, by the previous lemma, ψ sends the orbits of X J to the orbits of X (1/n)Φ. On the other hand, π 1 is the quotient projection at ((1/n)Φ) 1 (µ) = ψ 1 (J 1 (µ)) with respect to the trivial circle bundle given by the orbits of X Φ. To show that σ µ is equal to ω M, note that π µ ω M = (ψ 1 ) i ((1/n)Φ) 1 (µ) π 1 ω M = (ψ 1 ) i ((1/n)Φ) 1 (µ) ω P = i ψ(((1/n)φ) 1 (µ)) ω P = i J 1 (µ)ω P, where the third equality follows from the fact that ψ ω P = ω P. Step 2: Construction of a ρ-invariant pre-admissible Hamiltonian Ĥ on N T S 1 from H. In view of the last lemma, consider the map π : P N defined by π = π 1 ψ 1, such that π J 1 (µ) = π µ is the quotient projection. Now, let H be a pre-admissible Hamiltonian on U. We will construct from H a ρ-invariant Hamiltonian defined on P. Fix a sufficiently small constant δ > 0 and define this new Hamiltonian by Ĥ(z) = (H + α(j(z))(m(h) H))( π(z)), where α : R R is a C function such that 0 α 1, α(µ) = 1 µ / (δ, 1 δ), α(µ) = 0 µ ( 1 2 δ, δ) and α (µ) 2 + 2δ for every µ [0, 1]. Thus, Ĥ J 1 (µ) is the lift of H µ := H +α(µ)(m(h) H) = (1 α(µ))h +α(µ)m(h) by the quotient projection π µ.

16 16 LEONARDO MACARINI 1 0 1/2 1 Figure 1. Graph of the function α. The first obvious property of Ĥ is that m(ĥ) = m(h). In effect, m(ĥ) = sup µ R m(h + α(µ)(m(h) H)) = m(h), since 0 α 1 and α(µ) = 1 µ / (δ, 1 δ). It is easy to see that Ĥ H(Û, ω) where Û is given by (see the next figure) Û = πµ 1 (U). 0 µ 1 In effect, it is clear that 0 Ĥ m(ĥ). Moreover, Ĥ V 0 where V is the subset of P given by 1 2 δ µ 1 +δ π 1 µ (V ) and V M is an open set such that H V 0 (that 2 exists because H H(U, ω M )) since α(µ) = 0 µ ( 1 δ, 1 + δ). Note that the 2 2 interior of V is not empty. On the other hand, Ĥ m(ĥ) outside the compact set K = δ µ 1 δ π 1 µ (K) Û \ Û, where K U \ U is the compact set such that H U\K m(h). Step 3: Existence of a non-trivial periodic orbit of X H given by the reduction of a periodic orbit of XĤ. Let us now prove that there exists a periodic orbit γ of X H of period less than 2π( H 1 U + n)/m(h) and homotopy class [γ] G ϕ. Note firstly that = 2π( H 1 U + n). ω S1 π 2 (Û) 0 In effect, Û J 1 (0) is just the graph of H 1 restricted to U over Φ 1 (0) and Û J 1 (1) is the graph of H 1 U over Φ 1 (n): Reduced dynamics of XĤ: Note that H µ = (1 α(µ))h + α(µ)m(h) has the Hamiltonian vector field with respect to ω M given by X Hµ = (1 α(µ))x H. Thus, the reduced dynamics of XĤ at J 1 (µ) is a reparametrization of the dynamics of X H. Since 0 α(µ) 1, the nonconstant periodic orbits of X Hµ have period greater than or equal to those of X H.

17 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 17 µ J 1 (1) H 1 U Φ 1 (n) Û Φ 1 (0) H 1 U J 1 (0) Figure 2. The subset Û. Consequently, by the Lemma (2.3), it is sufficient to show that the periodic orbit of Ĥ given by the Proposition (2.1) is not tangent to a fiber given by the action of ϕ (such that it is projected onto a singularity of X H ). Non-triviality of the projected orbit: Suppose that there exists a periodic orbit γ of X H tangent to an orbit of ρ and whose homotopy class belongs to π 1 (S 1 ) π 1 (P). We will show that the period of γ is strictly greater than T max (Û, Ĥ) (see the Proposition (2.1)). Firstly, note that T max (Û, Ĥ) = ωs1 π 2 (Û) 0 m(ĥ) = 2π( H 1 U + n). m(h) Now, let W be an almost complex structure on P compatible with ω P and, = ω P (W, ) be the corresponding Riemannian metric. We have that along γ, X J XĤ = XĤ, X X J 2 J. On the other hand, the period of the orbits of X J is equal to 2πn. Consequently, since [γ] π 1 (S 1 ), the period of γ is given by But, by the definition of n, In effect, note that the inequality 2πnn ϕ T = X XĤ, J. X J 2 2πnn ϕ T = X XĤ, J > 2π(2 + 2δ)( H 1 U + n) X X J XĤ, J. 2 X J 2 2πnn ϕ > 2π(2 + 2δ)( H 1 U + n)

18 18 LEONARDO MACARINI is equivalent to that is, 2πn(n ϕ (2 + 2δ)) > 2π(2 + 2δ) H 1 U, H 1 U n > (2 + 2δ) n ϕ (2 + 2δ). Since δ > 0 is arbitrarily small, this is exactly the condition on n. Thus, it is sufficient to prove that X J XĤ, (2 + 2δ)m(H), X J 2 such that T > 2π( H 1 U + n). m(h) To conclude this inequality, note that X J XĤ, = X J 2 W Ĥ, W J 2 W J = Ĥ, J 2 J ( 2) = J dĥ J where in the second equation we used the fact that W defines an isometry. On the other hand, we have that for every ξ T z P, dĥ(z)ξ = dh( π(z))d π(z)ξ + m(h)α (J(z))dJ(z)ξ H( π(z))α (J(z))dJ(z)ξ α(j(z))dh( π(z))d π(z)ξ = (m(h) H π(z))α (J(z))dJ(z)ξ + (1 α(j(z)))dh( π(z))d π(z)ξ. But note that, since γ is tangent to a fiber, it is projected onto a singularity of X H, that is, dh( π(z)) = 0 for every z γ. Consequently, we have that ( X J 2) XĤ, = J X J 2 dĥ J = (m(h) H π(x)) α (J(z)) (2 + 2δ)m(H), as desired. Finally, note that the periodic orbit γ of XĤ given by the Proposition (2.1) satisfies [ γ] π 1 (S 1 ). Consequently, the corresponding reduced periodic orbit γ satisfies [γ] G ϕ since (π µ ) π 1 (S 1 ) = G ϕ. Thus, we obtain the estimate c i 1 G ϕ HZ (U, ω M ) 2π( H 1 U + n).

19 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 19 But, since n is arbitrarily close to 2 H 1 U /(n ϕ 2), we conclude that ( c i 1 G ϕ HZ (U, ω M ) 2π H 1 U ). n ϕ 2 3. Proof of the Corollary (1.1) The proof of the Corollary (1.1) follows immediately from the Theorem (1.1) and the following useful proposition: ϕ Proposition 3.1. Let S 1 P π P M be a principal circle bundle whose Euler class [Ω] H 2 (M, R) satisfies [Ω] π2 (M) = 0. Then ϕ has infinite order. Proof. Initially, note that [Ω] π2 (M) = 0 iff τm [Ω] = 0, where τ M : M M is the universal cover. In effect, it is clear that if τm Ω is exact, then [Ω] π 2 (M) = 0. To prove the converse, note that, by the Hurewicz s theorem, we have that H 2 ( M, Z) π 2 ( M) π 2 (M). Thus, the condition that Ω is weakly exact is equivalent that the integral of τm [Ω] over any 2-cycle is equal to zero. But, by de Rham s theorem, it is equivalent to τm Ω be exact. Now, suppose that the action ϕ has finite order. Consider the lift ϕ of ϕ to the universal cover P of P. Claim 1. P/ ϕ = M, where P/ ϕ is the quotient of P by the action ϕ and M is the universal cover of M. To prove the claim, note that, since the fiber is path connected, P/ ϕ is simply connected. Thus, it is sufficient to prove that P/ ϕ covers M. Now, observe that M = P/Γ P /ϕ, where Γ P is the group of deck transformations on P. On the other hand, ϕ commutes with the action of Γ P, since it is a lifted action from P. Consequently, it induces an action of a discrete group Γ M on P/ ϕ such that proving the claim. M = P/Γ P /ϕ = P/ ϕ/γ M, Claim 2. The following diagram is commutative: π P P M τ P P π P τ M M In fact, note that π P τ P : P P/Γ P /ϕ

20 20 LEONARDO MACARINI and τ M π P : P P/ ϕ/γ M. But, as remarked above, ϕ γ P = γ P ϕ γ P Γ P and Γ M is the induced action on P/ ϕ = M such that π P τ P = τ M π P. ϕ Claim 3. the Euler class of S 1 P π P M is given by [τ M Ω], where Ω is the curvature form of S 1 ϕ P π P M. In effect, let α be a connection form of ϕ. Then τp α is a connection for ϕ and dτ P α = τ P dα = τ Pπ PΩ = π P τ M Ω. Thus, if τm ϕ Ω is exact, we have that S1 P π P M defines a trivial circle bundle, contradicting the fact that P is simply connected. 4. Proof of the Theorem (1.2) Let M be a surface of genus g 2 endowed with a Riemannian metric g of constant negative curvature. Let TM be the tangent bundle of M with the symplectic form ω 0 given by the pullback of the canonical symplectic form of T M by the bundle isomorphism induced by g. Consider on M the almost complex structure J such that Ω = g(j, ) is the area form (normalized such that Ω = 1). As defined in the introduction, the magnetic flow associated to g and Ω is the Hamiltonian flow given by the kinetic energy M H(x, v) = (1/2)g x (v, v) with respect to the twisted symplectic form ω 1 := ω 0 + π Ω. It is easy to see that a curve t (γ(t), γ(t)) defines an orbit of this flow if and only if γ(t) γ(t) = J( γ(t)). In other words, the trajectories are the curves with constant geodesic curvature. Consequently, the dynamics of this magnetic flow can be explicitly described: on the energy levels greater than one half, the magnetic flow is topologically equivalent to the geodesic flow (which has periodic orbits in every nontrivial homotopy class and does not have projected contractible periodic orbits, because there is no conjugate points); on the sphere bundle, it coincides with the horocycle flow and hence is minimal, that is, all the orbits are dense; and on the energy levels below than one half, all the orbits are closed and homotopic to the fibers of the sphere bundle. In particular, it defines (after a suitable reparametrization) a Hamiltonian circle action with infinite order on U 1/2 (since π 2 (M) = 0) such that we can apply the Theorem (1.1). The problem is the condition on TM \M 0 to be tame. To circumvent this problem we need the following proposition: Proposition 4.1. Given ǫ > 0 there exists an exact tame symplectic form ρ ǫ on TM \ M 0 such that ρ ǫ restricted to (TM \ M 0 ) \ U ǫ coincides with ω 1.

21 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 21 Proof. The proof relies on the method of expanding completion of convex manifolds introduced by Eliashberg and Gromov [12]. Firstly, we need the following key lemma which has intrinsic interest: Lemma 4.1. The vector field X on TM \M 0 given by (with respect to the horizontal and vertical subbundles) ( ( 1 X(x, v) = v 2Jv, 1 1 ) ) v v 2 is conformally symplectic with respect to ω 1, that is, L X ω 1 = ω 1. Proof. To fix the notation, let ω 0 (ξ, η) = π ξ, Kη Kξ, π η, where K is the curvature map, be the pullback of the canonical symplectic form of T M by the Riemannian metric and π Ω(ξ, η) = Jπ ξ, π η. Define X 1 (x, v) = ((1/ v 2 )Jv, 0) and X 2 (x, v) = (0, (1 1/ v 2 )v). Consider the Liouville form and the 1-form α (x,v) (ξ) = v, π ξ β (x,v) (ξ) = Jv, Kξ. Note that dα = ω 0 and d((1/ v 2 )β) = π Ω, where the last equality follows from the fact that (1/ v 2 )β defines a connection form on H 1 ((1/2) v 2 ) and that M is a hyperbolic surface. Let us compute the Lie derivative of ω 1 = ω 0 + π Ω with respect to X 1. Initially, we have that, such that But, we have that Consequently, Thus, i (Jv,0) ω 1 (ξ) = Jv, Kξ v, π ξ = β α L (Jv,0) ω 1 = d(i (Jv,0) ω 1 ) = d(β α). π Ω = d((1/ v 2 )β) = 1 v 2dβ 2 v 3dv β. dβ = v 2 π Ω + 2 dv β. v d(i (Jv,0) ω 1 ) = ω 0 + v 2 π Ω + 2 v dv β

22 22 LEONARDO MACARINI and so d(i (1/ v 2 )(Jv,0)ω 1 ) = 1 v 2ω 0 + π Ω + 2 v 3dv β 2 v 3dv i (Jv,0)ω 1 = 1 v 2ω 0 + π Ω + 2 v 3dv β 2 v 3dv (β α) = 1 v 2ω 0 + π Ω + 2 v 3dv α. On the other hand, the Lie derivative of ω 1 with respect to X 2 is given by since d(i (0,(1 (1/ v 2 ))v)ω 1 ) = d( α + 1 v 2α) = ω 0 1 v 2ω 0 2 v 3dv α i (0,(1 (1/ v 2 ))v)ω 1 = α + 1 v 2α. Consequently, we have that L X ω 1 = d(i X ω 1 ) = d(i X1 +X 2 ω 1 ) = 1 v 2ω 0 + π Ω + 2 v 3dv α + ω 0 1 v 2ω 0 2 v 3dv α = ω 0 + π Ω = ω 1. Remark. The previous lemma shows that the symplectic manifold ( ) H 1 (µ), ω 1 ǫ µ (1/2)+δ has disconnected contact-type boundary for any 0 < ǫ < 1/2 and δ > 0. It can be compared with McDuff s example [31]. It was proved in [9, 28] that the tangent bundle of a compact manifold endowed with any twisted symplectic form is tame. Thus, consider the almost complex structure J on TM such that g(, ) = ω 1 (J, ) defines a Riemannian metric with bounded sectional curvature and positive injectivity radius. By the previous lemma, given any ǫ > 0 sufficiently small, the subset M ǫ := (TM \M 0 )\U ǫ has contact type boundary, that is, its boundary is convex in the sense of Eliashberg-Gromov [12]. Thus, we can consider the set N ǫ := M ǫ M ǫ [0, ) (that we can identify with TM \ M 0 ) and a symplectic form ρ ǫ on N ǫ such that ρ ǫ coincides with ω 1 on M ǫ and the vector field / t is an extension of X to M ǫ [0, )

23 HOFER-ZEHNDER CAPACITY AND HAMILTONIAN CIRCLE ACTIONS 23 (that is, / t coincides with X on M ǫ ) such that L / t ρ ǫ = ρ ǫ. Note that ρ ǫ is exact, since ω 1 on M ǫ is exact and ρ ǫ restricted to M ǫ [0, ) is obviously exact. Consider now the almost complex structure J ǫ on N ǫ given by J Mǫ on M ǫ and by the pushforward dϕ t J dϕ t of J by the flow ϕ of / t on M ǫ [0, ). By the construction, J ǫ is invariant by ϕ on M ǫ [0, ). Define g ǫ (, ) = ρ ǫ (J ǫ, ). By our previous discussion, we have that g ǫ defines a geometrically bounded Riemannian metric on M ǫ. We need to prove that it also defines a geometrically bounded Riemannian metric on M ǫ [0, ). But, we have that ϕ tρ ǫ = e t ρ ǫ, that is, (ρ ǫ ) (x,t) = e t (ϕ t ) (ρ ǫ ) (x,0). Consequently, since J ǫ is invariant by ϕ on M ǫ [0, ), we obtain that (g ǫ ) (x,t) = e t (ϕ t ) (g ǫ ) (x,0). Thus, the sectional curvature K (x,t) (v, w) of g ǫ on (x, t) is given by e t K (x,0) (dϕ t v, dϕ t w) and the injectivity radius i(n ǫ, (x, t)) is greater than or equal to e t i(n ǫ, (x, 0)). But, g ǫ has bounded sectional curvature and positive injectivity radius on M ǫ, proving the proposition. Proof of Theorem (1.2): By our previous discussion, the magnetic flow restricted to an energy level k > 1/2 is topologically conjugated to the geodesic flow such that it has no projected contractible periodic orbits. Consequently, we have that c G HZ (U k, ω 1 ) = for every k > 1/2. On the other hand, we have that for energies k < 1/2 the (reparametrization of the) magnetic flow defines a free Hamiltonian circle action (of period 1) on U k of infinite order on TM \ M 0. By the previous proposition, given ǫ > 0 sufficiently small, there exists a tamed symplectic form ρ ǫ on (TM \ M 0 ) that coincides with ω 1 on (TM \ M 0 ) \ U ǫ. Thus, by the Theorem (1.1) we have that for every δ > 0 there exists a finite constant C > 0 such that, for every ǫ > 0 sufficiently small, c G HZ (U 1/2 δ \ U ǫ, ω 1 ) = c G HZ (U 1/2 δ \ U ǫ, ρ ǫ ) C. But, c G HZ (U 1/2 δ, ω 1 ) = sup c G HZ (U 1/2 δ \ U ǫ, ω 1 ) C. 0<ǫ<1/2