First steps in twisted Rabinowitz-Floer homology (Q6171383)

Rabinowitz-Floer homology was defined by \textit{K. Cieliebak} and \textit{U. A. Frauenfelder} [Pac. J. Math. 239, No. 2, 251--316 (2009; Zbl 1221.53112)] as the Floer homology of the Rabinowitz action functional. The paper defines Rabinowitz-Floer homology of a Liouville domain \((W, \lambda)\) twisted by a boundary-preserving finite order diffeomorphism \(\varphi\) of \(W\) satisfying \(\varphi^\ast \lambda-\lambda = d f_\varphi\) for some smooth compactly supported function \(f_\varphi\) in the interior of \(W\). The twisted version reduces to the standard Rabinowitz-Floer homology in the case \(\varphi = \mathrm{id}_W\). The main results of the paper under review are as follows: (1) The twisted Rabinowitz-Floer homology is well-defined and invariant under twisted homotopies of \((W,\lambda)\); (2) If \(\partial W\) is simply connected and does not admit any non-constant twisted Reeb orbits, then the twisted Rabinowitz-Floer homology is the homology of the submanifold of \(\varphi\)-fixed points with \(\mathbb Z_2\)-coefficients; (3) If \(\partial W\) is displaceable by a compactly supported Hamiltonian symplectomorphism in the completion of \((W, \lambda)\), then twisted Rabinowitz-Floer homology vanishes. As an application the author proves the existence of non-contractible periodic Reeb orbits on \(\Sigma/\mathbb Z_m\), where \(\Sigma\) is a compact star-shaped hypersurface that is invariant under the action \begin{align*} \mathbb C^n &\longrightarrow \mathbb C^n \\ (z^1,\ldots, z^n) &\longmapsto (e^{2 \pi i k_1/m}z^1,\ldots,e^{2 \pi i k_n/m}z^n), \end{align*} where \(k_1,\ldots,k_n \in \mathbb Z\) are pairwise coprime to \(m\).