श्रृंखला परिसरों की होमोटोपी श्रेणी

गणित में समरूप बीजगणित, योगात्मक श्रेणी A में श्रृंखला परिसरों की समरूप श्रेणी K(A) श्रृंखला समरूपता और समरूपता समकक्षों के साथ काम करने की रूपरेखा है। यह श्रृंखला समरूपताएं की श्रेणी A के कोम(A) और A की व्युत्पन्न श्रेणी D(A) के बीच मध्यवर्ती स्थिति में है, जब A एबेलियन श्रेणी है; पहले के विपरीत यह त्रिकोणीय श्रेणी है, और बाद के विपरीत इसके गठन के लिए यह आवश्यक नहीं है कि A एबेलियन हो। दर्शनानुसार रूप से, D(A) कोम(A) में अर्ध -समरूपता वाले समिश्र के किसी भी मानचित्र को समरूपता में बदल देता है, K(A) केवल उन लोगों के लिए ऐसा करता है जो अर्ध-समरूपता हैं | अच्छे कारण के लिए समरूपता, अर्थात् वास्तव में समरूप समतुल्यता का व्युत्क्रम होता है। इस प्रकार, K(A) D(A)'' से अधिक समझने योग्य है।

परिभाषाएँ
माना A योगात्मक श्रेणी है। समरूपता श्रेणी K(A) निम्नलिखित परिभाषा पर आधारित है: यदि हमारे पास समिश्र A, B और मानचित्र f, g A से B तक हैं, तो f से g तक 'श्रृंखला समरूपता' $$h^n \colon A^n \to B^{n - 1}$$ मानचित्रों का संग्रह है (समिश्र का मानचित्र नहीं)
 * $$f^n - g^n = d_B^{n - 1} h^n + h^{n + 1} d_A^n,$$ या केवल $$ f - g = d_B h + h d_A$$है।

ऐसा इसे इस प्रकार दर्शाया जा सकता है:
 * [[Image:Chain homotopy.svg|650 पीएक्स]]हम यह भी कहते हैं कि f और g 'श्रंखला समरूपता' हैं, या वह $$f - g$$ 0 के लिए शून्य-समरूप या समस्थानिक है। परिभाषा से यह स्पष्ट है कि परिसरों के मानचित्र जो शून्य-समरूप हैं, जो जोड़ के अंतर्गत समूह बनाते हैं।

श्रृंखला परिसरों K(A) की समरूप श्रेणी को इस प्रकार परिभाषित किया गया है: इसकी ऑब्जेक्ट कोम(A) की ऑब्जेक्ट के समान अर्थात् श्रृंखला परिसर है। इसके आकारिकी मॉड्यूलो समरूपता श्रृंखला जटिल मानचित्र हैं: अर्थात, हम तुल्यता संबंध को परिभाषित करते हैं
 * $$f \sim g\ $$ यदि f, g का समरूप है और परिभाषित करते हैं।


 * $$\operatorname{Hom}_{K(A)}(A, B) = \operatorname{Hom}_{Kom(A)}(A,B)/\sim$$

इस संबंध द्वारा भागफल होता है। यह स्पष्ट है कि इसका परिणाम योगात्मक श्रेणी में होता है यदि कोई नोट करता है कि यह शून्य समरूपता मानचित्रों के उपसमूह द्वारा भागफल लेने के समान है।

परिभाषा के निम्नलिखित प्रकार भी व्यापक रूप से उपयोग किए जाते हैं: यदि परिबद्ध-निचे (An=0 n<<0) के लिए होता है, परिबद्ध-ऊपर (An=0 के लिए n>>0), या परिबद्ध (An=0 |n|>>0) के लिए अपरिबद्ध समिश्र के बदले, परिबद्ध-नीचे समरूपता श्रेणी की बात करता है। उन्हें K+(A),K−(A) और Kb(A), क्रमशः द्वारा निरूपित किया जाता है।

रूपवाद $$f : A \rightarrow B$$ जो K(A) में समरूपता है उसे 'समरूप तुल्यता' कहा जाता है। विस्तार से, इसका अर्थ है कि $$g : B \rightarrow A$$ मानचित्र है, जैसे कि दो रचनाएँ $$f \circ g \sim Id_B$$ और $$g \circ f \sim Id_A$$ पहचान के लिए समरूप हैं:

समरूपता नाम इस तथ्य से आया है कि संस्थितिक स्पेस के समस्थानिक मानचित्र एकवचन श्रृंखलाओं के समरूपता (उपरोक्त अर्थ में) मानचित्रों को प्रेरित करते हैं।

टिप्पणियाँ
दो श्रृंखला समस्थानिक मानचित्र f और g समरूपता पर समान मानचित्र प्रेरित करते हैं क्योंकि (f - g) चक्रों को सीमाओं तक भेजता है, जो समरूपता में शून्य हैं। विशेष रूप से समरूप समतुल्यता अर्ध-समरूपता है। (इसके विपरीत सामान्यतः गलत है।) इससे पता चलता है कि विहित प्रकार्यक $$K(A) \rightarrow D(A)$$ है | व्युत्पन्न श्रेणी में (यदि A एबेलियन श्रेणी है)।

त्रिकोणीय संरचना
समिश्र A का स्थानांतरित A[1] निम्नलिखित समिश्र है
 * $$A[1]: ... \to A^{n+1} \xrightarrow{d_{A[1]}^n} A^{n+2} \to ...$$ (ध्यान दें कि $$(A[1])^n = A^{n + 1}$$),

अंतर जहाँ $$d_{A[1]}^n := - d_A^{n+1}$$ है।

रूपवाद के शंकु के लिए हम मानचित्रण शंकु लेते हैं। प्राकृतिक मानचित्र हैं
 * $$A \xrightarrow{f} B \to C(f) \to A[1]$$

इस आरेख को त्रिभुज कहा जाता है। समरूपता श्रेणी K(A) त्रिकोणीय श्रेणी है, यदि कोई अपने ढंग से A, B और f के लिए, ऊपर दिए गए त्रिकोणों के लिए अलग-अलग त्रिकोणों को समरूपता (K(A) में, अर्थात समरूपता समकक्ष) के रूप में परिभाषित करता है। परिबद्ध प्रकार K+(A),K−(A) और Kb(A) के लिए भी यही सच है | चूँकि, कोम (A) में भी त्रिकोण का अर्थ होता है, परन्तु इन विशिष्ट त्रिकोणों के संबंध में उस श्रेणी को त्रिकोणित नहीं किया गया है; उदाहरण के लिए,
 * $$X \xrightarrow{id} X \to 0 \to$$

अलग नहीं किया गया है क्योंकि पहचान मानचित्र का शंकु समिश्र 0 के लिए समरूपी नहीं है (चूँकि, शून्य मानचित्र $$C(id) \to 0$$ समरूप तुल्यता है, जिससे कि यह त्रिभुज K(A)) में प्रतिष्ठित हो। इसके अतिरिक्त, प्रतिष्ठित त्रिभुज का घूर्णन स्पष्ट रूप से कोम (A) में प्रतिष्ठित नहीं है, परन्तु (कम स्पष्ट रूप से) K(A) में प्रतिष्ठित है। विवरण के लिए संदर्भ देखना है।

सामान्यीकरण
सामान्यतौर पर, विभेदक श्रेणीबद्ध श्रेणी C की समरूप श्रेणी HO(C) को C के समान वस्तुओं के रूप में परिभाषित किया जाता है, परन्तु आकारिकी को $$\operatorname{Hom}_{Ho(C)}(X, Y) = H^0 \operatorname{Hom}_C (X, Y)$$ इसके द्वारा परिभाषित किया जाता है | (यह श्रृंखला परिसरों की समरूपता पर निर्भर करता है यदि C उन परिसरों की श्रेणी है जिनके आकारिकी को विभेदकों का सम्मान करने की आवश्यकता नहीं है)। यदि C में उपयुक्त अर्थ में शंकु और बदलाव हैं, तो Ho(C) भी त्रिकोणीय श्रेणी है।