Contact homology, capacity and non-squeezing in \(\mathbb R^{ 2n }\times S^{ 1 }\) via generating functions (Q538791)

The Viterbo capacity and Traynor's construction of symplectic homology are extended to contact manifolds. Thus, a contact capacity and contact homology groups are constructed for domains in \(\mathbb R^{2n}\times S^1\). The limit process to define the contact homology of the domains is based on the Bhupal partial order on the group of contactomorphisms of \(\mathbb R^{2n+1}\). As an application, a new proof of the non-squeezing theorem of Eliashberg, Kim and Polterovich is obtained.