We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable properties. Firstly, we prove an A-side analog of Orlov's derived Knörrer periodicity theorem by showing that Auroux's category is derived equivalent to the Fukaya-Seidel category of a higher-dimensional Landau-Ginzburg model. Secondly, we describe how this definition implies homological mirror symmetry for some large complex structure limit degenerations of abelian varieties.
- पत्र ID: 2012.09764
- शीर्षक: Mirror symmetry and Fukaya categories of singular hypersurfaces
- लेखक: Maxim Jeffs
- वर्गीकरण: math.SG (सिम्पलेक्टिक ज्यामिति), math.AG (बीजगणितीय ज्यामिति)
- प्रकाशन समय: 3 जनवरी 2025 (arXiv संस्करण)
- पत्र लिंक: https://arxiv.org/abs/2012.09764
यह पत्र Auroux द्वारा प्रस्तावित एकवचन अतिपृष्ठों की Fukaya श्रेणी की परिभाषा का अध्ययन करता है, जिसे Seidel प्राकृतिक रूपांतरण पर स्थानीयकरण के माध्यम से निकट तंतुओं की Fukaya श्रेणी से निर्मित किया जाता है। लेखक सिद्ध करता है कि यह परिभाषा कई आदर्श गुण रखती है: पहले, Orlov व्युत्पन्न Knörrer आवधिकता प्रमेय का A-पक्ष सादृश्य सिद्ध करता है, जो दर्शाता है कि Auroux श्रेणी उच्च-आयामी Landau-Ginzburg मॉडल की Fukaya-Seidel श्रेणी के साथ व्युत्पन्न समतुल्य है; दूसरा, यह वर्णन करता है कि यह परिभाषा कुछ एबेलियन किस्मों के बड़े जटिल संरचना सीमा अपघटन के लिए सहसंगत दर्पण समरूपता को कैसे निहित करती है।
सहसंगत दर्पण समरूपता (HMS) मौलिक स्तर पर अनुमान लगाती है कि Kähler बहुविध Y की Fukaya श्रेणी और इसके 'दर्पण' Kähler बहुविध Y̌ की सुसंगत शीफ श्रेणी के बीच संबंध है। हालांकि, दर्पण समरूपता के कई प्राकृतिक उदाहरणों में (जैसे जब Y गैर-सघन हो), आंतरिक दर्पण Y̌ आमतौर पर एकवचन किस्म होती है, और एकवचन स्थिति में Fukaya श्रेणी की सिद्धांत-आधारित परिभाषा की कमी होती है।
- उच्च-आयामी पैंट जोड़ी की दर्पण समरूपता: महत्वपूर्ण उदाहरणों में उच्च-आयामी पैंट जोड़ी Πn = {x₁ + ⋯ + xₙ₊₁ + 1 = 0} ⊆ (ℂ*)^(n+1) शामिल है, जिसका प्राकृतिक रूप से निर्मित दर्पण एकवचन अतिपृष्ठ {z₁⋯zₙ₊₁ = 0} ⊆ ℂ^(n+1) द्वारा दिया जाता है।
- द्विदिशीय आवश्यकता: दर्पण समरूपता की मुख्य आवश्यकताओं में से एक यह है कि दर्पण का दर्पण मूल Kähler बहुविध होना चाहिए, अर्थात HMS दोनों दिशाओं में लागू होना चाहिए।
- चिपकाने तकनीक की नींव: इस प्रकार की स्थितियों में दर्पण समरूपता को समझना HMS को सिद्ध करने के लिए चिपकाने तकनीक पर निर्भर विधियों के लिए महत्वपूर्ण है।
हालांकि चिकनी Kähler बहुविध की दर्पण समरूपता को समझने में विशाल प्रगति हुई है, लेकिन कक्षीय स्थिति को छोड़कर, एकवचन किस्मों के A-मॉडल की दर्पण समरूपता पर बहुत कम अनुसंधान है।
- Auroux परिभाषा का सत्यापन: सिद्ध करता है कि Auroux द्वारा प्रस्तावित एकवचन अतिपृष्ठ Fukaya श्रेणी की परिभाषा वास्तव में सही परिभाषा है।
- व्युत्पन्न Knörrer आवधिकता प्रमेय: Orlov व्युत्पन्न Knörrer आवधिकता प्रमेय का A-पक्ष सादृश्य सिद्ध करता है (प्रमेय 1)।
- सहसंगत दर्पण समरूपता समतुल्यता: बड़ी जटिल संरचना सीमा के तहत कई सहसंगत दर्पण समरूपता समतुल्यताएं स्थापित करता है (प्रमेय 2 और 3)।
- सैद्धांतिक ढांचे का विस्तार: परिभाषा को एकवचन पूर्ण प्रतिच्छेदों तक विस्तारित करता है और संबंधित अनुमान प्रस्तावित करता है।
एकल एकवचन तंतु वाले एकवचन सिम्पलेक्टिक तंतु f : X → ℂ के लिए, Seidel ने प्राकृतिक रूपांतरण s : μ → id को परिभाषित किया, जहाँ μ सामान्य तंतु की wrapped Fukaya श्रेणी W(f⁻¹(t)) पर कार्य करने वाली दक्षिणावर्त मोनोड्रोमी फंक्टर है।
परिभाषा 1 (Auroux): एकवचन तंतु f⁻¹(0) की wrapped Fukaya श्रेणी को प्राकृतिक रूपांतरण s : μ → id पर निकट तंतु f⁻¹(t) की wrapped Fukaya श्रेणी के स्थानीयकरण के रूप में परिभाषित किया जाता है:
DW(f⁻¹(0)) = DW(f⁻¹(t))s⁻¹
प्रमेय 1 (व्युत्पन्न Knörrer आवधिकता): मान लीजिए X एक चिकनी affine किस्म है, जिसमें X → ℂᴺ में एम्बेडिंग से प्रेरित Stein संरचना है, f : X → ℂ ℂᴺ पर बहुपद फलन का प्रतिबंध है। यदि f का एकल महत्वपूर्ण तंतु f⁻¹(0) है, तो पर्याप्त रूप से छोटे t ≠ 0 के लिए A∞-श्रेणियों का अर्ध-समतुल्यता मौजूद है:
DᵖW(f⁻¹(t))s⁻¹ → DᵖW(X × ℂ, zf)
- Cap और Cup फंक्टर: ज्यामितीय रूप से परिभाषित cap फंक्टर ∩ और cup फंक्टर ∪ का परिचय देता है, Seidel प्राकृतिक रूपांतरण के साथ संबंध स्थापित करता है।
- AAK समतुल्यता का उन्नयन: Abouzaid-Auroux-Katzarkov समतुल्यता के उन्नत रूप को सिद्ध करता है (प्रमेय 4)।
- स्टॉप हटाने की तकनीक: t परिवर्तन के समय सामान्य तंतु की Liouville ज्यामिति का सावधानीपूर्वक विश्लेषण करके, (X × ℂ, z(f - t)) से (X × ℂ, zf) तक की प्रक्रिया को स्टॉप हटाने के रूप में पुनः तैयार करता है।
उदाहरण 1: मानक Lefschetz तंतु
X = ℂ² और f = xy पर विचार करें, नोडल द्विघात वक्र W({xy = 0}) की Fukaya श्रेणी की सीधी गणना करें। लेम्मा 3 के माध्यम से, केवल W({xy = t}) को ∩ की छवि से भाग देना आवश्यक है।
उदाहरण 2: दीर्घवृत्तीय वक्र स्थिति
दीर्घवृत्तीय वक्र के Tate परिवार पर विचार करें, जहाँ f⁻¹(0) एकल नोड वाला दीर्घवृत्तीय वक्र है। ज्ञात दर्पण समतुल्यता का उपयोग करके, नोडल दीर्घवृत्तीय वक्र की wrapped Fukaya श्रेणी और एकल छिद्रित दीर्घवृत्तीय वक्र की सुसंगत शीफ व्युत्पन्न श्रेणी के बीच दर्पण समतुल्यता को सिद्ध करता है।
- श्रेणी समतुल्यता की कठोरता
- ज्ञात परिणामों के साथ संगति
- ज्यामितीय अंतर्ज्ञान का अनुपालन
- उच्च-आयामी पैंट जोड़ी स्थिति: Landau-Ginzburg मॉडल (ℂⁿ⁺¹, Wₙ = z₁⋯zₙ₊₁) के लिए, सिद्ध करता है:
DᵖW(Wₙ⁻¹(0)) ≃ DᵖW(ℂⁿ⁺², z₁⋯zₙ₊₂) ≃ Dᵇ Coh(Πₙ)
- दीर्घवृत्तीय वक्र का सामान्यीकरण: n छिद्रों और m नोड्स वाले दीर्घवृत्तीय वक्र और m छिद्रों और n नोड्स वाले दीर्घवृत्तीय वक्र के बीच दर्पण व्युत्पन्न समतुल्यता स्थापित करता है।
Orlov के B-पक्ष परिणामों के साथ तुलना करके, A-पक्ष Knörrer आवधिकता की सही्ता को सत्यापित करता है, विधि की प्रभावशीलता को सिद्ध करता है।
- Fukaya श्रेणी सिद्धांत: Seidel, Abouzaid आदि का कार्य
- दर्पण समरूपता: Kontsevich का सहसंगत दर्पण समरूपता अनुमान
- Landau-Ginzburg मॉडल: Orlov की Knörrer आवधिकता प्रमेय
- एकवचनता सिद्धांत: सिम्पलेक्टिक ज्यामिति में अनुप्रयोग
संबंधित कार्य की तुलना में, यह पत्र पहली बार एकवचन अतिपृष्ठ Fukaya श्रेणी की कठोर परिभाषा देता है और चिकनी स्थिति के साथ इसकी संगति को सिद्ध करता है।
- Auroux की परिभाषा वास्तव में एकवचन अतिपृष्ठ Fukaya श्रेणी की सही परिभाषा देती है
- व्युत्पन्न Knörrer आवधिकता A-पक्ष पर मान्य है
- बड़ी जटिल संरचना सीमा की सहसंगत दर्पण समरूपता सत्यापित होती है
- ज्यामितीय धारणाएं संभवतः अत्यधिक मजबूत हैं, हालांकि दर्पण समरूपता अनुप्रयोगों के लिए पर्याप्त हैं
- परिणामों को मान्य करने के लिए idempotent पूर्णता की आवश्यकता है
- एकवचन पूर्ण प्रतिच्छेदों के लिए सामान्यीकरण अभी भी अनुमान है
- परिणामों को एकवचन पूर्ण प्रतिच्छेदों तक सामान्यीकृत करना
- आंतरिक निर्माण विधियां विकसित करना, चिकनीकरण पर निर्भरता से बचना
- log संरचना और विस्फोट बहुविध सिद्धांत के साथ संबंध
- सैद्धांतिक कठोरता: एकवचन स्थिति में Fukaya श्रेणी की कठोर गणितीय परिभाषा देता है
- ज्यामितीय अंतर्ज्ञान: परिभाषा स्पष्ट ज्यामितीय व्याख्या और प्रेरणा रखती है
- व्यापक अनुप्रयोग: दर्पण समरूपता अनुसंधान के लिए नई दिशाएं खोलता है
- तकनीकी नवाचार: एकवचनता को संभालने के लिए नई तकनीकें विकसित करता है
- तकनीकी जटिलता: प्रमाण में बड़ी संख्या में तकनीकी विवरण शामिल हैं, जो पठनीयता को प्रभावित कर सकते हैं
- धारणा शर्तें: कुछ ज्यामितीय धारणाएं परिणामों की सामान्यता को सीमित कर सकती हैं
- गणना जटिलता: व्यावहारिक गणना अभी भी चुनौतीपूर्ण है
यह कार्य एकवचन सिम्पलेक्टिक ज्यामिति के अनुसंधान के लिए महत्वपूर्ण सैद्धांतिक आधार प्रदान करता है, दर्पण समरूपता और Fukaya श्रेणी सिद्धांत पर महत्वपूर्ण प्रभाव डालने की अपेक्षा की जाती है।
- एकवचन अतिपृष्ठों की सिम्पलेक्टिक ज्यामिति अनुसंधान
- बड़ी जटिल संरचना सीमा की दर्पण समरूपता
- Landau-Ginzburg मॉडल का वर्गीकरण
पत्र इस क्षेत्र के मूल साहित्य का हवाला देता है, जिसमें शामिल हैं:
- Fukaya श्रेणी पर Seidel का मौलिक कार्य
- Orlov की Knörrer आवधिकता प्रमेय
- दर्पण समरूपता पर Abouzaid-Auroux का अनुसंधान
- toric अपघटन पर Gross-Siebert का कार्य
समग्र मूल्यांकन: यह सिम्पलेक्टिक ज्यामिति और दर्पण समरूपता क्षेत्र में महत्वपूर्ण सैद्धांतिक योगदान वाला एक उच्च गुणवत्ता वाला पत्र है, जो एकवचन स्थिति में Fukaya श्रेणी को समझने के लिए ठोस गणितीय आधार प्रदान करता है।