Contact non-squeezing at large scale in R^2n S^1

From MaRDI portal
Publication:2955401



Abstract: We define a mathbbZk-equivariant version of the cylindrical contact homology used by Eliashberg-Kim-Polterovich (2006) to prove contact non-squeezing for prequantized integer-capacity balls B(R)imesS1subsetmathbbR2nimesS1, RinmathbbN and we use it to extend their result to all Rgeq1. Specifically we prove if Rgeq1 there is no psiinextCont(mathbbR2nimesS1), the group of compactly supported contactomorphisms of mathbbR2nimesS1 which squeezes hatB(R)=B(R)imesS1 into itself, i.e. maps the closure of hatB(R) into hatB(R). A sheaf theoretic proof of non-existence of corresponding psiinextCont0(mathbbR2nimesS1), the identity component of extCont(mathbbR2nimesS1), is due to Chiu (2014); it is not known if this is strictly weaker. Our construction has the advantage of retaining the contact homological viewpoint of Eliashberg-Kim-Polterovich and its potential for application in prequantizations of other Liouville manifolds. It makes use of the mathbbZk-action generated by a vertical 1/k-shift but can also be related, for prequantized balls, to the mathbbZk-equivariant contact homology developed by Milin (2008) in her proof of orderability of lens spaces.












This page was built for publication: Contact non-squeezing at large scale in \(\mathbb{R}^{2n}\times S^1\)

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