Lower complexity bounds for positive contactomorphisms

Contact manifolds (general theory) (53D10) Global theory of symplectic and contact manifolds (53D35) Symplectic aspects of Floer homology and cohomology (53D40)

Abstract: Let

S^{*} Q

be the spherization of a closed connected manifold of dimension at least two. Consider a contactomorphism

v a r p h i

that can be reached by a contact isotopy that is everywhere positively transverse to the contact structure. In other words,

v a r p h i

is the time-1-map of a time-dependent Reeb flow. We show that the volume growth of

v a r p h i

is bounded from below by the topological complexity of the loop space of

Q

. Denote by

O m e g a Q_{0} (q)

the component of the based loop space that contains the constant loop. We show that if the fundamental group or the homology of

O m e g a Q_{0} (q)

grows exponentially, then the volume growth of

v a r p h i

is exponential, and thus its topological entropy is positive. A similar statement holds for polynomial growths. This result generalizes work of Dinaburg, Gromov, Paternain and Petean on geodesic flows and of Macarini, Frauenfelder, Labrousse and Schlenk on Reeb flows. Our main tool is a version of Rabinowitz--Floer homology developed by Albers and Frauenfelder.

Review text

Let \(Q\) be a manifold of dimension at least \(n \geq 2\), and let \(S^* Q\) be its spherisation (the projectivisation of its cotangent bundle). The \((2n-1)\)-dimensional manfiold \(S^* Q\) has a natural co-oriented contact structure \(\xi\). A contactomorphism \(\varphi\) of \(S^* Q\) is \textit{positive} if there is a path of contactomorphisms, from the identity to \(\varphi\), whose time derivative is always positively transverse to \(\xi\), or equivalently, if \(\varphi\) is the result of a time-dependent Reeb flow. The main results of this paper say, roughly, that if \(Q\) is sufficiently topologically complex, then any positive contactomorphism \(\varphi\) of \(S^* Q\) has fast volume growth. The requisite topological complexity is measured by the growth of the fundamental group of \(Q\), or by the growth of the homology of the space of contractible loops in \(Q\). The volume growth of \(\varphi\), and the topological complexity of \(Q\), can both be measured in exponential or polynomial terms. The main result consists of a statement about exponential growth, and a statement about polynomial growth. The precise statements are as follows; precise definitions of growth rates are given below. Let \(Q\) be closed of dimension at least 2, let \(\varphi\) be a positive contactomorphism of \(S^* Q\), and let \(q \in Q\). Firstly (regarding exponential growth), if \(\gamma_{\text{exp}} (\pi_1 (Q)) > 0\), or if \(\pi_1 (Q)\) is finite and \(\gamma_{\text{exp}} (\Omega Q_0 (q)) > 0\), then \[ \gamma_{\text{vol,exp}} (\varphi) \geq \gamma_{\text{vol, exp}} (\varphi; S_q^* Q) > 0, \] where \(S_q^* Q \subset S^* Q\) is the fibre of \(S^* Q\) over \(q \in Q\). Secondly (regarding polynomial growth), if \(\gamma_{\text{pol}} (\pi_1(Q))\) and \(\gamma_{\text{pol}} (\Omega Q_0 (q))\) are finite, then \[ \gamma_{\text{vol,pol}} (\varphi) \geq \gamma_{\text{vol,pol}} (\varphi; S_q^* Q) \geq \gamma_{\text{pol}} (\pi_1 (Q)) + \gamma_{\text{pol}} (\Omega Q_0 (q)) - 1. \] The measures of topological complexity in this statement are defined as follows. Taking \(q \in Q\), denote by \(\Omega Q_0 (q)\) the connected component of the loop space based at \(q\) consisting of contractible loops. The exponential and polynomial growth of homology of \(\Omega Q_0 (q)\) are given by \[ \gamma_{\text{exp}} (\Omega Q_0 (q)) = \sup_{p \in \mathbb{P}} \liminf_{m \rightarrow \infty} \frac{1}{m} \log \sum_{k=0}^m \dim \left( H_k (\Omega Q_0 (q); \mathbb{F}_p ) \right), \] \[ \gamma_{\text{pol}} (\Omega Q_0 (q)) = \sup_{p \in \mathbb{P}} \liminf_{m \rightarrow \infty} \frac{1}{\log m} \log \sum_{k=0}^m \dim \left( H_k (\Omega Q_0(q); \mathbb{F}_p ) \right), \] where \(\mathbb{P}\) is the set of primes, together with zero, and \(\mathbb{F}_p\) is the field \(\mathbb{Z}/p\mathbb{Z}\), with \(\mathbb{F}_0 = \mathbb{Q}\). Similarly, \(\gamma_{\text{exp}} (\pi_1 (Q))\) and \(\gamma_{\text{pol}}(\pi_1 (Q))\) denote the exponential and polynomial growth of the fundamental group \(\pi_1 (Q)\) with respect to some set of generators; any set of generators gives the same result. On the other hand, the exponential and polynomial volume growth rates of a diffeomorphism \(\varphi\) of a Riemannian manifold \(M\) (the result is independent of the choice of metric) are respectively given by \[ \gamma_{\text{vol,pol}} (\varphi) = \sup_S \liminf_{m \rightarrow \infty} \frac{1}{\log m} \log \text{Vol} (\varphi^m (S)), \] \[ \gamma_{\text{vol,exp}} (\varphi) = \sup_S \liminf_{m \rightarrow \infty} \frac{1}{m} \log \text{Vol} (\varphi^m (S)), \] where the suprema are over all compact submanifolds \(S\) of \(M\). Work of \textit{Y. Yomdin} [Isr. J. Math. 57, 285--300 (1987; Zbl 0641.54036)] and \textit{S. E. Newhouse} [Ergodic Theory Dyn. Syst. 8, 283--299 (1988; Zbl 0638.58016)] shows that when \(\varphi\) is \(C^\infty\) smooth, the topological entropy \(h_{\text{top}} (\varphi)\) of \(\varphi\) is equal to \(\gamma_{\text{vol,exp}}(\varphi)\). So the author obtains the corollary that when the hypotheses of the exponential result hold, \(\varphi\) has positive topological entropy. The result of this paper generalises various previous results. For instance, \textit{L. Macarini} and \textit{F. Schlenk} in [Math. Proc. Camb. Philos. Soc. 151, No. 1, 103--128 (2011; Zbl 1236.53063)], and \textit{U. Frauenfelder} et al. in [J. Topol. Anal. 7, No. 3, 407--451 (2015; Zbl 1368.53056)] proved related results for Reeb flows on spherisations, regarding exponential and polynomial growth respectively. The author's proof uses a version of Rabinowitz Floer homology due to [\textit{P. Albers} and \textit{U. Frauenfelder}, Geom. Funct. Anal. 22, No. 5, 1033--1050 (2012; Zbl 1276.53090)]. The setup is as follows. The spherisation \(S^* Q\) is realised as a cosphere bundle in \(T^* Q\). A positive contactomorphism \(\varphi\) of \(S^* Q\) arises from a time-dependent family \(\varphi^t\) with \(\varphi^0 = 1\) and \(\varphi^1 = \varphi\); this family can be chosen so as to be generated by a suitable Hamiltonian, and extended to \(T^* Q \backslash Q\) (the complement of the zero section). A result of Frauenfelder-Labrousse-Schlenk then states that \[ \gamma_{\text{vol,exp}} (\varphi^1; S_q^* Q) \geq \gamma_{\text{vol,exp}} (\varphi^1; \dot{D}_q^* Q) \quad \text{and} \quad \gamma_{\text{vol,pol}} (\varphi^1; S_q^* Q) \geq \gamma_{\text{vol,pol}} (\varphi^1; \dot{D}_q^* Q) - 1, \] where \(\dot{D}_q^* Q\) is the punctured sublevel disc of the sphere \(S_q^* Q\). The Albers-Frauenfelder version of Rabinowitz Floer homology considers an action functional on \(W^{1,2}\) paths between two fibres \(T_q^* Q\) and \(T_{q'}^* Q\). Given a path of contactomorphisms \(\varphi^t\), the author constructs a Hamiltonian \(H^t\) and hence obtains an appropriate action functional. The Rabinowitz Floer chain complex \(RFC^T (\varphi^t; q,q')\) is generated by critical points of the action functional with action \(\leq T\), which are closely related to Hamiltonian orbits of \(H^t\) and hence to orbits of \(\varphi^t\). Its boundary operator counts solutions of a negative gradient flow with respect to a suitable \(L^2\) metric. An action filtration is given by inclusions \(\iota^{T,T'} : RFC^T \rightarrow RFC^{T'}\). The positive part of \(RFC^+\) is given by \(RFC_+^T = RFC^T / \iota^{0,T} (RFC^0)\), and its homology is the Rabinowitz Floer homology \(RFH_+^T (\varphi^t; q,q')\). The author proceeds to relate volume growth of \(\dot{D}_q^* Q\) under \(\varphi^T\) to orbits of \(\varphi^t\), and for generic \(q'\), \(\varphi^T (\dot{D}_q^* Q)\) intersects \(\dot{D}_{q'}^* Q\) transversely and hence, for a generic set \(Q_{\text{gen}} \subset Q\) we have \[ \text{Vol}(\varphi^T (\dot{D}_q^* Q)) \geq \int_{Q_{\text{gen}}} \# \left( \varphi^T (\dot{D}_q^* Q) \cap D_{q'}^* Q \right) \; dq'. \] The points of \(\varphi^T (\dot{D}_q^* Q) \cap \dot{D}_{q'}^* Q\) correspond to certain orbits of \(\varphi^t\) from \(S_q^* Q\) to \(S_{q'}^* Q\), which are counted by the Rabinowitz Floer chain complex \(RFC_+^T (\varphi^t; T_q^* Q, T_{q'}^* Q)\). The dimension of homology is even smaller, so for a slightly smaller generic set \(Q_{\text{gen}}\) of \(q'\), \[ \text{Vol}(\varphi^T (\dot{D}_q^* Q)) \geq \int_{Q_{\text{gen}}} \dim (\iota_+^{T,\infty})_* RFH_+^T (\varphi^t; T_q^* Q, T_{q'}^* Q) \; dq'. \] The key ingredient in the proof is a result stated by Albers-Frauenfelder (proved in Section 4 of the present paper), that positive exponential growth of \(RFH\) is preserved under a deformation of the flow \(\varphi^t\). Moreover, the polynomial growth rate is preserved under such deformations. Thus, \(\varphi^t\) may be deformed to a geodesic flow \(\varphi^t_g\), and the polynomial growth, and positivity of exponential growth, are preserved. A theorem of \textit{W. J. Merry} [Geom. Dedicata 171, 345--386 (2014; Zbl 1312.53111)] is then used, which shows that the Rabinowitz Floer homology of a geodesic flow is isomorphic to the Morse homology of the energy functional on the space of paths in \(Q\) from \(q\) to \(q'\). Finally, work of Gromov, Paternain, and Frauenfelder-Schlenk is applied, which relates the growth of this Morse homology to the topological complexity of \(Q\). Two examples are given to show that, without an assumption of positivity, the topological entropy of a contactomorphism may be zero or positive -- thus limiting potential generalisations of the main result. Both examples are of closed manifolds \(Q\), with \(\pi_1 (Q)\) having exponential growth, and non-negative contactomorphisms \(\varphi\) on \(S^* Q\). The first example, which involves the quotient of a semidirect product \(\mathbb{R}^2 \ltimes \mathbb{R}\) by a cocompact lattice of exponential growth, has \(h_{\text{top}} (\varphi) = 0\). The second example, which involves a geodesic flow on the unit cotangent bundle of a closed orientable surface of genus \(\geq 2\) with a suitably chosen metric, has \(h_{\text{top}} (\varphi) > 0\).

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Lower complexity bounds for positive contactomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650020)