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

Latest revision as of 09:49, 2 August 2023

बीजगणितीय ज्यामिति में, गणित की शाखा, सेरे द्वैत बीजगणितीय प्रकारों के सुसंगत शीफ सह समरूपता के लिए द्वैत (गणित) है, जिसे जीन पियरे सेरे द्वारा सिद्ध किया गया है। मूल संस्करण सहज प्रक्षेप्य प्रकार पर सदिश बंडलों पर लागू होता है, परन्तु अलेक्जेंडर ग्रोथेंडिक ने व्यापक सामान्यीकरण पाया, इस प्रकार से उदाहरण के लिए विलक्षण प्रकारों के लिए। एन-विमीय विविधता पर, प्रमेय कहता है कि एक सह समरूपता समूह $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.

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

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

सेरे ने X (एक संहत सम्मिश्र कई गुना) और E (एक होलोमोर्फिक सदिश बंडल) के लिए भी समान द्वैत कथन सिद्ध किया था।^[2] यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, रीमैनियन मीट्रिक से सुसज्जित संहत मिश्रित कई गुना $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}$ समूह का वर्णन करता है।^[3] यह अधिक ठोस है, क्योंकि एक रेखा बंडल का $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)^{*}

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

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

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

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

\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}$ के बराबर है। इस प्रकार से निश्चित ही, अंतिम कथन बोगोमोलेव-तियान-टोडोरोव प्रमेय पर निर्भर करता है जो बताता है कि कैलाबी-याउ पर प्रत्येक विकृति अबाधित है।

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

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

इस प्रकार से दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, $D_{\operatorname {coh} }^{b}(X)$ में किसी भी वस्तु E के लिए परिमित-विमीय k-सदिश रिक्त समष्टि

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

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

अधिक सामान्यतः, उचित योजना के लिए 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)$ में प्रत्येक वस्तु एक पूर्ण सम्मिश्र होती है, और इसलिए यह द्वंद्व $D_{\operatorname {coh} }^{b}(X)$ में सभी E और F पर लागू होता है। ऊपर दिए गए कथन को यह कहते हुए संक्षेप में प्रस्तुत किया गया है कि $F\mapsto F\otimes \omega _{X}^{\bullet }$ , x के लिए $D_{\operatorname {coh} }^{b}(X)$ पर एक सेरे कारक है और k के पर उचित है।^[8]

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

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

संदर्भ

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

[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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
-[[बीजगणितीय ज्यामिति]] में, गणित की एक शाखा, सेरे द्वैत बीजगणितीय किस्मों के सुसंगत शीफ कोहोलॉजी के लिए एक [[द्वैत (गणित)]] है, जिसे [[ जीन पियरे सेरे ]] द्वारा सिद्ध किया गया है। मूल संस्करण एक चिकनी प्रक्षेप्य किस्म पर [[वेक्टर बंडल]]ों पर लागू होता है, लेकिन [[अलेक्जेंडर ग्रोथेंडिक]] ने व्यापक सामान्यीकरण पाया, उदाहरण के लिए एकवचन किस्मों के लिए। ''एन''-आयामी विविधता पर, प्रमेय कहता है कि एक कोहोलॉजी समूह <math>H^i</math> दूसरे का दोहरा स्थान है, <math>H^{n-i}</math>. सेरे द्वैत टोपोलॉजी में पोंकारे द्वैत के सुसंगत शीफ कोहोमोलॉजी के लिए एनालॉग है, जिसमें [[कैनोनिकल लाइन बंडल]] [[ओरिएंटेशन शीफ]] की जगह लेता है।
+[[बीजगणितीय ज्यामिति]] में, गणित की शाखा, '''सेरे द्वैत''' बीजगणितीय प्रकारों के सुसंगत शीफ सह समरूपता के लिए [[द्वैत (गणित)]] है, जिसे [[ जीन पियरे सेरे |जीन पियरे सेरे]] द्वारा सिद्ध किया गया है। मूल संस्करण सहज प्रक्षेप्य प्रकार पर [[वेक्टर बंडल|सदिश बंडलों]] पर लागू होता है, परन्तु [[अलेक्जेंडर ग्रोथेंडिक]] ने व्यापक सामान्यीकरण पाया, इस प्रकार से उदाहरण के लिए विलक्षण प्रकारों के लिए। ''एन''-विमीय विविधता पर, प्रमेय कहता है कि एक सह समरूपता समूह <math>H^i</math> दूसरे एक, <math>H^{n-i}</math> की दोहरी समष्टि है। सेरे द्वैत टोपोलॉजी में पोंकारे द्वैत के सुसंगत शीफ सह समरूपता के लिए एनालॉग है, जिसमें [[कैनोनिकल लाइन बंडल|विहित रेखा बंडल]] [[ओरिएंटेशन शीफ]] का स्थान लेता है।
-सेरे द्वैत प्रमेय [[जटिल ज्यामिति]] में भी अधिक सामान्यतः सत्य है, कॉम्पैक्ट [[ जटिल अनेक गुना ]] के लिए जो आवश्यक रूप से प्रोजेक्टिव विविधता जटिल बीजगणितीय विविधता नहीं हैं। इस सेटिंग में, सेरे द्वैत प्रमेय [[डोल्बौल्ट कोहोमोलॉजी]] के लिए [[हॉज सिद्धांत]] का एक अनुप्रयोग है, और इसे अण्डाकार ऑपरेटरों के सिद्धांत में परिणाम के रूप में देखा जा सकता है।
+सेरे द्वैत प्रमेय [[जटिल ज्यामिति|सम्मिश्र ज्यामिति]] में भी अधिक सामान्यतः सत्य है, संहत [[ जटिल अनेक गुना |सम्मिश्र कई गुना]] के लिए जो आवश्यक रूप से प्रक्षेपीय विविधता सम्मिश्र बीजगणितीय विविधता नहीं हैं। इस समायोजन में, सेरे द्वैत प्रमेय [[डोल्बौल्ट कोहोमोलॉजी|डोल्बौल्ट सह समरूपता]] के लिए [[हॉज सिद्धांत]] का अनुप्रयोग है, और इसे अण्डाकार संक्रियकों के सिद्धांत में परिणाम के रूप में देखा जा सकता है।
-सेरे द्वंद्व की ये दो अलग-अलग व्याख्याएं गैर-एकवचन प्रक्षेपी जटिल बीजगणितीय किस्मों के लिए मेल खाती हैं, डॉल्बौल्ट के प्रमेय के एक अनुप्रयोग द्वारा डॉल्बौल्ट कोहोलॉजी से संबंधित शीफ कोहॉमोलॉजी।
+सेरे द्वैत की ये दो अलग-अलग व्याख्याएं डॉल्बौल्ट के प्रमेय के अनुप्रयोग द्वारा डॉल्बौल्ट सह समरूपता से संबंधित शीफ सह समरूपता गैर-विलक्षण प्रक्षेपी सम्मिश्र बीजगणितीय प्रकारों के लिए मेल खाती हैं।
-==वेक्टर बंडलों के लिए क्रमिक द्वंद्व==
+==सदिश बंडलों के लिए क्रमिक द्वैत==
 ===बीजगणितीय प्रमेय===
-मान लीजिए कि X एक फ़ील्ड k के ऊपर आयाम n की एक सहज विविधता है। 'कैनोनिकल लाइन बंडल' को परिभाषित करें <math>K_X</math> सुसंगत शीफ का बंडल होना#वेक्टर बंडलों के उदाहरण|एक्स पर एन-फॉर्म, [[कोटैंजेंट बंडल]] की शीर्ष बाहरी शक्ति:
+इस प्रकार से मान लीजिए कि X क्षेत्र k पर विमा n की सहज विविधता है। '''<nowiki/>'विहित रेखा बंडल'''' को <math>K_X</math> को X पर एन-रूप के बंडल के रूप में परिभाषित करें, [[कोटैंजेंट बंडल|कोटिस्पर्श रेखा बंडल]] के शीर्ष का बाह्य परिमाण:
 :<math>K_X=\Omega^n_X={\bigwedge}^n(T^*X).</math>
-इसके अलावा मान लीजिए कि X, k के ऊपर [[उचित रूपवाद]] (उदाहरण के लिए, प्रक्षेप्य विविधता) है। तब सेरे द्वैत कहता है: एक [[बीजगणितीय वेक्टर बंडल]] ई पर एक्स और एक पूर्णांक i के लिए, एक प्राकृतिक समरूपता है
+इसके अतिरिक्त मान लीजिए कि X, k पर [[उचित रूपवाद|उचित]] आकारिता(इस प्रकार से उदाहरण के लिए, प्रक्षेप्य विविधता) है। तब सेरे द्वैत कहता है: X और पूर्णांक i पर एक [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] E के लिए, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता
 :<math>H^i(X,E)\cong H^{n-i}(X,K_X\otimes E^{\ast})^{\ast}</math>
-परिमित-आयामी k-वेक्टर रिक्त स्थान का। यहाँ <math>\otimes</math> वेक्टर बंडलों के [[टेंसर उत्पाद]] को दर्शाता है। इससे यह निष्कर्ष निकलता है कि दो सह-समरूपता समूहों के आयाम समान हैं:
+है। इस प्रकार से यहाँ <math>\otimes</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>
-ट्रेस मैप [[डॉ कहलमज गर्भाशय]] में एकीकरण के सुसंगत शीफ कोहोमोलॉजी के लिए एनालॉग है।<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> पर, [[हॉज स्टार ऑपरेटर|हॉज स्टार संक्रियक]]
-===विभेदक-ज्यामितीय प्रमेय===
-सेरे ने एक्स (एक कॉम्पैक्ट [[ जटिल अनेक गुना ]]) और ई (एक [[होलोमोर्फिक वेक्टर बंडल]]) के लिए भी समान द्वैत कथन साबित किया।<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>\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>\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>\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>\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>\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>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 = 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>\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>\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>(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> केवल उसके अनुभागों की समष्टि है।
-सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] जी के वक्र एक्स पर डिग्री डी के एक लाइन बंडल एल के लिए, रीमैन-रोच प्रमेय कहता है कि
+इस प्रकार से सेरे द्वैत वक्रों के लिए रीमैन-रोच प्रमेय के लिए विशेष रूप से प्रासंगिक है। [[जीनस (गणित)]] g के वक्र X पर परिमाण D के रेखा बंडल L के लिए, रीमैन-रोच प्रमेय कहता है कि
 :<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>
-बाद वाला कथन ([[भाजक (बीजगणितीय ज्यामिति)]] के संदर्भ में व्यक्त) वास्तव में 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> एक्स का प्रथम-क्रम [[विरूपण सिद्धांत]] है। यह दिखाने के लिए आवश्यक बुनियादी गणना है कि जीनस जी के वक्रों के मॉड्यूलि स्पेस में आयाम है <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> एक्स पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <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>
-परिमित-आयामी 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>
-जब<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> द्वारा दिया जाता है।
-इस मामले में, एक्स एक कोहेन-मैकाले योजना है <math>\omega_X</math> एक लाइन बंडल, जो कहता है कि एक्स [[गोरेन्स्टीन योजना]] है।
+इस प्रकार से इस स्थिति में, 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>
-योजक सूत्र द्वारा. उदाहरण के लिए, डिग्री 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>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>
-अधिक आम तौर पर, एक उचित योजना के लिए एक्स ओवर के, एक ऑब्जेक्ट ई इन <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{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>. उपरोक्त कथन को यह कहकर संक्षेप में प्रस्तुत किया गया है <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}}
 ==संदर्भ==
@@ Line 123: / Line 119: @@
 *{{Citation | author1-last=Serre | author1-first=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Un théorème de dualité | journal=[[Commentarii Mathematici Helvetici]] | volume=29 | year=1955 | pages=9–26 | mr=0067489 | doi=10.1007/BF02564268|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002056453}}
 * {{Citation | last1=Tate | first1=John | author1-link=John Tate (mathematician) | title=Residues of differentials on curves | url=http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1968_4_1_1/ASENS_1968_4_1_1_149_0/ASENS_1968_4_1_1_149_0.pdf | year=1968 | journal=Annales Scientifiques de l'École Normale Supérieure |series=Série 4 | issn=0012-9593 | volume=1 | pages=149–159 | doi=10.24033/asens.1162 | mr=0227171| doi-access=free }}
 ==बाहरी संबंध==
 *{{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:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:जटिल अनेक गुना]]
+[[Category:द्वैत सिद्धांत]]
+[[Category:बीजगणितीय ज्यामिति की टोपोलॉजिकल विधियाँ]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 09:49, 2 August 2023

Contents

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

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

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

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 09:49, 2 August 2023

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

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

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

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories