View source for लैंडवेबर सटीक फ़ंक्टर प्रमेय

{{short description|Theorem relating to algebraic topology}}
गणित में, [[पीटर लैंडवेबर]] के नाम पर रखा गया लैंडवेबर स्पष्ट कारक प्रमेय, [[बीजगणितीय टोपोलॉजी]] में एक प्रमेय है। यह ज्ञात है कि [[समरूपता सिद्धांत]] का एक [[जटिल अभिविन्यास]] एक [[औपचारिक समूह कानून|औपचारिक समूह नियम]] की ओर ले जाता है। लैंडवेबर स्पष्ट कारक प्रमेय (या शॉर्ट के लिए लेफ्ट ) को इस प्रक्रिया को उलटने के लिए एक विधि के रूप में देखा जा सकता है: यह एक औपचारिक समूह नियम से एक होमोलॉजी सिद्धांत का निर्माण करता है।

== कथन ==
जटिल सह-बोर्डवाद का गुणांक वलय <math>MU_*(*) = MU_* \cong \Z[x_1,x_2,\dots]</math> है, जहां <math>x_i</math> की डिग्री <math>2i</math> है। यह श्रेणीबद्ध लाजार्ड वलय <math>\mathcal{}L_*</math> के लिए आइसोमॉर्फिक है। इसका अर्थ यह है कि श्रेणीबद्ध वलय <math>R_*</math> पर एक औपचारिक समूह लॉ F (डिग्री <math>-2</math> का) देना एक श्रेणीबद्ध वलय मॉर्फिज़्म <math>L_*\to R_*</math> देने के समान है। एक पूर्णांक <math>n>0</math> द्वारा गुणा को आगमनात्मक रूप से एक शक्ति श्रृंखला के रूप में परिभाषित किया गया है

:<math>[n+1]^F x = F(x, [n]^F x)</math> और <math>[1]^F x = x.</math>


चलो अब एफ एक वलय <math>\mathcal{}R_*</math>पर एक औपचारिक समूह नियम है। एक टोपोलॉजिकल स्पेस ''X'' के लिए परिभाषित करें
:<math>E_*(X) = MU_*(X)\otimes_{MU_*}R_*</math>
यहाँ <math>R_*</math> इसे प्राप्त करता है <math>MU_*</math>एफ के माध्यम से बीजगणित संरचना। सवाल यह है: क्या ई एक होमोलॉजी सिद्धांत है? यह स्पष्ट रूप से एक होमोटॉपी इनवेरिएंट कारक है, जो छांटना पूरा करता है। समस्या यह है कि सामान्य रूप से टेंसवलय स्पष्ट अनुक्रमों को संरक्षित नहीं करता है। कोई इसकी मांग कर सकता है <math>R_*</math> [[फ्लैट मॉड्यूल]] खत्म हो <math>MU_*</math>, लेकिन व्यवहार में यह बहुत शक्तिशाली होगा। पीटर लैंडवेबर ने एक और मानदंड पाया:

यहाँ <math>R_*</math> अपना <math>MU_*</math>-बीजगणित संरचना F के माध्यम से प्राप्त करता है। प्रश्न यह है: क्या E एक समरूपता सिद्धांत है? यह स्पष्ट रूप से एक होमोटॉपी अचल कारक है, जो छांटना पूरा करता है। समस्या यह है कि सामान्य रूप से टेंसवलय स्पष्ट अनुक्रमों को संरक्षित नहीं करता है। कोई मांग कर सकता है कि {<math>R_*</math> <math>MU_*</math>के ऊपर समतल हो, किंतु व्यवहार में यह बहुत शक्तिशाली होगा। पीटर लैंडवेबर ने एक और मानदंड पाया:

: प्रमेय (लैंडवेबर स्पष्ट कारक प्रमेय)
:प्रत्येक अभाज्य p के लिए, <math>v_1,v_2,\dots \in MU_*</math> तत्व होते हैं, जैसे कि हमारे पास निम्नलिखित हैं: मान लीजिए कि <math>M_*</math> एक श्रेणीबद्ध <math>MU_*</math>-मॉड्यूल और अनुक्रम <math>(p,v_1,v_2,\dots, v_n)</math> <math>M</math> के लिए नियमित है, प्रत्येक p और n के लिए। तब
::<math>E_*(X) = MU_*(X)\otimes_{MU_*}M_*</math>
: [[स.ग.-जटिल]] पर एक समरूपता सिद्धांत है।

विशेष रूप से, वलय <math>R</math> पर प्रत्येक औपचारिक समूह नियम F <math>\mathcal{}MU_*</math> पर एक मॉड्यूल उत्पन्न करता है, क्योंकि हम F के माध्यम से एक वलय आकारिकी <math>MU_*\to R</math> प्राप्त करते हैं।

== टिप्पणी ==
*ब्राउन-पीटरसन कोहोलॉजी बीपी के लिए एक संस्करण भी है। स्पेक्ट्रम बीपी गुणांक <math>\Z_{(p)}[v_1,v_2,\dots]</math> के साथ <math>MU_{(p)}</math> का सीधा योग है। लेफ्ट का कथन सही रहता है यदि कोई अभाज्य p को ठीक करता है और MU के लिए BP को प्रतिस्थापित करता है।
*लेफ्ट का मौलिक प्रमाण लैंडवेबर-मोरावा अपरिवर्तनीय आदर्श प्रमेय का उपयोग करता है: <math>BP_*</math> का एकमात्र प्रमुख आदर्श जो <math>BP_*BP</math> के संयोजन के तहत अपरिवर्तनीय हैं, <math>I_n = (p,v_1,\dots, v_n)</math>. यह केवल <math>BP_*/I_n</math> के विरुद्ध समतलता की जाँच करने की अनुमति देता है (लैंडवेबर, 1976 देखें)।
*लेफ्ट को निम्न प्रकार से शक्तिशाली किया जा सकता है: मान लें कि <math>\mathcal{E}_*</math>लैंडवेबर स्पष्ट <math>MU_*</math>-मॉड्यूल और <math>\mathcal{E}</math> की (होमोटॉपी) श्रेणी है। एमयू-मॉड्यूल स्पेक्ट्रा एम की श्रेणी जैसे कि <math>\pi_*M</math> लैंडवेबर स्पष्ट है। तब कारक <math>\pi_*\colon\mathcal{E}\to \mathcal{E}_*</math> श्रेणियों का एक तुल्यता है। व्युत्क्रम कारक (बाएँ द्वारा दिया गया) <math>\mathcal{}MU_*</math>-बीजगणित को (समरूपता) MU-बीजगणित स्पेक्ट्रा में ले जाता है (देखें होवे, स्ट्रिकलैंड, 1999, Thm 2.7)।

== उदाहरण ==
पुरातनपंथी और पहला ज्ञात (गैर-तुच्छ) उदाहरण [[टोपोलॉजिकल के-थ्योरी]]|कॉम्प्लेक्स के-थ्योरी के है। कॉम्प्लेक्स के-थ्योरी जटिल अभिविन्यास है और औपचारिक समूह नियम के रूप में है <math>x+y+xy</math>. संगत रूपवाद <math>MU_*\to K_*</math> [[टोड जाति]] के रूप में भी जाना जाता है। हमारे पास तब एक समरूपता है

: <math>K_*(X) = MU_*(X)\otimes_{MU_*}K_*,</math>
कोनर-फ्लोयड समरूपता कहा जाता है।

जबकि जटिल के-सिद्धांत का निर्माण पहले ज्यामितीय माध्यमों से किया गया था, कई होमोलॉजी सिद्धांतों का निर्माण सबसे पहले लैंडवेबर के स्पष्ट कारक प्रमेय के माध्यम से किया गया था। इसमें अण्डाकार समरूपता, जॉनसन-विल्सन सिद्धांत <math>E(n)</math>और ल्यूबिन-टेट स्पेक्ट्रा <math>E_n</math> सम्मिलित हैं।

जबकि परिमेय गुणांक <math>H\mathbb{Q}</math> के साथ समरूपता लैंडवेबर स्पष्ट है, पूर्णांक गुणांक <math>H\mathbb{Z}</math> के साथ समरूपता लैंडवेबर स्पष्ट नहीं है। इसके अतिरिक्त मोरावा के-सिद्धांत K(n) लैंडवेबर स्पष्ट नहीं है।

== आधुनिक सुधार ==
<math>\mathcal{}MU_*</math> पर एक मॉड्यूल M अर्ध-सुसंगत शीफ <math>\mathcal{F}</math> के ऊपर <math>\text{Spec }L</math> के समान है, जहां L लाजार्ड वलय है। यदि <math>M = \mathcal{}MU_*(X)</math> तो M के पास एक <math>\mathcal{}MU_*MU</math> सहक्रिया का अतिरिक्त डेटा है। वलय लेवल पर एक सह-संयोजन इस बात से मेल खाता है कि <math>\mathcal{F}</math> एक एफाइन ग्रुप स्कीम G की कार्रवाई के संबंध में एक समतुल्य शीफ है। यह क्विलेन का एक प्रमेय है कि <math>G \cong \Z[b_1, b_2,\dots]</math> और प्रत्येक वलय R को शक्ति श्रृंखला के समूह को असाइन करता है
:<math>g(t) = t+b_1t^2+b_2t^3+\cdots\in R[[t]]</math>.
यह औपचारिक समूह नियम <math>\text{Spec }L(R)</math> के माध्यम से काम करता है
:<math>F(x,y) \mapsto gF(g^{-1}x, g^{-1}y)</math>.
ये केवल औपचारिक समूह नियमो के समन्वित परिवर्तन हैं। इसलिए, ढेर भागफल <math>\text{Spec }L // G</math> की पहचान (1-आयामी) औपचारिक समूहों <math>\mathcal{M}_{fg}</math> और के ढेर से की जा सकती है <math>M = MU_*(X)</math> इस स्टैक पर अर्ध-सुसंगत शीफ परिभाषित करता है। अब यह देखना काफी आसान है कि यह पर्याप्त है कि एम एक अर्ध-सुसंगत शीफ <math>\mathcal{F}</math> को परिभाषित करता है जो कि <math>\mathcal{M}_{fg}</math> के ऊपर समतल है जिससे <math>MU_*(X)\otimes_{MU_*}M</math>एक समरूपता सिद्धांत है। लैंडवेबर स्पष्टता प्रमेय को तब <math>\mathcal{M}_{fg}</math> के लिए समतलता मानदंड के रूप में व्याख्या किया जा सकता है (लूरी 2010 देखें)।

== <math>E_\infty</math>-वलय स्पेक्ट्रा में परिशोधन ==


जबकि लेफ्ट को <math>\mathcal{}MU_*</math>से वलय स्पेक्ट्रा (होमोटॉपी) उत्पन्न करने के लिए जाना जाता है, यह समझने के लिए एक अधिक नाजुक प्रश्न है कि ये स्पेक्ट्रा वास्तव में <math>E_\infty</math>-वलय स्पेक्ट्रा हैं। 2010 तक, जैकब लूरी ने सबसे अच्छी प्रगति की थी। यदि X एक बीजगणितीय स्टैक है और <math>X\to \mathcal{M}_{fg}</math>स्टैक का एक सपाट नक्शा है, तो ऊपर की गई चर्चा से पता चलता है कि हमें X पर (होमोटॉपी) वलय स्पेक्ट्रा का प्रीशेफ़ मिलता है। यदि यह मानचित्र <math>M_p(n)</math> (ऊंचाई n के 1-आयामी p-विभाज्य समूहों का ढेर) और मानचित्र<math>X\to M_p(n)</math> पर निर्भर करता है। तो इस प्रीशेफ को <math>E_\infty</math>-वलय स्पेक्ट्रा के एक शीफ में परिष्कृत किया जा सकता है (गोएर्स देखें)। यह प्रमेय टोपोलॉजिकल मॉड्यूलर रूपों के निर्माण के लिए महत्वपूर्ण है। 

== यह भी देखें ==

* रंगीन समरूपता सिद्धांत

==संदर्भ==
* {{cite web|first=Paul|last= Goerss| url=http://www.math.northwestern.edu/~pgoerss/papers/banff.pdf|title= Realizing families of Landweber exact homology theories}}
* {{citation|last1=Hovey|first1= Mark|last2= Strickland|first2= Neil P.|url=http://math.wesleyan.edu/~mhovey/papers/kn.ps|archive-url=https://web.archive.org/web/20041207115433/http://math.wesleyan.edu/~mhovey/papers/kn.ps|url-status=dead|archive-date=2004-12-07|title= Morava K-theories and localisation| journal= [[Memoirs of the American Mathematical Society]] | volume= 139 | year=1999|issue= 666|mr=1601906|doi=10.1090/memo/0666}}
* {{cite journal|first=Peter S.|last= Landweber|authorlink=Peter Landweber|title=Homological properties of comodules over <math>MU_*(MU)</math> and <math>BP_*(BP)</math>|journal= [[American Journal of Mathematics]] | volume= 98 |issue= 3|year=1976|pages= 591–610|jstor= 2373808|doi= 10.2307/2373808}}.
* {{cite web|first=Jacob|last= Lurie|authorlink=Jacob Lurie|  url=http://www.math.harvard.edu/~lurie/252x.html|title= Chromatic Homotopy Theory. Lecture Notes |year=2010}}
[[Category: बीजगणितीय टोपोलॉजी में प्रमेय|बीजगणितीय टोपोलॉजी]] 



[[Category: Machine Translated Page]]
[[Category:Created On 24/05/2023]]