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

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}$।

बिग्रेडेड वर्णक्रमीय अनुक्रम

वास्तव में वर्णक्रमीय अनुक्रम ज्यादातर एक रिंग (गणित) आर (या डबल ग्रेडेड शेफ (गणित) मॉड्यूल के रिंग्स के एक शेफ पर) पर डबल ग्रेडेड मॉड्यूल (गणित) की श्रेणी में होते हैं, यानी प्रत्येक शीट एक बीग्रेडेड आर-मॉड्यूल है ${\textstyle E_{r}=\bigoplus _{p,q\in \mathbb {Z} ^{2}}E_{r}^{p,q}.}$ तो इस स्थिति में एक cohomological वर्णक्रमीय अनुक्रम एक अनुक्रम है $\{E_{r},d_{r}\}_{r\geq r_{0}}$ बीग्रेडेड आर-मॉड्यूल की $\{E_{r}^{p,q}\}_{p,q}$ और प्रत्येक मॉड्यूल के लिए समरूपता का प्रत्यक्ष योग $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,1-r)$, ऐसा कि प्रत्येक के लिए $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$ कुल डिग्री है। वर्णक्रमीय अनुक्रम के आधार पर, पहली शीट पर सीमा मानचित्र में एक डिग्री हो सकती है जो आर = 0, आर = 1, या आर = 2 से मेल खाती है। उदाहरण के लिए, फ़िल्टर किए गए परिसर के वर्णक्रमीय अनुक्रम के लिए, नीचे वर्णित, आर₀ = 0, परन्तु ग्रोथेंडिक वर्णक्रमीय अनुक्रम के लिए, आर₀ = 2। सामान्यतः आर₀ शून्य, एक या दो है। ऊपर वर्णित अश्रेणीकृत स्थिति में, 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)$), सह समरूपी केस के अनुरूप एक तुल्य वर्णक्रमीय अनुक्रम की परिभाषा प्राप्त करता है।

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

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

• इ₀ = सी_•* और_r= एच (सी_•) सभी आर ≥ 1 के लिए।

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

विज़ुअलाइज़ेशन

ई₂ सह समरूपी वर्णक्रमीय अनुक्रम की शीट

एक डबल ग्रेडेड वर्णक्रमीय अनुक्रम में ट्रैक रखने के लिए डेटा की जबरदस्त मात्रा होती है, परन्तु एक सामान्य विज़ुअलाइज़ेशन तकनीक है जो वर्णक्रमीय अनुक्रम की संरचना को स्पष्ट बनाती है। हमारे पास तीन सूचकांक हैं, आर, पी और क्यू। एक वस्तु $E_{r}$ रूप में देखा जा सकता है $r^{th}$ किसी किताब का चेकदार पन्ना। इन शीटों पर, हम p को क्षैतिज दिशा और q को उर्ध्वाधर दिशा मानेंगे। प्रत्येक जाली बिंदु पर हमारे पास वस्तु है $E_{r}^{p,q}$। अब अगले पृष्ठ की ओर मुड़ने का अर्थ है समरूपता लेना, अर्थात $(r+1)^{th}$ पृष्ठ का एक उपभाग है $r^{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}$, और दिए गए समरूपताओं के साथ क्रमशः ई और ई' की आरवें चरण और (आर + 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 }$ एच (ई; आर) के लिए एक वर्गीकृत बीजगणित के रूप में आइसोमोर्फिक नहीं है। गुणात्मक संरचना अनुक्रम पर अवकलन की गणना के लिए बहुत उपयोगी हो सकती है।

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

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

एक यथार्थ जोड़े का वर्णक्रमीय अनुक्रम

Main article: Exact couple

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

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

• प्रतिरूप (गणित) एफ = कर्नेल (बीजगणित) जी
• प्रतिरूप जी = कर्नेल एच
• प्रतिरूप एच = कर्नेल एफ

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

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

• डी = जी o एच
• ए' = 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^(एन), सी^(एन), एफ^(एन), जी^(एन), एच^(एन))।

वर्णक्रमीय अनुक्रम बनाने के लिए, ई_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 ^मैं और डी ^{द्वितीय । डी I i, और d को घटाने के लिए माना जाता है II को घटता हुआ माना जाता है। इसके अलावा, हम मानते हैं कि अंतर एंटीकोम्यूट है, ताकि d मैं डी II + डी II डी 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 है ^मैं + डी ^{द्वितीय । यह एक जटिल है क्योंकि डी मैं और डी 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 निर्धारित करने की आवश्यकता है ^मैं + डी ^{ई पर द्वितीय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}$

नतीजतन, ई पर अंतर⁰ मैप सी है_p,q → सी_p,q−1 डी द्वारा प्रेरित ^मैं + डी ^{द्वितीय । परन्तु डी मैं इस प्रकार के नक्शे को प्रेरित करने के लिए गलत डिग्री है, इसलिए डी I E पर शून्य होना चाहिए0</उप>। इसका मतलब है कि अंतर बिल्कुल डी है 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 के संबंध में यथार्थ समरूपता थी ^{द्वितीय}, डी ^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 एक वर्णक्रमीय अनुक्रम हो, आर = 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 })$,

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

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

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

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

$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: एच^क्ष(सी^•) → एच^{क्यू+1}(ए^•)। ये सांप लेम्मा से कनेक्टिंग होमोमोर्फिज्म हैं, और साथ में नक्शे ए^• → बी^• → सी^•, वे एक क्रम देते हैं:

$\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$

यह दिखाना बाकी है कि यह क्रम ए और सी स्पॉट पर यथार्थ है। ध्यान दें कि यह वर्णक्रमीय क्रम 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 }))$

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

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

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

$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 }))$

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

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

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

अनुमानित संकल्प चुनें $P_{\bullet }$ और $Q_{\bullet }$ एम और एन की, क्रमशः। इन्हें ऐसे परिसरों के रूप में मानें जो क्रमशः डी और ई के अंतर वाले ऋणात्मक डिग्री में गायब हो जाते हैं। हम एक डबल कॉम्प्लेक्स का निर्माण कर सकते हैं जिसकी शर्तें हैं $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_{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)$।

आगे के उदाहरण

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

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

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

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

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

बीजगणित

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

जटिल और बीजगणितीय ज्यामिति

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

संदर्भ

परिचयात्मक

• 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.