{"entities":{"Q6042865":{"pageid":13177021,"ns":120,"title":"Item:Q6042865","lastrevid":58642638,"modified":"2026-04-06T03:39:17Z","type":"item","id":"Q6042865","labels":{"en":{"language":"en","value":"Caustics of Lagrangian homotopy spheres with stably trivial Gauss map"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7681985"}},"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":"Q6042865$6044C821-F48D-4C00-A01C-DB05445F54D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae5acab6331de33f2b04a9c32030ac3e92292dc5","datavalue":{"value":{"text":"Caustics of Lagrangian homotopy spheres with stably trivial Gauss map","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6042865$8BBE8618-4448-46EF-B715-BADD56072412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7925539806e2afd1f26281757f00559fea51e2ec","datavalue":{"value":"1518.53059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$F8946837-C1F6-40C4-9E38-C6A99B891ADB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad43e38975df62cec6529b647e389648529ad66","datavalue":{"value":{"entity-type":"item","numeric-id":1748439,"id":"Q1748439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042865$6C2BEC18-C1EC-48D3-BB5F-917CAAE0D73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48fbe356b6c3010ed28f24d4340481ef60182bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1953862,"id":"Q1953862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042865$BBFBB4AA-8159-4A6A-87A6-A7ABAE8DB425","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e3616eb4fa66cd8a907cb98b9b6a1ca82f66944","datavalue":{"value":{"entity-type":"item","numeric-id":283503,"id":"Q283503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042865$B0210633-C889-4C21-B3CA-EB88D6E8A4A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e4c1e2e99f4a92e25ea29c7e68e8be697695342","datavalue":{"value":{"time":"+2023-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6042865$A32D36E1-A9B2-4E98-98AD-B07E90B85BDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562442d6375df65ef18106a8e58815a39998ca41","datavalue":{"value":"https://arxiv.org/abs/2105.05843","type":"string"},"datatype":"url"},"type":"statement","id":"Q6042865$2AC8C84E-33D4-4530-80D7-34F6D50DB3A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d352137c40375173c3d28be860e37184bee1ba67","datavalue":{"value":"Let \\((M,\\omega)\\) be a \\(2n\\)-dimensional symplectic manifold, \\(L\\subset M\\) a Lagrangian submanifold, and  \\(\\gamma\\subset TM\\) a Lagrangian distribution. Then \\(\\gamma|_L\\) is \\textit{stably trivial} if \\(\\gamma|_L\\oplus\\mathbb{R}\\) is homotopic to \\(TL\\oplus\\mathbb{R}\\) as Lagrangian distributions in the symplectic vector bundle \\(\\mathbb{C}^{n+1}\\to TM|_L\\oplus\\mathbb{C}\\to L\\).  A \\textit{tangency} between \\(L\\) and \\(\\gamma\\) is a point \\(x\\in L\\) such that \\(T_xL\\cap\\gamma_x\\neq0\\). The locus of corank one tangencies \\(\\Sigma^1=\\{x\\in L\\mid\\text{dim}(T_xL\\cap\\gamma_x)=1\\}\\) is a \\(C^{\\infty}\\)-generically smooth closed hypersurface in \\(L\\), and \\(\\ell=(TL\\cap\\gamma)|_{\\Sigma^1}\\) is a line field in \\(TL|_{\\Sigma^1}\\). We say that a tangency point \\(x\\in\\Sigma^1\\) is of \\textit{fold type} if \\(\\Sigma^1\\) is transversely cut out in a neighborhood of \\(x\\) and \\(\\ell_x \\pitchfork T_x\\Sigma^1\\) inside \\(T_xL\\).  In this paper the authors prove the following \\(h\\)-principle for the simplification of caustics.  {Theorem.} Let \\(L\\) be a Lagrangian homotopy sphere in a symplectic manifold \\((M,\\omega)\\), and let \\(\\gamma\\subset TM\\) be a Lagrangian distribution. Then \\(L\\) is Hamiltonian isotopic to a Lagrangian submanifold which only has fold tangencies with respect to \\(\\gamma\\) if and only if \\(\\gamma|_L\\) is stably trivial.  The proof is given in Sections 2--4. Using a previous result by the first author (Theorem 2.4 in this paper), it suffices to show a one-one correspondence between elements in \\(\\text{ker}(\\pi_n(\\mathrm{U}(n)/\\mathrm{O}(n))\\to\\pi_n(\\mathrm{U}(n+1)/\\mathrm{O}(n+1)))\\) and Lagrangian distributions \\(\\gamma\\) having only fold tangencies with respect to \\(L\\) (Theorem 2.12), and a one-one correspondence between elements in \\(\\text{ker}(\\pi_n(\\mathrm{U}(n)/\\mathrm{O}(n))\\to\\pi_n(\\mathrm{U}(n+1)/\\mathrm{O}(n+1)))\\) and stably trivial Lagrangian distributions (Lemma 2.14). In particular, Theorem 2.12 is the key lemma and Sections 3 and 4 are devoted to its proof.  The authors give Corollaries 1.6 and 1.7 as two applications of the main theorem above. They are discussed in Section 5.  Recall that a \\textit{Weinstein manifold} \\((W,\\lambda,\\phi)\\) is a compact manifold with boundary equipped with an exact symplectic form \\(\\omega=d\\lambda\\) and a Morse-Lyapunov function \\(\\phi\\colon W\\to\\mathbb{R}\\), and \\textit{arboreal singularities} are special classes of Lagrangian singularities introduced by \\textit{D. Nadler} [Geom. Topol. 21, No. 2, 1231--1274 (2017; Zbl 1420.57071)] and classified by finite rooted trees equipped with a decoration of a sign \\(\\pm1\\) on each edge not adjacent to the root. Corollary 1.6 states that if \\(TW\\) admits a global field of Lagrangian planes and \\(\\phi\\) has only two critical points, then by a homotopy of Weinstein structure \\(W\\) admits skeleta with arboreal singularities of height \\(\\leq 2\\).  The second application, Corollary 1.7, says that if \\(\\Sigma_0\\) and \\(\\Sigma_1\\) are homotopy spheres and \\(\\Sigma_1\\) is a Lagrangian subspace of \\(T^*\\Sigma_0\\) then there exist a tube bundle \\(W\\to\\Sigma_0\\), a framed function \\(f\\colon W\\to\\mathbb{R}\\), and a Hamiltonian isotopy \\(\\varphi_t\\) of \\(\\Sigma_1\\) such that \\(\\varphi_1(\\Sigma_1)\\) is generated by \\(f\\).   Here we explain the terminology. A \\textit{tube} \\(T\\subset\\mathbb{R}^{n+1}\\) is a codimension-zero submanifold with boundary obtained by attaching a handle onto the half plane \\(\\{x_{n+1}\\leq0\\}\\).  A \\textit{tube bundle} \\(T\\to W\\to\\Sigma_0\\) is a smooth fibre bundle whose fibres are tubes contained in a fixed Euclidean subspace of \\(\\mathbb{R}^{n+1}\\). A \\textit{framed function} is a function \\(f\\colon W\\to\\mathbb{R}\\) such that the restriction of \\(f\\) to each fibre \\(T_x\\) is Morse or generalized Morse, and the negative eigenspaces of the fibrewise Hessian at the fibrewise critical points are equipped with framings which vary continuously over \\(\\Sigma_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042865$33E001B4-3727-4C6F-A7CE-8CBBE7EF9E78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c114b48e082cb6f01424022a2232079018a13b","datavalue":{"value":{"entity-type":"item","numeric-id":829442,"id":"Q829442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042865$226FD339-ACC7-4493-B9C9-1C245D257B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3d3d2dde0dfb578591f6d799f3a1075d3c241de","datavalue":{"value":"53D12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$42F64A3A-A9BB-425F-8F4E-1BA411964ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b79438289b4530457c82d786f41fc734efc976","datavalue":{"value":"53D37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$96D84B8F-8D2D-4AAF-A5C2-EB9BCBB6C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca9a6b962ad43c465f37f85f14ff33754e2e60ab","datavalue":{"value":"57R17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$98DE1B82-35C4-422F-8041-84BA8DCE62EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8475772cd76d70f65896cc465d9126315619c19c","datavalue":{"value":"57R45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$858D42F1-265A-49F5-BDCF-635EF747968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e063d2bec31286940c404ec4e533eef2b27d919","datavalue":{"value":"57Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$22A634C5-54C0-461F-AEF9-4FE44A737D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239319f07cf63e039734d6750aa3edbbeaccdf27","datavalue":{"value":"7681985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$F10821B2-8EFC-42FA-A00A-254CAD2CD70A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eebefda70a19c2d07af91d8d2f4dfc2a49387af","datavalue":{"value":"Lagrangian homotopy spheres","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042865$2D8F5457-5C61-4E38-B35A-6E66438A7AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51042f8d74fb23d44a4f37d0790df165a179aeb","datavalue":{"value":"stable homotopy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042865$2E5BA168-B9D3-43B8-8176-3C00FE80950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c50c51c8f48e0d36cb71cd21a2a96e606c9f998","datavalue":{"value":"Weinstein manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042865$89D943EC-1249-45C3-B984-2268BC2EC91B","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":"Q6042865$AE139CAA-070C-4B4C-A5E2-B913D031B37A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d1ffa4fd9ab3761762a9b2debfb087401909eae","datavalue":{"value":"W3163338990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$65AF45A4-3B92-4E8C-86E6-8D8B145D025D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50d4d305f02f438f10e230915df8219741e1acf2","datavalue":{"value":"10.4310/JSG.2022.V20.N5.A1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042865$9C8F93F3-51C1-4829-84EB-9E53DE00BE69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72e55ce6ea4b75853e6933e39fd8918733fd977","datavalue":{"value":{"entity-type":"item","numeric-id":1989466,"id":"Q1989466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0266975c2c2f690f641d2f6abaa7cda2f586f9ea","datavalue":{"value":{"amount":"+0.7746474742889404","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":"Q6042865$96C1EE08-8BE3-4FCE-BF2B-17397C0244C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354e3ac2c0a5c318f0515356310d61fb36722550","datavalue":{"value":{"entity-type":"item","numeric-id":4636424,"id":"Q4636424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5783a3a27e0a2c9a5ad7ee892e42ebf025c86dcb","datavalue":{"value":{"amount":"+0.7402772307395935","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":"Q6042865$553A5189-BDAC-46C1-908E-07C6FA996FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6222e123bf6a26deaf7270f9cbdd25486d5ebec7","datavalue":{"value":{"entity-type":"item","numeric-id":431566,"id":"Q431566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe0557081570b824600744c6a9599007e0c8cb6","datavalue":{"value":{"amount":"+0.7316182255744934","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":"Q6042865$4CB4EF15-8EFE-419D-B95E-D741031D7765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f46279ddaadf3039e2978c155e075f2fa82bf9c","datavalue":{"value":{"entity-type":"item","numeric-id":1293237,"id":"Q1293237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f80c86ce7f655b768117e0fe115e420f6e69699","datavalue":{"value":{"amount":"+0.7299668788909912","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":"Q6042865$D957D983-A0B5-452F-8994-74D93DC51D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac677f590c6d8153438fb00980cfd35ee091238","datavalue":{"value":{"entity-type":"item","numeric-id":2224535,"id":"Q2224535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f80c86ce7f655b768117e0fe115e420f6e69699","datavalue":{"value":{"amount":"+0.7299668788909912","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":"Q6042865$28828112-3F7E-4E56-8B5E-C6EF4655ECA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6042865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6042865"}}}}}