Equivariant homology for generating functions and orderability of lens spaces (Q720750)

The following theorem was proved by \textit{I. Milin} in her PhD thesis [Orderability of contactomorphism groups of lens spaces. Stanford University (2008)]: Theorem. Given any \(R\), the domain \(\widehat{B(R)}\) cannot be squeezed by a \(\mathbb{Z}_k\)-equivariant contact isotopy of \(\mathbb{R}^{2n}\times S^1\) into \(\widehat{B(R')}\) for \(R'\) arbitrary small. From this fact it follows that the lens spaces are orderable.