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

Revision as of 19:57, 12 July 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^{*}$ बीच में $E$ और इसका दोहरी सदिश बंडल, मान लीजिए $\tau :E\to 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$ , इसलिए कोई हर्मिटियन को परिभाषित कर सकता है $L^{2}$ -ऐसे पर आंतरिक गुणनफल $E$ -मानित प्रपत्र द्वारा

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

यहां कहां $\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).

बायीं ओर डोल्बौल्ट सह समरूपता है, और दायीं ओर हार्मोनिक का सदिश समष्टि है $E$ -मानित विभेदक रूपों द्वारा परिभाषित

{\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)=\{\alpha \in \Omega ^{p,q}(X,E)\mid \Delta _{{\bar {\partial }}_{E}}(\alpha )=0\}.

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

H^{p,q}(X,E)\cong H^{n-p,n-q}(X,E^{*})^{*}.

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

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

समानता के साथ यदि और केवल यदि $\alpha =0$ । विशेष रूप से, सम्मिश्र रैखिक युग्मन

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

बीच में ${\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)$ और ${\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E^{*}}}}^{n-p,n-q}(X)$ गैर-पतित है, और सेरे द्वैत प्रमेय में समरूपता को प्रेरित करता है।

बीजगणितीय समायोजन में सेरे द्वैत का कथन लेकर पुनः प्राप्त किया जा सकता है $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)$ -forms केवल विहित बंडल है $X$ ।

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

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

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

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

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

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

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

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

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

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

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

जब^[6]

\omega _{X}\cong K_{Y}|_{X}\otimes {\bigwedge }^{r}(N_{X/Y}).

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

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

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

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

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

विशेष रूप से, हम सम्मिश्र विकृतियों की संख्या की गणना कर सकते हैं, के बराबर $\dim(H^{1}(X,TX))$ क्विंटिक तीन गुना के लिए $\mathbb {P} ^{4}$ , कैलाबी-यॉ प्रकार, सेरे द्वैत का उपयोग करते हुए। चूँकि Calabi-Yau संपत्ति सुनिश्चित करती है $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 के लिए, वस्तु होती है $\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)$ ।^[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)$ पूर्ण सम्मिश्र है, और इसलिए यह द्वैत सभी E और एफ पर लागू होता है $D_{\operatorname {coh} }^{b}(X)$ । उपरोक्त कथन को यह कहकर संक्षेप में प्रस्तुत किया गया है $F\mapsto F\otimes \omega _{X}^{\bullet }$ यह सेरे संक्रियक है $D_{\operatorname {coh} }^{b}(X)$ 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 की सहज विविधता है। 'विहित रेखा बंडल' को <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>
 ===विभेदक-ज्यामितीय प्रमेय===
-सेरे ने एक्स (एक कॉम्पैक्ट [[ जटिल अनेक गुना ]]) और ई (एक [[होलोमोर्फिक वेक्टर बंडल]]) के लिए भी समान द्वैत कथन साबित किया।<ref>Serre (1955); Huybrechts (2005), Proposition 4.1.15.</ref>
+सेरे ने X (एक संहत [[ जटिल अनेक गुना |सम्मिश्र कई गुना]] ) और E (एक [[होलोमोर्फिक वेक्टर बंडल|होलोमोर्फिक सदिश बंडल]]) के लिए भी समान द्वैत कथन सिद्ध किया था।<ref>Serre (1955); Huybrechts (2005), Proposition 4.1.15.</ref> यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, [[रीमैनियन मीट्रिक]] से सुसज्जित संहत मिश्रित कई गुना <math>X</math> पर , [[हॉज स्टार ऑपरेटर|हॉज स्टार संक्रियक]]
-यहाँ, सेरे द्वैत प्रमेय हॉज सिद्धांत का परिणाम है। अर्थात्, एक कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड पर <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>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>\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>L^2</math>-ऐसे पर आंतरिक गुणनफल <math>E</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>\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>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>\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>[\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>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 = 0</math>. विशेष रूप से, जटिल रैखिक युग्मन
+समानता के साथ यदि और केवल यदि <math>\alpha = 0</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>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> एक लाइन बंडल का बस उसके अनुभागों का स्थान है।
+सेरे द्वैत का मौलिक अनुप्रयोग बीजगणितीय वक्रों के लिए है। (सम्मिश्र संख्याओं पर, यह [[कॉम्पैक्ट रीमैन सतह|संहत रीमैन सतह]]ों पर विचार करने के बराबर है।) क्षेत्र 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^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> के बराबर है <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> एक्स पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <math>K_X</math>.) इसके अलावा मान लीजिए कि X, k के ठीक ऊपर है। X पर एक सुसंगत शीफ़ E और एक पूर्णांक i के लिए, सेरे द्वैत कहता है कि एक प्राकृतिक समरूपता है
+अर्थात्, क्षेत्र k पर शुद्ध विमा n की कोहेन-मैकाले योजना X के लिए, ग्रोथेंडिक ने सुसंगत शीफ को परिभाषित किया <math>\omega_X</math> X पर 'डुअलाइजिंग शीफ' कहा जाता है। (कुछ लेखक इसे शीफ कहते हैं <math>K_X</math>।) इसके अतिरिक्त मान लीजिए कि X, k के ठीक ऊपर है। X पर सुसंगत शीफ़ E और पूर्णांक i के लिए, सेरे द्वैत कहता है कि प्राकृतिक समरूपता है
 :<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 एक सदिश बंडल है।
+परिमित-विमीय 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> कैनोनिकल लाइन बंडल है <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>
 :<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 पूर्ण प्रतिच्छेदन है <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>
-योजक सूत्र द्वारा. उदाहरण के लिए, डिग्री 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>\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}}
-ग्रोथेंडिक का [[सुसंगत द्वैत]] का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का एक व्यापक सामान्यीकरण है। फ़ील्ड k पर परिमित प्रकार की किसी भी योजना X के लिए, एक वस्तु होती है <math>\omega_X^{\bullet}</math> X पर सुसंगत ढेरों की बंधी हुई व्युत्पन्न श्रेणी का, <math>D^b_{\operatorname{coh}}(X)</math>, जिसे ''k'' के ऊपर ''X'' का दोहरीकरण कॉम्प्लेक्स कहा जाता है। औपचारिक रूप से, <math>\omega_X^{\bullet}</math> असाधारण व्युत्क्रम छवि फ़ैक्टर है <math>f^!O_Y</math>, जहां f दिया गया रूपवाद है <math>X\to Y=\operatorname{Spec}(k)</math>. जब X शुद्ध आयाम n का कोहेन-मैकाले है, <math>\omega_X^{\bullet}</math> है <math>\omega_X[n]</math>; यानी, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (कोहोमोलॉजिकल) डिग्री -एन में एक जटिल के रूप में देखा जाता है। विशेष रूप से, जब X, k के ऊपर चिकना होता है, <math>\omega_X^{\bullet}</math> डिग्री −n में रखा गया कैनोनिकल लाइन बंडल है।
+ग्रोथेंडिक का [[सुसंगत द्वैत]] का सिद्धांत व्युत्पन्न श्रेणियों की भाषा का उपयोग करते हुए, सेरे द्वैत का व्यापक सामान्यीकरण है। क्षेत्र k पर परिमित प्रकार की किसी भी योजना X के लिए, वस्तु होती है <math>\omega_X^{\bullet}</math> X पर सुसंगत ढेरों की बंधी हुई व्युत्पन्न श्रेणी का, <math>D^b_{\operatorname{coh}}(X)</math>, जिसे ''k'' के ऊपर ''X'' का दोहरीकरण मिश्रित कहा जाता है। औपचारिक रूप से, <math>\omega_X^{\bullet}</math> असाधारण व्युत्क्रम छवि फ़ैक्टर है <math>f^!O_Y</math>, जहां f दिया गया रूपवाद है <math>X\to Y=\operatorname{Spec}(k)</math>। जब X शुद्ध विमा n का कोहेन-मैकाले है, <math>\omega_X^{\bullet}</math> है <math>\omega_X[n]</math>; यानी, यह ऊपर चर्चा की गई द्वैतीकरण शीफ है, जिसे (कोहोमोलॉजिकल) डिग्री -एन में सम्मिश्र के रूप में देखा जाता है। विशेष रूप से, जब X, k के ऊपर चिकना होता है, <math>\omega_X^{\bullet}</math> डिग्री −n में रखा गया विहित रेखा बंडल है।
-दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-आयामी k-वेक्टर रिक्त स्थान की एक प्राकृतिक समरूपता है
+दोहरीकरण परिसर का उपयोग करते हुए, सेरे द्वैत किसी भी उचित योजना X को k से अधिक सामान्यीकृत करता है। अर्थात्, परिमित-विमीय k-सदिश रिक्त समष्टि की प्राकृतिक समरूपता है
 :<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>
+किसी भी वस्तु के लिए 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>
-अधिक आम तौर पर, एक उचित योजना के लिए एक्स ओवर के, एक ऑब्जेक्ट ई इन <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> पूर्ण सम्मिश्र है, और इसलिए यह द्वैत सभी 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>
-किसी क्षेत्र में उचित बीजगणितीय रिक्त स्थान के लिए सेरे द्वैत अधिक सामान्यतः लागू होता है।<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 117: @@
 *{{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/}}

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 19:57, 12 July 2023

Contents

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

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

विभेदक-ज्यामितीय प्रमेय

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 19:57, 12 July 2023

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

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

विभेदक-ज्यामितीय प्रमेय

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

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

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

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

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories