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

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[बीजगणितीय ज्यामिति]] में, गणित की शाखा, सेरे द्वैत बीजगणितीय प्रकारों के सुसंगत शीफ सह समरूपता के लिए [[द्वैत (गणित)]] है, जिसे [[ जीन पियरे सेरे |जीन पियरे सेरे]] द्वारा सिद्ध किया गया है। मूल संस्करण सहज प्रक्षेप्य प्रकार पर [[वेक्टर बंडल|सदिश बंडलों]] पर लागू होता है, परन्तु [[अलेक्जेंडर ग्रोथेंडिक]] ने व्यापक सामान्यीकरण पाया, उदाहरण के लिए विलक्षण प्रकारों के लिए। ''एन''-विमीय विविधता पर, प्रमेय कहता है कि एक सह समरूपता समूह <math>H^i</math> दूसरे एक, <math>H^{n-i}</math> की दोहरी समष्टि है। सेरे द्वैत टोपोलॉजी में पोंकारे द्वैत के सुसंगत शीफ सह समरूपता के लिए एनालॉग है, जिसमें [[कैनोनिकल लाइन बंडल|विहित रेखा बंडल]] [[ओरिएंटेशन शीफ]] का स्थान लेता है।
[[बीजगणितीय ज्यामिति]] में, गणित की शाखा, '''सेरे द्वैत''' बीजगणितीय प्रकारों के सुसंगत शीफ सह समरूपता के लिए [[द्वैत (गणित)]] है, जिसे [[ जीन पियरे सेरे |जीन पियरे सेरे]] द्वारा सिद्ध किया गया है। मूल संस्करण सहज प्रक्षेप्य प्रकार पर [[वेक्टर बंडल|सदिश बंडलों]] पर लागू होता है, परन्तु [[अलेक्जेंडर ग्रोथेंडिक]] ने व्यापक सामान्यीकरण पाया, इस प्रकार से उदाहरण के लिए विलक्षण प्रकारों के लिए। ''एन''-विमीय विविधता पर, प्रमेय कहता है कि एक सह समरूपता समूह <math>H^i</math> दूसरे एक, <math>H^{n-i}</math> की दोहरी समष्टि है। सेरे द्वैत टोपोलॉजी में पोंकारे द्वैत के सुसंगत शीफ सह समरूपता के लिए एनालॉग है, जिसमें [[कैनोनिकल लाइन बंडल|विहित रेखा बंडल]] [[ओरिएंटेशन शीफ]] का स्थान लेता है।


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


===बीजगणितीय प्रमेय===
===बीजगणितीय प्रमेय===
मान लीजिए कि X क्षेत्र k के ऊपर विमा n की सहज विविधता है। 'विहित रेखा बंडल' को <math>K_X</math> को X पर एन-रूप के बंडल के रूप में परिभाषित करें, [[कोटैंजेंट बंडल|कोटिस्पर्श रेखा बंडल]] के शीर्ष का बाह्य परिमाण:
इस प्रकार से मान लीजिए कि X क्षेत्र k पर विमा n की सहज विविधता है। '''<nowiki/>'विहित रेखा बंडल'''' को <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-सदिश रिक्त समष्टि की प्राकृतिक समरूपता
:<math>H^i(X,E)\cong H^{n-i}(X,K_X\otimes E^{\ast})^{\ast}</math>
:<math>H^i(X,E)\cong H^{n-i}(X,K_X\otimes E^{\ast})^{\ast}</math>
है। यहाँ <math>\otimes</math> सदिश बंडलों के [[टेंसर उत्पाद|टेंसर गुणनफल]] को दर्शाता है। इससे यह निष्कर्ष निकलता है कि दो सह-समरूपता समूहों की विमा समान हैं:
है। इस प्रकार से यहाँ <math>\otimes</math> सदिश बंडलों के [[टेंसर उत्पाद|टेंसर गुणनफल]] को दर्शाता है। इससे यह निष्कर्ष निकलता है कि दो सह-समरूपता समूहों की विमा समान हैं:
:<math>h^i(X,E)=h^{n-i}(X,K_X\otimes E^{\ast}).</math>
:<math>h^i(X,E)=h^{n-i}(X,K_X\otimes E^{\ast}).</math>
पोंकारे द्वैत के जैसे, सेरे द्वैत में समरूपता शीफ ​​सह समरूपता में शीफ सह समरूपता कप गुणनफल से आती है। अर्थात्, <math>H^n(X,K_X)</math> पर प्राकृतिक अनुरेख प्रतिचित्र के साथ कप गुणनफल की संरचना आदर्श युग्मन है:
पोंकारे द्वैत के जैसे, सेरे द्वैत में समरूपता शीफ ​​सह समरूपता में शीफ सह समरूपता कप गुणनफल से आती है। अर्थात्, <math>H^n(X,K_X)</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>
:<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>
Line 24: Line 24:


:<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>\tau: E\to E^*</math> के बीच एक संयुग्म-रैखिक समरूपता <math>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>\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>E</math>-मानित रूपों पर एक हर्मिटियन <math>L^2</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>\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>\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> को प्रेरित करती है।
Line 55: Line 55:
गैर-विक्षिप्त है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।
गैर-विक्षिप्त है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।


बीजगणितीय समायोजन में सेरे द्वैत <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>
Line 67: Line 67:
सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह [[कॉम्पैक्ट रीमैन सतह|संहत रीमैन सतहों]] पर विचार करने के बराबर है।) क्षेत्र 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> केवल उसके अनुभागों की समष्टि है।
सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह [[कॉम्पैक्ट रीमैन सतह|संहत रीमैन सतहों]] पर विचार करने के बराबर है।) क्षेत्र 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> केवल उसके अनुभागों की समष्टि है।


सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] g के वक्र X पर परिमाण D के रेखा बंडल L के लिए, रीमैन-रोच प्रमेय कहता है कि
इस प्रकार से सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] 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> का 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> है।
इस प्रकार से उदाहरण के लिए: ऋणात्मक परिमाण वाले रेखा बंडल के प्रत्येक वैश्विक खंड शून्य है। इसके अतिरिक्त, विहित बंडल <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 के लिए, ग्रोथेंडिक ने X पर एक सुसंगत शीफ को <math>\omega_X</math> परिभाषित किया था, जिसे '''"दोहरीकरण" शीफ़''' कहा जाता है। (कुछ लेखक <math>K_X</math> को शीफ कहते हैं ।) इसके अतिरिक्त मान लीजिए कि X, k के पर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता
:<math>\operatorname{Ext}^i_X(E,\omega_X)\cong H^{n-i}(X,E)^*</math>
:<math>\operatorname{Ext}^i_X(E,\omega_X)\cong H^{n-i}(X,E)^*</math>
परिमित-विमीय k-सदिश रिक्त स्थान का।<ref>Hartshorne (1977), Theorem III.7.6.</ref> यहां [[एक्सट ऑपरेटर|एक्सट संक्रियक]] को मॉड्यूल के शीव्स की एबेलियन श्रेणी में लिया गया है<math>O_X</math>-मॉड्यूल। इसमें पिछला कथन भी शामिल है <math>\operatorname{Ext}^i_X(E,\omega_X)</math> के लिए समरूपी है <math>H^i(X,E^*\otimes \omega_X)</math> जब E सदिश बंडल है।
है।<ref>Hartshorne (1977), Theorem III.7.6.</ref> यहां [[एक्सट ऑपरेटर|एक्सट संक्रियक]] को मॉड्यूल <math>O_X</math>-मॉड्यूल की एबेलियन श्रेणी में लिया गया है। इसमें पूर्व कथन सम्मिलित है, क्योंकि जब E सदिश बंडल है तो <math>\operatorname{Ext}^i_X(E,\omega_X)</math>, <math>H^i(X,E^*\otimes \omega_X)</math> के समरूपी है।


इस परिणाम का उपयोग करने के लिए, किसी को कम से कम विशेष मामलों में, स्पष्ट रूप से दोहरीकरण शीफ को निर्धारित करना होगा। जब X, k के ऊपर चिकना होता है, <math>\omega_X</math> विहित रेखा बंडल है <math>K_X</math> ऊपर परिभाषित। अधिक आम तौर पर, यदि<ref>Hartshorne (1977), proof of Proposition III.7.5; {{Citation | title=Stacks Project, Tag 0A9X | url=http://stacks.math.columbia.edu/tag/0A9X}}.</ref>
इस परिणाम का उपयोग करने के लिए, किसी को कम से कम विशेष स्थितियों में, स्पष्ट रूप से दोहरीकरण शीफ को निर्धारित करना होगा। जब X, k पर सहज होता है, तो <math>\omega_X</math> ऊपर परिभाषित विहित रेखा बंडल <math>K_X</math> है। अधिक सामान्यतः, यदि<ref>Hartshorne (1977), proof of Proposition III.7.5; {{Citation | title=Stacks Project, Tag 0A9X | url=http://stacks.math.columbia.edu/tag/0A9X}}.</ref>
:<math>\omega_X\cong\mathcal{Ext}^r_{O_Y}(O_X,K_Y).</math>
:<math>\omega_X\cong\mathcal{Ext}^r_{O_Y}(O_X,K_Y).</math>
जब<ref>Hartshorne (1977), Theorem III.7.11; {{Citation | title=Stacks Project, Tag 0BQZ | url=http://stacks.math.columbia.edu/tag/0BQZ}}.</ref>
जब X एक सुचारु योजना Y में सह विमीय r का एक स्थानीय पूर्ण प्रतिच्छेदन होता है, तो एक अधिक प्रारंभिक विवरण होता है: Y में X का सामान्य बंडल पद r का एक सदिश बंडल होता है, और X का दोहरीकरण शीफ<ref>Hartshorne (1977), Theorem III.7.11; {{Citation | title=Stacks Project, Tag 0BQZ | url=http://stacks.math.columbia.edu/tag/0BQZ}}.</ref>
:<math>\omega_X\cong K_Y|_X\otimes {\bigwedge}^r(N_{X/Y}).</math>
:<math>\omega_X\cong K_Y|_X\otimes {\bigwedge}^r(N_{X/Y})</math> द्वारा दिया जाता है।
इस मामले में, 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 क्षेत्र k पर प्रक्षेप्य समष्टि <math>{\mathbf P}^n</math> में पूर्ण प्रतिच्छेदन है, जो परिमाण <math>d_1,\ldots,d_r</math> के सजातीय बहुपद <math>f_1,\ldots,f_r</math> द्वारा परिभाषित है। (यह कहने का अर्थ है कि यह पूर्ण प्रतिच्छेदन है कि X की विमा <math>n-r</math> है।) पूर्णांक d के लिए <math>{\mathbf P}^n</math> पर रेखा बंडल O(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> है


=== कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल ===
=== कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल ===
विशेष रूप से, हम सम्मिश्र विकृतियों की संख्या की गणना कर सकते हैं, के बराबर <math>\dim(H^1(X,TX))</math> क्विंटिक तीन गुना के लिए <math>\mathbb{P}^4</math>, कैलाबी-यॉ प्रकार, सेरे द्वैत का उपयोग करते हुए। चूँकि Calabi-Yau संपत्ति सुनिश्चित करती है <math>K_X \cong \mathcal{O}_X</math> सेरे द्वैत हमें यह दिखाता है <math>H^1(X,TX) \cong H^2(X, \mathcal{O}_X\otimes \Omega_X) \cong H^2(X, \Omega_X)</math> सम्मिश्र मॉड्यूल की संख्या को दर्शाना बराबर है <math>h^{2,1}</math> हॉज हीरे में। बेशक, अंतिम कथन बोगोमोलेव-तियान-टोडोरोव प्रमेय पर निर्भर करता है जो बताता है कि कैलाबी-याउ पर प्रत्येक विकृति अबाधित है।
विशेष रूप से, हम सेरे द्वैत का उपयोग करके, कैलाबी-यॉ प्रकार <math>\mathbb{P}^4</math> में क्विंटिक तीन गुना के लिए <math>\dim(H^1(X,TX))</math> के बराबर सम्मिश्र विकृतियों की संख्या की गणना कर सकते हैं। चूँकि कैलाबी-यॉ गुण <math>K_X \cong \mathcal{O}_X</math> सेरे द्वैत सुनिश्चित करती है, इसलिए हमें पता चलता है कि सम्मिश्र मॉड्यूल की संख्या दिखाने वाला<math>H^1(X,TX) \cong H^2(X, \mathcal{O}_X\otimes \Omega_X) \cong H^2(X, \Omega_X)</math> हॉज डायमंड में <math>h^{2,1}</math> के बराबर है। इस प्रकार से निश्चित ही, अंतिम कथन बोगोमोलेव-तियान-टोडोरोव प्रमेय पर निर्भर करता है जो बताता है कि कैलाबी-याउ पर प्रत्येक विकृति अबाधित है।


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


दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता है
इस प्रकार से दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, <math>D^b_{\operatorname{coh}}(X)</math> में किसी भी वस्तु E के लिए परिमित-विमीय k-सदिश रिक्त समष्टि
:<math>\operatorname{Hom}_X(E,\omega_X^{\bullet})\cong \operatorname{Hom}_X(O_X,E)^*</math>
:<math>\operatorname{Hom}_X(E,\omega_X^{\bullet})\cong \operatorname{Hom}_X(O_X,E)^*</math>
किसी भी वस्तु के लिए E में <math>D^b_{\operatorname{coh}}(X)</math>।<ref>Hartshorne (1966), Corollary VII.3.4(c); {{Citation | title=Stacks Project, Tag 0B6I | url=http://stacks.math.columbia.edu/tag/0B6I}}; {{Citation | title=Stacks Project, Tag 0B6S | url=http://stacks.math.columbia.edu/tag/0B6S}}.</ref>
की एक प्राकृतिक समरूपता है।<ref>Hartshorne (1966), Corollary VII.3.4(c); {{Citation | title=Stacks Project, Tag 0B6I | url=http://stacks.math.columbia.edu/tag/0B6I}}; {{Citation | title=Stacks Project, Tag 0B6S | url=http://stacks.math.columbia.edu/tag/0B6S}}.</ref>
अधिक आम तौर पर, उचित योजना के लिए X ओवर के, ऑब्जेक्ट E इन <math>D^b_{\operatorname{coh}}(X)</math>, और एफ आदर्श परिसर है <math>D_{\operatorname{perf}}(X)</math>, के निकट सुंदर कथन है:
 
अधिक सामान्यतः, उचित योजना के लिए X ओवर के, ऑब्जेक्ट E इन <math>D^b_{\operatorname{coh}}(X)</math>, और एफ आदर्श परिसर है <math>D_{\operatorname{perf}}(X)</math>, के निकट सुंदर कथन है:
:<math>\operatorname{Hom}_X(E,F\otimes \omega_X^{\bullet})\cong\operatorname{Hom}_X(F,E)^*.</math>
:<math>\operatorname{Hom}_X(E,F\otimes \omega_X^{\bullet})\cong\operatorname{Hom}_X(F,E)^*.</math>
यहां टेंसर गुणनफल का अर्थ [[व्युत्पन्न टेंसर उत्पाद|व्युत्पन्न टेंसर गुणनफल]] है, जैसा कि व्युत्पन्न श्रेणियों में स्वाभाविक है। (पिछले रूपूलेशन से तुलना करने के लिए, ध्यान दें <math>\operatorname{Ext}^i_X(E,\omega_X)</math> के रूप में देखा जा सकता है <math>\operatorname{Hom}_X(E,\omega_X[i])</math>) जब X, k के ऊपर भी चिकना होता है, तो प्रत्येक वस्तु अंदर आ जाती है <math>D^b_{\operatorname{coh}}(X)</math> पूर्ण सम्मिश्र है, और इसलिए यह द्वैत सभी E और एफ पर लागू होता है <math>D^b_{\operatorname{coh}}(X)</math>। उपरोक्त कथन को यह कहकर संक्षेप में प्रस्तुत किया गया है <math>F\mapsto F\otimes \omega_X^{\bullet}</math> यह सेरे संक्रियक है <math>D^b_{\operatorname{coh}}(X)</math> X के लिए k के ऊपर सहज और उचित।<ref>Huybrechts (2006), Definition 1.28, Theorem 3.12.</ref>
यहां टेंसर गुणनफल का अर्थ [[व्युत्पन्न टेंसर उत्पाद|व्युत्पन्न टेंसर गुणनफल]] है, जैसा कि व्युत्पन्न श्रेणियों में स्वाभाविक है। (पूर्व सूत्रीकरण से तुलना करने के लिए, ध्यान दें कि <math>\operatorname{Ext}^i_X(E,\omega_X)</math> को <math>\operatorname{Hom}_X(E,\omega_X[i])</math>के रूप में देखा जा सकता है।) जब X भी k पर सुचारू होता है, तो <math>D^b_{\operatorname{coh}}(X)</math> में प्रत्येक वस्तु एक पूर्ण सम्मिश्र होती है, और इसलिए यह द्वंद्व <math>D^b_{\operatorname{coh}}(X)</math> में सभी E और F पर लागू होता है। ऊपर दिए गए कथन को यह कहते हुए संक्षेप में प्रस्तुत किया गया है कि <math>F\mapsto F\otimes \omega_X^{\bullet}</math>, x के लिए <math>D^b_{\operatorname{coh}}(X)</math> पर एक '''सेरे कारक''' है और k के पर उचित है।<ref>Huybrechts (2006), Definition 1.28, Theorem 3.12.</ref>
किसी क्षेत्र में उचित बीजगणितीय रिक्त समष्टि के लिए सेरे द्वैत अधिक सामान्यतः लागू होता है।<ref>{{Citation | title=Stacks Project, Tag 0E58 | url=http://stacks.math.columbia.edu/tag/0E58}}.</ref>
 
अतः इस प्रकार से किसी क्षेत्र में उचित बीजगणितीय रिक्त समष्टि के लिए सेरे द्वैत अधिक सामान्यतः लागू होता है।<ref>{{Citation | title=Stacks Project, Tag 0E58 | url=http://stacks.math.columbia.edu/tag/0E58}}.</ref>
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist|30em}}
{{reflist|30em}}
Line 119: Line 121:
==बाहरी संबंध==
==बाहरी संबंध==
*{{Citation | author1=The Stacks Project Authors | title=The Stacks Project  | url=http://stacks.math.columbia.edu/}}
*{{Citation | author1=The Stacks Project Authors | title=The Stacks Project  | url=http://stacks.math.columbia.edu/}}
[[Category: बीजगणितीय ज्यामिति की टोपोलॉजिकल विधियाँ]] [[Category: जटिल अनेक गुना]] [[Category: द्वैत सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:जटिल अनेक गुना]]
[[Category:द्वैत सिद्धांत]]
[[Category:बीजगणितीय ज्यामिति की टोपोलॉजिकल विधियाँ]]

Latest revision as of 09:49, 2 August 2023

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

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

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

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

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

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

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

है। इस प्रकार से यहाँ सदिश बंडलों के टेंसर गुणनफल को दर्शाता है। इससे यह निष्कर्ष निकलता है कि दो सह-समरूपता समूहों की विमा समान हैं:

पोंकारे द्वैत के जैसे, सेरे द्वैत में समरूपता शीफ ​​सह समरूपता में शीफ सह समरूपता कप गुणनफल से आती है। अर्थात्, पर प्राकृतिक अनुरेख प्रतिचित्र के साथ कप गुणनफल की संरचना आदर्श युग्मन है:

इस प्रकार से अनुरेख प्रतिचित्र डे रहम सह समरूपता में समाकलन के सुसंगत शीफ सह समरूपता के लिए एनालॉग है।[1]

समाकलित-ज्यामितीय प्रमेय

सेरे ने X (एक संहत सम्मिश्र कई गुना) और E (एक होलोमोर्फिक सदिश बंडल) के लिए भी समान द्वैत कथन सिद्ध किया था।[2] यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, रीमैनियन मीट्रिक से सुसज्जित संहत मिश्रित कई गुना पर, हॉज स्टार संक्रियक

है, जहां । इसके अतिरिक्त, चूंकि सम्मिश्र है, सम्मिश्र समाकलित रूपों को प्रकार के रूपों में विभाजित किया जाता है। हॉज स्टार संक्रियक (सम्मिश्र-रैखिक रूप से सम्मिश्र-मानित अंतर रूपों तक विस्तारित) इस श्रेणीकरण के साथ

के रूप में परस्पर क्रिया करता है।

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

होता है।

इस प्रकार से संयुग्म-रेखीय हॉज स्टार का उपयोग करके, कोई सम्मिश्र अंतर रूपों पर हर्मिटियन - आंतरिक गुणनफल को

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

प्राप्त होता है जहां में सहज -मानित सम्मिश्र समाकलित रूप होते हैं। अतः और द्वारा दिए गए और के बीच युग्मन का उपयोग करके, कोई

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

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

को परिभाषित करते हैं जहाँ का डॉल्बुल्ट संक्रियक है और आंतरिक गुणनफल के संबंध में इसका औपचारिक मिलान है, फिर

बायीं ओर डोल्बौल्ट सह समरूपता है, और दायीं ओर

हरात्मक -मानित समाकलित रूपों की सदिश समष्टि है।

अतः इस विवरण का उपयोग करते हुए, सेरे द्वैत प्रमेय को इस प्रकार कहा जा सकता है: समरूपता सम्मिश्र रैखिक समरूपता

को प्रेरित करती है।

उपरोक्त हॉज सिद्धांत का उपयोग करके इसे सरलता से सिद्ध किया जा सकता है। अर्थात्, यदि अद्वितीय हरात्मक प्रतिनिधि के साथ में सह समरूपता वर्ग है, तो

समानता के साथ यदि और मात्र यदि है। विशेष रूप से, और के बीच सम्मिश्र रैखिक युग्मन

गैर-विक्षिप्त है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।

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

जहां बायीं ओर डॉल्बौल्ट सह समरूपता है और दाहिनी ओर शीफ सह समरूपता है, जहां होलोमोर्फिक -रूप के शीफ़ को दर्शाता है । विशेष रूप से, हम

प्राप्त करते हैं, जहां हमने उपयोग किया है कि होलोमोर्फिक -रूप के शीफ मात्र के विहित बंडल है ।

बीजगणितीय वक्र

सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह संहत रीमैन सतहों पर विचार करने के बराबर है।) क्षेत्र k पर सहज प्रक्षेप्य वक्र X पर एक पंक्ति बंडल L के लिए एकमात्र संभावित गैर-शून्य सहसंयोजक समूह और हैं।। सेरे द्वैत समूह (एक अलग रेखा बंडल के लिए) के संदर्भ में समूह का वर्णन करता है।[3] यह अधिक ठोस है, क्योंकि एक रेखा बंडल का केवल उसके अनुभागों की समष्टि है।

इस प्रकार से सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। जीनस (गणित) g के वक्र X पर परिमाण D के रेखा बंडल L के लिए, रीमैन-रोच प्रमेय कहता है कि

अतः सेरे द्वैत का उपयोग करते हुए, इसे और अधिक प्रारंभिक शब्दों में दोहराया जा सकता है:

बाद वाला कथन (भाजक (बीजगणितीय ज्यामिति) के संदर्भ में व्यक्त) वस्तुतः 19वीं शताब्दी के प्रमेय का मूल संस्करण है। यह मुख्य उपकरण है जिसका उपयोग यह विश्लेषण करने के लिए किया जाता है कि किसी दिए गए वक्र को प्रक्षेप्य समष्टि में कैसे अंतःस्थापित किया जा सकता है और इसलिए बीजगणितीय वक्रों को वर्गीकृत किया जा सकता है।

इस प्रकार से उदाहरण के लिए: ऋणात्मक परिमाण वाले रेखा बंडल के प्रत्येक वैश्विक खंड शून्य है। इसके अतिरिक्त, विहित बंडल का परिमाण है। इसलिए, रीमैन-रोच का तात्पर्य है कि एक रेखा बंडल के लिए परिमाण , का L, के बराबर है। जब जीनस g कम से कम 2 होता है, तो यह सेरे द्वैत का अनुसरण करता है जो कि है। यहाँ , X का प्रथम-क्रम विरूपण सिद्धांत है। यह दिखाने के लिए आवश्यक मूलभूत गणना है कि जीनस g के वक्रों के मॉड्यूलि समष्टि की विमा है।

सुसंगत शीव के लिए क्रमिक द्वैत

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

अर्थात्, क्षेत्र k पर शुद्ध विमा n की कोहेन-मैकाले योजना X के लिए, ग्रोथेंडिक ने X पर एक सुसंगत शीफ को परिभाषित किया था, जिसे "दोहरीकरण" शीफ़ कहा जाता है। (कुछ लेखक को शीफ कहते हैं ।) इसके अतिरिक्त मान लीजिए कि X, k के पर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता

है।[4] यहां एक्सट संक्रियक को मॉड्यूल -मॉड्यूल की एबेलियन श्रेणी में लिया गया है। इसमें पूर्व कथन सम्मिलित है, क्योंकि जब E सदिश बंडल है तो , के समरूपी है।

इस परिणाम का उपयोग करने के लिए, किसी को कम से कम विशेष स्थितियों में, स्पष्ट रूप से दोहरीकरण शीफ को निर्धारित करना होगा। जब X, k पर सहज होता है, तो ऊपर परिभाषित विहित रेखा बंडल है। अधिक सामान्यतः, यदि[5]

जब X एक सुचारु योजना Y में सह विमीय r का एक स्थानीय पूर्ण प्रतिच्छेदन होता है, तो एक अधिक प्रारंभिक विवरण होता है: Y में X का सामान्य बंडल पद r का एक सदिश बंडल होता है, और X का दोहरीकरण शीफ[6]

द्वारा दिया जाता है।

इस प्रकार से इस स्थिति में, X कोहेन-मैकाले योजना है, जिसमें रेखा बंडल, जो कहता है कि X गोरेन्स्टीन योजना है।

उदाहरण: मान लीजिए कि X क्षेत्र k पर प्रक्षेप्य समष्टि में पूर्ण प्रतिच्छेदन है, जो परिमाण के सजातीय बहुपद द्वारा परिभाषित है। (यह कहने का अर्थ है कि यह पूर्ण प्रतिच्छेदन है कि X की विमा है।) पूर्णांक d के लिए पर रेखा बंडल O(d) हैं, इस गुण के साथ कि परिमाण d के सजातीय बहुपदों को O(d) के अनुभागों के रूप में देखा जा सकता है। फिर X का दोहरीकरण योजक सूत्र द्वारा शीफ रेखा बंडल

है। इस प्रकार से उदाहरण के लिए, परिमाण d के समतल वक्र X का दोहरीकरण शीफ है ।

कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल

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

ग्रोथेंडिक द्वैत

अतः ग्रोथेंडिक का सुसंगत द्वैत का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का व्यापक सामान्यीकरण है। क्षेत्र k पर परिमित प्रकार की किसी भी योजना X के लिए, X, पर सुसंगत शीव्स की सीमाबद्ध व्युत्पन्न श्रेणी की एक वस्तु होता है, जिसे k पर X का दोहरीकरण मिश्रित कहा जाता है। औपचारिक रूप से, असाधारण व्युत्क्रम प्रतिरूप कारक है, जहां f दिया गया आकारिता है। जब X शुद्ध विमा का कोहेन-मैकाले है तो है; अर्थात, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (सहसंबद्ध) परिमाण -एन में एक सम्मिश्र के रूप में देखा जाता है। विशेष रूप से, जब X, k पर सहज होता है, तो परिमाण −n में रखा गया विहित रेखा बंडल होता है।

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

की एक प्राकृतिक समरूपता है।[7]

अधिक सामान्यतः, उचित योजना के लिए X ओवर के, ऑब्जेक्ट E इन , और एफ आदर्श परिसर है , के निकट सुंदर कथन है:

यहां टेंसर गुणनफल का अर्थ व्युत्पन्न टेंसर गुणनफल है, जैसा कि व्युत्पन्न श्रेणियों में स्वाभाविक है। (पूर्व सूत्रीकरण से तुलना करने के लिए, ध्यान दें कि को के रूप में देखा जा सकता है।) जब X भी k पर सुचारू होता है, तो में प्रत्येक वस्तु एक पूर्ण सम्मिश्र होती है, और इसलिए यह द्वंद्व में सभी E और F पर लागू होता है। ऊपर दिए गए कथन को यह कहते हुए संक्षेप में प्रस्तुत किया गया है कि , x के लिए पर एक सेरे कारक है और k के पर उचित है।[8]

अतः इस प्रकार से किसी क्षेत्र में उचित बीजगणितीय रिक्त समष्टि के लिए सेरे द्वैत अधिक सामान्यतः लागू होता है।[9]

टिप्पणियाँ

  1. Huybrechts (2005), exercise 3.2.3.
  2. Serre (1955); Huybrechts (2005), Proposition 4.1.15.
  3. For a curve, Serre duality is simpler but still nontrivial. One proof is given in Tate (1968).
  4. Hartshorne (1977), Theorem III.7.6.
  5. Hartshorne (1977), proof of Proposition III.7.5; Stacks Project, Tag 0A9X.
  6. Hartshorne (1977), Theorem III.7.11; Stacks Project, Tag 0BQZ.
  7. Hartshorne (1966), Corollary VII.3.4(c); Stacks Project, Tag 0B6I; Stacks Project, Tag 0B6S.
  8. Huybrechts (2006), Definition 1.28, Theorem 3.12.
  9. Stacks Project, Tag 0E58.

संदर्भ

बाहरी संबंध