The Palais-Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications

We show that the Hamiltonian action satisfies the Palais-Smale condition over a"mixed regularity"space of loops in cotangent bundles, namely the space of loops with regularity $H^s$, $s\in (\frac 12, 1)$, in the base and $H^{1-s}$ in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.


Introduction
Let (W, ω) be a closed symplectic manifold, and let H : T × W → R be a smooth time-depending Hamiltonian, where T := R/Z. With the pair (H, ω) we can associate an Hamiltonian vector field X H by ı XH ω(·) = −dH(·), and hence an induced Hamiltonian system byẋ = X H (x). (1.1) One of the central problem in the theory of Hamiltonian systems is to find (one-)periodic solutions of (1.1). Such periodic solutions can be found as critical points of a suitable action functional: the Hamiltonian action of a contractible loop x : T → W is given by wherex : D → W is a map on the disk D coinciding with x on ∂D ∼ = T. For an arbitrary (W, ω), the functional A H is unfortunately not well-suited for finding critical points using classical Morse theory, and this has forced to develop new techniques to deal with the functional A H . One of the most powerful is certainly Floer theory: The Floer homology F H * (W, ω) of (W, ω) is the homology of a chain complex which is generated by contractible one-periodic solutions of (1.1). The boundary operator is defined by a suitable count of "negative L 2 -gradient flow lines" of A H ; these are cylinders u : R × T → W which are asymptotic to pairs of periodic orbits of X H and solve the nonlinear perturbed Cauchy-Riemann equation ∂ s u + J t (u)(∂ t u − X H (t, u)) = 0, (1.3) where (J t ) is a given loop of ω-compatible almost complex structures on W . As the notation suggests, F H * (W, ω) does not depend on the defining data H and J, and it is actually isomorphic to the singular homology of M with respect to suitable coefficient rings. This approach to the study of periodic orbits on general symplectic manifolds was introduced by Floer in the late 80's [15,16,17] under additional assumptions, and later extended more and more by several authors, see e.g. [26,31,19]. Floer homology can be defined also for non-compact symplectic manifolds which are suitably convex at infinity. In this case, the theory requires the use of Hamiltonians having a suitable behavior at infinity and is a genuine infinite dimensional homology theory: for instance, the Floer homology of T * M , the total space of the cotangent bundle of a closed manifold M , is isomorphic to the singular homology of the free loop space of M , see [6,8,35]. On particular symplectic manifolds however, a Morse theory for the Hamiltonian action functional A H can be obtained by more classical methods. This is the case of the torus T 2n , for which A H admits a smooth negative gradient flow on the space of contractible loops of Sobolev class H 1/2 . The space of loops of class H 1/2 in an arbitrary manifold does not have a good structure of an infinite dimensional manifold due to the fact that curves of class H 1/2 might have discontinuities, but since T 2n is a quotient of R 2n , the space of contractible H 1/2 -loops on T 2n can be identified with T 2n times the Hilbert space of H 1/2 -loops in R 2n having zero mean. Although strongly indefinite (meaning that all its critical points have infinite Morse index and co-index), the functional A H has good analytical properties on this space. By using finite dimensional approximations, the H 1/2 -approach was used by Conley and Zehnder [12] to prove Arnold's conjecture on T 2n five years before the birth of Floer homology; see also [36] for a simplified proof. Another symplectic manifold which can be dealt with by similar methods is CP n , see [18].
In this and a follow up paper we aim at enlarging the class of symplectic manifolds such that the action functional A H given by (1.2) induces a negative gradient flow with good compactness properties on a suitable space of free loops. In the present paper we will focus on the class of symplectic manifolds given by cotangent bundles T * M over a closed manifold M : T * M carries a natural symplectic form ω std , which in local coordinates (q, p) = (q 1 , p 1 , ..., q n , p n ) is given by ω std = dq ∧ dp. In this setting, the functional A H reads where λ std = pdq is the Liouville one-form. As domain of definition of A H we will take the bundle M 1−s over the Hilbert manifold of loops H s (T, M ), s ∈ ( 1 2 , 1) whose typical fibre is given by the space of H 1−s -vector fields along γ ∈ C ∞ (T, M ); for more details we refer to Section 2.
Other classes of manifolds that we aim at studying are given by twisted cotangent bundles and toric manifolds respectively. In the latter case, the isotropic foliation given by the torus action will play the role of the fibers of T * M . We will address these question in a forthcoming paper.
We recall that a C 1 -functional f : H → R, H Hilbert manifold, satisfies the Palais-Smale condition if every admits a converging subsequence.
where K ⊂ T * M is a compact subset, | · | is the norm induced by a Riemannian metric on M and c ∈ R is some constant. Then, for every s ∈ ( 1 2 , 1), A H : M 1−s → R satisfies the Palais-Smale condition. The Palais-Smale condition is, as the natural replacement of compactness, a key property in infinitedimensional critical point theory, and, as such, it is the starting point to obtain a "classical" Morse theory for the Hamiltonian action functional A H . Indeed, once one has a negative gradient flow with good analytical properties for a strongly indefinite functional, one can obtain a Morse theory e.g. using the Morse complex approach which is developed in [2,3,4,5]. In this approach, one constructs a chain complex looking at one-dimensional intersections of unstable and stable manifolds of pairs of critical points. The difference with respect to Floer homology is that the Cauchy-Riemann equation (1.3) is replaced by an ODE in an infinite dimensional manifold. We will address this problem in a forthcoming paper.
In this paper, we will apply Theorem 1.1 to give a simplified proof of a Theorem of Hofer and Viterbo [27] on the existence of closed characteristic leaves for certain contact type hypersurfaces in T * M . To this purpose, we recall that solutions of (1.1) for an autonomous (that is, time independent) Hamiltonian function H : T * M → R are contained in a level set of H; indeed, for any solution x : We set Σ := H −1 (κ), κ ∈ R, and suppose that Σ is compact, connected, and regular, that is, X H is nowhere vanishing on Σ. As it is well-known, the Hamiltonian dynamics on Σ essentially depends only on Σ, meaning that the dynamics of two different Hamiltonians both defining Σ only differ by time-reparametrization: The symplectic form ω std induces a line distribution on Σ via ℓ Σ := ker ω std | T * Σ , and X H | Σ ∈ ℓ Σ . The line distribution ℓ Σ → Σ is usually called the characteristic line bundle over Σ and induces a foliation of Σ (whose leaves are unparametrized Hamiltonian trajectories), called the characteristic foliation of Σ. In particular, finding periodic solutions to (1.1) with energy κ is equivalent to finding closed characteristic leaves on Σ = H −1 (κ The hypersurface Σ ⊂ (T * M, ω std ) is called of contact type, if there exists a one-form α ∈ Ω 1 (Σ) such that ω std | Σ = dα and α does not vanish on ℓ Σ , or, equivalently, if there exists a Liouville vector field Y on a neighborhood U of Σ (meaning that L Y ω std = ω std on U , where L denotes the Lie derivative) which is everywhere transverse to Σ (c.f. [28,Section 4.3]). In contact geometry, one of the most famous open conjecture -universally known as the Weinstein conjecture -states that every closed contact manifold possesses a closed Reeb orbit (in our language, a closed charateristic leave). Such a conjecture was originally formulated by Weinstein in the late 1970's [40] under the additional assumption that the cohomology do not vanish in degree one, and has received since then great attention. Nowadays, the conjecture is known to be true in dimension 3 [38]; in higher dimension, the conjecture is proved only in special cases. Theorem above can therefore be seen as a confirmation of the Weinstein conjecture for certain contact type hypersurfaces in cotangent bundles. To our best knowledge, the full Weinstein conjecture in cotangent bundles seems not to be known. In contrast, it is known to hold for compact contact type hypersurfaces in twisted cotangent bundles (T * M, ω std − π * σ), provided the closed two-form σ does not vanish on π 2 (M ); see [34]. Theorem 1 will be an immediate consequence of a nearby/dense existence theorem of closed leaves for O M -separating hypersurfaces which are not necessarily of contact type. Roughly speaking, if the contact condition is dropped, then one cannot expect the existence of closed characteristic leaves on Σ, as many explicit examples show (see e.g. [21,22,23]). However, one might hope to find closed characteristic leaves on hypersurfaces which are arbitrarily close to Σ. To set the notation we define, following a suggestion of Kai Zehmisch, a thickening of Σ to be a diffeomorphism Ψ : For every σ ∈ (−a, a), we set Σ σ := Ψ({σ} × Σ), and denote with P(σ) the set of closed characteristic leaves contained in Σ σ . Notice that, if Σ is regular and O M -separating, then up to shrinking the interval (−a, a) we can assume that each Σ σ is regular and O M -separating. Also, every thickening can be realized as the flow of some vector field on T * M which is transverse to Σ. Theorem 1.3. Let Σ ⊂ T * M be a compact, connected, O M -separating hypersurface, and let Ψ be a thickening of Σ. Then there exists a sequence σ n → 0 such that P(σ n ) = ∅ for all n ∈ N. Moreover, we can find a constant α = α(Ψ) > 0 such that for every n ∈ N there exists P n ∈ P(σ n ) with 0 < Pn λ std < α.
Our proof of Theorem 1.3 follows closely the original argument of Hofer-Viterbo, nevertheless the new functional setting will enable us to strongly simplify the argument in its key technical parts. Indeed, Hofer-Viterbo's setting corresponds in the notation above to the case s = 1, and it is well-known that in this case the Hamiltonian action A H does not satisfy the Palais-Smale condition, because of the lack of compactness in the Hamiltonian part of the functional. Therefore, one has to introduce approximations of A H to achieve compactness, and then pass to the limit for the approximations going to zero using a very delicate diagonal argument. In our case instead we can work directly with the functional A H , see Section 3.
Structure of the paper. In Section 2, we introduce the necessary background on the Hamiltonian action A H and on the functional setting, and prove Theorem 1.1. In Section 3, we show how Theorems 1.2 and 1.3 follow from an existence theorem of critical points for A H , which will be then proved in Section 4.

The Hamiltonian action functional
In this section, we introduce the functional setting for the Hamiltonian action A H in (1.2) on the cotangent bundle T * M of a closed manifold M and prove Theorem 1.1. We start recalling some well-known facts about Riemannian metrics on M which will be useful later on.
Here, ∇γ denotes the covariant derivative along γ associated with the Levi-Civita connection. The curve γ is called the geodesic through the point q with initial velocity v. It is well-known that periodic orbits of the geodesic flow are in one-to-one correspondence with the critical points of the energy functional where |·| := g γ(t) (·, ·) is the norm induced by the Riemannian metric, and H 1 (T, M ) is the Hilbert manifold of loops in M of class H 1 , i.e. absolutely continuous loops with square integrable derivative. More details on the Hilbert manifold structure of H 1 (T, M ) and on the properties of the functional E can be found e.g. in [30] (see also [7]). Here we just recall that the functional E satisfies the Palais-Smale condition, meaning that any sequence (γ admits a converging subsequence. In particular, e is a critical value of E. The next lemma is certainly well-known to the experts, however we include its proof here for the reader's convenience. A standard result in Riemannian geometry, orginally proved by Abraham [1] (see also [9]), asserts that the set of Riemannian metrics on M all of whose closed geodesics are non-degenerate (that is, the set of bumpy metrics) is residual in the set of all Riemannian metrics. Thus, pick one such bumpy metric g, and let e ∈ [0, +∞) be a critical value for the corresponding energy functional E. By the discussion above we can assume that e > 0. Since E satisfies the Palais-Smale condition, the set crit (E) ∩ E −1 (e) is compact. Moreover, in virtue of the Morse Lemma for the functional E (c.f. [30, Corollary 2.4.8]), any connected component of crit (E) ∩ E −1 (e) must be an isolated critical manifold. In particular, crit (E) ∩ E −1 (e) consists of finitely many non-degenerate critical manifolds: indeed, suppose by contradiction that K 1 , K 2 , ... are the connected components of crit (E) ∩ E −1 (e), and for each k ∈ N pick γ k ∈ K k . Then, (γ k ) ⊂ H 1 (T, M ) is a Palais-Smale sequence for E and hence, up to extracting a subsequence, it must converge to some γ ∈ crit (E) ∩ E −1 (e). Therefore, the sequence (γ k ) must be eventually constant.
Finally, since crit (E)∩E −1 (e) consists of finitely many critical manifolds, it follows again from [30, Corollary 2.4.8] that e is an isolated critical value of E.
2.2. The setting. Let M be a closed n-dimensional manifold. Hereafter we identify tangent and cotangent bundles of M by means of the musical isomorphism ♭ : T M → T * M, X → ♭(X) := g π(X) (X, ·) 1 A critical manifold C for E is called non-degenerate if the nullity of the Hessian of E at any γ ∈ C equals the dimension of C.
induced by a fixed metric g on M . As we now recall, for s > 1 2 the fractional Sobolev space H s (T, M ) of H s -loops in M has a natural structure of Hilbert manifold, and for any r ∈ R there exists a vector bundle over H s (S 1 , M ), whose typical fiber is given by "vector fields of regularity H r " along a smooth loop (for r < 0 these are actually elements in the dual space).
We denote by |·| q := g q (·, ·) the norm induced by the Riemannian metric g on T q M . For q ∈ C ∞ (S 1 , M ), the metric g induces an L 2 -scalar product on the space Γ(q * T M ) of smooth vector fields along q by The induced norm will be denoted by · without further specifying the loop q. Similarly, we denote by where ∇q denotes the covariant derivative along q and ∇ * q its adjoint operator. Then, there exists d( q ∞ ) > 0, and c, C > 0 depending only on g such that Proof. See Appendix A.
For q ∈ C ∞ (S 1 , M ) we denote by {λ j (q)} j∈N the set of ordered eigenvalues of ∇ * q •∇q, and with {ξ j (q)} j∈N the corresponding set of orthonormal eigenvectors. For all r ≥ 0 we set and denote with H −r (q * T M ) := (H r (q * T M )) * the dual space to H r (q * T M ). Notice that we can interpret elements in H −r (q * T M ) as formal series: The self-adjoint operator ∇ * q • ∇q might have non-trivial (though finite dimensional) kernel, which is namely generated by 1-periodic parallel vector fields along q. We set We also define for r ∈ R the operator A r = A r (q) := (1 + ∇ * q ∇q) r/2 by so that A r p 2 = p r holds for all p ∈ H r (q * T M ). Notice that, by Lemma 2.2 we have that: • for all r > r ′ , the inclusion H r (q * T M ) → H r ′ (q * T M ) is continuous and compact, and • for all r > 1 2 , the inclusion H r (q * T M ) → C 0 (q * T M ) is continuous and compact. Lemma 2.3. For every r ∈ R the operator A r commutes with ∇q.
Proof. It suffices to check that
For every q ∈ M we denote by exp q : T q M → M the exponential map, and choose ǫ > 0 smaller than the injectivity radius of M . For every q ∈ C ∞ (S 1 , M ) let H s (q * O ǫ ) ⊂ H s (q * T M ) be the space of H s -vector fields along q whose image is entirely contained in the ǫ-ball around the zero-section of q * T M , and define are continuous homotopy equivalences. Extending the definition of H r (q * T M ) to any loop in H s (S 1 , M ) by mean of the differential of the map Exp q yields now the desired vector bundle π r : M r → H s (S 1 , M ). Such a bundle carries a natural Riemannian metric, which on the typical fiber is given by (2.2). We denote this metric again with ·, · r , and observe that it can be equivalently written as For our purposes, it will be convenient to define another metric for the bundle π r , which will be denoted by ·, · emb r ; as it turns out, ·, · emb r is equivalent to ·, · r on every bundle chart, thus on every bounded set (see Lemma 2.5), but in general the two metrics are not globally equivalent (see Appendix B). To define ·, · emb r we proceed as follows: By the isometric embedding theorem of Nash-Moser, (M, g) admits an isometric embedding into R N for some N ∈ N large enough. This yields an equivalent definition of as well as a scalar product ·, · emb r on Γ(q * T M ) for every r ≥ 0 and every q ∈ C ∞ (S 1 , M ): where ∆ξ :=ξ. As usual, we denote the extension of (2.3) to any loop in The operators L 0 and L 1 are self-adjoint and positive, and clearly L 0 ≥ L 1 , meaning that the difference L 0 − L 1 is a positive operator. It is a result known as the Löwner-Heinz theorem [24] (see also Kato [29]) that the function f (t) = t r is, for every r ∈ [0, 1], operator monotone over the interval (0, +∞), meaning that if A ≥ B then A r ≥ B r . This implies that L r 0 ≥ L r 1 for all r ∈ [0, 1]. Therefore, since the function t → −t −1 is operator monotone too [20], we obtain that L −r 0 ≤ L −r 1 , which is equivalent to saying that · emb −r ≤ · −r , ∀r ∈ [0, 1]. . Then up to passing to a subsequence we have that q n → q ∈ C 0 (S 1 , M ) uniformly.
Proof. We see (q n ) as a sequence in H s (S 1 , R N ). By (2.4) we have that q n emb s−1 ≤ c, ∀n ∈ N. Therefore, q n emb s ≤ q n 2 + q n emb s−1 ≤c, ∀n ∈ N, for some constantc > 0, where we used the fact that M is compact. In particular, the sequence (q n ) ⊂ H s (S 1 , R N ) is (s − 1 2 )-Hölder equicontinuous [13,Theorem 8.2], and since q n (·) ⊂ M for all n ∈ N, this implies that the hypothesis of the Ascoli-Arzelá theorem are satisfied. Therefore, there exists q ∈ C 0 (S 1 , R N ) such that q n → q uniformly. Now, by pointwise convergence we readily see that q ∈ C 0 (S 1 , M ).
We finish this section showing that the metrics ·, · emb r and ·, · r are equivalent on every bundle chart, and hence on every bounded set B ⊂ H s (S 1 , M ). M ). Then, for every γ ∈ U s q the scalar products ·, · emb r and ·, · r are equivalent on H r (γ * T M ). As a corollary, for every B ⊂ H s (S 1 , M ) bounded, the metrics ·, · emb r | B and ·, · r | B are equivalent.
Proof. Let q ∈ C ∞ (S 1 , M ). By [33, Proposition 5.6.1], there exists a constant ǫ > 0 such that L 1 ≥ ǫL 0 , which in virtue of the Heinz-Loewner theorem implies that , that is, that the scalar products ·, · emb r and ·, · r are equivalent in H r (q * T M ). Write now γ ∈ U s q as γ = Exp q (ξ). The assertion follows from the fact that the local representation of the metric ·, · emb r resp. ·, · r of H r (Exp q (ξ) * T M ) in H r (q * T M ) is equivalent to the Hilbert metric ·, · emb r resp. ·, · r in H r (q * T M ) (see the proof of Theorem 1.4.5 in [30]), combined with the fact that ·, · emb r and ·, · r are equivalent in H r (q * T M ).
The equivalence of the metrics on bounded sets follows now immediately from the fact that every bounded set B ⊂ H s (S 1 , M ) can be covered by finitely many local charts. This follows from Lemma 2.4; the details are left to the reader.
where δ : T M → R, δ(q, p) = H(t, q, p) − 1 2 |p| 2 q , is a smooth compactly supported function. We also set To see that A H is well-defined and of class C 1,1 on M 1−s , we embed M isometrically into R N . This induces an embedding of T M into R 2N , as well as an embedding of M s−1 into E := H s (S 1 , R N ) × H 1−s (S 1 , R N ). We now extend A H to E by extending q, p with the same formula, and H : T M → R to any smooth Hamiltonian on R 2N which is quadratic at infinity. On T M 1−s we consider the splitting into horizontal and vertical subbundles induced by the L 2 -connection, which is nothing else but the Levi-Civita connection applied pointwise. Notice that such a splitting coincides with the splitting that one naturally obtains by embedding M 1−s into E. Denoting with ξ h and ξ v respectively the horizontal and vertical part of a tangent vector ξ ∈ T (q,p) M 1−s , we define a Riemannian metric on M 1−s by Following [28,Section 3.3], and using the fact that the gradient of the restriction is the projection of the gradient, we obtain Lemma 2.6. A H is well-defined over M 1−s and of class C 1,1 . Moreover, for s ∈ ( 1 2 , 1) the operator d∆ is compact. Finally, critical points of A H correspond to one-periodic solutions of Hamilton's Equation (1.1).
We shall mention that, for s ∈ ( 1 2 , 1), A H is actually more regular than C 1,1 even though it is in general not smooth. More precisely, arguing as in Appendix A.3 in [28] one can see that for every s ∈ ( 1 2 , 1) there exists k = k(s) ∈ N such that A H : M 1−s → R is of class C k , with k(s) → +∞ as s ↓ 1 2 . We recall that a sequence (q n , p n ) ⊂ M 1−s is called a Palais-Smale sequence for A H if A H (q n , p n ) → a for some a ∈ R and dA H (q n , p n ) → 0. Without loss of generality we can assume that both q n and p n are smooth. Here, with slight abuse of notation we denote with · the dual norm on T * (qn,pn) M 1−s induced by the Riemannian metric ·, · M 1−s given by (2.6). We are now in position to prove Theorem 1.1, which we reformulate for the reader's convenience with the following Proof of Lemma 2.8. We divide the proof in several steps.
Step 1. q n s−1 is uniformly bounded iff p n s−1 is uniformly bounded. For any v n ∈ H 1−s (q * n T M ) with v n 1−s ≤ 1 we compute where  * 1−s : L 2 (q * n T M ) → H 1−s (q * n T M ) is the adjoint operator to the inclusion  1−s : H 1−s (q * n T M ) → L 2 (q * n T M ). A straightforward computation shows that and similarly  * 1−s p n 1−s = p n s−1 . The claim follows from (2.7).
Step 3. ∇q n p n −s is uniformly bounded. We compute for h n ∈ H s (q * n T M ): c h n s ≥ dA H (q n , p n )[(h n , 0)] = ∇q n h n , p n − 1 0 ∂ q δ(t, q n (t), p n (t)) · h n dt ≥ ∇q n h n , p n − c h n s from which we deduce that ∇q n h n , p n ≤ c h n s .
Setting h n := ((1 + ∇ * qn ∇q n ) −s • ∇q n )p n and using Lemma 2.3 we obtain ∇q n p n 2 −s ≤ c ∇q n p n −s which readily implies the claim.
Step 4. p n 1−s is uniformly bounded. We write p n = p par n +p n , where p par n is the parallel component which implies that p par n , thus by (2.9) also p n 1−s , is uniformly bounded.
Proof of Proposition 2.7. Let (q n , p n ) be a Palais-Smale sequence for A H . By Lemmas 2.4 and 2.8, up to extracting a subsequence we have that q n →q uniformly to someq ∈ C 0 (S 1 , M ). Therefore, up to neglecting finitely many n's, we can suppose that all (q n , p n ) lie inside a bundle chart for M 1−s around a smooth loop q, where for every r ∈ [−1, 1] the metrics ·, · r and ·, · emb r are equivalent in virtue of Lemma 2.5. From the proof of Lemma 2.8, Step 1, we see that denotes the vertical part of the L 2 -gradient of ∆. Since d∆ is a compact operator (see Lemma 2.6), up to a subsequence we have that  * 1−s Grad L 2 ∆(q n , p n ) v converges in H 1−s . Therefore,  * 1−s (q n − p n ) converges in H 1−s , which is the same as saying thatq n − p n converges in H s−1 . Now, p n converges in L 2 (being bounded in H 1−s ), and hence in particular converges in H s−1 . This implies thatq n converges in H s−1 , which in turns yields the convergence of q n in H s .
On the other hand, from Step 3 in the proof of Lemma 2.8 we have that where  * s : L 2 (q * n T M ) → H s (q * n T M ) is the adjoint operator to the inclusion  s : H s (q * n T M ) → L 2 (q * n T M ), and Grad L 2 ∆(q n , p n ) h , · = d q ∆(q n , p n )[·] denotes the horizontal part of the L 2 -gradient of ∆. Again, the compactness of d∆ yields that  * s ∇q n p n converges (up to a subsequence) in H s , which is equivalent to saying that ∇q n p n converges in H −s . This implies that, in the notation of the proof of Lemma 2.8,p n converges in H 1−s . Since the kernel of ∇ * qn • ∇q n is finite-dimensional, we also have that p par n converges up to a subsequence in L 2 (and hence in H 1−s ). Therefore, p n converges in H 1−s .

Proof of Theorems 1.2 and 1.3
In this section we prove Theorems 1.2 and 1.3 on the existence of closed characteristic leaves for compact regular O M -separating hypersurfaces in cotangent bundles. To this purposes we will employ the correspondence between one-periodic Hamiltonian orbits and critical points of the Hamiltonian action A H . As the Hamiltonian dynamics depends up to time reparametrization only on the hypersurface itself, we will choose a suitable one-parameter family of Hamiltonian functions, which we now construct, to perform the argument.

3.1.
A special Hamiltonian function. We choose a bumpy metric g on M and pull-back the standard symplectic form ω on T * M to T M using the musical isomorphism. Given a compact regular O M -separating hypersurface Σ ⊂ T M and a thickening Ψ : (−a, a) × Σ → T M , we aim at proving that there is a sequence of hypersurfaces Σ σn := Ψ({σ n } × Σ), σ n → 0, each carrying a closed characteristic leaf.
By assumption we can find 0 < ρ 0 < ρ 1 < +∞ such that denotes the open disk bundle with radius ρ defined by g. We now fix 0 < δ < a and choose a cut-off function χ : (−1, 1) → R such that Furthermore, we pick a smooth function ϕ : R → R such that and define a smooth family of Hamiltonians H r : T M → R, r > 0, by H r (q(t), p(t)) dt, whose critical points are the 1-periodic orbits of the Hamiltonian flow defined by H r and ω. However, not all critical points of A r are relevant for us, for we are looking for critical points lying in Σ σ for some σ ∈ [−δ, δ]. Therefore, it will be essential for our purposes to understand which kind of critical points can appear as critical points of the Hamiltonian action A r . Before doing that we shall observe that periodic orbits with period T = 1 for the Hamiltonian flow of H r which are contained in some Σ σ are detected as critical points of the Hamiltonian action A T r . Indeed, let x : R/T Z → T M be a T -periodic Hamiltonian orbit for H r contained in Σ σ , and consider the reparametrized curvex : R/Z → T M,x(t) := x(T t). Theṅ x(t) = Tẋ(T t) = T X Hr (x(T t)) = T X Hr (x(t)).
On the other hand, on Σ σ we have that H r = χ(σ) · r, H T r = χ(σ) · T r, so that H T r = T · H r on Σ σ . Therefore, x(t) = T X Hr (x(t)) = X T ·Hr (x(t)) = X HT r (x(t)), that is,x is a 1-periodic orbit for the Hamiltonian flow of H T r , and hence belongs to the critical point set of A T r . This shows that the family of Hamiltonians H r detects all possible closed characteristic leaves contained in Σ σ , for σ ∈ [−δ, δ].
We now take a closer look at critical points of A r by first noticing that critical points of A r on non-regular energy levels are necessarily constant, and hence have non-positive A r -action. Also, regular energy levels H −1 r (a) are either of the form Σ σ for some σ ∈ [−δ, δ], or (for a > r) sphere bundles over M , so that for every a > r projected Hamiltonian orbits are geometrically closed geodesics. However, the parametrizations do not coincide if r < a < r + 2ρ 2 1 with the usual parametrizations of closed geodesics, as the Hamiltonian H r is not kinetic. We will refer to such critical points as fake closed geodesics. For a ≥ r + 2ρ 2 1 critical points of A r contained in H −1 r (a) are instead of the form (γ,γ), for γ closed geodesic on (M, g) of length 1. Indeed, for a ≥ r + 2ρ 2 1 we have that H r (q, p) = 1 2 |p| 2 q + r.
For any critical point (q, p) of A r contained in H −1 r (a), a ≥ r + 2ρ 2 1 , we additionally have Our next step will be to show that, for r sufficiently large, fake closed geodesics cannot arise as critical points of A r with non-negative action. Indeed, Hamilton equations for fake closed geodesics read Therefore, where we have used the fact that t → |p(t)| is constant. Now set and observe that, for all r ≥ r 0 and all fake closed geodesics we have A r (q, p) ≤ −1, for |p(0)| ≤ 2ρ 1 . Summarizing, we have shown the following Proof of Theorem 1.3. Let r 0 be given by (3.4). By Lemma 3.1 we can assume that all the critical points of A r , r ≥ r 0 , are closed geodesics with A r (q r , p r ) = E(q r ) − r.
Since g was chosen to be bumpy, by Lemma 2.1 the set of critical values of E is discrete, and hence A r (q r , p r ) + r = E(q r ) = const. ∀r ≥ r 0 .
However, this would imply that A r (q r , p r ) < 0 for r large enough. Therefore, there exists R ≥ r 0 such that (q R , p R ) is a critical point for A R lying in Σ σ for some σ ∈ [−δ, δ]. If (q R , p R )(R) ⊂ Σ then we are done. Otherwise we claim that where α is the constant given by Theorem 3.2. Indeed, for all r ≥ r 0 smaller than the infimum above we have that (q r , p r ) is a closed geodesic and hence, using the uniform boundedness of r → A r (q r , p r ) and Lemma 2.1, we obtain A r (q r , p r ) + r = E(q r ) = E(q r0 ) = A r0 (q r0 , p r0 ) + r 0 ≤ α + r 0 which implies that r ≤ α + r 0 − A r (q r , p r ) ≤ α + r 0 .
In particular, we can find R ≤ α + 2r 0 such that (q R , p R ) lies in Σ σ for some σ ∈ [−δ, δ]. This yields The claim follows now by recursively choosing δ > 0 such that Observe that (3.5) yields the desired uniform estimate on the symplectic action of the sequence of closed characteristic leaves, for where P R is the characteristic leaf determined by (q R , p R ).
The proof of Theorem 1.2 given Theorem 1.3 is standard, however we include it here for completeness.
Proof of Theorem 1. Let Y be a Liouville vector field on a neighborhood of Σ such that Y ⋔ Σ, and let ϕ σ be its flow. Since Σ is compact, the map is a diffeomorphism onto an open precompact neighborhood U of Σ, for a > 0 sufficiently small. From and hence, since (ϕ 0 ) * = id, we conclude that (ϕ σ ) * ω = e σ ω. Assume now that v ∈ ℓ Σ (x); then for all w ∈ T x Σ we have Since ϕ σ is a diffeomorphism we conclude that T ϕ σ (x)[v] ∈ ℓ Σσ (ϕ t (x)) . Therefore, T ϕ σ : ℓ Σ → ℓ Σσ is an isomorphism of line bundles; in particular, ϕ σ induces a one-to-one correspondence P → ϕ σ (P ) between P(0) and P(σ) for all σ ∈ (−a, a). The claim follows now from Theorem 1.3.

Remark 3.
3. An hypersurface Σ ⊂ T * M for which a thickening as in the proof above exists is called stable.
Obviously, Theorem 1 extends to compact stable hypersurfaces which are O M -separating. It is worth noticing that the stability condition is in general weaker than the contact condition, see e.g. [11].

Proof of Theorem 3.2
In this section we prove Theorem 3.2. The proof is based on two key ingredients: one is essentially the Palais-Smale condition for the functional A r , the other is the fact that we have a transfer homomorphism in cohomology for the negative gradient flow of A r , as we now show. Hereafter we suppose that r > 0 is fixed.

4.1.
The key propositions. We start recalling the minimax lemma for the Hamiltonian action A r . The proof follows from the Palais-Smale condition for A r by standard arguments and will be omitted.
In what follows C is an arbitrary compact subset of H 1 (S 1 , M ) ⊂ H s (S 1 , M ). This implies that where with slight abuse of notation we denote the bundle projection π 1−s : Here, α > 0 is some constant independent of r. Indeed, by construction we have for some constant β > 0, and hence on π −1 (C) we obtain Notice that if C were compact in H s (S 1 , M ) but unbounded in H 1 (S 1 , M ) then the supremum above would be infinite. Since A r satisfies the Palais-Smale condition, we can find ǫ > 0 and γ > 0 such that Therefore, for γ ′ := γ + α ǫ 2 + 1 we have that where O H s denotes the zero-section of M 1−s → H s (S 1 , M ). Indeed, let (q, p) ∈ π −1 (C) ∩ { p 1−s ≥ γ ′ }; then by the assumption on γ ′ , φ t r (q, p) ∈ H s (S 1 , M ) ∩ { p 1−s ≥ γ} for t ∈ [0, α ǫ 2 + 1], hence in particular is not contained in O H s , and for t > α ǫ 2 + 1 we have that is, A r (φ t r (q, p)) < 0. For a given t 0 > 0 we pick a cut-off function ϕ : [0, +∞) → [0, 1] such that for some γ ′′ > γ ′ + 1 such that and consider the truncated normalized negative gradient vectorfield With a slight abuse of notation we denote the flow of V r again with φ t r . The next proposition states that φ t0 r induces a transfer homomorphism in cohomology; in particular, π −1 (C) is not displaced from O H s by φ t0 r . This represents the analogue of the intersection proposition [27, Proposition 1] in our setting; we also refer to [28, Chapter 3, Lemma 10] for an analogous statement in the linear setting. In what follows, H * denotes the Alexander-Spanier cohomology with coefficients in some given commutative ring.
Proposition 4.2. There exists an injective group homomorphism β t0 such that the following diagram commutes The rest of this subsection will be devoted to the proof of Proposition 4.2. The key ingredient of the proof will be a representation lemma for the flow φ t r analogous to [27,Lemma 7]. If we denote by D the L 2 -connection, then we readily see by working in local coordinates that where R denotes the Riemann curvature tensor, hence in particular is a zero-order operator. Therefore,  . Denote by σ t r := π • φ t r the projection to H s (S 1 , M ) of the flow φ t r , and by P (t, 0) the L 2 -parallel transport along σ · r from H 1−s ((σ 0 r (·)) * T M ) to H 1−s ((σ t r (·)) * T M ). Then, φ t r (q, p) = P (t, 0) a(t, (q, p)) ·  * 1−sq + b(t, (q, p)) · p + K(t, (q, p)) , where: • a : R × M 1−s → (−∞, 0] maps bounded sets into precompact sets and satisfies a(0, ·) ≡ 0, • b : R × M 1−s → (0, +∞) maps bounded sets into precompact sets and satisfies b(0, ·) ≡ 1, and • K : R × M 1−s → M 1−s is a "compact" fibre-preserving map such that K(0, ·) ≡ 0.
Remark 4.4. In the proposition above, by compact we mean that, for any compact set C ⊂ H s (S 1 , M ) and any bounded set B ⊂ π −1 (C) we have that K(t, B) ⊂ M 1−s is precompact.
We readily see that all the operators appearing in the functions κ 1 and κ 2 are compact, hence the fact that K is a compact fibre-preserving map follows from the fact that parallel transport "behaves well" with respect to compactness; for more details we refer to [27,Section 3].
Proof of Proposition 4.2. In virtue of the representation Lemma 4.3 we see that the problem , is equivalent to finding solutions of 0 = a(t, (q, p)) ·  * 1−sq + b(t, (q, p)) · p + K(t, (q, p)), (4.3) on π −1 (C). We equivalently rewrite (4.3) as · a(t, (q, p)) ·  * 1−sq + K(t, (q, p)) =: T (t, (q, p)), (4.4) where T : [0, t 0 ] × π −1 (C) → π −1 (C) is a fibre-preserving map mapping bounded sets into precompact sets and additionally satisfying T (0, ·) ≡ 0 In both cases, we obtain a bounded continuous non-increasing minimax function via The fact that θ is non-increasing and bounded is obvious. By Proposition 4.2 we also see that thus θ(r) ≥ 0. As far as continuity is concerned, we observe that for r 1 ≥ r 2 and fixed t ≥ 0 we have (for sake of simplicity we assume that the both suprema are attained, say at (q 1 , p 1 ) and (q 2 , p 2 ) respectively) 0 ≤ sup φ t r 2 (π −1 (C)) where ∆ : M 1−s → R and δ : T M → R are as in (2.5). Therefore, we obtain (also here we assume for sake of simplicity that both infima are attained, say at t 1 and t 2 respectively) where Q is the associated quadratic form and S ⊂ H is the unit sphere, we deduce that and it is now an easy exercise to show that    λ j (Q − ) = c(j 2 − d( q ∞ )), λ j (Q + ) = C(j 2 + d( q ∞ )).
Appendix B. Non global equivalence of the metrics ·, · r and ·, · 1 remb In this section we provide an example showing that the metrics ·, · r and ·, · emb r defined in Section 2 are not globally equivalent for every r ∈ (0, 1] (notice that for r = 0 the two metrics coincide by construction).
For fixed n ∈ N, we observe that, for every t ∈ T, the vectors q n (t) and p n (t) form an orthonormal basis of T qn(t) R 2 , and p n (t) ∈ T qn(t) S 1 . In particular, p n ∈ T qn H s (S 1 , M ). For any w ∈ Γ(q * n T S 1 ) we havė w(t) = ẇ(t), p n (t) · p n (t) + ẇ(t), q n (t) · q n (t) = ∇q n w(t) + ẇ(t), q n (t) · q n (t).