Given a smooth projective variety $X$ with a smooth anticanonical divisor $D$, we study mirror symmetry for the log Calabi--Yau pair $(X,D)$ without assuming that $D$ is nef. We consider the mirror proper Landau--Ginzburg model $(\check X,W)$ from the intrinsic mirror construction of Gross--Siebert. We examine the relationship between the regularized quantum period of $X$ and the classical period of $W$, and identify the discrepancy between them as originating from curve counts in $D$, governed by the mirror map associated with $D$. We also obtain an explicit formula for the proper potential $W$ that encodes this discrepancy. In the end, we show that the quantum period, together with the mirror map, gives exactly the same information as the proper potential.
यह पेपर चिकनी प्रक्षेप्य किस्मों X और उनके चिकने प्रतिविहित भाजक D से बनी लघुगणकीय कैलाबी-याउ जोड़ी (X,D) की दर्पण समरूपता का अध्ययन करता है, विशेष रूप से D को नेफ मानने की आवश्यकता के बिना। लेखक ग्रॉस-सीबर्ट आंतरिक दर्पण निर्माण से आने वाले दर्पण उचित लैंडाऊ-गिनज़बर्ग मॉडल (Xˇ,W) पर विचार करते हैं, X की नियमितकृत क्वांटम अवधि और W की शास्त्रीय अवधि के बीच संबंध का अध्ययन करते हैं, और उनके बीच के अंतर को D में वक्र गणना से उत्पन्न होने के रूप में पहचानते हैं, जो D से संबंधित दर्पण मानचित्र द्वारा नियंत्रित होता है। लेख इस अंतर को एन्कोड करने वाले उचित विभव फलन W के लिए एक स्पष्ट सूत्र भी प्राप्त करता है, अंत में यह साबित करता है कि क्वांटम अवधि दर्पण मानचित्र के साथ उचित विभव फलन के समान जानकारी देती है।
शास्त्रीय दर्पण समरूपता की सीमाएं: परंपरागत दर्पण समरूपता सिद्धांत मुख्य रूप से फानो किस्मों पर केंद्रित है, जहां प्रतिविहित भाजक −KX नेफ है। हालांकि, कई महत्वपूर्ण ज्यामितीय वस्तुएं इस शर्त को संतुष्ट नहीं करती हैं।
त्यूरिन अपकर्षण की आवश्यकता: कैलाबी-याउ किस्मों के त्यूरिन अपकर्षण का अध्ययन करते समय, दो लघुगणकीय कैलाबी-याउ जोड़ियां (X1,D) और (X2,D) दिखाई देती हैं, जहां −KX1 और −KX2 आवश्यक रूप से नेफ नहीं हैं। इन किस्मों को अर्ध-फानो किस्में कहा जाता है।
ठोस उदाहरण: एक महत्वपूर्ण उदाहरण चिकने पंचक त्रिगुण Q5 का त्यूरिन अपकर्षण है:
Q5⇝Q4∪K3BlCP3
जहां BlCP3 कुछ पूर्ण प्रतिच्छेद C के साथ P3 का विस्फोट है, जो फानो नहीं है।
सैद्धांतिक पूर्णता: त्यूरिन अपकर्षण की दर्पण समरूपता को समझने के लिए, −KXi नेफ न होने वाली लघुगणकीय कैलाबी-याउ जोड़ियों की सापेक्ष दर्पण समरूपता का अध्ययन करना आवश्यक है।
तकनीकी चुनौतियां: जब D नेफ नहीं है, तो परंपरागत दर्पण समरूपता सूत्र लागू नहीं होते हैं, अतिरिक्त अपकर्षण योगदान को संभालने के लिए एक नई सैद्धांतिक रूपरेखा की आवश्यकता है।
सापेक्ष दर्पण प्रमेय का विस्तार: सापेक्ष दर्पण प्रमेय को D नेफ न होने की स्थिति में विस्तारित किया, स्पष्ट दर्पण सूत्र स्थापित किए।
क्वांटम अवधि और शास्त्रीय अवधि के अंतर की पहचान: साबित किया कि जब D नेफ नहीं है, तो नियमितकृत क्वांटम अवधि और शास्त्रीय अवधि के बीच का अंतर भाजक D में मानचित्रों की वक्र गणना से आता है।
उचित विभव फलन का स्पष्ट सूत्र: उचित विभव फलन W के स्पष्ट अभिव्यक्ति प्रदान किए जो उपरोक्त अंतर को एन्कोड करते हैं।
समतुल्यता की स्थापना: साबित किया कि क्वांटम अवधि दर्पण मानचित्र के साथ उचित विभव फलन के समान जानकारी देती है।
विमा सीमा में सटीक परिणाम: 2-विमीय और 3-विमीय स्थितियों में, साबित किया कि शास्त्रीय अवधि अभी भी नियमितकृत क्वांटम अवधि के साथ संपाती होती है।
चिकनी प्रक्षेप्य किस्म X और चिकने प्रतिविहित भाजक D से बनी लघुगणकीय कैलाबी-याउ जोड़ी (X,D) की दर्पण समरूपता का अध्ययन करना, जहां D नेफ होने की आवश्यकता नहीं है। लक्ष्य क्वांटम अवधि, शास्त्रीय अवधि और उचित विभव फलन के बीच संबंध को समझना है।
जब D नेफ नहीं है, तो दो प्रकार के दर्पण मानचित्र दिखाई देते हैं:
D में दर्पण मानचित्र: सापेक्ष-स्थानीय मॉडल (Y,D0) से आता है, जहां Y=P(OD⊕ND), D0 शून्य भाजक है। दर्पण मानचित्र का रूप है:
τD(y,z)=∑k≥0,δ∈H∗(D),β∈NE(D)τD,δ,k,β(ι∗δ)zkyβ
सापेक्ष दर्पण मानचित्र: सापेक्ष I-फलन के z0 गुणांक द्वारा दिया जाता है:
τ(y)=∑i=1rpilogyi+∑β∈NE(X),d=D⋅β≥2[∑l≥0,β′∈NE(X)l!1⟨[pt]ψd−2,τD,…,τD⟩0,1+l,β′Xyβ′](d−1)!yβ[1]−d
जब X चिकनी प्रक्षेप्य किस्म है, D चिकना प्रतिविहित भाजक है और D नेफ है, तो उचित विभव फलन W द्वारा परिभाषित शास्त्रीय अवधि X की नियमितकृत क्वांटम अवधि के साथ संपाती होती है।
जब D आवश्यक रूप से नेफ नहीं है, तो शास्त्रीय अवधि D में दर्पण मानचित्र लागू करने के बाद नियमितकृत क्वांटम अवधि के साथ संपाती होती है:
∑n≥0[Wn]ϑ0=1+∑d≥2∑β∈NE(X),D⋅β=d(D⋅β)![∑l≥0,β′∈NE(X)l!1⟨[pt]ψd−2,τD,…,τD⟩0,l+1,β′Xqβ′]qβ
प्रमेय (2-विमीय और 3-विमीय स्थिति): जब X 2-विमीय या 3-विमीय चिकनी प्रक्षेप्य किस्म है, D चिकना प्रतिविहित भाजक है, तो शास्त्रीय अवधि अभी भी नियमितकृत क्वांटम अवधि के साथ संपाती होती है।
प्रमाण विचार: जब D दीर्घवृत्ताकार वक्र या K3 सतह है, तो इसके 0-वंश ग्रोमोव-विटन अपरिवर्तनीय शून्य हैं, इसलिए D में दर्पण मानचित्र तुच्छ है।