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

## Abstract

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{1}{2}, 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,\omega )$$ be a closed symplectic manifold, and let $$H:\mathbb {T}\times W \rightarrow \mathbb {R}$$ be a smooth time-depending Hamiltonian, where $$\mathbb {T}:=\mathbb {R}/\mathbb {Z}$$. With the pair $$(H,\omega )$$ we can associate a Hamiltonian vector field $$X_H$$ by

\begin{aligned} \imath _{X_H}\omega (\cdot ) = -\mathrm {d}H(\cdot ), \end{aligned}

and hence an induced Hamiltonian system by

\begin{aligned} \dot{x} = X_H(x). \end{aligned}
(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:\mathbb {T}\rightarrow W$$ is given by

\begin{aligned} {\mathbb {A}}_H(x) := \int _{{\mathbb {D}}} {\bar{x}}^*\omega - \int _\mathbb {T}H(t,x(t))\, \mathrm {d}t, \end{aligned}
(1.2)

where $${\bar{x}}:{\mathbb {D}}\rightarrow W$$ is a map on the disk $${\mathbb {D}}$$ coinciding with x on $$\partial {\mathbb {D}}\cong \mathbb {T}$$. For an arbitrary $$(W,\omega )$$, the functional $${\mathbb {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 it. One of the most powerful is certainly Floer theory: The Floer homology $$FH_*(W,\omega )$$ of $$(W,\omega )$$ 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 $${\mathbb {A}}_H$$; these are cylinders $$u:\mathbb {R}\times \mathbb {T}\rightarrow W$$ which are asymptotic to pairs of periodic orbits of $$X_H$$ and solve the nonlinear perturbed Cauchy–Riemann equation

\begin{aligned} \partial _s u + J_t(u) (\partial _t u - X_H(t,u))=0, \end{aligned}
(1.3)

where $$(J_t)$$ is a given loop of $$\omega$$-compatible almost complex structures on W. As the notation suggests, $$FH_*(W,\omega )$$ 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 [12,13,14] under additional assumptions, and later extended more and more by several authors, see e.g. [16, 23, 28]. 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 [3, 5, 32].

On particular symplectic manifolds however, a Morse theory for the Hamiltonian action functional $${\mathbb {A}}_H$$ can be obtained by more classical methods. This is the case of the torus $$\mathbb {T}^{2n}$$, for which $${\mathbb {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 $$\mathbb {T}^{2n}$$ is a quotient of $$\mathbb {R}^{2n}$$, the space of contractible $$H^{1/2}$$-loops on $$\mathbb {T}^{2n}$$ can be identified with $$\mathbb {T}^{2n}$$ times the Hilbert space of $$H^{1/2}$$-loops in $$\mathbb {R}^{2n}$$ having zero mean. Although strongly indefinite (meaning that all its critical points have infinite Morse index and co-index), the functional $${\mathbb {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  to prove Arnold’s conjecture on $$\mathbb {T}^{2n}$$ five years before the birth of Floer homology; see also  for a simplified proof. Another symplectic manifold which can be dealt with by similar methods is $$\mathbb {C}\mathbb P^n$$, see .

In this and a follow up paper we aim at enlarging the class of symplectic manifolds such that the action functional $${\mathbb {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 cotangent bundles: the total space $$T^*M$$ of the cotangent bundle over a closed manifold M carries a natural symplectic form $$\omega _{\mathrm {std}}$$, which in local coordinates $$(q,p)=(q_1,p_1,...,q_n,p_n)$$ is given by $$\omega _{\mathrm {std}}= \mathrm {d}q \wedge \mathrm {d}p$$. In this setting, the functional $${\mathbb {A}}_H$$ reads

\begin{aligned} {\mathbb {A}}_H(x) = \int _\mathbb {T}x^*\lambda _{\mathrm {std}}- \int _\mathbb {T}H(t,x(t))\, \mathrm {d}t, \end{aligned}

where $$\lambda _{\mathrm {std}}= p\mathrm {d}q$$ is the Liouville one-form. As domain of definition of $${\mathbb {A}}_H$$ we will take the bundle $${\mathcal {M}}^{1-s}$$ over the Hilbert manifold of loops $$H^s(\mathbb {T},M)$$, $$s\in (\frac{1}{2},1)$$ whose typical fibre is given by the space of $$H^{1-s}$$-vector fields along $$\gamma \in C^\infty (\mathbb {T},M)$$, and will endow $${\mathcal {M}}^{1-s}$$ with a Riemannian metric which is naturally induced by the choice of a Riemannian metric on M. For more details we refer to Sect. 2. Another class of manifolds that we aim at studying is given by toric manifolds. In this 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:{\mathcal {H}}\rightarrow \mathbb {R}$$, $${\mathcal {H}}$$ Hilbert manifold endowed with a metric $$\langle \cdot ,\cdot \rangle$$, satisfies the Palais–Smale condition if every sequence $$(\gamma _n)\subset {\mathcal {H}}$$ such that

\begin{aligned} f(\gamma _n) \rightarrow c, \quad \Vert \mathrm {d}f (\gamma _n)\Vert \rightarrow 0, \end{aligned}

admits a converging subsequence. Here $$\Vert \cdot \Vert$$ denotes the (dual) metric on $$T^*{\mathcal {H}}$$ induced by $$\langle \cdot ,\cdot \rangle$$.

### Theorem 1.1

Let M be a closed manifold, and let $$\pi :T^*M\rightarrow M$$ be its cotangent bundle. Furthermore, let $$H:\mathbb {T}\times T^*M\rightarrow \mathbb {R}$$ be a smooth time-depending Hamiltonian function satisfying the growth condition

\begin{aligned} H(t,q,p) = \frac{1}{2} |p|_q^2 + c, \quad \forall (q,p)\in T^*M\setminus K, \ \forall t\in \mathbb {T}, \end{aligned}

where $$K\subset T^*M$$ is a compact subset, $$|\cdot |$$ is the norm induced by a Riemannian metric on M and $$c\in \mathbb {R}$$ is some constant. Then, for every $$s\in (\frac{1}{2} ,1)$$, $${\mathbb {A}}_H:\mathcal M^{1-s}\rightarrow \mathbb {R}$$ satisfies the Palais–Smale condition.

The Palais–Smale condition is, as the natural replacement of compactness, a key property in infinite-dimensional critical point theory, and, as such, it is the starting point to obtain a “classical” Morse theory for the Hamiltonian action functional $${\mathbb {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  (see also references therein). 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  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\rightarrow \mathbb {R}$$ are contained in a level set of H; indeed, for any solution $$x:I\rightarrow T^*M$$ of (1.1) we have

\begin{aligned} \frac{\mathrm {d}}{\mathrm {d}t} H\circ x(t) = \mathrm {d}H(x(t))[\dot{x}(t)] = -\omega _{\mathrm {std}}(X_H(x(t)),\dot{x}(t)) = -\omega _{\mathrm {std}}(\dot{x}(t),\dot{x}(t))=0. \end{aligned}

We set $$\Sigma :=H^{-1}(\kappa )$$, $$\kappa \in \mathbb {R}$$, and suppose that $$\Sigma$$ is compact, connected, and regular, that is, $$X_H$$ is nowhere vanishing on $$\Sigma$$. As it is well-known, the Hamiltonian dynamics on $$\Sigma$$ essentially depends only on $$\Sigma$$, meaning that the dynamics of two different Hamiltonians both defining $$\Sigma$$ only differ by time-reparametrization: The symplectic form $$\omega _{\mathrm {std}}$$ induces a line distribution on $$\Sigma$$ via

\begin{aligned} \ell _\Sigma := \ker \, \omega _{\mathrm {std}}|_{T^*\Sigma }, \end{aligned}

and $$X_H |_\Sigma \in \ell _\Sigma$$. The line distribution $$\ell _\Sigma \rightarrow \Sigma$$ is usually called the characteristic line bundle over $$\Sigma$$ and induces a foliation of $$\Sigma$$ (whose leaves are unparametrized Hamiltonian trajectories), called the characteristic foliation of $$\Sigma$$. In particular, finding periodic solutions to (1.1) with energy $$\kappa$$ is equivalent to finding closed characteristic leaves on $$\Sigma =H^{-1}(\kappa )$$. In what follows we say that an hypersurface $$\Sigma \subset T^*M$$ is $$\mathbb O_M$$-separating if the bounded component of $$T^*M\setminus \Sigma$$ contains the zero-section $${\mathbb {O}}_M$$ of the bundle $$T^*M\rightarrow M$$.

### Theorem 1.2

Let $$\Sigma \subset T^*M$$ be a compact connected $$\mathbb O_M$$-separating contact type hypersurface. Then there exists a closed characteristic leaf on $$\Sigma$$.

The hypersurface $$\Sigma \subset (T^*M,\omega _{\mathrm {std}})$$ is called of contact type, if there exists a one-form $$\alpha \in \Omega ^1(\Sigma )$$ such that $$\omega _{\mathrm {std}}|_\Sigma = \mathrm {d}\alpha$$ and $$\alpha$$ does not vanish on $$\ell _\Sigma$$, or, equivalently, if there exists a Liouville vector field Y on a neighborhood U of $$\Sigma$$ (meaning that $$L_Y \omega _{\mathrm {std}}=\omega _{\mathrm {std}}$$ on U, where L denotes the Lie derivative) which is everywhere transverse to $$\Sigma$$ (c.f. [25, 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  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 ; 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,\omega _{\mathrm {std}}- \pi ^*\sigma )$$, provided the closed two-form $$\sigma$$ does not vanish on $$\pi _2(M)$$; see .

Theorem 1.2 will be an immediate consequence of a nearby/dense existence theorem of closed leaves for $$\mathbb 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 $$\Sigma$$, as many explicit examples show (see e.g. [18,19,20]). However, one might hope to find closed characteristic leaves on hypersurfaces which are arbitrarily close to $$\Sigma$$. To set the notation we define, following a suggestion of Kai Zehmisch, a thickening of $$\Sigma$$ to be a diffeomorphism $$\Psi : (-a,a)\times \Sigma \rightarrow T^*M$$, $$a\in \mathbb {R}\cup \{+\infty \}$$, onto an open precompact neighborhood $$U\subset T^*M$$ of $$\Sigma$$ such that $$\Psi (0,\cdot ) = \imath _\Sigma :\Sigma \rightarrow T^*M$$ canonical inclusion. For every $$\sigma \in (-a,a)$$, we set $$\Sigma _\sigma := \Psi (\{\sigma \}\times \Sigma )$$, and denote with $${\mathcal {P}}(\sigma )$$ the set of closed characteristic leaves contained in $$\Sigma _\sigma$$. Notice that, if $$\Sigma$$ is regular and $${\mathbb {O}}_M$$-separating, then up to shrinking the interval $$(-a,a)$$ we can assume that each $$\Sigma _\sigma$$ is regular and $${\mathbb {O}}_M$$-separating. Also, every thickening can be realized as the flow of some vector field on $$T^*M$$ which is transverse to $$\Sigma$$.

### Theorem 1.3

Let $$\Sigma \subset T^*M$$ be a compact, connected, $$\mathbb O_M$$-separating hypersurface, and let $$\Psi$$ be a thickening of $$\Sigma$$. Then there exists a sequence $$\sigma _n\rightarrow 0$$ such that $${\mathcal {P}}(\sigma _n)\ne \emptyset$$ for all $$n\in \mathbb {N}$$. Moreover, we can find a constant $$\alpha =\alpha (\Psi )>0$$ such that for every $$n\in \mathbb {N}$$ there exists $$P_n\in {\mathcal {P}}(\sigma _n)$$ with

\begin{aligned} 0<\Big |\int _{P_n} \lambda _{\mathrm {std}}\Big |<\alpha . \end{aligned}

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 $${\mathbb {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 $${\mathbb {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 $${\mathbb {A}}_H$$, see Sect. 3.

Structure of the paper In Sect. 2, we introduce the necessary background on the Hamiltonian action $${\mathbb {A}}_H$$ and on the functional setting, and prove Theorem 1.1. In Sect. 3, we show how Theorems 1.2 and 1.3 follow from an existence theorem of critical points for $${\mathbb {A}}_H$$, which will be then proved in Sect. 4.

## The Hamiltonian action functional

In this section, we introduce the functional setting for the Hamiltonian action $${\mathbb {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.

### Bumpy metrics

A Riemannian metric g yields a flow on TM (the geodesic flow) by

\begin{aligned} TM \ni (q,v)\mapsto (\gamma (t),{\dot{\gamma }}(t)), \quad \forall t\in \mathbb {R}, \end{aligned}

where $$\gamma :\mathbb {R}\rightarrow M$$ is the unique curve satisfying

\begin{aligned} \nabla _{{\dot{\gamma }}} {\dot{\gamma }} =0, \quad \text {and}\ \gamma (0)=q, \ {\dot{\gamma }}(0)=v. \end{aligned}

Here, $$\nabla _{{\dot{\gamma }}}$$ denotes the covariant derivative along $$\gamma$$ associated with the Levi–Civita connection. The curve $$\gamma$$ 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

\begin{aligned} {\mathbb {E}}:H^1(\mathbb {T}, M) \rightarrow \mathbb {R},\quad {\mathbb {E}}(\gamma ) := \frac{1}{2} \int _0^1 |{\dot{\gamma }}(t)|^2 \, \mathrm {d}t, \end{aligned}

where $$|\cdot |:= \sqrt{g_{\gamma (t)}(\cdot ,\cdot )}$$ is the norm induced by the Riemannian metric, and $$H^1(\mathbb {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(\mathbb {T},M)$$ and on the properties of the functional $${\mathbb {E}}$$ can be found e.g. in  (see also ). Here we just recall that the functional $${\mathbb {E}}$$ satisfies the Palais–Smale condition , meaning that any sequence $$(\gamma _n)\subset H^1(\mathbb {T},M)$$ such that

\begin{aligned} {\mathbb {E}}(\gamma _n)\rightarrow e, \quad |\mathrm {d}{\mathbb {E}}(\gamma _n)|\rightarrow 0 , \end{aligned}

admits a converging subsequence. In particular, e is a critical value of $${\mathbb {E}}$$. The next lemma is certainly well-known to the experts, however we include its proof here for the reader’s convenience.

### Lemma 2.1

Let M be a closed manifold. Then there exists a Riemannian metric g on M such that the set of critical values of the associated energy functional is discrete.

### Proof

Notice first that, for any Riemannian metric on M, zero is an isolated critical value for $${\mathbb {E}}$$. Indeed, zero is a critical value since the set of constant loops $$\Lambda ^0M \cong M$$ is the (non-degenerateFootnote 1; c.f. [27, Proposition 2.4.6]) critical manifold of global minima for $${\mathbb {E}}$$, and on the other hand it is isolated because of the existence of a positive injectivity radius. Actually, for $$\epsilon >0$$ sufficiently small the set $$\Lambda ^0M$$ is a strong deformation retract of $${\mathbb {E}}^{-1}([0,\epsilon ))$$; see [27, Theorem 1.4.15].

A standard result in Riemannian geometry, orginally proved by Abraham  (see also ), 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\in [0,+\infty )$$ be a critical value for the corresponding energy functional $${\mathbb {E}}$$. By the discussion above we can assume that $$e>0$$. Since $${\mathbb {E}}$$ satisfies the Palais–Smale condition, the set crit$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$ is compact. Moreover, in virtue of the Morse Lemma for the functional $${\mathbb {E}}$$ (c.f. [27, Corollary 2.4.8]), any connected component of crit$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$ must be an isolated critical manifold. In particular, crit$$\, ({\mathbb {E}})\cap {\mathbb {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$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$, and for each $$k\in \mathbb {N}$$ pick $$\gamma _k\in K_k$$. Then, $$(\gamma _k)\subset H^1(\mathbb {T},M)$$ is a Palais–Smale sequence for $${\mathbb {E}}$$ and hence, up to extracting a subsequence, it must converge to some $$\gamma \in$$ crit$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$. Therefore, the $$\gamma _k$$’s must eventually lie in the same connected component of crit$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$.

Finally, since crit$$\, ({\mathbb {E}})\cap {\mathbb {E}}^{-1}(e)$$ consists of finitely many critical manifolds, it follows again from [27, Corollary 2.4.8] that e is an isolated critical value of $${\mathbb {E}}$$. $$\square$$

### 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

\begin{aligned} \flat : TM \rightarrow T^*M, \quad X\mapsto \flat (X) := g_{\pi (X)}(X,\cdot ) \end{aligned}

induced by a fixed metric g on M. As we now recall, for $$s>\frac{1}{2}$$ the fractional Sobolev space $$H^s(\mathbb {T},M)$$ of $$H^s$$-loops in M has a natural structure of Hilbert manifold, and for any $$r\in \mathbb {R}$$ there exists a vector bundle

\begin{aligned} \pi _r:{\mathcal {M}}^{r} \rightarrow H^s(S^1,M) \end{aligned}

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 $$|\cdot |_q:= \sqrt{g_q (\cdot ,\cdot )}$$ the norm induced by the Riemannian metric g on $$T_qM$$. For $${{\mathbf {q}}}\in C^\infty (S^1,M)$$, the metric g induces an $$L^2$$-scalar product on the space $$\Gamma ({{\mathbf {q}}}^*TM)$$ of smooth vector fields along $${{\mathbf {q}}}$$ by

\begin{aligned} \langle \cdot ,\cdot \rangle := \int _0^1 g_{{\mathbf {q}}}(\cdot ,\cdot ) \, \mathrm {d}t. \end{aligned}

The induced norm will be denoted by $$\Vert \cdot \Vert$$ without further specifying the loop $${{\mathbf {q}}}$$. Similarly, we denote by

\begin{aligned} \Vert \cdot \Vert _\infty := \sup _{t\in [0,1]} |\cdot |_{{{\mathbf {q}}}(t)}. \end{aligned}

### Lemma 2.2

Let $${{\mathbf {q}}}\in C^\infty (S^1,M)$$, and let $$0\le \lambda _0({{\mathbf {q}}})\le \lambda _1({{\mathbf {q}}})\le \lambda _2({{\mathbf {q}}})\le ...$$ be the sequence of ordered eigenvalues of the self-adjoint operator

\begin{aligned} -\nabla _{{\dot{{{\mathbf {q}}}}}}^2 = \nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}} : \Gamma ({{\mathbf {q}}}^*TM) \rightarrow \Gamma ({{\mathbf {q}}}^*TM), \end{aligned}

where $$\nabla _{{\dot{{{\mathbf {q}}}}}}$$ denotes the covariant derivative along $${{\mathbf {q}}}$$ and $$\nabla _{{\dot{{{\mathbf {q}}}}}}^*=-\nabla _{{\dot{{{\mathbf {q}}}}}}$$ its adjoint operator. Then, there exist $$d=d(g,\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0$$, and $$c=c(g),C=C(g)>0$$ such that

\begin{aligned} c \big (j^2 - d \big ) \le \lambda _j ({{\mathbf {q}}}) \le C \big (j^2 + d\big ), \quad \forall j\in \mathbb {N}, \end{aligned}
(2.1)

Moreover, any eigenvector $$\xi$$ of $$-\nabla _{{\dot{{{\mathbf {q}}}}}}^2$$ with $$\Vert \xi \Vert =1$$ satisfies $$\Vert \xi \Vert _\infty \le \sqrt{2}$$.

### Proof

See Appendix A. $$\square$$

For $${{\mathbf {q}}}\in C^\infty (S^1,M)$$ we denote by $$\{\lambda _j({{\mathbf {q}}})\}_{j\in \mathbb {N}}$$ the set of ordered eigenvalues of $$\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}$$, and with $$\{\xi _j({{\mathbf {q}}})\}_{j\in \mathbb {N}}$$ the corresponding set of orthonormal eigenvectors. For all $$r\ge 0$$ we set

\begin{aligned} H^r({{\mathbf {q}}}^*TM) := \left\{ {\mathbf {p}}= \sum _{j=1}^{+\infty } p_j \xi _j({{\mathbf {q}}}) \in L^2({{\mathbf {q}}}^*TM) \ \Big |\ \sum _{j=1}^{+\infty }(1+\lambda _j({{\mathbf {q}}}))^r |p_j|^2 <+\infty \right\} , \end{aligned}

and denote with $$H^{-r}({{\mathbf {q}}}^*TM):=(H^r({{\mathbf {q}}}^*TM))^*$$ the dual space to $$H^r({{\mathbf {q}}}^*TM)$$. Notice that we can interpret elements in $$H^{-r}({{\mathbf {q}}}^*TM)$$ as formal series:

\begin{aligned} H^{-r}({{\mathbf {q}}}^*TM) = \left\{ {\mathbf {p}}= \sum _{j=1}^{+\infty } p_j \xi _j({{\mathbf {q}}})\ \Big |\ \sum _{j=1}^{+\infty }(1+\lambda _j({{\mathbf {q}}}))^{-r} |p_j|^2 <+\infty \right\} . \end{aligned}

The self-adjoint operator $$\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}$$ might have non-trivial (though finite dimensional) kernel, which is namely generated by 1-periodic parallel vector fields along $${{\mathbf {q}}}$$. We set

\begin{aligned} N({{\mathbf {q}}}):= \dim \ker ( \nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}})\in \{0,...,n\}, \end{aligned}

so that $$\lambda _1({{\mathbf {q}}})=...=\lambda _{N({{\mathbf {q}}})}({{\mathbf {q}}})=0$$ and $$\lambda _j({{\mathbf {q}}})>0$$ for $$j>N({{\mathbf {q}}})$$, and define

\begin{aligned} \langle \xi ,\zeta \rangle _r := \sum _{j\in \mathbb {N}}^{+\infty } (1+\lambda _j({{\mathbf {q}}}))^r \ \xi _j\zeta _j. \end{aligned}
(2.2)

We also define for $$r\in \mathbb {R}$$ the operator $$A^r=A^r({{\mathbf {q}}}):=(1+\nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}})^{r/2}$$ by

\begin{aligned} A^r : H^r({{\mathbf {q}}}^*TM)\rightarrow L^2({{\mathbf {q}}}^*TM), \quad A^r\left( {\mathbf {p}}= \sum _{j=1}^{+\infty } p_j \xi _j({{\mathbf {q}}})\right) := \sum _{j=1}^{+\infty } (1+\lambda _j({{\mathbf {q}}}))^{r/2} p_j \xi _j({{\mathbf {q}}}), \end{aligned}

so that $$\Vert A^r {\mathbf {p}}\Vert _{2}= \Vert {\mathbf {p}}\Vert _r$$ holds for all $${\mathbf {p}}\in H^r({{\mathbf {q}}}^*TM)$$. Notice that, by Lemma 2.2 we have that:

• for all $$r>r'$$, the inclusion $$H^r({{\mathbf {q}}}^*TM) \rightarrow H^{r'}({{\mathbf {q}}}^*TM)$$ is continuous and compact, and

• for all $$r>\frac{1}{2}$$, the inclusion $$H^r({{\mathbf {q}}}^*TM)\rightarrow C^0({{\mathbf {q}}}^*TM)$$ is continuous and compact.

### Lemma 2.3

For every $$r\in \mathbb {R}$$ the operator $$A^r$$ commutes with $$\nabla _{\dot{{\mathbf {q}}}}$$.

### Proof

It suffices to check that

\begin{aligned} (A^{r} \nabla _{{\dot{{{\mathbf {q}}}}}}) \xi _j({{\mathbf {q}}}) = (\nabla _{{\dot{{{\mathbf {q}}}}}} A^{r}) \xi _j({{\mathbf {q}}}), \quad \forall j\in \mathbb {N}. \end{aligned}

By definition we have that

\begin{aligned} A^{r}( \xi _j({{\mathbf {q}}})) = (1+\lambda _j({{\mathbf {q}}}))^{r/2} \xi _j({{\mathbf {q}}}) \end{aligned}

and hence

\begin{aligned} (\nabla _{{\dot{{{\mathbf {q}}}}}} A^{r}) \xi _j({{\mathbf {q}}}) = (1+\lambda _j({{\mathbf {q}}}))^{r/2} \nabla _{{\dot{{{\mathbf {q}}}}}}\xi _j({{\mathbf {q}}}). \end{aligned}

On the other hand $$\nabla _{{\dot{{{\mathbf {q}}}}}} \xi _j({{\mathbf {q}}})$$ is again an eigenvector for $$-\nabla _{{\dot{{{\mathbf {q}}}}}}^2$$ corresponding to the eigenvalue $$\lambda _j({{\mathbf {q}}})$$, and hence

\begin{aligned}&(A^{r} \nabla _{{\dot{{{\mathbf {q}}}}}}) \xi _j({{\mathbf {q}}}) = (1+\lambda _j({{\mathbf {q}}}))^{r/2} \nabla _{{\dot{{{\mathbf {q}}}}}}\xi _j({{\mathbf {q}}}). \end{aligned}

$$\square$$

For every $$q\in M$$ we denote by $$\exp _q :T_qM \rightarrow M$$ the exponential map, and choose $$\epsilon >0$$ smaller than the injectivity radius of M. For every $${{\mathbf {q}}}\in C^\infty (S^1,M)$$ let $$H^s({{\mathbf {q}}}^*\mathbb O_\epsilon )\subset H^s({{\mathbf {q}}}^*TM)$$ be the space of $$H^s$$-vector fields along $${{\mathbf {q}}}$$ whose image is entirely contained in the $$\epsilon$$-ball around the zero-section of $${{\mathbf {q}}}^*TM$$, and define

\begin{aligned} \text {Exp}_{{\mathbf {q}}}: H^s({{\mathbf {q}}}^*{\mathbb {O}}_\epsilon ) \rightarrow {\mathcal {U}}^s_{{\mathbf {q}}}, \quad \xi \mapsto \text {Exp}_{{\mathbf {q}}}(\xi ) (t) := \exp _{{{\mathbf {q}}}(t)} (\xi (t)). \end{aligned}

Following [27, Sections 1.2-1.3], the differentiable structure on $$H^s(S^1,M)$$ is given by declaring the collection $$\{({\mathcal {U}}^s_{{\mathbf {q}}}, (\text {Exp}_{{\mathbf {q}}})^{-1})\}$$ to be an atlas of $$H^s(S^1,M)$$. As it turns out, the inclusions

\begin{aligned} C^0(S^1,M)\hookrightarrow H^s(S^1,M) \hookrightarrow C^\infty (S^1,M) \end{aligned}

are continuous homotopy equivalences. Extending the definition of $$H^r({{\mathbf {q}}}^*TM)$$ to any loop in $$H^s(S^1,M)$$ by mean of the differential of the map $$\text {Exp}_{{\mathbf {q}}}$$ yields now the desired vector bundle $$\pi _r:{\mathcal {M}}^r\rightarrow 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 $$\langle \cdot ,\cdot \rangle _r$$, and observe that it can be equivalently written as

\begin{aligned} \langle \xi ,\zeta \rangle _r = \int _0^1 g_{{\mathbf {q}}}\big ( (\text {id}+\nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}})^r \xi , \zeta \big )\, \mathrm {d}t = \langle (\text {id} + \nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}})^r\xi ,\zeta \rangle . \end{aligned}

For our purposes, it will be convenient to define another metric for the bundle $$\pi ^r$$, which will be denoted by $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$; as it turns out, $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ is equivalent to $$\langle \cdot ,\cdot \rangle _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 1). To define $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ we proceed as follows: By the isometric embedding theorem of Nash–Moser, (Mg) admits an isometric embedding into $$\mathbb {R}^N$$ for some $$N\in \mathbb {N}$$ large enough. This yields an equivalent definition of

\begin{aligned} H^s(S^1,M) := \Big \{ u \in H^s(S^1,\mathbb {R}^N) \ \Big |\ u(\cdot ) \subset M\Big \}, \end{aligned}

as well as a scalar product $$\langle \cdot ,\cdot \rangle _r^\mathrm {emb}$$ on $$\Gamma ({{\mathbf {q}}}^*TM)$$ for every $$r\ge 0$$ and every $${{\mathbf {q}}}\in C^\infty (S^1,M)$$:

\begin{aligned} \langle \xi ,\zeta \rangle _r^{\mathrm {emb}} := \int _0^1 g_{{\mathbf {q}}}( (\text {id} + \Delta )^r \xi ,\zeta )\, \mathrm {d}t, \end{aligned}
(2.3)

where $$\Delta \xi := \ddot{\xi }$$. As usual, we denote the extension of (2.3) to any loop in $$H^s(S^1,M)$$ again with $$\langle \cdot ,\cdot \rangle _r^\mathrm {emb}$$.

For $${{\mathbf {q}}}\in C^\infty (S^1,M)$$ we set

\begin{aligned} L_0:=1+\Delta ,\quad L_1:=1+\nabla ^*_{{\dot{{{\mathbf {q}}}}}} \nabla _{{\dot{{{\mathbf {q}}}}}}. \end{aligned}

The operators $$L_0$$ and $$L_1$$ are self-adjoint and positive, and clearly $$L_0\ge 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  (see also Kato ) that the function $$f(t)= t^r$$ is, for every $$r\in [0,1]$$, operator monotone over the interval $$(0,+\infty )$$, meaning that if $$A\ge B$$ then $$A^r\ge B^r$$. This implies that $$L_0^r\ge L_1^r$$ for all $$r\in [0,1]$$. Therefore, since the function $$t\mapsto - t^{-1}$$ is operator monotone too , we obtain that $$L_0^{-r} \le L_1^{-r}$$, which is equivalent to saying that

\begin{aligned} \Vert \cdot \Vert _{-r}^\mathrm {emb}\le \Vert \cdot \Vert _{-r},\quad \forall r\in [0,1]. \end{aligned}
(2.4)

Recall that a sequence $$({{\mathbf {q}}}_n)$$ is bounded in$$H^s(S^1,M)$$ if there exists $$c>0$$ such that

\begin{aligned} \Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1} \le c ,\quad \forall n\in \mathbb {N}. \end{aligned}

### Lemma 2.4

Let $$({{\mathbf {q}}}_n)$$ be a bounded sequence in $$H^s(S^1,M)$$. Then up to passing to a subsequence we have that $${{\mathbf {q}}}_n\rightarrow {{\mathbf {q}}}\in C^0(S^1,M)$$ uniformly.

### Proof

We see $$({{\mathbf {q}}}_n)$$ as a sequence in $$H^s(S^1,\mathbb {R}^N)$$. By (2.4) we have that

\begin{aligned} \Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1}^\mathrm {emb}\le c, \quad \forall n\in \mathbb {N}. \end{aligned}

Therefore,

\begin{aligned} \Vert {{\mathbf {q}}}_n\Vert _s^\mathrm {emb}\le \Vert {{\mathbf {q}}}_n\Vert _2 + \Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1}^\mathrm {emb}\le {\tilde{c}}, \quad \forall n\in \mathbb {N}, \end{aligned}

for some constant $${\tilde{c}}>0$$, where we used the fact that M is compact. In particular, the sequence $$({{\mathbf {q}}}_n)\subset H^s(S^1,\mathbb {R}^N)$$ is $$(s-\frac{1}{2})$$-Hölder equicontinuous [10, Theorem 8.2], and since $${{\mathbf {q}}}_n(\cdot )\subset M$$ for all $$n\in \mathbb {N}$$, this implies that the hypothesis of the Ascoli–Arzelá theorem are satisfied. Therefore, there exists $${{\mathbf {q}}}\in C^0(S^1,\mathbb {R}^N)$$ such that $${{\mathbf {q}}}_n\rightarrow {{\mathbf {q}}}$$ uniformly. Now, by pointwise convergence we readily see that $${{\mathbf {q}}}\in C^0(S^1,M)$$. $$\square$$

We finish this section showing that the metrics $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ and $$\langle \cdot ,\cdot \rangle _r$$ are equivalent on every bundle chart, and hence on every bounded set $$B\subset H^s(S^1,M)$$.

### Lemma 2.5

Let $$\mathrm {Exp}_{{\mathbf {q}}}:H^s({{\mathbf {q}}}^*{\mathbb {O}}_\epsilon )\rightarrow {\mathcal {U}}^s_{{\mathbf {q}}}$$ be the local parametrization of $$H^s(S^1,M)$$ around $${{\mathbf {q}}}\in C^\infty (S^1,M)$$. Then, for every $$\gamma \in {\mathcal {U}}^s_{{\mathbf {q}}}$$ the scalar products $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ and $$\langle \cdot ,\cdot \rangle _r$$ are equivalent on $$H^r(\gamma ^*TM)$$. As a corollary, for every $$B\subset H^s(S^1,M)$$ bounded, the metrics $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r|_B$$ and $$\langle \cdot ,\cdot \rangle _r|_B$$ are equivalent.

### Proof

Let $${{\mathbf {q}}}\in C^\infty (S^1,M)$$. By [30, Proposition 5.6.1], there exists a constant $$\epsilon >0$$ such that $$L_1\ge \epsilon L_0$$, which in virtue of the Löwner–Heinz theorem implies that

\begin{aligned} \epsilon ^r L_0^r \le L_1^r \le L_0^r,\quad \forall r\in [0,1], \end{aligned}

that is, that $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ and $$\langle \cdot ,\cdot \rangle _r$$ are equivalent in $$H^r({{\mathbf {q}}}^*TM)$$.

Write now $$\gamma \in {\mathcal {U}}^s_{{\mathbf {q}}}$$ as $$\gamma =\text {Exp}_{{\mathbf {q}}}(\xi )$$. The assertion follows from the fact that the local representation of the metric $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ resp. $$\langle \cdot ,\cdot \rangle _r$$ of $$H^r(\text {Exp}_{{\mathbf {q}}}(\xi )^*TM)$$ in $$H^r({{\mathbf {q}}}^*TM)$$ is equivalent to the Hilbert metric $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ resp. $$\langle \cdot ,\cdot \rangle _r$$ in $$H^r({{\mathbf {q}}}^*TM)$$ (see the proof of Theorem 1.4.5 in ), combined with the fact that $$\langle \cdot ,\cdot \rangle ^\mathrm {emb}_r$$ and $$\langle \cdot ,\cdot \rangle _r$$ are equivalent in $$H^r({{\mathbf {q}}}^*TM)$$.

The equivalence of the metrics on bounded sets follows now immediately from the fact that every bounded set $$B\subset 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. $$\square$$

### The Palais–Smale condition

As in the previous section, let (Mg) be a closed Riemannian manifold. For $$s\in (\frac{1}{2},1]$$ we consider the Hilbert-bundle $$\pi _{1-s}:{\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)$$. Given a smooth time-depending Hamiltonian function $$H:\mathbb {T}\times TM\rightarrow \mathbb {R}$$ such that

\begin{aligned} H(t,q,p) = \frac{1}{2} |p|_q^2, \ \forall t\in \mathbb {T}, \end{aligned}

outside a compact set $$K\subset TM$$, we can define the Hamiltonian action functional by

\begin{aligned} {\mathbb {A}}_H : {\mathcal {M}}^s \rightarrow \mathbb {R},\quad {\mathbb {A}}_H({{\mathbf {q}}},{\mathbf {p}})&:= \int _0^1 g_{{{\mathbf {q}}}} ( {\dot{{{\mathbf {q}}}}}(t), {\mathbf {p}}(t))\, \mathrm {d}t - \int _0^1 H(t,{{\mathbf {q}}}(t),{\mathbf {p}}(t))\, \mathrm {d}t\\&= \langle {\dot{{{\mathbf {q}}}}},{\mathbf {p}}\rangle - \frac{1}{2} \Vert {\mathbf {p}}\Vert ^2 - \int _0^1 \delta (t,{{\mathbf {q}}}(t),{\mathbf {p}}(t))\, \mathrm {d}t, \end{aligned}

where $$\delta :TM \rightarrow \mathbb {R},\ \delta (q,p) = H(t,q,p)-\frac{1}{2} |p|_q^2$$, is a smooth compactly supported function. We also set

\begin{aligned} \Delta :{\mathcal {M}}^s \rightarrow \mathbb {R}, \quad \Delta ({{\mathbf {q}}},{\mathbf {p}}) := \int _0^1 \delta (t,{{\mathbf {q}}}(t),{\mathbf {p}}(t))\, \mathrm {d}t. \end{aligned}
(2.5)

To see that $${\mathbb {A}}_H$$ is well-defined and of class $$C^{1,1}$$ on $${\mathcal {M}}^{1-s}$$, we embed M isometrically into $${\mathbb {R}}^N$$. This induces an embedding of TM into $${\mathbb {R}}^{2N}$$, as well as an embedding of $${\mathcal {M}}^{s-1}$$ into $$\mathcal E:=H^{s}(S^1,{\mathbb {R}}^N) \times H^{1-s}(S^1,{\mathbb {R}}^N)$$. We now extend $${\mathbb {A}}_H$$ to $${\mathcal {E}}$$ by extending $$\langle \dot{{{\mathbf {q}}}},{\mathbf {p}}\rangle$$ with the same formula, and $$H:TM \rightarrow {\mathbb {R}}$$ to any smooth Hamiltonian on $${\mathbb {R}}^{2N}$$ which is quadratic at infinity. On $$T{\mathcal {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 $${\mathcal {M}}^{1-s}$$ into $$\mathcal E$$. Denoting with $$\xi ^{\mathrm {h}}$$ and $$\xi ^{\mathrm {v}}$$ respectively the horizontal and vertical part of a tangent vector $$\xi \in T_{({{\mathbf {q}}},{\mathbf {p}})} {\mathcal {M}}^{1-s}$$, we define a Riemannian metric on $${\mathcal {M}}^{1-s}$$ by

\begin{aligned} \langle \cdot ,\cdot \rangle _{{\mathcal {M}}^{1-s}} := \langle \cdot ^{\mathrm {h}}, \cdot ^{\mathrm {h}}\rangle _s + \langle \cdot ^{\mathrm {v}},\cdot ^{\mathrm {v}}\rangle _{1-s}. \end{aligned}
(2.6)

Following [25, Section 3.3], and using the fact that the gradient of the restriction is the projection of the gradient, we obtain

### Lemma 2.6

$${\mathbb {A}}_H$$ is well-defined over $$\mathcal M^{1-s}$$ and of class $$C^{1,1}$$. Moreover, for $$s\in (\frac{1}{2} ,1)$$, the operator $$\mathrm {d}\Delta$$ is compact. Finally, critical points of $${\mathbb {A}}_H$$ correspond to one-periodic solutions of Hamilton’s Equation (1.1). $$\square$$

We shall mention that, for $$s\in (\frac{1}{2},1)$$, $${\mathbb {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  one can see that for every $$s\in (\frac{1}{2}, 1)$$ there exists $$k=k(s)\in \mathbb {N}$$ such that $${\mathbb {A}}_H:{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}$$ is of class $$C^k$$, with $$k(s)\rightarrow +\infty$$ as $$s\downarrow \frac{1}{2}$$.

We recall that a sequence $$({{\mathbf {q}}}_n,{\mathbf {p}}_n)\subset {\mathcal {M}}^{1-s}$$ is called a Palais–Smale sequence for $${\mathbb {A}}_H$$ if $${\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n)\rightarrow a$$ for some $$a\in \mathbb {R}$$ and $$\Vert \mathrm {d}{\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n)\Vert \rightarrow 0$$. Without loss of generality we can assume that both $${{\mathbf {q}}}_n$$ and $${\mathbf {p}}_n$$ are smooth. Here, with slight abuse of notation we denote with $$\Vert \cdot \Vert$$ the dual norm on $$T^*_{({{\mathbf {q}}}_n,{\mathbf {p}}_n)}{\mathcal {M}}^{1-s}$$ induced by the Riemannian metric $$\langle \cdot ,\cdot \rangle _{{\mathcal {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

### Proposition 2.7

For every $$s\in (\frac{1}{2},1)$$ the functional $${\mathbb {A}}_H:{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}$$ satisfies the Palais–Smale condition.

The key step to prove the proposition is the following

### Lemma 2.8

Let $$({{\mathbf {q}}}_n,{\mathbf {p}}_n)$$ be a Palais–Smale sequence for $${\mathbb {A}}_H$$. Then there exists a constant $$C>0$$ such that $$\Vert {\mathbf {p}}_n\Vert _{1-s}\le C$$ and $$\Vert \dot{{\mathbf {q}}}_n\Vert _{s-1}\le C$$ for all $$n\in \mathbb {N}$$.

### Proof of Lemma 2.8

We divide the proof in several steps.

Step 1$$\Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1}$$ is uniformly bounded iff $$\Vert {\mathbf {p}}_n\Vert _{s-1}$$ is uniformly bounded. For any $${\mathbf {v}}_n\in H^{1-s}({{\mathbf {q}}}_n^*TM)$$ with $$\Vert {\mathbf {v}}_n\Vert _{1-s}\le 1$$ we compute

\begin{aligned} o(1)&= \Big |\mathrm {d}{\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n) [0,{\mathbf {v}}_n]\Big | \\&= \Big |\langle {\dot{{{\mathbf {q}}}}}_n - {\mathbf {p}}_n, {\mathbf {v}}_n\rangle - \int _0^1 \partial _p \delta (t,{{\mathbf {q}}}_n(t),{\mathbf {p}}_n(t)) \cdot {\mathbf {v}}_n \, \mathrm {d}t\Big |\\&\ge \big |\langle {\dot{{{\mathbf {q}}}}}_n - {\mathbf {p}}_n, {\mathbf {v}}_n\rangle \big | - c \Vert {\mathbf {v}}_n\Vert \\&\ge \big |\langle {\dot{{{\mathbf {q}}}}}_n - {\mathbf {p}}_n, {\mathbf {v}}_n\rangle \big | - c \end{aligned}

and hence

\begin{aligned} \Vert \jmath _{1-s}^* ({\dot{{{\mathbf {q}}}}}_n-{\mathbf {p}}_n)\Vert _{1-s} \le c, \end{aligned}
(2.7)

where $$\jmath _{1-s}^*:L^2({{\mathbf {q}}}_n^*TM)\rightarrow H^{1-s}({{\mathbf {q}}}_n^*TM)$$ is the adjoint operator to $$\jmath _{1-s}:H^{1-s}({{\mathbf {q}}}_n^*TM)\rightarrow L^2({{\mathbf {q}}}_n^*TM)$$ canonical inclusion. A straightforward computation shows that

\begin{aligned} \jmath _{1-s}^* \Big ( v = \sum _{j=1}^{+\infty } v_j \xi _j({{\mathbf {q}}}_n) \Big ) = \sum _{j=1}^{+\infty } (1+\lambda _j({{\mathbf {q}}}_n))^{s-1} v_j \xi _j({{\mathbf {q}}}_n), \end{aligned}

that is, $$\jmath _{1-s}^*=(1+\nabla _{{\dot{{{\mathbf {q}}}}}_n}^*\nabla _{\dot{{\mathbf {q}}}_n})^{s-1}.$$ Moreover, with $$\displaystyle \dot{{\mathbf {q}}}_n=\sum _{j=1}^{+\infty } {\dot{{{\mathbf {q}}}}}_n^j \xi _j({{\mathbf {q}}}_n)$$ we obtain

\begin{aligned} \Vert \jmath _{1-s}^*{\dot{{{\mathbf {q}}}}}_n\Vert _{1-s}^2 {=} \left\| \sum _{j=1}^{+\infty } (1-\lambda _j({{\mathbf {q}}}_n))^{s-1} {\dot{{{\mathbf {q}}}}}^j_n \xi _j({{\mathbf {q}}}_n)\right\| _{1-s}^2 = \sum _{j=1}^{+\infty } (1-\lambda _j({{\mathbf {q}}}_n))^{s-1} |{\dot{{{\mathbf {q}}}}}^j_n|^2 = \Vert {\dot{{{\mathbf {q}}}}}_n\Vert _{s-1}^2, \end{aligned}

and similarly $$\Vert \jmath _{1-s}^*{\mathbf {p}}_n\Vert _{1-s}=\Vert {\mathbf {p}}_n\Vert _{s-1}$$. The claim follows from (2.7).

Step 2$$\Vert {\mathbf {p}}_n\Vert ^2 \le c (1+\Vert {\mathbf {p}}_n\Vert _{1-s}).$$ We compute

\begin{aligned} a + c \Vert {\mathbf {p}}_n\Vert _{1-s}&\ge {\mathbb {A}}_H({{\mathbf {q}}}_n,{\mathbf {p}}_n) - \mathrm {d}{\mathbb {A}}_H ({{\mathbf {q}}}_n,{\mathbf {p}}_n)[(0,{\mathbf {p}}_n)]\\&= \frac{1}{2} \Vert {\mathbf {p}}_n\Vert ^2 - \int _0^1 \partial _p \delta (t,{{\mathbf {q}}}_n(t),{\mathbf {p}}_n(t)) \cdot {\mathbf {p}}_n\, \mathrm {d}t + \int _0^1 \delta (t,{{\mathbf {q}}}_n(t),{\mathbf {p}}_n(t))\, \mathrm {d}t\\&\ge \frac{1}{2} \Vert {\mathbf {p}}_n\Vert ^2 - c(\Vert {\mathbf {p}}_n\Vert + 1) \end{aligned}

which implies the claim.

Step 3$$\Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\Vert _{-s}$$ is uniformly bounded. We compute for $${\mathbf {h}}_n\in H^s({{\mathbf {q}}}_n^*TM)$$:

\begin{aligned} c \Vert {\mathbf {h}}_n\Vert _s&\ge \Big | \mathrm {d}{\mathbb {A}}_H ({{\mathbf {q}}}_n,{\mathbf {p}}_n) [({\mathbf {h}}_n,0)]\Big |\\&= \Big | \langle \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {h}}_n,{\mathbf {p}}_n\rangle - \int _0^1 \partial _q \delta (t,{{\mathbf {q}}}_n(t),{\mathbf {p}}_n(t))\cdot {\mathbf {h}}_n \, \mathrm {d}t\Big |\\&\ge \Big | \langle \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {h}}_n,{\mathbf {p}}_n\rangle \Big | - c \Vert {\mathbf {h}}_n\Vert _s \end{aligned}

from which we deduce that

\begin{aligned} \Big | \langle \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {h}}_n,{\mathbf {p}}_n\rangle \Big | \le c \Vert {\mathbf {h}}_n\Vert _s. \end{aligned}

Setting $${\mathbf {h}}_n := ((1+\nabla _{{\dot{{{\mathbf {q}}}}}_n}^*\nabla _{{\dot{{{\mathbf {q}}}}}_n})^{-s} \circ \nabla _{{\dot{{{\mathbf {q}}}}}_n} ){\mathbf {p}}_n$$ and using Lemma 2.3 we obtain

\begin{aligned} \Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\Vert _{-s}^2 \le c \Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n}{\mathbf {p}}_n\Vert _{-s} \end{aligned}

Step 4$$\Vert {\mathbf {p}}_n\Vert _{1-s}$$ is uniformly bounded. We write $${\mathbf {p}}_n = {\mathbf {p}}_n^\mathrm {par}+ {\tilde{{\mathbf {p}}}}_n$$, where $${\mathbf {p}}_n^\mathrm {par}$$ is the parallel component

\begin{aligned} {\mathbf {p}}_n^\mathrm {par}= \sum _{j=1}^{N({{\mathbf {q}}}_n)} {\mathbf {p}}_n^j \xi _j({{\mathbf {q}}}_n) \end{aligned}

of $${\mathbf {p}}_n$$ and

\begin{aligned} {\tilde{{\mathbf {p}}}}_n := \sum _{j>N({{\mathbf {q}}}_n)} {\mathbf {p}}_n^j \xi _j({{\mathbf {q}}}_n). \end{aligned}

Clearly,

\begin{aligned} \Vert {\mathbf {p}}_n\Vert _{1-s} \le \Vert {\mathbf {p}}_n^\mathrm {par}\Vert _{1-s} + \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s} = \Vert {\mathbf {p}}_n^\mathrm {par}\Vert + \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}, \end{aligned}

where we have used the fact that $$\Vert {\mathbf {p}}_n^\mathrm {par}\Vert _{1-s}=\Vert {\mathbf {p}}_n^\mathrm {par}\Vert$$. In particular, it suffices to show that $$\Vert {\mathbf {p}}_n^\mathrm {par}\Vert$$ and $$\Vert \tilde{\mathbf {p}}_n\Vert _{1-s}$$ are uniformly bounded. We readily see that

\begin{aligned} \Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n\Vert _{-s}^2 = \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}^2 - \Vert {\tilde{{\mathbf {p}}}}_n\Vert ^2, \end{aligned}

and hence by Step 3

\begin{aligned} \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}^2 \le c (1+ \Vert {\tilde{{\mathbf {p}}}}_n\Vert ^2). \end{aligned}
(2.8)

Step 2 implies now that

\begin{aligned} \Vert {\tilde{{\mathbf {p}}}}_n\Vert ^2 \le \Vert {\mathbf {p}}_n\Vert ^2 \le c (1 + \Vert {\mathbf {p}}_n\Vert _{1-s} ) \le c ( 1 + \Vert {\mathbf {p}}_n^\mathrm {par}\Vert + \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}). \end{aligned}

Substituting in (2.8) yields

\begin{aligned} \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}^2\le c (1 + \Vert {\mathbf {p}}_n^\mathrm {par}\Vert + \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s} ) \end{aligned}

which implies

\begin{aligned} \Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s} \le c (1 + \Vert {\mathbf {p}}_n^\mathrm {par}\Vert ^{1/2}). \end{aligned}
(2.9)

Using again Step 2 we obtain

\begin{aligned} \Vert {\mathbf {p}}_n^\mathrm {par}\Vert ^2 \le c (1+ \Vert {\mathbf {p}}_n^\mathrm {par}\Vert + \Vert {\mathbf {p}}_n^\mathrm {par}\Vert ^{1/2}) \end{aligned}

which implies that $$\Vert {\mathbf {p}}_n^\mathrm {par}\Vert$$, thus by (2.9) also $$\Vert {\tilde{{\mathbf {p}}}}_n\Vert _{1-s}$$, is uniformly bounded. $$\square$$

### Proof of Proposition 2.7

Let $$({{\mathbf {q}}}_n,{\mathbf {p}}_n)$$ be a Palais–Smale sequence for $${\mathbb {A}}_H$$. By Lemmas 2.4 and 2.8 , up to extracting a subsequence we have that $${{\mathbf {q}}}_n\rightarrow {\bar{{{\mathbf {q}}}}}$$ uniformly to some $${\bar{{{\mathbf {q}}}}}\in C^0(S^1,M)$$. Therefore, up to neglecting finitely many n’s, we can suppose that all $$({{\mathbf {q}}}_n,{\mathbf {p}}_n)$$ lie inside a bundle chart for $${\mathcal {M}}^{1-s}$$ around a smooth loop $${{\mathbf {q}}}$$, where for every $$r\in [-1,1]$$ the metrics $$\langle \cdot ,\cdot \rangle _r$$ and $$\langle \cdot ,\cdot \rangle _r^\mathrm {emb}$$ are equivalent in virtue of Lemma 2.5.

From the proof of Lemma 2.8, Step 1, we see that

\begin{aligned} o(1)=\big \Vert \jmath _{1-s}^* \big ({\dot{{{\mathbf {q}}}}}_n-{\mathbf {p}}_n \big ) - \text {Grad} \, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {v}}\big \Vert _{1-s}^\mathrm {emb}, \end{aligned}

where $$\langle \text {Grad} \, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {v}},\cdot \rangle _{1-s} = \mathrm {d}_p \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n) [\cdot ]$$ denotes the vertical part of the gradient of $$\Delta$$. Since $$\mathrm {d}\Delta$$ is a compact operator (see Lemma 2.6), up to a subsequence we have that $$\text {Grad}\, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {v}}$$ converges in $$H^{1-s}$$. Therefore, $$\jmath _{1-s}^*({\dot{{{\mathbf {q}}}}}_n-{\mathbf {p}}_n)$$ converges in $$H^{1-s}$$, which is the same as saying that $$\dot{{\mathbf {q}}}_n-{\mathbf {p}}_n$$ converges in $$H^{s-1}$$. Now, $${\mathbf {p}}_n$$ converges in $$L^2$$ (being bounded in $$H^{1-s}$$), and hence in particular converges in $$H^{s-1}$$. This implies that $${\dot{{{\mathbf {q}}}}}_n$$ converges in $$H^{s-1}$$, which in turns yields the convergence of $${{\mathbf {q}}}_n$$ in $$H^s$$.

On the other hand, from Step 3 in the proof of Lemma 2.8 we have that

\begin{aligned} o(1) = \big \Vert \jmath _s^* \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n - \text {Grad}\, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {h}}\big \Vert _s^\mathrm {emb}, \end{aligned}

where $$\langle \text {Grad}\, \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n)^{\mathrm {h}},\cdot \rangle _s = \mathrm {d}_q \Delta ({{\mathbf {q}}}_n,{\mathbf {p}}_n) [\cdot ]$$ denotes the horizontal part of the gradient of $$\Delta$$. Again, the compactness of $$\mathrm {d}\Delta$$ yields that $$\jmath _s^* \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n$$ converges (up to a subsequence) in $$H^s$$, which is equivalent to saying that $$\nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n$$ converges in $$H^{-s}$$. This implies that, in the notation of the proof of Lemma 2.8, $${\tilde{{\mathbf {p}}}}_n$$ converges in $$H^{1-s}$$. Since the kernel of $$\nabla ^*_{{\dot{{{\mathbf {q}}}}}_n} \nabla _{{\dot{{{\mathbf {q}}}}}_n}$$ is finite-dimensional, we also have that $${\mathbf {p}}_n^{\mathrm {par}}$$ converges up to a subsequence in $$L^2$$ (and hence in $$H^{1-s})$$. Therefore, $${\mathbf {p}}_n$$ converges in $$H^{1-s}$$. $$\square$$

## 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 $${\mathbb {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 $${\mathbb {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.

### A special Hamiltonian function

We choose a bumpy metric g on M and pull-back the standard symplectic form $$\omega$$ on $$T^*M$$ to TM using the musical isomorphism. Given a compact regular $${\mathbb {O}}_M$$-separating hypersurface $$\Sigma \subset TM$$ and a thickening $$\Psi :(-a,a)\times \Sigma \rightarrow TM$$, we aim at proving that there is a sequence of hypersurfaces $$\Sigma _{\sigma _n}:=\Psi (\{\sigma _n\}\times \Sigma )$$, $$\sigma _n\rightarrow 0$$, each carrying a closed characteristic leaf.

By assumption we can find $$0<\rho _0<\rho _1<+\infty$$ such that

\begin{aligned} {\mathcal {U}}:= \Psi ((-a,a)\times \Sigma ) \subset B_{\rho _1}({\mathbb {O}}_M) \setminus B_{\rho _0}({\mathbb {O}}_M), \end{aligned}

where $$B_\rho ({\mathbb {O}}_M)\subset TM$$ denotes the open disk bundle with radius $$\rho$$ defined by g. We now fix $$0<\delta <a$$ and choose a cut-off function $$\chi : (-1,1)\rightarrow \mathbb {R}$$ such that

\begin{aligned} \chi \equiv 0 \ \ \text {on}\ (-1,-\delta ], \quad \chi \equiv 1 \ \ \text {on}\ [\delta ,1), \quad \chi '>0 \ \ \text {on}\ (-\delta ,\delta ). \end{aligned}

Furthermore, we pick a smooth function $$\varphi :\mathbb {R}\rightarrow \mathbb {R}$$ such that

\begin{aligned} \varphi \equiv 0 \ \ \text {on}\ (-\infty ,\rho _1], \quad \varphi (\rho ) = \frac{1}{2} \rho ^2 \ \ \text {on}\ [2\rho _1,+\infty ), \quad \varphi '>0 \ \ \text {on} \ (\rho _1,+\infty ) \end{aligned}

and define a smooth family of Hamiltonians $$H_r: TM \rightarrow \mathbb {R}$$, $$r>0$$, by

\begin{aligned} H_r(q,p) := \left\{ \begin{array}{r} 0 \, \qquad \qquad \qquad \quad \quad \quad X\in B,\\ \chi (\sigma )\cdot r \ \quad \quad X\in \Sigma _\sigma , \ \sigma \in [-\delta ,\delta ],\\ r \ \ \qquad \quad \quad X\in U\!B, \ |p|_q\le \rho _1 ,\\ \varphi (|p|_q)+r \qquad \ \ \quad \quad \quad |p|_q >\rho _1,\end{array}\right. \end{aligned}

where B and $$U\!B$$ are the bounded and unbounded component of $$TM\setminus \Psi ([-\delta ,\delta ]\times \Sigma )$$ respectively. For each $$r\in (0,+\infty )$$ we have an associated Hamiltonian action

\begin{aligned} {\mathbb {A}}_r:={\mathbb {A}}_{H_r}: {\mathcal {M}}^{1-s} \rightarrow \mathbb {R},\quad {\mathbb {A}}_r ({{\mathbf {q}}},{\mathbf {p}}) := \langle {\dot{{{\mathbf {q}}}}},{\mathbf {p}}\rangle -\int _0^1 H_r({{\mathbf {q}}}(t),{\mathbf {p}}(t))\, \mathrm {d}t, \end{aligned}

whose critical points are the 1-periodic orbits of the Hamiltonian flow defined by $$H_r$$ and $$\omega$$. However, not all critical points of $${\mathbb {A}}_r$$ are relevant for us, for we are looking for critical points lying in $$\Sigma _\sigma$$ for some $$\sigma \in [-\delta ,\delta ]$$. Therefore, it will be essential for our purposes to understand which kind of critical points can appear as critical points of the Hamiltonian action $${\mathbb {A}}_r$$.

Before doing that we shall observe that periodic orbits with period $$T\ne 1$$ for the Hamiltonian flow of $$H_r$$ which are contained in some $$\Sigma _\sigma$$ are detected as critical points of the Hamiltonian action $${\mathbb {A}}_{Tr}$$. Indeed, let $${\mathbf {x}}:\mathbb {R}/T\mathbb {Z}\rightarrow TM$$ be a T-periodic Hamiltonian orbit for $$H_r$$ contained in $$\Sigma _\sigma$$, and consider the reparametrized curve $$\tilde{{\mathbf {x}}}:\mathbb {R}/\mathbb {Z}\rightarrow TM, \ {\tilde{{\mathbf {x}}}}(t):={\mathbf {x}}(Tt)$$. Then

\begin{aligned} \dot{{\tilde{{\mathbf {x}}}}}(t) = T\, {\dot{{\mathbf {x}}}} (Tt) = T X_{H_r} ({\mathbf {x}}(Tt)) = T X_{H_r}({\tilde{{\mathbf {x}}}}(t)). \end{aligned}

On the other hand, on $$\Sigma _\sigma$$ we have that

\begin{aligned} H_r = \chi (\sigma ) \cdot r, \quad H_{Tr} = \chi (\sigma ) \cdot Tr, \end{aligned}

so that $$H_{Tr}=T\cdot H_r$$ on $$\Sigma _\sigma$$. Therefore,

\begin{aligned} \dot{{\tilde{{\mathbf {x}}}}}(t) = T X_{H_r}({\tilde{{\mathbf {x}}}}(t)) = X_{T\cdot H_r}({\tilde{{\mathbf {x}}}} (t)) = X_{H_{Tr}}({\tilde{{\mathbf {x}}}}(t)), \end{aligned}

that is, $$\tilde{{\mathbf {x}}}$$ is a 1-periodic orbit for the Hamiltonian flow of $$H_{Tr}$$, and hence belongs to the critical point set of $${\mathbb {A}}_{Tr}$$. This shows that the family of Hamiltonians $$H_r$$ detects all possible closed characteristic leaves contained in $$\Sigma _\sigma$$, for $$\sigma \in [-\delta ,\delta ]$$.

We now take a closer look at critical points of $${\mathbb {A}}_r$$ by first noticing that critical points of $${\mathbb {A}}_r$$ on non-regular energy levels are necessarily constant, and hence have non-positive $${\mathbb {A}}_r$$-action. Also, regular energy levels $$H_r^{-1}(a)$$ are either of the form $$\Sigma _\sigma$$ for some $$\sigma \in [-\delta ,\delta ]$$, 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\rho _1^2$$ 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\ge r+2\rho _1^2$$ critical points of $${\mathbb {A}}_r$$ contained in $$H_r^{-1}(a)$$ are instead of the form $$(\gamma ,\dot{\gamma })$$, for $$\gamma$$ closed geodesic on (Mg) of length 1. Indeed, for $$a\ge r+2\rho _1^2$$ we have that

\begin{aligned} H_r(q,p) = \frac{1}{2} |p|^2_q +r. \end{aligned}

For any critical point $$({{\mathbf {q}}},{\mathbf {p}})$$ of $${\mathbb {A}}_r$$ contained in $$H_r^{-1}(a), a\ge r+2\rho _1^2$$, we additionally have

\begin{aligned} {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}}) = \frac{1}{2} |{\mathbf {p}}(0)|^2 - r = \frac{1}{2} \int _0^1 |\dot{{\mathbf {q}}}(t)|^2\, \mathrm {d}t - r = {\mathbb {E}}({{\mathbf {q}}}) - r. \end{aligned}
(3.1)

Our next step will be to show that, for r sufficiently large, fake closed geodesics cannot arise as critical points of $${\mathbb {A}}_r$$ with non-negative action. Indeed, Hamilton equations for fake closed geodesics read

\begin{aligned} \left\{ \begin{array}{r} {\dot{{{\mathbf {q}}}}} = \displaystyle \frac{\varphi ' (|{\mathbf {p}}|)}{|{\mathbf {p}}|} \cdot {\mathbf {p}}, \\ \ \ \ \ \quad \, \nabla _{{\dot{{{\mathbf {q}}}}}}{\mathbf {p}}= 0 .\end{array}\right. \end{aligned}
(3.2)

Therefore,

\begin{aligned} {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})&= \langle {\dot{{{\mathbf {q}}}}} , {\mathbf {p}}\rangle - \int _0^1 H_r({{\mathbf {q}}}(t),{\mathbf {p}}(t))\mathrm {d}t \nonumber \\&= \left\langle \frac{\varphi ' (|{\mathbf {p}}|)}{|{\mathbf {p}}|} {\mathbf {p}},{\mathbf {p}}\right\rangle - \int _0^1 \big (\varphi (|{\mathbf {p}}(t)|) +r \big )\, \mathrm {d}t\nonumber \\&= \varphi '(|{\mathbf {p}}(0)|) \cdot |{\mathbf {p}}(0)| - \varphi (|{\mathbf {p}}(0)|) -r, \end{aligned}
(3.3)

where we have used the fact that $$t\mapsto |{\mathbf {p}}(t)|$$ is constant. Now set

\begin{aligned} r_0 := 1+ \max _{\rho \le 2\rho _1} |\varphi '(\rho )\cdot \rho - \varphi (\rho )| \end{aligned}
(3.4)

and observe that, for all $$r\ge r_0$$ and all fake closed geodesics we have $${\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}}) \le -1$$, for $$|{\mathbf {p}}(0)|\le 2\rho _1$$. Summarizing, we have shown the following

### Lemma 3.1

There exists $$r_0>0$$ such that for all $$r\ge r_0$$ critical points of $${\mathbb {A}}_r$$ of non-negative action are either constants or closed geodesics, or are contained in $$\Sigma _\sigma$$ for some $$\sigma \in [-\delta ,\delta ]$$.

We end this section showing that Theorems 1.2 and 1.3 immediately follow from

### Theorem 3.2

Let $$\Sigma \subset TM$$ be a compact regular $${\mathbb {O}}_M$$-separating hypersurface, $$\Psi$$ be a thickening of $$\Sigma$$. Then, for every $$r>0$$ there exists a non-constant critical point $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ of $${\mathbb {A}}_r$$ with $${\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)\in [0,\alpha ]$$, where $$\alpha =\alpha (\Psi )>0$$ is some constant. Moreover, the function $$r\mapsto {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ is continuous and non-increasing.

### 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 $${\mathbb {A}}_r$$, $$r\ge r_0$$, are closed geodesics with

\begin{aligned} {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r) = {\mathbb {E}}({{\mathbf {q}}}_r)-r. \end{aligned}

Since g was chosen to be bumpy, by Lemma 2.1 the set of critical values of $${\mathbb {E}}$$ is discrete, and hence

\begin{aligned} {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r) + r = {\mathbb {E}}({{\mathbf {q}}}_r) = \mathrm {const.} \quad \forall r\ge r_0. \end{aligned}

However, this would imply that $${\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)<0$$ for r large enough. Therefore, there exists $$R\ge r_0$$ such that $$({{\mathbf {q}}}_{R},{\mathbf {p}}_R)$$ is a critical point for $${\mathbb {A}}_{R}$$ lying in $$\Sigma _\sigma$$ for some $$\sigma \in [-\delta ,\delta ]$$. If $$({{\mathbf {q}}}_R,{\mathbf {p}}_{R})(\mathbb {R})\subset \Sigma$$ then we are done. Otherwise we claim that

\begin{aligned} \inf \big \{r\ge r_0 \ \big |\ ({{\mathbf {q}}}_r,{\mathbf {p}}_r) \in \Sigma _\sigma , \ \text {for some}\ \sigma \in [-\delta ,\delta ]\big \} \le \alpha +r_0, \end{aligned}

where $$\alpha$$ is the constant given by Theorem 3.2. Indeed, for all $$r\ge r_0$$ smaller than the infimum above we have that $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ is a closed geodesic and hence, using the uniform boundedness of $$r\mapsto {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ and Lemma 2.1, we obtain

\begin{aligned} {\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)+r = {\mathbb {E}}({{\mathbf {q}}}_r) = {\mathbb {E}}({{\mathbf {q}}}_{r_0}) = {\mathbb {A}}_{r_0}({{\mathbf {q}}}_{r_0}, {\mathbf {p}}_{r_0})+r_0 \le \alpha + r_0 \end{aligned}

which implies that

\begin{aligned} r\le \alpha + r_0-{\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r) \le \alpha +r_0. \end{aligned}

In particular, we can find $$R\le \alpha +2r_0$$ such that $$({{\mathbf {q}}}_{R},{\mathbf {p}}_R)$$ lies in $$\Sigma _\sigma$$ for some $$\sigma \in [-\delta ,\delta ]$$. This yields

\begin{aligned} \Big |\langle {\dot{{{\mathbf {q}}}}}_R,{\mathbf {p}}_R \rangle \Big |&= \Big |{\mathbb {A}}_R({{\mathbf {q}}}_R,{\mathbf {p}}_R) - \int _0^1 H_R({{\mathbf {q}}}_R(t),{\mathbf {p}}_R(t))\, \mathrm {d}t\Big |\nonumber \\&= \Big |{\mathbb {A}}_R({{\mathbf {q}}}_R,{\mathbf {p}}_R) - H_R({{\mathbf {q}}}_R(0), {\mathbf {p}}_R(0))\Big |\nonumber \\&\le \underbrace{\Big |{\mathbb {A}}_R({{\mathbf {q}}}_R,{\mathbf {p}}_R)\Big |}_{\le \alpha } + \underbrace{\Big |H_R({{\mathbf {q}}}_R(0),{\mathbf {p}}_R(0))\Big |}_{\le R\le \alpha +2r_0} \le 2 (\alpha +r_0). \end{aligned}
(3.5)

The claim follows now by recursively choosing $$\delta >0$$ such that

\begin{aligned} ({{\mathbf {q}}}_R,{\mathbf {p}}_R)(\mathbb {R}) \not \subset \Psi ([-\delta ,\delta ]\times \Sigma ). \end{aligned}

Observe that (3.5) yields the desired uniform estimate on the symplectic action of the sequence of closed characteristic leaves, for

\begin{aligned} \langle {\dot{{{\mathbf {q}}}}}_R,{\mathbf {p}}_R\rangle =\int _{P_R}\lambda , \end{aligned}

where $$P_R$$ is the characteristic leaf determined by $$({{\mathbf {q}}}_R,{\mathbf {p}}_R)$$. $$\square$$

The proof of Theorem 1.2 given Theorem 1.3 is standard, however we include it here for completeness.

### Proof of Theorem 1.2

Let Y be a Liouville vector field on a neighborhood of $$\Sigma$$ such that $$Y \pitchfork \Sigma$$, and let $$\varphi ^\sigma$$ be its flow. Since $$\Sigma$$ is compact, the map

\begin{aligned} \Psi :(-a,a)\rightarrow T^*M,\quad (\sigma ,x) \mapsto \varphi ^\sigma (x), \end{aligned}

is a diffeomorphism onto an open precompact neighborhood U of $$\Sigma$$, for $$a>0$$ sufficiently small. From $${\mathcal {L}}_Y \omega =\omega$$ we have that

\begin{aligned} \frac{\mathrm {d}}{\mathrm {d}s}(\varphi ^\sigma )^* \omega = (\varphi ^\sigma )^* {\mathcal {L}}_Y \omega = (\varphi ^\sigma )^* \omega \end{aligned}

and hence, since $$(\varphi ^0)^*=\text {id}$$, we conclude that $$(\varphi ^\sigma )^*\omega =e^\sigma \omega$$. Assume now that $$v\in \ell _\Sigma (x)$$; then for all $$w\in T_x\Sigma$$ we have

\begin{aligned} 0 = \omega (v,w) = e^\sigma \, \omega (v,w) = (\varphi ^\sigma )^* \omega (v,w) = \omega ( T\varphi ^\sigma (x)[v],T\varphi ^\sigma (x)[w]). \end{aligned}

Since $$\varphi ^\sigma$$ is a diffeomorphism we conclude that $$T\varphi ^\sigma (x)[v]\in \ell _{\Sigma _\sigma (\varphi ^t(x))}$$. Therefore, $$T\varphi ^\sigma :\ell _\Sigma \rightarrow \ell _{\Sigma _\sigma }$$ is an isomorphism of line bundles; in particular, $$\varphi ^\sigma$$ induces a one-to-one correspondence $$P\mapsto \varphi ^\sigma (P)$$ between $${\mathcal {P}}(0)$$ and $${\mathcal {P}}(\sigma )$$ for all $$\sigma \in (-a,a)$$. The claim follows now from Theorem 1.3. $$\square$$

### Remark 3.3

An hypersurface $$\Sigma \subset T^*M$$ for which a thickening as in the proof above exists is called stable. Obviously, Theorem 1.2 extends to compact stable hypersurfaces which are $${\mathbb {O}}_M$$-separating. It is worth noticing that the stability condition is in general weaker than the contact condition, see e.g. .

## 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 $${\mathbb {A}}_r$$, the other is the fact that we have a transfer homomorphism in cohomology for the negative gradient flow of $${\mathbb {A}}_r$$, as we now show. Hereafter we suppose that $$r>0$$ is fixed.

### The key propositions

We start recalling the minimax lemma for the Hamiltonian action $${\mathbb {A}}_r$$. The proof follows from the Palais–Smale condition for $${\mathbb {A}}_r$$ by standard arguments and will be omitted.

### Proposition 4.1

Suppose that $${\mathcal {U}}\subset {\mathcal {M}}^{1-s}$$ is an open neighborhood of

\begin{aligned} \mathrm {crit}({\mathbb {A}}_r) \cap {\mathbb {A}}_r^{-1}(a), \quad a\in \mathbb {R}. \end{aligned}

Then there exist $$\epsilon >0$$ and $$t_0>0$$ such that the following holds: for every $$t\ge t_0$$

\begin{aligned} \phi ^t_r \big (\{{\mathbb {A}}_r \le a+\epsilon \}\setminus {\mathcal {U}}\big ) \subset \{ {\mathbb {A}}_r \le a-\epsilon \}, \end{aligned}

where $$\phi ^t_r$$ denotes the time-t-flow of $$\displaystyle -\frac{\mathrm {grad}\, {\mathbb {A}}_r}{\sqrt{1+\Vert \mathrm {grad}\, {\mathbb {A}}_r\Vert ^2}}.$$$$\square$$

In what follows C is an arbitrary compact subset of $$H^1(S^1,M)\subset H^s(S^1,M)$$. This implies that

\begin{aligned} \sup _{\pi ^{-1}(C)} {\mathbb {A}}_r \le \alpha ,\quad \forall r>0, \end{aligned}

where with slight abuse of notation we denote the bundle projection $$\pi _{1-s}:{\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)$$ with $$\pi$$. Here, $$\alpha >0$$ is some constant independent of r. Indeed, by construction we have

\begin{aligned} H_r(q,p)\ge H_0(q,p) \ge \frac{1}{2} |p|_q^2 - \beta \end{aligned}

for some constant $$\beta >0$$, and hence on $$\pi ^{-1}(C)$$ we obtain

\begin{aligned}&{\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}}) \le \langle {\dot{{{\mathbf {q}}}}}, {\mathbf {p}}\rangle - \frac{1}{2} \Vert {\mathbf {p}}\Vert ^2+\beta \le c \Vert {\mathbf {p}}\Vert - \frac{1}{2} \Vert {\mathbf {p}}\Vert ^2+\beta \nonumber \\&\quad \le \sup _{{\mathbf {p}}\in \pi _{1-s}^{-1}(C)} \Big (c \Vert {\mathbf {p}}\Vert - \frac{1}{2} \Vert {\mathbf {p}}\Vert ^2 + \beta \Big ) =:\alpha . \end{aligned}

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 $${\mathbb {A}}_r$$ satisfies the Palais–Smale condition, we can find $$\epsilon >0$$ and $$\gamma >0$$ such that

\begin{aligned} \frac{\Vert \mathrm {grad}\, {\mathbb {A}}_r\Vert }{\sqrt{1+\Vert \mathrm {grad}\, {\mathbb {A}}_r\Vert ^2}}\ge \epsilon , \quad \text {on}\ \{ \Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma \} \cap {\mathbb {A}}_r^{-1}([0,\alpha ]). \end{aligned}

Therefore, for $$\gamma ':=\gamma + \frac{\alpha }{\epsilon ^2}+1$$ we have that

\begin{aligned} \phi ^t_r \Big (\pi ^{-1}(C) \cap \{ \Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma '\}\Big ) \cap {\mathbb {O}}_{H^s}=\emptyset ,\quad \forall t\ge 0, \end{aligned}

where $${\mathbb {O}}_{H^s}$$ denotes the zero-section of $${\mathcal {M}}^{1-s}\rightarrow H^s(S^1,M)$$. Indeed, let $$({{\mathbf {q}}},{\mathbf {p}})\in \pi ^{-1}(C) \cap \{ \Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma '\}$$; then by the assumption on $$\gamma '$$, $$\phi ^t_r({{\mathbf {q}}},{\mathbf {p}})\in H^s(S^1,M)\cap \{\Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma \}$$ for $$t\in [0,\frac{\alpha }{\epsilon ^2}+1]$$, hence in particular is not contained in $${\mathbb {O}}_{H^s}$$, and for $$t>\frac{\alpha }{\epsilon ^2}+1$$ we have

\begin{aligned} {\mathbb {A}}_r(\phi ^t_r({{\mathbf {q}}},{\mathbf {p}}))-\alpha&\le {\mathbb {A}}_r(\phi ^t_r({{\mathbf {q}}},{\mathbf {p}}))-{\mathbb {A}}_r ({{\mathbf {q}}},{\mathbf {p}}) \\&= \int _0^t \frac{\mathrm {d}}{\mathrm {d}\sigma } \big ({\mathbb {A}}_r(\phi ^\sigma _r({{\mathbf {q}}},{\mathbf {p}}))\big )\, \mathrm {d}t\\&= - \int _0^t \frac{\Vert \text {grad}\, {\mathbb {A}}(\phi ^\sigma _r({{\mathbf {q}}},{\mathbf {p}}))\Vert ^2}{\sqrt{1+\Vert \text {grad}\, {\mathbb {A}}(\phi ^\sigma _r({{\mathbf {q}}},{\mathbf {p}}))\Vert ^2}}\, \mathrm {d}t\\&\le - \int _0^t \epsilon ^2 \, \mathrm {d}t\\&< - \Big (\frac{\alpha }{\epsilon ^2}+1\Big )\epsilon ^2 \\&= - \alpha - \epsilon ^2, \end{aligned}

that is, $${\mathbb {A}}_r(\phi ^t_r({{\mathbf {q}}},{\mathbf {p}}))<0$$. For a given $$t_0>0$$ we pick a cut-off function $$\varphi : [0,+\infty ) \rightarrow [0,1]$$ such that

\begin{aligned} \varphi \Big |_{[0,\gamma '+1]} \equiv 1,\quad \varphi \Big |_{[\gamma '',+\infty )} \equiv 0, \end{aligned}

for some $$\gamma ''>\gamma '+1$$ such that

\begin{aligned} \phi ^t_r\Big ( \pi ^{-1}(C) \cap \{\Vert {\mathbf {p}}\Vert _{1-s}\le \gamma '+1\}\Big ) \subset \{\Vert {\mathbf {p}}\Vert _{1-s}< \gamma ''\}, \quad \forall t\in [0,t_0], \end{aligned}

and consider the truncated normalized negative gradient vectorfield

\begin{aligned} V_r({{\mathbf {q}}},{\mathbf {p}}):= - \varphi (\Vert {\mathbf {p}}\Vert _{1-s})\cdot \frac{\mathrm {grad}\, {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})}{\sqrt{1+\Vert \mathrm {grad}\, {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})\Vert ^2}}. \end{aligned}

With a slight abuse of notation we denote the flow of $$V_r$$ again with $$\phi ^t_r$$. The next proposition states that $$\phi ^{t_0}_r$$ induces a transfer homomorphism in cohomology; in particular, $$\pi ^{-1}(C)$$ is not displaced from $${\mathbb {O}}_{H^s}$$ by $$\phi ^{t_0}_r$$. This represents the analogue of the intersection proposition [24, Proposition 1] in our setting; we also refer to [25, 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 $$\beta _{t_0}$$ such that the following diagram commutes where $$\imath :C\rightarrow H^s(S^1,M)$$ denotes the canonical inclusion. In particular, if $$C\ne \emptyset$$ then

\begin{aligned} \phi ^{t_0}_r(\pi ^{-1}(C))\cap {\mathbb {O}}_{H^s}\ne \emptyset . \end{aligned}

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 $$\phi ^t_r$$ analogous to [24, Lemma 7].

If we denote by D the $$L^2$$-connection, then we readily see by working in local coordinates that

\begin{aligned}{}[D_X,\nabla _{{\dot{{{\mathbf {q}}}}}}] Y = R(X,{\dot{{{\mathbf {q}}}}}) Y, \end{aligned}

where R denotes the Riemann curvature tensor, hence in particular is a zero-order operator. Therefore,

\begin{aligned}{}[D_X, - \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}}] Y&= - D_X \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}} Y + \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}} D_X Y\\&= - \nabla _{{\dot{{{\mathbf {q}}}}}} D_X \nabla _{{\dot{{{\mathbf {q}}}}}} Y - R(X,{\dot{{{\mathbf {q}}}}}) \nabla _{{\dot{{{\mathbf {q}}}}}} Y + \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}} D_XY\\&= - \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}} D_XY - \nabla _{{\dot{{{\mathbf {q}}}}}} R(X,{\dot{{{\mathbf {q}}}}}) Y - R(X,{\dot{{{\mathbf {q}}}}}) \nabla _{{\dot{{{\mathbf {q}}}}}} Y + \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}} D_XY\\&= - \nabla _{{\dot{{{\mathbf {q}}}}}} R(X,{\dot{{{\mathbf {q}}}}}) Y - R(X,{\dot{{{\mathbf {q}}}}}) \nabla _{{\dot{{{\mathbf {q}}}}}} Y \end{aligned}

is an operator of order 1. In particular

\begin{aligned} {[D_X, 1 - \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}}]} = [D_X, - \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}}] \end{aligned}

is an operator of order 1. Similarly one can show that, for every $$\ell \in \mathbb {R}$$,

\begin{aligned} {[D_X, (1 - \nabla _{{\dot{{{\mathbf {q}}}}}}\nabla _{{\dot{{{\mathbf {q}}}}}})^\ell ] = [D_X, (1 + \nabla _{{\dot{{{\mathbf {q}}}}}}^*\nabla _{{\dot{{{\mathbf {q}}}}}})^\ell ]} \end{aligned}

is an operator of order at most $$2\ell -1$$ (c.f. [29, Lemma 2.11]).

### Lemma 4.3

(Representation Lemma) Denote by $$\sigma ^t_r:= \pi \circ \phi ^t_r$$ the projection to $$H^s(S^1,M)$$ of the flow $$\phi ^t_r$$, and by P(t, 0) the $$L^2$$-parallel transport along $$\sigma ^\cdot _r$$ from $$H^{1-s}((\sigma _r^0(\cdot ))^*TM)$$ to $$H^{1-s}((\sigma _r^t(\cdot ))^*TM)$$. Then,

\begin{aligned} \phi ^t_r({{\mathbf {q}}},{\mathbf {p}}) = P(t,0)\Big [ a(t,({{\mathbf {q}}},{\mathbf {p}})) \cdot \jmath ^*_{1-s}{\dot{{{\mathbf {q}}}}} + b(t,({{\mathbf {q}}},{\mathbf {p}}))\cdot {\mathbf {p}}+ K(t,({{\mathbf {q}}},{\mathbf {p}}))\Big ], \end{aligned}

where:

• $$a:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow (-\infty ,0]$$ maps bounded sets into precompact sets and satisfies $$a(0,\cdot )\equiv 0$$,

• $$b:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow (0,+\infty )$$ maps bounded sets into precompact sets and satisfies $$b(0,\cdot )\equiv 1$$, and

• $$K:\mathbb {R}\times {\mathcal {M}}^{1-s}\rightarrow {\mathcal {M}}^{1-s}$$ is a “compact” fibre-preserving map such that $$K(0,\cdot ) \equiv 0$$.

### Remark 4.4

In the proposition above, by compact we mean that, for any compact set $$C\subset H^s(S^1,M)$$ and any bounded set $$B\subset \pi ^{-1}(C)$$ we have that $$K(t,B)\subset {\mathcal {M}}^{1-s}$$ is precompact.

### Proof

For $$t\in \mathbb {R}$$ we denote by $$\dot{\sigma ^t_r}(\cdot )\in H^{s-1}( \sigma ^t_r(\cdot )^*TM)$$ the tangent field to $$\sigma ^t_r(\cdot )\in H^s(S^1,M)$$. Dropping the subscript $${\dot{{{\mathbf {q}}}}}$$ from the covariant derivative and recalling that $$\jmath ^*_\ell = (1+\nabla ^*\nabla )^{-\ell }$$ and

\begin{aligned} \text {grad}\, {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})&= (\text {grad}\, {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})^{\mathrm {h}},\text {grad}\, {\mathbb {A}}_r({{\mathbf {q}}},{\mathbf {p}})^{\mathrm {v}}) \\&= \big (\jmath _s^* \nabla ^* {\mathbf {p}}- \text {grad}\, \Delta ({{\mathbf {q}}},{\mathbf {p}})^{\mathrm {h}}, \jmath _{1-s}^* ({\dot{{{\mathbf {q}}}}} - {\mathbf {p}}) -\text {grad}\, \Delta ({{\mathbf {q}}},{\mathbf {p}})^{\mathrm {v}}\big ), \end{aligned}

where $$\Delta :{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}$$ is given by (2.5) and $$\text {grad}\, \Delta$$ is computed with respect to the $$\langle \cdot ,\cdot \rangle _{{\mathcal {M}}^{1-s}}$$-metric given by (2.6), we compute:

\begin{aligned} D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot } \Big (\jmath ^*_{1-s} \dot{\sigma _r^\cdot }\Big )&= \jmath ^*_{1-s} D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }\dot{\sigma _r^\cdot } + [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }, \jmath _{1-s}^*]\dot{\sigma _r^\cdot }\\&= \jmath ^*_{1-s} \nabla \Big (\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot \Big ) + [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }, \jmath ^*_{1-s}]\dot{\sigma _r^\cdot }\\&=\jmath ^*_{1-s} \nabla \Big (\frac{\mathrm {d}}{\mathrm {d}t} \phi _r^\cdot \Big )^{{\mathrm {h}}} + [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }, \jmath ^*_{1-s}]\dot{\sigma _r^\cdot }\\&= - {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_{1-s} \nabla \Big (\jmath ^*_s\nabla ^* \phi ^t_r\Big ) {+} {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}{+} [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }, \jmath ^*_{1-s}]\dot{\sigma _r^\cdot }\\&= - {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_1\nabla \nabla ^* \phi ^t_r + {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}+ [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^\cdot }, \jmath ^*_{1-s}]\dot{\sigma _r^\cdot }, \end{aligned}

where

\begin{aligned} {\tilde{\varphi }}(\cdot ) := \frac{\varphi (\cdot )}{\sqrt{1+\Vert \text {grad}\, {\mathbb {A}}_r(\cdot )\Vert ^2}}. \end{aligned}

Therefore, we obtain

\begin{aligned}&D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t} \Big (\jmath ^*_{1-s} \dot{\sigma _r^t} + \phi ^t_r\Big )\\&\quad = - {\tilde{\varphi }}(\phi ^t_r)\cdot \jmath ^*_1\nabla \nabla ^* \phi ^t_r + {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}+ [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t}, \jmath ^*_{1-s}]\dot{\sigma _r^t} + \Big (\frac{\mathrm {d}}{\mathrm {d}t} \phi _r^\cdot \Big )^{{\mathrm {v}}}\\&\quad = - {\tilde{\varphi }}(\phi ^t_r)\cdot \jmath ^*_1\nabla \nabla ^* \phi ^t_r+ {\tilde{\varphi }}(\phi ^t_r) \cdot \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}+ [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t}, \jmath ^*_{1-s}]\dot{\sigma _r^t} \\&\qquad - {\tilde{\varphi }}(\phi ^t_r)\cdot \jmath _{1-s}^* \big (\dot{\sigma _r^t} - \phi ^t_r\big ) +{\tilde{\varphi }}(\phi ^t_r)\cdot \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {v}}\\&\quad = - {\tilde{\varphi }}(\phi ^t_r)\cdot \big ( \jmath _{1-s}^* \dot{\sigma _r^t} +\phi ^t_r \big ) + [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t}, \jmath ^*_{1-s}]\dot{\sigma _r^t}\\&\qquad + {\tilde{\varphi }}(\phi ^t_r)\cdot \big ( (1 - \jmath ^*_1\nabla \nabla ^* )\phi ^t_r + \jmath ^*_{1-s}\phi ^t_r + \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}+\text {grad}\, \Delta (\phi ^t_r)^{\mathrm {v}}\big ) \\&\quad = - {\tilde{\varphi }}(\phi ^t_r)\cdot \big ( \jmath _{1-s}^* \dot{\sigma _r^t} +\phi ^t_r \big ) + \kappa _1(\phi ^t_r), \end{aligned}

where

\begin{aligned} \kappa _1(\phi ^t_r):= & {} {\tilde{\varphi }}(\phi ^t_r)\cdot \big ( (1 - \jmath ^*_1\nabla \nabla ^* )\phi ^t_r + \jmath ^*_{1-s} \phi ^t_r+ \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}+\text {grad}\, \Delta (\phi ^t_r)^{\mathrm {v}}\big )\\&+ [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t}, \jmath ^*_{1-s}]\dot{\sigma _r^t}. \end{aligned}

Similarly, we see that

\begin{aligned} D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t} \Big (\jmath ^*_{1-s} \dot{\sigma _r^t} - \phi ^t_r\Big ) = {\tilde{\varphi }}(\phi ^t_r) \cdot \big ( \jmath ^*_{1-s} \dot{\sigma _r^t} - \phi ^t_r\big )+\kappa _2(\phi ^t_r), \end{aligned}

where

\begin{aligned} \kappa _2(\phi ^t_r)= & {} {\tilde{\varphi }}(\phi ^t_r)\cdot \big ( (1 - \jmath ^*_1\nabla \nabla ^* )\phi ^t_r - \jmath ^*_{1-s} \phi ^t_r+ \jmath ^*_{1-s}\nabla \text {grad}\, \Delta (\phi ^t_r)^{\mathrm {h}}-\text {grad}\, \Delta (\phi ^t_r)^{\mathrm {v}}\big )\\&+ [D_{\frac{\mathrm {d}}{\mathrm {d}t} \sigma _r^t}, \jmath ^*_{1-s}]\dot{\sigma _r^t}. \end{aligned}

The variation of constants formula yields now

\begin{aligned} \big (\jmath ^*_{1-s} \dot{\sigma _r^t} + \phi ^t_r\big )({{\mathbf {q}}},{\mathbf {p}})&= \exp \Big (- \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big )\cdot P(t,0) \Big [\jmath ^*_{1-s} {\dot{{{\mathbf {q}}}}} + {\mathbf {p}}\Big ] \nonumber \\&\quad + \int _0^t \Big ( \exp \Big (- \int _\rho ^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big ) \cdot P(t,\tau )\big [ \kappa _1 (\phi ^\rho _r)\big ]\, \mathrm {d}\rho \nonumber \\&= \exp \Big (- \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big )\cdot P(t,0) \Big [\jmath ^*_{1-s} {\dot{{{\mathbf {q}}}}} + {\mathbf {p}}\Big ] + K_1 (t, ({{\mathbf {q}}},{\mathbf {p}})) \end{aligned}
(4.1)

and on the other hand

\begin{aligned} \big (\jmath ^*_{1-s} \dot{\sigma _r^t} - \phi ^t_r\big )({{\mathbf {q}}},{\mathbf {p}}) = \exp \Big ( \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big )\cdot P(t,0) \Big [\jmath ^*_{1-s} {\dot{{{\mathbf {q}}}}} - {\mathbf {p}}\Big ] + K_2(t,({{\mathbf {q}}},{\mathbf {p}})), \end{aligned}
(4.2)

where

\begin{aligned} K_2(t,({{\mathbf {q}}},{\mathbf {p}})) = \int _0^t \Big ( \exp \Big (\int _\rho ^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big ) \cdot P(t,\tau )\big [ \kappa _2 (\phi ^\rho _r)\big ]\, \mathrm {d}\rho . \end{aligned}

Subtracting (4.2) to (4.1) we obtain

\begin{aligned} \phi ^t_r({{\mathbf {q}}},{\mathbf {p}})&=\underbrace{\frac{1}{2} \Big [ \exp \Big (- \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big ) - \exp \Big ( \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big )\Big ]}_{:=a(t,({{\mathbf {q}}},{\mathbf {p}}))}\cdot P(t,0) \big [\jmath ^*_{1-s}{\dot{{{\mathbf {q}}}}}\big ]\\&\quad \underbrace{+\frac{1}{2} \Big [ \exp \Big (- \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big ) + \exp \Big ( \int _0^t {\tilde{\varphi }}(\phi ^\tau _r) \mathrm {d}\tau \Big )\Big ]}_{=:b(t,({{\mathbf {q}}},{\mathbf {p}}))}\cdot P(t,0) \big [{\mathbf {p}}\big ]\\&\quad + \frac{1}{2} \Big (K_1(t,({{\mathbf {q}}},{\mathbf {p}}))-K_2(t,({{\mathbf {q}}},{\mathbf {p}}))\Big ). \end{aligned}

It is straightforward to check that the functions a and b have the desired properties. Now set

\begin{aligned} K(t,({{\mathbf {q}}},{\mathbf {p}})):= \frac{1}{2} P(0,t) \big [ K_1(t,({{\mathbf {q}}},{\mathbf {p}}))-K_2(t,({{\mathbf {q}}},{\mathbf {p}}))\big ]. \end{aligned}

We readily see that all the operators appearing in the functions $$\kappa _1$$ and $$\kappa _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 [24, Section 3]. $$\square$$

### Proof of Proposition 4.2

In virtue of the representation Lemma 4.3 we see that the problem

\begin{aligned} \phi ^{t}_r ( \pi ^{-1}(C)) \cap {\mathbb {O}}_{H^s} \ne \emptyset , \quad t\in [0,t_0], \end{aligned}

is equivalent to finding solutions of

\begin{aligned} 0 = a(t,({{\mathbf {q}}},{\mathbf {p}})) \cdot \jmath ^*_{1-s}{\dot{{{\mathbf {q}}}}} + b(t,({{\mathbf {q}}},{\mathbf {p}}))\cdot {\mathbf {p}}+ K(t,({{\mathbf {q}}},{\mathbf {p}})), \end{aligned}
(4.3)

on $$\pi ^{-1}(C)$$. We equivalently rewrite (4.3) as

\begin{aligned} {\mathbf {p}}= - \frac{1}{b(t,({{\mathbf {q}}},{\mathbf {p}}))} \cdot \Big (a(t,({{\mathbf {q}}},{\mathbf {p}})) \cdot \jmath ^*_{1-s}{\dot{{{\mathbf {q}}}}} + K(t,({{\mathbf {q}}},{\mathbf {p}}))\Big )=: T(t,({{\mathbf {q}}},{\mathbf {p}})), \end{aligned}
(4.4)

where $$T:[0,t_0]\times \pi ^{-1}(C)\rightarrow \pi ^{-1}(C)$$ is a fibre-preserving map mapping bounded sets into precompact sets and additionally satisfying

\begin{aligned} T(0,\cdot ) \equiv 0 \end{aligned}

and

\begin{aligned} T(t,\cdot ) \equiv 0 \ \ \text {on} \ \pi ^{-1}(C) \cap \{\Vert {\mathbf {p}}\Vert _{1-s}\ge \gamma ''\}. \end{aligned}

We are now in position to apply Dold’s fixed point transfer  (see also ). This yields a transfer homomorphism $$\text {tr}_t$$, $$t\in [0,t_0]$$, such that the following diagram is commutative where with slight abuse of notation we denoted with $$\pi ^*$$ the map induced in cohomology by

\begin{aligned} \pi \Big |_{\phi ^{-t}_r \big ( \phi ^{t}_r(\pi ^{-1}(C))\cap {\mathbb {O}}_{H^s}\big )}: \phi ^{-t}_r \big ( \phi ^{t}_r(\pi ^{-1}(C))\cap {\mathbb {O}}_{H^s}\big ) \rightarrow C. \end{aligned}

In particular, we obtain that $$\pi ^*$$ is injective, and hence the desired homomorphism is given by

\begin{aligned} \beta _t:= (\phi ^{-t}_r)^* \circ \pi ^*. \end{aligned}

One now easily checks the commutativity of the diagram in the statement of Proposition 4.2. $$\square$$

### The proof

Now we explain how Theorem 3.2 follows from Propositions  4.1 and 4.2 . If M is not simply-connected we choose $$C=\{\gamma \}$$, where $$\gamma \in C^\infty (S^1,M)$$ is a smooth non-contractible loop.

If M is simply connected the choice of C is more subtle, since for an arbitrary C we cannot exclude that the critical point of $${\mathbb {A}}_r$$ coming from the minimax procedure be constant. We recall that Sullivan’s theory of minimal models for rational homotopy type [34, 36] guarantees that the rational cohomology groups of $$H^1(\mathbb {T},M)$$ (thus, of $$H^s(\mathbb {T},M)$$ since they are homotopically equivalent) do not vanish in arbitrary large degree. Moreover, for any $$k\in \mathbb {N}$$ we can find a compact set $$C\subset H^1(S^1,M)$$ such that the inclusion $$\imath :C\hookrightarrow H^1(\mathbb {T},M)$$ induces an isomorphism in cohomology $$\imath ^*:H^* (H^1(\mathbb {T},M)) \rightarrow H^*(C)$$ up to degree k (c.f. ). Therefore, we choose $$k>\dim M$$ such that $$H^k(H^1(\mathbb {T},M))\ne 0$$ and pick $$C\subset H^1(S^1,M)$$ compact as above; notice that C is a fortiori compact in $$H^s(S^1,M)$$.

In both cases, we obtain a bounded continuous non-increasing minimax function via

\begin{aligned} \theta : (0,+\infty )\rightarrow [0,+\infty ), \quad \theta (r) := \inf _{t\ge 0} \sup _{\phi ^t_r(\pi ^{-1}(C))} {\mathbb {A}}_r. \end{aligned}

The fact that $$\theta$$ is non-increasing and bounded is obvious. By Proposition 4.2 we also see that

\begin{aligned} \sup _{\phi ^t_r(\pi ^{-1}(C))} {\mathbb {A}}_r \ge \inf _{{\mathbb {O}}_{H^s}} {\mathbb {A}}_r =0,\quad \forall t\ge 0, \end{aligned}

thus $$\theta (r)\ge 0$$. As far as continuity is concerned, we observe that for $$r_1\ge r_2$$ and fixed $$t\ge 0$$ we have (for sake of simplicity we assume that the both suprema are attained, say at $$({{\mathbf {q}}}_1,{\mathbf {p}}_1)$$ and $$({{\mathbf {q}}}_2,{\mathbf {p}}_2)$$ respectively)

\begin{aligned} 0\le \sup _{\phi ^t_{r_2}(\pi ^{-1}(C))} {\mathbb {A}}_{r_2} - \sup _{\phi ^t_{r_1}(\pi ^{-1}(C))} {\mathbb {A}}_{r_1}&= {\mathbb {A}}_{r_2}({{\mathbf {q}}}_2,{\mathbf {p}}_2) - {\mathbb {A}}_{r_1}({{\mathbf {q}}}_1,{\mathbf {p}}_1)\\&\le {\mathbb {A}}_{r_2}({{\mathbf {q}}}_2,{\mathbf {p}}_2) - {\mathbb {A}}_{r_1}({{\mathbf {q}}}_2,{\mathbf {p}}_2)\\&= \Delta _{r_1}({{\mathbf {q}}}_2,{\mathbf {p}}_2) - \Delta _{r_2}({{\mathbf {q}}}_2,{\mathbf {p}}_2 )\\&\le \sup _{(q,p)\in TM} \Big (\delta _{r_1}(q,p) - \delta _{r_2}(q,p)\Big ), \end{aligned}

where $$\Delta :{\mathcal {M}}^{1-s}\rightarrow \mathbb {R}$$ and $$\delta :TM\rightarrow \mathbb {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)

\begin{aligned} 0&\le \theta (r_2)-\theta (r_1) \\&= \inf _{t\ge 0} \sup _{\phi ^t_{r_2}(\pi ^{-1}(C))} {\mathbb {A}}_{r_2} - \inf _{t\ge 0} \sup _{\phi ^t_{r_1}(\pi ^{-1}(C))} {\mathbb {A}}_{r_1} \\&= \sup _{\phi ^{t_2}_{r_2}(\pi ^{-1}(C))} {\mathbb {A}}_{r_2} - \sup _{\phi ^{t_1}_{r_1}(\pi ^{-1}(C))} {\mathbb {A}}_{r_1}\\&\le \sup _{\phi ^{t_1}_{r_2}(\pi ^{-1}(C))} {\mathbb {A}}_{r_2} - \sup _{\phi ^{t_1}_{r_1}(\pi ^{-1}(C))} {\mathbb {A}}_{r_1}\\&\le \sup _{(q,p)\in TM} \Big (\delta _{r_1}(q,p) - \delta _{r_2}(q,p)\Big ), \end{aligned}

and the claim follows. Theorem 3.2 finally follows from the next

### Lemma 4.5

For every $$r>0$$ there exists $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)\in \mathrm {crit}\, {\mathbb {A}}_r$$ non-constant with $${\mathbb {A}}_r({{\mathbf {q}}}_r,{\mathbf {p}}_r)=\theta (r)$$.

### Proof

The fact that $$\theta (r)$$ is a critical value for $${\mathbb {A}}_r$$ follows from Proposition 4.1. In case M is not simply-connected, the fact that the corresponding critical point $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ is non-constant follows from the fact that we are working on a connected component of non-contractible loops.

In case M is simply connected we need a more refined argument to exclude that $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ be constant; this will make use of the assumptions on the compact set C. We first notice that $$({{\mathbf {q}}}_r,{\mathbf {p}}_r)$$ is necessarily non-constant if $$\theta (r)>0$$, as constant critical points have non-positive $${\mathbb {A}}_r$$-action. Therefore, we can assume that $$\theta (r)=0$$ and that all critical points of $${\mathbb {A}}_r$$ at level zero are constant.

We start noticing that a sufficiently small neighborhood $$\mathcal U\subset H^s(S^1,M)$$ of the set $$\Lambda ^0M$$ of constant loops (which we recall is diffeomorphic to M) cannot contain non-constant closed geodesics for (Mg). This follows from the fact that, since $$s>\frac{1}{2}$$, $$H^s$$-closedness to a constant loop implies $$C^0$$-closedness, and the claim follows from the positivity of the injectivity radius of (Mg). In particular, the image of any loop in $${\mathcal {U}}$$ is contained in a small Riemannian ball. From this we see that $$\Lambda ^0M$$ is a strong deformation retract of $${\mathcal {U}}$$: Indeed, we first “regularize” loops in $${\mathcal {U}}$$ to obtain a set $$\{{\mathbb {E}}<\epsilon \}\subset H^1(S^1,M)$$, $$\epsilon >0$$ small enough, and then use the negative gradient flow of the energy functional $${\mathbb {E}}$$, as recalled in the proof of Lemma 2.1, to deform $$\{{\mathbb {E}}<\epsilon \}$$ into $$\Lambda ^0M$$.

By assumption we now have that $${\mathcal {V}}:= \pi ^{-1}({\mathcal {U}})$$ is a neighborhood of

\begin{aligned} \mathrm {crit}({\mathbb {A}}_r) \cap {\mathbb {A}}_r^{-1}(0). \end{aligned}

Thus, Proposition 4.1 yields $$\epsilon >0$$ and $$t_0>0$$ such that for all $$t\ge t_0$$

\begin{aligned} \phi ^t_r \big (\{{\mathbb {A}}_r\le \epsilon \}\setminus {\mathcal {V}}\big ) \subset \{ {\mathbb {A}}_r \le -\epsilon \}. \end{aligned}

Using the definition of $$\theta (r)$$, we find $$t_1\ge 0$$ such that

\begin{aligned} \phi ^{t_1}_r(\pi ^{-1}(C))\subset \{{\mathbb {A}}_r \le \epsilon \}. \end{aligned}

Therefore,

\begin{aligned} \phi ^{t_0}_r \Big (\phi ^{t_1}_r (\pi ^{-1}(C) )\setminus {\mathcal {V}}\Big )\subset \{ {\mathbb {A}}_r\le -\epsilon \}, \end{aligned}

which implies that

\begin{aligned} \phi ^{t_0}_r \Big (\phi ^{t_1}_r (\pi ^{-1}(C))\setminus {\mathcal {V}}\Big )\cap {\mathbb {O}}_{H^s} =\emptyset . \end{aligned}

Since $$\phi ^{t_0+t_1}_r (\pi ^{-1}(C)) \cap {\mathbb {O}}_{H^s}\ne \emptyset$$ by Proposition 4.2, we deduce that

\begin{aligned} \phi ^{t_0+t_1}_r (\pi ^{-1}(C)) \cap {\mathbb {O}}_{H^s}\subset \phi ^{t_0}_r({\mathcal {V}}). \end{aligned}

Using again Proposition 4.2 we obtain that the diagram commutes. Thus, the fact that $$\beta _{t_0+t_1}$$ is injective implies that the map

\begin{aligned} \jmath ^*_k \circ (\pi |_{\phi ^{t_0}_r({\mathcal {V}})})^*_k : H^k(H^s(S^1,M)) \rightarrow H^k (\phi ^{t_0+t_1}_r(\pi ^{-1}(C)) \cap {\mathbb {O}}_{H^s}) \end{aligned}

is non-zero and injective, and this contradicts the fact that

\begin{aligned} H^k(\phi ^{t_0}_r({\mathcal {V}}))\cong H^k ({\mathcal {V}}) \cong H^k ({\mathcal {U}}) \cong H^k(M) =0. \end{aligned}

$$\square$$

1. 1.

A critical manifold $${\mathcal {C}}$$ for $${\mathbb {E}}$$ is called non-degenerate if the nullity of the Hessian of $${\mathbb {E}}$$ at any $$\gamma \in {\mathcal {C}}$$ equals the dimension of $$\mathcal C$$.

## References

1. 1.

Abraham, A.: Global analysis, volume 14, Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI (1970)

2. 2.

Abbondandolo, A., Majer, P.: A Morse complex for infinite dimensional manifolds—part I. Adv. Math. 197, 321–410 (2005)

3. 3.

Abbondandolo, A., Schwarz, M.: On the Floer homology of cotangent bundles. Commun. Pure Appl. Math. 59(2), 254–316 (2006)

4. 4.

Abbondandolo, A., Schwarz, M.: A smooth pseudo-gradient for the Lagrangian action functional. Adv. Nonlinear Stud. 9(4), 597–623 (2009)

5. 5.

Abbondandolo, A., Schwarz, M.: The role of the Legendre transform in the study of the Floer complex of cotangent bundles. Commun. Pure Appl. Math. 68(11), 1885–1945 (2015)

6. 6.

Anosov, D.V.: On generic properties of closed goedesics. Math USSR-Izvestiya 21(1), 1 (1983)

7. 7.

Bott, R.: Morse theory old and new. Bull. Am. Math. Soc. 7(2), 331–358 (1982)

8. 8.

Cieliebak, K., Frauenfelder, U., Paternain, G.P.: Symplectic topology of Mañé’s critical values. Geom. Topol. 14(3), 1765–1870 (2010)

9. 9.

Conley, C.C., Zehnder, E.: Morse-type index theory for flows and periodic solutions for Hamiltonian equations. Commun. Pure Appl. Math. 37(2), 207–253 (1984)

10. 10.

Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)

11. 11.

Dold, A.: The fixed point transfer of fibre preserving map. Math. Z. 148, 215–244 (1976)

12. 12.

Floer, A.: Morse theory for Lagrangian intersections. J. Differ. Geom. 28(3), 513–547 (1988)

13. 13.

Floer, A.: Symplectic fixed points and holomorphic spheres. Commun. Math. Phys. 120(4), 575–611 (1989)

14. 14.

Floer, A.: Witten’s complex and infinite-dimensional Morse theory. J. Differ. Geom. 30(1), 207–221 (1989)

15. 15.

Fortune, C.: A symplectic fixed point theorem for C$$\text{ P }^n$$. Invent. Math. 81, 29–46 (1985)

16. 16.

Fukaya, K., Ono, K.: Arnold conjecture and Gromov–Witten invariant. Topology 38, 933–1048 (1999)

17. 17.

Furuta, T., Mićić, J., Pecarić, J., Seo, Y.: Mond–Pecarić Method in Operator Inequalities. Inequalities for Bounded Self-adjoint Operators on a Hilbert Space. Element, Zagreb (2005)

18. 18.

Ginzburg, V.L.: On the existence and non-existence of closed trajectories for some Hamiltonian flows. Math. Z. 223, 397–409 (1996)

19. 19.

Ginzburg, V.L.: A smooth counterexample to the Hamiltonian Seifert conjecture in $$\text{ R }^6$$. Int. Math. Res. Not. 13, 642–650 (1997)

20. 20.

Ginzburg, V.L., Gürel, B.Z.: A $$\text{ C }^2$$-smooth counterexample to the Hamiltonian Seifert conjecture in $$\text{ R }^4$$. Ann. Math. 158, 953–976 (2003)

21. 21.

Heinz, E.: Beiträge zur störungstheorie der Spektralzerlegung. Math. Ann. 123, 415–438 (1951)

22. 22.

Hofer, H.: Lagrangian embeddings and critical point theory. Ann. Inst. H. Poincaré Anal. Non Linéaire 2(6), 407–462 (1985)

23. 23.

Hofer, H., Salamon, D.: Floer Homology and Novikov Rings, The Floer Memorial Volume, vol. 133. Birkhäuser, Basel (1995)

24. 24.

Hofer, H., Viterbo, C.: The Weinstein conjecture in cotangent bundles and related results. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2) 15(3), 411–445 (1988)

25. 25.

Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics. Basler Lehrbücher Advanced Texts. Birkhäuser Verlag, Basel (1994)

26. 26.

Kato, T.: Notes on some inequalities for lineaer operators. Math. Ann. 125, 208–212 (1952)

27. 27.

Klingenberg, W.: Lectures on closed geodesics, Grundlehren der Mathematischen Wissenschaften, vol. 230. Springer, Berlin (1978)

28. 28.

Liu, G., Tian, G.: Floer homology and Arnold conjecture. J. Differ. Geom. 49, 1–74 (1998)

29. 29.

Maeda, Y., Rosenberg, S., Torres-Ardila, F.: The Geometry of Loop Spaces I: $$\text{ H }^s$$ Riemannian Metrics. Internat. J. Math. 26(3) (2015)

30. 30.

Masiello, A.: Variational Methods in Lorentzian geometry. Chapman and Hall, London (1994)

31. 31.

Merry, W., Groman, Y.: The symplectic homology of magnetic cotangent bundles (2020). arXiv:1809.01085

32. 32.

Salamon, D.A., Weber, J.: Floer homology and the heat flow. Geom. Funct. Anal. 16(5), 1050–1138 (2006)

33. 33.

Starostka, M., Waterstraat, N.: The E-cohomological Conley index, cup-lengths and the Arnold conjecture on $$\text{ T }^{2n}$$. Adv. Nonlinear Stud. 19(3), 519–528 (2019)

34. 34.

Sullivan, D.: Diffential Forms and the Topology of Manifolds. University of Tokyo Press, Tokyo (1975)

35. 35.

Taubes, C.: The Seiberg–Witten equations and the Weinstein conjecture. Geom. Topol. 11(4), 2117–2202 (2007)

36. 36.

Vigué-Poirrier, M., Sullivan, D.: The homology theory of the closed geodesic problem. J. Differ. Geom. 11(4), 633–644 (1976)

37. 37.

Weinstein, A.: On the hypotheses of Rabinowitz’ periodic orbit theorems. J. Differ. Equ. 33, 353–358 (1979)

## Acknowledgements

Open Access funding provided by Projekt DEAL. The authors warmly thank Alberto Abbondandolo, Thomas Bartsch, Marek Izydorek, and Kai Zehmisch for many fruitful discussions. Starting point for this paper were lectures given by the first named author at the Justus-Liebig Universität Gießen, Germany, and at the Politechnika Gdanska, Poland, on the classical paper by Hofer and Viterbo . L.A. warmly thanks Marek Izydorek and Joanna Janczewska for their kind hospitality. This research is supported by the DFG-project 380257369 “Morse theoretical methods in Hamiltonian dynamics”. L.A. is partially supported by the DFG-grant CRC/TRR 191 “Symplectic structures in Geometry, Algebra and Dynamics”. M.S. is partially supported by the Beethoven2-grant 2016/23/G/ST1/04081 of the National Science Centre, Poland.

## Author information

Authors

### Corresponding author

Correspondence to Luca Asselle.

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by P. Rabinowitz.

## Appendices

### Appendix A. Proof of Lemma 2.2

In this section we give a proof of Lemma 2.2 on the growth rate of the eigenvalues of the self-adjoint operator $$\nabla _{\dot{{\mathbf {q}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}$$, for a given smooth loop $${{\mathbf {q}}}\in C^\infty (S^1,M)$$. Moreover, we provide a uniform bound for the $$L^\infty$$-norm of the corresponding eigenvectors with $$L^2$$-norm equal one.

We consider a time-depending local chart $$\varphi :S^1 \times B_\epsilon (0)\rightarrow M$$ with $$\varphi (\cdot ,0)={{\mathbf {q}}}$$ and the induced map

\begin{aligned} C^\infty (S^1,\mathbb {R}^n) \rightarrow \Gamma ({{\mathbf {q}}}^*TM), \quad \xi \mapsto (t\mapsto \mathrm {d}\varphi (t,0) \cdot \xi (t)). \end{aligned}

In this setting we have

\begin{aligned} \nabla _{{\dot{{{\mathbf {q}}}}}} \xi = {\dot{\xi }} + \Gamma (\cdot ,{\dot{{{\mathbf {q}}}}}(\cdot ))\cdot \xi , \end{aligned}
(A.1)

with

\begin{aligned} | \Gamma (\cdot ,{\dot{{{\mathbf {q}}}}}(\cdot ))| \le \alpha \Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty \end{aligned}
(A.2)

for some constant $$\alpha >0$$ depending only on g. The quadratic form $$Q:C^\infty (S^1,\mathbb {R}^n)\rightarrow \mathbb {R}$$ associated with the self-adjoint operator $$\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}$$ reads

\begin{aligned} Q(\xi ) := \int _0^1 | \nabla _{{\dot{{{\mathbf {q}}}}}}\xi |^2 \, \mathrm {d}t. \end{aligned}

Using (A.1), (A.2), and the elementary inequality $$(a+b)^2\le 2 (a^2+b^2)$$, we compute

\begin{aligned} Q(\xi )&= \int _0^1 | {\dot{\xi }} + \Gamma (\cdot ,{{\mathbf {q}}}(\cdot ))\cdot \xi |^2 \, \mathrm {d}t\\&\le 2 \int _0^1 \Big (|{\dot{\xi }}|^2 + |\Gamma (\cdot ,{{\mathbf {q}}}(\cdot ))\cdot \xi |^2\Big ) \, \mathrm {d}t\\&\le 2 \int _0^1 \Big (|{\dot{\xi }}|^2 + \alpha ^2 \Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty |\xi |^2\Big ) \, \mathrm {d}t\\&\le D \int _0^1 \Big (|{\dot{\xi }}|^2_{\text {eucl}} + E(\Vert \dot{{\mathbf {q}}}\Vert _\infty ) |\xi |^2_{\text {eucl}}\Big )\, \mathrm {d}t =: Q^+(\xi ), \end{aligned}

where $$D,E(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0$$ are suitable constants depending respectively only on the metric g and on the metric and the $$L^\infty$$-norm of $${\dot{{{\mathbf {q}}}}}$$. Similarly, employing the inequality $$(a-b)^2 \ge \frac{1}{2} a^2 - b^2$$ we obtain

\begin{aligned} Q(\xi )&= \int _0^1 | {\dot{\xi }} + \Gamma (\cdot ,{{\mathbf {q}}}(\cdot ))\cdot \xi |^2 \, \mathrm {d}t\\&\ge \int _0^1 \Big (\frac{1}{2} |{\dot{\xi }}|^2 - |\Gamma (\cdot ,{{\mathbf {q}}}(\cdot ))\cdot \xi |^2\Big ) \, \mathrm {d}t\\&\ge d \int _0^1 \Big (|{\dot{\xi }}|^2_{\text {eucl}} -e(\Vert \dot{{\mathbf {q}}}\Vert _\infty ) |\xi |^2_{\text {eucl}}\Big )\, \mathrm {d}t =:Q^-(\xi ), \end{aligned}

where again $$d,e(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )>0$$ are suitable constants. From the variational characterization of the eigenvalues of a self-adjoint operator T on a Hilbert space $${\mathbb {H}}$$

\begin{aligned} \lambda _j(T) = \max _{\text {codim} (V) =j} \min _{S\cap V} \ Q, \end{aligned}

where Q is the associated quadratic form and $$S\subset {\mathbb {H}}$$ is the unit sphere, we deduce that

\begin{aligned} \lambda _j (Q^-) \le \lambda _j ({{\mathbf {q}}}) \le \lambda _j (Q^+), \end{aligned}

and it is now an easy exercise to show that

\begin{aligned} \left\{ \begin{array}{l} \lambda _j(Q^-) = c (j^2 - d(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )), \\ \\ \lambda _j(Q^+) = C (j^2 + d(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty )). \end{array}\right. , \quad \quad \forall j. \end{aligned}

Indeed, the operator associated with $$Q^-$$ (the argument being analogous for $$Q^+$$) is given by

\begin{aligned} \xi \mapsto - d \big ( \ddot{\xi }+ e(\Vert {\dot{{{\mathbf {q}}}}}\Vert _\infty ) \xi \big ), \end{aligned}

and hence its eigenvalues are given by $$d(4\pi ^2j^2 - e(\Vert \dot{{\mathbf {q}}}\Vert _\infty )$$.

Let now $$\xi$$ be an eigenvector of $$\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}}$$ with $$\Vert \xi \Vert _2 =1$$, and let $$\lambda ^2>0$$ be the corresponding eigenvalue, that is $$-\nabla _{{\dot{{{\mathbf {q}}}}}}^2\xi = \nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}} \xi = \lambda ^2 \xi$$. We set

\begin{aligned} u:= (\xi , \frac{1}{\lambda }\nabla _{{\dot{{{\mathbf {q}}}}}} \xi ) \in \Gamma ({{\mathbf {q}}}^*TM)\times \Gamma ({{\mathbf {q}}}^*TM), \end{aligned}

where $$\Gamma ({{\mathbf {q}}}^*TM)\times \Gamma ({{\mathbf {q}}}^*TM)$$ is endowed with the product $$L^2$$-metric, and compute

\begin{aligned} |u(t_1)|^2 - |u(t_0)|^2&= \int _{t_0}^{t_1} \frac{\mathrm {d}}{\mathrm {d}t}|u(t)|^2\, \mathrm {d}t\\&= 2\int _{t_0}^{t_1} g_{{\mathbf {q}}}(\nabla _{{\dot{{{\mathbf {q}}}}}} u,u)\, \mathrm {d}t\\&= 2 \int _{t_0}^{t_1} \Big (g_{{\mathbf {q}}}(\nabla _{{\dot{{{\mathbf {q}}}}}} \xi , \xi ) + g_{{\mathbf {q}}}(\frac{1}{\lambda }\nabla _{{\dot{{{\mathbf {q}}}}}}^2 \xi , \frac{1}{\lambda }\nabla _{{\dot{{{\mathbf {q}}}}}} \xi )\Big )\, \mathrm {d}t\\&= 0. \end{aligned}

It follows that the function $$t\mapsto |u(t)|$$ is constant. In particular,

\begin{aligned} c = \Vert u\Vert ^2 = \Vert \xi \Vert ^2 + \Vert \frac{1}{\lambda }\nabla _{{\dot{{{\mathbf {q}}}}}} \xi \Vert ^2 = 1 + \int _0^1 \frac{1}{\lambda ^2} g_{{\mathbf {q}}}(\nabla _{{\dot{{{\mathbf {q}}}}}}^* \nabla _{{\dot{{{\mathbf {q}}}}}} \xi ,\xi ) \, \mathrm {d}t = 2, \end{aligned}

so that $$|\xi (t)|^2 \le |u(t)|^2 \le 2$$ for all $$t\in [0,1]$$, an the claim follows.

### Appendix B. Non global equivalence of the metrics $$\langle \cdot ,\cdot \rangle _r$$ and $$\langle \cdot ,\cdot \rangle _r^\mathrm {emb}$$

In this section we provide an example showing that the metrics $$\langle \cdot ,\cdot \rangle _r$$ and $$\langle \cdot ,\cdot \rangle _r^\mathrm {emb}$$ defined in Sect. 2 are not globally equivalent for every $$r\in (0,1]$$ (notice that for $$r=0$$ the two metrics coincide by construction).

Thus, let

\begin{aligned} M := S^1 = \{z \in {\mathbb {C}}: |z|^2 = 1\} \subset {\mathbb {C}} \simeq {\mathbb {R}}^2 \end{aligned}

be the unit circle endowed with the restriction of the euclidean metric. Set

\begin{aligned} {{\mathbf {q}}}_n(t) := e^{2\pi int},\quad {\mathbf {p}}_n(t) := ie^{2\pi int}, \quad \forall n\in \mathbb {N}. \end{aligned}

For fixed $$n\in \mathbb {N}$$, we observe that, for every $$t\in \mathbb {T}$$, the vectors $${{\mathbf {q}}}_n(t)$$ and $${\mathbf {p}}_n(t)$$ form an orthonormal basis of $$T_{{{\mathbf {q}}}_n(t)}{\mathbb {R}}^2$$, and $${\mathbf {p}}_n(t) \in T_{{{\mathbf {q}}}_n(t)}S^1$$. In particular, $${\mathbf {p}}_n \in T_{{{\mathbf {q}}}_n} H^s(S^1,M)$$. For any $${\mathbf {w}}\in \Gamma ({{\mathbf {q}}}_n^*TS^1)$$ we have

\begin{aligned} \dot{{\mathbf {w}}}(t) = \langle \dot{{\mathbf {w}}}(t),{\mathbf {p}}_n(t)\rangle \cdot {\mathbf {p}}_n(t) + \langle \dot{{\mathbf {w}}}(t),{{\mathbf {q}}}_n(t)\rangle \cdot {{\mathbf {q}}}_n(t) = \nabla _{\dot{{{\mathbf {q}}}}_n} {{\mathbf {w}}}(t) + \langle \dot{\mathbf{w}}(t),{{\mathbf {q}}}_n(t)\rangle \cdot {{\mathbf {q}}}_n(t). \end{aligned}

Differentiating the identity $$\langle {{\mathbf {w}}}(t),{{\mathbf {q}}}_n(t)\rangle = 0$$ we get

\begin{aligned} \langle \dot{{\mathbf {w}}}(t),{{\mathbf {q}}}_n(t)\rangle = - \langle {\mathbf{w}}(t),\dot{{{\mathbf {q}}}}_n(t)\rangle . \end{aligned}

We can now estimate

\begin{aligned} \Vert {\mathbf {w}}\Vert _{1}^2 \le (\Vert {\mathbf {w}}\Vert _{1}^{\mathrm {emb}})^2&= \Vert {\mathbf {w}}\Vert ^2 + \Vert \dot{{\mathbf {w}}}\Vert ^2 = \Vert {\mathbf {w}}\Vert ^2 + \Vert \nabla _{{\dot{{{\mathbf {q}}}}}_n}{\mathbf {w}}\Vert ^2 + \Vert \langle {\mathbf {w}}(t),\dot{{{\mathbf {q}}}}_n(t) \rangle \cdot {{\mathbf {q}}}_n(t)\Vert ^2 \\&\le \Vert {\mathbf {w}}\Vert _1^2 + \Vert {\mathbf {w}}\Vert ^2 \cdot \Vert \dot{{{\mathbf {q}}}}_n\Vert ^2 \le (1+(2\pi n)^2)\Vert {\mathbf {w}}\Vert _1^2, \end{aligned}

that is, $$\Vert \cdot \Vert _1$$ and $$\Vert \cdot \Vert _{1}^\mathrm {emb}$$ are equivalent on $$\Gamma (u_n^*TS^1)$$. By the Löwner-Heinz theorem, the norms $$\Vert \cdot \Vert _r$$ and $$\Vert \cdot \Vert _r^\mathrm {emb}$$ are equivalent on $$\Gamma ({{\mathbf {q}}}_n^*TS^1)$$ for every $$r\in [0,1]$$.

On the other hand, we readily see that, for $$r\in (0,1]$$, there is no constant c independent of n such that $$\Vert \cdot \Vert _{r}^\mathrm {emb}\le c\Vert \cdot \Vert _r$$. Indeed, for $${\mathbf {w}}= {\mathbf {p}}_n$$ we have

\begin{aligned} (1+ \nabla _{{\dot{{{\mathbf {q}}}}}_n}^*\nabla _{{\dot{{{\mathbf {q}}}}}_n} ){\mathbf {p}}_n = {\mathbf {p}}_n, \quad (1-\Delta ){\mathbf {p}}_n = \big (1+(2\pi n)^2\big ){\mathbf {p}}_n, \end{aligned}

where we used the fact that

\begin{aligned} \nabla _{{\dot{{{\mathbf {q}}}}}_n} {\mathbf {p}}_n (t) = \text {pr}_{T_{{{\mathbf {q}}}_n(t)}S^1} {\dot{{\mathbf {p}}}}_n(t) = \text {pr}_{T_{{{\mathbf {q}}}_n(t)}S^1} \Big (-(2\pi n)^2 {{\mathbf {q}}}_n(t)\Big ) =0,\ \ \forall t\in \mathbb {T}. \end{aligned}

Therefore,

\begin{aligned} \Vert {\mathbf {p}}_n\Vert _r =\Vert {\mathbf {p}}_n\Vert \equiv 1,\quad \Vert {\mathbf {p}}_n\Vert _{r}^\mathrm {emb}= \big (1+(2\pi n)^2\big )^r \rightarrow \infty \ \ \text {as}\ \ n\rightarrow +\infty . \end{aligned}

In particular, the two norms are not globally equivalent.