स्पेक्ट्रम (टोपोलॉजी)

बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक स्पेक्ट्रम एक वस्तु प्रतिनिधित्व योग्य फ़ंक्शनल है जो कोहोमोलॉजी # सामान्यीकृत कोहोमोलॉजी सिद्धांत है। ऐसा प्रत्येक कोहोमोलोजी सिद्धांत प्रतिनिधित्वयोग्य है, जैसा कि ब्राउन के प्रतिनिधित्वयोग्यता प्रमेय से निम्नानुसार है। इसका मतलब यह है कि, एक कोहोमोलॉजी सिद्धांत <ब्लॉककोट> दिया गया है${\mathcal {E}}^{*}:{\text{CW}}^{op}\to {\text{Ab}}$,वहाँ रिक्त स्थान मौजूद हैं $E^{k}$ जैसे कि कोहोमोलॉजी सिद्धांत का डिग्री में मूल्यांकन करना $k$ एक स्थान पर $X$ अंतरिक्ष में मानचित्रों के समरूप वर्गों की गणना करने के बराबर है $E^{k}$, वह <ब्लॉककोट> है${\mathcal {E}}^{k}(X)\cong \left[X,E^{k}\right]$.ध्यान दें कि स्पेक्ट्रा की कई अलग-अलग श्रेणियां (गणित) हैं, जिससे कई तकनीकी कठिनाइयां पैदा होती हैं, लेकिन वे सभी एक ही समरूप श्रेणी निर्धारित करते हैं, जिसे स्थिर समरूप श्रेणी के रूप में जाना जाता है। यह स्पेक्ट्रा शुरू करने के लिए प्रमुख बिंदुओं में से एक है क्योंकि वे स्थिर होमोटॉपी सिद्धांत के लिए एक प्राकृतिक घर बनाते हैं।

स्पेक्ट्रम की परिभाषा

परिभाषा के कई रूप हैं: सामान्य तौर पर, एक स्पेक्ट्रम कोई अनुक्रम होता है $X_{n}$ संरचना मानचित्रों के साथ नुकीले टोपोलॉजिकल स्थानों या नुकीले सरल सेटों का $S^{1}\wedge X_{n}\to X_{n+1}$, कहाँ $\wedge$ स्मैश उत्पाद है. एक नुकीले स्थान का तोड़ उत्पाद $X$ एक वृत्त के साथ कम निलंबन के लिए होमियोमोर्फिक है $X$, निरूपित $\Sigma X$.

निम्नलिखित फ्रैंक एडम्स (1974) के कारण है: एक स्पेक्ट्रम (या सीडब्ल्यू-स्पेक्ट्रम) एक अनुक्रम है $E:=\{E_{n}\}_{n\in \mathbb {N} }$ समावेशन के साथ सीडब्ल्यू कॉम्प्लेक्स का $\Sigma E_{n}\to E_{n+1}$ निलंबन का (टोपोलॉजी) $\Sigma E_{n}$ के उपसंकुल के रूप में $E_{n+1}$.

अन्य परिभाषाओं के लिए, सममित स्पेक्ट्रम और सरल स्पेक्ट्रम देखें।

एक स्पेक्ट्रम के समरूप समूह

स्पेक्ट्रा के सबसे महत्वपूर्ण अपरिवर्तनीयों में से एक स्पेक्ट्रम के होमोटॉपी समूह हैं। ये समूह रिक्त स्थान के स्थिर समरूप समूहों की परिभाषा को प्रतिबिंबित करते हैं क्योंकि निलंबन मानचित्रों की संरचना इसकी परिभाषा में अभिन्न है। एक स्पेक्ट्रम दिया गया $E$ समरूप समूह को परिभाषित करें $\pi _{n}(E)$ कोलिमिट<ब्लॉककोट> के रूप में${\begin{aligned}\pi _{n}(E)&=\lim _{\to k}\pi _{n+k}(E_{k})\\&=\lim _{\to }\left(\cdots \to \pi _{n+k}(E_{k})\to \pi _{n+k+1}(E_{k+1})\to \cdots \right)\end{aligned}}$जहां मानचित्र मानचित्र की संरचना से प्रेरित होते हैं $\Sigma :\pi _{n+k}(E_{n})\to \pi _{n+k+1}(\Sigma E_{n})$ (वह है, $[S^{n+k},E_{n}]\to [S^{n+k+1},\Sigma E_{n}]$ की कार्यात्मकता द्वारा दिया गया $\Sigma$) और संरचना मानचित्र $\Sigma E_{n}\to E_{n+1}$. एक स्पेक्ट्रम को संयोजी स्पेक्ट्रम कहा जाता है यदि ऐसा है $\pi _{k}$ ऋणात्मक k के लिए शून्य हैं।

उदाहरण

ईलेनबर्ग-मैकलेन स्पेक्ट्रम

Main article: Eilenberg–Maclane spectrum

एकवचन सहसंगति पर विचार करें $H^{n}(X;A)$ एबेलियन समूह में गुणांकों के साथ $A$. सीडब्ल्यू कॉम्प्लेक्स के लिए $X$, समूह $H^{n}(X;A)$ मानचित्रों के समरूप वर्गों के सेट से पहचाना जा सकता है $X$ को $K(A,n)$, होमोटॉपी के साथ ईलेनबर्ग-मैकलेन स्पेस डिग्री में केंद्रित है $n$. हम इसे <ब्लॉककोट> के रूप में लिखते हैं$[X,K(A,n)]=H^{n}(X;A)$फिर संबंधित स्पेक्ट्रम $HA$ है $n$-वाँ स्थान $K(A,n)$; इसे ईलेनबर्ग-मैकलेन स्पेक्ट्रम कहा जाता है $A$. ध्यान दें कि इस निर्माण का उपयोग किसी भी रिंग को एम्बेड करने के लिए किया जा सकता है $R$ स्पेक्ट्रा की श्रेणी में. यह एम्बेडिंग वर्णक्रमीय ज्यामिति का आधार बनाती है, जो व्युत्पन्न बीजगणितीय ज्यामिति के लिए एक मॉडल है। इस एम्बेडिंग के महत्वपूर्ण गुणों में से एक आइसोमोर्फिज्म<ब्लॉककोट> है${\begin{aligned}\pi _{i}(H(R/I)\wedge _{R}H(R/J))&\cong H_{i}\left(R/I\otimes ^{\mathbf {L} }R/J\right)\\&\cong \operatorname {Tor} _{i}^{R}(R/I,R/J)\end{aligned}}$स्पेक्ट्रा की श्रेणी दिखाने से कम्यूटेटिव रिंग्स की व्युत्पन्न जानकारी पर नज़र रखी जाती है, जहां स्मैश उत्पाद व्युत्पन्न टेंसर उत्पाद के रूप में कार्य करता है। इसके अलावा, ईलेनबर्ग-मैकलेन स्पेक्ट्रा का उपयोग कम्यूटेटिव रिंगों के लिए टोपोलॉजिकल होशचाइल्ड होमोलॉजी जैसे सिद्धांतों को परिभाषित करने के लिए किया जा सकता है, जो शास्त्रीय होशचाइल्ड होमोलॉजी की तुलना में अधिक परिष्कृत सिद्धांत है।

टोपोलॉजिकल कॉम्प्लेक्स के-सिद्धांत

दूसरे महत्वपूर्ण उदाहरण के रूप में, टोपोलॉजिकल के-सिद्धांत पर विचार करें। कम से कम एक्स कॉम्पैक्ट के लिए, $K^{0}(X)$ इसे X पर जटिल वेक्टर बंडलों के मोनोइड के ग्रोथेंडिक समूह के रूप में परिभाषित किया गया है। इसके अलावा, $K^{1}(X)$ एक्स के निलंबन पर वेक्टर बंडलों के अनुरूप समूह है। टोपोलॉजिकल के-सिद्धांत एक सामान्यीकृत कोहोमोलॉजी सिद्धांत है, इसलिए यह एक स्पेक्ट्रम देता है। शून्यवाँ स्थान है $\mathbb {Z} \times BU$ जबकि पहला स्थान है $U$. यहाँ $U$ अनंत एकात्मक समूह है और $BU$ इसका वर्गीकरण स्थान है। बॉट आवधिकता से हमें प्राप्त होता है $K^{2n}(X)\cong K^{0}(X)$ और $K^{2n+1}(X)\cong K^{1}(X)$ सभी n के लिए, इसलिए टोपोलॉजिकल K-थ्योरी स्पेक्ट्रम में सभी स्थान या तो दिए गए हैं $\mathbb {Z} \times BU$ या $U$. जटिल वेक्टर बंडलों के बजाय वास्तविक वेक्टर बंडलों का उपयोग करके एक संबंधित निर्माण होता है, जो 8-आवधिक स्पेक्ट्रम देता है।

क्षेत्र स्पेक्ट्रम

Main article: Sphere spectrum

स्पेक्ट्रम का सर्वोत्कृष्ट उदाहरण गोलाकार स्पेक्ट्रम है $\mathbb {S}$. यह एक ऐसा स्पेक्ट्रम है जिसके समरूपी समूह गोले के स्थिर समरूपी समूहों द्वारा दिए जाते हैं, इसलिए <ब्लॉकक्वोट>$\pi _{n}(\mathbb {S} )=\pi _{n}^{\mathbb {S} }$हम इस स्पेक्ट्रम को स्पष्ट रूप से इस प्रकार लिख सकते हैं $\mathbb {S} _{i}=S^{i}$ कहाँ $\mathbb {S} _{0}=\{0,1\}$. ध्यान दें कि स्मैश उत्पाद इस स्पेक्ट्रम<ब्लॉककोट> पर एक उत्पाद संरचना देता है$S^{n}\wedge S^{m}\simeq S^{n+m}$एक वलय संरचना उत्पन्न करता है $\mathbb {S}$. इसके अलावा, यदि सममित स्पेक्ट्रम की श्रेणी पर विचार किया जाए, तो यह प्रारंभिक वस्तु का निर्माण करता है $\mathbb {Z}$ क्रमविनिमेय वलय की श्रेणी में।

थॉम स्पेक्ट्रा

Main article: Thom spectrum

स्पेक्ट्रा का एक और विहित उदाहरण थॉम स्पेक्ट्रम से आता है जो विभिन्न सह-बॉर्डिज्म सिद्धांतों का प्रतिनिधित्व करता है। इसमें वास्तविक सह-बॉर्डिज्म शामिल है $MO$, जटिल सह-बॉर्डिज्म $MU$, फ्रेम्ड कोबॉर्डिज्म, स्पिन कोबॉर्डिज्म $MSpin$, स्ट्रिंग कोबॉर्डिज्म $MString$, और व्हाइटहेड टावर। वास्तव में, किसी भी टोपोलॉजिकल समूह के लिए $G$ एक थॉम स्पेक्ट्रम है $MG$.

सस्पेंशन स्पेक्ट्रम

एक स्पेक्ट्रम का निर्माण एक स्थान से किया जा सकता है। किसी स्थान का निलंबन स्पेक्ट्रम $X$, निरूपित $\Sigma ^{\infty }X$ एक स्पेक्ट्रम है $X_{n}=S^{n}\wedge X$ (संरचना मानचित्र पहचान हैं।) उदाहरण के लिए, 0-गोले का निलंबन स्पेक्ट्रम ऊपर चर्चा किया गया गोलाकार स्पेक्ट्रम है। इस स्पेक्ट्रम के होमोटॉपी समूह तब के स्थिर होमोटॉपी समूह होते हैं $X$, इसलिए <ब्लॉककोट>$\pi _{n}(\Sigma ^{\infty }X)=\pi _{n}^{\mathbb {S} }(X)$</ब्लॉकउद्धरण>निलंबन स्पेक्ट्रम के निर्माण से पता चलता है कि प्रत्येक स्थान को कोहोमोलॉजी सिद्धांत के रूप में माना जा सकता है। वास्तव में, यह एक फ़ंक्टर<ब्लॉककोट> को परिभाषित करता है$\Sigma ^{\infty }:h{\text{CW}}\to h{\text{Spectra}}$सीडब्ल्यू कॉम्प्लेक्स की होमोटॉपी श्रेणी से लेकर स्पेक्ट्रा की होमोटॉपी श्रेणी तक। आकारिकी <ब्लॉककोट> द्वारा दी गई है$[\Sigma ^{\infty }X,\Sigma ^{\infty }Y]={\underset {\to n}{\operatorname {colim} {}}}[\Sigma ^{n}X,\Sigma ^{n}Y]$जो फ्रायडेन्थल निलंबन प्रमेय द्वारा अंततः स्थिर हो जाता है। इससे हमारा तात्पर्य <ब्लॉककोट> से है$\left[\Sigma ^{N}X,\Sigma ^{N}Y\right]\simeq \left[\Sigma ^{N+1}X,\Sigma ^{N+1}Y\right]\simeq \cdots$ और $\left[\Sigma ^{\infty }X,\Sigma ^{\infty }Y\right]\simeq \left[\Sigma ^{N}X,\Sigma ^{N}Y\right]$कुछ परिमित पूर्णांक के लिए $N$. सीडब्ल्यू कॉम्प्लेक्स के लिए $X$ एक उलटा निर्माण है $\Omega ^{\infty }$ जो एक स्पेक्ट्रम लेता है $E$ और एक स्थान <ब्लॉककोट> बनाता है$\Omega ^{\infty }E={\underset {\to n}{\operatorname {colim} {}}}\Omega ^{n}E_{n}$स्पेक्ट्रम का अनंत लूप स्पेस कहलाता है। सीडब्ल्यू कॉम्प्लेक्स के लिए $X$<ब्लॉककोट>$\Omega ^{\infty }\Sigma ^{\infty }X={\underset {\to }{\operatorname {colim} {}}}\Omega ^{n}\Sigma ^{n}X$और यह निर्माण एक समावेशन के साथ आता है $X\to \Omega ^{n}\Sigma ^{n}X$ हरएक के लिए $n$, इसलिए एक नक्शा<ब्लॉककोट> देता है$X\to \Omega ^{\infty }\Sigma ^{\infty }X$जो कि इंजेक्शन है. दुर्भाग्य से, ये दो संरचनाएं, स्मैश उत्पाद के जुड़ने से, स्पेक्ट्रा के सिद्धांत में महत्वपूर्ण जटिलता पैदा करती हैं क्योंकि स्पेक्ट्रा की एक भी श्रेणी मौजूद नहीं हो सकती है जो इन संरचनाओं से संबंधित पांच सिद्धांतों की सूची को संतुष्ट करती हो।उपरोक्त संयोजन केवल रिक्त स्थान और स्पेक्ट्रा की होमोटॉपी श्रेणियों में मान्य है, लेकिन हमेशा स्पेक्ट्रा की एक विशिष्ट श्रेणी (होमोटॉपी श्रेणी नहीं) के साथ नहीं।

Ω-स्पेक्ट्रम

Ω-स्पेक्ट्रम एक ऐसा स्पेक्ट्रम है जो संरचना मानचित्र (यानी, मानचित्र) का जोड़ है$X_{n}\to \Omega X_{n+1}$) एक कमजोर तुल्यता है। रिंग का K-सिद्धांत स्पेक्ट्रम Ω-स्पेक्ट्रम का एक उदाहरण है।

रिंग स्पेक्ट्रम

एक रिंग स्पेक्ट्रम एक स्पेक्ट्रम X है, जैसे कि स्मैश उत्पादों के संदर्भ में वलय स्वयंसिद्ध का वर्णन करने वाले आरेख होमोटॉपी तक पहुंचते हैं ($S^{0}\to X$ पहचान से मेल खाता है।) उदाहरण के लिए, टोपोलॉजिकल के-सिद्धांत का स्पेक्ट्रम एक रिंग स्पेक्ट्रम है। एक 'मॉड्यूल स्पेक्ट्रम' को अनुरूप रूप से परिभाषित किया जा सकता है।

कई और उदाहरणों के लिए, कोहोमोलॉजी सिद्धांतों की सूची देखें।

स्पेक्ट्रा के कार्य, मानचित्र और समरूपता

तीन प्राकृतिक श्रेणियां हैं जिनकी वस्तुएं स्पेक्ट्रा हैं, जिनकी आकृतियाँ फ़ंक्शन, या मानचित्र, या होमोटॉपी वर्ग हैं जिन्हें नीचे परिभाषित किया गया है।

दो स्पेक्ट्रा ई और एफ के बीच एक फ़ंक्शन ई से मानचित्रों का एक अनुक्रम है_n एफ को_n जिसके साथ आवागमन होता है मानचित्र ΣE_n→ और_n+1 और ΣF_n→एफ_n+1.

एक स्पेक्ट्रम दिया गया $E_{n}$, एक सबस्पेक्ट्रम $F_{n}$ उपसंकुलों का एक क्रम है जो एक स्पेक्ट्रम भी है। जैसे प्रत्येक आई-सेल में $E_{j}$ एक (i+1)-सेल में निलंबित हो जाता है $E_{j+1}$, एक कोफ़ाइनल सबस्पेक्ट्रम एक सबस्पेक्ट्रम है जिसके लिए मूल स्पेक्ट्रम की प्रत्येक कोशिका एक सीमित संख्या में निलंबन के बाद अंततः सबस्पेक्ट्रम में समाहित हो जाती है। फिर स्पेक्ट्रा के मानचित्र को परिभाषित करके स्पेक्ट्रा को एक श्रेणी में बदला जा सकता है $f:E\to F$ सह-अंतिम उप-स्पेक्ट्रम से एक फ़ंक्शन होना $G$ का $E$ को $F$, जहां दो ऐसे फ़ंक्शन एक ही मानचित्र का प्रतिनिधित्व करते हैं यदि वे कुछ सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं। सहज रूप से स्पेक्ट्रा के ऐसे मानचित्र को हर जगह परिभाषित करने की आवश्यकता नहीं होती है, बस अंततः परिभाषित हो जाता है, और दो मानचित्र जो एक सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं, समतुल्य कहे जाते हैं। यह 'स्पेक्ट्रा की श्रेणी' (और मानचित्र) देता है, जो एक प्रमुख उपकरण है। इस श्रेणी में नुकीले सीडब्ल्यू कॉम्प्लेक्स की श्रेणी का एक स्वाभाविक एम्बेडिंग है: यह लेता है $Y$ निलंबन स्पेक्ट्रम के लिए जिसमें एनवां कॉम्प्लेक्स है $\Sigma ^{n}Y$.

एक स्पेक्ट्रम का स्मैश उत्पाद $E$ और एक नुकीला परिसर $X$ द्वारा दिया गया एक स्पेक्ट्रम है $(E\wedge X)_{n}=E_{n}\wedge X$ (स्मैश उत्पाद की संबद्धता से तुरंत पता चलता है कि यह वास्तव में एक स्पेक्ट्रम है)। स्पेक्ट्रा के बीच मानचित्रों की एक समरूपता एक मानचित्र से मेल खाती है $(E\wedge I^{+})\to F$, कहाँ $I^{+}$ असंयुक्त संघ है $[0,1]\sqcup \{*\}$ साथ $*$ आधारबिंदु माना जाता है।

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

अंत में, हम किसी स्पेक्ट्रम के निलंबन को परिभाषित कर सकते हैं $(\Sigma E)_{n}=E_{n+1}$. यह अनुवाद निलंबन उलटा है, क्योंकि हम सेटिंग करके निलंबित भी कर सकते हैं $(\Sigma ^{-1}E)_{n}=E_{n-1}$.

स्पेक्ट्रा की त्रिकोणीय समरूप श्रेणी

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

$X\rightarrow Y\rightarrow Y\cup CX\rightarrow (Y\cup CX)\cup CY\cong \Sigma X$.

स्पेक्ट्रा के उत्पादों को तोड़ें

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

स्मैश उत्पाद त्रिकोणीय श्रेणी संरचना के अनुकूल है। विशेष रूप से स्पेक्ट्रम के साथ एक प्रतिष्ठित त्रिकोण का स्मैश उत्पाद एक विशिष्ट त्रिकोण है।

सामान्यीकृत होमोलॉजी और स्पेक्ट्रा की सह-होमोलॉजी

See also: Generalized cohomology theory

हम किसी स्पेक्ट्रम के स्थिर समरूप समूह|(स्थिर) समरूप समूह को परिभाषित कर सकते हैं

$\displaystyle \pi _{n}E=[\Sigma ^{n}\mathbb {S} ,E]$,

कहाँ $\mathbb {S}$ गोला स्पेक्ट्रम है और $[X,Y]$ से मानचित्रों के समरूप वर्गों का समूह है $X$ को $Y$. हम स्पेक्ट्रम ई के सामान्यीकृत समरूपता सिद्धांत को परिभाषित करते हैं

$E_{n}X=\pi _{n}(E\wedge X)=[\Sigma ^{n}\mathbb {S} ,E\wedge X]$

और इसके सामान्यीकृत कोहोमोलोजी सिद्धांत को परिभाषित करें

$\displaystyle E^{n}X=[\Sigma ^{-n}X,E].$

यहाँ $X$ एक स्पेक्ट्रम या (इसके निलंबन स्पेक्ट्रम का उपयोग करके) एक स्थान हो सकता है।

स्पेक्ट्रा के साथ तकनीकी जटिलताएँ

स्पेक्ट्रा के साथ काम करते समय और स्पेक्ट्रा की एक श्रेणी को परिभाषित करते समय विहित जटिलताओं में से एक इस तथ्य से आती है कि इनमें से प्रत्येक श्रेणी स्पेक्ट्रम के अनंत लूप स्थान से संबंधित पांच स्पष्ट रूप से स्पष्ट सिद्धांतों को संतुष्ट नहीं कर सकती है। $Q$<ब्लॉककोट>$Q:{\text{Top}}_{*}\to {\text{Top}}_{*}$</ब्लॉककोट>भेज रहा है<ब्लॉककोट>$QX=\mathop {\text{colim}} _{\to n}\Omega ^{n}\Sigma ^{n}X$सहायक फ़ंक्शनक्टरों की एक जोड़ी $\Sigma ^{\infty }:{\text{Top}}_{*}\leftrightarrows {\text{Spectra}}_{*}:\Omega ^{\infty }$, और स्मैश उत्पाद $\wedge$ रिक्त स्थान की श्रेणी और स्पेक्ट्रा की श्रेणी दोनों में। अगर हम जाने देंगे ${\text{Top}}_{*}$ आधारित, सघन रूप से उत्पन्न, कमज़ोर हॉसडॉर्फ़ स्थानों की श्रेणी को निरूपित करें, और ${\text{Spectra}}_{*}$ स्पेक्ट्रा की एक श्रेणी को निरूपित करने के लिए, निम्नलिखित पाँच सिद्धांत स्पेक्ट्रा के विशिष्ट मॉडल से कभी भी संतुष्ट नहीं हो सकते हैं:

1. ${\text{Spectra}}_{*}$ स्मैश उत्पाद के संबंध में एक सममित मोनोइडल श्रेणी है $\wedge$
2. फनकार $\Sigma ^{\infty }$ बायीं ओर से जुड़ा हुआ है $\Omega ^{\infty }$
3. स्मैश उत्पाद के लिए इकाई $\wedge$ गोलाकार स्पेक्ट्रम है $\Sigma ^{\infty }S^{0}=\mathbb {S}$
4. या तो प्राकृतिक परिवर्तन है $\phi :\left(\Omega ^{\infty }E\right)\wedge \left(\Omega ^{\infty }E'\right)\to \Omega ^{\infty }\left(E\wedge E'\right)$ या एक प्राकृतिक परिवर्तन $\gamma :\left(\Sigma ^{\infty }E\right)\wedge \left(\Sigma ^{\infty }E'\right)\to \Sigma ^{\infty }\left(E\wedge E'\right)$ जो दोनों श्रेणियों में इकाई वस्तु के साथ संचार करता है, और दोनों श्रेणियों में क्रमविनिमेय और साहचर्य समरूपताएँ।
5. एक स्वाभाविक कमजोर तुल्यता है $\theta :\Omega ^{\infty }\Sigma ^{\infty }X\to QX$ के लिए $X\in \operatorname {Ob} ({\text{Top}}_{*})$ जिसमें एक आवागमन आरेख है:

   ${\begin{matrix}X&\xrightarrow {\eta } &\Omega ^{\infty }\Sigma ^{\infty }X\\{\mathord {=}}\downarrow &&\downarrow \theta \\X&\xrightarrow {i} &QX\end{matrix}}$</ब्लॉकक्वॉट>कहां $\eta$ अनुलग्नक में इकाई मानचित्र है।

इस वजह से, उपयोग किए जा रहे मॉडल के आधार पर स्पेक्ट्रा का अध्ययन खंडित हो गया है। एक सिंहावलोकन के लिए, ऊपर उद्धृत लेख देखें।

इतिहास

स्पेक्ट्रम की अवधारणा का एक संस्करण 1958 में एलोन लागेस लीमा के डॉक्टरेट शोध प्रबंध में पेश किया गया था। उनके सलाहकार एडविन स्पैनियार्ड ने 1959 में इस विषय पर आगे लिखा। स्पेक्ट्रा को 1960 के दशक की शुरुआत में सामान्यीकृत होमोलॉजी सिद्धांतों पर अपने काम में माइकल अतियाह और जॉर्ज डब्ल्यू व्हाइटहेड द्वारा अपनाया गया था। माइकल बोर्डमैन|जे की 1964 डॉक्टरेट थीसिस। माइकल बोर्डमैन ने स्पेक्ट्रा और उनके बीच के मानचित्रों (सिर्फ होमोटॉपी वर्ग नहीं) की एक श्रेणी की एक व्यावहारिक परिभाषा दी, जो स्थिर होमोटॉपी सिद्धांत में उतनी ही उपयोगी है जितनी सीडब्ल्यू कॉम्प्लेक्स की श्रेणी अस्थिर मामले में है। (यह अनिवार्य रूप से ऊपर वर्णित श्रेणी है, और इसका उपयोग अभी भी कई उद्देश्यों के लिए किया जाता है: अन्य खातों के लिए, एडम्स (1974) या रेनर वोग्ट (1970) देखें।) हालांकि 1990 के बाद से महत्वपूर्ण सैद्धांतिक प्रगति हुई है, जिससे औपचारिक रूप से काफी सुधार हुआ है स्पेक्ट्रा के गुण. नतीजतन, हालिया साहित्य ई-अनंत रिंग स्पेक्ट्रम का उपयोग करता है: माइकल मैंडेल और अन्य देखें। (2001) इन नए दृष्टिकोणों के एकीकृत उपचार के लिए।

यह भी देखें

• रिंग स्पेक्ट्रम
• सममित स्पेक्ट्रम
• जी-स्पेक्ट्रम
• मानचित्रण स्पेक्ट्रम
• निलंबन (टोपोलॉजी)
• एडम्स वर्णक्रमीय अनुक्रम

संदर्भ

परिचयात्मक

• Adams, J. Frank (1974). स्थिर समरूपता और सामान्यीकृत समरूपता. University of Chicago Press. ISBN 9780226005249.
• Elmendorf, Anthony D.; Kříž, Igor; Mandell, Michael A.; May, J. Peter (1995), "Modern foundations for stable homotopy theory" (PDF), in James., Ioan M. (ed.), Handbook of algebraic topology, Amsterdam: North-Holland, pp. 213–253, CiteSeerX 10.1.1.55.8006, doi:10.1016/B978-044481779-2/50007-9, ISBN 978-0-444-81779-2, MR 1361891

सिद्धांत विकसित करने वाले आधुनिक लेख

• Mandell, Michael A.; May, J. Peter; Schwede, Stefan; Shipley, Brooke (2001), "Model categories of diagram spectra", Proceedings of the London Mathematical Society, Series 3, 82 (2): 441–512, CiteSeerX 10.1.1.22.3815, doi:10.1112/S0024611501012692, MR 1806878, S2CID 551246

ऐतिहासिक रूप से प्रासंगिक लेख

• Atiyah, Michael F. (1961). "बोर्डिज्म और कोबॉर्डिज्म". Proceedings of the Cambridge Philosophical Society. 57 (2): 200–8. doi:10.1017/s0305004100035064. S2CID 122937421.

• Lima, Elon Lages (1959), "The Spanier–Whitehead duality in new homotopy categories", Summa Brasil. Math., 4: 91–148, MR 0116332
• Lima, Elon Lages (1960), "Stable Postnikov invariants and their duals", Summa Brasil. Math., 4: 193–251
• Vogt, Rainer (1970), Boardman's stable homotopy category, Lecture Notes Series, No. 21, Matematisk Institut, Aarhus Universitet, Aarhus, MR 0275431
• Whitehead, George W. (1962), "Generalized homology theories", Transactions of the American Mathematical Society, 102 (2): 227–283, doi:10.1090/S0002-9947-1962-0137117-6

बाहरी संबंध

• Spectral Sequences - Allen Hatcher - contains excellent introduction to spectra and applications for constructing Adams spectral sequence
• An untitled book project about symmetric spectra
• "Are spectra really the same as cohomology theories?".