स्थानीय सह-समरूपता: Difference between revisions
(Created page with "बीजगणितीय ज्यामिति में, स्थानीय कोहोमोलॉजी सापेक्ष समरूपता का...") |
No edit summary |
||
Line 1: | Line 1: | ||
[[बीजगणितीय ज्यामिति]] में, स्थानीय कोहोमोलॉजी [[सापेक्ष समरूपता]] का बीजगणितीय एनालॉग है। [[अलेक्जेंडर ग्रोथेंडिक]] ने 1961 में हार्वर्ड में सेमिनार में इसे | [[बीजगणितीय ज्यामिति]] में, '''स्थानीय कोहोमोलॉजी''' [[सापेक्ष समरूपता]] का एक बीजगणितीय एनालॉग है। [[अलेक्जेंडर ग्रोथेंडिक]] ने 1961 में हार्वर्ड में सेमिनार में इसे प्रस्तुत किया, जिसे {{harvtxt|हार्टशोर्न|1967}} ने लिखा, और 1961-2 में IHES में इसे SGA2 - {{harvtxt|ग्रोथेंडिक|1968}} के रूप में लिखा गया, जिसे {{harvtxt|Grothendieck|2005}} के रूप में पुनः प्रकाशित किया गया। एक बीजगणितीय विविधता (या योजना) के खुले उपसमुच्चय पर परिभाषित एक फ़ंक्शन (अधिक सामान्यतः, एक [[क्वासिकोहेरेंट शीफ]] का एक खंड) को देखते हुए, स्थानीय कोहोलॉजी उस फ़ंक्शन को एक बड़े डोमेन तक विस्तारित करने में बाधा को मापती है। | ||
उदाहरण के लिए, [[तर्कसंगत कार्य]] <math>1/x</math> फ़ील्ड <math>K</math> पर एफ़िन लाइन <math>\mathbb{A}^1_K</math> पर केवल <math>0</math> के पूरक पर परिभाषित किया गया है और इसे पूरे फ़ंक्शन पर विस्तारित नहीं किया जा सकता है अंतरिक्ष। स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^1_{(x)}(K[x])</math> (जहाँ <math>K[x]</math> का समन्वय वलय है) कोहोमोलॉजी वर्ग <math>[1/x]</math> के लुप्त न होने पर इसका पता लगाता है। इसी तरह से <math>1/xy</math> को एफ़िन प्लेन में <math>x</math> और <math>y</math> अक्षों से दूर परिभाषित किया गया है, लेकिन इसे x-अक्ष के पूरक या अकेले <math>y</math>-अक्ष के पूरक तक नहीं बढ़ाया जा सकता है (न ही इसे किया जा सकता है) ऐसे कार्यों के योग के रूप में व्यक्त) यह रुकावट स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^2_{(x,y)}(K[x,y])</math> में एक गैर-शून्य वर्ग <math>[1/xy]</math> से सटीक रूप से मेल खाती है।<ref>{{harvtxt|Hartshorne|1977|loc=Exercise 4.3}}</ref> | |||
बीजगणितीय ज्यामिति के अलावा, स्थानीय कोहोमोलॉजी ने [[क्रमविनिमेय बीजगणित]],<ref>{{harvtxt|Eisenbud|2005|loc=Chapter 4, Castelnuovo-Mumford Regularity}}</ref><ref>{{harvtxt|Brodmann|Sharp|1998|loc=Chapter 17, Hilbert Polynomials}}</ref><ref>{{harvtxt|Brodmann|Sharp|1998|loc=Chapter 18, Applications to reductions of ideals}}</ref> [[साहचर्य]],<ref>{{harvtxt|Huang|2002|loc=Chapter 10, Residue Methods in Combinatorial Analysis}}</ref><ref name="stanley164">{{cite book |title=संयोजन विज्ञान और क्रमविनिमेय बीजगणित|last=Stanley|first=Richard|year=1996 |publisher=Birkhäuser Boston, Inc.|location= Boston, MA |isbn=0-8176-3836-9 |page=164}}</ref><ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Lecture 16, Polyhedral Geometry}}</ref> और कुछ प्रकार के आंशिक अंतर समीकरणों में अनुप्रयोग पाया है।<ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Lecture 24, Holonomic Rank and Hypergeometric Systems}}</ref> | |||
==परिभाषा== | ==परिभाषा== | ||
सिद्धांत के सबसे सामान्य ज्यामितीय रूप में, | सिद्धांत के सबसे सामान्य ज्यामितीय रूप में, खंड <math>\Gamma_Y</math> को एक [[बंद उपसमुच्चय]] <math>Y</math> में समर्थन के साथ एक [[टोपोलॉजिकल स्पेस]] <math>X</math> पर, एबेलियन समूहों के एक शीफ <math>F</math> का माना जाता है। <math>\Gamma_Y</math> स्थानीय सह-समरूपता समूह बनाते हैं: | ||
:<math>H_Y^i(X,F)</math> | :<math>H_Y^i(X,F)</math> | ||
सिद्धांत के बीजगणितीय रूप में, अंतरिक्ष ) एम, | सिद्धांत के बीजगणितीय रूप में, अंतरिक्ष <math>X</math> एक क्रमविनिमेय रिंग आर (इस लेख में नोथेरियन माना जाता है) का स्पेक्ट्रम स्पेक (आर) है और शीफ <math>F</math> एक आर-मॉड्यूल एम से जुड़ा क्वासिकोहेरेंट शीफ है, जिसे <math>\tilde M</math> द्वारा दर्शाया गया है। बंद उपयोजना Y को एक आदर्श I द्वारा परिभाषित किया गया है। इस स्थिति में, फ़ैक्टर ΓY(F) I-टोरसन फ़ैक्टर से मेल खाता है, जो विनाशकों का एक संघ है | ||
:<math>\Gamma_I(M) := \bigcup_{n \ge 0} (0 :_M I^n),</math> | :<math>\Gamma_I(M) := \bigcup_{n \ge 0} (0 :_M I^n),</math> | ||
यानी, एम के तत्व जो | यानी, एम के तत्व जो I की कुछ शक्ति से नष्ट हो जाते हैं। एक सही व्युत्पन्न फ़ंक्टर के रूप में I के संबंध में ith स्थानीय कोहोमोलॉजी मॉड्यूल श्रृंखला परिसर <math>\Gamma_I(E^\bullet)</math> का ith कोहोमोलॉजी समूह <math>H^i(\Gamma_I(E^\bullet))</math> है मॉड्यूल <math>\tilde M</math> के एक इंजेक्शन रिज़ॉल्यूशन <math>E^\bullet</math> के आई-टोरसन भाग <math>E^\bullet</math> को लेने से प्राप्त किया गया। क्योंकि <math>E^\bullet</math> में आर-मॉड्यूल और आर-मॉड्यूल समरूपताएं शामिल हैं, स्थानीय सह-समरूपता समूहों में से प्रत्येक में आर-मॉड्यूल की प्राकृतिक संरचना होती है। | ||
I- | I-टोरसन भाग <math>\Gamma_I(M)</math> को वैकल्पिक रूप से इस प्रकार वर्णित किया जा सकता है: | ||
:<math>\Gamma_I(M) := \varinjlim_{n \in N} \operatorname {Hom}_R(R/I^n, M),</math> | :<math>\Gamma_I(M) := \varinjlim_{n \in N} \operatorname {Hom}_R(R/I^n, M),</math> | ||
और इस कारण से, आर-मॉड्यूल एम की स्थानीय कोहोलॉजी सहमत है<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 1.3.8}}</ref> | और इस कारण से, आर-मॉड्यूल एम की स्थानीय कोहोलॉजी एक्सट मॉड्यूल की प्रत्यक्ष सीमा से सहमत है<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 1.3.8}}</ref> | ||
:<math>H_I^i(M) := \varinjlim_{n \in N} \operatorname {Ext}_R^i(R/I^n, M).</math> | :<math>H_I^i(M) := \varinjlim_{n \in N} \operatorname {Ext}_R^i(R/I^n, M).</math> | ||
इनमें से किसी भी परिभाषा से यह निष्कर्ष निकलता है कि <math>H^i_I(M)</math> | इनमें से किसी भी परिभाषा से यह निष्कर्ष निकलता है कि <math>H^i_I(M)</math> अपरिवर्तित रहेगा यदि <math>I</math> को समान मूलांक वाले किसी अन्य आदर्श से प्रतिस्थापित कर दिया जाए।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Remark 1.2.3}}</ref>] इससे यह भी पता चलता है कि स्थानीय कोहोलॉजी I के लिए जनरेटर की किसी भी पसंद पर निर्भर नहीं करती है, एक तथ्य जो सेच कॉम्प्लेक्स से जुड़ी निम्नलिखित परिभाषा में प्रासंगिक हो जाता है। | ||
=== कोसज़ुल और सेच कॉम्प्लेक्स का उपयोग करना === | === कोसज़ुल और सेच कॉम्प्लेक्स का उपयोग करना === | ||
स्थानीय कोहोमोलॉजी की व्युत्पन्न | स्थानीय कोहोमोलॉजी की व्युत्पन्न फ़ंक्टर परिभाषा के लिए मॉड्यूल <math>\tilde M</math> के एक इंजेक्शन रिज़ॉल्यूशन की आवश्यकता होती है, जो इसे स्पष्ट गणनाओं में उपयोग के लिए दुर्गम बना सकता है।<ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|pp. 67}}</ref> कुछ संदर्भों में सेच कॉम्प्लेक्स को अधिक व्यावहारिक माना जाता है। अयंगर एट अल. (2007), उदाहरण के लिए, बताते हैं कि वे स्थानीय कोहोलॉजी की सेच जटिल परिभाषा प्रस्तुत करने से पहले "किसी दिए गए मॉड्यूल के लिए इन [इंजेक्टिव] प्रकार के प्रस्तावों में से किसी एक को वास्तव में उत्पन्न करने की समस्या" को "अनिवार्य रूप से अनदेखा" करते हैं, और {{harvtxt|हार्टशोर्न|1977}} ने सेच कोहोमोलॉजी का वर्णन "एक योजना पर अर्ध-सुसंगत शीव्स के कोहोमोलॉजी की गणना करने के लिए एक व्यावहारिक विधि देने" के रूप में किया है।<ref>{{harvtxt|Hartshorne|1977|p=218}}</ref> और "गणना के लिए उपयुक्त" के रूप में वर्णित किया गया है।<ref>{{harvtxt|Hartshorne|1977|p=219}}</ref> | ||
सेच कॉम्प्लेक्स को | |||
सेच कॉम्प्लेक्स को कोसज़ुल कॉम्प्लेक्स,<math>K^\bullet(f_1,\ldots,f_m)</math> के कोलिमिट के रूप में परिभाषित किया जा सकता है जहां <math>f_1,\ldots, f_n</math> <math>I</math> उत्पन्न करता है। स्थानीय कोहोमोलॉजी मॉड्यूल को इस प्रकार वर्णित किया जा सकता है:<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 5.2.9}}</ref> | |||
:<math>H_I^i(M) \cong \varinjlim_m H^i \left (\operatorname{Hom}_R \left (K^\bullet \left (f_1^m, \dots, f_n^m \right ), M \right ) \right )</math> | :<math>H_I^i(M) \cong \varinjlim_m H^i \left (\operatorname{Hom}_R \left (K^\bullet \left (f_1^m, \dots, f_n^m \right ), M \right ) \right )</math> | ||
Line 54: | Line 56: | ||
===श्रेणीबद्ध स्थानीय सहसंरचना और प्रक्षेप्य ज्यामिति=== | ===श्रेणीबद्ध स्थानीय सहसंरचना और प्रक्षेप्य ज्यामिति=== | ||
जब <math>R</math> को <math>\mathbb{N}</math> द्वारा ग्रेड किया जाता है, <math>I</math> सजातीय तत्वों द्वारा उत्पन्न होता है और <math>M</math> एक ग्रेडेड मॉड्यूल है, तो स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^i_I(M)</math> पर एक प्राकृतिक ग्रेडिंग होती है जो <math>M</math> और <math>R</math> की ग्रेडिंग के साथ संगत है।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Corollary 12.3.3}}</ref> इस आलेख में व्यक्त स्थानीय सह-समरूपता के सभी बुनियादी गुण श्रेणीबद्ध संरचना के अनुकूल हैं।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Chapter 13}}</ref> यदि <math>M</math> परिमित रूप से उत्पन्न होता है और <math>I=\mathfrak{m}</math> सकारात्मक डिग्री वाले <math>R</math> के तत्वों द्वारा उत्पन्न आदर्श है, तो श्रेणीबद्ध घटक <math>H^i_{\mathfrak{m}}(M)_n</math> <math>R</math> पर परिमित रूप से उत्पन्न होते हैं और पर्याप्त रूप से बड़े <math>n</math> के लिए गायब हो जाते हैं।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Proposition 15.1.5}}</ref> | |||
मामला जहां <math>I=\mathfrak m</math> सकारात्मक डिग्री के सभी तत्वों द्वारा उत्पन्न आदर्श (कभी-कभी [[अप्रासंगिक आदर्श]] कहा जाता है) | |||
वह मामला जहां <math>I=\mathfrak m</math> सकारात्मक डिग्री के सभी तत्वों द्वारा उत्पन्न आदर्श है (कभी-कभी [[अप्रासंगिक आदर्श]] कहा जाता है) प्रक्षेप्य ज्यामिति के साथ इसके संबंध के कारण विशेष रूप से विशेष है।<ref>{{harvtxt|Eisenbud|1995|loc=§A.4}}</ref> इस मामले में, एक समरूपता है | |||
:<math>H^{i+1}_{\mathfrak m}(M)\cong \bigoplus_{k \in \mathbf Z} H^i(\text{Proj}(R), \tilde M(k))</math> | :<math>H^{i+1}_{\mathfrak m}(M)\cong \bigoplus_{k \in \mathbf Z} H^i(\text{Proj}(R), \tilde M(k))</math> | ||
जहां <math>\text{Proj}(R)</math> <math>R</math> से जुड़ी प्रक्षेप्य योजना है, और <math>(k)</math> सेरे ट्विस्ट को दर्शाता है। इस समरूपता को वर्गीकृत करते हुए दिया गया है | |||
:<math>H^{i+1}_{\mathfrak m}(M)_n \cong H^i(\text{Proj}(R), \tilde M(n))</math> | :<math>H^{i+1}_{\mathfrak m}(M)_n \cong H^i(\text{Proj}(R), \tilde M(n))</math> | ||
सभी डिग्री में <math>n</math>.<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 20.4.4}}</ref> | सभी डिग्री में <math>n</math>.<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 20.4.4}}</ref>: | ||
यह समरूपता स्थानीय सह-समरूपता को | |||
यह समरूपता स्थानीय सह-समरूपता को प्रक्षेप्य योजनाओं की वैश्विक सह-समरूपता से जोड़ती है। उदाहरण के लिए, कैस्टेलनुवो-ममफोर्ड नियमितता को स्थानीय कोहोमोलॉजी<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Definition 15.2.9}}</ref> का उपयोग करके तैयार किया जा सकता है: | |||
:<math>\text{reg}(M) = \text{sup}\{\text{end}(H^i_{\mathfrak{m}}(M))+i\,|\, 0\leq i\leq \text{dim}(M)\}</math> | :<math>\text{reg}(M) = \text{sup}\{\text{end}(H^i_{\mathfrak{m}}(M))+i\,|\, 0\leq i\leq \text{dim}(M)\}</math> | ||
जहां <math>\text{end}(N)</math> उच्चतम डिग्री <math>t</math> को दर्शाता है जैसे कि <math>N_t\neq 0</math> नियमितता से संबंधित कुछ ऊपरी सीमा वाले परिणामों को साबित करने के लिए स्थानीय सह-समरूपता का उपयोग किया जा सकता है।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Chapter 16}}</ref> | |||
==उदाहरण== | ==उदाहरण== | ||
===शीर्ष स्थानीय सहसंरचना=== | ===शीर्ष स्थानीय सहसंरचना=== | ||
सेच कॉम्प्लेक्स का उपयोग | सेच कॉम्प्लेक्स का उपयोग करते हुए, यदि <math>I=(f_1,\ldots,f_n)R</math> स्थानीय कोहोलॉजी मॉड्यूल <math>H^n_I(M)</math> औपचारिक अंशों की छवियों द्वारा <math>R</math> पर उत्पन्न होता है: | ||
:<math>\left[\frac{m}{f_1^{t_1}\cdots f_n^{t_n}}\right]</math> | :<math>\left[\frac{m}{f_1^{t_1}\cdots f_n^{t_n}}\right]</math> | ||
<math>m\in M</math> और <math>t_1,\ldots,t_n\geq 1</math> के लिए यह अंश <math>H^n_I(M)</math> '''के एक गैर-शून्य तत्व से मेल खाता है<ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Corollary 7.14}}</ref> यदि और केवल यदि कोई <math>k\geq 0</math> नहीं है जैसे कि <math>(f_1\cdots f_t)^k m \in (f_1^{t_1+k},\ldots,f_t^{t_n+k})M</math> उदाहरण''' के लिए यदि <math>t_i=1</math> तो<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Exercise 5.1.21}}</ref> | |||
:<math>f_i\cdot \left[\frac{m}{f_1^{t_1}\cdots f_i\cdots f_n^{t_n}}\right]=0.</math> | :<math>f_i\cdot \left[\frac{m}{f_1^{t_1}\cdots f_i\cdots f_n^{t_n}}\right]=0.</math> | ||
* अगर <math>K</math> एक फ़ील्ड (गणित) है और <math>R=K[x_1,\ldots,x_n]</math> ऊपर एक [[बहुपद वलय]] है <math>K</math> में <math>n</math> चर, फिर स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^n_{(x_1,\ldots,x_n)}(K[x_1,\ldots,x_n])</math> इसे एक सदिश समष्टि के रूप में माना जा सकता है <math>K</math> व्युत्क्रम एकपदी (सेच कोहोमोलॉजी कक्षाओं) द्वारा दिए गए आधार के साथ <math>\left[x_1^{-t_1}\cdots x_n^{-t_n}\right]</math> के लिए <math>t_1,\ldots,t_n\geq 1</math>.<ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Exercise 7.16}}</ref> एक के रूप में <math>R</math>-मॉड्यूल, से गुणा <math>x_i</math> कम हो <math>t_i</math> 1 द्वारा, शर्त के अधीन <math>x_i\cdot \left[x_1^{-t_1}\cdots x_i^{-1}\cdots x_n^{-t_n}\right]=0.</math> क्योंकि शक्तियां <math>t_i</math> के तत्वों से गुणा करके नहीं बढ़ाया जा सकता <math>R</math>, मॉड्यूल <math>H^n_{(x_1,\ldots,x_n)}(K[x_1,\ldots,x_n])</math> [[अंतिम रूप से उत्पन्न मॉड्यूल]] नहीं है। | * अगर <math>K</math> एक फ़ील्ड (गणित) है और <math>R=K[x_1,\ldots,x_n]</math> ऊपर एक [[बहुपद वलय]] है <math>K</math> में <math>n</math> चर, फिर स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^n_{(x_1,\ldots,x_n)}(K[x_1,\ldots,x_n])</math> इसे एक सदिश समष्टि के रूप में माना जा सकता है <math>K</math> व्युत्क्रम एकपदी (सेच कोहोमोलॉजी कक्षाओं) द्वारा दिए गए आधार के साथ <math>\left[x_1^{-t_1}\cdots x_n^{-t_n}\right]</math> के लिए <math>t_1,\ldots,t_n\geq 1</math>.<ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Exercise 7.16}}</ref> एक के रूप में <math>R</math>-मॉड्यूल, से गुणा <math>x_i</math> कम हो <math>t_i</math> 1 द्वारा, शर्त के अधीन <math>x_i\cdot \left[x_1^{-t_1}\cdots x_i^{-1}\cdots x_n^{-t_n}\right]=0.</math> क्योंकि शक्तियां <math>t_i</math> के तत्वों से गुणा करके नहीं बढ़ाया जा सकता <math>R</math>, मॉड्यूल <math>H^n_{(x_1,\ldots,x_n)}(K[x_1,\ldots,x_n])</math> [[अंतिम रूप से उत्पन्न मॉड्यूल]] नहीं है। | ||
Line 85: | Line 88: | ||
* अगर <math>R=K[X,Y^2,XY,Y^3]</math> और <math>I=(X,Y^2)R</math>, तब <math>H^0(U,\tilde R)=K[X,Y]</math> और एक सदिश समष्टि के रूप में <math>K</math>, पहला स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^1_I(R)</math> है <math>K[X,Y]/K[X,Y^2,XY,Y^3]</math>, एक 1-आयामी <math>K</math> वेक्टर स्पेस द्वारा उत्पन्न <math>Y</math>.<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Exercise 2.3.6(v)}}</ref> | * अगर <math>R=K[X,Y^2,XY,Y^3]</math> और <math>I=(X,Y^2)R</math>, तब <math>H^0(U,\tilde R)=K[X,Y]</math> और एक सदिश समष्टि के रूप में <math>K</math>, पहला स्थानीय कोहोमोलॉजी मॉड्यूल <math>H^1_I(R)</math> है <math>K[X,Y]/K[X,Y^2,XY,Y^3]</math>, एक 1-आयामी <math>K</math> वेक्टर स्पेस द्वारा उत्पन्न <math>Y</math>.<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Exercise 2.3.6(v)}}</ref> | ||
* अगर <math>R=K[X,Y]/(X^2,XY)</math> और <math>\mathfrak{m}=(X,Y)R</math>, तब <math>\Gamma_{\mathfrak{m}}(R)=xR</math> और <math>H^0(U,\tilde R)=K[Y,Y^{-1}]</math>, इसलिए <math>H^1_{\mathfrak{m}}(R)=K[Y,Y^{-1}]/K[Y]</math> अनंत-आयामी है <math>K</math> आधार के साथ सदिश स्थान <math>Y^{-1},Y^{-2},Y^{-3},\ldots</math><ref>{{harvtxt|Eisenbud|2005|loc=Example A1.10}}</ref> | * अगर <math>R=K[X,Y]/(X^2,XY)</math> और <math>\mathfrak{m}=(X,Y)R</math>, तब <math>\Gamma_{\mathfrak{m}}(R)=xR</math> और <math>H^0(U,\tilde R)=K[Y,Y^{-1}]</math>, इसलिए <math>H^1_{\mathfrak{m}}(R)=K[Y,Y^{-1}]/K[Y]</math> अनंत-आयामी है <math>K</math> आधार के साथ सदिश स्थान <math>Y^{-1},Y^{-2},Y^{-3},\ldots</math><ref>{{harvtxt|Eisenbud|2005|loc=Example A1.10}}</ref> | ||
==मॉड्यूल के अपरिवर्तनीयों से संबंध== | ==मॉड्यूल के अपरिवर्तनीयों से संबंध== | ||
एक मॉड्यूल का आयाम dimR(M) (इसके समर्थन के क्रुल आयाम के रूप में परिभाषित) स्थानीय कोहोमोलॉजी मॉड्यूल के लिए एक ऊपरी सीमा प्रदान करता है<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 6.1.2}}</ref> | |||
:<math>H_I^n(M) = 0 \text{ for all }n>\dim_R(M).</math> | :<math>H_I^n(M) = 0 \text{ for all }n>\dim_R(M).</math> | ||
यदि R [[स्थानीय रिंग]] है और M | यदि R [[स्थानीय रिंग]] है और M परिमित रूप से उत्पन्न होता है तो यह सीमा तीव्र है अर्थात <math>H^n_\mathfrak{m}(M) \ne 0</math> | ||
गहराई (नियमित एम-अनुक्रम की अधिकतम लंबाई के रूप में परिभाषित; जिसे एम के ग्रेड के रूप में भी जाना जाता है) एक तीव्र निचली सीमा प्रदान करती है, अर्थात, यह सबसे छोटा पूर्णांक n है जैसे कि<ref>{{harvtxt|Hartshorne|1967|loc=Theorem 3.8}}, {{harvtxt|Brodmann|Sharp|1998|loc=Theorem 6.2.7}}, ''M'' is finitely generated, ''IM'' ≠ ''M''</ref> | |||
:<math>H^n_I(M) \ne 0.</math> | :<math>H^n_I(M) \ne 0.</math> | ||
ये | ये दो सीमाएँ मिलकर स्थानीय रिंगों पर कोहेन-मैकाले मॉड्यूल का एक लक्षण वर्णन उत्पन्न करती हैं: वे सटीक रूप से वे मॉड्यूल हैं जहाँ <math>H^n_\mathfrak{m}(M)</math> एक n को छोड़कर सभी के लिए गायब हो जाता है। | ||
==स्थानीय द्वंद्व== | ==स्थानीय द्वंद्व== | ||
[[स्थानीय द्वैत प्रमेय]] | [[स्थानीय द्वैत प्रमेय]] सेरे द्वैत का एक स्थानीय एनालॉग है। आयाम <math>d</math> के [[कोहेन-मैकाले]] स्थानीय रिंग <math>R</math> के लिए, जो [[गोरेन्स्टीन रिंग|गोरेन्स्टीन]] स्थानीय रिंग की एक समरूप छवि है <ref>{{harvtxt|Bruns|Herzog|1998|loc=Theorem 3.3.6}}</ref> (उदाहरण के लिए यदि <math>R</math> पूर्ण है तो यह बताता है कि प्राकृतिक युग्मन है।<ref>{{harvtxt|Bruns|Herzog|1998|loc=Corollary 3.3.8}}</ref> | ||
:<math>H^n_\mathfrak m(M) \times \operatorname{Ext}_R^{d-n}(M, \omega_R) \to H^d_\mathfrak m(\omega_R)</math> | :<math>H^n_\mathfrak m(M) \times \operatorname{Ext}_R^{d-n}(M, \omega_R) \to H^d_\mathfrak m(\omega_R)</math> | ||
एक आदर्श | एक आदर्श युग्मन है, जहां <math>\omega_R</math> के लिए एक दोहरीकरण मॉड्यूल <math>R</math> है।<ref>{{harvtxt|Hartshorne|1967|loc=Theorem 6.7}}</ref> मैटलिस द्वैत फ़ैक्टर <math>D(-)</math> के संदर्भ में, स्थानीय द्वैत प्रमेय को निम्नलिखित समरूपता के रूप में व्यक्त किया जा सकता है।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=Theorem 11.2.8}}</ref> | ||
:<math>H^n_\mathfrak m(M) \cong D(\operatorname{Ext}_R^{d-n}(M,\omega_R))</math> | :<math>H^n_\mathfrak m(M) \cong D(\operatorname{Ext}_R^{d-n}(M,\omega_R))</math> | ||
कथन सरल है जब <math>\omega_R \cong R</math>, जो समतुल्य है<ref>{{harvtxt|Bruns|Herzog|1998|loc=Theorem 3.3.7}}</ref> | कथन तब सरल होता है जब <math>\omega_R \cong R</math>, जो इस परिकल्पना के समतुल्य है कि <math>R</math> गोरेन्स्टीन है। यह मामला है, उदाहरण के लिए यदि <math>R</math> नियमित है।<ref>{{harvtxt|Bruns|Herzog|1998|loc=Theorem 3.3.7}}</ref> | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
प्रारंभिक अनुप्रयोग [[लेफ्शेट्ज़ हाइपरप्लेन प्रमेय]] | प्रारंभिक अनुप्रयोग [[लेफ्शेट्ज़ हाइपरप्लेन प्रमेय|लेफ्शेट्ज़ हाइपरप्लेन]] प्रमेयों के एनालॉग्स के लिए थे। सामान्य तौर पर ऐसे प्रमेय बताते हैं कि कुछ 'नुकसान' को छोड़कर, जिसे नियंत्रित किया जा सकता है, बीजगणितीय विविधता के हाइपरप्लेन अनुभाग पर होमोलॉजी या कोहोलॉजी का समर्थन किया जाता है। ये परिणाम बीजगणितीय मौलिक समूह और [[पिकार्ड समूह]] पर लागू होते हैं। | ||
एक अन्य प्रकार के अनुप्रयोग कनेक्टिविटी प्रमेय हैं जैसे | एक अन्य प्रकार के अनुप्रयोग कनेक्टिविटी प्रमेय हैं जैसे ग्रोथेंडिक की कनेक्टिविटी प्रमेय (बर्टिनी प्रमेय का एक स्थानीय एनालॉग) या {{harvtxt|Fulton|Hansen|1979}} और {{harvtxt|Faltings|1979}} के कारण फुल्टन-हैनसेन कनेक्टिविटी प्रमेय। उत्तरार्द्ध का दावा है कि बीजगणितीय रूप से बंद क्षेत्र पर पीआर में दो प्रक्षेप्य किस्मों वी और डब्ल्यू के लिए, जेड = वी ∩ डब्ल्यू का कनेक्टिविटी आयाम (यानी, जेड के एक बंद उपसमुच्चय टी का न्यूनतम आयाम जिसे जेड से हटाया जाना है) पूरक Z\T विच्छेदित है) से बंधा हुआ है | ||
:c(Z) ≥ dim V + dim W - r - 1. | :c(Z) ≥ dim V + dim W - r - 1. | ||
उदाहरण के लिए | उदाहरण के लिए यदि dim V + dim W > r है तो Z जुड़ा हुआ है।<ref>{{harvtxt|Brodmann|Sharp|1998|loc=§19.6}}</ref> | ||
पॉलीहेड्रल ज्यामिति में, स्टैनली के 1975 के मैकमुलेन के ऊपरी बाउंड प्रमेय के सरल रूप के प्रमाण के एक प्रमुख घटक में यह दिखाना शामिल है कि संबंधित सरल परिसर की [[स्टेनली-रीस्नर रिंग|स्टेनली-रीस्नर रिं]] कोहेन-मैकॉले है, और होचस्टर के सूत्र के माध्यम से इस गणना में स्थानीय कोहोमोलॉजी एक महत्वपूर्ण उपकरण है।.<ref>{{cite news |title=ऊपरी सीमा अनुमान कैसे सिद्ध किया गया|last=Stanley|first=Richard|year=2014|journal=Annals of Combinatorics|pages=533–539|volume=18}}</ref><ref name="stanley164" /><ref>{{harvtxt|Iyengar|Leuschke|Leykin|Miller|Miller|Singh|Walther|2007|loc=Lecture 16}}</ref> | |||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 20:59, 13 July 2023
बीजगणितीय ज्यामिति में, स्थानीय कोहोमोलॉजी सापेक्ष समरूपता का एक बीजगणितीय एनालॉग है। अलेक्जेंडर ग्रोथेंडिक ने 1961 में हार्वर्ड में सेमिनार में इसे प्रस्तुत किया, जिसे हार्टशोर्न (1967) ने लिखा, और 1961-2 में IHES में इसे SGA2 - ग्रोथेंडिक (1968) के रूप में लिखा गया, जिसे Grothendieck (2005) के रूप में पुनः प्रकाशित किया गया। एक बीजगणितीय विविधता (या योजना) के खुले उपसमुच्चय पर परिभाषित एक फ़ंक्शन (अधिक सामान्यतः, एक क्वासिकोहेरेंट शीफ का एक खंड) को देखते हुए, स्थानीय कोहोलॉजी उस फ़ंक्शन को एक बड़े डोमेन तक विस्तारित करने में बाधा को मापती है।
उदाहरण के लिए, तर्कसंगत कार्य फ़ील्ड पर एफ़िन लाइन पर केवल के पूरक पर परिभाषित किया गया है और इसे पूरे फ़ंक्शन पर विस्तारित नहीं किया जा सकता है अंतरिक्ष। स्थानीय कोहोमोलॉजी मॉड्यूल (जहाँ का समन्वय वलय है) कोहोमोलॉजी वर्ग के लुप्त न होने पर इसका पता लगाता है। इसी तरह से को एफ़िन प्लेन में और अक्षों से दूर परिभाषित किया गया है, लेकिन इसे x-अक्ष के पूरक या अकेले -अक्ष के पूरक तक नहीं बढ़ाया जा सकता है (न ही इसे किया जा सकता है) ऐसे कार्यों के योग के रूप में व्यक्त) यह रुकावट स्थानीय कोहोमोलॉजी मॉड्यूल में एक गैर-शून्य वर्ग से सटीक रूप से मेल खाती है।[1]
बीजगणितीय ज्यामिति के अलावा, स्थानीय कोहोमोलॉजी ने क्रमविनिमेय बीजगणित,[2][3][4] साहचर्य,[5][6][7] और कुछ प्रकार के आंशिक अंतर समीकरणों में अनुप्रयोग पाया है।[8]
परिभाषा
सिद्धांत के सबसे सामान्य ज्यामितीय रूप में, खंड को एक बंद उपसमुच्चय में समर्थन के साथ एक टोपोलॉजिकल स्पेस पर, एबेलियन समूहों के एक शीफ का माना जाता है। स्थानीय सह-समरूपता समूह बनाते हैं:
सिद्धांत के बीजगणितीय रूप में, अंतरिक्ष एक क्रमविनिमेय रिंग आर (इस लेख में नोथेरियन माना जाता है) का स्पेक्ट्रम स्पेक (आर) है और शीफ एक आर-मॉड्यूल एम से जुड़ा क्वासिकोहेरेंट शीफ है, जिसे द्वारा दर्शाया गया है। बंद उपयोजना Y को एक आदर्श I द्वारा परिभाषित किया गया है। इस स्थिति में, फ़ैक्टर ΓY(F) I-टोरसन फ़ैक्टर से मेल खाता है, जो विनाशकों का एक संघ है
यानी, एम के तत्व जो I की कुछ शक्ति से नष्ट हो जाते हैं। एक सही व्युत्पन्न फ़ंक्टर के रूप में I के संबंध में ith स्थानीय कोहोमोलॉजी मॉड्यूल श्रृंखला परिसर का ith कोहोमोलॉजी समूह है मॉड्यूल के एक इंजेक्शन रिज़ॉल्यूशन के आई-टोरसन भाग को लेने से प्राप्त किया गया। क्योंकि में आर-मॉड्यूल और आर-मॉड्यूल समरूपताएं शामिल हैं, स्थानीय सह-समरूपता समूहों में से प्रत्येक में आर-मॉड्यूल की प्राकृतिक संरचना होती है।
I-टोरसन भाग को वैकल्पिक रूप से इस प्रकार वर्णित किया जा सकता है:
और इस कारण से, आर-मॉड्यूल एम की स्थानीय कोहोलॉजी एक्सट मॉड्यूल की प्रत्यक्ष सीमा से सहमत है[9]
इनमें से किसी भी परिभाषा से यह निष्कर्ष निकलता है कि अपरिवर्तित रहेगा यदि को समान मूलांक वाले किसी अन्य आदर्श से प्रतिस्थापित कर दिया जाए।[10]] इससे यह भी पता चलता है कि स्थानीय कोहोलॉजी I के लिए जनरेटर की किसी भी पसंद पर निर्भर नहीं करती है, एक तथ्य जो सेच कॉम्प्लेक्स से जुड़ी निम्नलिखित परिभाषा में प्रासंगिक हो जाता है।
कोसज़ुल और सेच कॉम्प्लेक्स का उपयोग करना
स्थानीय कोहोमोलॉजी की व्युत्पन्न फ़ंक्टर परिभाषा के लिए मॉड्यूल के एक इंजेक्शन रिज़ॉल्यूशन की आवश्यकता होती है, जो इसे स्पष्ट गणनाओं में उपयोग के लिए दुर्गम बना सकता है।[11] कुछ संदर्भों में सेच कॉम्प्लेक्स को अधिक व्यावहारिक माना जाता है। अयंगर एट अल. (2007), उदाहरण के लिए, बताते हैं कि वे स्थानीय कोहोलॉजी की सेच जटिल परिभाषा प्रस्तुत करने से पहले "किसी दिए गए मॉड्यूल के लिए इन [इंजेक्टिव] प्रकार के प्रस्तावों में से किसी एक को वास्तव में उत्पन्न करने की समस्या" को "अनिवार्य रूप से अनदेखा" करते हैं, और हार्टशोर्न (1977) ने सेच कोहोमोलॉजी का वर्णन "एक योजना पर अर्ध-सुसंगत शीव्स के कोहोमोलॉजी की गणना करने के लिए एक व्यावहारिक विधि देने" के रूप में किया है।[12] और "गणना के लिए उपयुक्त" के रूप में वर्णित किया गया है।[13]
सेच कॉम्प्लेक्स को कोसज़ुल कॉम्प्लेक्स, के कोलिमिट के रूप में परिभाषित किया जा सकता है जहां उत्पन्न करता है। स्थानीय कोहोमोलॉजी मॉड्यूल को इस प्रकार वर्णित किया जा सकता है:[14]
कोस्ज़ुल कॉम्प्लेक्स में वह गुण होता है जिससे गुणा किया जाता है एक श्रृंखला जटिल रूपवाद को प्रेरित करता है यह शून्य का समस्थानिक है,[15] अर्थ द्वारा नष्ट कर दिया जाता है . की सीमा में एक गैर-शून्य मानचित्र सेट में सीमित रूप से कई कोसज़ुल परिसरों को छोड़कर सभी के मानचित्र शामिल हैं, और जो आदर्श में किसी तत्व द्वारा नष्ट नहीं किए गए हैं।
कोसज़ुल परिसरों का यह कोलिमिट समरूपी है[16] चेक कोहोमोलॉजी|सेच कॉम्प्लेक्स, निरूपित , नीचे। <ब्लॉककोट> </ब्लॉककोट> मैं कहाँ हूँवेंका स्थानीय कोहोमोलोजी मॉड्यूल इसके संबंध में के लिए समरूपी है[17] मैंउपरोक्त श्रृंखला परिसर की कोहॉमोलॉजी,
स्थानीय कोहोमोलॉजी मॉड्यूल (विशेषता (बीजगणित) में) की गणना के व्यापक मुद्दे पर चर्चा की गई है Leykin (2002) और Iyengar et al. (2007, Lecture 23).
बुनियादी गुण
चूंकि आर-मॉड्यूल के किसी भी छोटे सटीक अनुक्रम के लिए स्थानीय कोहोमोलॉजी को व्युत्पन्न फ़ैक्टर के रूप में परिभाषित किया गया है , परिभाषा के अनुसार, स्थानीय कोहोलॉजी में एक प्राकृतिक लंबा सटीक अनुक्रम है
- स्थानीय कोहोमोलॉजी मॉड्यूल के साथ एक्स और खुले सेट यू = एक्स \ वाई के सामान्य शीफ़ कोहोमोलोजी को जोड़ने वाले शीफ कोहोमोलॉजी का एक लंबा सटीक अनुक्रम भी है। एक्स पर परिभाषित क्वासिकोहेरेंट शीफ एफ के लिए, इसका रूप है
सेटिंग में जहां एक्स एक एफ़िन योजना है और Y एक आदर्श (रिंग सिद्धांत) I, कोहोमोलॉजी समूहों का लुप्त हो रहा सेट है के लिए गायब हो जाओ .[18] अगर , इससे एक सटीक अनुक्रम प्राप्त होता है
जहां मध्य मानचित्र खंडों का प्रतिबंध है। इस प्रतिबंध मानचित्र के लक्ष्य को आदर्श परिवर्तन भी कहा जाता है। n ≥ 1 के लिए, समरूपताएँ हैं
शीफ कोहोमोलॉजी के साथ उपरोक्त समरूपता के कारण, योजना पर कई सार्थक बीजगणितीय टोपोलॉजी निर्माणों को व्यक्त करने के लिए स्थानीय कोहोमोलॉजी का उपयोग किया जा सकता है। विशुद्ध रूप से बीजगणितीय शब्दों में. उदाहरण के लिए, एक्स में खुले सेट यू और वी की एक जोड़ी के संबंध में मेयर-विएटोरिस अनुक्रम के स्थानीय कोहोलॉजी में एक प्राकृतिक एनालॉग है, जो क्रमशः आदर्श आई और जे की जोड़ी के अनुरूप बंद उप-योजनाओं के पूरक द्वारा दिया गया है। .[19] इस क्रम का स्वरूप है
किसी के लिए -मापांक .
स्थानीय कोहोलॉजी के लुप्त होने का उपयोग बीजगणितीय सेट को परिभाषित करने के लिए आवश्यक (सैद्धांतिक रूप से सेट) समीकरणों की कम से कम संख्या (अंकगणितीय रैंक के रूप में संदर्भित) को बाध्य करने के लिए किया जा सकता है। में . अगर के समान मूलांक है , और द्वारा उत्पन्न होता है तत्व, फिर जनरेटर पर Čech कॉम्प्लेक्स डिग्री में कोई शर्त नहीं है . सभी आदर्शों में जनरेटरों की संख्या सबसे कम ऐसा है कि की अंकगणितीय रैंक है , निरूपित .[20] चूंकि स्थानीय सहसंबद्धता के संबंध में ऐसे किसी भी आदर्श का उपयोग करके गणना की जा सकती है, यह उसका अनुसरण करता है के लिए .[21]
श्रेणीबद्ध स्थानीय सहसंरचना और प्रक्षेप्य ज्यामिति
जब को द्वारा ग्रेड किया जाता है, सजातीय तत्वों द्वारा उत्पन्न होता है और एक ग्रेडेड मॉड्यूल है, तो स्थानीय कोहोमोलॉजी मॉड्यूल पर एक प्राकृतिक ग्रेडिंग होती है जो और की ग्रेडिंग के साथ संगत है।[22] इस आलेख में व्यक्त स्थानीय सह-समरूपता के सभी बुनियादी गुण श्रेणीबद्ध संरचना के अनुकूल हैं।[23] यदि परिमित रूप से उत्पन्न होता है और सकारात्मक डिग्री वाले के तत्वों द्वारा उत्पन्न आदर्श है, तो श्रेणीबद्ध घटक पर परिमित रूप से उत्पन्न होते हैं और पर्याप्त रूप से बड़े के लिए गायब हो जाते हैं।[24]
वह मामला जहां सकारात्मक डिग्री के सभी तत्वों द्वारा उत्पन्न आदर्श है (कभी-कभी अप्रासंगिक आदर्श कहा जाता है) प्रक्षेप्य ज्यामिति के साथ इसके संबंध के कारण विशेष रूप से विशेष है।[25] इस मामले में, एक समरूपता है
जहां से जुड़ी प्रक्षेप्य योजना है, और सेरे ट्विस्ट को दर्शाता है। इस समरूपता को वर्गीकृत करते हुए दिया गया है
सभी डिग्री में .[26]:
यह समरूपता स्थानीय सह-समरूपता को प्रक्षेप्य योजनाओं की वैश्विक सह-समरूपता से जोड़ती है। उदाहरण के लिए, कैस्टेलनुवो-ममफोर्ड नियमितता को स्थानीय कोहोमोलॉजी[27] का उपयोग करके तैयार किया जा सकता है:
जहां उच्चतम डिग्री को दर्शाता है जैसे कि नियमितता से संबंधित कुछ ऊपरी सीमा वाले परिणामों को साबित करने के लिए स्थानीय सह-समरूपता का उपयोग किया जा सकता है।[28]
उदाहरण
शीर्ष स्थानीय सहसंरचना
सेच कॉम्प्लेक्स का उपयोग करते हुए, यदि स्थानीय कोहोलॉजी मॉड्यूल औपचारिक अंशों की छवियों द्वारा पर उत्पन्न होता है:
और के लिए यह अंश के एक गैर-शून्य तत्व से मेल खाता है[29] यदि और केवल यदि कोई नहीं है जैसे कि उदाहरण के लिए यदि तो[30]
- अगर एक फ़ील्ड (गणित) है और ऊपर एक बहुपद वलय है में चर, फिर स्थानीय कोहोमोलॉजी मॉड्यूल इसे एक सदिश समष्टि के रूप में माना जा सकता है व्युत्क्रम एकपदी (सेच कोहोमोलॉजी कक्षाओं) द्वारा दिए गए आधार के साथ के लिए .[31] एक के रूप में -मॉड्यूल, से गुणा कम हो 1 द्वारा, शर्त के अधीन क्योंकि शक्तियां के तत्वों से गुणा करके नहीं बढ़ाया जा सकता , मॉड्यूल अंतिम रूप से उत्पन्न मॉड्यूल नहीं है।
एच के उदाहरण1
अगर ज्ञात है (कहां ), मॉड्यूल कभी-कभी अनुक्रम का उपयोग करके स्पष्ट रूप से गणना की जा सकती है
निम्नलिखित उदाहरणों में, क्या कोई फ़ील्ड (गणित) है?
- अगर और , तब और एक सदिश समष्टि के रूप में , पहला स्थानीय कोहोमोलॉजी मॉड्यूल है , एक 1-आयामी वेक्टर स्पेस द्वारा उत्पन्न .[32]
- अगर और , तब और , इसलिए अनंत-आयामी है आधार के साथ सदिश स्थान [33]
मॉड्यूल के अपरिवर्तनीयों से संबंध
एक मॉड्यूल का आयाम dimR(M) (इसके समर्थन के क्रुल आयाम के रूप में परिभाषित) स्थानीय कोहोमोलॉजी मॉड्यूल के लिए एक ऊपरी सीमा प्रदान करता है[34]
यदि R स्थानीय रिंग है और M परिमित रूप से उत्पन्न होता है तो यह सीमा तीव्र है अर्थात
गहराई (नियमित एम-अनुक्रम की अधिकतम लंबाई के रूप में परिभाषित; जिसे एम के ग्रेड के रूप में भी जाना जाता है) एक तीव्र निचली सीमा प्रदान करती है, अर्थात, यह सबसे छोटा पूर्णांक n है जैसे कि[35]
ये दो सीमाएँ मिलकर स्थानीय रिंगों पर कोहेन-मैकाले मॉड्यूल का एक लक्षण वर्णन उत्पन्न करती हैं: वे सटीक रूप से वे मॉड्यूल हैं जहाँ एक n को छोड़कर सभी के लिए गायब हो जाता है।
स्थानीय द्वंद्व
स्थानीय द्वैत प्रमेय सेरे द्वैत का एक स्थानीय एनालॉग है। आयाम के कोहेन-मैकाले स्थानीय रिंग के लिए, जो गोरेन्स्टीन स्थानीय रिंग की एक समरूप छवि है [36] (उदाहरण के लिए यदि पूर्ण है तो यह बताता है कि प्राकृतिक युग्मन है।[37]
एक आदर्श युग्मन है, जहां के लिए एक दोहरीकरण मॉड्यूल है।[38] मैटलिस द्वैत फ़ैक्टर के संदर्भ में, स्थानीय द्वैत प्रमेय को निम्नलिखित समरूपता के रूप में व्यक्त किया जा सकता है।[39]
कथन तब सरल होता है जब , जो इस परिकल्पना के समतुल्य है कि गोरेन्स्टीन है। यह मामला है, उदाहरण के लिए यदि नियमित है।[40]
अनुप्रयोग
प्रारंभिक अनुप्रयोग लेफ्शेट्ज़ हाइपरप्लेन प्रमेयों के एनालॉग्स के लिए थे। सामान्य तौर पर ऐसे प्रमेय बताते हैं कि कुछ 'नुकसान' को छोड़कर, जिसे नियंत्रित किया जा सकता है, बीजगणितीय विविधता के हाइपरप्लेन अनुभाग पर होमोलॉजी या कोहोलॉजी का समर्थन किया जाता है। ये परिणाम बीजगणितीय मौलिक समूह और पिकार्ड समूह पर लागू होते हैं।
एक अन्य प्रकार के अनुप्रयोग कनेक्टिविटी प्रमेय हैं जैसे ग्रोथेंडिक की कनेक्टिविटी प्रमेय (बर्टिनी प्रमेय का एक स्थानीय एनालॉग) या Fulton & Hansen (1979) और Faltings (1979) के कारण फुल्टन-हैनसेन कनेक्टिविटी प्रमेय। उत्तरार्द्ध का दावा है कि बीजगणितीय रूप से बंद क्षेत्र पर पीआर में दो प्रक्षेप्य किस्मों वी और डब्ल्यू के लिए, जेड = वी ∩ डब्ल्यू का कनेक्टिविटी आयाम (यानी, जेड के एक बंद उपसमुच्चय टी का न्यूनतम आयाम जिसे जेड से हटाया जाना है) पूरक Z\T विच्छेदित है) से बंधा हुआ है
- c(Z) ≥ dim V + dim W - r - 1.
उदाहरण के लिए यदि dim V + dim W > r है तो Z जुड़ा हुआ है।[41]
पॉलीहेड्रल ज्यामिति में, स्टैनली के 1975 के मैकमुलेन के ऊपरी बाउंड प्रमेय के सरल रूप के प्रमाण के एक प्रमुख घटक में यह दिखाना शामिल है कि संबंधित सरल परिसर की स्टेनली-रीस्नर रिं कोहेन-मैकॉले है, और होचस्टर के सूत्र के माध्यम से इस गणना में स्थानीय कोहोमोलॉजी एक महत्वपूर्ण उपकरण है।.[42][6][43]
यह भी देखें
- स्थानीय समरूपता - किसी स्थान के शंकु के टोपोलॉजिकल एनालॉग और स्थानीय समरूपता की गणना देता है
- फाल्टिंग्स का विनाशक प्रमेय
टिप्पणियाँ
- ↑ Hartshorne (1977, Exercise 4.3)
- ↑ Eisenbud (2005, Chapter 4, Castelnuovo-Mumford Regularity)
- ↑ Brodmann & Sharp (1998, Chapter 17, Hilbert Polynomials)
- ↑ Brodmann & Sharp (1998, Chapter 18, Applications to reductions of ideals)
- ↑ Huang (2002, Chapter 10, Residue Methods in Combinatorial Analysis)
- ↑ 6.0 6.1 Stanley, Richard (1996). संयोजन विज्ञान और क्रमविनिमेय बीजगणित. Boston, MA: Birkhäuser Boston, Inc. p. 164. ISBN 0-8176-3836-9.
- ↑ Iyengar et al. (2007, Lecture 16, Polyhedral Geometry)
- ↑ Iyengar et al. (2007, Lecture 24, Holonomic Rank and Hypergeometric Systems)
- ↑ Brodmann & Sharp (1998, Theorem 1.3.8)
- ↑ Brodmann & Sharp (1998, Remark 1.2.3)
- ↑ Iyengar et al. (2007)
- ↑ Hartshorne (1977, p. 218)
- ↑ Hartshorne (1977, p. 219)
- ↑ Brodmann & Sharp (1998, Theorem 5.2.9)
- ↑ "Lemma 15.28.6 (0663)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-05-01.
- ↑ "Lemma 15.28.13 (0913)—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-05-01.
- ↑ Brodmann & Sharp (1998, Theorem 5.1.19)
- ↑ Hartshorne (1977, Theorem 3.7)
- ↑ Brodmann & Sharp (1998, Theorem 3.2.3)
- ↑ Brodmann & Sharp (1998, Definition 3.3.2)
- ↑ Brodmann & Sharp (1998, Remark 5.1.20)
- ↑ Brodmann & Sharp (1998, Corollary 12.3.3)
- ↑ Brodmann & Sharp (1998, Chapter 13)
- ↑ Brodmann & Sharp (1998, Proposition 15.1.5)
- ↑ Eisenbud (1995, §A.4)
- ↑ Brodmann & Sharp (1998, Theorem 20.4.4)
- ↑ Brodmann & Sharp (1998, Definition 15.2.9)
- ↑ Brodmann & Sharp (1998, Chapter 16)
- ↑ Iyengar et al. (2007, Corollary 7.14)
- ↑ Brodmann & Sharp (1998, Exercise 5.1.21)
- ↑ Iyengar et al. (2007, Exercise 7.16)
- ↑ Brodmann & Sharp (1998, Exercise 2.3.6(v))
- ↑ Eisenbud (2005, Example A1.10)
- ↑ Brodmann & Sharp (1998, Theorem 6.1.2)
- ↑ Hartshorne (1967, Theorem 3.8), Brodmann & Sharp (1998, Theorem 6.2.7), M is finitely generated, IM ≠ M
- ↑ Bruns & Herzog (1998, Theorem 3.3.6)
- ↑ Bruns & Herzog (1998, Corollary 3.3.8)
- ↑ Hartshorne (1967, Theorem 6.7)
- ↑ Brodmann & Sharp (1998, Theorem 11.2.8)
- ↑ Bruns & Herzog (1998, Theorem 3.3.7)
- ↑ Brodmann & Sharp (1998, §19.6)
- ↑ Stanley, Richard (2014). "ऊपरी सीमा अनुमान कैसे सिद्ध किया गया". Annals of Combinatorics. Vol. 18. pp. 533–539.
- ↑ Iyengar et al. (2007, Lecture 16)
परिचयात्मक संदर्भ
- हुनेके, क्रेग; टेलर, अमेलिया, स्थानीय कोहोमोलॉजी पर व्याख्यान
संदर्भ
- Brodmann, M. P.; Sharp, R. Y. (1998), Local Cohomology: An Algebraic Introduction with Geometric Applications (2nd ed.), Cambridge University Press Book review by Hartshorne
- Bruns, W.; Herzog, J. (1998), Cohen-Macaulay rings, Cambridge University Press
- Eisenbud, David (1995). Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics. Vol. 150. New York: Springer-Verlag. xvi+785. ISBN 0-387-94268-8. MR 1322960.
- Eisenbud, David (2005), The Geometry of Syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, pp. 187–200
- Faltings, Gerd (1979), "Algebraisation of some formal vector bundles", Ann. of Math., 2, 110 (3): 501–514, doi:10.2307/1971235, JSTOR 1971235, MR 0554381
- Fulton, W.; Hansen, J. (1979), "A connectedness theorem for projective varieties with applications to intersections and singularities of mappings", Annals of Mathematics, 110 (1): 159–166, doi:10.2307/1971249, JSTOR 1971249
- Grothendieck, Alexander (2005) [1968], Séminaire de Géométrie Algébrique du Bois Marie - 1962 - Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux - (SGA 2), Documents Mathématiques (Paris), vol. 4, Paris: Société Mathématique de France, arXiv:math/0511279, Bibcode:2005math.....11279G, ISBN 978-2-85629-169-6, MR 2171939
- Grothendieck, Alexandre (1968) [1962]. Séminaire de Géométrie Algébrique du Bois Marie - 1962 - Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux - (SGA 2) (Advanced Studies in Pure Mathematics 2) (in français). Amsterdam: North-Holland Publishing Company. vii+287.
- Hartshorne, Robin (1967) [1961], Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall, 1961, Lecture notes in mathematics, vol. 41, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0073971, ISBN 978-3-540-03912-9, MR 0224620
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
- Huang, I-Chiau (2002). "Residue Methods in Combinatorial Analysis". In Lyubeznik, Gennady (ed.). Local Cohomology and its applications. Marcel Dekker. pp. 255–342. ISBN 0-8247-0741-9.
- Iyengar, Srikanth B.; Leuschke, Graham J.; Leykin, Anton; Miller, Claudia; Miller, Ezra; Singh, Anurag K.; Walther, Uli (2007), Twenty-four hours of local cohomology, Graduate Studies in Mathematics, vol. 87, Providence, R.I.: American Mathematical Society, doi:10.1090/gsm/087, ISBN 978-0-8218-4126-6, MR 2355715
- Leykin, Anton (2002). "Computing Local Cohomology in Macaulay 2". In Lyubeznik, Gennady (ed.). Local Cohomology and its applications. Marcel Dekker. pp. 195–206. ISBN 0-8247-0741-9.