सेरे द्वैत

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

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

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

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

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

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

$K_{X}=\Omega _{X}^{n}={\bigwedge }^{n}(T^{*}X).$

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

$H^{i}(X,E)\cong H^{n-i}(X,K_{X}\otimes E^{\ast })^{\ast }$

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

$h^{i}(X,E)=h^{n-i}(X,K_{X}\otimes E^{\ast }).$

पोंकारे द्वैत के जैसे, सेरे द्वैत में समरूपता शीफ ​​सह समरूपता में शीफ सह समरूपता कप गुणनफल से आती है। अर्थात्, $H^{n}(X,K_{X})$ पर प्राकृतिक अनुरेख प्रतिचित्र के साथ कप गुणनफल की संरचना आदर्श युग्मन है:

$H^{i}(X,E)\times H^{n-i}(X,K_{X}\otimes E^{\ast })\to H^{n}(X,K_{X})\to k.$

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

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

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

$\star :\Omega ^{p}(X)\to \Omega ^{2n-p}(X),$

है, जहां $\dim _{\mathbb {C} }X=n$। इसके अतिरिक्त, चूंकि $X$ सम्मिश्र है, सम्मिश्र समाकलित रूपों को $(p,q)$ प्रकार के रूपों में विभाजित किया जाता है। हॉज स्टार संक्रियक (सम्मिश्र-रैखिक रूप से सम्मिश्र-मानित अंतर रूपों तक विस्तारित) इस श्रेणीकरण के साथ

$\star :\Omega ^{p,q}(X)\to \Omega ^{n-q,n-p}(X)$ के रूप में परस्पर क्रिया करता है।

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

${\bar {\star }}:\Omega ^{p,q}(X)\to \Omega ^{n-p,n-q}(X)$ होता है।

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

$\langle \alpha ,\beta \rangle _{L^{2}}=\int _{X}\alpha \wedge {\bar {\star }}\beta ,$

द्वारा परिभाषित कर सकता है, जहाँ अब $\alpha \wedge {\bar {\star }}\beta$ एक $(n,n)$-रूपरूप है, और विशेष रूप से एक समिश्र-मानित $2n$-रूप है, और इसलिए इसे इसके विहित अभिविन्यास के संबंध में $X$ पर समाकलित किया जा सकता है। इसके अतिरिक्त, मान लीजिए $(E,h)$ हर्मिटियन होलोमोर्फिक सदिश बंडल है। फिर हर्मिटियन मीट्रिक $h$, $E\cong E^{*}$ और इसके दोहरी सदिश बंडल मान लीजिए $\tau :E\to E^{*}$ के बीच एक संयुग्म-रैखिक समरूपता $E$ देता है।${\bar {\star }}_{E}(\omega \otimes s)={\bar {\star }}\omega \otimes \tau (s)$ को परिभाषित करते हुए, एक समरूपता

${\bar {\star }}_{E}:\Omega ^{p,q}(X,E)\to \Omega ^{n-p,n-q}(X,E^{*})$

प्राप्त होता है जहां $\Omega ^{p,q}(X,E)=\Omega ^{p,q}(X)\otimes \Gamma (E)$ में सहज $E$-मानित सम्मिश्र समाकलित रूप होते हैं। $E$ और $E^{*}$ द्वारा दिए गए $\tau$ और $h$ के बीच युग्मन का उपयोग करके, कोई

$\langle \alpha ,\beta \rangle _{L^{2}}=\int _{X}\alpha \wedge _{h}{\bar {\star }}_{E}\beta ,$

द्वारा ऐसे $E$-मानित रूपों पर एक हर्मिटियन $L^{2}$-आंतरिक गुणनफल को परिभाषित कर सकता है, जहां $\wedge _{h}$ इसका अर्थ है समाकलित रूपों का मध्यग गुणनफल है और बीच युग्मन का उपयोग करना है $E$ और $E^{*}$ $h$ द्वारा दिए गए हैं।

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

$\Delta _{{\bar {\partial }}_{E}}={\bar {\partial }}_{E}^{*}{\bar {\partial }}_{E}+{\bar {\partial }}_{E}{\bar {\partial }}_{E}^{*}$

को परिभाषित करते हैं जहाँ ${\bar {\partial }}_{E}$ $E$ का डॉल्बुल्ट संक्रियक है और ${\bar {\partial }}_{E}^{*}$ आंतरिक गुणनफल के संबंध में इसका औपचारिक मिलान है, फिर

$H^{p,q}(X,E)\cong {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X).$

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

${\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)=\{\alpha \in \Omega ^{p,q}(X,E)\mid \Delta _{{\bar {\partial }}_{E}}(\alpha )=0\}$ हरात्मक $E$-मानित समाकलित रूपों की सदिश समष्टि है।

इस विवरण का उपयोग करते हुए, सेरे द्वैत प्रमेय को इस प्रकार कहा जा सकता है: समरूपता ${\bar {\star }}_{E}$ सम्मिश्र रैखिक समरूपता

$H^{p,q}(X,E)\cong H^{n-p,n-q}(X,E^{*})^{*}$ को प्रेरित करती है।

उपरोक्त हॉज सिद्धांत का उपयोग करके इसे सरलता से सिद्ध किया जा सकता है। अर्थात्, यदि $[\alpha ]$ अद्वितीय हरात्मक प्रतिनिधि $\alpha \in {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)$ के साथ $H^{p,q}(X,E)$ में सह समरूपता वर्ग है, तो

$(\alpha ,{\bar {\star }}_{E}\alpha )=\langle \alpha ,\alpha \rangle _{L^{2}}\geq 0$

समानता के साथ यदि और मात्र यदि $\alpha =0$ है। विशेष रूप से, ${\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)$ और ${\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E^{*}}}}^{n-p,n-q}(X)$ के बीच सम्मिश्र रैखिक युग्मन

$(\alpha ,\beta )=\int _{X}\alpha \wedge _{h}\beta$

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

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

$H^{p,q}(X,E)\cong H^{q}(X,{\boldsymbol {\Omega }}^{p}\otimes E)$

जहां बायीं ओर डॉल्बौल्ट सह समरूपता है और दाहिनी ओर शीफ सह समरूपता है, जहां ${\boldsymbol {\Omega }}^{p}$ होलोमोर्फिक $(p,0)$-रूप के शीफ़ को दर्शाता है । विशेष रूप से, हम

$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^{*})^{*}$

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

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

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

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

$h^{0}(X,L)-h^{1}(X,L)=d-g+1.$

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

$h^{0}(X,L)-h^{0}(X,K_{X}\otimes L^{*})=d-g+1.$

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

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

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

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

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

$\operatorname {Ext} _{X}^{i}(E,\omega _{X})\cong H^{n-i}(X,E)^{*}$

है। यहां एक्सट संक्रियक को मॉड्यूल $O_{X}$-मॉड्यूल की एबेलियन श्रेणी में लिया गया है। इसमें पूर्व कथन सम्मिलित है, क्योंकि जब E सदिश बंडल है तो $\operatorname {Ext} _{X}^{i}(E,\omega _{X})$, $H^{i}(X,E^{*}\otimes \omega _{X})$ के समरूपी है।

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

$\omega _{X}\cong {\mathcal {Ext}}_{O_{Y}}^{r}(O_{X},K_{Y}).$

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

$\omega _{X}\cong K_{Y}|_{X}\otimes {\bigwedge }^{r}(N_{X/Y})$ द्वारा दिया जाता है।

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

उदाहरण: मान लीजिए कि X क्षेत्र k पर प्रक्षेप्य समष्टि ${\mathbf {P} }^{n}$ में पूर्ण प्रतिच्छेदन है, जो परिमाण $d_{1},\ldots ,d_{r}$ के सजातीय बहुपद $f_{1},\ldots ,f_{r}$ द्वारा परिभाषित है। (यह कहने का अर्थ है कि यह पूर्ण प्रतिच्छेदन है कि X की विमा $n-r$ है।) पूर्णांक d के लिए ${\mathbf {P} }^{n}$ पर रेखा बंडल O(d) हैं, इस गुण के साथ कि परिमाण d के सजातीय बहुपदों को O(d) के अनुभागों के रूप में देखा जा सकता है। फिर X का दोहरीकरण योजक सूत्र द्वारा शीफ रेखा बंडल

$\omega _{X}=O(d_{1}+\cdots +d_{r}-n-1)|_{X},$

है। उदाहरण के लिए, परिमाण d के समतल वक्र X का दोहरीकरण शीफ $O(d-3)|_{X}$ है ।

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

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

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

Main article: सुसंगत द्वैत

ग्रोथेंडिक का सुसंगत द्वैत का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का व्यापक सामान्यीकरण है। क्षेत्र k पर परिमित प्रकार की किसी भी योजना X के लिए, वस्तु होती है $\omega _{X}^{\bullet }$ X पर सुसंगत शीव की बंधी हुई व्युत्पन्न श्रेणी का, $D_{\operatorname {coh} }^{b}(X)$, जिसे k पर X का दोहरीकरण मिश्रित कहा जाता है। औपचारिक रूप से, $\omega _{X}^{\bullet }$ असाधारण व्युत्क्रम छवि फ़ैक्टर है $f^{!}O_{Y}$, जहां f दिया गया रूपवाद है $X\to Y=\operatorname {Spec} (k)$। जब X शुद्ध विमा n का कोहेन-मैकाले है, $\omega _{X}^{\bullet }$ है $\omega _{X}[n]$; यानी, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (कोहोमोलॉजिकल) परिमाण -एन में सम्मिश्र के रूप में देखा जाता है। विशेष रूप से, जब X, k पर सहज होता है, $\omega _{X}^{\bullet }$ परिमाण −n में रखा गया विहित रेखा बंडल है।

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

$\operatorname {Hom} _{X}(E,\omega _{X}^{\bullet })\cong \operatorname {Hom} _{X}(O_{X},E)^{*}$

किसी भी वस्तु के लिए E में $D_{\operatorname {coh} }^{b}(X)$। अधिक सामान्यतः, उचित योजना के लिए X ओवर के, ऑब्जेक्ट E इन $D_{\operatorname {coh} }^{b}(X)$, और एफ आदर्श परिसर है $D_{\operatorname {perf} }(X)$, के निकट सुंदर कथन है:

$\operatorname {Hom} _{X}(E,F\otimes \omega _{X}^{\bullet })\cong \operatorname {Hom} _{X}(F,E)^{*}.$

यहां टेंसर गुणनफल का अर्थ व्युत्पन्न टेंसर गुणनफल है, जैसा कि व्युत्पन्न श्रेणियों में स्वाभाविक है। (पिछले रूपूलेशन से तुलना करने के लिए, ध्यान दें $\operatorname {Ext} _{X}^{i}(E,\omega _{X})$ के रूप में देखा जा सकता है $\operatorname {Hom} _{X}(E,\omega _{X}[i])$।) जब X, k पर भी सहज होता है, तो प्रत्येक वस्तु अंदर आ जाती है $D_{\operatorname {coh} }^{b}(X)$ पूर्ण सम्मिश्र है, और इसलिए यह द्वैत सभी E और एफ पर लागू होता है $D_{\operatorname {coh} }^{b}(X)$। उपरोक्त कथन को यह कहकर संक्षेप में प्रस्तुत किया गया है $F\mapsto F\otimes \omega _{X}^{\bullet }$ यह सेरे संक्रियक है $D_{\operatorname {coh} }^{b}(X)$ X के लिए k पर सहज और उचित। किसी क्षेत्र में उचित बीजगणितीय रिक्त समष्टि के लिए सेरे द्वैत अधिक सामान्यतः लागू होता है।

संदर्भ

• Hartshorne, Robin (1977), Algebraic geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
• Hartshorne, Robin (1966), Residues and duality, Lecture Notes in Mathematics, vol. 20, Berlin, New York: Springer-Verlag, ISBN 978-3-540-03603-6, MR 0222093
• "Duality", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Huybrechts, Daniel (2005), Complex geometry, Berlin: Springer-Verlag, ISBN 3-540-21290-6, MR 2093043
• Huybrechts, Daniel (2006), Fourier–Mukai transforms in algebraic geometry, Oxford University Press, ISBN 978-0199296866, MR 2244106
• Serre, Jean-Pierre (1955), "Un théorème de dualité", Commentarii Mathematici Helvetici, 29: 9–26, doi:10.1007/BF02564268, MR 0067489
• Tate, John (1968), "Residues of differentials on curves" (PDF), Annales Scientifiques de l'École Normale Supérieure, Série 4, 1: 149–159, doi:10.24033/asens.1162, ISSN 0012-9593, MR 0227171

बाहरी संबंध

• The Stacks Project Authors, The Stacks Project