{"entities":{"Q523407":{"pageid":525174,"ns":120,"title":"Item:Q523407","lastrevid":62478459,"modified":"2026-04-11T06:21:47Z","type":"item","id":"Q523407","labels":{"en":{"language":"en","value":"Nonsqueezing property of contact balls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706842"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523407$ABF7E0D4-70B5-4DB2-A59B-E60ECB3693B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7bb797bed612d6221e8cf9f76214722dee194d9","datavalue":{"value":{"text":"Nonsqueezing property of contact balls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523407$36A3DC9E-5035-4A2C-8054-8516F44DAFDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08f1683936f9126024a5c139fe050969d328c366","datavalue":{"value":"1372.53087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523407$64D34A67-EBE8-484E-BF38-AD7972866101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e89153b69bf53a0e85e1854e31ab48a2d931f09","datavalue":{"value":"10.1215/00127094-3715517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523407$33B4BC98-E1B2-47C1-87F6-B21BBC7D6A84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"befeb98c644f94c0b62cd42070371baf8556fd1d","datavalue":{"value":{"entity-type":"item","numeric-id":523406,"id":"Q523406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523407$1B0DCAF1-54CC-4E8E-B2B8-CFCA1EC2343B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523407$193D1F58-E6B1-41D4-A405-EA0BFDB774C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q523407$73285038-E058-4EC7-9C7B-53028CB9EE34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e479876e7b59f32289ea940ef5e9211de15f18d","datavalue":{"value":"https://arxiv.org/abs/1405.1178","type":"string"},"datatype":"url"},"type":"statement","id":"Q523407$B602DF20-F79D-4D70-9A6E-83A57245577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f737a696dcda01336d09119e458f998a5b715392","datavalue":{"value":"https://projecteuclid.org/euclid.dmj/1479179169","type":"string"},"datatype":"url"},"type":"statement","id":"Q523407$10113AD7-0A4E-499F-A64F-E7206008D162","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b867d29b6bb694778f89d57012393ad7368d451","datavalue":{"value":"If \\(V\\) is a contact manifold containing two open domains \\(U_1\\), \\(U_2\\), then \\(U_1\\) can be squeezed into \\(U_2\\), if there exists a compactly supported contact isotopy \\(\\Phi_s : \\bar{U_1}\\longrightarrow V, s \\in [0,1]\\), such that \\(\\Phi_0 = \\mathrm{Id}\\) and \\(\\Phi_1(\\bar{U_1})\\subset U_2\\), see [\\textit{Y. Eliashberg} et al., Geom. Topol. 10, 1635--1748 (2006; Zbl 1134.53044)]. Let \\(B_R\\) be the open ball of radius \\(R\\) in \\(\\mathbb{R}^{2n}\\) and let \\(\\mathbb{R}^{2n}\\times \\mathbb{S}^{1}\\) be the prequantization space equipped with the standard contact structure. The remaining open case in the above cited paper (namely a contact nonsqueezing conjecture) is covered by the main result of the present paper, which states that if \\(R\\) and \\(r\\) satisfy \\(1\\leq \\pi r^2 < \\pi R^2\\), then it is impossible to squeeze the contact ball \\(B_R \\times \\mathbb{S}^1\\) into \\(B_r \\times \\mathbb{S}^1\\) via compactly supported contact isotopies. This paper uses terminology and results from the theory of algebraic microlocal analysis. The major machinery relied on is about sheaves and their microlocal singular supports which are developed in [\\textit{M. Kashiwara} and \\textit{P. Schapira}, Sheaves on manifolds. With a short history ``Les d\u00e9buts de la th\u00e9orie des faisceaux'' by Christian Houzel. Berlin etc.: Springer-Verlag (1990; Zbl 0709.18001)]. After dealing with the contact manifold \\(\\mathbb{R}^{2n}\\times \\mathbb{S}^1\\), the construction of the projector, and the contact isotopy invariants, the present author uses Tamarkin's idea to prove the main result here with microlocal category methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$1E8D2E43-7126-496C-87D5-9FE9A12CE681","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b8c99b916a5c62dd045c29cb3f5886ed0c9a7dd","datavalue":{"value":{"entity-type":"item","numeric-id":305884,"id":"Q305884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523407$F4A15783-1F27-4D6A-9C0F-ECCED9CF535B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78fe00c615e469a834a004429eb3e7b709f9792e","datavalue":{"value":"53D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523407$52B4321F-7C8C-4F57-B822-4B04484C1FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"435ef24e8d6531721e94991079e6e879caa2ff99","datavalue":{"value":"6706842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523407$8042E73A-03B8-4602-9EC0-EE9DD84DDF57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f979a34c18737b20cd3d15223f3df947a8438aca","datavalue":{"value":"nonsqueezing","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$865299C7-E7B4-4074-A84B-CDC344FCBA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee755c39012de42fc36b9298ba74614b21a05d8e","datavalue":{"value":"contact topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$F6ED200A-270A-4246-89CA-42E56A780FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c54ac78bf5553f64b9cd583f9b2aa460638484","datavalue":{"value":"derived category","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$6CF5622F-A14E-4AFD-8281-A21579BADF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a008c7e16e3b2f55244eafb566d1f8be34b3a56","datavalue":{"value":"triangulated category","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$BE831E42-FB60-4245-8CDD-D7CD5DDA3764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643694acd66ff8e96ffa3a953e07c8932437e0d9","datavalue":{"value":"microlocal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$4E3EF25B-7510-4E82-841C-C785C62151C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52e1f2f3125e3d672acb306fc2246ef4027e450b","datavalue":{"value":"Lagrangian","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$DD5B386D-8A22-469E-BE3A-C1D94F2E17CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b2b905f803441c0be439c47d52afc7d748873e","datavalue":{"value":"quantization","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$8AA3E51B-0622-46B5-9306-AAB8FB7A7C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f3bcc527be46a794107f961f59f8d59a1aca58","datavalue":{"value":"symplectic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$8835897B-E2CD-4550-A66E-2F6697CE946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3b0d28d50231f783de1fd22a27b61e658c3d4d","datavalue":{"value":"equivariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q523407$D785720E-EF47-48B8-890F-BA5D9154C1AD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523407$617FDCD8-7246-4692-9BF7-780EE644D3C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc3a1e7f978721350e81c3db2248c1bff065be40","datavalue":{"value":"W1833118857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523407$941BFE9F-24A9-48C0-92FA-C2AD5C56768B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d964422502992044b39098b9c2361b49297d7b87","datavalue":{"value":{"entity-type":"item","numeric-id":538791,"id":"Q538791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7de73827a614fda4a58c9c639ce93a3cb3f6f2f","datavalue":{"value":{"amount":"+0.6843665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$358A7532-C3D5-457A-AE50-AE7E728FD33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a3c36681f2afdc5c5d5e48b84503167feba51d","datavalue":{"value":{"entity-type":"item","numeric-id":6056496,"id":"Q6056496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b0d45a6866d6753cb65ef794064bca270c9c16","datavalue":{"value":{"amount":"+0.6553494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$6640A193-F62D-4A85-B81D-5DA677109294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e59f869d62ed59a40ea790f464977ac64ef2e83","datavalue":{"value":{"entity-type":"item","numeric-id":668763,"id":"Q668763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb13c578b6823c5ef9055e99c6840baaad017590","datavalue":{"value":{"amount":"+0.65199304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$3651A671-816C-4E08-B64B-9C72050592A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7231c0f4c2790209727934d98b0dbb81d8861690","datavalue":{"value":{"entity-type":"item","numeric-id":2955401,"id":"Q2955401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9ce25e92faa2d4b1ee08c48472e2e0ab619509","datavalue":{"value":{"amount":"+0.6489377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$7DE45930-EE06-4A0C-9825-502EBAC2C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadafba2b84cb8bfe59e1b1759fc4d2a6d080f36","datavalue":{"value":{"entity-type":"item","numeric-id":854482,"id":"Q854482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742134bb1df188b6950ab4c3094f26a3d22b0605","datavalue":{"value":{"amount":"+0.6332613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$AF226FD1-865F-438B-9B3B-261CB58263F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7e68086cf0b509f944ab44489fe484dadb2927","datavalue":{"value":{"entity-type":"item","numeric-id":4339789,"id":"Q4339789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc64af6120ea9886ba1b6c780a66553ddb4aed92","datavalue":{"value":{"amount":"+0.6325174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$32329C2C-EDBE-4F94-A16E-180A8986893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3954b0e1710e7d78c778ffdf066bcaa33c57614e","datavalue":{"value":{"entity-type":"item","numeric-id":4792329,"id":"Q4792329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cee52d6b8b9a3f4603873f7d67f7931262544f1","datavalue":{"value":{"amount":"+0.6258831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$276C9CD3-966F-4D55-96C6-76E27AD9F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df521f4c0c3063a6f0bf3e3cb2c12f595fe10e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2821675,"id":"Q2821675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84f22e912c4caa13115af00f3bc7c2abdbea841","datavalue":{"value":{"amount":"+0.62519526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$FE470B2F-8AB8-45BB-A11F-8DFF2BA3F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05f1b5318a664a0319800d52b315209cc4324fc","datavalue":{"value":{"entity-type":"item","numeric-id":2058829,"id":"Q2058829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d6c5f6453dd5e73e0bca53d16b64a93d79d04f","datavalue":{"value":{"amount":"+0.62517726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523407$D14F40E3-8CC4-40F8-AABE-28261EAD01BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonsqueezing property of contact balls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonsqueezing_property_of_contact_balls"}}}}}