वर्णक्रमीय क्रम

For खगोल विज्ञान में तारों का वर्गीकरण, see तारकीय वर्गीकरण.

तुल्य बीजगणित और बीजगणितीय सांस्थिति में, एक वर्णक्रमीय अनुक्रम क्रमिक सन्निकटन लेकर अनुरूपता समूहों की गणना करने का एक साधन है। वर्णक्रमीय अनुक्रम यथार्थ अनुक्रमों का एक सामान्यीकरण है, और Jean Leray (1946a, 1946b) द्वारा उनके परिचय के बाद से , वे महत्वपूर्ण संगणनात्मक उपकरण बन गए हैं, विशेष रूप से बीजीय सांस्थिति, बीजगणितीय ज्यामिति और समरूप बीजगणित में।

आविष्कार और प्रेरणा

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

शीघ्र ही यह समझा गया किया गया कि लेरे की संगणनात्मक तकनीक एक अधिक सामान्य घटना का एक उदाहरण थी। विभिन्न स्थितियों में वर्णक्रमीय अनुक्रम पाए गए, और उन्होंने अनुरूपता और सह समरूपता समूहों के बीच सम्मिश्र संबंध दिए, जो ज्यामितीय स्थितियों जैसे कंपन और बीजगणितीय स्थितियों से व्युत्पन्न प्रकार्यक से जुड़े थे। जबकि व्युत्पन्न श्रेणी की प्रारंभ के बाद से उनका सैद्धांतिक महत्व कम हो गया है, वे अभी भी सबसे प्रभावी संगणनात्मक उपकरण उपलब्ध हैं। यह तब भी सत्य है जब वर्णक्रमीय अनुक्रम के कई पद अगणनीय हैं।

दुर्भाग्य से, बड़ी मात्रा में सूचना वर्णक्रमीय अनुक्रमों में ले जाने के कारण, उन्हें समझना जटिल है। यह सूचना सामान्यतः एबेलियन समूहों या मॉड्यूल (गणित) के पद तीन जाली में निहित होती है। निपटने के लिए सबसे सरल स्थिति वे हैं जिनमें वर्णक्रमीय अनुक्रम अंततः पतन हो जाता है, जिसका अर्थ है कि अनुक्रम में आगे जाने से कोई नवीन सूचना नहीं मिलती है। यहां तक ​​कि जब ऐसा नहीं होता है, तब भी विभिन्न क्रमभंग से वर्णक्रमीय अनुक्रम से उपयोगी सूचना प्राप्त करना प्रायः संभव होता है।

औपचारिक परिभाषा

सह समरूपी वर्णक्रमीय अनुक्रम

एक एबेलियन श्रेणी को ठीक करें, जैसे कि एक वलय (गणित) पर मॉड्यूल (गणित) की श्रेणी, और एक गैर-ऋणात्मक पूर्णांक $r_{0}$। सह समरूपी वर्णक्रमीय अनुक्रम वस्तु $E_{r}$ और समरूपता $d_{r}:E_{r}\to E_{r}$ का अनुक्रम $\{E_{r},d_{r}\}_{r\geq r_{0}}$ है, जैसे कि प्रत्येक $r\geq r_{0}$ के लिए,

1. $d_{r}\circ d_{r}=0$,
2. $E_{r+1}\cong H_{*}(E_{r},d_{r})$, $d_{r}$ के संबंध में $E_{r}$ की समरूपता (गणित)।

सामान्यतः समरूपताओं को दबा दिया जाता है और हम इसके अतिरिक्त $E_{r+1}=H_{*}(E_{r},d_{r})$ लिखते हैं। एक वस्तु $E_{r}$को पत्रक (पृष्ठ के पत्रक के रूप में), या कभी-कभी एक पृष्ठ या पद कहा जाता है; एक समरूपता $d_{r}$ को सीमा प्रतिचित्र या अंतर कहा जाता है। कभी-कभी $E_{r+1}$ को $E_{r}$ की व्युत्पन्न वस्तु कहा जाता है।

द्वि वर्गीकृत वर्णक्रमीय अनुक्रम

वस्तुतः वर्णक्रमीय अनुक्रम अधिकतर एक वलय (गणित) R (या द्वि वर्गीकृत शेफ (गणित) मॉड्यूल के वलय के एक शेफ पर) पर द्वि वर्गीकृत मॉड्यूल (गणित) की श्रेणी में होते हैं, अर्थात प्रत्येक पत्रक एक द्वि वर्गीकृत R-मॉड्यूल ${\textstyle E_{r}=\bigoplus _{p,q\in \mathbb {Z} ^{2}}E_{r}^{p,q}}$ है। तो इस स्थिति में एक सह-समरूपता वर्णक्रमीय अनुक्रम द्वि वर्गीकृत R-मॉड्यूल $\{E_{r}^{p,q}\}_{p,q}$ का अनुक्रम $\{E_{r},d_{r}\}_{r\geq r_{0}}$ है और प्रत्येक मॉड्यूल के लिए द्वि वर्गीकृत $(r,1-r)$ के समरूपता $d_{r}=(d_{r}^{p,q}:E_{r}^{p,q}\to E_{r}^{p+r,q-r+1})_{p,q\in \mathbb {Z} ^{2}}$ का प्रत्यक्ष योग है, जैसे कि प्रत्येक $r\geq r_{0}$ के लिए यह धारण करता है:

1. $d_{r}^{p+r,q-r+1}\circ d_{r}^{p,q}=0$,
2. $E_{r+1}\cong H_{*}(E_{r},d_{r})$।

यहाँ प्रयुक्त अंकन को पूरक घात कहा जाता है। कुछ लेखक इसके अतिरिक्त $E_{r}^{d,q}$ लिखते हैं , जहाँ $d=p+q$ कुल घात है। वर्णक्रमीय अनुक्रम के आधार पर, पहली पत्रक पर सीमा प्रतिचित्र में एक घात हो सकती है जो R = 0, R = 1, या R = 2 से मेल खाती है। उदाहरण के लिए, निस्यंदित किए गए सम्मिश्र के वर्णक्रमीय अनुक्रम के लिए, नीचे वर्णित, R₀ = 0, परन्तु ग्रोथेंडिक वर्णक्रमीय अनुक्रम के लिए, R₀ = 2। सामान्यतः R₀ शून्य, एक या दो है। ऊपर वर्णित अश्रेणीकृत स्थिति में, r₀ अप्रासंगिक है।

सजातीय वर्णक्रमीय अनुक्रम

अधिकतर जिन वस्तुओं के विषय में हम बात कर रहे हैं वे मिश्रित शृंखला हैं, जो अवरोही (जैसे ऊपर) या आरोही क्रम में होते हैं। बाद की स्थिति में, $E_{r}^{p,q}$ को $E_{p,q}^{r}$ और $d_{r}^{p,q}:E_{r}^{p,q}\to E_{r}^{p+r,q-r+1}$ के साथ $d_{p,q}^{r}:E_{p,q}^{r}\to E_{p-r,q+r-1}^{r}$, (द्विघात $(-r,r-1)$) के साथ प्रतिस्थापित करके, सह समरूपी स्थिति के अनुरूप एक तुल्य वर्णक्रमीय अनुक्रम की परिभाषा प्राप्त करता है।

एक श्रृंखला सम्मिश्र से वर्णक्रमीय अनुक्रम

अक्रमिक स्थिति में सबसे प्राथमिक उदाहरण एक मिश्रित शृंखला C• है। एक वस्तु C• मिश्रित शृंखला की एबेलियन श्रेणी में स्वाभाविक रूप से एक अंतर d के साथ आता है। मान लीजिए R₀ = 0, और मान लीजिए E₀ C_• है। यह E₁ को सम्मिश्र H (C•) होने के लिए बाध्य करता है: iवें स्थान पर यह C _• का iवां समरूपता समूह है। इस नवीन सम्मिश्र पर एकमात्र प्राकृतिक अंतर शून्य प्रतिचित्र है, इसलिए हम d₁ = 0 करते हैं। यह $E_{2}$ को $E_{1}$के बराबर बनाता है, और फिर से हमारा एकमात्र प्राकृतिक अंतर शून्य प्रतिचित्र है। हमारी बाकी सभी पत्रकों पर शून्य अंतर डालने से वर्णक्रमीय क्रम मिलता है जिसकी प्रतिबन्धें हैं:

• E₀ = C•
• सभी R ≥ 1 के लिए E_r= H (C•)।

इस वर्णक्रमीय अनुक्रम की प्रतिबन्धें पहली पत्रक पर स्थिर होती हैं क्योंकि इसका एकमात्र असतहीय अवकल शून्यवाँ पत्रक पर था। फलस्वरूप, हम बाद के चरणों में और अधिक सूचना प्राप्त नहीं कर सकते हैं। सामान्यतः, बाद की पत्रक से उपयोगी सूचना प्राप्त करने के लिए, हमें $E_{r}$ पर अतिरिक्त संरचना की आवश्यकता होती है ।

प्रत्यक्षण

E₂ सह समरूपी वर्णक्रमीय अनुक्रम की पत्रक

एक द्वि वर्गीकृत वर्णक्रमीय अनुक्रम में ट्रैक रखने के लिए डेटा की विलक्षण मात्रा होती है, परन्तु एक सामान्य प्रत्यक्षण तकनीक है जो वर्णक्रमीय अनुक्रम की संरचना को स्पष्ट बनाती है। हमारे निकट तीन सूचकांक हैं, R, पी और q। एक वस्तु $E_{r}$को एक पुस्तक के $r^{th}$ विविध पृष्ठ के रूप में देखा जा सकता है। इन पत्रकों पर, हम p को क्षैतिज दिशा और q को उर्ध्वाधर दिशा मानेंगे। प्रत्येक जाली बिंदु पर हमारे निकट वस्तु $E_{r}^{p,q}$ है । अब अगले पृष्ठ की ओर मुड़ने का अर्थ है समरूपता लेना, अर्थात $r^{th}$ पृष्ठ $(r+1)^{th}$ पृष्ठ का एक उपभाग है। कुल घात n = p + q प्रत्येक पत्रक के पार तिरछे, उत्तर-पश्चिम से दक्षिण-पूर्व तक चलता है। समरूपी स्थिति में, अवकलों का द्विपद (−r, r − 1) होता है, इसलिए वे n से एक घटाते हैं। सह समरूपी स्थिति में, एन एक से बढ़ जाता है। r के संबंध में अवकल प्रत्येक मोड़ के साथ अपनी दिशा बदलते हैं।

सह समरूपी वर्णक्रमीय अनुक्रम के चार पृष्ठ

लाल तीर पहले चतुर्थांश अनुक्रम की स्थिति को प्रदर्शित करता है (उदाहरण वर्णक्रमीय अनुक्रम देखें), जहां मात्र पहले चतुर्थांश की वस्तुएं गैर-शून्य हैं। पृष्ठों को पलटते समय, सभी अंतरों का प्रांत या उपप्रांत शून्य हो जाता है।

गुण

श्रेणीबद्ध गुण

उपयोग वर्णक्रमीय अनुक्रमों का सम्मुचय एक श्रेणी बनाता है: वर्णक्रमीय अनुक्रमों का एक रूपवाद $f:E\to E'$ परिभाषा के अनुसार प्रतिचित्रों $f_{r}:E_{r}\to E'_{r}$ का एक संग्रह हैजो अंतर के साथ संगत हैं, अर्थात $f_{r}\circ d_{r}=d'_{r}\circ f_{r}$, और दिए गए समरूपताओं के साथ क्रमशः E और E' के Rवें चरण और (R + 1) वें पत्रक के सह समरूपता के बीच: $f_{r+1}(E_{r+1})\,=\,f_{r+1}(H(E_{r}))\,=\,H(f_{r}(E_{r}))$। द्वि वर्गीकृत स्थिति में, उन्हेंक्रमस्थापनका भी सम्मान करना चाहिए: $f_{r}(E_{r}^{p,q})\subset {E'_{r}}^{p,q}.$

गुणक संरचना

एक कप उत्पाद सह समरूपता समूह को एक वलय (गणित) देता है, इसे एक सह समरूपता वलय में बदल देता है। इस प्रकार, वलय संरचना के साथ-साथ वर्णक्रमीय अनुक्रम पर विचार करना स्वाभाविक है। $E_{r}^{p,q}$ को सह समरूपी प्रकार का एक वर्णक्रमीय अनुक्रम होने दें। हम कहते हैं कि इसकी गुणात्मक संरचना है यदि (i) $E_{r}$ (द्वि वर्गीकृत)अवकल वर्गीकृत बीजगणित और (ii) $E_{r+1}$ पर गुणा सह समरूपता केमाध्यम से $E_{r}$ पर प्रेरित किया जाता है।

एक विशिष्ट उदाहरण एक कंपन $F\to E\to B$ के लिए उपयोग सेरे वर्णक्रमीय अनुक्रम है , जब गुणांक समूह एक वलय R है। इसमें फाइबर $E_{2}$-पृष्ठ के कप उत्पादों और आधार पर गुणक संरचना होती है । यद्यपि, सामान्यतःसीमित पद $E_{\infty }$ H (E; R) के लिए एक वर्गीकृत बीजगणित के रूप मेंसमरूपी नहीं है। गुणात्मक संरचना अनुक्रम पर अवकलन की गणना के लिए बहुत उपयोगी हो सकती है।

वर्णक्रमीय अनुक्रमों का निर्माण

वर्णक्रमीय दृश्यों का निर्माण विभिन्न विधियों से किया जा सकता है। बीजगणितीय सांस्थिति में, एक यथार्थ युगल संभवतः निर्माण के लिए सबसे सामान्य उपकरण है। बीजगणितीय ज्यामिति में, वर्णक्रमीय अनुक्रम सामान्यतः उप शृंखला सम्मिश्रों के निस्पंदन से निर्मित होते हैं।

एक यथार्थ युग्म का वर्णक्रमीय अनुक्रम

Main article: यथार्थ युगल

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

यथार्थ युग्मों को परिभाषित करने के लिए, हम फिर से एक एबेलियन श्रेणी से प्रारंभकरते हैं। पहले के जैसे, व्यवहार में यह सामान्यतः वलय के ऊपर दोगुने क्रमिक वाले मॉड्यूल की श्रेणी है। एक यथार्थ युगल वस्तुओं की एक युग्म है (A, C), साथ में इन वस्तुओं के बीच तीन समरूपताएं हैं: f : A → A, g : A → C और h : C → A कुछ यथार्थ प्रतिबन्धों के अधीन:

• प्रतिरूप (गणित) f = कर्नेल (बीजगणित) g
• प्रतिरूप g = कर्नेल H
• प्रतिरूप H = कर्नेल f

हम इस डेटा को (A, C, f, g, h) द्वारा संक्षिप्त करेंगे। यथार्थ युग्म को सामान्यतः त्रिकोण के रूप में दर्शाया जाता है। हम देखेंगे किC वर्णक्रमीय अनुक्रम के E ₀ वपद से मेल खाता है और A कुछ सहायक डेटा है।

वर्णक्रमीय अनुक्रम की अगली पत्रक पर जाने के लिए, हम 'व्युत्पन्न युगल' बनाएंगे। हम लोग तैयार हैं:

• d = g o H
• A' = f(A)
• C' = Ker d / Im d
• f' = f|_A', f से A' का प्रतिबंध
• h' : C' → A' h से प्रेरित है। यह देखना सीधा है कि h ऐसे प्रतिचित्र को प्रेरित करता है।
• g' : A' → C' को तत्वों पर इस प्रकार परिभाषित किया गया है: A' में प्रत्येक के लिए , A में कुछ b के लिए a को f(b) के रूप में लिखें। g'(a) को C' में g(b) की प्रतिरूप के रूप में परिभाषित किया गया है। सामान्यतः , एबेलियन श्रेणियों के लिए एम्बेडिंग प्रमेयों में से एक का उपयोग करके g' का निर्माण किया जा सकता है।

यहां से यह जांचना सरल है कि (A', C', f', g', h ') एक यथार्थ युग्म है। C' E से मेल खाता है₁वर्णक्रमीय अनुक्रम की अवधि। हम यथार्थ युगल प्राप्त करने के लिए इस प्रक्रिया को दोहरा सकते हैं (A^(एन), सी^(एन), f^(एन), g^(एन), H^(एन))।

वर्णक्रमीय अनुक्रम बनाने के लिए, ई_nसी हो^(एन) और डी_nनिवेदन करना^{(एन) </ समर्थन> o h(एन) </ समर्थन>।}

इस पद्धति से निर्मित वर्णक्रमीय अनुक्रम

• सेरे वर्णक्रमीय अनुक्रम - एक कंपन की समरूपता की गणना (सह) करने के लिए उपयोग किया जाता है
• अत्यायाह-हिर्जेब्रूच वर्णक्रमीय अनुक्रम - असाधारण सह समरूपता सिद्धांतों की गणना (सह) समरूपता के लिए उपयोग किया जाता है, जैसे कि के-सिद्धांत
• बॉकस्टीन वर्णक्रमीय अनुक्रम।
• निस्यंदित किए गए सम्मिश्रों के वर्णक्रमीय क्रम

निस्यंदित किए गए सम्मिश्र का वर्णक्रमीय अनुक्रम

एक बहुत ही सामान्य प्रकार का वर्णक्रमीय अनुक्रम फिल्ट्रेशन (अमूर्त बीजगणित) कोमिश्रित शृंखला से आता है, क्योंकि यह स्वाभाविक रूप से एक बड़ी श्रेणी वाली वस्तु को प्रेरित करता है। एक कोमिश्रित शृंखला पर विचार करें $(C^{\bullet },d)$ एक अवरोही निस्पंदन के साथ, ${\textstyle ...\supset \,F^{-2}C^{\bullet }\,\supset \,F^{-1}C^{\bullet }\supset F^{0}C^{\bullet }\,\supset \,F^{1}C^{\bullet }\,\supset \,F^{2}C^{\bullet }\,\supset \,F^{3}C^{\bullet }\,\supset ...\,}$ । हमें आवश्यकता है कि सीमा प्रतिचित्र निस्पंदन के अनुकूल हो, अर्थात ${\textstyle d(F^{p}C^{n})\subset F^{p}C^{n+1}}$, और यह कि निस्पंदन संपूर्ण है, अर्थात सभी के समुच्चय का मिलन ${\textstyle F^{p}C^{\bullet }}$ संपूर्ण श्रृंखला सम्मिश्र है ${\textstyle C^{\bullet }}$। फिर वहाँ के साथ एक वर्णक्रमीय अनुक्रम मौजूद है ${\textstyle E_{0}^{p,q}=F^{p}C^{p+q}/F^{p+1}C^{p+q}}$ और ${\textstyle E_{1}^{p,q}=H^{p+q}(F^{p}C^{\bullet }/F^{p+1}C^{\bullet })}$। बाद में, हम यह भी मान लेंगे कि निस्पंदन हॉसडॉर्फ या अलग है, अर्थात सभी के सम्मुचय का प्रतिच्छेदन ${\textstyle F^{p}C^{\bullet }}$ शून्य है।

निस्यंदन उपयोगी है क्योंकि यह शून्य की निकटता का माप देता है: जैसे-जैसे p बढ़ता है, ${\textstyle F^{p}C^{\bullet }}$ शून्य के और निकट आता जाता है। हम इस फिल्ट्रेशन से एक वर्णक्रमीय अनुक्रम का निर्माण करेंगे जहां बाद की पत्रक में कोबाउंड्री और कोसाइकिल मूल सम्मिश्र में कोबाउंडरी और कोसाइकल के निकट और निकट आते हैं। इस वर्णक्रमीय अनुक्रम को निस्पंदन घात पी और पूरक घात द्वारा दोगुना वर्गीकृत किया गया है q = n − p।

निर्माण

$C^{\bullet }$ मात्र एक क्रमिकिंग और एक फिल्ट्रेशन है, इसलिए हम पहले वर्णक्रमीय अनुक्रम के पहले पृष्ठ के लिए एक दोगुनी श्रेणीबद्ध वस्तु का निर्माण करते हैं। दूसरी क्रमिकिंग प्राप्त करने के लिए, हम फिल्ट्रेशन के संबंध में संबंधित क्रमिक ऑब्जेक्ट लेंगे। हम इसे एक असामान्य तरीके से लिखेंगे जो कि उचित होगा $E_{1}$ चरण:

$Z_{-1}^{p,q}=Z_{0}^{p,q}=F^{p}C^{p+q}$

$B_{0}^{p,q}=0$

$E_{0}^{p,q}={\frac {Z_{0}^{p,q}}{B_{0}^{p,q}+Z_{-1}^{p+1,q-1}}}={\frac {F^{p}C^{p+q}}{F^{p+1}C^{p+q}}}$

$E_{0}=\bigoplus _{p,q\in \mathbf {Z} }E_{0}^{p,q}$

चूँकि हमने मान लिया था कि सीमा प्रतिचित्र फिल्ट्रेशन के अनुकूल था, $E_{0}$ एक दोगुनी वर्गीकृत वस्तु है और एक प्राकृतिक दोगुनी वर्गीकृत सीमा प्रतिचित्र है $d_{0}$ पर $E_{0}$। पाने के $E_{1}$, हम की अनुरूपता लेते हैं $E_{0}$।

${\bar {Z}}_{1}^{p,q}=\ker d_{0}^{p,q}:E_{0}^{p,q}\rightarrow E_{0}^{p,q+1}=\ker d_{0}^{p,q}:F^{p}C^{p+q}/F^{p+1}C^{p+q}\rightarrow F^{p}C^{p+q+1}/F^{p+1}C^{p+q+1}$

${\bar {B}}_{1}^{p,q}={\mbox{im }}d_{0}^{p,q-1}:E_{0}^{p,q-1}\rightarrow E_{0}^{p,q}={\mbox{im }}d_{0}^{p,q-1}:F^{p}C^{p+q-1}/F^{p+1}C^{p+q-1}\rightarrow F^{p}C^{p+q}/F^{p+1}C^{p+q}$

$E_{1}^{p,q}={\frac {{\bar {Z}}_{1}^{p,q}}{{\bar {B}}_{1}^{p,q}}}={\frac {\ker d_{0}^{p,q}:E_{0}^{p,q}\rightarrow E_{0}^{p,q+1}}{{\mbox{im }}d_{0}^{p,q-1}:E_{0}^{p,q-1}\rightarrow E_{0}^{p,q}}}$

$E_{1}=\bigoplus _{p,q\in \mathbf {Z} }E_{1}^{p,q}=\bigoplus _{p,q\in \mathbf {Z} }{\frac {{\bar {Z}}_{1}^{p,q}}{{\bar {B}}_{1}^{p,q}}}$

नोटिस जो ${\bar {Z}}_{1}^{p,q}$ और ${\bar {B}}_{1}^{p,q}$ प्रतिरूपों के रूप में लिखा जा सकता है $E_{0}^{p,q}$ का

$Z_{1}^{p,q}=\ker d_{0}^{p,q}:F^{p}C^{p+q}\rightarrow C^{p+q+1}/F^{p+1}C^{p+q+1}$

$B_{1}^{p,q}=({\mbox{im }}d_{0}^{p,q-1}:F^{p}C^{p+q-1}\rightarrow C^{p+q})\cap F^{p}C^{p+q}$

और फिर हमारे निकट है

$E_{1}^{p,q}={\frac {Z_{1}^{p,q}}{B_{1}^{p,q}+Z_{0}^{p+1,q-1}}}.$

$Z_{1}^{p,q}$ वस्तुतः वे तत्व हैं जो अंतर निस्पंदन में एक स्तर ऊपर धकेलते हैं, और $B_{1}^{p,q}$ वस्तुतः उन तत्वों की प्रतिरूप हैं जो अंतर निस्पंदन में शून्य स्तर ऊपर धकेलते हैं। इससे पता चलता है कि हमें चुनना चाहिए $Z_{r}^{p,q}$ तत्व होने के लिए जो अंतर निस्पंदन में r स्तरों को ऊपर धकेलता है और $B_{r}^{p,q}$ उन तत्वों की प्रतिरूप बनने के लिए जो अंतर निस्पंदन में r-1 स्तर को ऊपर धकेलता है। दूसरे पदों में, वर्णक्रमीय अनुक्रम को संतुष्ट करना चाहिए

$Z_{r}^{p,q}=\ker d_{0}^{p,q}:F^{p}C^{p+q}\rightarrow C^{p+q+1}/F^{p+r}C^{p+q+1}$

$B_{r}^{p,q}=({\mbox{im }}d_{0}^{p-r+1,q+r-2}:F^{p-r+1}C^{p+q-1}\rightarrow C^{p+q})\cap F^{p}C^{p+q}$

$E_{r}^{p,q}={\frac {Z_{r}^{p,q}}{B_{r}^{p,q}+Z_{r-1}^{p+1,q-1}}}$

और हमें रिश्ता रखना चाहिए

$B_{r}^{p,q}=d_{0}^{p,q}(Z_{r-1}^{p-r+1,q+r-2}).$

इसे समझने के लिए, हमें एक अंतर खोजना होगा $d_{r}$ सभी के ऊपर $E_{r}$ और सत्यापित करें कि यह समरूपी समरूपता की ओर ले जाता है $E_{r+1}$। अंतर

$d_{r}^{p,q}:E_{r}^{p,q}\rightarrow E_{r}^{p+r,q-r+1}$

मूल अंतर को प्रतिबंधित करके परिभाषित किया गया है $d$ पर परिभाषित $C^{p+q}$ विषय के लिए $Z_{r}^{p,q}$। यह जाँचना सीधा है कि की समरूपता $E_{r}$ इस अंतर के संबंध में है $E_{r+1}$, तो यह एक वर्णक्रमीय अनुक्रम देता है। दुर्भाग्य से, अंतर बहुत स्पष्ट नहीं है। वर्णक्रमीय अनुक्रम को सफलतापूर्वक लागू करने के लिए अंतर निर्धारित करना या उनके आसनिकट काम करने के तरीके खोजना मुख्य चुनौतियों में से एक है।

इस पद्धति से निर्मित वर्णक्रमीय अनुक्रम

• हॉज-डे राम वर्णक्रमीय अनुक्रम
• एक दोहरे सम्मिश्र का वर्णक्रमीय क्रम
• मिश्रित हॉज संरचनाओं के निर्माण के लिए इस्तेमाल किया जा सकता है

एक दोहरे सम्मिश्र का वर्णक्रमीय अनुक्रम

एक अन्य सामान्य वर्णक्रमीय अनुक्रम एक दोहरे सम्मिश्र का वर्णक्रमीय क्रम है। एक द्वि सम्मिश्र वस्तुओं का एक संग्रह है सी_i,jदो अंतरों के साथ सभी पूर्णांकों i और j के लिए, d ^मैं और d ^{द्वितीय । d I i, और d को घटाने के लिए माना जाता है II को घटता हुआ माना जाता है। इसके अलावा, हम मानते हैं कि अंतर एंटीकोम्यूट है, ताकि d मैं d II + d II d I = 0। हमारा लक्ष्य पुनरावृत्त समरूपताओं की तुलना करना है $H_{i}^{I}(H_{j}^{II}(C_{\bullet ,\bullet }))$ और $H_{j}^{II}(H_{i}^{I}(C_{\bullet ,\bullet }))$। हम अपने द्वि सम्मिश्र को दो अलग-अलग विधियों से निस्यंदित करके ऐसा करेंगे। यहां हमारे निस्यंदित हैं:}

$(C_{i,j}^{I})_{p}={\begin{cases}0&{\text{if }}i<p\\C_{i,j}&{\text{if }}i\geq p\end{cases}}$

$(C_{i,j}^{II})_{p}={\begin{cases}0&{\text{if }}j<p\\C_{i,j}&{\text{if }}j\geq p\end{cases}}$

वर्णक्रमीय अनुक्रम प्राप्त करने के लिए, हम पिछले उदाहरण को कम कर देंगे। हम कुल सम्मिश्र T(C) को परिभाषित करते हैं_•,•) वह सम्मिश्र हो जिसका n'वाँ पद है $\bigoplus _{i+j=n}C_{i,j}$ और जिसका अवकलन d है ^मैं + d ^{द्वितीय । यह एक सम्मिश्र है क्योंकि d मैं और d II एंटीकम्यूटिंग अवकल हैं। C पर दो फिल्ट्रेशन_i,jकुल सम्मिश्र पर दो फ़िल्टवलय दें:}

$T_{n}(C_{\bullet ,\bullet })_{p}^{I}=\bigoplus _{i+j=n \atop i>p-1}C_{i,j}$

$T_{n}(C_{\bullet ,\bullet })_{p}^{II}=\bigoplus _{i+j=n \atop j>p-1}C_{i,j}$

यह दिखाने के लिए कि ये वर्णक्रमीय अनुक्रम पुनरावृत्त समरूपता के विषय में सूचना देते हैं, हम ई^{0</सुप>, ई1, और ई2 T(C) पर I फिल्ट्रेशन की प्रतिबन्धें_•,•)। ई0 पद स्पष्ट है:}

${}^{I}E_{p,q}^{0}=T_{n}(C_{\bullet ,\bullet })_{p}^{I}/T_{n}(C_{\bullet ,\bullet })_{p+1}^{I}=\bigoplus _{i+j=n \atop i>p-1}C_{i,j}{\Big /}\bigoplus _{i+j=n \atop i>p}C_{i,j}=C_{p,q},$

जहाँ n = p + q।

ई खोजने के लिए¹ पद, हमें d निर्धारित करने की आवश्यकता है ^मैं + d ^{ई पर द्वितीय0</उप>। ध्यान दें कि n के संबंध में अंतर की घात -1 होनी चाहिए, इसलिए हमें एक प्रतिचित्र मिलता है}

$d_{p,q}^{I}+d_{p,q}^{II}:T_{n}(C_{\bullet ,\bullet })_{p}^{I}/T_{n}(C_{\bullet ,\bullet })_{p+1}^{I}=C_{p,q}\rightarrow T_{n-1}(C_{\bullet ,\bullet })_{p}^{I}/T_{n-1}(C_{\bullet ,\bullet })_{p+1}^{I}=C_{p,q-1}$

फलस्वरूप, ई पर अंतर⁰ मैप C है_p,q → सी_p,q−1 d द्वारा प्रेरित ^मैं + d ^{द्वितीय । परन्तु d मैं इस प्रकार के प्रतिचित्रे को प्रेरित करने के लिए गलत घात है, इसलिए d I E पर शून्य होना चाहिए0</उप>। इसका मतलब है कि अंतर बिल्कुल d है II, तो हमें मिलता है}

${}^{I}E_{p,q}^{1}=H_{q}^{II}(C_{p,\bullet }).$

ई खोजने के लिए², हमें निर्धारित करने की आवश्यकता है

$d_{p,q}^{I}+d_{p,q}^{II}:H_{q}^{II}(C_{p,\bullet })\rightarrow H_{q}^{II}(C_{p+1,\bullet })$

क्योंकि ई¹ d के संबंध में यथार्थ समरूपता थी ^{द्वितीय}, d ^II E पर शून्य है^{1</उप>। फलस्वरूप, हम प्राप्त करते हैं}

${}^{I}E_{p,q}^{2}=H_{p}^{I}(H_{q}^{II}(C_{\bullet ,\bullet })).$

अन्य निस्पंदन का उपयोग करने से हमें समान ई के साथ एक अलग वर्णक्रमीय क्रम मिलता है² अवधि:

${}^{II}E_{p,q}^{2}=H_{q}^{II}(H_{p}^{I}(C_{\bullet ,\bullet })).$

इन दो वर्णक्रमीय अनुक्रमों के बीच संबंध खोजने के लिए क्या बचा है। यह पता चलेगा कि जैसे-जैसे r बढ़ता है, उपयोगी तुलना की अनुमति देने के लिए दो क्रम समान हो जाएंगे।

अभिसरण, पतन और अभिसरण

चक्रों और सीमाओं के निस्पंदन के रूप में व्याख्या

चलो ई_r एक वर्णक्रमीय अनुक्रम हो, R = 1 से प्रारंभहो। फिर सबोबजेक्ट्स का अनुक्रम होता है

$0=B_{0}\subset B_{1}\subset B_{2}\subset \dots \subset B_{r}\subset \dots \subset Z_{r}\subset \dots \subset Z_{2}\subset Z_{1}\subset Z_{0}=E_{1}$

ऐसा है कि $E_{r}\simeq Z_{r-1}/B_{r-1}$; वस्तुतः, पुनरावर्ती रूप से हम करते हैं $Z_{0}=E_{1},B_{0}=0$ और जाने $Z_{r},B_{r}$ ऐसा हो कि $Z_{r}/B_{r-1},B_{r}/B_{r-1}$ कर्नेल और की प्रतिरूप हैं $E_{r}{\overset {d_{r}}{\to }}E_{r}.$ हमने फिर जाने दिया $Z_{\infty }=\cap _{r}Z_{r},B_{\infty }=\cup _{r}B_{r}$ और

$E_{\infty }=Z_{\infty }/B_{\infty }$;

इसे सीमित अवधि कहा जाता है। (बेशक, ऐसे $E_{\infty }$ श्रेणी में मौजूद होने की आवश्यकता नहीं है, परन्तु यह सामान्यतः एक गैर-मुद्दा है क्योंकि उदाहरण के लिए मॉड्यूल की श्रेणी में ऐसी सीमाएं मौजूद हैं या चूंकि व्यवहार में एक वर्णक्रमीय अनुक्रम पतित होने की प्रवृत्ति के साथ काम करता है; ऊपर दिए गए क्रम में मात्र सूक्ष्म रूप से कई समावेशन हैं।)

अभिसरण की प्रतिबन्धें

हम कहते हैं कि यदि कोई श्रेणीबद्ध वस्तु है तो एक वर्णक्रमीय अनुक्रम कमजोर रूप से अभिसरण करता है $H^{\bullet }$ एक छानने के साथ $F^{\bullet }H^{n}$ हरएक के लिए $n$, और प्रत्येक के लिए $p$ एक समरूपता मौजूद है $E_{\infty }^{p,q}\cong F^{p}H^{p+q}/F^{p+1}H^{p+q}$। यह अभिसरण करता है $H^{\bullet }$ अगर छानना $F^{\bullet }H^{n}$ हौसडॉर्फ है, अर्थात $\cap _{p}F^{p}C^{\bullet }=0$। हम लिखते हैं

$E_{r}^{p,q}\Rightarrow _{p}E_{\infty }^{n}$

इसका अर्थ यह है कि जब भी p + q = n, $E_{r}^{p,q}$ में विलीन हो जाता है $E_{\infty }^{p,q}$। हम कहते हैं कि एक वर्णक्रमीय अनुक्रम $E_{r}^{p,q}$ के निकट है $E_{\infty }^{p,q}$ यदि प्रत्येक के लिए $p,q$ वहाँ है $r(p,q)$ ऐसा कि सभी के लिए $r\geq r(p,q)$, $E_{r}^{p,q}=E_{r(p,q)}^{p,q}$। तब $E_{r(p,q)}^{p,q}=E_{\infty }^{p,q}$ सीमित पद है। वर्णक्रमीय क्रम नियमित या पतित होता है $r_{0}$ यदि अंतर $d_{r}^{p,q}$ सभी के लिए शून्य हैं $r\geq r_{0}$। अगर विशेष रूप से है $r_{0}\geq 2$, ऐसा है कि $r_{0}^{th}$ पत्रक एक पंक्ति या एक स्तंभ पर केंद्रित होती है, तो हम कहते हैं कि यह पतन हो जाती है। प्रतीकों में हम लिखते हैं:

$E_{r}^{p,q}\Rightarrow _{p}E_{\infty }^{p,q}$

पी निस्पंदन सूचकांक को इंगित करता है। लिखना बहुत सामान्य बात है $E_{2}^{p,q}$ एब्यूमेंट के बायीं ओर का पद, क्योंकि यह अधिकांश वर्णक्रमीय अनुक्रमों का सबसे उपयोगी पद है। एक अननिस्यंदित्ड मिश्रित शृंखला का वर्णक्रमीय अनुक्रम पहली पत्रक पर खराब हो जाता है (पहला उदाहरण देखें): चूंकि शून्यवाँ पत्रक के बाद कुछ भी नहीं होता है, लिमिटिंग पत्रक $E_{\infty }$ वैसा ही है जैसा कि $E_{1}$।

वर्णक्रमीय अनुक्रम का पांच-अवधि का यथार्थ अनुक्रम कुछ निम्न-घात प्रतिबन्धों से संबंधित है और ई_∞ प्रतिबन्धें।

अध: पतन के उदाहरण

निस्यंदित किए गए सम्मिश्र का वर्णक्रमीय अनुक्रम, जारी

ध्यान दें कि हमारे निकट समावेशन की एक श्रृंखला है:

$Z_{0}^{p,q}\supseteq Z_{1}^{p,q}\supseteq Z_{2}^{p,q}\supseteq \cdots \supseteq B_{2}^{p,q}\supseteq B_{1}^{p,q}\supseteq B_{0}^{p,q}$

हम पूछ सकते हैं कि अगर हम परिभाषित करते हैं तो क्या होता है

$Z_{\infty }^{p,q}=\bigcap _{r=0}^{\infty }Z_{r}^{p,q},$

$B_{\infty }^{p,q}=\bigcup _{r=0}^{\infty }B_{r}^{p,q},$

$E_{\infty }^{p,q}={\frac {Z_{\infty }^{p,q}}{B_{\infty }^{p,q}+Z_{\infty }^{p+1,q-1}}}.$

$E_{\infty }^{p,q}$ इस वर्णक्रमीय अनुक्रम के निरस्तीकरण के लिए एक स्वाभाविक उम्मीदवार है। अभिसरण स्वत: नहीं होता है, परन्तु कई मामलों में होता है। विशेष रूप से, यदि निस्पंदन परिमित है और इसमें ठीक r गैर-तुच्छ चरण होते हैं, तो वर्णक्रमीय क्रम rth पत्रक के बाद पतित हो जाता है। अभिसरण तब भी होता है जब सम्मिश्र और फिल्ट्रेशन दोनों नीचे से बंधे होते हैं या दोनों ऊपर से बंधे होते हैं।

अधिक विस्तार से हमारे वर्णक्रमीय अनुक्रम के निरस्तीकरण का वर्णन करने के लिए, ध्यान दें कि हमारे निकट सूत्र हैं:

$Z_{\infty }^{p,q}=\bigcap _{r=0}^{\infty }Z_{r}^{p,q}=\bigcap _{r=0}^{\infty }\ker(F^{p}C^{p+q}\rightarrow C^{p+q+1}/F^{p+r}C^{p+q+1})$

$B_{\infty }^{p,q}=\bigcup _{r=0}^{\infty }B_{r}^{p,q}=\bigcup _{r=0}^{\infty }({\mbox{im }}d^{p,q-r}:F^{p-r}C^{p+q-1}\rightarrow C^{p+q})\cap F^{p}C^{p+q}$

यह देखने के लिए कि इसका क्या तात्पर्य है $Z_{\infty }^{p,q}$ याद रखें कि हमने मान लिया था कि निस्पंदन अलग हो गया था। इसका तात्पर्य यह है कि जैसे-जैसे r बढ़ता है, गुठली सिकुड़ती जाती है, जब तक कि हमारे निकट नहीं रह जाती $Z_{\infty }^{p,q}=\ker(F^{p}C^{p+q}\rightarrow C^{p+q+1})$। के लिए $B_{\infty }^{p,q}$, याद रखें कि हमने माना था कि फिल्ट्रेशन संपूर्ण था। इसका तात्पर्य यह है कि जैसे-जैसे r बढ़ता है, तब तक छवियां बढ़ती हैं जब तक हम पहुंच नहीं जाते $B_{\infty }^{p,q}={\text{im }}(C^{p+q-1}\rightarrow C^{p+q})\cap F^{p}C^{p+q}$। हम निष्कर्ष निकालते हैं

$E_{\infty }^{p,q}={\mbox{gr}}_{p}H^{p+q}(C^{\bullet })$,

अर्थात्, वर्णक्रमीय अनुक्रम का निरसन, C के (p+q)वें अनुरूपता का pth श्रेणीबद्ध भाग है। यदि हमारा वर्णक्रमीय अनुक्रम अभिसरण करता है, तो हम यह निष्कर्ष निकालते हैं:

$E_{r}^{p,q}\Rightarrow _{p}H^{p+q}(C^{\bullet })$

लंबे यथार्थ क्रम

निस्यंदित किए गए सम्मिश्र के वर्णक्रमीय अनुक्रम का उपयोग करके, हम लंबे यथार्थ अनुक्रमों के अस्तित्व को प्राप्त कर सकते हैं। कोमिश्रित शृंखला 0 → ए का एक छोटा यथार्थ अनुक्रम चुनें^• → बी^• → C• → 0, और पहले प्रतिचित्र को f कहते हैं^• : ए^• → बी^•। हमें अनुरूपता ऑब्जेक्ट्स H के प्राकृतिक प्रतिचित्र मिलते हैं^एन(ए^•) → H^एन(बी^•) → H^एन(C•), और हम जानते हैं कि यह ठीक बीच में है। हम कनेक्टिंग होमोमोर्फिज्म को खोजने के लिए निस्यंदित किए गए सम्मिश्र के वर्णक्रमीय अनुक्रम का उपयोग करेंगे और यह साबित करने के लिए कि परिणामी अनुक्रम यथार्थ है। प्रारंभकरने के लिए, हम बी निस्यंदित करते हैं^•:

$F^{0}B^{n}=B^{n}$

$F^{1}B^{n}=A^{n}$

$F^{2}B^{n}=0$

यह देता है:

$E_{0}^{p,q}={\frac {F^{p}B^{p+q}}{F^{p+1}B^{p+q}}}={\begin{cases}0&{\text{if }}p<0{\text{ or }}p>1\\C^{q}&{\text{if }}p=0\\A^{q+1}&{\text{if }}p=1\end{cases}}$

$E_{1}^{p,q}={\begin{cases}0&{\text{if }}p<0{\text{ or }}p>1\\H^{q}(C^{\bullet })&{\text{if }}p=0\\H^{q+1}(A^{\bullet })&{\text{if }}p=1\end{cases}}$

अवकल में बाइघात (1, 0) है, इसलिए d_0,q: H^क्ष(C•) → H^q+1(ए^•)। ये सांप लेम्मा से कनेक्टिंग होमोमोर्फिज्म हैं, और साथ में प्रतिचित्रे ए^• → बी^• → C•, वे एक क्रम देते हैं:

$\cdots \rightarrow H^{q}(B^{\bullet })\rightarrow H^{q}(C^{\bullet })\rightarrow H^{q+1}(A^{\bullet })\rightarrow H^{q+1}(B^{\bullet })\rightarrow \cdots$

यह दिखाना बाकी है कि यह क्रम ए और C स्पॉट पर यथार्थ है। ध्यान दें कि यह वर्णक्रमीय क्रम E पर पतित होता है₂ पद क्योंकि अवकलों का द्विपद (2, −1) होता है। फलस्वरूप, ई₂ पद ई के समान है_∞ अवधि:

$E_{2}^{p,q}\cong {\text{gr}}_{p}H^{p+q}(B^{\bullet })={\begin{cases}0&{\text{if }}p<0{\text{ or }}p>1\\H^{q}(B^{\bullet })/H^{q}(A^{\bullet })&{\text{if }}p=0\\{\text{im }}H^{q+1}f^{\bullet }:H^{q+1}(A^{\bullet })\rightarrow H^{q+1}(B^{\bullet })&{\text{if }}p=1\end{cases}}$

परन्तु हमारे निकट ई कोलाई का सीधा विवरण भी है₂ ई की अनुरूपता के रूप में पद₁ अवधि। ये दो विवरण आइसोमॉर्फिक होने चाहिए:

$H^{q}(B^{\bullet })/H^{q}(A^{\bullet })\cong \ker d_{0,q}^{1}:H^{q}(C^{\bullet })\rightarrow H^{q+1}(A^{\bullet })$

${\text{im }}H^{q+1}f^{\bullet }:H^{q+1}(A^{\bullet })\rightarrow H^{q+1}(B^{\bullet })\cong H^{q+1}(A^{\bullet })/({\mbox{im }}d_{0,q}^{1}:H^{q}(C^{\bullet })\rightarrow H^{q+1}(A^{\bullet }))$

पूर्व C स्थान पर यथार्थता देता है, और बाद वाला ए स्थान पर यथार्थता देता है।

एक दोहरे सम्मिश्र का वर्णक्रमीय अनुक्रम, जारी

निस्यंदित्ड सम्मिश्र के लिए एबटमेंट का उपयोग करते हुए, हम पाते हैं कि:

$H_{p}^{I}(H_{q}^{II}(C_{\bullet ,\bullet }))\Rightarrow _{p}H^{p+q}(T(C_{\bullet ,\bullet }))$

$H_{q}^{II}(H_{p}^{I}(C_{\bullet ,\bullet }))\Rightarrow _{q}H^{p+q}(T(C_{\bullet ,\bullet }))$

सामान्यतः , H पर दो क्रमिकिंग^पी+q(टी(C•_,•)) अलग हैं। इसके बावजूद, इन दो वर्णक्रमीय अनुक्रमों से उपयोगी सूचना प्राप्त करना अभी भी संभव है।

Tor की क्रमविनिमेयता

R को वलय होने दें, एम को राइट R-मॉड्यूल और एन को लेफ्ट R-मॉड्यूल होने दें। याद रखें कि टेंसर उत्पाद के व्युत्पन्न प्रकार्यक को टोर काम करता है के रूप में दर्शाया गया है। टॉर को इसके पहले तर्क के प्रक्षेपी संकल्प का उपयोग करके परिभाषित किया गया है। यद्यपि, यह पता चला है $\operatorname {Tor} _{i}(M,N)=\operatorname {Tor} _{i}(N,M)$। जबकि यह वर्णक्रमीय अनुक्रम के बिना सत्यापित किया जा सकता है, यह वर्णक्रमीय अनुक्रमों के साथ बहुत सरल है।

अनुमानित संकल्प चुनें $P_{\bullet }$ और $Q_{\bullet }$ एम और एन की, क्रमशः। इन्हें ऐसे सम्मिश्रों के रूप में मानें जो क्रमशः d और ई के अंतर वाले ऋणात्मक घात में गायब हो जाते हैं। हम एक द्वि सम्मिश्र का निर्माण कर सकते हैं जिसकी प्रतिबन्धें हैं $C_{i,j}=P_{i}\otimes Q_{j}$ और किसके अंतर हैं $d\otimes 1$ और $(-1)^{i}(1\otimes e)$। (-1 का कारक इतना है कि अंतर एंटीकॉम्यूट है।) चूंकि प्रोजेक्टिव मॉड्यूल फ्लैट हैं, एक प्रोजेक्टिव मॉड्यूल के साथ टेंसर उत्पाद लेना अनुरूपता लेने के साथ प्रारंभहोता है, इसलिए हम प्राप्त करते हैं:

$H_{p}^{I}(H_{q}^{II}(P_{\bullet }\otimes Q_{\bullet }))=H_{p}^{I}(P_{\bullet }\otimes H_{q}^{II}(Q_{\bullet }))$

$H_{q}^{II}(H_{p}^{I}(P_{\bullet }\otimes Q_{\bullet }))=H_{q}^{II}(H_{p}^{I}(P_{\bullet })\otimes Q_{\bullet })$

चूंकि दो सम्मिश्र संकल्प हैं, उनकी अनुरूपता घात शून्य के बाहर गायब हो जाती है। घात शून्य में, हम साथ रह गए हैं

$H_{p}^{I}(P_{\bullet }\otimes N)=\operatorname {Tor} _{p}(M,N)$

$H_{q}^{II}(M\otimes Q_{\bullet })=\operatorname {Tor} _{q}(N,M)$

विशेष रूप से, $E_{p,q}^{2}$ लाइन q = 0 (I वर्णक्रमीय अनुक्रम के लिए) और p = 0 (II वर्णक्रमीय अनुक्रम के लिए) को छोड़कर पद गायब हो जाते हैं। इसका तात्पर्य यह है कि वर्णक्रमीय क्रम दूसरी पत्रक पर पतित हो जाता है, इसलिए ई^∞ पद E के लिए तुल्याकारी हैं² प्रतिबन्धें:

$\operatorname {Tor} _{p}(M,N)\cong E_{p}^{\infty }=H_{p}(T(C_{\bullet ,\bullet }))$

$\operatorname {Tor} _{q}(N,M)\cong E_{q}^{\infty }=H_{q}(T(C_{\bullet ,\bullet }))$

अंत में, जब p और q बराबर होते हैं, तो दाएँ हाथ की दो भुजाएँ बराबर होती हैं, और Tor की क्रमविनिमेयता इस प्रकार होती है।

काम किए गए उदाहरण

प्रथम-चतुर्थांश पत्रक

एक वर्णक्रमीय अनुक्रम पर विचार करें जहाँ $E_{r}^{p,q}$ सभी के लिए मिट जाता है $p$ कुछ से कम $p_{0}$ और सभी के लिए $q$ कुछ से कम $q_{0}$। अगर $p_{0}$ और $q_{0}$ शून्य के रूप में चुना जा सकता है, इसे प्रथम-चतुर्थांश वर्णक्रमीय अनुक्रम कहा जाता है। क्रम समाप्त हो जाता है क्योंकि $E_{r+i}^{p,q}=E_{r}^{p,q}$ सभी के लिए रखता है $i\geq 0$ अगर $r>p$ और $r>q+1$। इसे देखने के लिए, ध्यान दें कि माने गए मामलों के लिए या तो अंतर का प्रांत या उपप्रांत शून्य है। दृश्य पदों में, चादरें एक बढ़ती हुई आयत में स्थिर हो जाती हैं (ऊपर चित्र देखें)। यद्यपि, वर्णक्रमीय अनुक्रम को पतित होने की आवश्यकता नहीं है, क्योंकि अंतर प्रतिचित्र सभी एक बार में शून्य नहीं हो सकते हैं। इसी प्रकार, वर्णक्रमीय क्रम भी अभिसरण करता है यदि $E_{r}^{p,q}$ सभी के लिए मिट जाता है $p$ कुछ से बड़ा $p_{0}$ और सभी के लिए $q$ कुछ से बड़ा $q_{0}$।

2 गैर-शून्य आसन्न कॉलम

होने देना $E_{p,q}^{r}$ एक सजातीय वर्णक्रमीय अनुक्रम हो जैसे कि $E_{p,q}^{2}=0$ 0, 1 के अलावा सभी p के लिए। दृष्टिगत रूप से, यह वर्णक्रमीय अनुक्रम है $E^{2}$-पृष्ठ

${\begin{matrix}&\vdots &\vdots &\vdots &\vdots &\\\cdots &0&E_{0,2}^{2}&E_{1,2}^{2}&0&\cdots \\\cdots &0&E_{0,1}^{2}&E_{1,1}^{2}&0&\cdots \\\cdots &0&E_{0,0}^{2}&E_{1,0}^{2}&0&\cdots \\\cdots &0&E_{0,-1}^{2}&E_{1,-1}^{2}&0&\cdots \\&\vdots &\vdots &\vdots &\vdots &\end{matrix}}$

दूसरे पृष्ठ पर अंतर की घात (-2, 1) है, इसलिए वे फॉर्म के हैं

$d_{p,q}^{2}:E_{p,q}^{2}\to E_{p-2,q+1}^{2}$

ये प्रतिचित्र सभी शून्य हैं क्योंकि वे हैं

$d_{0,q}^{2}:E_{0,q}^{2}\to 0$, $d_{1,q}^{2}:E_{1,q}^{2}\to 0$

इसलिए वर्णक्रमीय अनुक्रम पतित होता है: $E^{\infty }=E^{2}$। कहते हैं, यह अभिसरण करता है $H_{*}$ एक छानने के साथ

$0=F_{-1}H_{n}\subset F_{0}H_{n}\subset \dots \subset F_{n}H_{n}=H_{n}$

ऐसा है कि $E_{p,q}^{\infty }=F_{p}H_{p+q}/F_{p-1}H_{p+q}$। तब $F_{0}H_{n}=E_{0,n}^{2}$, $F_{1}H_{n}/F_{0}H_{n}=E_{1,n-1}^{2}$, $F_{2}H_{n}/F_{1}H_{n}=0$, $F_{3}H_{n}/F_{2}H_{n}=0$, आदि। इस प्रकार, यथार्थ क्रम है:

$0\to E_{0,n}^{2}\to H_{n}\to E_{1,n-1}^{2}\to 0$।

अगला, चलो $E_{p,q}^{r}$ एक वर्णक्रमीय अनुक्रम हो जिसके दूसरे पृष्ठ में मात्र दो पंक्तियाँ q = 0, 1 हों। यह दूसरे पृष्ठ पर पतित होने की आवश्यकता नहीं है, परन्तु यह अभी भी तीसरे पृष्ठ पर पतित होता है क्योंकि अंतर में घात (-3, 2) होती है। टिप्पणी $E_{p,0}^{3}=\operatorname {ker} (d:E_{p,0}^{2}\to E_{p-2,1}^{2})$, क्योंकि भाजक शून्य है। इसी प्रकार, $E_{p,1}^{3}=\operatorname {coker} (d:E_{p+2,0}^{2}\to E_{p,1}^{2})$। इस प्रकार,

$0\to E_{p,0}^{\infty }\to E_{p,0}^{2}{\overset {d}{\to }}E_{p-2,1}^{2}\to E_{p-2,1}^{\infty }\to 0$।

अब, कहते हैं, वर्णक्रमीय अनुक्रम पिछले उदाहरण के जैसे एक निस्पंदन f के साथ H में परिवर्तित हो जाता है। तब से $F_{p-2}H_{p}/F_{p-3}H_{p}=E_{p-2,2}^{\infty }=0$, $F_{p-3}H_{p}/F_{p-4}H_{p}=0$, आदि, हमारे निकट है: $0\to E_{p-1,1}^{\infty }\to H_{p}\to E_{p,0}^{\infty }\to 0$। सब कुछ एक साथ रखकर, एक मिलता है:

$\cdots \to H_{p+1}\to E_{p+1,0}^{2}{\overset {d}{\to }}E_{p-1,1}^{2}\to H_{p}\to E_{p,0}^{2}{\overset {d}{\to }}E_{p-2,1}^{2}\to H_{p-1}\to \dots .$

वांग अनुक्रम

पिछले खंड में की गई गणना सीधे तरीके से सामान्यीकरण करती है। एक क्षेत्र पर एक कंपन पर विचार करें:

$F{\overset {i}{\to }}E{\overset {p}{\to }}S^{n}$

एन के साथ कम से कम 2। सेर वर्णक्रमीय अनुक्रम है:

$E_{p,q}^{2}=H_{p}(S^{n};H_{q}(F))\Rightarrow H_{p+q}(E)$;

अर्थात, $E_{p,q}^{\infty }=F_{p}H_{p+q}(E)/F_{p-1}H_{p+q}(E)$ कुछ छानने के साथ $F_{\bullet }$।

तब से $H_{p}(S^{n})$ मात्र शून्येतर होता है जब p शून्य या n होता है और उस स्थिति में 'Z' के बराबर होता है, हम देखते हैं $E_{p,q}^{2}$ मात्र दो पंक्तियों से मिलकर बनता है $p=0,n$, इसलिए $E^{2}$-पेज द्वारा दिया गया है

${\begin{matrix}&\vdots &\vdots &\vdots &&\vdots &\vdots &\vdots &\\\cdots &0&E_{0,2}^{2}&0&\cdots &0&E_{n,2}^{2}&0&\cdots \\\cdots &0&E_{0,1}^{2}&0&\cdots &0&E_{n,1}^{2}&0&\cdots \\\cdots &0&E_{0,0}^{2}&0&\cdots &0&E_{n,0}^{2}&0&\cdots \\\end{matrix}}$

इसके अलावा, चूंकि

$E_{p,q}^{2}=H_{p}(S^{n};H_{q}(F))=H_{q}(F)$

के लिए $p=0,n$ सार्वभौमिक गुणांक प्रमेय द्वारा, $E^{2}$ पेज जैसा दिखता है

${\begin{matrix}&\vdots &\vdots &\vdots &&\vdots &\vdots &\vdots &\\\cdots &0&H_{2}(F)&0&\cdots &0&H_{2}(F)&0&\cdots \\\cdots &0&H_{1}(F)&0&\cdots &0&H_{1}(F)&0&\cdots \\\cdots &0&H_{0}(F)&0&\cdots &0&H_{0}(F)&0&\cdots \\\end{matrix}}$

चूंकि मात्र गैर-शून्य अंतर पर हैं $E^{n}$-पेज, द्वारा दिया गया

$d_{n,q}^{n}:E_{n,q}^{n}\to E_{0,q+n-1}^{n}$

जो है

$d_{n,q}^{n}:H_{q}(F)\to H_{q+n-1}(F)$

वर्णक्रमीय अनुक्रम अभिसरण करता है $E^{n+1}=E^{\infty }$। गणना करके $E^{n+1}$ हमें एक यथार्थ क्रम मिलता है

$0\to E_{n,q-n}^{\infty }\to E_{n,q-n}^{n}{\overset {d}{\to }}E_{0,q-1}^{n}\to E_{0,q-1}^{\infty }\to 0.$

और अनुरूपता समूहों का उपयोग करके लिखा गया है, यह है

$0\to E_{n,q-n}^{\infty }\to H_{q-n}(F){\overset {d}{\to }}H_{q-1}(F)\to E_{0,q-1}^{\infty }\to 0.$

दोनों क्या स्थापित करने के लिए $E^{\infty }$-प्रतिबन्धें हैं, लिखो $H=H(E)$, और तबसे $F_{1}H_{q}/F_{0}H_{q}=E_{1,q-1}^{\infty }=0$, आदि, हमारे निकट है: $E_{n,q-n}^{\infty }=F_{n}H_{q}/F_{0}H_{q}$ और इस प्रकार, के बाद से $F_{n}H_{q}=H_{q}$,

$0\to E_{0,q}^{\infty }\to H_{q}\to E_{n,q-n}^{\infty }\to 0.$

यह ठीक क्रम है

$0\to H_{q}(F)\to H_{q}(E)\to H_{q-n}(F)\to 0.$

सभी गणनाओं को एक साथ रखकर, एक प्राप्त होता है:

$\dots \to H_{q}(F){\overset {i_{*}}{\to }}H_{q}(E)\to H_{q-n}(F){\overset {d}{\to }}H_{q-1}(F){\overset {i_{*}}{\to }}H_{q-1}(E)\to H_{q-n-1}(F)\to \dots$

(ग्य्सिन अनुक्रम इसी प्रकार से प्राप्त किया जाता है।)

कम-घात प्रतिबन्धें

एक स्पष्ट सांकेतिक परिवर्तन के साथ, पिछले उदाहरणों में संगणना के प्रकार को उपयोग वर्णक्रमीय अनुक्रम के लिए भी किया जा सकता है। होने देना $E_{r}^{p,q}$ घटते निस्पंदन के साथ H में परिवर्तित होने वाला प्रथम-चतुर्थांश वर्णक्रमीय क्रम हो

$0=F^{n+1}H^{n}\subset F^{n}H^{n}\subset \dots \subset F^{0}H^{n}=H^{n}$

ताकि $E_{\infty }^{p,q}=F^{p}H^{p+q}/F^{p+1}H^{p+q}.$ तब से $E_{2}^{p,q}$ शून्य है यदि p या q ऋणात्मक है, हमारे निकट:

$0\to E_{\infty }^{0,1}\to E_{2}^{0,1}{\overset {d}{\to }}E_{2}^{2,0}\to E_{\infty }^{2,0}\to 0.$

तब से $E_{\infty }^{1,0}=E_{2}^{1,0}$ उसी कारण से और तब से $F^{2}H^{1}=0,$

$0\to E_{2}^{1,0}\to H^{1}\to E_{\infty }^{0,1}\to 0$।

तब से $F^{3}H^{2}=0$, $E_{\infty }^{2,0}\subset H^{2}$। अनुक्रमों को एक साथ जोड़कर, हम तथाकथित पांच-अवधि यथार्थ अनुक्रम प्राप्त करते हैं:

$0\to E_{2}^{1,0}\to H^{1}\to E_{2}^{0,1}{\overset {d}{\to }}E_{2}^{2,0}\to H^{2}.$

किनारे के प्रतिचित्रे और अपराध

तुल्य वर्णक्रमीय अनुक्रम

होने देना $E_{p,q}^{r}$ एक वर्णक्रमीय अनुक्रम हो। अगर $E_{p,q}^{r}=0$ प्रत्येक q < 0 के लिए, तो यह होना चाहिए: r ≥ 2 के लिए,

$E_{p,0}^{r+1}=\operatorname {ker} (d:E_{p,0}^{r}\to E_{p-r,r-1}^{r})$

क्योंकि भाजक शून्य है। इसलिए, मोनोमोर्फिज़्म का एक क्रम है:

$E_{p,0}^{r}\to E_{p,0}^{r-1}\to \dots \to E_{p,0}^{3}\to E_{p,0}^{2}$।

उन्हें किनारे के प्रतिचित्रे कहा जाता है। इसी प्रकार यदि $E_{p,q}^{r}=0$ प्रत्येक पी <0 के लिए, फिर एपिमोर्फिज्म का एक क्रम होता है (जिसे एज मैप भी कहा जाता है):

$E_{0,q}^{2}\to E_{0,q}^{3}\to \dots \to E_{0,q}^{r-1}\to E_{0,q}^{r}$।

अपराध प्रतिचित्र आंशिक रूप से परिभाषित प्रतिचित्र है (अधिक यथार्थ, एक योजक संबंध)

$\tau :E_{p,0}^{2}\to E_{0,p-1}^{2}$

रचना के रूप में दिया $E_{p,0}^{2}\to E_{p,0}^{p}{\overset {d}{\to }}E_{0,p-1}^{p}\to E_{0,p-1}^{2}$, पहला और आखिरी प्रतिचित्र किनारे के प्रतिचित्रे के व्युत्क्रम हैं।

सह समरूपी वर्णक्रमीय अनुक्रम

वर्णक्रमीय अनुक्रम के लिए $E_{r}^{p,q}$ सह समरूपी प्रकार के, अनुरूप कथन धारण करते हैं। अगर $E_{r}^{p,q}=0$ प्रत्येक q < 0 के लिए, फिर एपिमोर्फिज्म का एक क्रम होता है

$E_{2}^{p,0}\to E_{3}^{p,0}\to \dots \to E_{r-1}^{p,0}\to E_{r}^{p,0}$।

और अगर $E_{r}^{p,q}=0$ प्रत्येक p < 0 के लिए, मोनोमोर्फिज्म का एक क्रम होता है:

$E_{r}^{0,q}\to E_{r-1}^{0,q}\to \dots \to E_{3}^{0,q}\to E_{2}^{0,q}$।

अपराध जरूरी ठीक रूप से परिभाषित प्रतिचित्र नहीं है:

$\tau :E_{2}^{0,q-1}\to E_{2}^{q,0}$

प्रेरक $d:E_{q}^{0,q-1}\to E_{q}^{q,0}$।

आवेदन

इन प्रतिचित्रों का निर्धारण Serre वर्णक्रमीय अनुक्रम में कई अंतरों की गणना के लिए मौलिक है। उदाहरण के लिए अपराध प्रतिचित्र अंतर को निर्धारित करता है

$d_{n}:E_{n,0}^{n}\to E_{0,n-1}^{n}$

तुल्य वर्णक्रमीय अनुक्रम के लिए, इसलिए कंपन के लिए सेरे वर्णक्रमीय अनुक्रम पर $F\to E\to B$ प्रतिचित्र देता है

$d_{n}:H_{n}(B)\to H_{n-1}(F)$।

आगे के उदाहरण

कुछ उल्लेखनीय वर्णक्रमीय अनुक्रम हैं:

सांस्थिति और ज्यामिति

• एक असाधारण सह समरूपता सिद्धांत का अतियाह-हिर्जेब्रुक वर्णक्रमीय अनुक्रम
• एक समूह के वर्गीकरण स्थान की समरूपता के लिए बार वर्णक्रमीय अनुक्रम।
• बॉकस्टीन वर्णक्रमीय अनुक्रम, मॉड पी गुणांक के साथ अनुरूपता से संबंधित है और अनुरूपता ने मॉड पी को कम कर दिया है।
• कार्टन-लेरे वर्णक्रमीय अनुक्रम भागफल स्थान के अनुरूपता में परिवर्तित हो रहा है।
• एक कंपन के ठहराना के एकवचन सह समरूपता के लिए ईलेनबर्ग-मूर वर्णक्रमीय अनुक्रम
• एक कंपन का गंभीर वर्णक्रमीय क्रम

होमोटॉपी सिद्धांत

• स्थिर समरूपता सिद्धांत में ईHपी वर्णक्रमीय अनुक्रम
• एडम्स-नोविकोव वर्णक्रमीय अनुक्रम, असाधारण सह समरूपता सिद्धांत के लिए एक सामान्यीकरण।
• बैराट वर्णक्रमीय अनुक्रम एक कोफिब्रेशन के प्रारंभिक स्थान के होमोटॉपी में परिवर्तित हो रहा है।
• बाउसफ़ील्ड-कान वर्णक्रमीय अनुक्रम एक फ़ैक्टर के होमोटॉपी कोलिमिट में परिवर्तित हो रहा है।
• एडम्स-नोविकोव वर्णक्रमीय अनुक्रम की प्रारंभिक प्रतिबन्धों की गणना होमोटॉपी निश्चित बिंदु वर्णक्रमीय अनुक्रम
• कोबर वर्णक्रमीय अनुक्रम
• ईHपी वर्णक्रमीय अनुक्रम क्षेत्रों के स्थिर होमोटोपी समूहों में परिवर्तित हो रहा है
• फेडरर वर्णक्रमीय अनुक्रम एक फ़ंक्शन स्पेस के होमोटॉपी समूहों में परिवर्तित हो रहा है।
• होमोटॉपी फिक्स्ड फेडरर वर्णक्रमीय अनुक्रम
• Hurewicz वर्णक्रमीय अनुक्रम किसी स्थान की समरूपता की समरूपता की गणना के लिए।
• मिलर वर्णक्रमीय अनुक्रम एक अंतरिक्ष के मॉड पी स्थिर अनुरूपता में परिवर्तित हो रहा है।
• मिल्नोर वर्णक्रमीय अनुक्रम बार वर्णक्रमीय अनुक्रम का दूसरा नाम है।
• मूर वर्णक्रमीय अनुक्रम बार वर्णक्रमीय अनुक्रम का दूसरा नाम है।
• एक साधारण समूह की होमोटॉपी की गणना के लिए क्विलन वर्णक्रमीय अनुक्रम
• रोथेनबर्ग-स्टीनरोड वर्णक्रमीय अनुक्रम बार वर्णक्रमीय अनुक्रम का दूसरा नाम है।
• वैन कम्पेन वर्णक्रमीय अनुक्रम रिक्त स्थान की कील की होमोटॉपी की गणना के लिए।

बीजगणित

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

सम्मिश्र और बीजगणितीय ज्यामिति

• एकवचन सिद्धांत में अर्नोल्ड का वर्णक्रमीय क्रम।
• बलोच-लिक्टेनबौम वर्णक्रमीय अनुक्रम एक क्षेत्र के बीजगणितीय के-सिद्धांत में परिवर्तित हो रहा है।
• Frölicher वर्णक्रमीय अनुक्रम Dolbeault cohomology से प्रारंभहोता है और विभिन्न प्रकार के बीजगणितीय de Rham cohomology में परिवर्तित होता है।
• हॉज-डी राम वर्णक्रमीय अनुक्रम विभिन्न प्रकार के बीजगणितीय d राम सह समरूपता में परिवर्तित हो रहा है।
• मोटिविक-टू-के-थ्योरी वर्णक्रमीय सीक्वेंस|मोटिविक-टू-के-थ्योरी वर्णक्रमीय सीक्वेंस

संदर्भ

परिचयात्मक

• Fomenko, Anatoly; Fuchs, Dmitry, Homotopical Topology
• Hatcher, Allen. "बीजगणितीय टोपोलॉजी में वर्णक्रमीय अनुक्रम" (PDF).

संदर्भ

• Leray, Jean (1946a), "L'anneau d'homologie d'une représentation", Les Comptes rendus de l'Académie des sciences, 222: 1366–1368
• Leray, Jean (1946b), "Structure de l'anneau d'homologie d'une représentation", Les Comptes rendus de l'Académie des sciences, 222: 1419–1422
• Koszul, Jean-Louis (1947). "Sur les opérateurs de dérivation dans un anneau". Comptes rendus de l'Académie des Sciences. 225: 217–219.
• Massey, William S. (1952). "Exact couples in algebraic topology. I, II". Annals of Mathematics. Second Series. Annals of Mathematics. 56 (2): 363–396. doi:10.2307/1969805. JSTOR 1969805.
• Massey, William S. (1953). "Exact couples in algebraic topology. III, IV, V". Annals of Mathematics. Second Series. Annals of Mathematics. 57 (2): 248–286. doi:10.2307/1969858. JSTOR 1969858.
• May, J. Peter. "A primer on spectral sequences" (PDF). Archived (PDF) from the original on 21 Jun 2020. Retrieved 21 Jun 2020.
• McCleary, John (2001). A User's Guide to Spectral Sequences. Cambridge Studies in Advanced Mathematics. Vol. 58 (2nd ed.). Cambridge University Press. ISBN 978-0-521-56759-6. MR 1793722.
• Mosher, Robert; Tangora, Martin (1968), Cohomology Operations and Applications in Homotopy Theory, Harper and Row, ISBN 978-0-06-044627-7
• Weibel, Charles A. (1994). An introduction to homological algebra. Cambridge Studies in Advanced Mathematics. Vol. 38. Cambridge University Press. ISBN 978-0-521-55987-4. MR 1269324. OCLC 36131259.

अग्रिम पठन

• Chow, Timothy Y. (2006). "You Could Have Invented Spectral Sequences" (PDF). Notices of the American Mathematical Society. 53: 15–19.

बाहरी संबंध

• "What is so "spectral" about spectral sequences?". MathOverflow.
• "SpectralSequences — a package for working with filtered complexes and spectral sequences". Macaulay2.