{"entities":{"Q2358668":{"pageid":2369411,"ns":120,"title":"Item:Q2358668","lastrevid":57872517,"modified":"2026-04-02T21:41:02Z","type":"item","id":"Q2358668","labels":{"en":{"language":"en","value":"Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for \\(\\mathbb{P}^1_{a,b,c}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731736"}},"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":"Q2358668$981B8372-E9C1-45C8-925E-B81F37DF6419","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e348bd05eda324d81e47251505ffbaba1bcbbd3","datavalue":{"value":{"text":"Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for \\(\\mathbb{P}^1_{a,b,c}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358668$91454BDA-31F1-49CD-BAB7-25A88245F417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78f8d1ce5f0beb56074698648b204afcb0f9060f","datavalue":{"value":"1369.53062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$85CB5264-7EBE-4FEF-A3DA-AD42AFD3EA93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786ef569408b40d01814a06a0ef023cd593ada3b","datavalue":{"value":{"entity-type":"item","numeric-id":254810,"id":"Q254810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358668$AA06A1F5-F6EE-4CA2-985A-78CD418DA1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"873b6df22e21d67d1dc25eeb3e14ddcab22d2e4d","datavalue":{"value":{"entity-type":"item","numeric-id":294140,"id":"Q294140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358668$1DD6FB3D-4B98-4C81-9F13-40DDC59092A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c54279ba35083f4c6a993223f8bd9db02435b2","datavalue":{"value":{"entity-type":"item","numeric-id":431625,"id":"Q431625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358668$59E9A4F0-B2D5-41C9-AE12-91DEE07909E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33075497992c7b00cbed0c3ce471beb5f6082d57","datavalue":{"value":{"entity-type":"item","numeric-id":240580,"id":"Q240580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358668$458996E7-D81A-417D-B592-8FDD57CC4527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358668$781B2BD8-2A3A-4468-869D-A570CB7D9F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a4fea0fa262f7944087dafc5e8bd1046b1de97a","datavalue":{"value":"https://arxiv.org/abs/1308.4651","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358668$DF252412-D375-4E60-8A97-ED1D274D2D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e61c0ed5b7654af8052ed84d51ab96864cff4bb1","datavalue":{"value":"https://projecteuclid.org/euclid.jdg/1493172094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358668$CFE47DF8-4E34-4DA5-999F-36701FD84AE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b6cd6d0d9001f74562dcd3626b407588ace73ab","datavalue":{"value":"In [\\textit{A. Strominger} et al., Nucl. Phys., B 479, No. 1--2, 243--259 (1996; Zbl 0896.14024)], it was proposed that the mirror manifold can be constructed by taking fiberwise tori of the original manifold (SYZ construction). This construction was generalized in [\\textit{M. Aganagic} and \\textit{C. Vafa}, ``Large \\(N\\) duality, mirror symmetry and a \\(Q\\)-deformed \\(A\\)-polynomial for knots'', Preprint, \\url{arXiv:1204.4709}] by using non-compact Lagrangian branes in the resolved conifold from knots inside \\(\\mathbb{S}^3\\) instead of compact fibers of a Lagrangian torus fibration in the SYZ program.  In this paper, an alternative generalized SYZ construction by using one Lagrangian \\(\\mathbb{L}\\) possibly immersed and its deformation theory to construct a Landau-Ginzburg model \\(W\\) as a Lagrangian Floer potential (explained in \\S3). The authors say that the differences between this generalization and the Aganagic-Vafa generalization are the following: {\\parindent=0.7cm\\begin{itemize}\\item[--] It allows to consider a general K\u00e4hler manifold rather than restricting to the case of a resolved conifold. \\item[--] It uses compact Lagrangian immersions rather than non-compact Lagrangian branes to carry out the mirror symmetry. \\item[--] It uses the immersed Lagrangian Floer theory rather than a physical theory, and in particular, discs of Maslov index two are counted rather than those of one.  \\end{itemize}} The authors note that this paper works with \\(\\mathbb{Z}/2\\) grading: The Lagrangians are \\(\\mathbb{Z}/2\\)-graded and the matrix factorizations on the mirror side also \\(\\mathbb{Z}/2\\)-graded (Definition 2.16).  The generalized SYZ construction of this paper has a direct relationship with homological mirror symmetry. This is explained in \\S2 [\\textit{K. Fukaya} et al., Lagrangian intersection Floer theory. Anomaly and obstruction. I. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (2009; Zbl 1181.53002); Lagrangian intersection Floer theory. Anomaly and obstruction. II. Providence, RI: American Mathematical Society (AMS); Somerville, MA: International Press (2009; Zbl 1181.53003)], and the localized mirror functor is constructed by a purely algebraic method (Definition 2.18 and Theorem 2.19). Then, the Lagrangian Floer theory for immersed Lagrangian [\\textit{M. Akahi} and \\textit{D. Joyce}, J. Differ. Geom. 86, No. 3, 381--500 (2010; Zbl 1226.53085)], is reviewed in \\S3. This section also gives a detailed definition of the generalized SYZ construction. A following geometric version of Theorem 2.19, and a uniform and functorial understanding of homological mirror symmetry providing this geometric version are given in \\S4.  Theorem 4.1: Let \\(\\mathcal{F}uk_\\lambda(X)\\) be the Fukaya category of \\(X\\) (as an \\(A_\\infty\\)-ctegory) whose objects are weakly unobstructed Lagragians with potential value \\(\\lambda\\), and \\(\\mathcal{MF}(W-\\lambda)\\) be the \\(dg\\) category of matrix factorizations of \\(W-\\lambda\\). Then there exists an \\(A_\\infty\\)-functor  \\[ \\mathcal{LM}^\\mathbb{L}:\\mathcal{F}uk_\\lambda(X)\\to \\mathcal{MF}(W-\\lambda).  \\]   Theorem 4.2: Suppose that there exists a set of Lagrangians \\(\\{L_i:i\\in I\\}\\) which split-generates \\(D^\\pi\\mathcal{F}uk_0(X)\\), and suppose the functor \\(\\mathcal{LM}^\\mathbb{L}\\) induces an isomorphism on cohomologies  \\[ \\mathrm{HF}(L_i,L_j)\\cong \\mathrm{Mor}(\\mathcal{LM}^\\mathbb{L}(L_i),\\mathcal{LM}^\\mathbb{L}(L_j)) \\]  for all \\(i,j\\in I\\). Then the derived functor  \\[ D^\\pi(\\mathcal{LM}^\\mathbb{L}): D^\\pi\\mathcal{F}uk_0(X)\\to D^\\pi\\mathcal{MF}(W) \\]  is fully faithful. Furthermore, if \\(\\{\\mathcal{LM}^\\mathbb{L}(L_i); i\\in I\\}\\) split-generates \\(D^\\pi\\mathcal{MF}(W)\\), then \\(D^\\pi(\\mathcal{LM}^\\mathbb{L})\\) is a quasi-equivalence.  The rest of the paper is devoted to the application of the generalized SYZ construction to construct the mirror of the orbifold projective line \\(X=\\mathbb{P}^1_{a,b,c}\\). For this purpose, a Lagrangian immersion into a global quotient orbifold \\(X=[\\tilde{X}/G]\\) is considered where \\(G\\) is a finite group, and carrying out its generalized SYZ mirror construction in \\S5. Results are applied to \\(\\mathbb{P}^1_{3,3,3}\\) in \\S6 and general \\(\\mathbb{P}^1_{a.b.c}\\) in \\S7. The main results are the following:   Theorem 6.4: The mirror map equals the generalized SYZ map for the elliptic curve quotient \\(X=E/(\\mathbb{Z}/3)=\\mathbb{P}^1_{3,3,3}\\), where \\(E\\) is the elliptic curve with complex multiplication by cube root of unity.  Theorem 7.24. Let \\(X=\\mathbb{P}^1_{a,b,c}\\) and \\(W\\) be its generalized SYZ mirror. Assume \\(\\frac{1}{a}+\\frac{1}{b}+\\frac{1}{c}\\leq 1\\). The \\(A_\\infty\\)-functor \\(\\mathcal{LM}^\\mathbb{L}\\) in Theorem 4.1 derives homological mirror symmetry, that is, the split-cosed derived functor of \\(\\mathcal{LM}^\\mathbb{L}:\\mathcal{F}uk(\\mathbb{P}^1_{a,b,c})\\to\\mathcal{MF}(W)\\) is an equivalence of triangulated categories  \\[ D^\\pi(\\mathcal{F}uk(\\mathcal{F}uk(\\mathbb{P}^1_{a,b,c}))\\cong D^\\pi(\\mathcal{MF}(W)), \\]  for \\(\\frac{1}{a}+\\frac{1}{b}+\\frac{1}{c}\\leq 1\\).  Theorem 6.4 is proved via an exact computation of the Lagrangian Floer potential (Theorem 6.3). It gives a quantum correction of the folklore mirror potential \\(x^3+y^3+z^3-\\sigma xyz\\). The enumerative meaning of the mirror maps is also explained in \\S6 and \\S7. This paper is concluded by brief discussions of mirror maps of Fermat surfaces (\\S8).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$DD9E7514-F06E-44E3-BFDC-C0F53114F039","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":"Q2358668$7AFD9184-497A-4E34-BD9C-A945A5C8CAD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b79438289b4530457c82d786f41fc734efc976","datavalue":{"value":"53D37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$36D7D814-0581-4D83-A0A4-8A832613AC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46fac3043b3990c3ba3fac08609bb11658d19194","datavalue":{"value":"14J33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$EED8A5D3-C9FF-4BA9-BA28-6736B7FD98DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"716784180dcb6189a510594d72d95d7af3126eb0","datavalue":{"value":"81T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$1C0C2D3C-3D9F-420B-9788-72E749773C4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c88b57153ce82476383b220109af67b94ac475bc","datavalue":{"value":"6731736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$1749A90B-492B-44AC-B934-06A154FE842F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816b159d0c998e8b6a33337f39cb88f60117342c","datavalue":{"value":"Strominger-Yau-Zaslow (SYZ) construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$CC52C99F-C027-43DD-A3E5-7F507AB848CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd7e80d0c6c7c02fddae29fe13c42495a4fd450","datavalue":{"value":"generalized SYZ construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$2E24B022-670D-4800-92BC-103C184995D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdedb9fbc5ee97aeab4fd6fb311b99c3544b93e1","datavalue":{"value":"Landau-Ginzburg mirror","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$D99502CE-34A0-47EF-9EE6-B8CBCB7D219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9071643131c892d5c5bd2a9af23f1c3830504f26","datavalue":{"value":"homological mirror symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$489F8266-4335-4364-9466-9217BA33D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71dd7d531c75d190fa52ed5b870a72061b1dc48","datavalue":{"value":"Lagrangian immersion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$D01B76E1-BA0B-4E1D-923A-98194C3031AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21715b6909e480db5a651e381d9d4b13309686ba","datavalue":{"value":"Fukaya category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$3E1C7D10-8E6C-448C-A45D-2EF07CF58348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f830d42228210a4799b50055e49ae534736fcc","datavalue":{"value":"\\(A_\\infty\\) category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$80562151-4884-44A1-B334-04643DCCD2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"796231ae5d97751994593de74af344195d35d8c0","datavalue":{"value":"sphere with three orbifold points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358668$FBA040B0-FA11-4D0B-B93B-5B54F4D2FBB0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d6c199b43093412b98ba4af867504879a7241a5","datavalue":{"value":"Q115166276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$D235B7AE-7374-41A9-B05E-EFFF4F561F70","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":"Q2358668$F6EB3764-6E2C-42B0-821C-C3F20C413C40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7329c9a9273e563c443e8b7e742bf4e250cf3bb9","datavalue":{"value":"W2964064722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$8AA067B2-CBB8-4FF2-B033-9AE49DADD6F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ec302236eddb3e38f24893529beafdfcfd4cdc0","datavalue":{"value":"10.4310/JDG/1493172094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358668$66663F90-FC34-4AC7-A23F-830918C9535B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1fbb751cac7ec571168f048b8808b525eb6c97f","datavalue":{"value":{"entity-type":"item","numeric-id":3380558,"id":"Q3380558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca91888315f46130ef2613aab34560378ef7809","datavalue":{"value":{"amount":"+0.8263012766838074","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":"Q2358668$997E98CD-C6D4-47EB-A8B4-352345AEB856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146ca472d7f05fe8da97f22a8a1e01b60572ee1c","datavalue":{"value":{"entity-type":"item","numeric-id":669599,"id":"Q669599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f153b1c24db21f959ab7d4d3dde7f16ec9685b3","datavalue":{"value":{"amount":"+0.8231585621833801","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":"Q2358668$5CE1D333-16FD-4523-936E-A78BB28DE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e8b22e8df02fd08fd2d63c48b9e613da59486e","datavalue":{"value":{"entity-type":"item","numeric-id":2231674,"id":"Q2231674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227f07dafb205d2b9f9519518d91399443c422ad","datavalue":{"value":{"amount":"+0.814224362373352","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":"Q2358668$9C48978C-3F0E-4656-AE2E-3B9B3133E1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570bf0a551801a1806f4ca8183aedc8f4ddba782","datavalue":{"value":{"entity-type":"item","numeric-id":5146448,"id":"Q5146448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d88c6f1e9fc95c290dcc43ebc34e6ebc0f5303f","datavalue":{"value":{"amount":"+0.8021563291549683","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":"Q2358668$0AF5E7F4-9868-426D-A83D-26F61B70EBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c11836d9608a4f08229d5715642cf7f232bc738","datavalue":{"value":{"entity-type":"item","numeric-id":3540961,"id":"Q3540961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851c8de2b76ada1e8c05503f025225ed25983301","datavalue":{"value":{"amount":"+0.7993626594543457","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":"Q2358668$F3259ADD-0642-4550-A556-3AFED6713039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2358668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2358668"}}}}}