In this paper we solve a contact nonsqueezing conjecture proposed by Eliashberg, Kim, and Polterovich. Let be the open ball of radius in , and let be the prequantization space equipped with the standard contact structure. Following Tamarkin’s idea, we apply microlocal category methods to prove that if and satisfy , then it is impossible to squeeze the contact ball into via compactly supported contact isotopies.
"Nonsqueezing property of contact balls." Duke Math. J. 166 (4) 605 - 655, 15 March 2017. https://doi.org/10.1215/00127094-3715517