Duke Mathematical Journal

Nonsqueezing property of contact balls

Sheng-Fu Chiu

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


In this paper we solve a contact nonsqueezing conjecture proposed by Eliashberg, Kim, and Polterovich. Let BR be the open ball of radius R in R2n, and let R2n×S1 be the prequantization space equipped with the standard contact structure. Following Tamarkin’s idea, we apply microlocal category methods to prove that if R and r satisfy 1πr2<πR2, then it is impossible to squeeze the contact ball BR×S1 into Br×S1 via compactly supported contact isotopies.

Article information

Duke Math. J., Volume 166, Number 4 (2017), 605-655.

Received: 9 June 2014
Revised: 19 May 2016
First available in Project Euclid: 15 November 2016

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 53D35: Global theory of symplectic and contact manifolds [See also 57Rxx]

nonsqueezing contact topology derived category triangulated category microlocal Lagrangian quantization symplectic topology equivariance


Chiu, Sheng-Fu. Nonsqueezing property of contact balls. Duke Math. J. 166 (2017), no. 4, 605--655. doi:10.1215/00127094-3715517. https://projecteuclid.org/euclid.dmj/1479179169

Export citation


  • [1] P. Albers and W. Merry, Orderability, contact non-squeezing, and Rabinowitz Floer homology, preprint, arXiv:1302.6576v2 [math.SG].
  • [2] J. Bernstein and V. Lunts, Equivariant Sheaves and Functors, Lecture Notes in Math. 1578, Springer, New York, 1994.
  • [3] V. Chernov and S. Nemirovski, Non-negative Legendrian isotopy in $ST^{*}M$, Geom. Topol. 14 (2010), 611–626.
  • [4] V. Chernov and S. Nemirovski, Universal orderability of Legendrian isotopy classes, preprint, arXiv:1307.5694v3 [math.SG].
  • [5] Y. Eliashberg, S. Kim, and L. Polterovich, Geometry of contact transformations and domains: Orderability versus squeezing, Geom. Topol. 10 (2006), 1635–1747.
  • [6] M. Fraser, Contact non-squeezing at large scale in $\mathbb{R}^{2n}\times\mathbb{S}^{1}$, personal communication, April 2014.
  • [7] E. Giroux, Sur la géométrie et la dynamique des transformations de contact, Astérisque 332 (2010), 183–220, Séminaire Bourbaki 2008/2009, no. 1004.
  • [8] S. Guillermou, Quantization of conic Lagrangian submanifolds of cotangent bundles, preprint, arXiv:1212.5818v2 [math.SG].
  • [9] S. Guillermou, The Gromov–Eliashberg theorem by microlocal sheaf theory, preprint, arXiv:1311.0187v1 [math.SG].
  • [10] S. Guillermou, M. Kashiwara, and P. Schapira, Sheaf quantization of Hamiltonian isotopies and applications to nondisplaceability problems, Duke Math. J. 161 (2012), 201–245.
  • [11] S. Guillermou and P. Schapira, “Microlocal theory of sheaves and Tamarkin’s non displaceability theorem” in Homological Mirror Symmetry and Tropical Geometry, Lecture Notes Unione Mat. Ital. 15, Springer, Cham, 2014, 43–85.
  • [12] M. Kashiwara and P. Schapira, Sheaves on Manifolds, Grundlehren Math. Wiss. 292, Springer, Berlin, 1990.
  • [13] D. McDuff and D. Salamon, Introduction to Symplectic Topology, Oxford Univ. Press, Oxford, 1998.
  • [14] D. Nadler, Arboreal singularities, preprint, arXiv:1309.4122v3 [math.SG].
  • [15] D. Nadler and E. Zaslow, Constructible sheaves and the Fukaya category, J. Amer. Math. Soc. 22 (2009), 233–286.
  • [16] L. Polterovich and E. Shelukhin, Autonomous Hamiltonian flows, Hofer’s geometry and persistence modules, Selecta Math. (N.S.) 22 (2016), 227–296.
  • [17] S. Sandon, An integer valued bi-invariant metric on the group of contactomorphisms of $\mathbb{R}^{2n}\times\mathbb{S}^{1}$, J. Topol. Anal. 2 (2010), 327–339.
  • [18] S. Sandon, Contact homology, capacity and non-squeezing in $\mathbb{R}^{2n}\times\mathbb{S}^{1}$ via generating functions, Ann. Inst. Fourier 61 (2011), 145–185.
  • [19] V. Shende, D. Treumann, H. Williams, and E. Zaslow, Cluster varieties from Legendrian knots, preprint, arXiv:1512.08942v1 [math.SG].
  • [20] V. Shende, D. Treumann, and E. Zaslow, Legendrian knots and constructible sheaves, preprint, arXiv:1402.0490v1 [math.SG].
  • [21] D. Tamarkin, Microlocal condition for non-displaceability, preprint, arXiv:0809.1584v1 [math.SG].
  • [22] L. Traynor, Symplectic homology via generating functions, Geom. Funct. Anal. 4 (1994), 718–748.
  • [23] C. Viterbo, An introduction to symplectic topology through sheaf theory, lectures, Princeton University, Princeton, 2010, and Columbia University, New York, 2011, http://www.math.ens.fr/~viterbo/Eilenberg/Eilenberg.pdf.