मोटिविक सह-समरूपता

मोटिविक सह-समरूपता  बीजगणितीय विविधता और अधिक सामान्य योजना (गणित) का एक अपरिवर्तनीय है। यह मोटिव (बीजगणितीय ज्यामिति) से संबंधित एक प्रकार की कोहोमोलॉजी है और इसमें एक विशेष मामले के रूप में बीजगणितीय चक्रों की चाउ रिंग शामिल है। बीजगणितीय ज्यामिति और संख्या सिद्धांत की कुछ गहरी समस्याएं मोटिविक कोहोलॉजी को समझने के प्रयास हैं।

मोटिविक होमोलॉजी और कोहोमोलॉजी
मान लीजिए कि X एक क्षेत्र (गणित) k पर शब्दावली_of_algebraic_geometry#finite की एक योजना है। बीजीय ज्यामिति का एक मुख्य लक्ष्य एक्स के चाउ रिंग की गणना करना है, क्योंकि वे एक्स की सभी उप-किस्मों के बारे में मजबूत जानकारी देते हैं। एक्स के चाउ समूहों में टोपोलॉजी में बोरेल-मूर होमोलॉजी के कुछ औपचारिक गुण हैं, लेकिन कुछ चीजें गायब हैं. उदाहरण के लिए, एक्स की एक बंद उपयोजना Z के लिए, चाउ समूहों का एक सटीक अनुक्रम है, 'स्थानीयकरण अनुक्रम'
 * $$CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0,$$

जबकि टोपोलॉजी में यह एक लंबे सटीक अनुक्रम का हिस्सा होगा।

इस समस्या का समाधान चाउ समूहों को समूहों के एक बड़े परिवार, (बोरेल-मूर) मोटिविक होमोलॉजी समूहों (जिन्हें पहले स्पेंसर बलोच द्वारा बलोच के उच्च चाउ समूह कहा जाता था) में सामान्यीकृत करके किया गया था। अर्थात्, फ़ील्ड k और पूर्णांक i और j पर परिमित प्रकार की प्रत्येक योजना X के लिए, हमारे पास एक एबेलियन समूह H हैi(एक्स,'जेड'(जे)), सामान्य चाउ समूह विशेष मामला है
 * $$ CH_i(X) \cong H_{2i}(X,\mathbf{Z}(i)).$$

किसी योजना
 * $$\cdots\rightarrow H_{2i+1}(X-Z,\mathbf{Z}(i))\rightarrow H_{2i}(Z,\mathbf{Z}(i))\rightarrow H_{2i}(X,\mathbf{Z}(i))\rightarrow H_{2i}(X-Z,\mathbf{Z}(i))\rightarrow 0.$$

वास्तव में, यह व्लादिमीर वोएवोडस्की द्वारा निर्मित चार सिद्धांतों के परिवार में से एक है: मोटिविक कोहोलॉजी, कॉम्पैक्ट सपोर्ट के साथ मोटिविक कोहोलॉजी, बोरेल-मूर मोटिविक होमोलॉजी (ऊपर के रूप में), और कॉम्पैक्ट सपोर्ट के साथ मोटिविक होमोलॉजी। इन सिद्धांतों में टोपोलॉजी में संबंधित सिद्धांतों के कई औपचारिक गुण हैं। उदाहरण के लिए, मोटिविक कोहोलॉजी समूह एचi(X,'Z'(j)) एक क्षेत्र पर परिमित प्रकार की प्रत्येक योजना X के लिए एक बिगग्रेडेड रिंग (गणित) बनाता है। जब
 * $$H^i(X,\mathbf{Z}(j))\cong H_{2n-i}(X,\mathbf{Z}(n-j)).$$

विशेष रूप से, चाउ समूह सी.एचiकोड-आयाम-i चक्रों का (X) H के समरूपी है2i(X,'Z'(i)) जब X, k के ऊपर चिकना हो।

मोटिविक कोहोमोलॉजी एचi(X, 'Z'(j)) एक चिकनी योजना एक्स. (कुछ गुणों को निस्नेविच टोपोलॉजी का उपयोग करके साबित करना आसान है, लेकिन यह समान मोटिविक कोहोलॉजी समूह देता है। ) उदाहरण के लिए, j < 0 के लिए Z(j) शून्य है, Z(0) स्थिर शीफ़ Z है, और Z(1) X से G की व्युत्पन्न श्रेणी में समरूपी है ''m[−1]. यहाँ जीm (गुणक समूह) व्युत्क्रमणीय नियमित कार्यों के शीफ को दर्शाता है, और बदलाव [−1] का अर्थ है कि इस शीफ को डिग्री 1 में एक जटिल के रूप में देखा जाता है।

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

K-सिद्धांत से संबंध
बलोच, स्टीफ़न लिक्टेनबाम, एरिक फ्रीडलैंडर, आंद्रेई सुसलिन और लेविन द्वारा, एक क्षेत्र पर प्रत्येक चिकनी योजना
 * $$E_2^{pq}=H^p(X,\mathbf{Z}(-q/2)) \Rightarrow K_{-p-q}(X).$$

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

मिल्नोर के-सिद्धांत से संबंध
मोटिविक कोहोमोलॉजी पहले से ही खेतों के लिए एक समृद्ध अपरिवर्तनीयता प्रदान करती है। (ध्यान दें कि एक फ़ील्ड k एक योजना Spec(k) निर्धारित करता है, जिसके लिए मोटिविक कोहॉमोलॉजी परिभाषित की गई है।) हालांकि मोटिविक कोहॉमोलॉजी Hi(k, 'Z'(j)) फ़ील्ड k के लिए सामान्य रूप से समझ से बहुत दूर है, जब i = j होता है तो एक विवरण होता है:
 * $$K_j^M(k) \cong H^j(k, \mathbf{Z}(j)),$$

जहां केjएम(k) k का jवां मिल्नोर K-सिद्धांत|मिल्नोर K-समूह है। चूंकि किसी क्षेत्र के मिल्नोर के-सिद्धांत को जनरेटर और संबंधों द्वारा स्पष्ट रूप से परिभाषित किया गया है, यह के के मोटिविक कोहोलॉजी के एक टुकड़े का एक उपयोगी विवरण है।

एटेल कोहोमोलॉजी का मानचित्र
मान लीजिए कि X एक फ़ील्ड k पर एक सहज योजना है, और मान लीजिए कि m एक धनात्मक पूर्णांक है जो k में उलटा है। फिर मोटिविक कोहॉमोलॉजी से एटेले कोहॉमोलॉजी तक एक प्राकृतिक समरूपता ('चक्र मानचित्र') है:
 * $$H^i(X,\mathbf{Z}/m(j))\rightarrow H^i_{et}(X,\mathbf{Z}/m(j)),$$

जहां दाईं ओर Z/m(j) का अर्थ étale sheaf (μ) हैm)⊗j, एम के साथm एकता की मूल जड़ें होने के नाते। यह चाउ रिंग#साइकिल मानचित्रों को चिकनी किस्म के चाउ रिंग से एटेल कोहोमोलॉजी तक सामान्यीकृत करता है।

बीजगणितीय ज्यामिति या संख्या सिद्धांत में एक सामान्य लक्ष्य मोटिविक कोहॉमोलॉजी की गणना करना है, जबकि एटेल कोहॉमोलॉजी को समझना अक्सर आसान होता है। उदाहरण के लिए, यदि आधार क्षेत्र k सम्मिश्र संख्या है, तो étale cohomology एकवचन सहसंयोजी (परिमित गुणांक के साथ) के साथ मेल खाता है। वोएवोडस्की द्वारा सिद्ध किया गया एक शक्तिशाली परिणाम, जिसे 'बीलिन्सन-लिचटेनबाम अनुमान' के रूप में जाना जाता है, कहता है कि कई मोटिविक कोहोमोलॉजी समूह वास्तव में ईटेल कोहोमोलॉजी समूहों के आइसोमोर्फिक हैं। यह मानक अवशेष समरूपता प्रमेय का परिणाम है। अर्थात्, बेइलिंसन-लिचटेनबाम अनुमान (वोएवोडस्की का प्रमेय) कहता है कि एक फ़ील्ड k और m पर एक चिकनी योजना X के लिए k में उलटा एक सकारात्मक पूर्णांक, चक्र मानचित्र
 * $$H^i(X,\mathbf{Z}/m(j))\rightarrow H^i_{et}(X,\mathbf{Z}/m(j))$$

सभी j ≥ i के लिए एक समरूपता है और सभी j ≥ i - 1 के लिए इंजेक्शन है।

उद्देश्यों से संबंध
किसी भी फ़ील्ड k और क्रमविनिमेय रिंग R के लिए, वोएवोडस्की ने एक R-रैखिक त्रिकोणीय श्रेणी को परिभाषित किया, जिसे R, DM(k; R) में गुणांक के साथ k पर 'उद्देश्यों की व्युत्पन्न श्रेणी' कहा जाता है। प्रत्येक योजनासी(एक्स); यदि X, k के ऊपर उचित योजना है तो दोनों समरूपी हैं।

उद्देश्यों की व्युत्पन्न श्रेणी का एक मूल बिंदु यह है कि चार प्रकार के मोटिविक होमोलॉजी और मोटिविक कोहोलॉजी सभी इस श्रेणी में रूपवाद के सेट के रूप में उत्पन्न होते हैं। इसका वर्णन करने के लिए, पहले ध्यान दें कि सभी पूर्णांक j के लिए DM(k; R) में 'टेट मोटिव्स' R(j) हैं, जैसे कि प्रक्षेप्य स्थान का मोटिव टेट मोटिव्स का प्रत्यक्ष योग है:
 * $$M(\mathbf{P}^n_k)\cong \oplus_{j=0}^n R(j)[2j],$$

जहां एम ↦ एम[1] त्रिकोणीय श्रेणी डीएम(के; आर) में बदलाव या अनुवाद फ़ैक्टर को दर्शाता है। इन शब्दों में, मोटिविक कोहोमोलॉजी (उदाहरण के लिए) द्वारा दी गई है
 * $$H^i(X,R(j))\cong \text{Hom}_{DM(k; R)}(M(X),R(j)[i])$$

k के ऊपर परिमित प्रकार की प्रत्येक योजना X के लिए।

जब गुणांक आर तर्कसंगत संख्याएं हैं, तो अलेक्जेंडर मैं बेटा हो के अनुमान का एक आधुनिक संस्करण भविष्यवाणी करता है कि डीएम (के; 'क्यू') में कॉम्पैक्ट ऑब्जेक्ट्स की उपश्रेणी एबेलियन श्रेणी एमएम (के) की सीमाबद्ध व्युत्पन्न श्रेणी के बराबर है, के ऊपर 'मिश्रित उद्देश्यों' की श्रेणी। विशेष रूप से, अनुमान का अर्थ यह होगा कि मिश्रित उद्देश्यों की श्रेणी में मोटिविक कोहोलॉजी समूहों को एक्सट समूहों के साथ पहचाना जा सकता है। यह ज्ञात से बहुत दूर है. सीधे तौर पर, बेइलिंसन का अनुमान बेइलिंसन-क्रिस्टोफ़ सोले|सोले अनुमान को दर्शाता है कि एचi(X,'Q'(j)) i < 0 के लिए शून्य है, जो केवल कुछ मामलों में ही ज्ञात होता है।

इसके विपरीत, बीजगणितीय चक्रों पर ग्रोथेंडिक के मानक अनुमानों और चाउ उद्देश्यों पर मुर्रे के अनुमानों के साथ, बेइलिंसन-सोल अनुमान का एक प्रकार, डीएम (के) पर टी-संरचना के दिल के रूप में एक एबेलियन श्रेणी एमएम (के) के अस्तित्व का संकेत देगा। ; 'क्यू')। मोटिविक कोहोलॉजी के साथ एमएम(के) में एक्सट समूहों की पहचान करने के लिए और अधिक की आवश्यकता होगी।

जटिल संख्याओं के उपक्षेत्र k के लिए, मिश्रित उद्देश्यों की एबेलियन श्रेणी के लिए एक उम्मीदवार को नोरी द्वारा परिभाषित किया गया है। यदि अपेक्षित गुणों के साथ एक श्रेणी एमएम(के) मौजूद है (विशेष रूप से एमएम(के) से 'क्यू'-वेक्टर रिक्त स्थान तक बेट्टी अहसास फ़ैक्टर वफादार फ़ैक्टर है), तो यह नोरी की श्रेणी के बराबर होना चाहिए।

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

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

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

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

यह भी देखें

 * स्थानान्तरण के साथ प्रीशीफ़
 * ए¹ समरूपता सिद्धांत

बाहरी संबंध

 * Harrer Daniel, Comparison of the Categories of Motives defined by Voevodsky and Nori
 * Wiesława Nizioł, p-adic motivic cohomology in arithmetic
 * Harrer Daniel, Comparison of the Categories of Motives defined by Voevodsky and Nori
 * Wiesława Nizioł, p-adic motivic cohomology in arithmetic
 * Wiesława Nizioł, p-adic motivic cohomology in arithmetic