स्पेक्ट्रम (टोपोलॉजी): Difference between revisions

Revision as of 15:42, 12 July 2023

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

${\mathcal {E}}^{*}:{\text{CW}}^{op}\to {\text{Ab}}$

ऐसे स्थान उपस्थित हैं $E^{k}$ कि समिष्ट $X$ पर डिग्री $k$ में कोहोमोलॉजी सिद्धांत का मूल्यांकन करना समरूपता की गणना करने के समान है समिष्ट $E^{k}$ के मानचित्रों की श्रेणियाँ है अर्थात

${\mathcal {E}}^{k}(X)\cong \left[X,E^{k}\right]$

ध्यान दें कि स्पेक्ट्रा की कई अलग-अलग श्रेणियां हैं जो कई तकनीकी कठिनाइयों का कारण बनती हैं^[1] किंतु वे सभी एक ही होमोटॉपी श्रेणी निर्धारित करती हैं, जिसे स्थिर होमोटॉपी श्रेणी के रूप में जाना जाता है। यह स्पेक्ट्रा प्रारंभ करने के लिए प्रमुख बिंदुओं में से एक है क्योंकि वे स्थिर होमोटॉपी सिद्धांत के लिए एक प्राकृतिक घर बनाते हैं।

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

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

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

उदाहरण

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

एक एबेलियन समूह ए में गुणांक के साथ एकवचन सह-समरूपता $H^{n}(X;A)$ पर विचार करें। CW कॉम्प्लेक्स $X$ के लिए, समूह $H^{n}(X;A)$ को मानचित्रों के समरूप वर्गों के सेट से पहचाना जा सकता है से

$K(A,n)$ को $X$ तक मानचित्रों के समरूप वर्गों के सेट से पहचाना जा सकता है, डिग्री $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-आवधिक स्पेक्ट्रम देता है।

दूसरे महत्वपूर्ण उदाहरण के रूप में, टोपोलॉजिकल के-सिद्धांत पर विचार करें। कम से कम X कॉम्पैक्ट के लिए, $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)$ , $\mathbb {Z} \times BU$ या $U$ द्वारा दिए गए हैं। वास्तविक सदिश बंडलों का उपयोग करके एक संबंधित निर्माण होता है जटिल सदिश बंडलों के अतिरिक्त जो 8-आवधिक स्पेक्ट्रम देता है।

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

स्पेक्ट्रम के सर्वोत्कृष्ट उदाहरणों में से एक गोलाकार स्पेक्ट्रम $\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}$ के अनुरूप है।

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

स्पेक्ट्रा का एक और विहित उदाहरण थॉम स्पेक्ट्रा से आता है जो विभिन्न सह-बॉर्डिज्म सिद्धांतों का प्रतिनिधित्व करता है। इसमें वास्तविक कोबॉर्डिज्म $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$

और यह निर्माण प्रत्येक $n$ के लिए समावेशन $X\to \Omega ^{n}\Sigma ^{n}X$ के साथ आता है, इसलिए एक नक्शा देता है

$X\to \Omega ^{\infty }\Sigma ^{\infty }X$

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

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

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

वलय स्पेक्ट्रम

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

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

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

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

दो स्पेक्ट्रा E और F के बीच एक कार्य E_n से F_n तक मानचित्रों का एक अनुक्रम है जो मानचित्रों ΣE_n → E_n₊₁ and ΣF_n → F_n₊₁ के साथ आवागमन करता है।

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

.

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

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

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

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

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

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

,

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

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$ के संबंध में एक सममित मोनोइडल श्रेणी है
फनकार $\Sigma ^{\infty }$ , $\Omega ^{\infty }$ बायीं ओर से जुड़ा हुआ है
स्मैश उत्पाद $\wedge$ की इकाई गोला स्पेक्ट्रम $\Sigma ^{\infty }S^{0}=\mathbb {S}$ है।
या तो एक प्राकृतिक परिवर्तन $\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)$ है जो दोनों श्रेणियों में इकाई वस्तु के साथ चलता है, और दोनों श्रेणियों में क्रमविनिमेय और साहचर्य समरूपता है।
$\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) देखें।

यह भी देखें

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

संदर्भ

↑ ^1.0 ^1.1 ^1.2 Lewis, L. Gaunce (1991-08-30). "Is there a convenient category of spectra?". Journal of Pure and Applied Algebra (in English). 73 (3): 233–246. doi:10.1016/0022-4049(91)90030-6. ISSN 0022-4049.

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?".

[:0-1] 1.0 ^1.1 ^1.2 Lewis, L. Gaunce (1991-08-30). "Is there a convenient category of spectra?". Journal of Pure and Applied Algebra (in English). 73 (3): 233–246. doi:10.1016/0022-4049(91)90030-6. ISSN 0022-4049.

[1]

@@ Line 55: / Line 55: @@
 {{Main|क्षेत्र स्पेक्ट्रम}}
-'''स्पेक्ट्रम का सर्वोत्कृष्ट उदाहरण [[गोलाकार स्पेक्ट्रम]] है <math>\mathbb{S}</math>. यह एक ऐसा स्पेक्ट्रम है जिसके समरूपी समूह गोले के''' स्थिर समरूपी समूहों द्वारा दिए जाते हैं, इसलिए <ब्लॉकक्वोट><math>\pi_n(\mathbb{S}) = \pi_n^{\mathbb{S}}</math>हम इस स्पेक्ट्रम को स्पष्ट रूप से इस प्रकार लिख सकते हैं <math>\mathbb{S}_i = S^i</math> कहाँ <math>\mathbb{S}_0 = \{0, 1\}</math>. ध्यान दें कि स्मैश उत्पाद इस स्पेक्ट्रम<ब्लॉककोट> पर एक उत्पाद संरचना देता है<math>S^n \wedge S^m \simeq S^{n+m}</math>एक वलय संरचना उत्पन्न करता है <math>\mathbb{S}</math>. इसके अतिरिक्त , यदि सममित स्पेक्ट्रम की श्रेणी पर विचार किया जाए, तो यह प्रारंभिक वस्तु का निर्माण करता है <math>\mathbb{Z}</math> क्रमविनिमेय वलय की श्रेणी में।
+स्पेक्ट्रम के सर्वोत्कृष्ट उदाहरणों में से एक गोलाकार स्पेक्ट्रम <math>\mathbb{S}</math> है। यह एक ऐसा स्पेक्ट्रम है जिसके समरूपी समूह गोले के स्थिर समरूपी समूहों द्वारा दिए जाते हैं
+<math>\pi_n(\mathbb{S}) = \pi_n^{\mathbb{S}}</math>
+हम इस स्पेक्ट्रम को स्पष्ट रूप से <math>\mathbb{S}_i = S^i</math> जहां <math>\mathbb{S}_0 = \{0, 1\}</math> के रूप में लिख सकते हैं। ध्यान दें कि स्मैश उत्पाद इस स्पेक्ट्रम पर एक उत्पाद संरचना देता है
+<math>S^n \wedge S^m \simeq S^{n+m}</math>
+<math>\mathbb{S}</math> पर एक वलय संरचना उत्पन्न करता है। इसके अतिरिक्त  यदि सममित स्पेक्ट्रा की श्रेणी पर विचार किया जाए, तो यह प्रारंभिक वस्तु बनाता है, जो क्रमविनिमेय वलय की श्रेणी में <math>\mathbb{Z}</math> के अनुरूप है।
 === थॉम स्पेक्ट्रा ===
-{{Main|Thom spectrum}}
+{{Main|थॉम स्पेक्ट्रम}}
-स्पेक्ट्रा का एक और विहित उदाहरण [[थॉम स्पेक्ट्रम]] से आता है जो विभिन्न सह-बॉर्डिज्म सिद्धांतों का प्रतिनिधित्व करता है। इसमें वास्तविक सह-बॉर्डिज्म शामिल है <math>MO</math>, जटिल सह-बॉर्डिज्म <math>MU</math>, फ्रेम्ड कोबॉर्डिज्म, स्पिन कोबॉर्डिज्म <math>MSpin</math>, स्ट्वलय कोबॉर्डिज्म <math>MString</math>, और [[व्हाइटहेड टावर]]। वास्तव में, किसी भी टोपोलॉजिकल समूह के लिए <math>G</math> एक थॉम स्पेक्ट्रम है <math>MG</math>.
+स्पेक्ट्रा का एक और विहित उदाहरण थॉम स्पेक्ट्रा से आता है जो विभिन्न सह-बॉर्डिज्म सिद्धांतों का प्रतिनिधित्व करता है। इसमें वास्तविक कोबॉर्डिज्म <math>MO</math> जटिल कोबॉर्डिज्म <math>MU</math> फ्रेम्ड कोबॉर्डिज्म, स्पिन कोबर्डिज्म <math>MSpin</math>, स्ट्रिंग कोबर्डिज्म <math>MString</math> इत्यादि सम्मिलित हैं। वास्तव में, किसी भी टोपोलॉजिकल समूह <math>G</math> के लिए एक थॉम स्पेक्ट्रम <math>MG</math>  है।
 === सस्पेंशन स्पेक्ट्रम ===
-एक स्पेक्ट्रम का निर्माण एक स्थान से किया जा सकता है। किसी स्थान का निलंबन स्पेक्ट्रम <math>X</math>, निरूपित <math>\Sigma^\infty X</math> एक स्पेक्ट्रम है <math>X_n = S^n \wedge X</math> (संरचना मानचित्र पहचान हैं।) उदाहरण के लिए, 0-गोले का निलंबन स्पेक्ट्रम ऊपर चर्चा किया गया गोलाकार स्पेक्ट्रम है। इस स्पेक्ट्रम के होमोटॉपी समूह तब के स्थिर होमोटॉपी समूह होते हैं <math>X</math>, इसलिए <ब्लॉककोट><math>\pi_n(\Sigma^\infty X) = \pi_n^\mathbb{S}(X)</math></ब्लॉकउद्धरण>निलंबन स्पेक्ट्रम के निर्माण से पता चलता है कि प्रत्येक स्थान को कोहोमोलॉजी सिद्धांत के रूप में माना जा सकता है। वास्तव में, यह एक फ़ंक्टर<ब्लॉककोट> को परिभाषित करता है<math>\Sigma^\infty:h\text{CW} \to h\text{Spectra}</math>सीडब्ल्यू कॉम्प्लेक्स की होमोटॉपी श्रेणी से लेकर स्पेक्ट्रा की होमोटॉपी श्रेणी तक। आकारिकी <ब्लॉककोट> द्वारा दी गई है<math>[\Sigma^\infty X, \Sigma^\infty Y] = \underset{\to n}{\operatorname{colim}{}}[\Sigma^nX,\Sigma^nY]</math>जो [[फ्रायडेन्थल निलंबन प्रमेय]] द्वारा अंततः स्थिर हो जाता है। इससे हमारा तात्पर्य <ब्लॉककोट> से है<math>\left[\Sigma^N X, \Sigma^N Y\right] \simeq \left[\Sigma^{N+1} X, \Sigma^{N+1} Y\right] \simeq \cdots</math> और <math>\left[\Sigma^\infty X, \Sigma^\infty Y\right] \simeq \left[\Sigma^N X, \Sigma^N Y\right]</math>कुछ परिमित पूर्णांक के लिए <math>N</math>. सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math> एक उलटा निर्माण है <math>\Omega^\infty</math> जो एक स्पेक्ट्रम लेता है <math>E</math> और एक स्थान <ब्लॉककोट> बनाता है<math>\Omega^\infty E = \underset{\to n}{\operatorname{colim}{}}\Omega^n E_n</math>स्पेक्ट्रम का अनंत लूप स्पेस कहलाता है। सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math><ब्लॉककोट><math>\Omega^\infty\Sigma^\infty X = \underset{\to}{\operatorname{colim}{}} \Omega^n\Sigma^nX</math>और यह निर्माण एक समावेशन के साथ आता है <math>X \to \Omega^n\Sigma^n X</math> हरएक के लिए <math>n</math>, इसलिए एक नक्शा<ब्लॉककोट> देता है<math>X \to \Omega^\infty\Sigma^\infty X</math>जो कि इंजेक्शन है. दुर्भाग्य से, ये दो संरचनाएं, स्मैश उत्पाद के जुड़ने से, स्पेक्ट्रा के सिद्धांत में महत्वपूर्ण जटिलता उत्पन्न करती हैं क्योंकि स्पेक्ट्रा की एक भी श्रेणी उपस्थित नहीं हो सकती है जो इन संरचनाओं से संबंधित पांच सिद्धांतों की सूची को संतुष्ट करती हो।<ref name=":0" />उपरोक्त संयोजन केवल रिक्त स्थान और स्पेक्ट्रा की होमोटॉपी श्रेणियों में मान्य है, किंतु हमेशा स्पेक्ट्रा की एक विशिष्ट श्रेणी (होमोटॉपी श्रेणी नहीं) के साथ नहीं।
+एक स्पेक्ट्रम का निर्माण एक स्थान से किया जा सकता है। निलंबन किसी स्थान <math>X</math> का स्पेक्ट्रम, जिसे <math>\Sigma^\infty X</math> दर्शाया गया है, एक स्पेक्ट्रम <math>X_n = S^n \wedge X</math> (संरचना) है  मानचित्र पहचान हैं।) उदाहरण के लिए, 0-गोले का निलंबन स्पेक्ट्रम ऊपर चर्चा किया गया गोलाकार स्पेक्ट्रम है। इस स्पेक्ट्रम के होमोटॉपी समूह तब <math>X</math> के स्थिर होमोटॉपी समूह होते हैं
+'''<ब्लॉककोट>'''
+<math>\pi_n(\Sigma^\infty X) = \pi_n^\mathbb{S}(X)</math>
+'''</ब्लॉकउद्धरण>'''
+निलंबन स्पेक्ट्रम के निर्माण से पता चलता है कि प्रत्येक स्थान को कोहोमोलॉजी सिद्धांत के रूप में माना जा सकता है। वास्तव में, यह एक कारक '''<ब्लॉककोट>''' को परिभाषित करता है
+<math>\Sigma^\infty:h\text{CW} \to h\text{Spectra}</math>
+सीडब्ल्यू कॉम्प्लेक्स की होमोटॉपी श्रेणी से लेकर स्पेक्ट्रा की होमोटॉपी श्रेणी तक। आकारिकी <'''ब्लॉककोट'''> द्वारा दी गई है
+<math>[\Sigma^\infty X, \Sigma^\infty Y] = \underset{\to n}{\operatorname{colim}{}}[\Sigma^nX,\Sigma^nY]</math>
+जो [[फ्रायडेन्थल निलंबन प्रमेय]] द्वारा अंततः स्थिर हो जाता है। इससे हमारा तात्पर्य '''<ब्लॉककोट>''' से है
+<math>\left[\Sigma^N X, \Sigma^N Y\right] \simeq \left[\Sigma^{N+1} X, \Sigma^{N+1} Y\right] \simeq \cdots</math> और <math>\left[\Sigma^\infty X, \Sigma^\infty Y\right] \simeq \left[\Sigma^N X, \Sigma^N Y\right]</math>
+कुछ परिमित पूर्णांक के लिए <math>N</math>. सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math> एक उलटा निर्माण है <math>\Omega^\infty</math> जो एक स्पेक्ट्रम लेता है <math>E</math> और एक स्थान '''<ब्लॉककोट>''' बनाता है
+<math>\Omega^\infty E = \underset{\to n}{\operatorname{colim}{}}\Omega^n E_n</math>
+स्पेक्ट्रम का अनंत लूप स्पेस कहा जाता है। सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math>
+<math>\Omega^\infty\Sigma^\infty X = \underset{\to}{\operatorname{colim}{}} \Omega^n\Sigma^nX</math>
+और यह निर्माण प्रत्येक <math>n</math> के लिए समावेशन <math>X \to \Omega^n\Sigma^n X</math>  के साथ आता है, इसलिए एक नक्शा देता है
+<math>X \to \Omega^\infty\Sigma^\infty X</math>
+जो कि इंजेक्शन है. दुर्भाग्य से, ये दो संरचनाएं, स्मैश उत्पाद के जुड़ने से, स्पेक्ट्रा के सिद्धांत में महत्वपूर्ण जटिलता उत्पन्न करती हैं क्योंकि स्पेक्ट्रा की एक भी श्रेणी उपस्थित नहीं हो सकती है जो इन संरचनाओं से संबंधित पांच सिद्धांतों की सूची को संतुष्ट करती हो।<ref name=":0" /> उपरोक्त संयोजन केवल रिक्त स्थान और स्पेक्ट्रा की होमोटॉपी श्रेणियों में मान्य है, किंतु सदैव स्पेक्ट्रा की एक विशिष्ट श्रेणी (होमोटॉपी श्रेणी नहीं) के साथ नहीं है
 === Ω-स्पेक्ट्रम ===
-Ω-स्पेक्ट्रम एक ऐसा स्पेक्ट्रम है जो संरचना मानचित्र (यानी, मानचित्र) का जोड़ है<math>X_n \to \Omega X_{n+1}</math>) एक कमजोर तुल्यता है। वलय का K-सिद्धांत स्पेक्ट्रम Ω-स्पेक्ट्रम का एक उदाहरण है।
+Ω-स्पेक्ट्रम एक स्पेक्ट्रम है जैसे कि संरचना मानचित्र का जोड़ (अथार्त , मैप एक्स_<math>X_n \to \Omega X_{n+1}</math>) एक अशक्त तुल्यता है। वलय का K-सिद्धांत स्पेक्ट्रम Ω-स्पेक्ट्रम का एक उदाहरण है।
 === [[रिंग स्पेक्ट्रम|वलय स्पेक्ट्रम]] ===
@@ Line 74: / Line 115: @@
 ==स्पेक्ट्रा के कार्य, मानचित्र और समरूपता==
-तीन प्राकृतिक श्रेणियां हैं जिनकी वस्तुएं स्पेक्ट्रा हैं, जिनकी आकृतियाँ फ़ंक्शन, या मानचित्र, या होमोटॉपी वर्ग हैं जिन्हें नीचे परिभाषित किया गया है।
+तीन प्राकृतिक श्रेणियां हैं जिनकी वस्तुएं स्पेक्ट्रा हैं, जिनकी आकृतियाँ कार्य , या मानचित्र, या होमोटॉपी वर्ग हैं जिन्हें नीचे परिभाषित किया गया है।
-दो स्पेक्ट्रा ''ई'' और ''एफ'' के बीच एक फ़ंक्शन ''ई'' से मानचित्रों का एक अनुक्रम है<sub>''n''</sub> एफ को<sub>''n''</sub> जिसके साथ आवागमन होता है
+दो स्पेक्ट्रा ''E'' और ''F''  के बीच एक कार्य ''E<sub>n</sub>'' से  ''F<sub>n</sub>'' तक मानचित्रों का एक अनुक्रम है जो मानचित्रों Σ''E<sub>n</sub>'' → ''E<sub>n</sub>''<sub>+1</sub> and Σ''F<sub>n</sub>'' → ''F<sub>n</sub>''<sub>+1</sub> के साथ आवागमन करता है।
-मानचित्र ΣE<sub>''n''</sub>→ और<sub>''n''+1</sub> और ΣF<sub>''n''</sub>→एफ<sub>''n''+1</sub>.
-एक स्पेक्ट्रम दिया गया <math>E_n</math>, एक सबस्पेक्ट्रम <math>F_n</math> उपसंकुलों का एक क्रम है जो एक स्पेक्ट्रम भी है। जैसे प्रत्येक आई-सेल में <math>E_j</math> एक (i+1)-सेल में निलंबित हो जाता है <math>E_{j+1}</math>, एक कोफ़ाइनल सबस्पेक्ट्रम एक सबस्पेक्ट्रम है जिसके लिए मूल स्पेक्ट्रम की प्रत्येक कोशिका एक सीमित संख्या में निलंबन के बाद अंततः सबस्पेक्ट्रम में समाहित हो जाती है। फिर स्पेक्ट्रा के मानचित्र को परिभाषित करके स्पेक्ट्रा को एक श्रेणी में बदला जा सकता है <math>f: E \to F</math> सह-अंतिम उप-स्पेक्ट्रम से एक फ़ंक्शन होना <math>G</math> का <math>E</math> को <math>F</math>, जहां दो ऐसे फ़ंक्शन एक ही मानचित्र का प्रतिनिधित्व करते हैं यदि वे कुछ सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं। सहज रूप से स्पेक्ट्रा के ऐसे मानचित्र को हर जगह परिभाषित करने की आवश्यकता नहीं होती है, बस अंततः परिभाषित हो जाता है, और दो मानचित्र जो एक सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं, समतुल्य कहे जाते हैं।
+एक स्पेक्ट्रम <math>E_n</math> दिया गया है, एक सबस्पेक्ट्रम <math>F_n</math> उप-कॉम्प्लेक्स का एक क्रम है जो एक स्पेक्ट्रम भी है। चूंकि <math>E_j</math> में प्रत्येक i-सेल <math>E_{j+1}</math> में एक (i + 1)-सेल पर निलंबित होता है, एक सह-अंतिम उप-स्पेक्ट्रम एक उप-स्पेक्ट्रम होता है, जिसके लिए मूल स्पेक्ट्रम की प्रत्येक कोशिका अंततः उप-स्पेक्ट्रम में समाहित होती है। निलंबन की एक सीमित संख्या के बाद. स्पेक्ट्रा को तब स्पेक्ट्रा <math>f: E \to F</math> के मानचित्र को E से F के सह-अंतिम उप-स्पेक्ट्रम G से एक कार्य  के रूप में परिभाषित करके एक श्रेणी में बदला जा सकता है, जहां दो ऐसे कार्य  एक ही मानचित्र का प्रतिनिधित्व करते हैं यदि वे कुछ सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं। सहज रूप से स्पेक्ट्रा के ऐसे मानचित्र को हर जगह परिभाषित करने की आवश्यकता नहीं होती है, बस अंततः परिभाषित हो जाता है, और दो मानचित्र जो एक सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं, समतुल्य कहे जाते हैं। यह स्पेक्ट्रा (और मानचित्र) की श्रेणी देता है, जो एक प्रमुख उपकरण है। इस श्रेणी में नुकीले सीडब्ल्यू कॉम्प्लेक्स की श्रेणी का एक स्वाभाविक एम्बेडिंग है: यह <math> Y </math> को सस्पेंशन स्पेक्ट्रम में ले जाता है जिसमें nth कॉम्प्लेक्स <math> \Sigma^n Y </math> है।
-यह 'स्पेक्ट्रा की श्रेणी' (और मानचित्र) देता है, जो एक प्रमुख उपकरण है। इस श्रेणी में नुकीले सीडब्ल्यू कॉम्प्लेक्स की श्रेणी का एक स्वाभाविक एम्बेडिंग है: यह लेता है  <math> Y </math> निलंबन स्पेक्ट्रम के लिए जिसमें एनवां कॉम्प्लेक्स है <math> \Sigma^n Y </math>.
-एक स्पेक्ट्रम का स्मैश उत्पाद <math>E</math> और एक नुकीला परिसर <math>X</math> द्वारा दिया गया एक स्पेक्ट्रम है <math>(E \wedge X)_n = E_n \wedge X</math> (स्मैश उत्पाद की संबद्धता से तुरंत पता चलता है कि यह वास्तव में एक स्पेक्ट्रम है)। स्पेक्ट्रा के बीच मानचित्रों की एक समरूपता एक मानचित्र से मेल खाती है <math>(E \wedge I^+) \to F</math>, कहाँ <math>I^+</math> असंयुक्त संघ है <math>[0, 1] \sqcup \{*\}</math> साथ <math>*</math> आधारबिंदु माना जाता है।
+एक स्पेक्ट्रम का स्मैश उत्पाद <math>E</math> और एक नुकीला परिसर <math>X</math> द्वारा दिया गया एक स्पेक्ट्रम है <math>(E \wedge X)_n = E_n \wedge X</math> (स्मैश उत्पाद की संबद्धता से तुरंत पता चलता है कि यह वास्तव में एक स्पेक्ट्रम है)। स्पेक्ट्रा के बीच मानचित्रों की एक समरूपता एक मानचित्र से मेल खाती है <math>(E \wedge I^+) \to F</math>, जहाँ <math>I^+</math> असंयुक्त संघ है <math>[0, 1] \sqcup \{*\}</math> साथ <math>*</math> आधारबिंदु माना जाता है।
 स्थिर होमोटॉपी श्रेणी, या (सीडब्ल्यू) स्पेक्ट्रा की होमोटॉपी श्रेणी को उस श्रेणी के रूप में परिभाषित किया गया है जिसकी वस्तुएं स्पेक्ट्रा हैं और जिनकी आकृतियाँ स्पेक्ट्रा के बीच मानचित्रों की होमोटॉपी कक्षाएं हैं। स्पेक्ट्रम की कई अन्य परिभाषाएँ, जिनमें से कुछ बहुत भिन्न दिखाई देती हैं, समतुल्य स्थिर समरूप श्रेणियों की ओर ले जाती हैं।
-अंत में, हम किसी स्पेक्ट्रम के निलंबन को परिभाषित कर सकते हैं <math>(\Sigma E)_n = E_{n+1}</math>. यह अनुवाद निलंबन उलटा है, क्योंकि हम सेटिंग करके निलंबित भी कर सकते हैं <math>(\Sigma^{-1}E)_n = E_{n-1}</math>.
+अंत में, हम स्पेक्ट्रम के निलंबन को <math>(\Sigma E)_n = E_{n+1}</math> द्वारा परिभाषित कर सकते हैं। यह अनुवाद निलंबन उलटा है, क्योंकि हम <math>(\Sigma^{-1}E)_n = E_{n-1}</math> सेट करके निलंबित भी कर सकते हैं।
 ==स्पेक्ट्रा की त्रिकोणीय समरूप श्रेणी==
-स्थिर होमोटॉपी श्रेणी योगात्मक है: होमोटॉपी समूहों को परिभाषित करने के लिए उपयोग किए जाने वाले ट्रैक जोड़ के एक प्रकार का उपयोग करके मानचित्र जोड़े जा सकते हैं। इस प्रकार एक स्पेक्ट्रम से दूसरे स्पेक्ट्रम तक समरूप वर्ग एक एबेलियन समूह बनाते हैं। इसके अतिरिक्त  स्थिर होमोटॉपी श्रेणी [[त्रिकोणीय श्रेणी]] (वोग्ट (1970)) है, जो बदलाव निलंबन द्वारा दिया जा रहा है और स्पेक्ट्रा के मैपिंग शंकु (टोपोलॉजी) अनुक्रमों द्वारा प्रतिष्ठित त्रिकोण हैं।
+स्थिर होमोटॉपी श्रेणी योगात्मक है: होमोटॉपी समूहों को परिभाषित करने के लिए उपयोग किए जाने वाले ट्रैक जोड़ के एक प्रकार का उपयोग करके मानचित्र जोड़े जा सकते हैं। इस प्रकार एक स्पेक्ट्रम से दूसरे स्पेक्ट्रम तक समरूप वर्ग एक एबेलियन समूह बनाते हैं। इसके अतिरिक्त स्थिर होमोटॉपी श्रेणी [[त्रिकोणीय श्रेणी]] (वोग्ट (1970)) है, जो बदलाव निलंबन द्वारा दिया जा रहा है और स्पेक्ट्रा के मैपिंग शंकु (टोपोलॉजी) अनुक्रमों द्वारा प्रतिष्ठित त्रिकोण हैं।
 :<math>X\rightarrow Y\rightarrow Y\cup CX \rightarrow (Y\cup CX)\cup CY \cong \Sigma X</math>.
 ==स्पेक्ट्रा के उत्पादों को तोड़ें==
-स्पेक्ट्रा का स्मैश उत्पाद सीडब्ल्यू कॉम्प्लेक्स के स्मैश उत्पाद का विस्तार करता है। यह स्थिर समरूप श्रेणी को एक [[मोनोइडल श्रेणी]] में बनाता है; दूसरे शब्दों में यह एबेलियन समूहों के (व्युत्पन्न) टेंसर उत्पाद की तरह व्यवहार करता है। स्मैश उत्पाद के साथ एक बड़ी समस्या यह है कि इसे परिभाषित करने के स्पष्ट तरीके इसे केवल समरूपता तक सहयोगी और क्रमविनिमेय बनाते हैं। स्पेक्ट्रा की कुछ और हालिया परिभाषाएँ, जैसे कि सममित स्पेक्ट्रम, इस समस्या को खत्म करती हैं, और होमोटॉपी कक्षाओं में जाने से पहले, मानचित्रों के स्तर पर एक सममित मोनोइडल संरचना देती हैं।
+स्पेक्ट्रा का स्मैश उत्पाद सीडब्ल्यू कॉम्प्लेक्स के स्मैश उत्पाद का विस्तार करता है। यह स्थिर समरूप श्रेणी को एक [[मोनोइडल श्रेणी]] में बनाता है; दूसरे शब्दों में यह एबेलियन समूहों के (व्युत्पन्न) टेंसर उत्पाद की तरह व्यवहार करता है। स्मैश उत्पाद के साथ एक बड़ी समस्या यह है कि इसे परिभाषित करने के स्पष्ट विधि से इसे केवल समरूपता तक सहयोगी और क्रमविनिमेय बनाते हैं। स्पेक्ट्रा की कुछ और आधुनिक परिभाषाएँ, जैसे कि सममित स्पेक्ट्रम, इस समस्या को खत्म करती हैं, और होमोटॉपी कक्षाओं में जाने से पहले, मानचित्रों के स्तर पर एक सममित मोनोइडल संरचना देती हैं।
 स्मैश उत्पाद त्रिकोणीय श्रेणी संरचना के अनुकूल है। विशेष रूप से स्पेक्ट्रम के साथ एक प्रतिष्ठित त्रिकोण का स्मैश उत्पाद एक विशिष्ट त्रिकोण है।
 ==सामान्यीकृत होमोलॉजी और स्पेक्ट्रा की सह-होमोलॉजी==
-{{see also|Generalized cohomology theory}}
+{{see also|सामान्यीकृत कोहोमोलोजी सिद्धांत}}
-हम किसी स्पेक्ट्रम के [[स्थिर समरूप समूह]]|(स्थिर) समरूप समूह को परिभाषित कर सकते हैं
+हम किसी स्पेक्ट्रम के [[स्थिर समरूप समूह]] या (स्थिर) समरूप समूह को परिभाषित कर सकते हैं
 :<math>\displaystyle \pi_n E = [\Sigma^n \mathbb{S}, E]</math>,
-कहाँ <math>\mathbb{S}</math> गोला स्पेक्ट्रम है और <math>[X, Y]</math> से मानचित्रों के समरूप वर्गों का समूह है <math>X</math> को <math>Y</math>.
+जहां <math>\mathbb{S}</math> गोलाकार स्पेक्ट्रम है और <math>[X, Y]</math> <math>X</math> को <math>Y</math> तक के मानचित्रों के समरूप वर्गों का समूह है। हम स्पेक्ट्रम E के सामान्यीकृत समरूपता सिद्धांत को परिभाषित करते हैं
-हम स्पेक्ट्रम ई के सामान्यीकृत समरूपता सिद्धांत को परिभाषित करते हैं
 :<math>E_n X = \pi_n (E \wedge X) = [\Sigma^n \mathbb{S}, E \wedge X]</math>
 और इसके सामान्यीकृत कोहोमोलोजी सिद्धांत को परिभाषित करें
@@ Line 111: / Line 149: @@
 == स्पेक्ट्रा के साथ तकनीकी जटिलताएँ ==
-स्पेक्ट्रा के साथ काम करते समय और स्पेक्ट्रा की एक श्रेणी को परिभाषित करते समय विहित जटिलताओं में से एक इस तथ्य से आती है कि इनमें से प्रत्येक श्रेणी स्पेक्ट्रम के अनंत लूप स्थान से संबंधित पांच स्पष्ट रूप से स्पष्ट सिद्धांतों को संतुष्ट नहीं कर सकती है। <math>Q</math><ब्लॉककोट><math>Q: \text{Top}_* \to \text{Top}_*</math></ब्लॉककोट>भेज रहा है<ब्लॉककोट><math>QX = \mathop{\text{colim}}_{\to n}\Omega^n\Sigma^n X</math></blockquote>सहायक फ़ंक्शनक्टरों की एक जोड़ी <math>\Sigma^\infty: \text{Top}_* \leftrightarrows \text{Spectra}_* : \Omega^\infty</math>, और स्मैश उत्पाद <math>\wedge</math> रिक्त स्थान की श्रेणी और स्पेक्ट्रा की श्रेणी दोनों में। अगर हम जाने देंगे <math>\text{Top}_*</math> आधारित, सघन रूप से उत्पन्न, कमज़ोर हॉसडॉर्फ़ स्थानों की श्रेणी को निरूपित करें, और <math>\text{Spectra}_*</math> स्पेक्ट्रा की एक श्रेणी को निरूपित करने के लिए, निम्नलिखित पाँच सिद्धांत स्पेक्ट्रा के विशिष्ट मॉडल से कभी भी संतुष्ट नहीं हो सकते हैं:<ref name=":0" />
+स्पेक्ट्रा के साथ काम करते समय और स्पेक्ट्रा की एक श्रेणी को परिभाषित करते समय विहित जटिलताओं में से एक इस तथ्य से आती है कि इनमें से प्रत्येक श्रेणी स्पेक्ट्रम <math>Q</math> के अनंत लूप स्थान से संबंधित पांच स्पष्ट रूप से स्पष्ट सिद्धांतों को संतुष्ट नहीं कर सकती है।
+'''<ब्लॉककोट>'''
+<math>Q: \text{Top}_* \to \text{Top}_*</math>
+'''</ब्लॉककोट>'''
+भेज रहा है
+'''<ब्लॉककोट>'''
+<math>QX = \mathop{\text{colim}}_{\to n}\Omega^n\Sigma^n X</math>
+रिक्त स्थान की श्रेणी और स्पेक्ट्रा की श्रेणी दोनों में सहायक कारक <math>\Sigma^\infty: \text{Top}_* \leftrightarrows \text{Spectra}_* : \Omega^\infty</math> की एक जोड़ी, और स्मैश उत्पाद <math>\wedge</math> यदि हम <math>\text{Top}_*</math> को आधारित, सघन रूप से उत्पन्न, अशक्त हॉसडॉर्फ रिक्त स्थान की श्रेणी को निरूपित करने देते हैं, और <math>\text{Spectra}_*</math> को स्पेक्ट्रा की एक श्रेणी को निरूपित करने देते हैं, तो निम्नलिखित पांच सिद्धांत स्पेक्ट्रा के विशिष्ट मॉडल से कभी भी संतुष्ट नहीं हो सकते हैं:<ref name=":0" />
-# <math>\text{Spectra}_*</math> स्मैश उत्पाद के संबंध में एक सममित मोनोइडल श्रेणी है <math>\wedge</math>
+# <math>\text{Spectra}_*</math> स्मैश उत्पाद <math>\wedge</math> के संबंध में एक सममित मोनोइडल श्रेणी है
-#फनकार <math>\Sigma^\infty</math> बायीं ओर से जुड़ा हुआ है <math>\Omega^\infty</math>
+#फनकार <math>\Sigma^\infty</math>, <math>\Omega^\infty</math> बायीं ओर से जुड़ा हुआ है
-# स्मैश उत्पाद के लिए इकाई <math>\wedge</math> गोलाकार स्पेक्ट्रम है <math>\Sigma^\infty S^0 = \mathbb{S}</math>
+#स्मैश उत्पाद <math>\wedge</math> की इकाई गोला स्पेक्ट्रम <math>\Sigma^\infty S^0 = \mathbb{S}</math> है।
-# या तो प्राकृतिक परिवर्तन है <math>\phi: \left(\Omega^\infty E\right) \wedge \left(\Omega^\infty E'\right) \to \Omega^\infty\left(E \wedge E'\right)</math> या एक प्राकृतिक परिवर्तन <math>\gamma: \left(\Sigma^\infty E\right) \wedge \left(\Sigma^\infty E'\right) \to \Sigma^\infty\left(E \wedge E'\right)</math> जो दोनों श्रेणियों में इकाई वस्तु के साथ संचार करता है, और दोनों श्रेणियों में क्रमविनिमेय और साहचर्य समरूपताएँ।
+#या तो एक प्राकृतिक परिवर्तन<math>\phi: \left(\Omega^\infty E\right) \wedge \left(\Omega^\infty E'\right) \to \Omega^\infty\left(E \wedge E'\right)</math> है या एक प्राकृतिक परिवर्तन <math>\gamma: \left(\Sigma^\infty E\right) \wedge \left(\Sigma^\infty E'\right) \to \Sigma^\infty\left(E \wedge E'\right)</math> है जो दोनों श्रेणियों में इकाई वस्तु के साथ चलता है, और दोनों श्रेणियों में क्रमविनिमेय और साहचर्य समरूपता है।
-# एक स्वाभाविक कमजोर तुल्यता है <math>\theta: \Omega^\infty\Sigma^\infty X \to QX</math> के लिए <math>X \in \operatorname{Ob}(\text{Top}_*)</math> जिसमें एक आवागमन आरेख है:<blockquote><math>\begin{matrix}
+#<math>\theta: \Omega^\infty\Sigma^\infty X \to QX</math> के लिए एक प्राकृतिक अशक्त तुल्यता <math>X \in \operatorname{Ob}(\text{Top}_*)</math> है जो कि एक आवागमन आरेख है:<blockquote><math>\begin{matrix}
    X & \xrightarrow{\eta} & \Omega^\infty\Sigma^\infty X \\
    \mathord{=} \downarrow & & \downarrow \theta \\
    X & \xrightarrow{i} & QX
-\end{matrix}</math></ब्लॉकक्वॉट>कहां <math>\eta</math> अनुलग्नक में इकाई मानचित्र है।
+\end{matrix}</math>  <br />'''</ब्लॉकक्वॉट>'''  <br />जहाँ <math>\eta</math> अनुलग्नक में इकाई मानचित्र है।
-इस वजह से, उपयोग किए जा रहे मॉडल के आधार पर स्पेक्ट्रा का अध्ययन खंडित हो गया है। एक सिंहावलोकन के लिए, ऊपर उद्धृत लेख देखें।
+इस वजह से, उपयोग किए जा रहे मॉडल के आधार पर स्पेक्ट्रा का अध्ययन खंडित हो गया है। एक अवलोकन के लिए, ऊपर उद्धृत लेख देखें।
 ==इतिहास==
-स्पेक्ट्रम की अवधारणा का एक संस्करण 1958 में [[एलोन लागेस लीमा]] के डॉक्टरेट शोध प्रबंध में पेश किया गया था। उनके सलाहकार [[ एडविन स्पैनियार्ड ]] ने 1959 में इस विषय पर आगे लिखा। स्पेक्ट्रा को 1960 के दशक की शुरुआत में सामान्यीकृत होमोलॉजी सिद्धांतों पर अपने काम में [[माइकल अतियाह]] और जॉर्ज डब्ल्यू व्हाइटहेड द्वारा अपनाया गया था। माइकल बोर्डमैन|जे की 1964 डॉक्टरेट थीसिस। माइकल बोर्डमैन ने स्पेक्ट्रा और उनके बीच के मानचित्रों (सिर्फ होमोटॉपी वर्ग नहीं) की एक श्रेणी की एक व्यावहारिक परिभाषा दी, जो स्थिर होमोटॉपी सिद्धांत में उतनी ही उपयोगी है जितनी सीडब्ल्यू कॉम्प्लेक्स की श्रेणी अस्थिर मामले में है। (यह अनिवार्य रूप से ऊपर वर्णित श्रेणी है, और इसका उपयोग अभी भी कई उद्देश्यों के लिए किया जाता है: अन्य खातों के लिए, एडम्स (1974) या [[रेनर वोग्ट]] (1970) देखें।) हालांकि 1990 के बाद से महत्वपूर्ण सैद्धांतिक प्रगति हुई है, जिससे औपचारिक रूप से काफी सुधार हुआ है स्पेक्ट्रा के गुण. नतीजतन, हालिया साहित्य [[ई-अनंत रिंग स्पेक्ट्रम|ई-अनंत वलय स्पेक्ट्रम]] का उपयोग करता है: माइकल मैंडेल और अन्य देखें। (2001) इन नए दृष्टिकोणों के एकीकृत उपचार के लिए।
+स्पेक्ट्रम की अवधारणा का एक संस्करण 1958 में [[एलोन लागेस लीमा]] के डॉक्टरेट शोध प्रबंध में प्रस्तुत किया गया था। उनके सलाहकार [[ एडविन स्पैनियार्ड ]] ने 1959 में इस विषय पर आगे लिखा। स्पेक्ट्रा को 1960 के दशक की प्रारंभिक में सामान्यीकृत होमोलॉजी सिद्धांतों पर अपने काम में [[माइकल अतियाह]] और जॉर्ज डब्ल्यू व्हाइटहेड द्वारा अपनाया गया था। माइकल बोर्डमैन या जे की 1964 डॉक्टरेट थीसिस। माइकल बोर्डमैन ने स्पेक्ट्रा और उनके बीच के मानचित्रों (सिर्फ होमोटॉपी वर्ग नहीं) की एक श्रेणी की एक व्यावहारिक परिभाषा दी, जो स्थिर होमोटॉपी सिद्धांत में उतनी ही उपयोगी है जितनी सीडब्ल्यू कॉम्प्लेक्स की श्रेणी अस्थिर स्थिति में है। (यह अनिवार्य रूप से ऊपर वर्णित श्रेणी है, और इसका उपयोग अभी भी कई उद्देश्यों के लिए किया जाता है: अन्य खातों के लिए, एडम्स (1974) या [[रेनर वोग्ट]] (1970) देखें।) चूँकि 1990 के बाद से महत्वपूर्ण सैद्धांतिक प्रगति हुई है, जिससे औपचारिक रूप से अधिक सुधार हुआ है  परिणाम स्वरुप वर्तमान के साहित्य में इन नए दृष्टिकोणों के एकीकृत उपचार के लिए स्पेक्ट्रम की संशोधित परिभाषाओं का उपयोग किया गया है, माइकल मैंडेल एट अल (2001) देखें।
 == यह भी देखें ==

Anonymous

Search

स्पेक्ट्रम (टोपोलॉजी): Difference between revisions

Namespaces

More

Page actions

Revision as of 15:42, 12 July 2023

Contents