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

From Vigyanwiki
(Created page with "बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक स्पेक्ट्रम एक वस्तु प...")
 
No edit summary
 
(13 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[[बीजगणितीय टोपोलॉजी]] में, गणित की एक शाखा, एक स्पेक्ट्रम एक वस्तु प्रतिनिधित्व योग्य फ़ंक्शनल है जो कोहोमोलॉजी # सामान्यीकृत कोहोमोलॉजी सिद्धांत है। ऐसा प्रत्येक कोहोमोलोजी सिद्धांत प्रतिनिधित्वयोग्य है, जैसा कि ब्राउन के प्रतिनिधित्वयोग्यता प्रमेय से निम्नानुसार है। इसका मतलब यह है कि, एक कोहोमोलॉजी सिद्धांत <ब्लॉककोट> दिया गया है<math>\mathcal{E}^*:\text{CW}^{op} \to \text{Ab}</math>,</blockquote>वहाँ रिक्त स्थान मौजूद हैं <math>E^k</math> जैसे कि कोहोमोलॉजी सिद्धांत का डिग्री में मूल्यांकन करना <math>k</math> एक स्थान पर <math>X</math> अंतरिक्ष में मानचित्रों के समरूप वर्गों की गणना करने के बराबर है <math>E^k</math>, वह <ब्लॉककोट> है<math>\mathcal{E}^k(X) \cong \left[X, E^k\right]</math>.</blockquote>ध्यान दें कि स्पेक्ट्रा की कई अलग-अलग श्रेणियां (गणित) हैं, जिससे कई तकनीकी कठिनाइयां पैदा होती हैं,<ref name=":0">{{Cite journal|last=Lewis|first=L. Gaunce|date=1991-08-30|title=Is there a convenient category of spectra?|journal=Journal of Pure and Applied Algebra|language=en|volume=73|issue=3|pages=233–246|doi=10.1016/0022-4049(91)90030-6|issn=0022-4049|doi-access=free}}</ref> लेकिन वे सभी एक ही [[समरूप श्रेणी]] निर्धारित करते हैं, जिसे स्थिर समरूप श्रेणी के रूप में जाना जाता है। यह स्पेक्ट्रा शुरू करने के लिए प्रमुख बिंदुओं में से एक है क्योंकि वे स्थिर होमोटॉपी सिद्धांत के लिए एक प्राकृतिक घर बनाते हैं।
बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक '''स्पेक्ट्रम''' एक सामान्यीकृत कोहोलॉजी सिद्धांत का प्रतिनिधित्व करने वाली एक वस्तु है। ऐसा प्रत्येक कोहोमोलोजी सिद्धांत प्रतिनिधित्वयोग्य है, जैसा कि ब्राउन के प्रतिनिधित्वयोग्यता प्रमेय से निम्नानुसार है। इसका मतलब यह है कि, एक कोहोमोलॉजी सिद्धांत दिया गया है
 
<math>\mathcal{E}^*:\text{CW}^{op} \to \text{Ab}</math>
 
ऐसे स्थान उपस्थित हैं <math>E^k</math> कि समिष्ट <math>X</math> पर डिग्री <math>k</math> में कोहोमोलॉजी सिद्धांत का मूल्यांकन करना समरूपता की गणना करने के समान है समिष्ट <math>E^k</math> के मानचित्रों की श्रेणियाँ है अर्थात
 
<math>\mathcal{E}^k(X) \cong \left[X, E^k\right]</math>
 
ध्यान दें कि स्पेक्ट्रा की कई अलग-अलग श्रेणियां हैं जो कई तकनीकी कठिनाइयों का कारण बनती हैं<ref name=":0">{{Cite journal|last=Lewis|first=L. Gaunce|date=1991-08-30|title=Is there a convenient category of spectra?|journal=Journal of Pure and Applied Algebra|language=en|volume=73|issue=3|pages=233–246|doi=10.1016/0022-4049(91)90030-6|issn=0022-4049|doi-access=free}}</ref> किंतु वे सभी एक ही होमोटॉपी श्रेणी निर्धारित करती हैं, जिसे स्थिर होमोटॉपी श्रेणी के रूप में जाना जाता है। यह स्पेक्ट्रा प्रारंभ करने के लिए प्रमुख बिंदुओं में से एक है क्योंकि वे स्थिर होमोटॉपी सिद्धांत के लिए एक प्राकृतिक घर बनाते हैं।


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


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


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


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


=== एक स्पेक्ट्रम के समरूप समूह ===
=== एक स्पेक्ट्रम के समरूप समूह ===
स्पेक्ट्रा के सबसे महत्वपूर्ण अपरिवर्तनीयों में से एक स्पेक्ट्रम के होमोटॉपी समूह हैं। ये समूह रिक्त स्थान के स्थिर समरूप समूहों की परिभाषा को प्रतिबिंबित करते हैं क्योंकि निलंबन मानचित्रों की संरचना इसकी परिभाषा में अभिन्न है। एक स्पेक्ट्रम दिया गया <math>E</math> समरूप समूह को परिभाषित करें <math>\pi_n(E)</math> कोलिमिट<ब्लॉककोट> के रूप में<math>\begin{align}
स्पेक्ट्रा के सबसे महत्वपूर्ण अपरिवर्तनीयों में से एक स्पेक्ट्रम के होमोटॉपी समूह हैं। ये समूह रिक्त स्थान के स्थिर समरूप समूहों की परिभाषा को प्रतिबिंबित करते हैं क्योंकि निलंबन मानचित्रों की संरचना इसकी परिभाषा में अभिन्न है। एक स्पेक्ट्रम <math>E</math> को देखते हुए होमोटोपी समूह <math>\pi_n(E)</math>को कोलिमिट के रूप में परिभाषित करें
 
<math>\begin{align}
   \pi_n(E) &= \lim_{\to k} \pi_{n+k}(E_k) \\
   \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)
           &= \lim_\to \left(\cdots \to \pi_{n+k}(E_k) \to \pi_{n+k+1}(E_{k+1}) \to \cdots\right)
\end{align}</math></blockquote>जहां मानचित्र मानचित्र की संरचना से प्रेरित होते हैं <math>\Sigma: \pi_{n+k}(E_n) \to \pi_{n+k+1}(\Sigma E_n)</math> (वह है, <math> [S^{n+k}, E_n] \to [S^{n+k+1}, \Sigma E_n]</math> की कार्यात्मकता द्वारा दिया गया <math>\Sigma</math>) और संरचना मानचित्र <math>\Sigma E_n \to E_{n+1}</math>. एक स्पेक्ट्रम को [[संयोजी स्पेक्ट्रम]] कहा जाता है यदि ऐसा है <math>\pi_k</math> ऋणात्मक k के लिए शून्य हैं।
\end{align}</math>
 
जहां मानचित्र मानचित्र की संरचना से प्रेरित होते हैं <math>\Sigma: \pi_{n+k}(E_n) \to \pi_{n+k+1}(\Sigma E_n)</math> (अर्थात, <math> [S^{n+k}, E_n] \to [S^{n+k+1}, \Sigma E_n]</math> , <math>\Sigma</math>की कार्यात्मकता द्वारा दिया गया है) और संरचना मानचित्र <math>\Sigma E_n \to E_{n+1}</math> एक स्पेक्ट्रम को संयोजी कहा जाता है यदि इसका <math>\pi_k</math> ऋणात्मक k के लिए शून्य है।


== उदाहरण ==
== उदाहरण ==


=== ईलेनबर्ग-मैकलेन स्पेक्ट्रम ===
=== ईलेनबर्ग-मैकलेन स्पेक्ट्रम ===
{{Main articles|Eilenberg–Maclane spectrum}}
{{Main articles|ईलेनबर्ग-मैकलेन स्पेक्ट्रम}}


एकवचन सहसंगति पर विचार करें <math> H^n(X;A) </math> [[एबेलियन समूह]] में गुणांकों के साथ <math>A</math>. सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math>, समूह <math> H^n(X;A) </math> मानचित्रों के समरूप वर्गों के सेट से पहचाना जा सकता है <math>X</math> को <math>K(A,n)</math>, होमोटॉपी के साथ ईलेनबर्ग-मैकलेन स्पेस डिग्री में केंद्रित है <math>n</math>. हम इसे <ब्लॉककोट> के रूप में लिखते हैं<math>[X,K(A,n)] = H^n(X;A)</math></blockquote>फिर संबंधित स्पेक्ट्रम <math>HA</math> है <math>n</math>-वाँ स्थान <math>K(A,n)</math>; इसे ईलेनबर्ग-मैकलेन स्पेक्ट्रम कहा जाता है <math>A</math>. ध्यान दें कि इस निर्माण का उपयोग किसी भी रिंग को एम्बेड करने के लिए किया जा सकता है <math>R</math> स्पेक्ट्रा की श्रेणी में. यह एम्बेडिंग वर्णक्रमीय ज्यामिति का आधार बनाती है, जो [[व्युत्पन्न बीजगणितीय ज्यामिति]] के लिए एक मॉडल है। इस एम्बेडिंग के महत्वपूर्ण गुणों में से एक आइसोमोर्फिज्म<ब्लॉककोट> है<math>\begin{align}
एक एबेलियन समूह ए में गुणांक के साथ एकवचन सह-समरूपता <math> H^n(X;A) </math> पर विचार करें। CW कॉम्प्लेक्स <math>X</math> के लिए, समूह <math> H^n(X;A) </math> को मानचित्रों के समरूप वर्गों के समुच्चय से पहचाना जा सकता है से
 
<math>K(A,n)</math> को <math>X</math> तक मानचित्रों के समरूप वर्गों के समुच्चय से पहचाना जा सकता है, डिग्री <math>n</math> में केंद्रित समरूपता के साथ ईलेनबर्ग-मैकलेन स्पेस हम इसे इस प्रकार लिखते हैं
 
<math>[X,K(A,n)] = H^n(X;A)</math>
 
तब संगत स्पेक्ट्रम <math>HA</math> में n-वाँ स्थान <math>K(A,n)</math> है; इसे <math>A</math> का ईलेनबर्ग-मैकलेन स्पेक्ट्रम कहा जाता है। ध्यान दें कि इस निर्माण का उपयोग किसी भी वलय <math>R</math> को स्पेक्ट्रा की श्रेणी में एम्बेड करने के लिए किया जा सकता है। यह एम्बेडिंग वर्णक्रमीय ज्यामिति का आधार बनाती है, जो व्युत्पन्न बीजगणितीय ज्यामिति के लिए एक मॉडल है। इस एम्बेडिंग के महत्वपूर्ण गुणों में से एक आइसोमोर्फिज्म हैं<math>\begin{align}
   \pi_i( H(R/I) \wedge_R H(R/J) ) &\cong H_i\left(R/I\otimes^{\mathbf{L}}R/J\right)\\
   \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)
                                   &\cong \operatorname{Tor}_i^R(R/I,R/J)
\end{align}</math></blockquote>स्पेक्ट्रा की श्रेणी दिखाने से कम्यूटेटिव रिंग्स की व्युत्पन्न जानकारी पर नज़र रखी जाती है, जहां स्मैश उत्पाद [[व्युत्पन्न टेंसर उत्पाद]] के रूप में कार्य करता है। इसके अलावा, ईलेनबर्ग-मैकलेन स्पेक्ट्रा का उपयोग कम्यूटेटिव रिंगों के लिए [[टोपोलॉजिकल होशचाइल्ड होमोलॉजी]] जैसे सिद्धांतों को परिभाषित करने के लिए किया जा सकता है, जो शास्त्रीय होशचाइल्ड होमोलॉजी की तुलना में अधिक परिष्कृत सिद्धांत है।
\end{align}</math>
 
स्पेक्ट्रा की श्रेणी दिखाने से कम्यूटेटिव वलय की व्युत्पन्न जानकारी पर नज़र रखी जाती है, जहां स्मैश उत्पाद [[व्युत्पन्न टेंसर उत्पाद]] के रूप में कार्य करता है। इसके अतिरिक्त ईलेनबर्ग-मैकलेन स्पेक्ट्रा का उपयोग कम्यूटेटिव वलय के लिए [[टोपोलॉजिकल होशचाइल्ड होमोलॉजी]] जैसे सिद्धांतों को परिभाषित करने के लिए किया जा सकता है, जो मौलिक होशचाइल्ड होमोलॉजी की तुलना में अधिक परिष्कृत सिद्धांत है।


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


=== क्षेत्र स्पेक्ट्रम ===
=== क्षेत्र स्पेक्ट्रम                                                                                                                                                                           ===
{{Main|Sphere spectrum}}
{{Main|क्षेत्र स्पेक्ट्रम}}


स्पेक्ट्रम का सर्वोत्कृष्ट उदाहरण [[गोलाकार स्पेक्ट्रम]] है <math>\mathbb{S}</math>. यह एक ऐसा स्पेक्ट्रम है जिसके समरूपी समूह गोले के स्थिर समरूपी समूहों द्वारा दिए जाते हैं, इसलिए <ब्लॉकक्वोट><math>\pi_n(\mathbb{S}) = \pi_n^{\mathbb{S}}</math></blockquote>हम इस स्पेक्ट्रम को स्पष्ट रूप से इस प्रकार लिख सकते हैं <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></blockquote>एक वलय संरचना उत्पन्न करता है <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></blockquote>सीडब्ल्यू कॉम्प्लेक्स की होमोटॉपी श्रेणी से लेकर स्पेक्ट्रा की होमोटॉपी श्रेणी तक। आकारिकी <ब्लॉककोट> द्वारा दी गई है<math>[\Sigma^\infty X, \Sigma^\infty Y] = \underset{\to n}{\operatorname{colim}{}}[\Sigma^nX,\Sigma^nY]</math></blockquote>जो [[फ्रायडेन्थल निलंबन प्रमेय]] द्वारा अंततः स्थिर हो जाता है। इससे हमारा तात्पर्य <ब्लॉककोट> से है<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></blockquote>कुछ परिमित पूर्णांक के लिए <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></blockquote>स्पेक्ट्रम का अनंत लूप स्पेस कहलाता है। सीडब्ल्यू कॉम्प्लेक्स के लिए <math>X</math><ब्लॉककोट><math>\Omega^\infty\Sigma^\infty X = \underset{\to}{\operatorname{colim}{}} \Omega^n\Sigma^nX</math></blockquote>और यह निर्माण एक समावेशन के साथ आता है <math>X \to \Omega^n\Sigma^n X</math> हरएक के लिए <math>n</math>, इसलिए एक नक्शा<ब्लॉककोट> देता है<math>X \to \Omega^\infty\Sigma^\infty X</math></blockquote>जो कि इंजेक्शन है. दुर्भाग्य से, ये दो संरचनाएं, स्मैश उत्पाद के जुड़ने से, स्पेक्ट्रा के सिद्धांत में महत्वपूर्ण जटिलता पैदा करती हैं क्योंकि स्पेक्ट्रा की एक भी श्रेणी मौजूद नहीं हो सकती है जो इन संरचनाओं से संबंधित पांच सिद्धांतों की सूची को संतुष्ट करती हो।<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-सिद्धांत स्पेक्ट्रम Ω-स्पेक्ट्रम का एक उदाहरण है।


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


कई और उदाहरणों के लिए, कोहोमोलॉजी सिद्धांतों की सूची देखें।
कई और उदाहरणों के लिए, कोहोमोलॉजी सिद्धांतों की सूची देखें।
Line 50: Line 112:
==स्पेक्ट्रा के कार्य, मानचित्र और समरूपता==
==स्पेक्ट्रा के कार्य, मानचित्र और समरूपता==


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


दो स्पेक्ट्रा '''' और ''एफ'' के बीच एक फ़ंक्शन ''ई'' से मानचित्रों का एक अनुक्रम है<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>.
:<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>\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>
:<math>E_n X = \pi_n (E \wedge X) = [\Sigma^n \mathbb{S}, E \wedge X]</math>
और इसके सामान्यीकृत कोहोमोलोजी सिद्धांत को परिभाषित करें
और इसके सामान्यीकृत कोहोमोलोजी सिद्धांत को परिभाषित करें
Line 87: Line 146:


== स्पेक्ट्रा के साथ तकनीकी जटिलताएँ ==
== स्पेक्ट्रा के साथ तकनीकी जटिलताएँ ==
स्पेक्ट्रा के साथ काम करते समय और स्पेक्ट्रा की एक श्रेणी को परिभाषित करते समय विहित जटिलताओं में से एक इस तथ्य से आती है कि इनमें से प्रत्येक श्रेणी स्पेक्ट्रम के अनंत लूप स्थान से संबंधित पांच स्पष्ट रूप से स्पष्ट सिद्धांतों को संतुष्ट नहीं कर सकती है। <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>\text{Spectra}_*</math> स्मैश उत्पाद के संबंध में एक सममित मोनोइडल श्रेणी है <math>\wedge</math>
<math>Q: \text{Top}_* \to \text{Top}_*</math>
#फनकार <math>\Sigma^\infty</math> बायीं ओर से जुड़ा हुआ है <math>\Omega^\infty</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>\theta: \Omega^\infty\Sigma^\infty X \to QX</math> के लिए <math>X \in \operatorname{Ob}(\text{Top}_*)</math> जिसमें एक आवागमन आरेख है:<blockquote><math>\begin{matrix}
<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>\Sigma^\infty</math>, <math>\Omega^\infty</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>\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 \\
   X & \xrightarrow{\eta} & \Omega^\infty\Sigma^\infty X \\
   \mathord{=} \downarrow & & \downarrow \theta \\
   \mathord{=} \downarrow & & \downarrow \theta \\
   X & \xrightarrow{i} & QX
   X & \xrightarrow{i} & QX
\end{matrix}</math></ब्लॉकक्वॉट>कहां <math>\eta</math> अनुलग्नक में इकाई मानचित्र है।
\end{matrix}                                                                                                                                                        
                                                                                                                                                   
                                                              </math> <br />जहाँ <math>\eta</math> अनुलग्नक में इकाई मानचित्र है।


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


==इतिहास==
==इतिहास==


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


== यह भी देखें ==
== यह भी देखें ==
*रिंग स्पेक्ट्रम
*वलय स्पेक्ट्रम
*सममित स्पेक्ट्रम
*सममित स्पेक्ट्रम
*[[जी-स्पेक्ट्रम]]
*[[जी-स्पेक्ट्रम]]
Line 174: Line 245:
*{{cite web|url=https://mathoverflow.net/q/117684 |title=Are spectra really the same as cohomology theories?}}
*{{cite web|url=https://mathoverflow.net/q/117684 |title=Are spectra really the same as cohomology theories?}}


{{DEFAULTSORT:Spectrum (Homotopy Theory)}}[[Category: समरूपता सिद्धांत]]
{{DEFAULTSORT:Spectrum (Homotopy Theory)}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Spectrum (Homotopy Theory)]]
[[Category:Created On 08/07/2023]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 08/07/2023|Spectrum (Homotopy Theory)]]
[[Category:Machine Translated Page|Spectrum (Homotopy Theory)]]
[[Category:Pages with script errors|Spectrum (Homotopy Theory)]]
[[Category:Templates Vigyan Ready|Spectrum (Homotopy Theory)]]
[[Category:समरूपता सिद्धांत|Spectrum (Homotopy Theory)]]

Latest revision as of 10:27, 15 July 2023

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

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

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

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

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

निम्नलिखित फ्रैंक एडम्स (1974) के कारण है: एक स्पेक्ट्रम (या सीडब्ल्यू-स्पेक्ट्रम) सीडब्ल्यू का एक अनुक्रम है के उप-कॉम्प्लेक्स के रूप में निलंबन के समावेशन के साथ कॉम्प्लेक्स है।

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

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

स्पेक्ट्रा के सबसे महत्वपूर्ण अपरिवर्तनीयों में से एक स्पेक्ट्रम के होमोटॉपी समूह हैं। ये समूह रिक्त स्थान के स्थिर समरूप समूहों की परिभाषा को प्रतिबिंबित करते हैं क्योंकि निलंबन मानचित्रों की संरचना इसकी परिभाषा में अभिन्न है। एक स्पेक्ट्रम को देखते हुए होमोटोपी समूह को कोलिमिट के रूप में परिभाषित करें

जहां मानचित्र मानचित्र की संरचना से प्रेरित होते हैं (अर्थात, , की कार्यात्मकता द्वारा दिया गया है) और संरचना मानचित्र एक स्पेक्ट्रम को संयोजी कहा जाता है यदि इसका ऋणात्मक k के लिए शून्य है।

उदाहरण

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

एक एबेलियन समूह ए में गुणांक के साथ एकवचन सह-समरूपता पर विचार करें। CW कॉम्प्लेक्स के लिए, समूह को मानचित्रों के समरूप वर्गों के समुच्चय से पहचाना जा सकता है से

को तक मानचित्रों के समरूप वर्गों के समुच्चय से पहचाना जा सकता है, डिग्री में केंद्रित समरूपता के साथ ईलेनबर्ग-मैकलेन स्पेस हम इसे इस प्रकार लिखते हैं

तब संगत स्पेक्ट्रम में n-वाँ स्थान है; इसे का ईलेनबर्ग-मैकलेन स्पेक्ट्रम कहा जाता है। ध्यान दें कि इस निर्माण का उपयोग किसी भी वलय को स्पेक्ट्रा की श्रेणी में एम्बेड करने के लिए किया जा सकता है। यह एम्बेडिंग वर्णक्रमीय ज्यामिति का आधार बनाती है, जो व्युत्पन्न बीजगणितीय ज्यामिति के लिए एक मॉडल है। इस एम्बेडिंग के महत्वपूर्ण गुणों में से एक आइसोमोर्फिज्म हैं

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

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

दूसरे महत्वपूर्ण उदाहरण के रूप में, टोपोलॉजिकल के-सिद्धांत पर विचार करें। कम से कम एक्स कॉम्पैक्ट के लिए, इसे X पर जटिल सदिश बंडलों के मोनोइड के ग्रोथेंडिक समूह के रूप में परिभाषित किया गया है। इसके अतिरिक्त , एक्स के निलंबन पर सदिश बंडलों के अनुरूप समूह है। टोपोलॉजिकल के-सिद्धांत एक सामान्यीकृत कोहोमोलॉजी सिद्धांत है, इसलिए यह एक स्पेक्ट्रम देता है। शून्यवाँ स्थान है जबकि पहला स्थान है . यहाँ अनंत एकात्मक समूह है और इसका वर्गीकरण स्थान है। बॉट आवधिकता से हमें प्राप्त होता है और सभी n के लिए, इसलिए टोपोलॉजिकल K-थ्योरी स्पेक्ट्रम में सभी स्थान या तो दिए गए हैं या . जटिल सदिश बंडलों के अतिरिक्त वास्तविक सदिश बंडलों का उपयोग करके एक संबंधित निर्माण होता है, जो 8-आवधिक स्पेक्ट्रम देता है।

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

स्पेक्ट्रम के सर्वोत्कृष्ट उदाहरणों में से एक गोलाकार स्पेक्ट्रम है। यह एक ऐसा स्पेक्ट्रम है जिसके समरूपी समूह गोले के स्थिर समरूपी समूहों द्वारा दिए जाते हैं

हम इस स्पेक्ट्रम को स्पष्ट रूप से जहां के रूप में लिख सकते हैं। ध्यान दें कि स्मैश उत्पाद इस स्पेक्ट्रम पर एक उत्पाद संरचना देता है

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

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

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

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

एक स्पेक्ट्रम का निर्माण एक स्थान से किया जा सकता है। निलंबन किसी स्थान का स्पेक्ट्रम, जिसे दर्शाया गया है, एक स्पेक्ट्रम (संरचना) है  मानचित्र पहचान हैं।) उदाहरण के लिए, 0-गोले का निलंबन स्पेक्ट्रम ऊपर चर्चा किया गया गोलाकार स्पेक्ट्रम है। इस स्पेक्ट्रम के होमोटॉपी समूह तब के स्थिर होमोटॉपी समूह होते हैं



निलंबन स्पेक्ट्रम के निर्माण से पता चलता है कि प्रत्येक स्थान को कोहोमोलॉजी सिद्धांत के रूप में माना जा सकता है। वास्तव में, यह एक कारक को परिभाषित करता है

सीडब्ल्यू कॉम्प्लेक्स की होमोटॉपी श्रेणी से लेकर स्पेक्ट्रा की होमोटॉपी श्रेणी तक। आकारिकी द्वारा दी गई है

जो फ्रायडेन्थल निलंबन प्रमेय द्वारा अंततः स्थिर हो जाता है। इससे हमारा तात्पर्य से है

और

कुछ परिमित पूर्णांक के लिए . सीडब्ल्यू कॉम्प्लेक्स के लिए एक उलटा निर्माण है जो एक स्पेक्ट्रम लेता है और एक स्थान बनाता है

स्पेक्ट्रम का अनंत लूप स्पेस कहा जाता है। सीडब्ल्यू कॉम्प्लेक्स के लिए

और यह निर्माण प्रत्येक के लिए समावेशन के साथ आता है, इसलिए एक नक्शा देता है

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

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

Ω-स्पेक्ट्रम एक स्पेक्ट्रम है जैसे कि संरचना मानचित्र का जोड़ (अथार्त , मैप ) एक अशक्त तुल्यता है। वलय का K-सिद्धांत स्पेक्ट्रम Ω-स्पेक्ट्रम का एक उदाहरण है।

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

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

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

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

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

दो स्पेक्ट्रा E और F के बीच एक कार्य En से Fn तक मानचित्रों का एक अनुक्रम है जो मानचित्रों ΣEnEn+1 and ΣFnFn+1 के साथ आवागमन करता है।

एक स्पेक्ट्रम दिया गया है, एक सबस्पेक्ट्रम उप-कॉम्प्लेक्स का एक क्रम है जो एक स्पेक्ट्रम भी है। चूंकि में प्रत्येक i-सेल में एक (i + 1)-सेल पर निलंबित होता है, एक सह-अंतिम उप-स्पेक्ट्रम एक उप-स्पेक्ट्रम होता है, जिसके लिए मूल स्पेक्ट्रम की प्रत्येक कोशिका अंततः उप-स्पेक्ट्रम में समाहित होती है। निलंबन की एक सीमित संख्या के बाद. स्पेक्ट्रा को तब स्पेक्ट्रा के मानचित्र को E से F के सह-अंतिम उप-स्पेक्ट्रम G से एक कार्य के रूप में परिभाषित करके एक श्रेणी में बदला जा सकता है, जहां दो ऐसे कार्य एक ही मानचित्र का प्रतिनिधित्व करते हैं यदि वे कुछ सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं। सहज रूप से स्पेक्ट्रा के ऐसे मानचित्र को हर जगह परिभाषित करने की आवश्यकता नहीं होती है, बस अंततः परिभाषित हो जाता है, और दो मानचित्र जो एक सह-अंतिम उप-स्पेक्ट्रम पर मेल खाते हैं, समतुल्य कहे जाते हैं। यह स्पेक्ट्रा (और मानचित्र) की श्रेणी देता है, जो एक प्रमुख उपकरण है। इस श्रेणी में नुकीले सीडब्ल्यू कॉम्प्लेक्स की श्रेणी का एक स्वाभाविक एम्बेडिंग है: यह को सस्पेंशन स्पेक्ट्रम में ले जाता है जिसमें nth कॉम्प्लेक्स है।

एक स्पेक्ट्रम का स्मैश उत्पाद और एक नुकीला परिसर द्वारा दिया गया एक स्पेक्ट्रम है (स्मैश उत्पाद की संबद्धता से तुरंत पता चलता है कि यह वास्तव में एक स्पेक्ट्रम है)। स्पेक्ट्रा के बीच मानचित्रों की एक समरूपता एक मानचित्र से मेल खाती है , जहाँ असंयुक्त संघ है साथ आधारबिंदु माना जाता है।

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

अंत में, हम स्पेक्ट्रम के निलंबन को द्वारा परिभाषित कर सकते हैं। यह अनुवाद निलंबन उलटा है, क्योंकि हम समुच्चय करके निलंबित भी कर सकते हैं।

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

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

.

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

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

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

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

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

,

जहां गोलाकार स्पेक्ट्रम है और को तक के मानचित्रों के समरूप वर्गों का समूह है। हम स्पेक्ट्रम E के सामान्यीकृत समरूपता सिद्धांत को परिभाषित करते हैं

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

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

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

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

भेज रहा है

रिक्त स्थान की श्रेणी और स्पेक्ट्रा की श्रेणी दोनों में सहायक कारक की एक जोड़ी, और स्मैश उत्पाद यदि हम को आधारित, सघन रूप से उत्पन्न, अशक्त हॉसडॉर्फ रिक्त स्थान की श्रेणी को निरूपित करने देते हैं, और को स्पेक्ट्रा की एक श्रेणी को निरूपित करने देते हैं, तो निम्नलिखित पांच सिद्धांत स्पेक्ट्रा के विशिष्ट मॉडल से कभी भी संतुष्ट नहीं हो सकते हैं:[1]

  1. स्मैश उत्पाद के संबंध में एक सममित मोनोइडल श्रेणी है
  2. फनकार , बायीं ओर से जुड़ा हुआ है
  3. स्मैश उत्पाद की इकाई गोला स्पेक्ट्रम है।
  4. या तो एक प्राकृतिक परिवर्तन है या एक प्राकृतिक परिवर्तन है जो दोनों श्रेणियों में इकाई वस्तु के साथ चलता है, और दोनों श्रेणियों में क्रमविनिमेय और साहचर्य समरूपता है।
  5. के लिए एक प्राकृतिक अशक्त तुल्यता है जो कि एक आवागमन आरेख है:


    जहाँ अनुलग्नक में इकाई मानचित्र है।

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

इतिहास

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

यह भी देखें

संदर्भ

  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.



परिचयात्मक

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

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

बाहरी संबंध