एक्सट ऑपरेटर

गणित में, एक्सट प्रकार्यक मैं एक आदमी के रूप में काम करता हूं के व्युत्पन्न प्रकार्यक हैं। Tor प्रकार्यक के साथ, एक्सट समरूप बीजगणित की मूल अवधारणाओं में से एक है, जिसमें बीजगणितीय सांस्थितिकी के विचारों का उपयोग बीजगणितीय संरचनाओं के आक्रमणकारियों को परिभाषित करने के लिए किया जाता है। समूह सह-समरूपता, लाई बीजगणित सह-समरूपता और होशचाइल्ड सह-समरूपता सभी को एक्सट के संदर्भ में परिभाषित किया जा सकता है। यह नाम इस तथ्य से आता है कि पहला एक्सट समूह एक्सट1 एक मापांक (गणित) के समूह विस्तार को दूसरे द्वारा वर्गीकृत करता है।

एबेलियन समूहों के विशेष स्थिति में, रेनहोल्ड बेयर (1934) द्वारा एक्सट प्रस्तुत किया गया था। इसका नाम सैमुअल एलेनबर्ग और सॉन्डर्स मैकलेन (1942) द्वारा रखा गया था, और सांस्थितिकी (सह-समरूपता के लिए सार्वभौमिक गुणांक प्रमेय) पर अनुप्रयुक्त किया गया था। किसी भी वलय (गणित) पर मापांक के लिए, एक्सट को हेनरी कर्तन और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक तुल्य बीजगणित में परिभाषित किया गया था।

परिभाषा
R को एक वलय होने दें और R-अत्याधुनिक को R पर मापांक की श्रेणी (गणित) होने दें। T(B) = HomR(A, B) R-अत्याधुनिक में B के लिए। (यहाँ होमR(ए, B) ए से B तक R-रैखिक मानचित्रों का एबेलियन समूह है; यह एक R-मापांक है यदि R क्रमविनिमेय वलय है)। यह R-अत्याधुनिक से एबेलियन समूह एB की श्रेणी के लिए बाएं सटीक प्रकार्यक है, और इसलिए इसमें दाएं व्युत्पन्न प्रकार्यक R हैं मैंटी. एक्सट समूह द्वारा परिभाषित एबेलियन समूह हैं


 * $$\operatorname{Ext}_R^i(A,B)=(R^iT)(B),$$

एक पूर्णांक i के लिए परिभाषा के अनुसार, इसका अर्थ है: कोई भी अंतःक्षेपक संकल्प लें


 * $$0 \to B \to I^0 \to I^1 \to \cdots,$$

B शब्द को हटा दें, और सह श्रृंखला समष्टि बनाएं:


 * $$0 \to \operatorname{Hom}_R(A,I^0) \to \operatorname{Hom}_R(A,I^1) \to \cdots.$$

प्रत्येक पूर्णांक i के लिए, एक्सट(ए, B) स्थिति i पर इस समष्टि का श्रृंखला समष्टि है। यह i ऋणात्मक के लिए शून्य है। उदाहरण के लिए, एक्सट(ए, B) होम मैप का कर्नेल (रैखिक बीजगणित) हैR(ए, आई0) → होमR(ए, आई1), जो कि होम के लिए तुल्याकारी हैR(ए, B)।

एक वैकल्पिक परिभाषा प्रकार्यक G(A)=Hom का उपयोग करती हैR(ए, B), एक निश्चित R-मापांक B के लिए। यह प्रकार्यक प्रकार्यक का सहप्रसरण और विरोधाभास है, जिसे विपरीत श्रेणी (R-अत्याधुनिक) से बाएं सटीक प्रकार्यक के रूप में देखा जा सकता है।ऑप से अब तक। एक्सट समूहों को सही व्युत्पन्न प्रकार्यक R के रूप में परिभाषित किया गया हैमैंजी:


 * $$\operatorname{Ext}_R^i(A,B)=(R^iG)(A).$$

यानी कोई भी प्रक्षेपी संकल्प  चुनें


 * $$\cdots \to P_1 \to P_0 \to A \to 0, $$

शब्द A को हटा दें, और सह श्रृंखला समष्टि बनाएं:


 * $$0\to \operatorname{Hom}_R(P_0,B)\to \operatorname{Hom}_R(P_1,B) \to \cdots.$$

अगला(ए, B) स्थिति i पर इस परिसर का सह-समरूपता है।

कार्टन और ईलेनबर्ग ने दिखाया कि ये निर्माण प्रक्षेपी या अंतःक्षेपी संकल्प की पसंद से स्वतंत्र हैं और यह कि दोनों निर्माण एक ही एक्सटी समूह उत्पन्न करते हैं। इसके अतिरिक्त, एक निश्चित वलय R के लिए, एक्सट प्रत्येक चर में एक प्रकार्यक है (A में contravariant, B में सहसंयोजक)।

एक क्रमविनिमेय वलय R और R-मापांक ए और B के लिए, एक्सट(ए, B) एक R-मापांक है (होमR(ए, B) इस स्थिति में एक R-मापांक है)। एक गैर-क्रमविनिमेय वलय R, एक्सट के लिए(ए, B) सामान्यतः केवल एक एबेलियन समूह है। यदि R एक वलय S पर एक बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो एक्सट(ए, B) कम से कम एक एस-मापांक है।

एक्सट के गुण

यहाँ एक्सट समूहों के कुछ मूलभूत गुण और संगणनाएँ दी गई हैं।
 * एक्स्ट(A, B) ≅ होमR(A, B) किसी भी R-मापांक A और B के लिए।


 * एक्स्ट$i R$(A, B) = 0 सभी i> 0 के लिए यदि R-मापांक A प्रक्षेपी मापांक है (उदाहरण के लिए, मुफ्त मापांक ) या यदि B अंतःक्षेपक मापांक है।


 * बातचीत भी रखती है:
 * यदि एक्सट$1 R$(A, B) = 0 सभी B के लिए, तो A प्रक्षेपी है (और इसलिए एक्सट$i R$(A, B) = 0 सभी के लिए i> 0)।
 * यदि एक्सट$1 R$(A, B) = 0 सभी ए के लिए, फिर B अंतःक्षेपी है (और इसलिए एक्सट$i R$(A, B) = 0 सभी के लिए i> 0)।


 * $$\operatorname{Ext}^i_{\Z}(A,B) = 0$$ सभी i ≥ 2 और सभी एबेलियन समूहों A और B के लिए।
 * यदि R एक क्रमविनिमेय वलय है और u in R एक शून्य भाजक नहीं है, तो
 * $$\operatorname{Ext}_R^i(R/(u),B)\cong\begin{cases} B[u] & i=0\\ B/uB & i=1\\ 0 &\text{otherwise,}\end{cases}$$
 * किसी भी R-मापांक B के लिए। यहां B [यू] B के यू-टोरसन उपसमूह को दर्शाता है, {x ∈ B: ux = 0}। R को वलय मान लेना $$\Z$$ पूर्णांकों की, इस गणना का उपयोग गणना करने के लिए किया जा सकता है $$\operatorname{Ext}^1_{\Z}(A,B)$$ किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह ए के लिए।


 * पिछले उदाहरण को सामान्य करते हुए, जब कोई मापांक जटिल शर्ट का उपयोग करके किसी भी नियमित अनुक्रम द्वारा एक क्रमविनिमेय वलय का भागफल होता है, तो कोई एक्सट समूह की गणना कर सकता है। उदाहरण के लिए, यदि R बहुपद वलय k[x1,...,एक्सn] क्षेत्र k पर, फिर एक्सट(k,k) एक्सट में n जनक पर k के ऊपर बाहरी बीजगणित S है 1। इसके अतिरिक्त, एक्सट(k,k) बहुपद वलय R है; यह कोज़ुल द्वैत का एक उदाहरण है।


 * व्युत्पन्न प्रकार्यकों के सामान्य गुणों के अनुसार, एक्सट के लिए दो मूल सटीक अनुक्रम हैं। सबसे पहले, R-मापांक का एक छोटा सटीक अनुक्रम 0 → K → L → M → 0 प्रपत्र के एक लंबे सटीक अनुक्रम को प्रेरित करता है
 * $$0 \to \mathrm{Hom}_R(A,K) \to \mathrm{Hom}_R(A,L) \to \mathrm{Hom}_R(A,M) \to \mathrm{Ext}^1_R(A,K) \to \mathrm{Ext}^1_R(A,L) \to \cdots$$
 * किसी भी R-मापांक ए के लिए। इसके अतिरिक्त, एक छोटा सटीक अनुक्रम 0 → के → एल → एम → 0 फॉर्म के एक लंबे सटीक अनुक्रम को प्रेरित करता है
 * $$0 \to \mathrm{Hom}_R(M,B) \to \mathrm{Hom}_R(L,B) \to \mathrm{Hom}_R(K,B) \to \mathrm{Ext}^1_R(M,B) \to \mathrm{Ext}^1_R(L,B) \to \cdots$$
 * किसी भी R-मापांक B के लिए।


 * एक्सट पहले चर में मापांक (संभवतः अनंत) का प्रत्यक्ष योग लेता है और प्रत्यक्ष उत्पाद#दूसरा चर में मापांक का प्रत्यक्ष उत्पाद उत्पादों के लिए। वह है:
 * $$\begin{align}

\operatorname{Ext}^i_R \left(\bigoplus_\alpha M_\alpha,N \right) &\cong\prod_\alpha \operatorname{Ext}^i_R (M_\alpha,N) \\ \operatorname{Ext}^i_R \left(M,\prod_\alpha N_\alpha \right ) &\cong\prod_\alpha \operatorname{Ext}^i_R (M,N_\alpha) \end{align}$$
 * चलो ए एक क्रमविनिमेय नोथेरियन वलय R पर एक अंतिम रूप से उत्पन्न मापांक है। फिर एक्स एक वलय के स्थानीयकरण के साथ प्रारंभ होता है, इस अर्थ में कि R में प्रत्येक गुणक रूप से बंद समुच्चय एस के लिए, प्रत्येक R-मापांक B, और प्रत्येक पूर्णांक i,
 * $$S^{-1} \operatorname{Ext}_R^i(A, B) \cong \operatorname{Ext}_{S^{-1} R}^i \left (S^{-1} A, S^{-1} B \right )$$

विस्तारण की समानता
एक्सट समूह मापांक के विस्तार से उनके संबंध से अपना नाम प्राप्त करते हैं। दिए गए R-मापांक ए और B, 'B द्वारा A का विस्तार' R-मापांक का एक छोटा सटीक अनुक्रम है


 * $$0\to B\to E\to A\to 0$$

दो विस्तारण


 * $$0\to B\to E\to A\to 0$$
 * $$0\to B\to E' \to A\to 0$$

एक क्रमविनिमेय Rेख होने पर समतुल्य कहा जाता है ('A' द्वारा B के विस्तार के रूप में):


 * [[Image:EquivalenceOfExtensions.png]]ध्यान दें कि पाँच लेम्मा का तात्पर्य है कि मध्य तीर एक समरूपता है। A द्वारा B के विस्तार को 'विभाजन' कहा जाता है यदि यह 'तुच्छ विस्तार' के समान है


 * $$0\to B\to A\oplus B\to A\to 0.$$

A बटा B के विस्तारण के समतुल्य वर्गों और एक्सट के तत्वों के Bच एक-से-एक पत्राचार है(ए, B)। तुच्छ विस्तार एक्सट के शून्य तत्व से मेल खाता है(ए, B)।

विस्तारण का बायर योग
बेयर योग एक्सट पर एबेलियन समूह संरचना का एक स्पष्ट विवरण है(ए, B), B द्वारा A के विस्तारण के समतुल्य वर्गों के समुच्चय के रूप में देखा जाता है। अर्थात्, दो विस्तारण दिए गए


 * $$0\to B\xrightarrow[f]{} E \xrightarrow[g]{} A\to 0$$

और


 * $$0\to B\xrightarrow[f']{} E'\xrightarrow[g']{} A\to 0,$$

पहले पुलबैक (श्रेणी सिद्धांत) तैयार करें $$A$$,


 * $$\Gamma = \left\{ (e, e') \in E \oplus E' \; | \; g(e) = g'(e')\right\}$$

फिर भागफल मापांक बनाएं


 * $$Y = \Gamma / \{(f(b), -f'(b)) \;|\;b \in B\}.$$

E और E' का बेयर योग विस्तार है


 * $$0\to B\to Y\to A\to 0,$$

जहां पहला प्रतिचित्र है $$b \mapsto [(f(b), 0)] = [(0, f'(b))]$$ और दूसरा $$(e, e') \mapsto g(e) = g'(e')$$ है।

विस्तारण की समतुल्यता तक, बायर राशि क्रमविनिमेय है और पहचान तत्व के रूप में तुच्छ विस्तार है। एक विस्तार 0 → B → ई → ए → 0 का ऋणात्मक एक ही मापांक ई को सम्मिलित करने वाला विस्तार है, परन्तु समरूपता B → ई के साथ इसके ऋणात्मक द्वारा प्रतिस्थापित किया गया है।

एबेलियन श्रेणियों में एक्सट का निर्माण
नोबुओ योनेदा ने एबेलियन समूहों को परिभाषित किया$n C$(ए, B) किसी एबेलियन श्रेणी 'सी' में वस्तुओं ए और B के लिए; यह संकल्पों के संदर्भ में परिभाषा से सहमत है यदि 'सी' में प्रोजेक्टिव ऑब्जेक्ट # पर्याप्त प्रक्षेपीय या अंतःक्षेपक ऑब्जेक्ट # पर्याप्त अंतःक्षेपक और अंतःक्षेपक हल्स हैं। सबसे पहले, एक्सट(ए, B) = आदमीC(ए, B)। अगला, एक्सट$1 C$(ए, B) B द्वारा ए के विस्तार के समतुल्य वर्गों का समुच्चय है, जो बायर योग के अंतर्गत एक एबेलियन समूह बनाता है। अंत में, उच्च एक्सट समूह एक्सट$n C$(ए, B) को एन-विस्तारण के समतुल्य वर्ग के रूप में परिभाषित किया गया है, जो सटीक अनुक्रम हैं


 * $$0\to B\to X_n\to\cdots\to X_1\to A\to 0$$

दो विस्तारण की पहचान करने वाले संबंध से उत्पन्न तुल्यता संबंध के अंतर्गत


 * $$\begin{align}

\xi : 0 &\to B\to X_n\to\cdots\to X_1\to A\to 0 \\ \xi': 0 &\to B\to X'_n\to\cdots\to X'_1\to A\to 0 \end{align}$$ यदि प्रतिचित्र $$X_m \to X'_m$$है, {1, 2, ..., n} में सभी m के लिए ताकि प्रत्येक परिणामी वर्ग परिवर्तित हो जाए।

यदि कोई श्रृंखला मानचित्र ξ → ξ' है जो A और B पर तत्समक है।

उपर्युक्त दो n-आयामों का बायर योग देने से बनता है, A पर $$X_1$$ और $$X'_1$$ का पुलबैक $$X_1$$ हो और B के अंतर्गत $$X_n$$ और $$X'_n$$ का बहिकर्षी $$X_n$$ हो, फिर विस्तारण का बायर योग है।


 * $$0\to B\to X_n\to X_{n-1}\oplus X'_{n-1}\to\cdots\to X_2\oplus X'_2\to X_1\to A\to 0$$

व्युत्पन्न श्रेणी और योनेदा उत्पाद
एक महत्वपूर्ण बिंदु यह है कि एबेलियन श्रेणी C में एक्सट समूहों को C व्युत्पन्न श्रेणी D(C) से संबंधित श्रेणी में आकारिकी के समुच्चय के रूप में देखा जा सकता है। व्युत्पन्न श्रेणी की वस्तुएं C में वस्तुओं के परिसर हैं। विशेष रूप से, किसी के पास है


 * $$\operatorname{Ext}^i_{\mathbf C}(A,B) = \operatorname{Hom}_{D({\mathbf C})}(A,B[i])$$

जहां C की एक वस्तु को डिग्री शून्य में केंद्रित एक जटिल के रूप में देखा जाता है और [i] का अर्थ है। एक जटिल i चरणों को बाईं ओर स्थानांतरित करना है। इस व्याख्या से, एक द्विरेखीय प्रतिचित्र है, जिसे कभी-कभी योनेदा उत्पाद कहा जाता है:


 * $$\operatorname{Ext}^i_{\mathbf C}(A,B) \times \operatorname{Ext}^j_{\mathbf C}(B,C) \to \operatorname{Ext}^{i+j}_{\mathbf C}(A,C)$$

जो केवल व्युत्पन्न श्रेणी में आकारिता की रचना है।

योनेडा उत्पाद को अधिक प्राथमिक शब्दों में भी वर्णित किया जा सकता है। i = j = 0 के लिए, गुणनफल C श्रेणी के प्रतिचित्रों का संघटन है। सामान्यतः, उत्पाद को दो योनेडा विस्तारण को एक साथ जोड़कर परिभाषित किया जा सकता है।

वैकल्पिक रूप से, योनेडा उत्पाद को विश्लेषण के संदर्भ में परिभाषित किया जा सकता है (यह व्युत्पन्न श्रेणी की परिभाषा के समीप है)। उदाहरण के लिए, R-मापांक A, B, C के साथ R को वलय होने दें और P, Q, और T को A, B, C के अनुमानित विश्लेषण होने दें। फिर Ext(A, B) को श्रृंखला प्रतिचित्र P → Q[i] के श्रृंखला समस्थेयता कक्षाओं के समूह के साथ पहचाना जा सकता है। योनेदा उत्पाद श्रृंखला प्रतिचित्र बनाकर दिया गया है:


 * $$P\to Q[i]\to T[i+j]$$

इनमें से किसी भी व्याख्या से, योनेदा उत्पाद साहचर्य है। फलस्वरूप, $$\operatorname{Ext}^*_R(A,A)$$ किसी भी R-मापांक A के लिए एक श्रेणीबद्ध वलय है। उदाहरण के लिए, यह समूह सह-समरूपता $$H^*(G, \Z)$$ पर वलय संरचना देता है, चूंकि इसे $$\operatorname{Ext}^*_{\Z[G]}(\Z,\Z)$$ के रूप में देखा जा सकता है। योनेडा उत्पाद की सहचारिता द्वारा भी: किसी भी R-मापांक A और B के लिए, $$\operatorname{Ext}^*_R(A,B)$$ पर एक मापांक $$\operatorname{Ext}^*_R(A,A)$$ है।

महत्वपूर्ण विशेष स्थिति

 * समूह सह-समरूपता $$H^*(G,M)=\operatorname{Ext}_{\Z[G]}^*(\Z, M)$$ द्वारा परिभाषित किया गया है, जहाँ G एक समूह है, M पूर्णांकों पर G का एक समूह प्रतिनिधित्व है और $$\Z[G]$$ G का समूह वलय है।


 * क्षेत्र k और A-द्विप्रतिरूपक M पर बीजगणित A के लिए, होशचाइल्ड सह-समरूपता द्वारा परिभाषित किया गया है:


 * $$HH^*(A,M)=\operatorname{Ext}^*_{A\otimes_k A^{\text{op}}} (A, M)$$


 * लाई बीजगणितीय सह-समरूपता $$H^*(\mathfrak g,M)=\operatorname{Ext}^*_{U\mathfrak g}(k,M)$$ द्वारा परिभाषित किया गया है, जहाँ $$\mathfrak g$$ क्रमविनिमेय वलय k पर एक लाई बीजगणित है, M एक $$\mathfrak g$$-मापांक है और $$U\mathfrak g$$ सार्वभौमिक आवृत बीजगणित है।


 * एक सांस्थितिक समष्टि X के लिए, पूली सह-समरूपता को इस $$H^*(X, A) = \operatorname{Ext}^*(\Z_X, A)$$ रूप में परिभाषित किया जा सकता है। यहाँ एक्सट को X पर एबेलियन के पुली की एबेलियन श्रेणी में लिया गया है और $$\Z_X$$ स्थानीय स्थिरांक $$\Z$$-मूल्यवान फलन का पुली ​​है।


 * अवशिष्ट क्षेत्र k के साथ क्रमविनिमेय नोथेरियन स्थानीय वलय R के लिए, $$\operatorname{Ext}^*_R(k,k)$$ एक श्रेणीबद्ध लाई बीजगणितीय π*(R) पर k का सार्वभौमिक आवृत बीजगणित है, जिसे R के समस्थेयता लाई बीजगणित के रूप में जाना जाता है (सटीक होने के लिए, जब k की विलक्षणता 2 होती है, π*(R) को एक समायोजित लाई बीजगणितीय के रूप में देखा जा सकता है)। एंड्रे-क्विलन सह-समरूपता D*(k/R,k) से π*(R) तक श्रेणीबद्ध लाई बीजगणितीय का एक प्राकृतिक समरूपता है, जो एक समरूपता है यदि k में विलक्षणता शून्य है।

यह भी देखें

 * वैश्विक आयाम
 * अवरोध विश्लेषण
 * ग्रोथेंडिक समूह
 * ग्रोथेंडिक स्थानीय द्वंद्व