सेरे द्वैत: Difference between revisions
From Vigyanwiki
(Created page with "बीजगणितीय ज्यामिति में, गणित की एक शाखा, सेरे द्वैत बीजगणितीय किस...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[बीजगणितीय ज्यामिति]] में, गणित की | [[बीजगणितीय ज्यामिति]] में, गणित की शाखा, सेरे द्वैत बीजगणितीय प्रकारों के सुसंगत शीफ सह समरूपता के लिए [[द्वैत (गणित)]] है, जिसे [[ जीन पियरे सेरे |जीन पियरे सेरे]] द्वारा सिद्ध किया गया है। मूल संस्करण सहज प्रक्षेप्य प्रकार पर [[वेक्टर बंडल|सदिश बंडलों]] पर लागू होता है, परन्तु [[अलेक्जेंडर ग्रोथेंडिक]] ने व्यापक सामान्यीकरण पाया, उदाहरण के लिए विलक्षण प्रकारों के लिए। ''एन''-विमीय विविधता पर, प्रमेय कहता है कि एक सह समरूपता समूह <math>H^i</math> दूसरे एक, <math>H^{n-i}</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-सदिश रिक्त समष्टि की प्राकृतिक समरूपता | ||
:<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>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^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> | |||
===विभेदक-ज्यामितीय प्रमेय=== | ===विभेदक-ज्यामितीय प्रमेय=== | ||
सेरे ने | सेरे ने 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>\star: \Omega^{p,q}(X) \to \Omega^{n-q,n-p}(X) | :<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>\bar{\star} : \Omega^{p,q}(X) \to \Omega^{n-p,n-q}(X) | :<math>\bar{\star} : \Omega^{p,q}(X) \to \Omega^{n-p,n-q}(X)</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>\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>\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>\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>\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>\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>[\alpha]</math> में सह समरूपता कक्षा है <math>H^{p,q}(X,E)</math> अद्वितीय हार्मोनिक प्रतिनिधि के साथ <math>\alpha \in \mathcal{H}^{p,q}_{\Delta_{\bar{\partial}_E}} (X)</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>(\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>\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>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> होलोमोर्फिक के शीफ़ को दर्शाता है <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>-forms केवल [[विहित बंडल]] है <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> रेखा बंडल का बस उसके अनुभागों का स्थान है। | ||
सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] जी के वक्र | सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] जी के वक्र X पर डिग्री डी के रेखा बंडल एल के लिए, रीमैन-रोच प्रमेय कहता है कि | ||
:<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>। | ||
==[[सुसंगत ढेर]]ों के लिए क्रमिक | ==[[सुसंगत ढेर]]ों के लिए क्रमिक द्वैत== | ||
सेरे द्वैत का | सेरे द्वैत का अन्य सूत्रीकरण केवल सदिश बंडलों के लिए नहीं, बल्कि सभी सुसंगत ढेरों के लिए है। सेरे द्वैत को सामान्य बनाने में पहले कदम के रूप में, ग्रोथेंडिक ने दिखाया कि यह संस्करण हल्की विलक्षणताओं वाली [[योजना (गणित)]] के लिए काम करता है, कोहेन-मैकाले रिंग|कोहेन-मैकाले योजनाएं, न कि केवल सहज योजनाएं। | ||
अर्थात्, | अर्थात्, क्षेत्र k पर शुद्ध विमा n की कोहेन-मैकाले योजना X के लिए, ग्रोथेंडिक ने सुसंगत शीफ को परिभाषित किया <math>\omega_X</math> X पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <math>K_X</math>।) इसके अतिरिक्त मान लीजिए कि X, k के ठीक ऊपर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि प्राकृतिक समरूपता है | ||
:<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 सदिश बंडल है। | ||
इस परिणाम का उपयोग करने के लिए, किसी को कम से कम विशेष मामलों में, स्पष्ट रूप से दोहरीकरण शीफ को निर्धारित करना होगा। जब X, k के ऊपर चिकना होता है, <math>\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> | ||
:<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> | जब<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 | उदाहरण: मान लीजिए कि प्रक्षेप्य स्थान में 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>। | ||
=== कैलाबी-यौ तीन गुना का | === कैलाबी-यौ तीन गुना का सम्मिश्र मॉड्यूल === | ||
विशेष रूप से, हम | विशेष रूप से, हम सम्मिश्र विकृतियों की संख्या की गणना कर सकते हैं, के बराबर <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> हॉज हीरे में। बेशक, अंतिम कथन बोगोमोलेव-तियान-टोडोरोव प्रमेय पर निर्भर करता है जो बताता है कि कैलाबी-याउ पर प्रत्येक विकृति अबाधित है। | ||
==ग्रोथेंडिक | ==ग्रोथेंडिक द्वैत== | ||
{{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 में रखा गया विहित रेखा बंडल है। | ||
दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित- | दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-विमीय 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> | ||
किसी भी वस्तु के लिए | किसी भी वस्तु के लिए | ||