{"entities":{"Q2419129":{"pageid":2429872,"ns":120,"title":"Item:Q2419129","lastrevid":57912927,"modified":"2026-04-03T01:41:06Z","type":"item","id":"Q2419129","labels":{"en":{"language":"en","value":"Microlocal condition for non-displaceability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7060655"}},"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":"Q2419129$7F35FBEC-6C02-42AA-8CCD-57179DB60AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f2f64bd2c0d64d11fd811bbfdad0a9097098c8","datavalue":{"value":{"text":"Microlocal condition for non-displaceability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2419129$20BB2F98-9454-4A7B-B896-B57A216E6AE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f8cec9c537e754d7451f9aa0e26b8ae69f297da","datavalue":{"value":"1416.35019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$2A3EB842-D9CE-4D20-9A32-22C32B1BEF1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4e2fc41bdf82829a5069d9a736f4f2c34510f1c","datavalue":{"value":"10.1007/978-3-030-01588-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$E215FFCD-2267-4AC0-AEA0-FD5D8AE82329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70bf34a4f89bcd8b26080ea9143228a996f7935f","datavalue":{"value":{"entity-type":"item","numeric-id":1379512,"id":"Q1379512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2419129$21E085FD-4F87-4E3C-BE70-F2368621C932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6120eae74d684c2ead20d43fdd3e39763954793c","datavalue":{"value":{"time":"+2019-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2419129$D0FB0C2A-79D4-45C4-B0EA-B3EA1422C8C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dee977755df78d50c764ced072e067df33d8cd8e","datavalue":{"value":"https://arxiv.org/abs/0809.1584","type":"string"},"datatype":"url"},"type":"statement","id":"Q2419129$AFF93C9E-DA2E-4562-B07F-A71F69974E87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f4726d0e17f45acaf0dba5e4969ef328dd173ac","datavalue":{"value":"Let \\(M\\) be a symplectic manifold, \\(A,B\\) its compact subsets. \\(A\\) and \\(B\\) called non-displaceable if \\(A\\cap X(B)\\not=\\emptyset\\), where \\(X\\) is any Hamiltonian symplectomorophism of \\(M\\) which is identity outside of a compact. Let \\(\\mathbb{T}^N=\\{(z_0,\\dots,z_N)\\mid |z_0|=\\cdots=|z_N|\\}\\) be the Clifford torus in \\(\\mathbb{CP}^N\\), then non-dispaceability of \\(\\mathbb{T}^N\\) from itself is already proved by using Floer's theory [\\textit{C.-H. Cho}, Int. Math. Res. Not. 2004, No. 35, 1803--1843 (2004; Zbl 1079.53133); \\textit{M. Entov} and \\textit{L. Polterovich}, Compos. Math. 145, No. 3, 773--826 (2009; Zbl 1230.53080)].  In this paper, based on Kashiwara-Schapira's microlocal theory of sheaves on manifolds [\\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)], a sufficient condition for non-displaceability of a pair of subsets in a cotangent bundle, independent of Floer's theory, is presented (Theorem 3.1). Then constructing Lagrangian correspondence between \\(T^\\ast \\mathrm{SU}(N)\\) and \\(\\mathbb{CP}^N\\times(\\mathbb{CP}^N)^{\\mathrm{op}}\\), where symplectic form of \\((\\mathbb{CP}^N)^{\\mathrm{op}}\\) is opposite that of \\(\\mathbb{CP}^N\\), the following Theorem is derived as an application of Theorem 3.1.  Theorem 4.1. \\begin{itemize} \\item[(1)] \\(\\mathbb{T}^N\\) is non-displaceable from itself. \\item[(2)] \\(\\mathbb{RP}^N\\) is non-displaceable from itself. \\item[(3)] \\(\\mathbb{T}^N\\) and \\(\\mathbb{RP}^N\\) are non-displaceable from each another. \\end{itemize} To obtain sufficient condition (Theorem 3.1), first the category \\(\\mathcal{D}(X)=D(X\\times\\mathbb{R})/C_{\\leq 0}(X)\\), \\(D(X\\times \\mathbb{R})\\) is the unbounded derived category of \\(\\mathbb{K}\\)-vector spaces on \\(X\\times \\mathbb{R}\\) and \\(C_{\\leq 0}(X)\\) is the full subcategory of objects microsupport \\(\\Omega_{\\leq 0}\\); the closed subset of \\(T^\\ast(X\\times\\mathbb{R})\\) such that \\[ \\Omega_{\\leq 0}=\\{\\omega|(\\omega,V)\\leq 0\\}, \\quad V=\\frac{d}{dt}, \\] and \\(\\mathcal{D}_A(X)\\), the full subcategory consisting of all \\(F\\in \\mathcal{D}(X)\\) such that \\(SS(F)\\cap \\Omega_{>0}\\subset \\mathrm{Cone}(A)\\), are introduced.  (\\S2). In \\S2.2.2, from \\(T_{c^*}:\\mathcal{D}(X\\times\\mathbb{R})\\to \\mathcal{D}(X\\times \\mathbb{R})\\), \\(T_c(x,t)=(x,t+c)\\), a natural transfunctor \\(\\tau_{c^*}:\\mathrm{Id}\\to T_{c^*}\\) of endfunctors on \\(\\mathcal{D}_A(X)\\) for any \\(A\\) is constructed. Using these, the sufficient condition is stated:  Theorem 3.1. Suppose there exist objects \\(F_i\\in \\mathcal{D}_{F_i}(X)\\), \\(i=1,2\\), such that for all \\(c>0\\), the natural map \\[ \\tau_c:R\\mathrm{hom}(F_1,F_2)\\to R\\mathrm{hom}(F_1, T_cF_2), \\] is not zero. Then \\(F_1\\) and \\(F_2\\) are mutually non-displaceable.  This is proved to use \\(R\\mathrm{hom}_{\\mathcal{D}(x)}(F_1,F_2)=0\\), if \\(F_i\\in\\mathcal{D}_{A_i}(X)\\), \\(A_i\\subset T^\\ast X\\) and \\(A_1\\cap A_2=\\emptyset\\) (Theorem 3.2), and existence of a collection of endmorphisms \\(T_n:\\mathcal{D}(X)\\to \\mathcal{D}(X)\\), \\(1\\leq k\\leq N\\) for some \\(N\\) and a collection of functors \\(t_k*T_{2k}\\to T_{2k+1}\\) and \\(s_k:T_{2k+2}\\to T_{2k+1}\\) such that \\(T_N=Id\\), \\(T_1(\\mathcal{D}_L(X))\\subset \\mathcal{D}_{\\Phi(L)}(X)\\) and \\(\\mathrm{Cone}(t_k(F)), \\mathrm{Cone}(s_k(F))\\) are torsion sheaves for all \\(k\\) and \\(F\\in\\mathcal{D}(X)\\). Here \\(\\Phi:T^\\ast X\\to T^\\ast X\\) is a Hamiltonian symplectomorphism which is equal to identity outside of a compact and \\(L\\subset T^\\ast X\\) is a compact subset (Theorem 3.9).  Let \\(G=\\mathrm{SU}(N)\\), \\(\\mathfrak{g}\\) its Lie algebra and \\(\\mathbb{CP}^N=\\mathcal{O}\\subset \\mathfrak{g}^*\\), and let \\(I:M\\to T^ast G\\) be the inclusion, \\(P:M\\to \\mathcal{O}^{\\mathrm{op}}\\times \\mathcal{O}\\) be the projection, and \\(\\Delta\\) is the diagonal of \\(\\mathcal{O}^{\\mathrm{op}}\\times\\mathcal{O}\\). Then Theorem 4.1 follows from the facts that \\(IP^{-1}\\Delta\\) and \\(IP^{-1}(\\mathbb{T}\\times\\mathbb{T})\\), \\(IP^{-1}\\Delta\\) and \\(IP^{-1}(\\mathbb{RP}^N\\times\\mathbb{RP}^N)\\), and \\(IP^{-1}(\\mathbb{RP}^N\\times\\mathbb{RP}^N)\\) and \\(IP^{-1}(\\mathbb{T}\\times\\mathbb{T})\\) are non-displaceable each others (Theorem 4.3).  Theorem 4.3 is proved from Theorem 3.1 assuming existence \\(u_\\mathcal{O}\\in\\mathcal{D}_{IP^{-1}\\Delta}(G)\\) which is not a torsion object, and that there exists a neighborhood \\(U\\) of the unit \\(G\\) such that for every \\(g\\in G, F\\in D(G)\\) such that \\(F\\) is supported on \\(gU\\) and \\(R\\Gamma(G,F)=0\\), then \\(F_{* G}u_\\mathcal{O}\\) is a torsion object (Proposition 4.4).  Proof of Proposition 4.4 is the main body of this paper. In \\S5, assuming unique existence a special element \\(\\mathfrak{S}\\in D(G\\times\\mathfrak{h})\\), \\(\\mathfrak{h}\\) is the Cartan algebra of \\(\\mathfrak{g}\\), \\(u_\\mathcal{O}\\) is constructed by using convolution on \\(\\mathfrak{h}\\); \\(u_\\mathcal{O}=I_0^{-1}(\\mathfrak{S}\\ast_\\mathfrak{h}\\gamma_L)\\), \\(\\gamma_L=\\mathbb{K}_{\\{(A,t)|t+\\langle A,L\\rangle\\geq 0\\}}\\in D(\\mathfrak{h}\\times\\mathbb{R})\\).  \\S6 constructs \\(\\mathfrak{S}\\) and proves its uniqueness (Theorem 6.1, 6.7). \\S7 computes an isomorphism type of \\(\\mathfrak{S}|_{z\\times C^o_-}\\), \\(C^o_-\\) is the interior of \\(-C~+\\). The author says the computation is a version of Bott's computation of \\(H_\\bullet (\\Omega(G))\\) using Morse theory. \\(\\mathfrak{S}\\) is a strict B-sheaf. In \\S8, it is shown that any strict B-sheaf can be recovered from its restriction onto \\(\\mathbf{Z}\\times C^o_-\\), \\(\\mathbf{Z}\\) is the center of \\(G\\) (Theorem 8.4).  This paper also includes two Appendices; \\(\\mathrm{SU}(N)\\) and its Lie algebra: Notations and a Couple of Lemmas (\\S10), and Results from [Kashiwara and Schapira, loc. cit.] on fundamental properties of microsupport (\\S11).  For the entire collection see [Zbl 1412.32002].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2419129$F1E1F399-2EA3-40F9-8D85-226221D215A4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2419129$4B942938-AA37-44FA-AA6D-FAD2B6BB429C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e023833ac31982f802a2107fc74af381931dffa","datavalue":{"value":"35A27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$6275A36E-F459-438F-A2FD-247C1DED1674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a80b4f7c8e67a6519e4472608227d2c3c6f4a4b","datavalue":{"value":"53D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$2F3E1E08-E39A-4E63-ABF1-26CD34052AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$6B252A94-C628-4161-997A-2ACB7F8886EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"116d8612c72590dcdde5f39c52eaf6a0f4a86db0","datavalue":{"value":"32C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$95F05E27-DA62-4367-86D4-6A7333BF954B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a3c054c25dd8c14fc0564d9a4ce386132a1df6b","datavalue":{"value":"7060655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$B7AF7EAE-AF9C-4DDF-896E-7798D8F7B04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0795eb4de27caa6f6efc08424ef8f5e9bd1715b3","datavalue":{"value":"non-displaceability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2419129$15325712-91E2-4C1D-9AC6-A9502B68ABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d35a8fd6d417628b9a2933efde7f567dd3bdde","datavalue":{"value":"microlocal analysis of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2419129$22061527-C7E2-4B37-B347-AB1416785F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcb742160f7db6ee82a96f151fecd49ec963a30","datavalue":{"value":"Clifford torus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2419129$AA563B16-D631-4852-8A0E-0B0F4AA4CB4B","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":"Q2419129$535E9A5B-CEB8-412B-B79F-C2A7D5BF017A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b87a41c0eea1def581c27850a7c03bf2e03fc2","datavalue":{"value":"W2963286874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2419129$2EA6F5BB-9058-4A2B-8DF6-E1AB51BBE37D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328ad895c05fe6c7a7d87e9f532b8fa0535a0ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5265226,"id":"Q5265226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b8d0be941e7ef9b015dbce5156003f65c9e09c","datavalue":{"value":{"amount":"+0.7821174263954163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2419129$7166796C-8228-46DB-A309-9E8BDA73BA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450125bbceddb4a0d4bfb4439e9fd75aff666a81","datavalue":{"value":{"entity-type":"item","numeric-id":2804134,"id":"Q2804134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c2c8b0a12a05179084536bdefaf621848b0e1d","datavalue":{"value":{"amount":"+0.7429934144020081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2419129$BAD8C82C-60DA-4356-816E-BA90DFC6E640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d2bb9b6af20cb090b229164853c9ecb96a8f6b","datavalue":{"value":{"entity-type":"item","numeric-id":410141,"id":"Q410141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ec5b67a739c87b55c841dca87c8197e03bb6c7","datavalue":{"value":{"amount":"+0.7280210256576538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2419129$ECD0359A-C190-4198-9316-BE51E3D9FCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aad2ce1bbf423bb0a854beaa2c102e2f2b9cc1","datavalue":{"value":{"entity-type":"item","numeric-id":955113,"id":"Q955113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a3a893eccb355e753343a4d50e49469261f1f6","datavalue":{"value":{"amount":"+0.7262449264526367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2419129$07F8216F-CFA8-4779-9C84-1DC1EE48FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc3b8cff02d7f863b3ce5e1c5e8627ee597a24","datavalue":{"value":{"entity-type":"item","numeric-id":3515061,"id":"Q3515061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815e5bd16ee1d9ec72a24a420c42e9faefb43372","datavalue":{"value":{"amount":"+0.7244074940681458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2419129$297A52B0-7957-4B5A-8B44-FC705D93FEF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2419129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2419129"}}}}}