सेरे द्वैत: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 8: Line 8:


===बीजगणितीय प्रमेय===
===बीजगणितीय प्रमेय===
मान लीजिए कि X क्षेत्र k के ऊपर विमा n की सहज विविधता है। 'विहित रेखा बंडल' को <math>K_X</math> को X पर एन-रूप के बंडल के रूप में परिभाषित करें, [[कोटैंजेंट बंडल|कोटिस्पर्श रेखा बंडल]] की शीर्ष बाहरी घात:
मान लीजिए कि X क्षेत्र k के ऊपर विमा n की सहज विविधता है। 'विहित रेखा बंडल' को <math>K_X</math> को X पर एन-रूप के बंडल के रूप में परिभाषित करें, [[कोटैंजेंट बंडल|कोटिस्पर्श रेखा बंडल]] के शीर्ष का बाह्य परिमाण:
:<math>K_X=\Omega^n_X={\bigwedge}^n(T^*X).</math>
:<math>K_X=\Omega^n_X={\bigwedge}^n(T^*X).</math>
इसके अतिरिक्त मान लीजिए कि X, k के ऊपर [[उचित रूपवाद]] (उदाहरण के लिए, प्रक्षेप्य विविधता) है। तब सेरे द्वैत कहता है: X और पूर्णांक i पर एक [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] E के लिए, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता
इसके अतिरिक्त मान लीजिए कि X, k के ऊपर [[उचित रूपवाद]] (उदाहरण के लिए, प्रक्षेप्य विविधता) है। तब सेरे द्वैत कहता है: X और पूर्णांक i पर एक [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] E के लिए, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता
Line 17: Line 17:
:<math>H^i(X,E)\times H^{n-i}(X,K_X\otimes E^{\ast})\to H^n(X,K_X)\to k.</math>
:<math>H^i(X,E)\times H^{n-i}(X,K_X\otimes E^{\ast})\to H^n(X,K_X)\to k.</math>
अनुरेख प्रतिचित्र [[डॉ कहलमज गर्भाशय|डे रहम सह समरूपता]] में समाकलन के सुसंगत शीफ सह समरूपता के लिए एनालॉग है।<ref>Huybrechts (2005), exercise 3.2.3.</ref>
अनुरेख प्रतिचित्र [[डॉ कहलमज गर्भाशय|डे रहम सह समरूपता]] में समाकलन के सुसंगत शीफ सह समरूपता के लिए एनालॉग है।<ref>Huybrechts (2005), exercise 3.2.3.</ref>
===विभेदक-ज्यामितीय प्रमेय===
===समाकलित-ज्यामितीय प्रमेय===
सेरे ने X (एक संहत [[ जटिल अनेक गुना |सम्मिश्र कई गुना]] ) और E (एक [[होलोमोर्फिक वेक्टर बंडल|होलोमोर्फिक सदिश बंडल]]) के लिए भी समान द्वैत कथन सिद्ध किया था।<ref>Serre (1955); Huybrechts (2005), Proposition 4.1.15.</ref> यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, [[रीमैनियन मीट्रिक]] से सुसज्जित संहत मिश्रित कई गुना <math>X</math> पर , [[हॉज स्टार ऑपरेटर|हॉज स्टार संक्रियक]]
सेरे ने X (एक संहत [[ जटिल अनेक गुना |सम्मिश्र कई गुना]] ) और E (एक [[होलोमोर्फिक वेक्टर बंडल|होलोमोर्फिक सदिश बंडल]]) के लिए भी समान द्वैत कथन सिद्ध किया था।<ref>Serre (1955); Huybrechts (2005), Proposition 4.1.15.</ref> यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, [[रीमैनियन मीट्रिक]] से सुसज्जित संहत मिश्रित कई गुना <math>X</math> पर , [[हॉज स्टार ऑपरेटर|हॉज स्टार संक्रियक]]


:<math>\star: \Omega^p(X) \to \Omega^{2n-p}(X),</math>
:<math>\star: \Omega^p(X) \to \Omega^{2n-p}(X),</math>
है, जहां <math>\dim_{\mathbb{C}} X = n</math>। इसके अतिरिक्त, चूंकि <math>X</math> सम्मिश्र है, [[जटिल विभेदक रूप|सम्मिश्र विभेदक रूपों]] को <math>(p,q)</math> प्रकार के रूपों में विभाजित किया जाता है। हॉज स्टार संक्रियक (सम्मिश्र-रैखिक रूप से सम्मिश्र-मानित अंतर रूपों तक विस्तारित) इस श्रेणीकरण के साथ
है, जहां <math>\dim_{\mathbb{C}} X = n</math>। इसके अतिरिक्त, चूंकि <math>X</math> सम्मिश्र है, [[जटिल विभेदक रूप|सम्मिश्र समाकलित रूपों]] को <math>(p,q)</math> प्रकार के रूपों में विभाजित किया जाता है। हॉज स्टार संक्रियक (सम्मिश्र-रैखिक रूप से सम्मिश्र-मानित अंतर रूपों तक विस्तारित) इस श्रेणीकरण के साथ


:<math>\star: \Omega^{p,q}(X) \to \Omega^{n-q,n-p}(X)</math> के रूप में परस्पर क्रिया करता है।
:<math>\star: \Omega^{p,q}(X) \to \Omega^{n-q,n-p}(X)</math> के रूप में परस्पर क्रिया करता है।
ध्यान दें कि होलोमोर्फिक और प्रति-होलोमोर्फिक सूचकांकों ने स्थान बदल लिया है। सम्मिश्र विभेदक रूपों पर संयुग्मन होता है जो प्रकार <math>(p,q)</math> और <math>(q,p)</math> के रूपों का आदान-प्रदान करता है , और यदि कोई <math>\bar{\star}\omega = \star \bar{\omega}</math> द्वारा संयुग्म-रेखीय हॉज स्टार संक्रियक को परिभाषित करता है तो हमारे निकट
ध्यान दें कि होलोमोर्फिक और प्रति-होलोमोर्फिक सूचकांकों ने स्थान बदल लिया है। सम्मिश्र समाकलित रूपों पर संयुग्मन होता है जो प्रकार <math>(p,q)</math> और <math>(q,p)</math> के रूपों का आदान-प्रदान करता है , और यदि कोई <math>\bar{\star}\omega = \star \bar{\omega}</math> द्वारा संयुग्म-रेखीय हॉज स्टार संक्रियक को परिभाषित करता है तो हमारे निकट


:<math>\bar{\star} : \Omega^{p,q}(X) \to \Omega^{n-p,n-q}(X)</math> होता है।
:<math>\bar{\star} : \Omega^{p,q}(X) \to \Omega^{n-p,n-q}(X)</math> होता है।
संयुग्म-रेखीय हॉज स्टार का उपयोग करके, कोई सम्मिश्र अंतर रूपों पर [[हर्मिटियन]] <math>L^2</math>- आंतरिक गुणनफल को
संयुग्म-रेखीय हॉज स्टार का उपयोग करके, कोई सम्मिश्र अंतर रूपों पर [[हर्मिटियन]] <math>L^2</math>- आंतरिक गुणनफल को
:<math>\langle \alpha, \beta \rangle_{L^2} = \int_X \alpha \wedge \bar{\star}\beta,</math>
:<math>\langle \alpha, \beta \rangle_{L^2} = \int_X \alpha \wedge \bar{\star}\beta,</math>
द्वारा परिभाषित कर सकता है, जहाँ अब <math>\alpha \wedge \bar{\star}\beta</math> एक <math>(n,n)</math>-रूपरूप है, और विशेष रूप से एक समिश्र-मानित <math>2n</math>-रूप है, और इसलिए इसे इसके विहित अभिविन्यास के संबंध में <math>X</math> पर समाकलित किया जा सकता है। इसके अतिरिक्त, मान लीजिए <math>(E,h)</math> हर्मिटियन होलोमोर्फिक सदिश बंडल है। फिर हर्मिटियन मीट्रिक <math>h</math> संयुग्म-रैखिक समरूपता देता है <math>E\cong E^*</math> बीच में <math>E</math> और इसका [[दोहरी वेक्टर बंडल|दोहरी सदिश बंडल]], मान लीजिए <math>\tau: E\to E^*</math>। परिभाषित <math>\bar{\star}_E (\omega \otimes s) = \bar{\star} \omega \otimes \tau(s)</math>, व्यक्ति समरूपता प्राप्त करता है
द्वारा परिभाषित कर सकता है, जहाँ अब <math>\alpha \wedge \bar{\star}\beta</math> एक <math>(n,n)</math>-रूपरूप है, और विशेष रूप से एक समिश्र-मानित <math>2n</math>-रूप है, और इसलिए इसे इसके विहित अभिविन्यास के संबंध में <math>X</math> पर समाकलित किया जा सकता है। इसके अतिरिक्त, मान लीजिए <math>(E,h)</math> हर्मिटियन होलोमोर्फिक सदिश बंडल है। फिर हर्मिटियन मीट्रिक <math>h</math>, <math>E\cong E^*</math> और इसके [[दोहरी वेक्टर बंडल|दोहरी सदिश बंडल]] मान लीजिए <math>\tau: E\to E^*</math> के बीच एक संयुग्म-रैखिक समरूपता <math>E</math> देता है।<math>\bar{\star}_E (\omega \otimes s) = \bar{\star} \omega \otimes \tau(s)</math> को परिभाषित करते हुए, एक समरूपता


:<math>\bar{\star}_E : \Omega^{p,q}(X,E) \to \Omega^{n-p,n-q}(X,E^*)</math>
:<math>\bar{\star}_E : \Omega^{p,q}(X,E) \to \Omega^{n-p,n-q}(X,E^*)</math>
कहाँ <math>\Omega^{p,q}(X,E)= \Omega^{p,q}(X) \otimes \Gamma(E)</math> सहज से मिलकर बनता है <math>E</math>-मानित सम्मिश्र विभेदक रूप। के बीच युग्म का उपयोग करना <math>E</math> और <math>E^*</math> द्वारा दिए गए <math>\tau</math> और <math>h</math>, इसलिए कोई हर्मिटियन को परिभाषित कर सकता है <math>L^2</math>-ऐसे पर आंतरिक गुणनफल <math>E</math>-मानित प्रपत्र द्वारा
प्राप्त होता है जहां <math>\Omega^{p,q}(X,E)= \Omega^{p,q}(X) \otimes \Gamma(E)</math> में सहज <math>E</math>-मानित सम्मिश्र समाकलित रूप होते हैं। <math>E</math> और <math>E^*</math> द्वारा दिए गए <math>\tau</math> और <math>h</math> के बीच युग्मन का उपयोग करके, कोई
:<math>\langle \alpha, \beta \rangle_{L^2} = \int_X \alpha \wedge_h \bar{\star}_E \beta,</math>
:<math>\langle \alpha, \beta \rangle_{L^2} = \int_X \alpha \wedge_h \bar{\star}_E \beta,</math>
यहां कहां <math>\wedge_h</math> इसका अर्थ है विभेदक रूपों का पच्चर गुणनफल और बीच में युग्मन का उपयोग करना <math>E</math> और <math>E^*</math> द्वारा दिए गए <math>h</math>।
द्वारा ऐसे <math>E</math>-मानित रूपों पर एक हर्मिटियन <math>L^2</math>-आंतरिक गुणनफल को परिभाषित कर सकता है, जहां <math>\wedge_h</math> इसका अर्थ है समाकलित रूपों का मध्यग गुणनफल है और बीच युग्मन का उपयोग करना है <math>E</math> और <math>E^*</math> <math>h</math> द्वारा दिए गए हैं।


डॉल्बुल्ट सह समरूपता के लिए हॉज प्रमेय इस बात पर जोर देता है कि यदि हम परिभाषित करते हैं
'''डॉल्बुल्ट सह समरूपता के लिए हॉज प्रमेय''' पर बल देता है कि यदि हम


:<math>\Delta_{\bar{\partial}_E} = \bar{\partial}_E^* \bar{\partial}_E + \bar{\partial}_E \bar{\partial}_E^*</math>
:<math>\Delta_{\bar{\partial}_E} = \bar{\partial}_E^* \bar{\partial}_E + \bar{\partial}_E \bar{\partial}_E^*</math>  
कहाँ <math>\bar{\partial}_E</math> का डॉल्बुल्ट संचालक है <math>E</math> और <math>\bar{\partial}_E^*</math> तो, आंतरिक गुणनफल के संबंध में इसका औपचारिक जोड़ है
को परिभाषित करते हैं जहाँ <math>\bar{\partial}_E</math> <math>E</math> का डॉल्बुल्ट संक्रियक है और <math>\bar{\partial}_E^*</math> आंतरिक गुणनफल के संबंध में इसका औपचारिक मिलान है, फिर
:<math>H^{p,q}(X,E) \cong \mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X).</math>
:<math>H^{p,q}(X,E) \cong \mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X).</math>
बायीं ओर डोल्बौल्ट सह समरूपता है, और दायीं ओर हार्मोनिक का सदिश समष्टि है <math>E</math>-मानित विभेदक रूपों द्वारा परिभाषित
बायीं ओर डोल्बौल्ट सह समरूपता है, और दायीं ओर


:<math>\mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X) = \{\alpha \in \Omega^{p,q}(X,E) \mid \Delta_{\bar{\partial}_E} (\alpha) = 0\}.</math>
:<math>\mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X) = \{\alpha \in \Omega^{p,q}(X,E) \mid \Delta_{\bar{\partial}_E} (\alpha) = 0\}</math> हरात्मक <math>E</math>-मानित समाकलित रूपों की सदिश समष्टि है।
इस विवरण का उपयोग करते हुए, सेरे द्वैत प्रमेय को इस प्रकार कहा जा सकता है: समरूपता <math>\bar{\star}_E</math> सम्मिश्र रैखिक समरूपता उत्पन्न करता है
इस विवरण का उपयोग करते हुए, सेरे द्वैत प्रमेय को इस प्रकार कहा जा सकता है: समरूपता <math>\bar{\star}_E</math> सम्मिश्र रैखिक समरूपता


:<math>H^{p,q}(X,E) \cong H^{n-p,n-q}(X,E^*)^*.</math>
:<math>H^{p,q}(X,E) \cong H^{n-p,n-q}(X,E^*)^*</math> को प्रेरित करती है।
उपरोक्त हॉज सिद्धांत का उपयोग करके इसे आसानी से सिद्ध किया जा सकता है। अर्थात्, यदि <math>[\alpha]</math> में सह समरूपता कक्षा है <math>H^{p,q}(X,E)</math> अद्वितीय हार्मोनिक प्रतिनिधि के साथ <math>\alpha \in \mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X)</math>, तब
उपरोक्त हॉज सिद्धांत का उपयोग करके इसे सरलता से सिद्ध किया जा सकता है। अर्थात्, यदि <math>[\alpha]</math> अद्वितीय हरात्मक प्रतिनिधि <math>\alpha \in \mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X)</math> के साथ <math>H^{p,q}(X,E)</math> में सह समरूपता वर्ग है, तो


:<math>(\alpha, \bar{\star}_E \alpha) = \langle \alpha, \alpha \rangle_{L^2} \ge 0</math>
:<math>(\alpha, \bar{\star}_E \alpha) = \langle \alpha, \alpha \rangle_{L^2} \ge 0</math>
समानता के साथ यदि और केवल यदि <math>\alpha = 0</math>। विशेष रूप से, सम्मिश्र रैखिक युग्मन
समानता के साथ यदि और मात्र यदि <math>\alpha = 0</math> है। विशेष रूप से, <math>\mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X)</math> और <math>\mathcal{H}^{n-p,n-q}_{\Delta_{\bar{\partial}_{E^*}}} (X)</math> के बीच सम्मिश्र रैखिक युग्मन


:<math>(\alpha, \beta) = \int_X \alpha \wedge_h \beta</math>
:<math>(\alpha, \beta) = \int_X \alpha \wedge_h \beta</math>
बीच में <math>\mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X)</math> और <math>\mathcal{H}^{n-p,n-q}_{\Delta_{\bar{\partial}_{E^*}}} (X)</math> गैर-पतित है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।
गैर-विक्षिप्त है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।


बीजगणितीय समायोजन में सेरे द्वैत का कथन लेकर पुनः प्राप्त किया जा सकता है <math>p=0</math>, और डॉल्बुल्ट के प्रमेय को लागू करना, जो यह बताता है
बीजगणितीय समायोजन में सेरे द्वैत <math>p=0</math> का कथन लेकर पुनः प्राप्त किया जा सकता है , और डॉल्बुल्ट के प्रमेय को लागू करना है, जो यह बताता है कि


:<math>H^{p,q}(X,E) \cong H^q(X, \boldsymbol{\Omega}^p \otimes E)</math>
:<math>H^{p,q}(X,E) \cong H^q(X, \boldsymbol{\Omega}^p \otimes E)</math>
जहां बायीं ओर डॉल्बौल्ट सह समरूपता है और दाहिनी ओर शीफ सह समरूपता है, जहां <math>\boldsymbol{\Omega}^p
जहां बायीं ओर डॉल्बौल्ट सह समरूपता है और दाहिनी ओर शीफ सह समरूपता है, जहां <math>\boldsymbol{\Omega}^p
</math> होलोमोर्फिक के शीफ़ को दर्शाता है <math>(p,0)</math>-रूप। विशेष रूप से, हम प्राप्त करते हैं
</math> होलोमोर्फिक <math>(p,0)</math>-रूप के शीफ़ को दर्शाता है । विशेष रूप से, हम


:<math>H^q(X,E) \cong H^{0,q}(X,E) \cong H^{n,n-q}(X,E^*)^* \cong H^{n-q}(X, K_X \otimes E^*)^*</math>
:<math>H^q(X,E) \cong H^{0,q}(X,E) \cong H^{n,n-q}(X,E^*)^* \cong H^{n-q}(X, K_X \otimes E^*)^*</math>
जहां हमने होलोमोर्फिक के शीफ का उपयोग किया है <math>(n,0)</math>-forms केवल [[विहित बंडल]] है <math>X</math>।
प्राप्त करते हैं, जहां हमने उपयोग किया है कि होलोमोर्फिक <math>(n,0)</math>-रूप के शीफ मात्र <math>X</math> के [[विहित बंडल]] है ।


==[[बीजगणितीय वक्र]]==
==[[बीजगणितीय वक्र]]==
सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह [[कॉम्पैक्ट रीमैन सतह|संहत रीमैन सतह]]ों पर विचार करने के बराबर है।) क्षेत्र k के ऊपर चिकने प्रक्षेप्य वक्र <math>H^0(X,L)</math> और <math>H^1(X,L)</math>। सेरे द्वैत का वर्णन करता है <math>H^1</math> के संदर्भ में समूह <math>H^0</math> समूह (एक अलग रेखा बंडल के लिए)।<ref>For a curve, Serre duality is simpler but still nontrivial. One proof is given in Tate (1968).</ref> चूँकि, यह अधिक ठोस है <math>H^0</math> रेखा बंडल का बस उसके अनुभागों का स्थान है।
सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह [[कॉम्पैक्ट रीमैन सतह|संहत रीमैन सतहों]] पर विचार करने के बराबर है।) क्षेत्र k पर सहज प्रक्षेप्य वक्र X पर एक पंक्ति बंडल L के लिए एकमात्र संभावित गैर-शून्य सहसंयोजक समूह <math>H^0(X,L)</math> और <math>H^1(X,L)</math> हैं।। सेरे द्वैत <math>H^0</math> समूह (एक अलग रेखा बंडल के लिए) के संदर्भ में <math>H^1</math> समूह का वर्णन करता है।<ref>For a curve, Serre duality is simpler but still nontrivial. One proof is given in Tate (1968).</ref> यह अधिक ठोस है, क्योंकि एक रेखा बंडल का <math>H^0</math> केवल उसके अनुभागों की समष्टि है।


सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] जी के वक्र X पर डिग्री डी के रेखा बंडल एल के लिए, रीमैन-रोच प्रमेय कहता है कि
सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] g के वक्र X पर परिमाण D के रेखा बंडल L के लिए, रीमैन-रोच प्रमेय कहता है कि
:<math>h^0(X,L)-h^1(X,L)=d-g+1.</math>
:<math>h^0(X,L)-h^1(X,L)=d-g+1.</math>
सेरे द्वैत का उपयोग करते हुए, इसे और अधिक प्रारंभिक शब्दों में दोहराया जा सकता है:
सेरे द्वैत का उपयोग करते हुए, इसे और अधिक प्रारंभिक शब्दों में दोहराया जा सकता है:
:<math>h^0(X,L)-h^0(X,K_X\otimes L^*)=d-g+1.</math>
:<math>h^0(X,L)-h^0(X,K_X\otimes L^*)=d-g+1.</math>
बाद वाला कथन ([[भाजक (बीजगणितीय ज्यामिति)]] के संदर्भ में व्यक्त) वास्तव में 19वीं शताब्दी के प्रमेय का मूल संस्करण है। यह मुख्य उपकरण है जिसका उपयोग यह विश्लेषण करने के लिए किया जाता है कि किसी दिए गए वक्र को [[प्रक्षेप्य स्थान|प्रक्षेप्य समष्टि]] में कैसे एम्बेड किया जा सकता है और इसलिए बीजगणितीय वक्रों को वर्गीकृत किया जा सकता है।
बाद वाला कथन ([[भाजक (बीजगणितीय ज्यामिति)]] के संदर्भ में व्यक्त) वस्तुतः 19वीं शताब्दी के प्रमेय का मूल संस्करण है। यह मुख्य उपकरण है जिसका उपयोग यह विश्लेषण करने के लिए किया जाता है कि किसी दिए गए वक्र को [[प्रक्षेप्य स्थान|प्रक्षेप्य समष्टि]] में कैसे अंतःस्थापित किया जा सकता है और इसलिए बीजगणितीय वक्रों को वर्गीकृत किया जा सकता है।


उदाहरण: ऋणात्मक डिग्री वाले रेखा बंडल का प्रत्येक वैश्विक खंड शून्य है। इसके अतिरिक्त, विहित बंडल की डिग्री है <math>2g-2</math>। इसलिए, रीमैन-रोच का तात्पर्य है कि डिग्री के रेखा बंडल एल के लिए <math>d>2g-2</math>, <math>h^0(X,L)</math> के बराबर है <math>d-g+1</math>। जब जीनस जी कम से कम 2 होता है, तो यह सेरे द्वैत का अनुसरण करता है <math>h^1(X,TX)=h^0(X,K_X^{\otimes 2})=3g-3</math>। यहाँ <math>H^1(X,TX)</math> X का प्रथम-क्रम [[विरूपण सिद्धांत]] है। यह दिखाने के लिए आवश्यक बुनियादी गणना है कि जीनस जी के वक्रों के मॉड्यूलि स्पेस में विमा है <math>3g-3</math>।
उदाहरण: ऋणात्मक परिमाण वाले रेखा बंडल के प्रत्येक वैश्विक खंड शून्य है। इसके अतिरिक्त, विहित बंडल <math>2g-2</math> का परिमाण है। इसलिए, रीमैन-रोच का तात्पर्य है कि एक रेखा बंडल के लिए परिमाण <math>d>2g-2</math>, <math>h^0(X,L)</math> का L, <math>d-g+1</math> के बराबर है। जब जीनस g कम से कम 2 होता है, तो यह सेरे द्वैत का अनुसरण करता है जो कि <math>h^1(X,TX)=h^0(X,K_X^{\otimes 2})=3g-3</math> है। यहाँ <math>H^1(X,TX)</math>, X का प्रथम-क्रम [[विरूपण सिद्धांत]] है। यह दिखाने के लिए आवश्यक मूलभूत गणना है कि जीनस g के वक्रों के मॉड्यूलि समष्टि की विमा <math>3g-3</math> है।


==[[सुसंगत ढेर]]ों के लिए क्रमिक द्वैत==
==[[सुसंगत ढेर|सुसंगत ढेरों]] के लिए क्रमिक द्वैत==
सेरे द्वैत का अन्य सूत्रीकरण केवल सदिश बंडलों के लिए नहीं, बल्कि सभी सुसंगत ढेरों के लिए है। सेरे द्वैत को सामान्य बनाने में पहले कदम के रूप में, ग्रोथेंडिक ने दिखाया कि यह संस्करण हल्की विलक्षणताओं वाली [[योजना (गणित)]] के लिए काम करता है, कोहेन-मैकाले रिंग|कोहेन-मैकाले योजनाएं, न कि केवल सहज योजनाएं।
सेरे द्वैत का अन्य सूत्रीकरण मात्र सदिश बंडलों के लिए नहीं, बल्कि सभी सुसंगत ढेरों के लिए है। सेरे द्वैत को सामान्य बनाने में पहले कदम के रूप में, ग्रोथेंडिक ने दिखाया कि यह संस्करण हल्की विलक्षणताओं वाली [[योजना (गणित)]] के लिए काम करता है, कोहेन-मैकाले रिंग|कोहेन-मैकाले योजनाएं, न कि मात्र सहज योजनाएं।


अर्थात्, क्षेत्र k पर शुद्ध विमा n की कोहेन-मैकाले योजना X के लिए, ग्रोथेंडिक ने सुसंगत शीफ को परिभाषित किया <math>\omega_X</math> X पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <math>K_X</math>।) इसके अतिरिक्त मान लीजिए कि X, k के ठीक ऊपर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि प्राकृतिक समरूपता है
अर्थात्, क्षेत्र k पर शुद्ध विमा n की कोहेन-मैकाले योजना X के लिए, ग्रोथेंडिक ने सुसंगत शीफ को परिभाषित किया <math>\omega_X</math> X पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <math>K_X</math>।) इसके अतिरिक्त मान लीजिए कि X, k के ठीक ऊपर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि प्राकृतिक समरूपता है
Line 88: Line 88:
इस मामले में, X कोहेन-मैकाले योजना है <math>\omega_X</math> रेखा बंडल, जो कहता है कि X [[गोरेन्स्टीन योजना]] है।
इस मामले में, X कोहेन-मैकाले योजना है <math>\omega_X</math> रेखा बंडल, जो कहता है कि X [[गोरेन्स्टीन योजना]] है।


उदाहरण: मान लीजिए कि प्रक्षेप्य स्थान में X पूर्ण प्रतिच्छेदन है <math>{\mathbf P}^n</math> सजातीय बहुपदों द्वारा परिभाषित क्षेत्र k पर <math>f_1,\ldots,f_r</math> डिग्रियों का <math>d_1,\ldots,d_r</math>। (यह कहने का अर्थ है कि यह पूर्ण प्रतिच्छेदन है कि X का विमा है <math>n-r</math>।) रेखा बंडल O(d) पर हैं <math>{\mathbf P}^n</math> पूर्णांक d के लिए, इस गुण के साथ कि घात d के सजातीय बहुपदों को O(d) के अनुभागों के रूप में देखा जा सकता है। फिर X का दोहरीकरण शीफ रेखा बंडल है
उदाहरण: मान लीजिए कि प्रक्षेप्य स्थान में X पूर्ण प्रतिच्छेदन है <math>{\mathbf P}^n</math> सजातीय बहुपदों द्वारा परिभाषित क्षेत्र k पर <math>f_1,\ldots,f_r</math> डिग्रियों का <math>d_1,\ldots,d_r</math>। (यह कहने का अर्थ है कि यह पूर्ण प्रतिच्छेदन है कि X का विमा है <math>n-r</math>।) रेखा बंडल O(d) पर हैं <math>{\mathbf P}^n</math> पूर्णांक d के लिए, इस गुण के साथ कि परिमाण d के सजातीय बहुपदों को O(d) के अनुभागों के रूप में देखा जा सकता है। फिर X का दोहरीकरण शीफ रेखा बंडल है
:<math>\omega_X=O(d_1+\cdots+d_r-n-1)|_X,</math>
:<math>\omega_X=O(d_1+\cdots+d_r-n-1)|_X,</math>
योजक सूत्र द्वारा। उदाहरण के लिए, डिग्री d के समतल वक्र X का दोहरीकरण शीफ है <math>O(d-3)|_X</math>।
योजक सूत्र द्वारा। उदाहरण के लिए, परिमाण d के समतल वक्र X का दोहरीकरण शीफ है <math>O(d-3)|_X</math>।


=== कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल ===
=== कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल ===
Line 97: Line 97:
==ग्रोथेंडिक द्वैत==
==ग्रोथेंडिक द्वैत==
{{main|Coherent duality}}
{{main|Coherent duality}}
ग्रोथेंडिक का [[सुसंगत द्वैत]] का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का व्यापक सामान्यीकरण है। क्षेत्र k पर परिमित प्रकार की किसी भी योजना X के लिए, वस्तु होती है <math>\omega_X^{\bullet}</math> X पर सुसंगत ढेरों की बंधी हुई व्युत्पन्न श्रेणी का, <math>D^b_{\operatorname{coh}}(X)</math>, जिसे ''k'' के ऊपर ''X'' का दोहरीकरण मिश्रित कहा जाता है। औपचारिक रूप से, <math>\omega_X^{\bullet}</math> असाधारण व्युत्क्रम छवि फ़ैक्टर है <math>f^!O_Y</math>, जहां f दिया गया रूपवाद है <math>X\to Y=\operatorname{Spec}(k)</math>। जब X शुद्ध विमा n का कोहेन-मैकाले है, <math>\omega_X^{\bullet}</math> है <math>\omega_X[n]</math>; यानी, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (कोहोमोलॉजिकल) डिग्री -एन में सम्मिश्र के रूप में देखा जाता है। विशेष रूप से, जब X, k के ऊपर चिकना होता है, <math>\omega_X^{\bullet}</math> डिग्री −n में रखा गया विहित रेखा बंडल है।
ग्रोथेंडिक का [[सुसंगत द्वैत]] का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का व्यापक सामान्यीकरण है। क्षेत्र k पर परिमित प्रकार की किसी भी योजना X के लिए, वस्तु होती है <math>\omega_X^{\bullet}</math> X पर सुसंगत ढेरों की बंधी हुई व्युत्पन्न श्रेणी का, <math>D^b_{\operatorname{coh}}(X)</math>, जिसे ''k'' के ऊपर ''X'' का दोहरीकरण मिश्रित कहा जाता है। औपचारिक रूप से, <math>\omega_X^{\bullet}</math> असाधारण व्युत्क्रम छवि फ़ैक्टर है <math>f^!O_Y</math>, जहां f दिया गया रूपवाद है <math>X\to Y=\operatorname{Spec}(k)</math>। जब X शुद्ध विमा n का कोहेन-मैकाले है, <math>\omega_X^{\bullet}</math> है <math>\omega_X[n]</math>; यानी, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (कोहोमोलॉजिकल) परिमाण -एन में सम्मिश्र के रूप में देखा जाता है। विशेष रूप से, जब X, k के ऊपर चिकना होता है, <math>\omega_X^{\bullet}</math> परिमाण −n में रखा गया विहित रेखा बंडल है।


दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता है
दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता है

Revision as of 21:23, 12 July 2023

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

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

सेरे द्वैत की ये दो अलग-अलग व्याख्याएं डॉल्बौल्ट के प्रमेय के अनुप्रयोग द्वारा डॉल्बौल्ट सह समरूपता से संबंधित शीफ सह समरूपता गैर-विलक्षण प्रक्षेपी सम्मिश्र बीजगणितीय प्रकारों के लिए मेल खाती हैं।

सदिश बंडलों के लिए क्रमिक द्वैत

बीजगणितीय प्रमेय

मान लीजिए कि X क्षेत्र k के ऊपर विमा n की सहज विविधता है। 'विहित रेखा बंडल' को को X पर एन-रूप के बंडल के रूप में परिभाषित करें, कोटिस्पर्श रेखा बंडल के शीर्ष का बाह्य परिमाण:

इसके अतिरिक्त मान लीजिए कि X, k के ऊपर उचित रूपवाद (उदाहरण के लिए, प्रक्षेप्य विविधता) है। तब सेरे द्वैत कहता है: X और पूर्णांक i पर एक बीजगणितीय सदिश बंडल E के लिए, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता

है। यहाँ