एसवाईजेड अनुमान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 14: Line 14:


== गणितीय कथन ==
== गणितीय कथन ==
स्ट्रोमिंगर, याउ और ज़ास्लो द्वारा एसवाईजेड कंजेक्टर का प्रारंभिक प्रस्ताव सटीक गणितीय कथन के रूप में नहीं दिया गया था।<ref name=SYZ />एसवाईजेड कंजेक्टर के गणितीय समाधान का हिस्सा, कुछ अर्थों में, कंजेक्टर के कथन को सही ढंग से तैयार करना है। गणितीय साहित्य में कंजेक्टर के सटीक कथन पर कोई सहमति नहीं है, लेकिन सामान्य कथन है जिसके कंजेक्टर के सही सूत्रीकरण के करीब होने की उम्मीद है, जिसे यहां प्रस्तुत किया गया है।<ref name=mirrorsymmetrybook>Gross, M., Huybrechts, D. and Joyce, D., 2012. Calabi-Yau manifolds and related geometries: lectures at a summer school in Nordfjordeid, Norway, June 2001. Springer Science & Business Media.</ref><ref>Gross, M., 2012. Mirror symmetry and the Strominger-Yau-Zaslow conjecture. Current Developments in Mathematics, 2012(1), pp.133-191.</ref> यह कथन मिरर सिमेट्री की टोपोलॉजिकल तस्वीर पर जोर देता है, लेकिन मिरर जोड़े की जटिल और सहानुभूतिपूर्ण संरचनाओं के बीच संबंधों को सटीक रूप से चित्रित नहीं करता है, या इसमें शामिल संबंधित [[ रीमैनियन मीट्रिक |रीमैनियन मीट्रिक]] ्स का संदर्भ नहीं देता है।
स्ट्रोमिंगर, याउ और ज़ास्लो द्वारा एसवाईजेड कंजेक्टर का प्रारंभिक प्रस्ताव यथार्थ गणितीय कथन के रूप में नहीं दिया गया था।<ref name=SYZ /> एसवाईजेड कंजेक्टर के गणितीय समाधान का एक भाग, कुछ अर्थों में, कंजेक्टर के कथन को सही प्रणाली से तैयार करना है। गणितीय साहित्य में कंजेक्टर के यथार्थ कथन पर कोई सहमति नहीं है, किन्तु यह एक सामान्य कथन है जिसके कंजेक्टर के सही सूत्रीकरण के निकट होने की अपेक्षा है, जिसे यहां प्रस्तुत किया गया है।<ref name=mirrorsymmetrybook>Gross, M., Huybrechts, D. and Joyce, D., 2012. Calabi-Yau manifolds and related geometries: lectures at a summer school in Nordfjordeid, Norway, June 2001. Springer Science & Business Media.</ref><ref>Gross, M., 2012. Mirror symmetry and the Strominger-Yau-Zaslow conjecture. Current Developments in Mathematics, 2012(1), pp.133-191.</ref> यह कथन मिरर सिमेट्री की टोपोलॉजिकल छवि पर जोर देता है, किन्तु मिरर जोड़े की जटिल और सहानुभूतिपूर्ण संरचनाओं के बीच संबंधों को यथार्थ रूप से चित्रित नहीं करता है, या इसमें सम्मिलित संबंधित [[ रीमैनियन मीट्रिक |रीमैनियन मेट्रिक्स]] का संदर्भ नहीं देता है।


<ब्लॉककोट> एसवाईजेड कंजेक्टर: प्रत्येक 6-आयामी कैलाबी-यॉ कई गुना <math>X</math> इसमें मिरर 6-आयामी कैलाबी-यॉ मैनिफोल्ड है <math>\hat{X}</math> ऐसे कि लगातार कयास लग रहे हैं <math>f: X\to B</math>, <math>\hat{f}:\hat{X} \to B</math> कॉम्पैक्ट टोपोलॉजिकल मैनिफोल्ड के लिए <math>B</math> आयाम 3 का, ऐसा कि
'''एसवाईजेड कंजेक्टर''': प्रत्येक 6-आयामी कैलाबी-याउ मैनिफोल्ड <math>X</math> में एक मिरर 6-आयामी कैलाबी-यॉ मैनिफोल्ड <math>\hat{X}</math> होता हैं जैसे कि आयाम 3 के एक कॉम्पैक्ट टोपोलॉजिकल मैनिफोल्ड <math>B</math> के लिए निरंतर प्रक्षेपण  <math>f: X\to B</math>, <math>\hat{f}:\hat{X} \to B</math> हैं, जैसे कि
# सघन खुला उपसमुच्चय मौजूद है <math>B_{\text{reg}}\subset B</math> जिस पर नक्शे हैं <math>f,\hat{f}</math> नॉनसिंगुलर विशेष लैग्रेंजियन सबमैनिफोल्ड टोरस#एन-डायमेंशनल_टोरस|3-टोरी द्वारा तंतु हैं। इसके अलावा हर बिंदु के लिए <math>b\in B_{\text{reg}}</math>, टोरस फाइबर <math>f^{-1}(b)</math> और <math>\hat{f}^{-1}(b)</math> Dual_abelian_variety के अनुरूप, कुछ अर्थों में दूसरे से डुअलिटी होना चाहिए।
# वहाँ एक सघन विवृत उपसमुच्चय <math>B_{\text{reg}}\subset B</math> उपस्थित है जिस पर माप <math>f,\hat{f}</math> नॉनसिंगुलर विशेष लैग्रेन्जियन 3-टोरी द्वारा फ़िब्रेशन हैं। इसके अतिरिक्त प्रत्येक बिंदु <math>b\in B_{\text{reg}}</math> के लिए, टोरस फाइबर <math>f^{-1}(b)</math> और <math>\hat{f}^{-1}(b)</math> को एबेलियन प्रकारों के डुअलिटी के अनुरूप कुछ अर्थों में एक दूसरे के लिए डुअल होना चाहिए।
# प्रत्येक के लिए <math>b\in B\backslash B_{\text{reg}}</math>, रेशे <math>f^{-1}(b)</math> और <math>\hat f^{-1}(b)</math> का एकवचन 3-आयामी विशेष लैग्रेंजियन सबमैनिफोल्ड होना चाहिए <math>X</math> और <math>\hat{X}</math> क्रमश।
# प्रत्येक <math>b\in B\backslash B_{\text{reg}}</math> के लिए, फाइबर <math>f^{-1}(b)</math> और <math>\hat f^{-1}(b)</math> क्रमशः <math>X</math> और <math>\hat{X}</math> के एकवचन 3-आयामी विशेष लैग्रेंजियन सबमैनिफोल्ड होने चाहिए।
</ब्लॉककोट>


[[File:Syzfibration.png|thumb|right|300px|विशेष लैग्रेंजियन टोरस फ़िब्रेशन का आरेख। के रेशे <math>f: X \to B</math> में अंक से अधिक <math>B_{\text{reg}}</math> 3-तोरी हैं, और एकवचन सेट पर <math>B\backslash B_{\text{reg}}</math> फाइबर संभवतः एकवचन विशेष लैग्रेंजियन सबमैनिफोल्ड हो सकता है <math>L</math>.]]जिस स्थिति में <math>B_{\text{reg}} = B</math> ताकि कोई एकवचन स्थान न हो, इसे एसवाईजेड कंजेक्टर की अर्ध-सपाट सीमा कहा जाता है, और इसे अक्सर टोरस फाइब्रेशन का वर्णन करने के लिए मॉडल स्थिति के रूप में उपयोग किया जाता है। एसवाईजेड कंजेक्टर को अर्ध-सपाट सीमाओं के कुछ सरल मामलों में दिखाया जा सकता है, उदाहरण के लिए एबेलियन किस्मों और [[K3 सतह]]ों द्वारा दिया गया है जो [[अण्डाकार वक्र]]ों द्वारा रेशेदार हैं।
[[File:Syzfibration.png|thumb|right|300px|विशेष लैग्रेंजियन टोरस फ़िब्रेशन का आरेख। के रेशे <math>f: X \to B</math> में अंक से अधिक <math>B_{\text{reg}}</math> 3-तोरी हैं, और एकवचन समुच्चय पर <math>B\backslash B_{\text{reg}}</math> फाइबर संभवतः एकवचन विशेष लैग्रेंजियन सबमैनिफोल्ड हो सकता है <math>L</math>.]]वह स्थिति जिसमें <math>B_{\text{reg}} = B</math> जिससे कोई एकवचन स्थान न हो, इसे एसवाईजेड कंजेक्टर की अर्ध-समतल सीमा कहा जाता है, और इसे अधिकांश टोरस फाइब्रेशन का वर्णन करने के लिए मॉडल स्थिति के रूप में उपयोग किया जाता है। एसवाईजेड कंजेक्टर को अर्ध-समतल सीमाओं के कुछ सरल स्थितियों में दिखाया जा सकता है, उदाहरण के लिए एबेलियन प्रकारों और [[K3 सतह|K3 सतहों]] द्वारा दिया गया है जो [[अण्डाकार वक्र|अण्डाकार वक्रों]] द्वारा फाइबर हैं।


यह उम्मीद की जाती है कि एसवाईजेड कंजेक्टर का सही सूत्रीकरण उपरोक्त कथन से कुछ भिन्न होगा। उदाहरण के लिए एकवचन सेट का संभावित व्यवहार <math>B\backslash B_{\text{reg}}</math> अच्छी तरह से समझा नहीं गया है, और यह सेट इसकी तुलना में काफी बड़ा हो सकता है <math>B</math>. मिरर सिमेट्री को भी अक्सर एकल कैलाबी-याउ के बजाय कैलाबी-याउ मैनिफोल्ड्स के पतित परिवारों के संदर्भ में व्यक्त किया जाता है, और कोई इस भाषा में एसवाईजेड कंजेक्टर को अधिक सटीक रूप से सुधारे जाने की उम्मीद कर सकता है।<ref name=mirrorsymmetrybook />
यह अपेक्षा की जाती है कि एसवाईजेड कंजेक्टर का सही सूत्रीकरण उपरोक्त कथन से कुछ भिन्न होगा। उदाहरण के लिए एकवचन समुच्चय <math>B\backslash B_{\text{reg}}</math> के संभावित व्यवहार को अच्छी तरह से समझा नहीं गया है, और यह समुच्चय <math>B</math> की तुलना में काफी बड़ा हो सकता है। मिरर सिमेट्री को भी अधिकांश एकल कैलाबी-याउ के अतिरिक्त कैलाबी-याउ मैनिफोल्ड्स के पतित परिवारों के संदर्भ में व्यक्त किया जाता है, और कोई इस लैंग्वेज में एसवाईजेड कंजेक्टर को अधिक यथार्थ रूप से सुधारे जाने की अपेक्षा कर सकता है।<ref name=mirrorsymmetrybook />




== समजात मिरर सिमेट्री अनुमान से संबंध ==
== होमोलोजिकल मिरर सिमेट्री कंजेक्टर से संबंध ==
एसवाईजेड मिरर सिमेट्री अनुमान, मिरर कैलाबी-याउ मैनिफोल्ड्स की हॉज संख्या से संबंधित मूल मिरर सिमेट्री अनुमान का संभावित शोधन है। दूसरा है मैक्सिम कोंटसेविच | कोंटसेविच का होमोलॉजिकल मिरर सिमेट्री (एचएमएस कंजेक्टर)ये दो अनुमान अलग-अलग तरीकों से मिरर सिमेट्री की भविष्यवाणियों को कूटबद्ध करते हैं: बीजगणितीय तरीके से होमोलॉजी मिरर सिमेट्री, और ज्यामितीय तरीके से एसवाईजेड कंजेक्टर।<ref>Bejleri, D., 2016, July. The SYZ conjecture via homological mirror symmetry. In ''Superschool on Derived Categories and D-branes'' (pp. 163-182). Springer, Cham.</ref> मिरर सिमेट्री की इन तीन व्याख्याओं के बीच संबंध होना चाहिए, लेकिन यह अभी तक ज्ञात नहीं है कि क्या उन्हें समकक्ष होना चाहिए या प्रस्ताव दूसरे से अधिक मजबूत है। कुछ मान्यताओं के तहत यह दिखाने की दिशा में प्रगति हुई है कि होमोलॉजिकल मिरर सिमेट्री का तात्पर्य हॉज सिद्धांतिक मिरर सिमेट्री से है।<ref>Ganatra, S., Perutz, T. and Sheridan, N., 2015. Mirror symmetry: from categories to curve counts. ''arXiv preprint arXiv:1510.03839''.</ref>
एसवाईजेड मिरर सिमेट्री कंजेक्टर, मिरर कैलाबी-याउ मैनिफोल्ड्स की हॉज संख्या से संबंधित मूल मिरर सिमेट्री कंजेक्टर का एक संभावित शोधन है। दूसरा कोंटसेविच का होमोलॉजिकल मिरर सिमेट्री कंजेक्टर (एचएमएस कंजेक्टर) है। ये दो कंजेक्टर भिन्न-भिन्न विधियो से मिरर सिमेट्री की भविष्यवाणियों को बीजगणितीय विधियां से होमोलॉजिकल मिरर सिमेट्री और ज्यामितीय विधि से एसवाईजेड कंजेक्टर को कूटबद्ध करते हैं।<ref>Bejleri, D., 2016, July. The SYZ conjecture via homological mirror symmetry. In ''Superschool on Derived Categories and D-branes'' (pp. 163-182). Springer, Cham.</ref>  
फिर भी, सरल सेटिंग्स में एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के स्पष्ट तरीके हैं। एचएमएस की मुख्य विशेषता यह है कि अनुमान मिरर ज्यामितीय स्थानों पर वस्तुओं (या तो सबमैनिफोल्ड्स या शीव्स) से संबंधित है, इसलिए एचएमएस कंजेक्टर को समझने या साबित करने की कोशिश करने के लिए आवश्यक इनपुट में ज्यामितीय स्थानों की मिरर जोड़ी शामिल है। एसवाईजेड कंजेक्टर भविष्यवाणी करता है कि ये मिरर जोड़े कैसे उत्पन्न होने चाहिए, और इसलिए जब भी एसवाईजेड मिरर जोड़ी मिलती है, तो इस जोड़ी पर एचएमएस कंजेक्टर को आजमाने और साबित करने के लिए यह अच्छा उम्मीदवार है।


एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के लिए अर्ध-सपाट सीमा में काम करना सुविधाजनक है। लैग्रेन्जियन टोरस फाइब्रेशन की जोड़ी की महत्वपूर्ण ज्यामितीय विशेषता <math>X,\hat X \to B</math> जो मिरर सिमेट्री को एन्कोड करता है वह फाइब्रेशन के दोहरे टोरस फाइबर है। लैग्रेंजियन टोरस दिया गया <math>T\subset X</math>, दोहरी टोरस [[जैकोबियन किस्म]] द्वारा दिया गया है <math>T</math>, निरूपित <math>\hat T = \mathrm{Jac}(T)</math>. यह फिर से उसी आयाम का टोरस है, और द्वंद्व इस तथ्य में कूटबद्ध है <math>\mathrm{Jac}(\mathrm{Jac}(T)) = T</math> इसलिए <math>T</math> और <math>\hat T</math> इस निर्माण के तहत वास्तव में दोहरे हैं। जैकोबियन किस्म <math>\hat T</math> लाइन बंडलों के मॉड्यूलि स्पेस के रूप में महत्वपूर्ण व्याख्या है <math>T</math>.
मिरर सिमेट्री की इन तीन व्याख्याओं के बीच एक संबंध होना चाहिए, किन्तु यह अभी तक ज्ञात नहीं है कि क्या उन्हें समकक्ष होना चाहिए या प्रस्ताव दूसरे से अधिक मजबूत है। कुछ मान्यताओं के अनुसार यह दिखाने की दिशा में प्रगति हुई है कि होमोलॉजिकल मिरर सिमेट्री का तात्पर्य हॉज सिद्धांतिक मिरर सिमेट्री से है।<ref>Ganatra, S., Perutz, T. and Sheridan, N., 2015. Mirror symmetry: from categories to curve counts. ''arXiv preprint arXiv:1510.03839''.</ref>


यह द्वंद्व और मूल टोरस पर शीव्स के मॉड्यूलि स्पेस के रूप में दोहरे टोरस की व्याख्या ही किसी को सबमैनिफोल्ड्स और सबशीव्स के डेटा को इंटरचेंज करने की अनुमति देती है। इस घटना के दो सरल उदाहरण हैं:
फिर भी, सरल सेटिंग्स में एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के स्पष्ट विधियां हैं। एचएमएस की मुख्य विशेषता यह है कि कंजेक्टर मिरर ज्यामितीय स्थानों पर वस्तुओं (या तो सबमैनिफोल्ड्स या शीव्स) से संबंधित है, इसलिए एचएमएस कंजेक्टर को समझने या सिद्ध करने के प्रयास करने के लिए आवश्यक इनपुट में ज्यामितीय स्थानों की मिरर जोड़ी सम्मिलित है। एसवाईजेड कंजेक्टर भविष्यवाणी करता है कि ये मिरर जोड़े कैसे उत्पन्न होने चाहिए, और इसलिए जब भी एसवाईजेड मिरर जोड़ी मिलती है, तो इस जोड़ी पर एचएमएस कंजेक्टर का अवलोकन और सिद्ध करने के लिए यह अच्छा उम्मीदवार है।


* अगर <math>p\in X</math> बिंदु है जो कुछ फाइबर के अंदर स्थित है <math>p\in T\subset X</math> विशेष लैग्रेंजियन टोरस फ़िब्रेशन का, तब से <math>T = \mathrm{Jac}(\hat T)</math>, बिंदु <math>p</math> समर्थित लाइन बंडल से मेल खाता है <math>\hat T \subset \hat X</math>. यदि कोई लैग्रेंजियन अनुभाग चुनता है <math>s: B \to X</math> ऐसा है कि <math>s(B)=L</math> का लैग्रेंजियन सबमैनिफोल्ड है <math>X</math>, तब से ठीक है <math>s</math> एसवाईजेड फाइब्रेशन के प्रत्येक टोरस फाइबर में बिंदु चुनता है, यह लैग्रेंजियन अनुभाग मिरर मैनिफोल्ड के प्रत्येक टोरस फाइबर पर समर्थित लाइन बंडल संरचना की पसंद के लिए मिरर दोहरी है <math>\hat X</math>, और परिणामस्वरूप कुल स्थान पर लाइन बंडल <math>\hat X</math>, मिरर मैनिफोल्ड की व्युत्पन्न श्रेणी में दिखने वाले [[सुसंगत शीफ]] का सबसे सरल उदाहरण। यदि मिरर टोरस फ़ाइब्रेशन अर्ध-सपाट सीमा में नहीं हैं, तो आधार के एकवचन सेट को पार करते समय विशेष ध्यान रखा जाना चाहिए <math>B</math>.
एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के लिए अर्ध-समतल सीमा में काम करना सुविधाजनक है। लैग्रेन्जियन टोरस फाइब्रेशन <math>X,\hat X \to B</math> की एक जोड़ी की महत्वपूर्ण ज्यामितीय विशेषता जो मिरर सिमेट्री को एन्कोड करता है, वह फाइब्रेशन के दोहरे टोरस फाइबर है। लैग्रेंजियन टोरस <math>T\subset X</math> को देखते हुए, डुअल टोरस <math>T</math> की [[जैकोबियन किस्म]] द्वारा दिया जाता है, जिसे <math>\hat T = \mathrm{Jac}(T)</math> द्वारा दर्शाया जाता है। यह फिर से उसी आयाम का टोरस है, और डुअलिटी इस तथ्य में कूटबद्ध है कि <math>\mathrm{Jac}(\mathrm{Jac}(T)) = T</math> इसलिए इस निर्माण के अनुसार <math>T</math> और <math>\hat T</math> वास्तवविक में दोहरे हैं। जैकोबियन किस्म <math>\hat T</math> की <math>T</math> लाइन बंडलों के मॉड्यूलि स्पेस के रूप में महत्वपूर्ण व्याख्या है।


* लैग्रैन्जियन सबमैनिफोल्ड का और उदाहरण टोरस फाइबर ही है, और कोई देखता है कि यदि पूरे टोरस को लैग्रैन्जियन के रूप में लिया जाता है <math>T\subset X</math>, इसके ऊपर सपाट एकात्मक रेखा बंडल के अतिरिक्त डेटा के साथ, जैसा कि होमोलॉजिकल मिरर सिमेट्री में अक्सर आवश्यक होता है, फिर दोहरे टोरस में <math>\hat T \subset \hat X</math> यह एकल बिंदु से मेल खाता है जो टोरस पर उस रेखा बंडल का प्रतिनिधित्व करता है। यदि कोई दोहरे टोरस में उस बिंदु पर समर्थित गगनचुंबी इमारत शीफ को लेता है, तो हम देखते हैं कि एसवाईजेड फाइब्रेशन के टोरस फाइबर मिरर टोरस फाइबर में बिंदुओं पर समर्थित गगनचुंबी इमारत शीफ में भेजे जाते हैं।
यह डुअलिटी और मूल टोरस पर शीव्स के मॉड्यूलि स्पेस के रूप में दोहरे टोरस की व्याख्या ही किसी को सबमैनिफोल्ड्स और सबशीव्स के डेटा को इंटरचेंज करने की अनुमति देती है। इस घटना के दो सरल उदाहरण हैं:


ये दो उदाहरण सबसे चरम प्रकार के सुसंगत शीफ, [[स्थानीय रूप से मुक्त शीफ]] (रैंक 1 का) और बिंदुओं पर समर्थित टॉर्सियन शीफ का उत्पादन करते हैं। अधिक सावधानी से निर्माण करके कोई सुसंगत शीफ के अधिक जटिल उदाहरण बना सकता है, जो [[मरोड़ निस्पंदन]] का उपयोग करके सुसंगत शीफ के निर्माण के समान है। सरल उदाहरण के रूप में, लैग्रैन्जियन मल्टीसेक्शन (के लैग्रैन्जियन सेक्शन का संघ) को मिरर मैनिफोल्ड पर रैंक के वेक्टर बंडल के लिए मिरर दोहरी होना चाहिए, लेकिन किसी को होलोमोर्फिक डिस्क की गिनती करके इंस्टेंटन सुधारों को ध्यान में रखना चाहिए जो कि से बंधे हैं [[ग्रोमोव-विटन सिद्धांत]] के अर्थ में मल्टीसेक्शन। इस तरह से यह समझने के लिए [[गणनात्मक ज्यामिति]] महत्वपूर्ण हो जाती है कि मिरर सिमेट्री दोहरी वस्तुओं को कैसे आपस में बदल देती है।
*यदि <math>p\in X</math> एक बिंदु है जो विशेष लैग्रेंजियन टोरस फाइब्रेशन के कुछ फाइबर <math>p\in T\subset X</math> के अंदर स्थित है, तो <math>T = \mathrm{Jac}(\hat T)</math> के बाद से, बिंदु  <math>p</math> <math>\hat T \subset \hat X</math> पर समर्थित एक लाइन बंडल से मेल खाता है। यदि कोई लैग्रेंजियन अनुभाग <math>s: B \to X</math> चुनता है जैसे कि <math>s(B)=L</math> <math>X</math> का एक लैग्रेंजियन सबमैनिफोल्ड है, तब से ठीक है क्योंकि <math>s</math> एसवाईजेड फाइब्रेशन के प्रत्येक टोरस फाइबर में बिंदु चुनता है, यह लैग्रेंजियन अनुभाग मिरर मैनिफोल्ड <math>\hat X</math> के प्रत्येक टोरस फाइबर पर समर्थित लाइन बंडल संरचना की पसंद के लिए मिरर डुअल है, और परिणामस्वरूप <math>\hat X</math> के कुल स्थान पर लाइन बंडल, मिरर मैनिफोल्ड की व्युत्पन्न श्रेणी में दिखने वाले [[सुसंगत शीफ|सुसंगत शीव्स]] का सबसे सरल उदाहरण हैं। यदि मिरर टोरस फ़ाइब्रेशन अर्ध-समतल सीमा में नहीं हैं, तो आधार <math>B</math> के एकवचन समुच्चय को पार करते समय विशेष ध्यान रखा जाना चाहिए।


एसवाईजेड कंजेक्टर में मिरर तंतुओं की ज्यामिति को गणनात्मक अपरिवर्तकों की विस्तृत समझ और आधार के एकवचन सेट की संरचना के साथ जोड़कर <math>B</math>, लैग्रेंजियन सबमैनिफोल्ड्स से श्रेणियों की सिमेट्री का निर्माण करने के लिए फ़िब्रेशन की ज्यामिति का उपयोग करना संभव है <math>X</math> के सुसंगत ढेरों के लिए <math>\hat X</math>, वो नक्शा <math>\mathrm{Fuk}(X) \to \mathrm{D}^b \mathrm{Coh}(\hat X)</math>. टोरस तंतुओं के द्वंद्व का उपयोग करके इसी चर्चा को उल्टा दोहराकर, कोई भी इसी तरह सुसंगत ढेरों को समझ सकता है <math>X</math> लैग्रेंजियन सबमैनिफोल्ड्स के संदर्भ में <math>\hat X</math>, और आशा है कि एचएमएस कंजेक्टर एसवाईजेड कंजेक्टर से कैसे संबंधित है, इसकी पूरी समझ प्राप्त होगी।
* लैग्रैन्जियन सबमैनिफोल्ड का और उदाहरण टोरस फाइबर ही है, और कोई देखता है कि यदि पूरे टोरस को लैग्रैन्जियन <math>T\subset X</math> के रूप में लिया जाता है, इसके ऊपर समतल एकात्मक रेखा बंडल के अतिरिक्त डेटा के साथ, जैसा कि होमोलॉजिकल मिरर सिमेट्री में अधिकांश आवश्यक होता है, फिर दोहरे टोरस में <math>\hat T \subset \hat X</math> यह एकल बिंदु के सामान है जो टोरस पर उस रेखा बंडल का प्रतिनिधित्व करता है। यदि कोई दोहरे टोरस में उस बिंदु पर समर्थित गगनचुंबी इमारत शीव्स को लेता है, तो हम देखते हैं कि एसवाईजेड फाइब्रेशन के टोरस फाइबर मिरर टोरस फाइबर में बिंदुओं पर समर्थित गगनचुंबी इमारत शीव्स में भेजे जाते हैं।
 
ये दो उदाहरण सबसे चरम प्रकार के सुसंगत शीव्स, [[स्थानीय रूप से मुक्त शीफ|स्थानीय रूप से मुक्त शीव्स]] (रैंक 1 का) और बिंदुओं पर समर्थित टॉर्सियन शीव्स का उत्पादन करते हैं। अधिक सावधानी से निर्माण करके कोई सुसंगत शीव्स के अधिक जटिल उदाहरण बना सकता है, जो [[मरोड़ निस्पंदन|टॉर्सियन फिल्ट्रेशन]] का उपयोग करके सुसंगत शीव्स के निर्माण के समान है। सरल उदाहरण के रूप में, लैग्रैन्जियन मल्टीसेक्शन (''k'' लैग्रैन्जियन सेक्शन का संघ) को मिरर मैनिफोल्ड पर एक रैंक के वेक्टर बंडल के लिए मिरर डुअल होना चाहिए, लेकिन होलोमोर्फिक डिस्क की गिनती करके इंस्टेंटन सुधारों को ध्यान में रखना चाहिए जो कि [[ग्रोमोव-विटन सिद्धांत]] के अर्थ में मल्टीसेक्शन से बंधे हैं। इस प्रकार से यह समझने के लिए [[गणनात्मक ज्यामिति]] महत्वपूर्ण हो जाती है कि मिरर सिमेट्री डुअल वस्तुओं को कैसे आपस में बदल देती है।
 
एसवाईजेड कंजेक्टर में मिरर फाइबर्स की ज्यामिति को गणनात्मक अपरिवर्तकों की विस्तृत समझ और आधार <math>B</math> के एकवचन समुच्चय की संरचना के साथ जोड़कर, <math>X</math> के लैग्रेंजियन सबमैनिफोल्ड्स से <math>\hat X</math> मानचित्र <math>\mathrm{Fuk}(X) \to \mathrm{D}^b \mathrm{Coh}(\hat X)</math> के सुसंगत शीव्स तक श्रेणियों के सिमेट्री का निर्माण करने के लिए फाइबर की ज्यामिति का उपयोग करना संभव है। टोरस फाइबर्स के डुअलिटी का उपयोग करके इसी चर्चा को विपरीत दोहराकर, कोई <math>X</math> लैग्रेंजियन सबमैनिफोल्ड्स के संदर्भ में <math>\hat X</math> सुसंगत शीव्स को समझ सकता है, और आशा है कि एचएमएस कंजेक्टर एसवाईजेड कंजेक्टर से कैसे संबंधित है, इसकी पूरी समझ प्राप्त करने की अपेक्षा करता है।


== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
[[Category: स्ट्रिंग सिद्धांत]] [[Category: समरूपता]] [[Category: द्वैत सिद्धांत]] [[Category: अनुमान]]
   




Line 50: Line 52:
{{applied-math-stub}}
{{applied-math-stub}}


 
[[Category:All stub articles]]
 
[[Category:Applied mathematics stubs]]
[[Category: Machine Translated Page]]
[[Category:Created On 14/07/2023]]
[[Category:Created On 14/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:String theory stubs]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अनुमान]]
[[Category:द्वैत सिद्धांत]]
[[Category:समरूपता]]
[[Category:स्ट्रिंग सिद्धांत]]

Latest revision as of 10:37, 27 July 2023

एसवाईजेड कंजेक्टर मिरर सिमेट्री (स्ट्रिंग सिद्धांत) कंजेक्टर को समझने का एक प्रयास है, जो सैद्धांतिक भौतिकी और गणित में एक विवाद है। मूल कंजेक्टर एंड्रयू स्ट्रोमिंगर, शिंग-तुंग याउ और एरिक ज़स्लो द्वारा एक पेपर में प्रस्तावित किया गया था, जिसका शीर्षक मिरर सिमिट्री टी-डुअलिटी था।[1]

होमोलॉजी मिरर सिमेट्री कंजेक्टर के साथ, यह गणितीय शब्दों में मिरर सिमेट्री को समझने के लिए उपयोग किए जाने वाले सबसे अधिक खोजे गए उपकरणों में से है। जबकि होमोलॉजिकल मिरर सिमेट्री होमोलॉजिकल बीजगणित पर आधारित है, एसवाईजेड कंजेक्टर मिरर सिमेट्री का ज्यामितीय अनुभव है।

सूत्रीकरण

स्ट्रिंग सिद्धांत में, मिरर सिमेट्री प्रकार IIA और प्रकार IIB सिद्धांतों से संबंधित है। यह भविष्यवाणी करता है कि प्रकार IIA और प्रकार IIB का प्रभावी क्षेत्र सिद्धांत समान होना चाहिए यदि दोनों सिद्धांतों को मिरर जोड़ी मैनिफोल्ड्स पर संकुचित किया जाता है।

एसवाईजेड कंजेक्टर मिरर सिमेट्री का अनुभव करने के लिए इस तथ्य का उपयोग करता है। यह X पर संकलित प्रकार IIA सिद्धांतों की बीपीएस स्थितियों पर विचार करने से प्रारंभ होता है, विशेष रूप से 0-ब्रान जिनमें मॉड्यूलि स्पेस X होता है। यह ज्ञात है कि Y पर संकलित प्रकार IIB सिद्धांतों की सभी बीपीएस स्थितियां 3-ब्रान हैं। इसलिए, मिरर सिमेट्री प्रकार IIA सिद्धांतों के 0-ब्रान को प्रकार IIB सिद्धांतों के 3-ब्रान के उपसमूह में माप करेगी।

सुपरसिमेट्रिक स्थितियों पर विचार करके, यह दिखाया गया है कि ये 3-ब्रान विशेष लैग्रेंजियन सबमैनिफोल्ड्स होने चाहिए।[2][3] दूसरी ओर, टी-डुअलिटी इस स्थिति में समान परिवर्तन करता है, इस प्रकार मिरर सिमेट्री टी-डुअलिटी है।

गणितीय कथन

स्ट्रोमिंगर, याउ और ज़ास्लो द्वारा एसवाईजेड कंजेक्टर का प्रारंभिक प्रस्ताव यथार्थ गणितीय कथन के रूप में नहीं दिया गया था।[1] एसवाईजेड कंजेक्टर के गणितीय समाधान का एक भाग, कुछ अर्थों में, कंजेक्टर के कथन को सही प्रणाली से तैयार करना है। गणितीय साहित्य में कंजेक्टर के यथार्थ कथन पर कोई सहमति नहीं है, किन्तु यह एक सामान्य कथन है जिसके कंजेक्टर के सही सूत्रीकरण के निकट होने की अपेक्षा है, जिसे यहां प्रस्तुत किया गया है।[4][5] यह कथन मिरर सिमेट्री की टोपोलॉजिकल छवि पर जोर देता है, किन्तु मिरर जोड़े की जटिल और सहानुभूतिपूर्ण संरचनाओं के बीच संबंधों को यथार्थ रूप से चित्रित नहीं करता है, या इसमें सम्मिलित संबंधित रीमैनियन मेट्रिक्स का संदर्भ नहीं देता है।

एसवाईजेड कंजेक्टर: प्रत्येक 6-आयामी कैलाबी-याउ मैनिफोल्ड में एक मिरर 6-आयामी कैलाबी-यॉ मैनिफोल्ड होता हैं जैसे कि आयाम 3 के एक कॉम्पैक्ट टोपोलॉजिकल मैनिफोल्ड के लिए निरंतर प्रक्षेपण , हैं, जैसे कि

  1. वहाँ एक सघन विवृत उपसमुच्चय उपस्थित है जिस पर माप नॉनसिंगुलर विशेष लैग्रेन्जियन 3-टोरी द्वारा फ़िब्रेशन हैं। इसके अतिरिक्त प्रत्येक बिंदु के लिए, टोरस फाइबर और को एबेलियन प्रकारों के डुअलिटी के अनुरूप कुछ अर्थों में एक दूसरे के लिए डुअल होना चाहिए।
  2. प्रत्येक के लिए, फाइबर और क्रमशः और के एकवचन 3-आयामी विशेष लैग्रेंजियन सबमैनिफोल्ड होने चाहिए।
विशेष लैग्रेंजियन टोरस फ़िब्रेशन का आरेख। के रेशे में अंक से अधिक 3-तोरी हैं, और एकवचन समुच्चय पर फाइबर संभवतः एकवचन विशेष लैग्रेंजियन सबमैनिफोल्ड हो सकता है .

वह स्थिति जिसमें जिससे कोई एकवचन स्थान न हो, इसे एसवाईजेड कंजेक्टर की अर्ध-समतल सीमा कहा जाता है, और इसे अधिकांश टोरस फाइब्रेशन का वर्णन करने के लिए मॉडल स्थिति के रूप में उपयोग किया जाता है। एसवाईजेड कंजेक्टर को अर्ध-समतल सीमाओं के कुछ सरल स्थितियों में दिखाया जा सकता है, उदाहरण के लिए एबेलियन प्रकारों और K3 सतहों द्वारा दिया गया है जो अण्डाकार वक्रों द्वारा फाइबर हैं।

यह अपेक्षा की जाती है कि एसवाईजेड कंजेक्टर का सही सूत्रीकरण उपरोक्त कथन से कुछ भिन्न होगा। उदाहरण के लिए एकवचन समुच्चय के संभावित व्यवहार को अच्छी तरह से समझा नहीं गया है, और यह समुच्चय की तुलना में काफी बड़ा हो सकता है। मिरर सिमेट्री को भी अधिकांश एकल कैलाबी-याउ के अतिरिक्त कैलाबी-याउ मैनिफोल्ड्स के पतित परिवारों के संदर्भ में व्यक्त किया जाता है, और कोई इस लैंग्वेज में एसवाईजेड कंजेक्टर को अधिक यथार्थ रूप से सुधारे जाने की अपेक्षा कर सकता है।[4]


होमोलोजिकल मिरर सिमेट्री कंजेक्टर से संबंध

एसवाईजेड मिरर सिमेट्री कंजेक्टर, मिरर कैलाबी-याउ मैनिफोल्ड्स की हॉज संख्या से संबंधित मूल मिरर सिमेट्री कंजेक्टर का एक संभावित शोधन है। दूसरा कोंटसेविच का होमोलॉजिकल मिरर सिमेट्री कंजेक्टर (एचएमएस कंजेक्टर) है। ये दो कंजेक्टर भिन्न-भिन्न विधियो से मिरर सिमेट्री की भविष्यवाणियों को बीजगणितीय विधियां से होमोलॉजिकल मिरर सिमेट्री और ज्यामितीय विधि से एसवाईजेड कंजेक्टर को कूटबद्ध करते हैं।[6]

मिरर सिमेट्री की इन तीन व्याख्याओं के बीच एक संबंध होना चाहिए, किन्तु यह अभी तक ज्ञात नहीं है कि क्या उन्हें समकक्ष होना चाहिए या प्रस्ताव दूसरे से अधिक मजबूत है। कुछ मान्यताओं के अनुसार यह दिखाने की दिशा में प्रगति हुई है कि होमोलॉजिकल मिरर सिमेट्री का तात्पर्य हॉज सिद्धांतिक मिरर सिमेट्री से है।[7]

फिर भी, सरल सेटिंग्स में एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के स्पष्ट विधियां हैं। एचएमएस की मुख्य विशेषता यह है कि कंजेक्टर मिरर ज्यामितीय स्थानों पर वस्तुओं (या तो सबमैनिफोल्ड्स या शीव्स) से संबंधित है, इसलिए एचएमएस कंजेक्टर को समझने या सिद्ध करने के प्रयास करने के लिए आवश्यक इनपुट में ज्यामितीय स्थानों की मिरर जोड़ी सम्मिलित है। एसवाईजेड कंजेक्टर भविष्यवाणी करता है कि ये मिरर जोड़े कैसे उत्पन्न होने चाहिए, और इसलिए जब भी एसवाईजेड मिरर जोड़ी मिलती है, तो इस जोड़ी पर एचएमएस कंजेक्टर का अवलोकन और सिद्ध करने के लिए यह अच्छा उम्मीदवार है।

एसवाईजेड और एचएमएस कंजेक्टर्स को जोड़ने के लिए अर्ध-समतल सीमा में काम करना सुविधाजनक है। लैग्रेन्जियन टोरस फाइब्रेशन की एक जोड़ी की महत्वपूर्ण ज्यामितीय विशेषता जो मिरर सिमेट्री को एन्कोड करता है, वह फाइब्रेशन के दोहरे टोरस फाइबर है। लैग्रेंजियन टोरस को देखते हुए, डुअल टोरस की जैकोबियन किस्म द्वारा दिया जाता है, जिसे द्वारा दर्शाया जाता है। यह फिर से उसी आयाम का टोरस है, और डुअलिटी इस तथ्य में कूटबद्ध है कि इसलिए इस निर्माण के अनुसार और वास्तवविक में दोहरे हैं। जैकोबियन किस्म की लाइन बंडलों के मॉड्यूलि स्पेस के रूप में महत्वपूर्ण व्याख्या है।

यह डुअलिटी और मूल टोरस पर शीव्स के मॉड्यूलि स्पेस के रूप में दोहरे टोरस की व्याख्या ही किसी को सबमैनिफोल्ड्स और सबशीव्स के डेटा को इंटरचेंज करने की अनुमति देती है। इस घटना के दो सरल उदाहरण हैं:

  • यदि एक बिंदु है जो विशेष लैग्रेंजियन टोरस फाइब्रेशन के कुछ फाइबर के अंदर स्थित है, तो के बाद से, बिंदु पर समर्थित एक लाइन बंडल से मेल खाता है। यदि कोई लैग्रेंजियन अनुभाग चुनता है जैसे कि का एक लैग्रेंजियन सबमैनिफोल्ड है, तब से ठीक है क्योंकि एसवाईजेड फाइब्रेशन के प्रत्येक टोरस फाइबर में बिंदु चुनता है, यह लैग्रेंजियन अनुभाग मिरर मैनिफोल्ड के प्रत्येक टोरस फाइबर पर समर्थित लाइन बंडल संरचना की पसंद के लिए मिरर डुअल है, और परिणामस्वरूप के कुल स्थान पर लाइन बंडल, मिरर मैनिफोल्ड की व्युत्पन्न श्रेणी में दिखने वाले सुसंगत शीव्स का सबसे सरल उदाहरण हैं। यदि मिरर टोरस फ़ाइब्रेशन अर्ध-समतल सीमा में नहीं हैं, तो आधार के एकवचन समुच्चय को पार करते समय विशेष ध्यान रखा जाना चाहिए।
  • लैग्रैन्जियन सबमैनिफोल्ड का और उदाहरण टोरस फाइबर ही है, और कोई देखता है कि यदि पूरे टोरस को लैग्रैन्जियन के रूप में लिया जाता है, इसके ऊपर समतल एकात्मक रेखा बंडल के अतिरिक्त डेटा के साथ, जैसा कि होमोलॉजिकल मिरर सिमेट्री में अधिकांश आवश्यक होता है, फिर दोहरे टोरस में यह एकल बिंदु के सामान है जो टोरस पर उस रेखा बंडल का प्रतिनिधित्व करता है। यदि कोई दोहरे टोरस में उस बिंदु पर समर्थित गगनचुंबी इमारत शीव्स को लेता है, तो हम देखते हैं कि एसवाईजेड फाइब्रेशन के टोरस फाइबर मिरर टोरस फाइबर में बिंदुओं पर समर्थित गगनचुंबी इमारत शीव्स में भेजे जाते हैं।

ये दो उदाहरण सबसे चरम प्रकार के सुसंगत शीव्स, स्थानीय रूप से मुक्त शीव्स (रैंक 1 का) और बिंदुओं पर समर्थित टॉर्सियन शीव्स का उत्पादन करते हैं। अधिक सावधानी से निर्माण करके कोई सुसंगत शीव्स के अधिक जटिल उदाहरण बना सकता है, जो टॉर्सियन फिल्ट्रेशन का उपयोग करके सुसंगत शीव्स के निर्माण के समान है। सरल उदाहरण के रूप में, लैग्रैन्जियन मल्टीसेक्शन (k लैग्रैन्जियन सेक्शन का संघ) को मिरर मैनिफोल्ड पर एक रैंक के वेक्टर बंडल के लिए मिरर डुअल होना चाहिए, लेकिन होलोमोर्फिक डिस्क की गिनती करके इंस्टेंटन सुधारों को ध्यान में रखना चाहिए जो कि ग्रोमोव-विटन सिद्धांत के अर्थ में मल्टीसेक्शन से बंधे हैं। इस प्रकार से यह समझने के लिए गणनात्मक ज्यामिति महत्वपूर्ण हो जाती है कि मिरर सिमेट्री डुअल वस्तुओं को कैसे आपस में बदल देती है।

एसवाईजेड कंजेक्टर में मिरर फाइबर्स की ज्यामिति को गणनात्मक अपरिवर्तकों की विस्तृत समझ और आधार के एकवचन समुच्चय की संरचना के साथ जोड़कर, के लैग्रेंजियन सबमैनिफोल्ड्स से मानचित्र के सुसंगत शीव्स तक श्रेणियों के सिमेट्री का निर्माण करने के लिए फाइबर की ज्यामिति का उपयोग करना संभव है। टोरस फाइबर्स के डुअलिटी का उपयोग करके इसी चर्चा को विपरीत दोहराकर, कोई लैग्रेंजियन सबमैनिफोल्ड्स के संदर्भ में सुसंगत शीव्स को समझ सकता है, और आशा है कि एचएमएस कंजेक्टर एसवाईजेड कंजेक्टर से कैसे संबंधित है, इसकी पूरी समझ प्राप्त करने की अपेक्षा करता है।

संदर्भ

  1. 1.0 1.1 Strominger, Andrew; Yau, Shing-Tung; Zaslow, Eric (1996), "Mirror symmetry is T-duality", Nuclear Physics B, 479 (1–2): 243–259, arXiv:hep-th/9606040, Bibcode:1996NuPhB.479..243S, doi:10.1016/0550-3213(96)00434-8, S2CID 14586676.
  2. Becker, Katrin; Becker, Melanie; Strominger, Andrew (1995), "Fivebranes, membranes and non-perturbative string theory", Nuclear Physics B, 456 (1–2): 130–152, arXiv:hep-th/9507158, Bibcode:1995NuPhB.456..130B, doi:10.1016/0550-3213(95)00487-1, S2CID 14043557.
  3. Harvey, Reese; Lawson, H. Blaine, Jr. (1982), "Calibrated geometries", Acta Mathematica, 148 (1): 47–157, doi:10.1007/BF02392726{{citation}}: CS1 maint: multiple names: authors list (link).
  4. 4.0 4.1 Gross, M., Huybrechts, D. and Joyce, D., 2012. Calabi-Yau manifolds and related geometries: lectures at a summer school in Nordfjordeid, Norway, June 2001. Springer Science & Business Media.
  5. Gross, M., 2012. Mirror symmetry and the Strominger-Yau-Zaslow conjecture. Current Developments in Mathematics, 2012(1), pp.133-191.
  6. Bejleri, D., 2016, July. The SYZ conjecture via homological mirror symmetry. In Superschool on Derived Categories and D-branes (pp. 163-182). Springer, Cham.
  7. Ganatra, S., Perutz, T. and Sheridan, N., 2015. Mirror symmetry: from categories to curve counts. arXiv preprint arXiv:1510.03839.