समुचित श्रेणी

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

परिभाषा
एक समुचित श्रेणी E वह योगात्मक श्रेणी है जिसमें लघु समुचित अनुक्रमों का एक श्रेणी (समुच्चय सिद्धांत) E होता है: एरो से जुड़े वस्तुओं के त्रिगुणन
 * $$M' \to M \to M''\ $$

एबेलियन श्रेणी में संक्षिप्त समुचित अनुक्रमों के गुणों से प्रेरित निम्नलिखित अभिगृहीत को संतुष्ट करना:
 * E समरूपता के तहत विवृत्त है और इसमें विहित (विभाजित समुचित) अनुक्रम सम्मिलित हैं:
 * $$ M' \to M' \oplus M\to M;$$

स्वीकार्य एकैक समाकारिता को सामान्यतः निरूपित किया जाता है $$\rightarrowtail$$ और स्वीकार्य आच्छादक समाकारिता को $$\twoheadrightarrow.$$ निरूपित किया जाता है, ये अभिगृहीत न्यूनतम नहीं हैं; वास्तव में, अंतिम होने वाले को द्वारा दिखाया गया है।
 * मान लीजिये कि $$M \to M$$ E में एक अनुक्रम के दूसरे एरो के रूप में होता है (यह एक 'स्वीकार्य आच्छादक समाकारिता' है) और $$N \to M$$ E में कोई एरो है। उस समय उनका पुलबैक (श्रेणी सिद्धांत) उपस्थित है और इसका प्रक्षेपण $$N$$ एक स्वीकार्य आच्छादक समाकारिता भी है। दोहरी (श्रेणी सिद्धांत), यदि $$M' \to M$$ E में अनुक्रम के पहले एरो के रूप में होता है (यह एक 'स्वीकार्य एकैक समाकारिता' है) और $$M' \to N$$ कोई भी एरो है, तो उनका पुशआउट (श्रेणी सिद्धांत) उपस्थित है और इसका सहप्रक्षेपण $$N$$ एक स्वीकार्य एकैक समाकारिता भी है। (हम कहते हैं कि स्वीकार्य आच्छादक समाकारिता पुलबैक के तहत स्थिर हैं, स्वीकार्य एकैक समाकारिता पुशआउट के तहत स्थिर हैं।);
 * स्वीकार्य एकैक समाकारिता उनके संबंधित स्वीकार्य आच्छादक समाकारिता के कर्नेल (श्रेणी सिद्धांत) हैं, और दोहरे रूप से दो स्वीकार्य एकैक समाकारिता की संरचना स्वीकार्य है (इसी तरह स्वीकार्य आच्छादक समाकारिता);
 * मान लीजिये कि $$M \to M$$ E में एक रेखित प्रारूप है जो E में कर्नेल को स्वीकार करता है, और मान लीजिए $$N \to M$$ क्या कोई रेखित प्रारूप ऐसा है कि रचना $$N \to M \to M$$ एक स्वीकार्य आच्छादक समाकारिता है। तो ऐसा $$M \to M''.$$ दो तरह से, अगर $$M' \to M$$ एक कोकरनेल $$M \to N$$ स्वीकार करता है, तो इस प्रकार कि $$M' \to M \to N$$ एक स्वीकार्य एकैक समाकारिता है, तो $$M' \to M.$$ ऐसा ही है।

एबेलियन श्रेणियों के समुचित गुणनखंड के सदर्भ में समुचित श्रेणियों के बीच एक समुचित गुणनखंड के बारे में बात कर सकते हैं: एक समुचित गुणनखंड $$F$$ एक समुचित श्रेणी D से दूसरे E तक एक योजक फ़ंक्टर है जैसे कि यदि
 * $$M' \rightarrowtail M \twoheadrightarrow M''$$

D में समुचित है, तो
 * $$F(M') \rightarrowtail F(M) \twoheadrightarrow F(M'')$$

E में समुचित है। यदि D, E की उपश्रेणी है, तो यह एक समुचित उपश्रेणी है, यदि समावेशन गुणनखंड पूरी तरह से सत्य और समुचित है।

प्रेरणा
एबेलियन श्रेणियों से समुचित श्रेणियां निम्नलिखित तरीके से आती हैं। मान लीजिए कि A एबेलियन है और E को कोई भी पूर्ण रूप से पूर्ण उपश्रेणी योगात्मक उपश्रेणी नहीं है जो इस अर्थ में विस्तार (बीजगणित) लेने के तहत विवृत्त है कि एक समुचित अनुक्रम दिया गया है
 * $$0 \to M' \to M \to M'' \to 0\ $$

A में $$M', M''$$ तो अगर E में हैं, इसलिए है $$M$$ हम वर्ग E को केवल 'E' में अनुक्रम के रूप में ले सकते हैं जो 'A' में समुचित हैं; वह है,
 * $$M' \to M \to M''\ $$

E iff में
 * $$0 \to M' \to M \to M'' \to 0\ $$

A में समुचित है। फिर उपरोक्त अर्थ में E एक समुचित श्रेणी है। हम अभिगृहीत की पुष्टि करते हैं:
 * E समरूपता के तहत विवृत्त है और इसमें विभाजित समुचित अनुक्रम सम्मिलित हैं: ये परिभाषा के अनुसार सही हैं, क्योंकि एबेलियन श्रेणी में, किसी भी अनुक्रम समाकृतिकता से समुचित एक भी अनुक्रम समुचित है, और चूंकि विभाजित अनुक्रम सदैव A में समुचित होते हैं.
 * स्वीकार्य आच्छादक समाकारिता (क्रमशः, स्वीकार्य एकैक समाकारिता) पुलबैक (प्रतिक्रिया पुशआउट्स) के तहत स्थिर हैं: E में वस्तुओं का एक समुचित क्रम दिया गया है,
 * $$0 \to M' \xrightarrow{f} M \to M'' \to 0,\ $$
 * और एक रेखित प्रारूप $$N \to M$$ साथ $$N$$ E में, कोई सत्यापित करता है कि निम्नलिखित अनुक्रम भी समुचित है; चूंकि E विस्तारण के तहत स्थिर है, इसका तात्पर्य यह है कि $$M \times_{M} N$$ E में है:
 * $$0 \to M' \xrightarrow{(f,0)} M \times_{M''} N \to N \to 0.\ $$


 * प्रत्येक स्वीकार्य एकैक समाकारिता इसके संबंधित स्वीकार्य आच्छादक समाकारिता का कर्नेल है, और इसके विपरीत यह A में आकारिकी के रूप में सच है, और E एक पूर्ण उपश्रेणी है। ऐसा क्रम बिना किसी आकारिकी के पास वास्तव में कर्नेल (श्रेणी सिद्धांत) से सम्बंधित है, जो सामान्य परिभाषा के लिए आवश्यक है।
 * अगर $$M \to M$$ E में एक कर्नेल स्वीकार करता है और यदि $$N \to M$$ इस प्रकार कि $$N \to M \to M$$ एक स्वीकार्य आच्छादक समाकारिता है, तो है $$M \to M''$$ ऐसा ही प्रतीत होता है।

इसके विपरीत, यदि E कोई समुचित श्रेणी है, तो हम A को समुचित गुणनखंड की श्रेणी में ले सकते हैं। लेम्मा, चूंकि होम समुचित छोड़ दिया गया है), विस्तारण के तहत स्थिर है, और जिसमें अनुक्रम E है, अगर यह A में समुचित है।

उदाहरण

 * कोई भी आबेली श्रेणी स्पष्ट रूप से प्रेरणा के निर्माण के अनुसार समुचित होती है।
 * एक कम सूक्ष्म उदाहरण श्रेणी Abtf है जो कि वक्र-मुक्त एबेलियन समूहों की, जो सभी एबेलियन समूहों की (एबेलियन) श्रेणी AB की एक पूर्ण उपश्रेणी है। यह विस्तारण के तहत विवृत्त है:
 * $$0 \to A \to B \to C \to 0\ $$
 * एबेलियन समूहों का एक छोटा समुचित क्रम है जिसमें $$A, C$$ तो वक्र मुक्त हैं $$B$$ निम्न तर्क द्वारा वक्र-मुक्त देखा जाता है: यदि $$b$$ एक वक्र तत्व है, तो उसकी छवि में $$C$$ शून्य है, क्योंकि $$C$$ वक्र रहित है। इस प्रकार $$b$$ मानचित्र के कर्नेल में स्थित है $$C$$, जो है $$A$$, लेकिन वह भी वक्र-मुक्त है, इसलिए $$b = 0$$, मोटिवेशन के निर्माण से, A.Btf एक समुचित श्रेणी है; इसमें समुचित अनुक्रमों के कुछ उदाहरण हैं:
 * $$0 \to \mathbb{Z} \xrightarrow{\left(\begin{smallmatrix} 1 \\ 2 \end{smallmatrix}\right)} \mathbb{Z}^2 \xrightarrow{(-2, 1)} \mathbb{Z} \to 0,$$
 * $$0 \to \mathbb{Q} \to \mathbb{R} \to \mathbb{R}/\mathbb{Q} \to 0,$$
 * $$0 \to d\Omega^0(S^1) \to \Omega^1_c(S^1) \to H^1_{\text{dR}}(S^1) \to 0,$$
 * जहां अंतिम उदाहरण डे रम कोहोमोलॉजी $$\Omega^1_c(S^1)$$ और $$d\Omega^0(S^1)$$ से प्रेरित है, वृत्त समूह पर विवृत्त और समुचित अंतर रूप हैं); विशेष रूप से, यह ज्ञात है कि कोहोलॉजी समूह वास्तविक संख्याओं के लिए समरूप है। यह श्रेणी एबेलियन नहीं है।


 * निम्नलिखित उदाहरण कुछ अर्थों में उपरोक्त का पूरक है। अब वक्रt (और शून्य समूह भी) के साथ एबेलियन समूहों की श्रेणी हो, यह योगात्मक है और फिर से 'AB' की पूरी तरह से पूर्ण उपश्रेणी है। यह देखना और भी आसान है कि यह विस्तारण के तहत स्थिर है: यदि
 * $$0 \to A \to B \to C \to 0\ $$
 * एक समुचित क्रम है जिसमें $$A, C$$ वक्र है, तो $$B$$ स्वाभाविक रूप से के सभी वक्र तत्व है, इस प्रकार $$A$$ एक समुचित श्रेणी है।

संदर्भ