Invariant submanifolds of conformal symplectic dynamics

We study invariant manifolds of conformal symplectic dynamical systems on a symplectic manifold (M, $\omega$) of dimension $\ge$4. This class of systems is the 1-dimensional extension of symplectic dynamical systems for which the symplectic form is transformed colinearly to itself. In this context, we first examine how the $\omega$-isotropy of an invariant manifold N relates to the entropy of the dynamics it carries. Central to our study is Yomdin's inequality, and a refinement obtained using that the local entropies have no effect transversally to the characteristic foliation of N. When (M, $\omega$) is exact and N is isotropic, we also show that N must be exact for some choice of the primitive of $\omega$, under the condition that the dynamics acts trivially on the cohomology of degree 1 of N. The conclusion partially extends to the case when N has a relatively compact one-sided orbit. We eventually prove the uniqueness of invariant submanifolds N when M is a cotangent bundle, provided that the dynamics is isotopic to the identity among Hamiltonian diffeomorphisms. In the case of the cotangent bundle of the torus, a theorem of Shelukhin allows us to conclude that N is unique even among submanifolds with compact orbits.


Introduction
Let pM 2d , ωq be a symplectic manifold.Symplectic dynamical systems form a class of infinite codimension.We will study conformal symplectic dynamics, a now classical extension of symplectic dynamics (1) where the symplectic form may change in its own direction: a ω for some a ą 0 (conformality ratio). (2) -A complete vector field X on M is conformal symplectic if L X ω " α ω, where L X is the Lie derivative, for some α P R (conformality rate). (3)  Such dynamics encapsulate mechanical systems whose friction force is proportional to velocity, in which case a ă 1 or α ă 0.
In this paper we will focus on the non-symplectic case, i.e., a ‰ 1 and α ‰ 0. Of course, time reversal changes a in 1{a and α in ´α.
For such a dynamics, the volume form ω ^d is monotonic.So if such a dynamics exists on M, M cannot be closed and has infinite volume.Moreover, when the dynamics is given by a vector field X, the symplectic form satisfies ω " 1 α L X ω " d `1 α i X ω ˘and is exact.Hence conformal vector fields exist only on exact symplectic manifolds.Yet this is not the case for conformal diffeomorphisms (see an example in Proposition 2).Also, if a vector field X is conformal symplectic of conformality rate α and if Z is the Liouville vector field associated with the 1-form λ " ´1 α i X ω, i.e., i Z ω " λ, then X `αZ is symplectic.Thus, when ω is exact, conformal symplectic vector fields form a 1-dimensional extension of the space of symplectic vector fields.
When pM, ωq is exact, there exists a 1-parameter subgroup C of the set of conformal symplectic diffeomorphisms such that the group of conformal symplectic diffeomorphisms is tf ˝g; pf, gq P CˆSu where S is the set of symplectic diffeomorphisms.When M is not exact, let R be the subgroup of R ˚of conformality ratios of conformal symplectic diffeomorphisms of M. This subgroup can be trivial, e.g. when M is compact (all conformal symplectic diffeomorphism are symplectic).
Questions.-Can R be strictly between t1u and R ˚? Assuming that R " R ˚, does there exist a continuous 1-parameter family of conformal symplectic diffeomorphisms indexed by its conformality ratio in R ˚?
An important case is that of cotangent bundles pM " T ˚Q, ω " ´dλq, where Q is a manifold and λ is the canonical Liouville 1-form.A continuous-time example is the flow expptZ λ qpq, pq " pq, e ´tpq of the Liouville vector field Z λ defined by i Z λ p´dλq " λ (1) Vaisman [15] and others have defined local conformal symplectic structures on a manifold M.
There is a corresponding notion of dynamics preserving the structure, thus extending our setting.
(2) As Libermann noticed [9]: if f ˚ω " a ω for some smooth function a, a ω being closed we have da ^ω " 0, which implies, if M has dimension ě 4, that a is constant. (3)Then the flow pφtq of X is conformal symplectic and φ t ω " e αt ω.
J.É.P. -M., 2024, tome 11 and a discrete-time example is f " exp Z λ : pq, pq Þ Ñ pq, apq, a " e ´1.These two examples of conformal symplectic dynamics have a very simple behaviour: -there is a global attractor A; -the ω-limit set of every orbit is a point of A.
More generally, consider a discounted Tonelli vector field X on T ˚Q of negative rate α; by definition it satisfies i X ω " dH `αλ for some Hamiltonian H which is superlinear in the fiber direction and whose Hessian in the fiber direction is positive definite.It has been shown that the flow of such a vector field has a global attractor [11].
In the general setting, many natural questions are open, for example: Questions.-Which conditions ensure the existence of a global attractor?And provided that the global attractor exists (necessarily having zero volume), what can be said of its size?
As a first step, in this article we focus on the case of invariant submanifolds (with a digression on the case of submanifolds with compact orbit), although the study of dissipative twist maps proves that there can exist invariant subsets that are not submanifolds [8].
First, we explore the isotropy of invariant submanifolds.This question is akin to its analogue in symplectic dynamics, where both negative and positive results have been proved in particular for invariant tori carrying minimal quasiperiodic flows.
We start by providing an example where an invariant submanifold is a hypersurface and hence non-isotropic (Propositions 1 and 2 in section 2).There exist similar examples due to McDuff, [12] and Geiges [3,4], but our example is somewhat more explicit.We do not know if there exist examples of invariant non-isotropic submanifolds that are invariant by a conformally symplectic dynamics on a cotangent bundle.An even more difficult question is to determine whether such submanifolds may exist for discounted Tonelli flows on cotangent bundles.In this case and when dim M ě 4, the global attractor never separates M and hence cannot be a hypersurface.
In turn, we show some positive results regarding the isotropy of invariant submanifolds.If the invariant submanifold is a surface, isotropy follows from a simple argument using the growth of the area.In higher dimension, a first result follows from Yomdin's theory [20,6].Proposition 4 of section 2 states that if a smooth (4)  conformal diffeomorphism f : M ý with conformality rate a has an invariant smooth submanifold N Ă M such that the topological entropy of f |N is less than | logpaq|, then N is isotropic.But Yomdin's proof can be improved in the setting of diffeomorphisms which are conformal with respect to a presymplectic form.Here, we prove that the so-called local entropies have no effect on the volume growth transversally to the characteristic foliation of N (section 3).It follows that if a conformal symplectic C 3 -diffeomorphism of conformality ratio a has an invariant C 3 -manifold on which ω has constant rank 2ℓ (4)  and such that the entropy of f |N is smaller than ℓ | log a|, N is isotropic.In particular, if an invariant submanifold carries a minimal dynamics (every orbit is dense) with zero entropy, it is isotropic (Corollary 2).
This new result assumes less regularity than the former one (C 3 instead of smooth in Proposition 4) but requires that the symplectic form restricted to the submanifold has constant rank.
A related result is [2, 2.2.1],where the authors prove that if a C 1 conformal dynamics has a C 1 invariant torus on which the dynamics is C 1 conjugate to a rigid rotation, then this torus is isotropic.This results is a direct consequence of Proposition 4. Corollary 2 of section 3 doesn't imply this result because our result require more regularity, and on the other hand our result applies when a C 3 dynamics is C 0 conjugated to a transitive rotation.
Second, we examine the question of exactness.In this purpose, in section 4 we assume that pM, ω " ´dλq is exact.Define the Liouville class of an isotropic embedding in M as the cohomology class of the form induced by λ.The embedding is called exact when this class vanishes.The action of conformal symplectic diffeomorphisms on Liouville classes depends on a notion of exactness for the diffeomorphisms themselves.Let f : M ý be a conformal symplectic diffeomorphism of conformality ratio a.The form f ˚λ ´aλ is closed.
It is Hamiltonian if f is the time-one map of the flow of a non autonomous conformal Hamiltonian vector field X t (meaning that i Xt ω " α t λ `dH t for all t).These definitions depend of the chosen primitive of the symplectic form.We prove in appendix B that there is always a choice of primitive for which f is exact.Alternatively, we also show that f is symplectically conjugate to a diffeomorphism which is exact with respect to the initial λ (see appendix B).Hence we state our results for exact conformal symplectic dynamics (see section 4 for more comprehensive statements).
Our main result here is that if f is an exact conformal symplectic diffeomorphism and if S is a strongly f -invariant submanifold (in the sense that j ˝f pSq " jpSq and f acts trivially on H 1 pjpSq, Rq), j is exact.
When L is a Lagrangian submanifold that is H-isotopic (5) to a graph in M " T ˚Q and f is CS isotopic (6) to Id M , we obtain the same conclusion when assuming only that the orbit of L is bounded.For example, the submanifolds that are H-isotopic to the zero section and contained in an attractor satisfy this hypothesis. Question.
-Is it possible to obtain similar results without assuming that the Lagrangian submanifold is H-isotopic to a graph?On other manifolds? (5)By H-isotopic, we mean isotopic among Hamiltonian diffeomorphisms. (6)By CS isotopic, we mean isotopic among conformal symplectic diffeomorphisms.
J.É.P. -M., 2024, tome 11 Third, in section 6, we raise the question of the uniqueness of a invariant Lagrangian submanifolds in a cotangent bundle pT ˚Q, ´dλq.Indeed, let f : T ˚Q ý be a CES diffeomorphism that is CH isotopic (7) to Id T ˚Q.We show that there exists at most one submanifold of T ˚Q that is H-isotopic to the zero section and invariant by f .Key to the proof is the Viterbo distance of Lagrangian submanifolds which are H-isotopic to the zero section, and the fact that this distance is monotonic with respect to the action of f .
A recent result of Shelukhin even allows us to show the following.Let f : T ˚Tn ý be a CES diffeomorphism that is CH-isotopic to Id T ˚Tn .Then there exists at most one submanifold L which is H-isotopic to the zero section and such that kPZ f k pLq is relatively compact.
Hence when it exists, L is invariant by f .
For discounted Tonelli flows, it was known that there is at most one invariant exact Lagrangian graph because this corresponds to the unique weak KAM solution [11].But we give in Section 7 an example of such a dynamics with an invariant H-isotopic to a graph submanifold that is not a graph, hence even in this case our uniqueness result is new.

Isotropy
The so-called Mañé example [10] (see section 7.1) shows that any flow defined on a closed manifold Q can be achieved as the restriction of a Tonelli conformal Hamiltonian flow to the zero section of T ˚Q.In this case, the zero section is an invariant Lagrangian submanifold.
The following example, which is very similar to an example of [4], is key to this section.It shows that a closed submanifold which is invariant by a conformal symplectic dynamics may be non ω-isotropic.In the remaining of the section, we will give some general conditions under which the submanifold must be ω-isotropic.Proposition 1. -There exists a conformal symplectic vector field X on a 4-dimensional symplectic manifold pM, ωq, with a 3-dimensional invariant submanifold L (hence L is not isotropic).
Moreover, the submanifold L is the global attractor for the flow pφ t q of X, pφ t|L q is conjugate to the suspension of an Anosov automorphism of T 2 with 2-dimensional stable and unstable foliations, and pφ t|L q is transitive with entropy equal to |α|, where α is the conformality rate of X.

Remarks 3
(1) In our example, L is coisotropic, but it is easy to extend this example to an invariant submanifold which is neither isotropic nor coisotropic.Indeed, let Y be a conformal symplectic vector field on a symplectic manifold pN, ω 1 q with a periodic (7) By CH-isotopic, we naturally mean isotopic among conformally Hamiltonian diffeomorphisms.
J.É.P. -M., 2024, tome 11 orbit γ.Then the sum X ' Y admits L ˆγ as an invariant submanifold that is neither isotropic nor coisotropic in M ˆN if dim N ě 4.
(2) The submanifold L is the maximal (among compact subsets) attractor of the dynamics.
(3) Replacing the vector field X by bX for b P R, we can achieve any positive value for the entropy.
Questions.-We don't know if it is possible to build a non-isotropic example on a cotangent bundle endowed with its usual symplectic form or, even stronger, if a similar example exists on such a manifold among Tonelli flows.
Denote by α ˘the linear forms on R 2 such that α ˘pv˘q " 1 and α ˘pv ¯q " 0. Observe that α ˘˝A " λ ˘α˘.Rescale the forms α ˘in the z-direction in order to get F -invariant forms on T 2 ˆR: define β ˘pξ, zq " `λ˘˘z α ˘pξq, so that F ˚β˘" `λ˘˘z ´1α ˘˝A " `λ˘˘z α ˘" β ˘.
We consider the vector field X " p0, 0, 1q on N. The lift of its flow to T 2 ˆR is defined by hence the first return map to tz " 0u is Φ 1 pξ, 0q " pAξ, 0q and is conjugate to A. The flow pΦ t q is a suspension of A and has the same Lyapunov exponents as A.
We define on M the vector field Y " X `2 ln λ ´Bs.Its flow is ψ t pξ, z, sq " pΦ t pξ, zq, `λ´˘2 t sq.
J.É.P. -M., 2024, tome 11 Hence N ˆt0u is the global attractor for pψ t q.We have As λ ´λ`" 1, we finally obtain

□
There are also examples of conformal symplectic diffeomorphisms on a non-exact symplectic manifold that have a non-isotropic invariant submanifold on which the restricted dynamics is Anosov.
-There exists a conformal symplectic diffeomorphism f on a 6-dimensional symplectic manifold pM, ωq,with a 4-dimensional invariant submanifold L (so L is not isotropic).
Moreover, the submanifold L is the global attractor for f , f |L is conjugated to a hyperbolic automorphism of T 4 with 2-dimensional stable and unstable foliations, and f |L is transitive with entropy equal to ´log a, where a is the conformality ratio of f .
Question.-In our example we have a " `p3 ´?5q{2 ˘2.In fact we can replace this number by the square of the largest eigenvalue of any Anosov automorphism of T 2 .We do not know if we can achieve other constants by a conformal symplectic diffeomorphisms of the same symplectic manifold.
Observe that the kernel of Ω is the direction of the unstable foliation.Obviously, F ˚Ω " λ 2 Ω.Now, we consider the subbundle M " ␣ pθ, rq P T 4 ˆR4 ; r 2 " pr 1 and r 4 " pr 3 ( of T 4 ˆR4 .This bundle corresponds to the tangent bundle to the unstable foliation in the identification of T T 4 with T 4 ˆR4 .We denote by Ω 1 the closed 2-form on M that is equal to π ˚Ω where π : pθ, rq P M Þ Ñ θ P T 4 and by Ω 2 the restriction of the usual symplectic form dθ ^dr of T ˚T4 to M: # Ω 1 " pdθ 2 ´p dθ 1 q ^pdθ 4 ´p dθ 3 q, Ω 2 " 1 5 pdθ 2 `1 p dθ 1 q ^pdr 2 `1 p dr 1 q `1 5 pdθ 4 `1 p dθ 3 q ^pdr 4 `1 p dr 3 q.Let then ω " Ω 1 `Ω2 be the chosen symplectic form on M.
If we define f : M Ñ M by f pθ, rq " pT pθq, `p3 ´?5q{2 ˘3 rq, then we have So finally f : M Ñ M is a conformal symplectic diffeomorphism such that f ˚ω " λ 2 ω and f ˚pT 4 ˆt0uq " T 4 ˆt0u, where T 4 ˆt0u is not isotropic and the topological entropy of f |T 4 ˆt0u is ´2 log λ. □ Let us come back to the general case of a C 1 conformal symplectic diffeomorphism f of a symplectic manifold pM, ωq, of conformality ratio a ‰ 1.
Since a is assumed ‰ 1, ş U Ω must thus be zero.Hence the 2ℓ-form induced by Ω vanishes identically, whence the conclusion.□ If L has any dimension, the same conclusion holds provided some constraint on the topological entropy entpf |L q of the dynamics carried by L. Define the spectral radius of a self-map g as radpDgq " lim sup nÑ`8 Proposition 4. -Let f be a conformal diffeomorphism of pM, ωq, i.e., such that f ˚ω " a ω with a P s0, 1r.Let L be an invariant closed submanifold.Assume one of the following hypothesis.
(1) The diffeomorphism f is smooth, L is smooth and entpf |L q ă ´logpaq; (2) The diffeomorphism f and L are C r for some r ě 1 and entpf |L q `log ``RadpDf ´1 |L q 2{r ˘ă ´logpaq.Then L is ω-isotropic.Proof.-We assume that L is invariant and not isotropic.There exists a constant k ą 0 such that on L, we have |ω| ď k|vol| where vol is the 2-dimensional volume form induced by the Riemannian metric.We choose in L a small piece S of symplectic surface (whose tangent space intersects the characteristic bundle of L only in 0).Then ωpf ´npSqq " a ´nωpSq " 0 and then The conclusion follows from Yomdin's inequality, which we have recalled in appendix A. □ Remark 4. -This statement implies in particular that if L is an invariant submanifold by a conformal flow pφ t q then -if L and pφ t q are C 1 and if φ t|L is C 1 conjugate to a rotation on a torus for some t " 0, then L is isotropic; indeed, in this case, the entropy vanishes and the spectral radius of Df is 1.A simpler proof of this statement is given in [2].
-if L and pφ t q are smooth and if φ t|L is C 0 conjugate to a rotation on a torus for some t " 0, then L is isotropic; indeed, in this case, the entropy vanishes.

Entropy
The purpose of this section is to improve regularity in Proposition 4. We will start by giving an abstract result on a manifold endowed with a form with constant rank and then we will give an application to invariant submanifolds of conformal symplectic dynamics.
Let -N pnq be a compact Riemannian C 2 manifold and d its distance -F be a C 2 foliation induced by a subbundle F of T N of rank pď n ´1 -Ω be an pn ´pq-form on N which induces a volume on submanifolds transverse to F f be a C 1 -diffeomorphism of N preserving F and such that Proof.
-Key to the proof is the refined distance d F on N defined by x and y are not on the same leaf, distance from x to y along their common leaf, otherwise.
Lemma 1. -There exist ε ą 0 and K ą 0 such that for every x, y P N Replacing the Riemannian metric d by p1{εqd, we will assume that ε " 1.
Proof of Lemma 1. -We choose ε ą 0 that is strictly less than the radius of injectivity of the metric d restricted to every leaf and introduce This set is closed and due to our choice of ε, d F is continuous on D. If we use the notation ∆ " tpx, xq; x P Nu, then the continuous function d F {d is bounded on the complement of every neighbourhood of ∆ in D.
The exponential maps for the Riemannian form g and for the Riemannian form g F restricted to the leaves are tangent along the tangent bundle to the leaves, hence lim px,yqÑ∆ d F px, yq dpx, yq " 1. □ For every x P N, let U pn´pq x be a submanifold through x of dimension n ´p, transverse to F and homeomorphic to a ball, such that its normal bundle is trivial.Let V x be a tubular neighborhood of U x , of the form We choose U x and ε x ă 1 small enough so that V x has a product structure.Furthermore, let W x " yPUx tz P N; d F py, zq ă ε x {2u.
Let F Wx be the foliation induced on W x by F. (Due to the product structure, leaves of F Wx are of the form W x X L x , where L x is the leaf through x of the foliation induced on V x .)The neighborhood W x has the property that for any two points y and z of W x , if d F py, zq ă ε x {2 then y and z must belong to the same leaf of F Wx ; indeed, if y and z do not lie on the same leaf of F Wx , their distance must be ě ε x since any path from y to z along a leaf of F runs twice across V x zW x .Let W x1 ,. . ., W x I be a finite subcovering of N. Denote W xi by W i , and let ε " min i ε xi {2.So, the following property holds: p˚q For every i " 1, . . ., I and y, z P W i such that d F py, zq ă ε, y and z belong to the same leaf of the foliation F Wi induced by F on W i .Moreover, since f ´1 and F are continuous and f preserves F, there exists η ă ε such that p˚˚q For every x, y P N such that d F px, yq ă η, d F pf ´1x, f ´1yq ă ε.According to Lebesgue covering lemma, there exists θ ă η{K such that every ball of radius θ is inside at least one of the W i 's.
Let pQ j q 1ďjďJ be a decomposition of N into cubes (or compact submanifolds with boundaries) such that each cube is contained in a ball of radius ă θ.
J.É.P. -M., 2024, tome 11 Let S be a submanifold of N of dimension n ´p, included into some cube Q j and transverse to F. S must lie into some W i .For any W i containing S, S meets each leaf of F Wi at isolated points.By narrowing S, we may assume that S meets each leaf of F Wi at one point at most.
We claim that p˚˚˚q For every k and j 1 , . . ., j k P t1, . . ., Ju, f k pSq X f k´1 pQ j1 q X ¨¨¨X Q j k meets each leaf of any W i containing Q j k at one point at most.
Let j P t1, . . ., Ju.Then S 1 " f pSq X Q j is also transverse to the foliation.Let x, y P S 1 be on a common leaf of F Wi , with Q j Ă W i0 .Since such leaves have a diameter ă 1 (due to our choice ε x ă 1), using (3.1) (8) , we see that Using p˚˚q, d F pf ´1x, f ´1yq ă ε.But using p˚q, f ´1x and f ´1y belong to the same leaf of F Wi 0 .So, by the constructing property of W i0 , f ´1x " f ´1y and x " y.By induction, p˚˚˚q holds.
If S Ă W i , we have uniformly with respect to k.Let 8) Recall the metric was changed in order to have ε " 1 in (3.1).
J.É.P. -M., 2024, tome 11 hence the wanted inequality.□ Now assume that ω is a presymplectic form (9) of N of (even) rank 2ℓ ě 2 and The kernel of ω is a uniquely integrable subbundle F of corank 2ℓ.Setting Ω " ω ℓ and b " a ℓ brings us back to the prior setting.Let us now return to our usual setting, where pM, ωq is a symplectic manifold.
Corollary 2. -Let f : M ý be a C 3 conformal symplectic diffeomorphism such that f ˚ω " aω with a ą 1. Suppose that N is an invariant C 3 submanifold such that the induced form ω |N on N has constant rank.Then in particular, if the entropy of f |N vanishes, N is isotropic.
Note that if N is a compact submanifold such that f |N is minimal, (10) ω |N has constant rank and so the corollary applies.
Proof.-As N is C 3 , its tangent bundle is C 2 .Then Frobenius Theorem applies to F " ker ω |N (11) and the characteristic foliation F exists.□

Liouville class of invariant submanifolds
In this section we assume that pM, ω " ´dλq is an exact symplectic manifold.The goal is to prove that, given a conformal dynamics, there is only one Liouville class that an isotropic invariant submanifold may have. (9)A presymplectic form is a a closed 2-form with constant rank. (10)By definition, it is minimal if every orbit is dense. (11)The infinitesimal integrability condition is well known: if X, Y are sections of F and Z is a section of T N, 0 " dωpX, Y, Zq " ´ωprX, Y s, Zq, which shows that rX, Y s itself is a section of F .-Its Liouville class rjs P H 1 pS, Rq is the cohomology class of the induced form j ˚λ.
-It is exact if its Liouville class vanishes.
So, the notion of exactness is independent of the embedding with a given image.When M " T ˚Q is the cotangent bundle of a closed manifold endowed with its tautological 1-form λ and L is a Lagrangian submanifold of T ˚Q that is homotopic to the zero section Z, the restriction to L of the canonical projection π : T ˚Q Ñ Q is a homotopy equivalence between L and Q and induces an isomorphism between H 1 pL, Rq and H 1 pQ, Rq.Denoting by j L : L ãÑ T ˚Q the canonical injection defined by j L pxq " x, the Liouville class of the submanifold L is the cohomological class rLs "
In this case, we may thus update the definition of Liouville classes.
Definition 7. -Let L be a Lagrangian submanifold of T ˚Q that is homotopic to the zero section, the Liouville class rLs of L is the cohomology class on Q whose pull back by π |L is the cohomology class of λ |T L .
The following straightforward proposition explains that the group of conformal dynamics acts on the set of Liouville classes of isotropic embeddings that are homotopic to a given isotropic embedding of a given manifold S by homotheties (translations when the dynamics is symplectic).Proposition 5. -Let f : M ý be a conformal diffeomorphism with conformality ratio a. Then η " f ˚λ ´aλ is a closed 1-form.
Let j 0 : S ãÑ M be an isotropic embedding.For every isotropic embedding j : S ãÑ M that is homotopic to j 0 , the Liouville class of the isotropic embedding f ˝j : S ãÑ M is rf ˝js " arjs `rj 0 ηs.there exists an isotopy pf t q tPr0,1s such that f 0 " Id M , f 1 " f and two functions H : r0, 1s ˆM Ñ R and α : r0, 1s Ñ R such that @pt, xq P r0, 1s ˆM, i 9 ftpxq ω " αptqλ `Bx Hpt, xq.
Remark 9. -A diffeomorphism f : M ý is conformal Hamiltonian if and only if there exists an isotopy pf t q tPr0,1s of CES diffeomorphisms such that f 0 " Id M and f 1 " f .Definition 10. -The flow pφ t q associated to the vector field X on M is λ conformal Hamiltonian if there exists α P R and H : M Ñ R such that i X ω " αλ `dH.
Remark 11. -A flow is a flow of λ conformal exact symplectic diffeomorphisms if and only if it is λ conformal Hamiltonian.
To describe the behavior of Lagrangian submanifolds of T ˚Q that are H-isotopic to a graph, we first need the following invariance result.Proposition 6. -Let pL t q be an isotopy of Lagrangian submanifolds of T ˚Q such that L 0 " Z. Then L 1 is H-isotopic to a graph.Corollary 3. -Let pg t q tPr0,1s be an isotopy of conformal symplectic diffeomorphisms such that g 0 " Id T ˚Q.Let L be a Lagrangian submanifold of T ˚Q that is H-isotopic to a graph.Then g 1 pLq is H-isotopic to a graph.If moreover L is H-isotopic to the zero-section and the isotopy is conformal Hamiltonian, then g 1 pLq is H-isotopic to the zero-section.
Proof of Proposition 6. -We will prove Lemma 2. -Assume that L is H-isotopic to the zero section and that pL t q tPr´ε,εs is an isotopy of exact Lagrangian submanifolds such that L 0 " L. Then there exists a neighbourhood N of 0 in r´ε, εs such that for every t P N, L t is H-isotopic to the zero section.
Proof of Lemma 2. -We use Weinstein tubular neighbourhood Theorem, [19].Let T be a symplectic tubular of L, i.e., there exists a neighbourhood U of the zero section in T ˚L and a symplectic embedding ϕ : U ãÑ T ˚Q with image T that is Id L on L. As Φ maps the exact Lagrangian submanifold L of T ˚L onto the exact Lagrangian submanifold L of T ˚Q, then Φ is exact symplectic.
This implies that every submanifold ϕ ´1pL t q is exact Lagrangian.Moreover, there exists a neighbourhood N of 0 in r´ε, εs such that for every t P N, ϕ ´1pL t q is a graph.Hence this is the graph of an exact 1-form du t .Then ϕ ´1pL t q is the image by the time-1 Hamiltonian flow of H " ´dut dt ˝π.Using a bump function, we can assume that H has support in U, and then the time-1 map of the Hamiltonian H ˝ϕ maps L onto L t .□ We now prove Proposition 6.Let us firstly deal with the case when all the L t s are exact.We introduce tt P r0, 1s; @s P r0, ts, g s pLq is H ´isotopic to the zero sectionu.Now we just assume that pL t q is an isotopy of Lagrangian submanifolds of T ˚Q such that L 0 " Z.We choose an arc pη t q tPr0,1s of closed 1-forms on Q whose cohomology class rη t s " rL t s is the Liouville class of L t .We denote by T t : T ˚Q ý the symplectic diffeomorphisms such that T t ppq " p `ηt ˝πppq.Then L t " T ´tpL t q defines a homotopy of exact Lagrangian submanifolds of T ˚Q.A result of the first part of the proof is that L t is H-isotopic to the zero section, i.e., there exists a H-isotopy pϕ t q tPr0,1s such that ϕ 0 " Id and ϕ 1 pZq " L 1 .Hence L 1 " T 1 pL 1 q is H isotopic to the graph of η 1 via the H-isotopy pψ t q tPr0,1s " pT 1 ˝ϕt ˝T ´1 1 q tPr0,1s .□ Proof of Corollary 3. -We assume that pg t q tPr0,1s is an isotopy of conformal symplectic diffeomorphisms such that g 0 " Id T ˚Q and that L is a Lagrangian submanifold of T ˚Q that is H-isotopic to a graph.Then there exist a closed 1-form η on Q and a H-isotopy ph t q tPr0,1s such that h 0 " Id T ˚Q and L " h 1 pgraphpηqq.We introduce the symplectic diffeomorphisms pT t q tPr0,1s of T ˚Q that are defined by T t ppq " p`tη ˝πpqq.Then pL t q tPr0,1s " pg t ˝ht ˝Tt pZqq tPr0,1s is a isotopy of Lagrangian submanifolds such that L 0 " Z and L 1 " g 1 pLq.A result of Proposition 6 is that g 1 pLq is H-isotopic to a graph.If moreover L is H-isotopic to the zero-section and the isotopy is conformal Hamiltonian, then all the maps g t ˝ht ˝Tt are conformal Hamiltonian and thus every manifold L t is exact Lagrangian.The conclusion is a result of the second part of Corollary 3. □ 4.2.Liouville classes of invariant submanifolds.-Let j 0 : S ãÑ M be an isotropic embedding.We denote by Jpj 0 q the set of isotropic embeddings j : S ãÑ M that are homotopic to j 0 .A consequence of Proposition 5 is: -Let f : M ý be a conformal diffeomorphism.Let j P Jpj 0 q be an isotropic embedding which is strongly f -invariant in the sense that -jpSq " f ˝jpSq, f acts trivially on H 1 pjpSq, Rq.
Then j may have only one Liouville class, that we denote by rℓ f pJpj 0 qqs.In particular, when f is CES, then rℓ f pJpj 0 qqs " 0 and j has to be exact.
Proof.-Let j : S ãÑ M be such an embedding.With the notations of Proposition -Let X be a CS vector field on M with flow pφ t q.Let j 0 : S ãÑ M be an isotropic embedding.We denote by Jpj 0 q the set of isotropic embeddings j : S ãÑ M that are homotopic to j 0 .Then there is only one Liouville class that we denote by rℓ X pJqs, that an isotropic embedding j P Jpj 0 q such that @t P R, φ t pjpSqq " jpSq may have.In particular, when X is CH, then rℓ X pJqs " 0.
Then there is only one Liouville class that we denote by rℓ f s, that a homotopic to the zero section and f -invariant submanifold may have.
Proof of Corollary 5. -Let j 0 : Q ãÑ T ˚Q be the canonical injection onto the zerosection.We assume that L is an f -invariant submanifold that is isotopic to the zero section.Because π |L defines an homotopy equivalence between L and Q; π defines an homotopy equivalence between T ˚Q and Q; f is homotopic to Id T ˚Q, then f acts trivially on H 1 pL, Rq.Let pψ t q be an isotopy of diffeomorphisms of T ˚Q such that ψ 0 " Id T ˚Q and ψ 1 pZq " L. Then ψ 1 ˝j0 P Jpj 0 q and a result of Proposition 7 is that rψ 1 ˝j0 s " rℓ f pJpj 0 qqs.Moreover, if i L : L ãÑ T ˚Q is the canonical injection, we have rψ 1 ˝j0 s " ri L ˝ψ1 ˝j0 s " rpψ 1 ˝j0 q ˚pi Lλqs.Observe that ψ 1 ˝j0 : Q Ñ L is an homotopy equivalence such that and π ˝pφ 1 ˝j0 q acts trivially on H 1 pQ, Rq.We deduce that rψ 1 ˝j0 s " rpψ 1 ˝j0 q ˚pi Lλqs " rπ ˚pi Lλqs " rLs.and then rLs " rℓ f pJpj 0 qqs.□

Liouville class of Lagrangian submanifolds of T ˚Q with compact orbits
The goal of this section is to prove that, given a conformal dynamics on T ˚Q, there is only one Liouville class that a Lagrangian submanifold with compact orbit may have.
We assume that M " T ˚Q and that f : M ý is CS-isotopic to Id M .We suppose that j : Q ãÑ M is a Lagrangian embedding such that jpQq " L is H-isotopic to a graph and has compact orbit (for example is contained in some compact attracting set).
J.É.P. -M., 2024, tome 11 Theorem 12. -Let f : M ý be a diffeomorphism that is CS-isotopic to Id M and let L be a Lagrangian submanifold that is isotopic to the zero section among Lagrangian submanifolds and such that kPZ f k pLq is relatively compact, then rLs " ℓ f .Corollary 6. -Let pφ t q be the flow of the conformal symplectic vector field X and let L be a Lagrangian submanifold that is isotopic to the zero section among the Lagrangian submanifolds of T ˚Q such that tPR φ t pLq is relatively compact, then rLs " ℓ X .
Remark 13. -We give a proof of Theorem 12 that uses the notion of graph selector.If Q (as T n ) satisfies that every element of H 1 pQ, Rqzt0u contains a non-vanishing 1-form, we can give a simpler proof.Indeed, in the proof, we are reduced to prove that if we have a sequence pL n q of Lagrangian submanifolds such that rL n s " a n prL 0 s ´ℓf q `ℓf tends to infinity as n Ñ 8, then nPN L n is not relatively compact.If η " f ˚λ ´λ and the 1-form ν 1 on Q is non-vanishing and represents rL 0 s ´ℓf , then L n and the graph of 1 1´a η `an ν 1 intersect.As ν 1 doesn't vanish, we can conclude.Proof of Theorem 12. -We endow Q with a Riemannian metric and denote by }.} the norm on T Q. Changing f into f ´1, we can assume that a ą 1.As f is CS, then f ˚λ ´aλ " η is closed, We deduce from the proof of Proposition 7 that ℓ f " 1 1´a rj ˚ηs where j is the canonical injection from Q in T ˚Q " M on the zero section.Then f k is also CS with pf k q ˚λ ´ak λ " k´1 ÿ j"0 a k´j´1 pf j q ˚pf ˚λ ´aλq " k´1 ÿ j"0 a k´j´1 pf j q ˚η.Suppose ad absurdum that rLs is not ℓ f .Let ν be a closed 1-form on Q such that ℓ f `rνs " rLs.There is a loop γ : T Ñ Q such that ş γ ν " 0. As f is CS-isotopic to Id M and by transitivity of the relation of CS-isotopy, f k is also CS-isotopic to Id M .Hence by Corollary 3, f k pLq is H-isotopic to a Lagrangian graph.The submanifold L is H-isotopic to the graph of 1 1´a j ˚η `ν.A result of Proposition 5 is that f k pLq is H-isotopic to the graph of If we denote by τ k : M ý the symplectic diffeomorphisms τ k ppq " p `ak νpπppqq 1 1´a ηpjpπppqqq, then τ ´1 k ˝f k pLq is H-isotopic to the zero section and then admits a generating function and a graph selector that is (see e.g.[14] p 98 and references herein) a Lipschitz function Using Fubini theorem, we find a loop γ k that is C 1 close to γ and such that γ k is smooth and isotopic to γ; As u k ˝γk is Lipschitz and then absolutely continuous, we have 0 " ż T dpu k ˝γk q ds psqds.
Because γ k psq P U 0 for almost every s, we deduce and because γ k is homotopic to γ and a k ν `1 1´a j ˚η is closed, As the loops γ k are C 1 -close to γ, there exists a constant K that is a upper bound for all the }γ 1 k psq}.Hence there is a subset E k with non-zero Lebesgue measure of T such that for every s P E k , we have (5.1) Moreover, for almost every s P T, we have i.e., (5.2) a k νpγ k psqq `1 1 ´a ηpjpγ k psqqq `du k pγ k psqq P f k pLq.
We deduce from (5.1) and (5.2) that there is p P f k pLq such that -Is the hypothesis on H-isotopy to the zero section necessary?

Uniqueness
We work on the cotangent bundle pT ˚Q, ´dλq of a closed orientable manifold.Viterbo introduced in the seminal paper [16], see also [18], the spectral distance γ that is defined on the set of H-isotopic to the zero-section Lagrangian submanifolds.We will recall the main results of this theory and apply this to prove that if two submanifolds L, L 1 are H-isotopic to the zero section and if pφ t q is a CH flow of T ˚Q, then either γpφ t pLq, φ t pL 1 qq tÑ`8 Ý ÝÝÝ Ñ `8, or γpφ t pLq, φ t pL 1 qq tÑ´8 Ý ÝÝÝ Ñ `8.
Using a recent result due to Shelukhin, [13], we will deduce that for certain manifolds Q, e.g.tori T n , there is at most one H-isotopic to the zero section submanifold whose orbit is compact and when it exists, this submanifold is in fact invariant.Ñ R. We recall that a generating function S for L is such that -if we use the notation pq, ξq P Q ˆRk , on Σ S " pBS{Bξq ´1p0q, BS{Bξ has maximal rank; -the map j S : Σ S ãÑ T ˚Q defined by j S pq, ξq " BS{Bqpq, ξq is an embedding and its image is L.
The generating function is quadratic at infinity is there exists a non-degenerate quadratic form Q : R k Ñ R such that outside a compact subset of Q ˆRk , we have Spq, ξq " Qpξq.
Observe that L X L 1 " !BS Bq pq, ξq; dpS a S 1 qpq, ξ, χq " 0 The function S a S 1 is not quadratic at infinity, but it satisfies conditions of [17,Prop. 1.6.]that ensure that it can be replaced by such a function, which we also denote by S a S 1 .There exists a compact set K Ă Q ˆRk ˆRk 1 such that @pq, ξ, χq R K, pS a S 1 qpq, ξ, χq " Qpξ, χq, where Q is a non degenerate quadratic form on R k ˆRk 1 .We denote by m its index.Moreover, there exist a, b P R such that K X ´tpS a S 1 q ě bu Y tpS a S 1 q ď au ¯" H.
As (S a S 1 qpq, ξ, χq and Qpξ, χq are equal on E a and outside E b , we have Hence, by Kunneth theorem [5], there is an isomorphism As Q is a non-degenerate quadratic form with index m, we have H p pF b , F a q " t0u for p " m and H m pF b , F a q " RC is one dimensional.We deduce an isomorphism Then, if α P H ˚pQq is non-zero, cpα, S a S 1 q " inftt P ra, bs, j t pC b αq " 0u, where j t : pE t , E a q Ñ pE b , E a q is the inclusion.The number cpα, S a S 1 q is then a critical value of S a S 1 that continuously depend on S and S 1 for the uniform C 0 distance.Viterbo proved that cpα, S a S 1 q depends only on L and L 1 and not on the choice of generating functions.It is then denoted by cpα, L, L 1 q.
If µ is the orientation class of Q, the distance γpL, L 1 q is defined by γpL, L 1 q " cpµ, L, L 1 q ´cp1, L, L 1 q.Then there exists at most one H-isotopic to the zero section submanifold of T ˚Q that is invariant by f .
Proof of Theorem 14. -This is direct application of the following result of which we provide a proof.□ Lemma 3. -Let L, L 1 be two H-isotopic to the zero section submanifolds of T ˚Q.Let pϕ t q be an isotopy of exact conformal symplectic diffeomorphisms of T ˚Q such that ϕ 0 " Id T ˚Q and ϕ t ω " aptqω.Then γpϕ t pLq, ϕ t pL 1 qq " aptqγpL, L 1 q.
Proof.-As the distance γ continuously depends on the generating functions, we only need to prove the results for submanifolds L and L 1 whose intersections are all transverse.In this case, there is only a finite number of critical points and critical values for S a S 1 .If x, y P L X L 1 , we denote by ∆px, y, L, L 1 q the difference of the corresponding critical values of S a S 1 , i.e., ∆px, y, L, L 1 q " ´S ˝j´1 S pyq ´S1 ˝j´1 Then if η 1 is a path in L joining x to y and η 2 a path in L 1 joining y to x, the difference of the two corresponding critical values of S a S 1 is ∆px, y, L, L 1 q " ż η1_η2 λ.
We can always choose η 1 and η 2 that are homotopic with fixed ends.Then, if D is a disc with boundary η 1 _ η 2 , we have ∆px, y, L, L 1 q " ż D ω.
The intersection points of ϕ t pLq and ϕ t pL 1 q are the points ϕ t pxq with x P L X L 1 .For x, y in L X L Theorem (Shelukhin, [13]).-Let g be a Riemannian metric on T n .Then there exists a constant Cpgq such that for all exact Lagrangian submanifolds L 0 , L 1 contained in the unit codisk bundle D ˚pgq Ă T ˚Tn , we have γpL 0 , L 1 q ď Cpgq.
The Liouville vector field Z λ that is defined by i Z λ ω " λ satisfies Hence its flow pφ λ t q is conformal symplectic with pφ λ t q ˚ω " e ´tω and even exact conformal symplectic because it preserves the zero section (and then the zero Liouville class).We have seen in Lemma 3 that φ λ t alters the distance γ up to the scaling factor e ´t.
Observe also that this flow is a homothety the fiber direction: φ λ t ppq " e ´tp.Hence the image of the unit codisk bundle D ˚pgq by φ t is the codisk bundle D e´t pgq with radius e ´t.
Let us introduce the following notation for K Ă T ˚Tn .δ g pKq " mintr ě 0; K Ă D r pqqu.
Finally, we have that for every H-isotopic to the zero section submanifolds L, L 1 of T ˚Tn , (6.1) γpL, L 1 q ď 2Cpgq maxtδ g pLq, δ g pL 1 qu.
If now L and L 1 are two distinct H-isotopic to the zero section submanifolds of T ˚Tn and f : T ˚Tn ý is a CES diffeomorphism that is CH isotopic to Id T ˚Tn , we deduce from Theorem 14 that either γpf n pLq, f n pL Consider the sum of the Hamiltonian vector field of H and of α times the Liouville vector field ´y B y : (7.1) # 9 x " ´βx `2y, y " pβ ´αqy.
The matrix of this linear system is `´β 2 0 β´α ˘.Hence `1 0 ˘is an eigenvector for the eigenvalue ´β and `1 β´α{2 ˘is an eigenvector for the eigenvalue β ´α.As α P pβ, 2βq, p0, 0q is an attracting fixed point and the line R `1 0 ˘is the strong stable eigenspace.Every solution that is not contained in an eigenspace is contained in a curve whose equation is ´α y `K|y| β{pα´βq , where K " 0, and then is not a graph if xp0q ¨yp0q ą 0.
x y Let us choose two large real numbers B ą A ą 0 and let V : R Ñ r´1, 0s be a function with support in r´B, Bs such that V |r´A,As " ´1, V r´B,´As is non-increasing and V |rA,Bs is non-decreasing.Then we add V pxq to Hpx, yq and the equations become (7.2) # 9 x " ´βx `2y, 9 y " ´V 1 pxq `pβ ´αqy.
As the support of V 1 is in r´B, ´As Y rA, Bs, the two vector fields are equal in the complement of pr´B, ´As Y rA, Bsq ˆR.As V 1 |r´B,´As ď 0, the orbit on the x-axis for x ď ´B is pushed to the half plane y ą 0 and then coincides with an orbit of (7.1) which tends to p0, 0q.In the same way, the orbit that coincides with the x-axis for x ě B tends to p0, 0q at `8 with an incursion into the half-plane y ă 0. Hence the union of these two orbits and tp0, 0qu is an invariant curve Γ for (7.2) that is not a graph.Now, let us choose D ą C ą B. Let X : R Ñ R be a vector field such that -@x P r´D `C 2 , ´Bs Y rB, C`D 2 s, Xpxq " ´βx; -Xp´Dq " XpDq " 0 and all the derivatives of X are the same at ´D and D; -p´D, ´Bs (resp.rB, Dq) is a piece of unstable manifold of the equilibrium ´D (resp.D).
We deduce that for all t we have g t λ ´λ `t 1´a η is exact.In particular, g 1 λ ´λ1 is exact. □ We now consider F " g 1 ˝f ˝g´1 1 .We have F ˚λ " `g´1 1 ˘˚˝f ˚˝g 1 pλq " `g´1 where ν 1 is exact by lemma 4. By Proposition 9, ν 2 " f ˚λ1 ´aλ 1 is exact and we have -Let X be a conformal symplectic vector field on M such that L X ω " αω with α P R ˚.The 1-form ξ " i X ω `αλ is closed and the vector field X 1 defined by i X1 ω " ξ is symplectic.When X 1 is complete, there exists a symplectically isotopic to Id M diffeomorphism g : M ý such that g ˚λ ´λ `p1{αqξ exact.Then g ˚X is λ conformal Hamiltonian.
Proof.-We consider the vector field Y that is defined by i Y ω " p1{αqξ.As ξ is closed, Y is symplectic.As X 1 is complete and Y " p1{αqX 1 , Y is also complete and defines a flow.Then we have We deduce that the flow pψ t q of Y satisfies d dt rψ t λ ´λs " ´1 α rξs.

Figure 3 . 1 .
Figure 3.1.Construction of the finite covering of N

Lemma 2
and the transitivity of the relation of H-isotopy imply that this set is closed and open in r0, 1s, hence equal to r0, 1s.J.É.P. -M., 2024, tome 11 J.É.P. -M., 2024, tome 11 -for Lebesgue almost s P T, we have γ k psq P U k .
J.É.P. -M., 2024, tome 11 6.1.On Viterbo spectral distance γ. -If L, L 1 are H-isotopic to the zero section submanifolds of T ˚Q, they have quadratic at infinity generating functions S : Q ˆRk Ñ R and S 1 : Q ˆRk 1 Smooth means C 8 .
J.É.P. -M., 2024, tome 11 endow L with a Riemannian metric and define xPL,u1,...,u ℓ PTxLzt0u |Ωpu 1 , . . ., u ℓ q| }u 1 } ¨¨¨}u ℓ } }DΦ ´1 i } L,8 " sup U Ω is bounded over open subsets U of L: ΦipUiq }ω} L,8 }DΦ ´1 i } ℓ L,8 dLeb.Now, let U be any open set of L. For n P Z, f n U is an open subset of L and ż Let us denote by i : jpSq ãÑ M the canonical injection.As f acts trivially on on H 1 pjpSq, Rq, we have has to be the only fixed point of the homothety that maps rjs on arjs `rj 0 ηs.□ Proposition 8. -Let f : M ý be a λ CES diffeomorphism.Then every invariant isotropic submanifold S such that f |S acts trivially on H 1 pSq is exact.
˚λ‰ " j ˚"f ˚pi ˚λq ‰ " rj ˚λs " rjs and finally rjs Theorem 14. -Let f : M ý be a CES diffeomorphism that is CH-isotopic to Id T ˚Q.Let L, L 1 be two distinct submanifolds of T ˚Q which are H-isotopic to the zero section, then either γpf n pLq, f n pL 1 qq Corollary 7. -Let f : M ý be a CES diffeomorphism that is CH-isotopic to Id T ˚Q.
Hence t Þ Ñ p1{aptqq `cpµ, ϕ t pLq, ϕ t pL 1 qq ´cp1, ϕ t pLq, ϕ t pL 1 qq ˘is a continuous map that takes its values in a fixed finite set, it has to be constant.□6.2.An application of a result of Shelukhin Theorem 15. -Let f : T ˚Tn ý be a CES diffeomorphism that is CH-isotopic to Id T ˚Tn .Then there exists at most one H-isotopic to the zero section submanifold L such that 1 , we have ∆pϕ t pxq, ϕ t pyq, ϕ t pLq, ϕ t pL 1 qq " ż ΦtpDq ω " aptqż D ω " aptq∆px, y, L, L 1 q.J.É.P. -M., 2024, tome 11 kPZ f k pLq is relatively compact.Hence when it exists, L is invariant by the f .Proof.-In [13], Shelukhin defines a notion of string-point invertible manifold.The tori T n are examples of such manifolds.His result implies 1qq kPZ f k pLq; kPZ f k pL 1 q, J.É.P. -M., 2024, tome 11