चाउ समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Analogs of homology groups for algebraic varieties}}
{{short description|Analogs of homology groups for algebraic varieties}}
'''''[[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]]  में''''', किसी भी  [[ क्षेत्र (गणित) |क्षेत्र]]  पर एक बीजगणितीय किस्म (किस्म) के चाउ समूह  {{harvs|txt|last=चेवेली|first=क्लाउड|authorlink=Claude Chevalley|year=1958}} द्वारा वी-लियांग चाउ के नाम पर एक स्थलीय स्थान  [[ समरूपता (गणित) |समरूपता]]  के बीजगणित ज्यामितीय मे अनुरूप होते हैं। चाउ समूह के तत्व उप-किस्मों (तथाकथित  [[ बीजगणितीय चक्र |बीजगणितीय चक्र]]) से उसी तरह से बनते हैं, जैसे कि सरल या सेलुलर होमोलॉजी समूह उप-परिसरों से बनते हैं। जब विविधता समतल होती है, तो चाउ समूहों की कोहोलॉजी समूहों के रूप में व्याख्या किया जा सकता है। पॉइनकेयर द्वैत की तुलना मे एक गुणन होता है, जिसे प्रतिच्छेदन उत्पाद कहा जाता है। चाउ समूह एक बीजगणितीय विविधता के बारे में समृद्ध जानकारी रखते हैं, और वे सामान्य रूप से गणना करने के लिए समान रूप से जटिल होते हैं।
'''''[[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]]  में''''', किसी भी  [[ क्षेत्र (गणित) |क्षेत्र]]  पर एक बीजगणितीय प्रजाति (किस्म) के चाउ समूह  {{harvs|txt|last=चेवेली|first=क्लाउड|authorlink=Claude Chevalley|year=1958}} द्वारा वी-लियांग चाउ के नाम पर एक स्थलीय स्थान  [[ समरूपता (गणित) |समरूपता]]  के बीजगणित ज्यामितीय मे अनुरूप होते हैं। चाउ समूह के तत्व उप-किस्मों (तथाकथित  [[ बीजगणितीय चक्र |बीजगणितीय चक्र]]) से उसी तरह से बनते हैं, जैसे कि सरल या सेलुलर होमोलॉजी समूह उप-परिसरों से बनते हैं। जब विविधता समतल होती है, तो चाउ समूहों की कोहोलॉजी समूहों के रूप में व्याख्या किया जा सकता है। पॉइनकेयर द्वैत की तुलना मे एक गुणन होता है, जिसे प्रतिच्छेदन उत्पाद कहा जाता है। चाउ समूह एक बीजगणितीय विविधता के बारे में समृद्ध जानकारी रखते हैं, और वे सामान्य रूप से गणना करने के लिए समान रूप से जटिल होते हैं।


== तर्कसंगत तुल्यता और चाउ समूह ==
== तार्किक तुल्यता और चाउ समूह ==
निम्नलिखित के लिए, <math>k</math>  पर परिमित प्रकार की एक अभिन्न योजना होने के लिए <math>k</math>. क्षेत्र पर विविधता को परिभाषित करता है, तथा किसी भी  [[ योजना (गणित) |योजना]]  <math>X</math> के लिए <math>k</math> पर परिमित प्रकार <math>X</math> पर बीजगणितीय चक्र का अर्थ  [[ पूर्णांक |पूर्णांक]]  गुणांक के साथ <math>X</math> की उप-किस्मों का एक परिमित  [[ रैखिक संयोजन |रैखिक संयोजन]]  है। और नीचे उप-किस्मों को <math>X</math> में विवृत समझा जाता है, जब तक कुछ और ना बताया जाये कि, एक  [[ प्राकृतिक संख्या |प्राकृतिक संख्या]]  के लिए <math>i</math>, समूह <math>Z_i(X)</math> का <math>i</math>-आयामी चक्र या <math>i</math>-चक्र, संक्षेप में प्रारम्भ <math>X</math> के समुच्चय पर  [[ मुक्त एबेलियन समूह |मुक्त एबेलियन समूह]]  है, <math>i</math> की आयामी उपकिस्म <math>X</math> होती है।  
निम्नलिखित के लिए, <math>k</math>  पर परिमित प्रकार की एक अभिन्न योजना होने के लिए <math>k</math>. क्षेत्र पर विविधता को परिभाषित करता है, तथा किसी भी  [[ योजना (गणित) |योजना]]  <math>X</math> के लिए <math>k</math> पर परिमित प्रकार <math>X</math> पर बीजगणितीय चक्र का अर्थ  [[ पूर्णांक |पूर्णांक]]  गुणांक के साथ <math>X</math> की उप-किस्मों का एक परिमित  [[ रैखिक संयोजन |रैखिक संयोजन]]  है। और नीचे उप-किस्मों को <math>X</math> में विवृत समझा जाता है, जब तक कुछ और ना बताया जाये कि, एक  [[ प्राकृतिक संख्या |प्राकृतिक संख्या]]  के लिए <math>i</math>, समूह <math>Z_i(X)</math> का <math>i</math>-आयामी चक्र या <math>i</math>-चक्र, संक्षेप में प्रारम्भ <math>X</math> के समुच्चय पर  [[ मुक्त एबेलियन समूह |मुक्त एबेलियन समूह]]  है, <math>i</math> की आयामी उपकिस्म <math>X</math> होती है।  


Line 9: Line 9:
जहां योग सभी <math>i</math>-आयामी उप-वर्गों <math>Z</math> का <math>W</math> और पूर्णांक <math>\operatorname{ord}_Z(f)</math> के साथ <math>Z</math>  के लुप्त होने के क्रम को दर्शाता है। इस प्रकार <math>\operatorname{ord}_Z(f)</math> ऋणात्मक है, यदि <math>f</math>  के पास <math>Z</math> लुप्त होने के क्रम की परिभाषा के लिए <math>W</math> अद्वितीय मे कुछ संरक्षण की आवश्यकता होती है।<ref>Fulton. Intersection Theory, section 1.2 and Appendix A.3.</ref>
जहां योग सभी <math>i</math>-आयामी उप-वर्गों <math>Z</math> का <math>W</math> और पूर्णांक <math>\operatorname{ord}_Z(f)</math> के साथ <math>Z</math>  के लुप्त होने के क्रम को दर्शाता है। इस प्रकार <math>\operatorname{ord}_Z(f)</math> ऋणात्मक है, यदि <math>f</math>  के पास <math>Z</math> लुप्त होने के क्रम की परिभाषा के लिए <math>W</math> अद्वितीय मे कुछ संरक्षण की आवश्यकता होती है।<ref>Fulton. Intersection Theory, section 1.2 and Appendix A.3.</ref>


एक योजना के लिए <math>X</math> परिमित प्रकार का <math>k</math>, समूह <math>i</math>-चक्र तर्कसंगत रूप से शून्य के बराबर का उपसमूह होता है,जो  <math>Z_i(X)</math> चक्रों द्वारा उत्पन्न <math>(f)</math> सभी के लिए <math>(i+1)</math>-आयामी उप-किस्मों मे  <math>W</math> का <math>X</math> और सभी गैर-शून्य तर्कसंगत कार्य <math>f</math> पर <math>W</math>. चाउ समूह <math>CH_i(X)</math> का <math>i</math>-आयामी चक्र प्रारम्भ <math>X</math> का [[ भागफल समूह | भागफल समूह]]  है,जो  <math>Z_i(X)</math> चक्रों के उपसमूह द्वारा तर्कसंगत रूप से शून्य के बराबर होता है। कभी-कभी कोई <math>[Z]</math> चाउ समूह में एक उपप्रकार <math>Z</math>  के वर्ग के लिए लिखता है, और यदि दो उप-किस्मों  <math>Z</math>  और <math>W</math> में डिस्प्लेस्टाइल <math>[Z] = [W]</math> तो <math>Z</math> तथा <math>W</math>  को तर्कसंगत रूप से समकक्ष कहा जाता है।  
एक योजना के लिए <math>X</math> परिमित प्रकार का <math>k</math>, समूह <math>i</math>-चक्र तार्किक रूप से शून्य के बराबर का उपसमूह होता है,जो  <math>Z_i(X)</math> चक्रों द्वारा उत्पन्न <math>(f)</math> सभी के लिए <math>(i+1)</math>-आयामी उप-किस्मों मे  <math>W</math> का <math>X</math> और सभी गैर-शून्य तार्किक कार्य <math>f</math> पर <math>W</math>. चाउ समूह <math>CH_i(X)</math> का <math>i</math>-आयामी चक्र प्रारम्भ <math>X</math> का [[ भागफल समूह | भागफल समूह]]  है,जो  <math>Z_i(X)</math> चक्रों के उपसमूह द्वारा तार्किक रूप से शून्य के बराबर होता है। कभी-कभी कोई <math>[Z]</math> चाउ समूह में एक उपप्रकार <math>Z</math>  के वर्ग के लिए लिखता है, और यदि दो उप-किस्मों  <math>Z</math>  और <math>W</math> में डिस्प्लेस्टाइल <math>[Z] = [W]</math> तो <math>Z</math> तथा <math>W</math>  को तार्किक रूप से समकक्ष कहा जाता है।  


उदाहरण के लिए, जब <math>X</math> विभिन्न प्रकार के आयाम <math>n</math> है, तो चाउ समूह <math>CH_{n-1}(X)</math> का  [[ भाजक वर्ग समूह |भाजक वर्ग समूह]]  है। जब <math>X</math>, <math>k</math>, पर समतल होता है, तो यह <math>X</math> पर  [[ उलटा शीफ |लाइन बंडलों]]  के [[ पिकार्ड समूह |पिकार्ड समूह]] के लिए आइसोमोर्फिक होता है।
उदाहरण के लिए, जब <math>X</math> विभिन्न प्रकार के आयाम <math>n</math> है, तो चाउ समूह <math>CH_{n-1}(X)</math> का  [[ भाजक वर्ग समूह |भाजक वर्ग समूह]]  है। जब <math>X</math>, <math>k</math>, पर समतल होता है, तो यह <math>X</math> पर  [[ उलटा शीफ |लाइन बंडलों]]  के [[ पिकार्ड समूह |पिकार्ड समूह]] के लिए आइसोमोर्फिक होता है।
Line 15: Line 15:
=== परिमेय तुल्यता के उदाहरण ===
=== परिमेय तुल्यता के उदाहरण ===


==== प्रक्षेपीय स्थान पर तर्कसंगत तुल्यता ====
==== प्रक्षेपीय स्थान पर तार्किक तुल्यता ====
हाइपरसर्फेस द्वारा परिभाषित तर्कसंगत रूप से समतुल्य चक्र प्रक्षेपण स्थान पर निर्माण करना सरल होता है, क्योंकि वे सभी एक ही वेक्टर बंडल के लुप्त होने वाले बिंदुपथ  के रूप में निर्मित किए जा सकते हैं। उदाहरण के लिए, <math>d</math>  डिग्री के दो सजातीय बहुपद दिए गए हैं, इसलिए <math>f,g \in H^0(\mathbb{P}^n, \mathcal O(d))</math> हम हाइपरसर्फ्स के एक परिवार का निर्माण कर सकते हैं जिसे परिभाषित किया गया है <math>sf + tg</math> का वैनिशिंग लोकस योजनाबद्ध रूप से, इसे इस रूप में बनाया जा सकता है।  
हाइपरसर्फेस द्वारा परिभाषित तार्किक रूप से समतुल्य चक्र प्रक्षेपण स्थान पर निर्माण करना सरल होता है, क्योंकि वे सभी एक ही सदिश बंडल के लुप्त होने वाले बिंदुपथ  के रूप में निर्मित किए जा सकते हैं। उदाहरण के लिए, <math>d</math>  डिग्री के दो सजातीय बहुपद दिए गए हैं, इसलिए <math>f,g \in H^0(\mathbb{P}^n, \mathcal O(d))</math> हम हाइपरसर्फ्स के एक परिवार का निर्माण कर सकते हैं जिसे परिभाषित किया गया है <math>sf + tg</math> का वैनिशिंग लोकस योजनाबद्ध रूप से, इसे इस रूप में बनाया जा सकता है।  


<math>
<math>
Line 22: Line 22:
</math>
</math>


प्रक्षेपण का उपयोग करके <math>\pi_1: X \to \mathbb{P}^1</math> हम एक बिंदु पर फाइबर को देख सकते हैं <math>[s_0:t_0]</math> प्रक्षेपण हाइपरसफेस द्वारा परिभाषित किया गया है।  <math>s_0 f + t_0 g</math>. इसका उपयोग यह दिखाने के लिए किया जा सकता है कि डिग्री के प्रत्येक हाइपरसफेस का चक्र वर्ग तार्किक रूप से <math>d</math> के समतुल्य है।  <math>d[\mathbb{P}^{n-1}]</math>, चूँकि <math>sf + tx_0^d</math> का उपयोग तर्कसंगत तुल्यता स्थापित करने के लिए किया जा सकता है। ध्यान दें कि  <math>x_0^d=0</math>  है तथा <math>\mathbb{P}^{n-1}</math>  बिन्दुपथ और इसकी बहुलता <math>d</math>, है  जो इसके चक्र वर्ग का गुणांक होता है।
प्रक्षेपण का उपयोग करके <math>\pi_1: X \to \mathbb{P}^1</math> हम एक बिंदु पर फाइबर को देख सकते हैं <math>[s_0:t_0]</math> प्रक्षेपण हाइपरसफेस द्वारा परिभाषित किया गया है।  <math>s_0 f + t_0 g</math>. इसका उपयोग यह दिखाने के लिए किया जा सकता है कि डिग्री के प्रत्येक हाइपरसफेस का चक्र वर्ग तार्किक रूप से <math>d</math> के समतुल्य है।  <math>d[\mathbb{P}^{n-1}]</math>, चूँकि <math>sf + tx_0^d</math> का उपयोग तार्किक तुल्यता स्थापित करने के लिए किया जा सकता है। ध्यान दें कि  <math>x_0^d=0</math>  है तथा <math>\mathbb{P}^{n-1}</math>  बिन्दुपथ और इसकी बहुलता <math>d</math>, है  जो इसके चक्र वर्ग का गुणांक होता है।


==== एक वक्र पर चक्रों की तर्कसंगत तुल्यता ====
==== एक वक्र पर चक्रों की तार्किक तुल्यता ====
अगर हम दो अलग लाइन बंडलो को लेते हैं, तो <math>L, L' \in\operatorname{Pic}(C)</math> एक समतल प्रक्षेपी वक्र के <math>C</math>, फिर दोनों लाइन बंडलों के <math>CH(C)</math> एक सामान्य खंड का लुप्त बिन्दुपथ गैर-समतुल्य चक्र वर्गों को परिभाषित करता है, ऐसा इसलिए होता है क्योंकि समतल किस्मों के लिए <math>\operatorname{Div}(C) \cong \operatorname{Pic}(C)</math> समतल किस्मों के लिए, इसलिए भाजक वर्ग <math>s \in H^0(C, L)</math> तथा <math>s' \in H^0(C, L')</math> असमान वर्गों को परिभाषित करता है।  
अगर हम दो अलग लाइन बंडलो को लेते हैं, तो <math>L, L' \in\operatorname{Pic}(C)</math> एक समतल प्रक्षेपी वक्र के <math>C</math>, फिर दोनों लाइन बंडलों के <math>CH(C)</math> एक सामान्य खंड का लुप्त बिन्दुपथ गैर-समतुल्य चक्र वर्गों को परिभाषित करता है, ऐसा इसलिए होता है क्योंकि समतल किस्मों के लिए <math>\operatorname{Div}(C) \cong \operatorname{Pic}(C)</math> समतल किस्मों के लिए, इसलिए भाजक वर्ग <math>s \in H^0(C, L)</math> तथा <math>s' \in H^0(C, L')</math> असमान वर्गों को परिभाषित करता है।  


Line 32: Line 32:
उत्पाद बीजगणितीय चक्रों को काटने से उत्पन्न होता है। उदाहरण के लिए, यदि <math>Y</math> तथा <math>Z</math> समतल उप-किस्म हैं। तो <math>X</math>  [[ ट्रांसवर्सलिटी (गणित) |अनुप्रस्थ]]  का <math>i</math> तथा <math>j</math> क्रमशः और यदि <math>Y</math> तथा <math>Z</math> का प्रतिच्छेदन करते हैं, फिर <math>CH^{i+j}(X)</math> मे उत्पाद <math>[Y][Z]</math> प्रतिच्छेदन  <math>Y\cap Z</math> के अपरिवर्तनीय घटकों का योग है, जिसमें सभी का आयाम <math>i+j</math>  होता है।   
उत्पाद बीजगणितीय चक्रों को काटने से उत्पन्न होता है। उदाहरण के लिए, यदि <math>Y</math> तथा <math>Z</math> समतल उप-किस्म हैं। तो <math>X</math>  [[ ट्रांसवर्सलिटी (गणित) |अनुप्रस्थ]]  का <math>i</math> तथा <math>j</math> क्रमशः और यदि <math>Y</math> तथा <math>Z</math> का प्रतिच्छेदन करते हैं, फिर <math>CH^{i+j}(X)</math> मे उत्पाद <math>[Y][Z]</math> प्रतिच्छेदन  <math>Y\cap Z</math> के अपरिवर्तनीय घटकों का योग है, जिसमें सभी का आयाम <math>i+j</math>  होता है।   


सामान्य रूप से विभिन्न स्थितियों में  [[ प्रतिच्छेदन सिद्धांत |प्रतिच्छेदन सिद्धांत]]  एक स्पष्ट चक्र का निर्माण करता है, जो चाउ वलय में उत्पाद <math>[Y][Z]</math> का प्रतिनिधित्व करता है। '''उदाहरण के लि'''ए, यदि <math>Y</math> तथा <math>Z</math> पूरक आयाम की उप-किस्मयां हैं (जिसका अर्थ है कि उनके आयाम के आयाम के योग हैं) <math>X</math>) जिसके प्रतिच्छेदन का आयाम शून्य है, तब <math>[Y][Z]</math> चौराहों के बिंदुओं के योग के बराबर होता है, जिसमें गुणांक होते हैं जिन्हें प्रतिच्छेदन संख्या कहा जाता है। किसी भी उप-किस्म के लिए <math>Y</math> तथा <math>Z</math> एक समतल योजना की <math>X</math> ऊपर <math>k</math>, चौराहे के आयाम पर कोई धारणा नहीं होने के कारण, [[ विलियम फुल्टन (गणितज्ञ) ]] और [[ रॉबर्ट मैकफर्सन (गणितज्ञ) ]] का प्रतिच्छेदन सिद्धांत चाउ समूहों के एक विहित तत्व का निर्माण करता है <math>Y\cap Z</math> चाउ समूहों में जिनकी छवि <math>X</math> उत्पाद है <math>[Y][Z]</math>.<ref>Fulton, Intersection Theory, section 8.1.</ref>
सामान्य रूप से विभिन्न स्थितियों में  [[ प्रतिच्छेदन सिद्धांत |प्रतिच्छेदन सिद्धांत]]  एक स्पष्ट चक्र का निर्माण करता है, जो चाउ वलय में उत्पाद <math>[Y][Z]</math> का प्रतिनिधित्व करता है। उदाहरण के लिए, यदि <math>Y</math> तथा <math>Z</math> पूरक आयाम की उप-किस्मयां हैं, जिसका अर्थ है कि उनके आयाम के आयामों का योग <math>X</math> आयाम के बराबर है। जिनके प्रतिच्छेदन का आयाम शून्य होता है, तो <math>[Y][Z]</math> प्रतिच्छेदन संख्या कहे जाने वाले गुणांक वाले प्रतिच्छेदन बिंदुओं के योग के बराबर होता है। किसी भी उप-किस्म के लिए <math>Y</math> तथा <math>Z</math> एक समतल योजना <math>X</math> के ऊपर <math>k</math>, प्रतिच्छेदन आयाम पर कोई धारणा नहीं होने के कारण [[ विलियम फुल्टन (गणितज्ञ) |विलियम फुल्टन (गणितज्ञ)]] और [[ रॉबर्ट मैकफर्सन (गणितज्ञ) |रॉबर्ट मैकफर्सन (गणितज्ञ)]] का प्रतिच्छेदन सिद्धांत चाउ समूहों के एक विहित तत्व का निर्माण करता है, जिसकी प्रतिरूप <math>X</math> के चाउ समूहों में उत्पाद <math>Y\cap Z</math> है। <math>[Y][Z]</math>.<ref>Fulton, Intersection Theory, section 8.1.</ref>
 
आम तौर पर, विभिन्न मामलों में, प्रतिच्छेदन सिद्धांत एक स्पष्ट चक्र का निर्माण करता है जो चाउ वलय में उत्पाद <math>[Y][Z]</math> का प्रतिनिधित्व करता है। उदाहरण के लिए, यदि {\displaystyle Y}Y और {\displaystyle Z}Z पूरक आयाम की उप-किस्में हैं (जिसका अर्थ है कि उनके आयामों का योग {\displaystyle X}X के आयाम के बराबर है) जिनके प्रतिच्छेदन का आयाम शून्य है, तो {\displaystyle [ Y][Z]}{\displaystyle [Y][Z]} प्रतिच्छेदन संख्या कहे जाने वाले गुणांक वाले प्रतिच्छेदन बिंदुओं के योग के बराबर है। किसी भी उप-किस्मों के लिए {\displaystyle Y}Y और {\displaystyle Z}Z एक चिकनी योजना {\displaystyle X}X over {\displaystyle k}k, चौराहे के आयाम पर कोई धारणा के बिना, विलियम फुल्टन और रॉबर्ट मैकफर्सन का चौराहा सिद्धांत {\displaystyle Y\cap Z}{\displaystyle Y\cap Z} के चाउ समूहों के एक विहित तत्व का निर्माण करता है जिसकी छवि {\displaystyle X}X के चाउ समूहों में उत्पाद {\displaystyle [Y][Z] है ]}{\displaystyle [Y][Z]}.[2]
== उदाहरण ==
== उदाहरण ==


=== [[ प्रक्षेप्य स्थान ]] ===
=== [[ प्रक्षेप्य स्थान ]] ===
प्रोजेक्टिव स्पेस की चाउ वलय <math>\mathbb P^n</math> किसी भी क्षेत्र पर <math>k</math> वलय है
प्रक्षेपण स्थान की चाउ वलय <math>\mathbb P^n</math> किसी भी क्षेत्र पर <math>k</math> वलय है।


: <math>CH^*(\mathbb P^n) \cong \mathbf Z[H]/(H^{n + 1}),</math>
: <math>CH^*(\mathbb P^n) \cong \mathbf Z[H]/(H^{n + 1}),</math>
कहाँ पे <math>H</math> एक हाइपरप्लेन का वर्ग है (एकल रैखिक फ़ंक्शन का शून्य स्थान)इसके अलावा, कोई भी उप-किस्म <math>Y</math> [[ एक प्रक्षेपी किस्म की डिग्री ]] <math>d</math> और कोडिमेंशन <math>a</math> प्रोजेक्टिव स्पेस में तर्कसंगत रूप से समकक्ष है <math>dH^a</math>. यह इस प्रकार है कि किन्हीं दो उप-किस्मों के लिए <math>Y</math> तथा <math>Z</math> में पूरक आयाम का <math>\mathbb P^n</math> और डिग्री <math>a</math>, <math>b</math>, क्रमशः, चाउ वलय में उनका उत्पाद बस है
जहाँ <math>H</math> एक अधिसमतल (एकल रैखिक फलन का शून्य स्थान)का वर्ग है। इसके अतिरिक्त किसी भी उप-किस्म <math>Y</math> [[ एक प्रक्षेपी किस्म की डिग्री |एक प्रक्षेपी किस्म की डिग्री]] <math>d</math> और आयाम  <math>a</math> प्रक्षेपण स्थान में तार्किक रूप से <math>dH^a</math> के समकक्ष है। यह इस प्रकार है कि, किन्हीं दो उप-किस्मों के लिए <math>Y</math> तथा <math>Z</math> में पूरक आयाम का <math>\mathbb P^n</math> और डिग्री <math>a</math>, <math>b</math>, क्रमशः चाउ वलय में उनका उत्पाद सरल होता है।


: <math>[Y] \cdot [Z] = a\, b\, H^n</math>
: <math>[Y] \cdot [Z] = a\, b\, H^n</math>
कहाँ पे <math>H^n</math> a . का वर्ग है <math>k</math>-तर्कसंगत बिंदु in <math>\mathbb P^n</math>. उदाहरण के लिए, यदि <math>Y</math> तथा <math>Z</math> अनुप्रस्थ रूप से प्रतिच्छेद करें, यह उसका अनुसरण करता है <math>Y\cap Z</math> डिग्री का एक शून्य चक्र है <math>ab</math>. यदि आधार क्षेत्र <math>k</math> बीजगणितीय रूप से विवृत क्षेत्र है, इसका मतलब है कि बिल्कुल हैं <math>ab</math> चौराहे के बिंदु; यह बेज़ाउट के प्रमेय का एक संस्करण है, [[ गणनात्मक ज्यामिति ]] का एक उत्कृष्ट परिणाम।
जहाँ <math>H^n</math>, <math>k</math> तार्किक बिंदु <math>\mathbb P^n</math> का एक वर्ग है। उदाहरण के लिए, यदि <math>Y</math> तथा <math>Z</math> अनुप्रस्थ रूप से प्रतिच्छेदन करते हैं यह उसका अनुसरण करता है कि, <math>Y\cap Z</math> डिग्री का एक शून्य चक्र <math>ab</math> है।  यदि आधार क्षेत्र <math>k</math> बीजगणितीय रूप से विवृत क्षेत्र है, तो इसका अर्थ है कि बिल्कुल <math>ab</math> प्रतिच्छेदन के बिंदु है। यह बेज़ाउट के प्रमेय का एक संस्करण है,जो  [[ गणनात्मक ज्यामिति |गणनात्मक ज्यामिति]] का एक उत्कृष्ट परिणाम होता है।


=== प्रोजेक्टिव बंडल फॉर्मूला ===
=== प्रक्षेपण बंडल सूत्र ===
एक वेक्टर बंडल दिया गया <math>E \to X</math> रैंक के <math>r</math> एक समतल उचित योजना पर <math>X</math> एक क्षेत्र के ऊपर, संबंधित प्रक्षेप्य बंडल की चाउ वलय <math>\mathbb{P}(E)</math> की चाउ वलय का उपयोग करके गणना की जा सकती है <math>X</math> और चेर्न वर्ग <math>E</math>. अगर हम जाने दें <math>\zeta = c_1(\mathcal O_{\mathbb{P}(E)}(1))</math> तथा <math>c_1,\ldots, c_r</math> की चेर्न कक्षाएं <math>E</math>, फिर वलयों का एक समरूपता है
एक सदिश बंडल <math>E \to X</math> रैंक का <math>r</math> एक समतल उचित योजना <math>X</math> पर एक क्षेत्र के ऊपर, संबंधित प्रक्षेप्यबंडल की चाउ वलय <math>\mathbb{P}(E)</math> की गणना <math>X</math> के चाउ वलय और <math>E</math> के चेर्न वर्ग का उपयोग करके की जा सकती है। यदि हम <math>\zeta = c_1(\mathcal O_{\mathbb{P}(E)}(1))</math> तथा <math>c_1,\ldots, c_r</math> की चेर्न वर्ग <math>E</math> वलयों की एक समरूपता होती है।
:<math>
:<math>
CH^\bullet(\mathbb{P}(E)) \cong \frac{CH^\bullet(X)[\zeta]}{\zeta^r + c_1\zeta^{r-1} + c_2\zeta^{r-2} + \cdots + c_r}  
CH^\bullet(\mathbb{P}(E)) \cong \frac{CH^\bullet(X)[\zeta]}{\zeta^r + c_1\zeta^{r-1} + c_2\zeta^{r-2} + \cdots + c_r}  
</math>
</math><br />
 
==== हिरजेब्रूच सतह ====
 
उदाहरण के लिए, एक हिरजेब्रुक सतह के चाउ वलय को प्रक्षेपण बंडल सूत्र का उपयोग करके सरलता से गणना की जा सकती है। याद करें कि इसे <math>F_a = \mathbb{P}(\mathcal{O}\oplus\mathcal{O}(a))</math> ऊपर <math>\mathbb{P}^1</math> फिर, इस सदिश बंडल का एकमात्र गैर-तुच्छ चेर्न वर्ग <math>c_1 = aH</math> है। इसका तात्पर्य है कि, चाउ वलय समरूपी होता है।
==== हिरजेब्रूच सतहें ====
उदाहरण के लिए, एक हिरजेब्रुक सतह के चाउ वलय को प्रोजेक्टिव बंडल फॉर्मूला का उपयोग करके आसानी से गणना की जा सकती है। याद रखें कि यह के रूप में बनाया गया है <math>F_a = \mathbb{P}(\mathcal{O}\oplus\mathcal{O}(a))</math> ऊपर <math>\mathbb{P}^1</math>. फिर, इस वेक्टर बंडल का एकमात्र गैर-तुच्छ चेर्न वर्ग है <math>c_1 = aH</math>. इसका तात्पर्य है कि चाउ वलय आइसोमॉर्फिक है
:<math>
:<math>
CH^\bullet(F_a) \cong \frac{CH^\bullet(\mathbb{P}^1)[\zeta]}{(\zeta^2 + aH\zeta)} \cong \frac{\mathbf Z[H,\zeta]}{(H^2, \zeta^2+aH\zeta)}
CH^\bullet(F_a) \cong \frac{CH^\bullet(\mathbb{P}^1)[\zeta]}{(\zeta^2 + aH\zeta)} \cong \frac{\mathbf Z[H,\zeta]}{(H^2, \zeta^2+aH\zeta)}
</math>
</math><br />
 
=== टिप्पणी ===
अन्य बीजगणितीय किस्मों के लिए, चाउ समूहों में समृद्ध व्यवहार हो सकता है। उदाहरण के लिए, मान लें कि <math>X</math> क्षेत्र <math>k</math> पर एक  [[ अण्डाकार वक्र |दीर्घवृत्तीय वक्र]] है। फिर <math>X</math> पर शून्य-चक्रों का चाउ समूह एक [[ सटीक क्रम |सटीक क्रम]]  में सुव्यवस्थित हो जाता है।


=== टिप्पणी ===
अन्य बीजगणितीय किस्मों के लिए, चाउ समूहों में समृद्ध व्यवहार हो सकता है। उदाहरण के लिए, चलो <math>X</math> एक क्षेत्र के ऊपर एक [[ अण्डाकार वक्र ]] बनें <math>k</math>. फिर शून्य-चक्रों का चाउ समूह <math>X</math> एक [[ सटीक क्रम ]] में फिट बैठता है
:<math> 0 \rightarrow X(k) \rightarrow CH_0(X) \rightarrow \mathbf{Z} \rightarrow 0.</math>
:<math> 0 \rightarrow X(k) \rightarrow CH_0(X) \rightarrow \mathbf{Z} \rightarrow 0.</math>
इस प्रकार एक अण्डाकार वक्र का चाउ समूह <math>X</math> समूह से घनिष्ठ रूप से सम्बन्धित है <math>X(k)</math> का <math>k</math>-तर्कसंगत अंक <math>X</math>. कब <math>k</math> एक [[ संख्या क्षेत्र ]] है, <math>X(k)</math> मोर्डेल-वेइल समूह कहा जाता है <math>X</math>, और संख्या सिद्धांत की कुछ गहन समस्याएँ इस समूह को समझने के प्रयास हैं। कब <math>k</math> जटिल संख्या है, एक अण्डाकार वक्र के उदाहरण से पता चलता है कि चाउ समूह [[ बेशुमार ]] एबेलियन समूह हो सकते हैं।
इस प्रकार दीर्घवृत्तीय वक्र का चाउ समूह <math>X</math> के <math>X(k)</math> तार्किक बिंदुओं के समूह  <math>X(k)</math> से निकटता से संबंधित है। जब <math>k</math> एक [[ संख्या क्षेत्र |संख्या क्षेत्र]] होता है, <math>X(k)</math> को <math>X</math> का मोर्डेल-वेइल समूह कहा जाता है, और संख्या सिद्धांत की कुछ गहरी समस्याएं अनुकूल हैं इस समूह को समझने के लिए, जब <math>k</math> सम्मिश्र संख्याएँ होती हैं, तो दीर्घवृत्तीय वक्र का उदाहरण दिखायी देता है कि, चाउ समूह [[ बेशुमार | अगणनीय]] विनिमेय समूह हो सकते हैं।


== कार्यात्मकता ==
== क्रियात्मकता ==
एक उचित morphism के लिए <math>f: X\to Y</math> योजनाओं का खत्म <math>k</math>, एक आगे की ओर होमोमोर्फिज्म है <math>f_*: CH_i(X)\to CH_i(Y)</math> प्रत्येक पूर्णांक के लिए <math>i</math>. उदाहरण के लिए, पूरी विविधता के लिए <math>X</math> ऊपर <math>k</math>, यह एक समरूपता देता है <math>CH_0(X)\to \mathbf Z</math>, जो एक विवृत बिंदु लेता है <math>X</math> इसकी डिग्री से अधिक <math>k</math>. (एक विवृत बिंदु में <math>X</math> रूप है <math>\operatorname{Spec}(E)</math> परिमित विस्तार क्षेत्र के लिए <math>E</math> का <math>k</math>, और इसकी डिग्री का मतलब क्षेत्र के क्षेत्र विस्तार की डिग्री है <math>E</math> ऊपर <math>k</math>।)
<math>f: X\to Y</math> योजनाओं के लिए <math>k</math> से अधिक के उचित आकारिकी के लिए, एक होमोमोर्फिज्म समरूपता है।  <math>f_*: CH_i(X)\to CH_i(Y)</math> प्रत्येक पूर्णांक के लिए <math>i</math>. उदाहरण के लिए, पूरी विविधता के लिए <math>X</math> ऊपर <math>k</math>, यह एक समरूपता प्रदान करता है <math>CH_0(X)\to \mathbf Z</math>, जो <math>X</math> में एक विवृत बिंदु को <math>k</math>. से ऊपर की डिग्री तक ले जाता है। <math>X</math> में एक विवृत बिंदु का रूप <math>\operatorname{Spec}(E)</math> एक परिमित विस्तार क्षेत्र <math>E</math> के लिए है <math>k</math>, और इसकी डिग्री का अर्थ <math>k</math> पर  क्षेत्र की डिग्री  <math>E</math> है।


एक सपाट आकार के लिए <math>f: X\to Y</math> योजनाओं का खत्म <math>k</math> आयाम के तंतुओं के साथ <math>r</math> (संभवतः खाली), एक [[ गाइसिन समरूपता ]] है <math>f^*: CH_i(Y)\to CH_{i+r}(X)</math>.
आयाम <math>r</math> (संभवत: खाली) के तंतुओं के साथ <math>k</math> से अधिक योजनाओं के समतल आकारिकी <math>f: X\to Y</math> के लिए, [[ गाइसिन समरूपता |गाइसिन समरूपता]] <math>f^*: CH_i(Y)\to CH_{i+r}(X)</math> होती है।


चाउ समूहों के लिए एक प्रमुख कम्प्यूटेशनल उपकरण स्थानीयकरण अनुक्रम है, जो निम्नानुसार है। एक योजना के लिए <math>X</math> एक मैदान के ऊपर <math>k</math> और एक विवृत उपयोजना <math>Z</math> का <math>X</math>, एक सटीक क्रम है
चाउ समूहों के लिए एक प्रमुख कम्प्यूटेशनल उपकरण स्थानीयकरण अनुक्रम होता है, जो निम्नानुसार एक योजना <math>X</math> के लिए एक क्षेत्र  <math>k</math> और <math>X</math> की एक विवृत उपयोजना <math>Z</math> पर एक सटीक अनुक्रम है।
:<math>CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0,</math>
:<math>CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0,</math>
जहां पहला होमोमोर्फिज्म उचित आकारिकी से जुड़ा पुशफॉरवर्ड है <math>Z\to X</math>, और दूसरा होमोमोर्फिज्म फ्लैट मॉर्फिज्म के संबंध में पुलबैक है <math>X - Z \to X</math>.<ref>Fulton, Intersection Theory, Proposition 1.8.</ref> स्थानीयकरण अनुक्रम को चाउ समूहों के सामान्यीकरण का उपयोग करके बाईं ओर बढ़ाया जा सकता है, (बोरेल-मूर) [[ प्रेरक कोहोलॉजी ]] समूह, जिन्हें [[ उच्च चाउ समूह ]] भी कहा जाता है।<ref>Bloch, Algebraic cycles and higher K-groups; Voevodsky, Triangulated categories of motives over a field, section 2.2 and Proposition 4.2.9.</ref>
जहां पहला समरूपी उचित आकारिकी <math>Z\to X</math> से जुड़ा पुशफॉरवर्ड है ,और दूसरी समरूपता समतल आकारिता <math>X - Z \to X</math> के संबंध में पुलबैक है। <ref>Fulton, Intersection Theory, Proposition 1.8.</ref> चाउ समूह, (बोरेल-मूर) [[ प्रेरक कोहोलॉजी |प्रेरक होमोलॉजी]] समूह,या  [[ उच्च चाउ समूह |उच्च चाउ समूह]] के रूप में भी जाना जाता है, इसके सामान्यीकरण का उपयोग करके स्थानीयकरण अनुक्रम को बाईं ओर बढ़ाया जा सकता है।<ref>Bloch, Algebraic cycles and higher K-groups; Voevodsky, Triangulated categories of motives over a field, section 2.2 and Proposition 4.2.9.</ref>
किसी भी रूपवाद के लिए <math>f: X\to Y</math> सुचारू योजनाओं की समाप्ति <math>k</math>, एक पुलबैक समरूपता है <math>f^*: CH^i(Y)\to CH^i(X)</math>, जो वास्तव में एक वलय समरूपता है <math>CH^*(Y)\to CH^*(X)</math>.
 
किसी भी आकारिता के लिए <math>f: X\to Y</math> सुचारू योजनाओं की समाप्ति <math>k</math>, एक पुलबैक समरूपता है <math>f^*: CH^i(Y)\to CH^i(X)</math>, जो वास्तव में एक <math>CH^*(Y)\to CH^*(X)</math>.वलय समरूपी होता है। 


=== फ्लैट पुलबैक के उदाहरण ===
=== समतल पुलबैक के उदाहरण ===
ध्यान दें कि ब्लोअप का उपयोग करके गैर-उदाहरणों का निर्माण किया जा सकता है; उदाहरण के लिए, यदि हम उत्पत्ति के विस्फोट को लेते हैं <math>\mathbb{A}^2</math> तो मूल पर फाइबर आइसोमोर्फिक है <math>\mathbb{P}^1</math>.
ध्यान दें कि ब्लोअप का उपयोग करके गैर-उदाहरणों का निर्माण किया जा सकता है। उदाहरण के लिए, यदि हम <math>\mathbb{A}^2</math> में उत्पत्ति के विस्फोट को लेते हैं। तो मूल पर फाइबर <math>\mathbb{P}^1</math>.के लिए समरूप होता है।


==== वक्रों का शाखित आवरण ====
==== वक्रों का शाखित आवरण ====
वक्रों के शाखित आवरण पर विचार करें
वक्रों के शाखित आवरण पर विचार करें
:<math>f: \operatorname{Spec}\left( \frac{\mathbb{C}[x,y]}{(f(x) - g(x,y))} \right) \to \mathbb{A}^1_x</math>
:<math>f: \operatorname{Spec}\left( \frac{\mathbb{C}[x,y]}{(f(x) - g(x,y))} \right) \to \mathbb{A}^1_x</math>
चूंकि रूपवाद जब भी विचरण करता है <math>f(\alpha) = 0</math> हमें एक गुणनखंड मिलता है
चूंकि जब भी आकारिकी विस्तृत होती है, <math>f(\alpha) = 0</math> हमें एक गुणनखंड मिलता है
:<math>g(\alpha,y) = (y - a_1)^{e_1}\cdots(y-a_k)^{e_k}</math>
:<math>g(\alpha,y) = (y - a_1)^{e_1}\cdots(y-a_k)^{e_k}</math>
जहां में से एक <math>e_i>1</math>. इसका तात्पर्य यह है कि अंक <math>\{\alpha_1,\ldots,\alpha_k \} = f^{-1}(\alpha)</math> बहुलता है <math>e_1,\ldots,e_k</math> क्रमश। बिंदु का सपाट पुलबैक <math>\alpha</math> तब है
जहां <math>e_i>1</math>. में से एक, इसका तात्पर्य यह है कि बिंदु <math>\{\alpha_1,\ldots,\alpha_k \} = f^{-1}(\alpha)</math> बहुलता है <math>e_1,\ldots,e_k</math> क्रमश। बिंदु का समतल पुलबैक <math>\alpha</math> होता है।
:<math>f^*[\alpha] = e_1[\alpha] + \cdots + e_k[\alpha_k]</math>
:<math>f^*[\alpha] = e_1[\alpha] + \cdots + e_k[\alpha_k]</math>
==== किस्मों का समतल परिवार ====
==== किस्मों का समतल परिवार ====
किस्मों के एक फ्लैट परिवार पर विचार करें
एक समतल सहलक्षणीय किस्मों पर विचार करना
:<math>X \to S</math>
:<math>X \to S</math>
और एक उपप्रकार <math>S' \subset S</math>. फिर, कार्तीय वर्ग का उपयोग करना
और एक उप प्रकार <math>S' \subset S</math>. फिर, कार्तीय वर्ग का उपयोग करना
:<math>
:<math>
\begin{matrix}
\begin{matrix}
Line 98: Line 92:
\end{matrix}
\end{matrix}
</math>
</math>
हम देखते हैं कि की छवि <math>S'\times_{S} X</math> की एक उप-किस्म है <math>X</math>. इसलिए, हमारे पास है
हम देखते हैं, कि प्रतिरूप <math>S'\times_{S} X</math> की एक उप-किस्म है <math>X</math>. इसलिए, हमारे पास है
:<math>f^*[S'] = [S'\times_S X]</math>
:<math>f^*[S'] = [S'\times_S X]</math><br />
 
== चक्र मानचित्र ==
 
चाउ समूह से लेकर अधिक संगणनीय सिद्धांतों तक कई समरूपता (चक्र मानचित्र के रूप में जाना जाता है) हैं।
== साइकिल के नक्शे ==
चाउ समूहों से लेकर अधिक संगणनीय सिद्धांतों तक कई समरूपताएं (चक्र मानचित्र के रूप में जानी जाती हैं) हैं।


सबसे पहले, जटिल संख्याओं पर एक योजना ''X'' के लिए, चाउ समूहों से बोरेल-मूर समरूपता तक एक समरूपता है:<ref>Fulton, Intersection Theory, section 19.1</ref>
सबसे पहले, एक योजना X के लिए जटिल संख्याओं पर, चाउ समूहों से बोरेल-मूर समरूपता के लिए एक समरूपता है। <ref>Fulton, Intersection Theory, section 19.1</ref>
:<math>\mathit{CH}_i(X) \rightarrow H_{2i}^{BM}(X,\mathbf{Z}).</math>
:<math>\mathit{CH}_i(X) \rightarrow H_{2i}^{BM}(X,\mathbf{Z}).</math>
2 का गुणक प्रकट होता है क्योंकि X की i-आयामी उप-किस्म का वास्तविक आयाम 2i है। जब एक्स सम्मिश्र संख्याओं पर सहज होता है, तो इस चक्र मानचित्र को एक समरूपता के रूप में पॉइंकेयर द्वैत का उपयोग करके फिर से लिखा जा सकता है
2 का गुणक प्रकट होता है, क्योंकि X की i-आयामी उप-किस्म का वास्तविक आयाम 2i होता है। जब सम्मिश्र संख्याओं पर सहज होता है, तो इस चक्र मानचित्र को एक समरूपता के रूप में पॉइंकेयर द्वैत का उपयोग करके फिर से लिखा जा सकता है।
:<math>\mathit{CH}^j(X) \rightarrow H^{2j}(X,\mathbf{Z}).</math>
:<math>\mathit{CH}^j(X) \rightarrow H^{2j}(X,\mathbf{Z}).</math>
इस मामले में (एक्स स्मूथ ओवर 'सी'), ये होमोमोर्फिज्म चाउ वलय से कोहोलॉजी वलय तक वलय होमोमोर्फिज्म बनाते हैं। सहज रूप से, यह इसलिए है क्योंकि चाउ वलय और कोहोलॉजी वलय दोनों में उत्पाद चक्रों के प्रतिच्छेदन का वर्णन करते हैं।
इस स्थिति में (C पर X सहज), ये होमोमोर्फिज्म चाउ वलय से कोहोलॉजी वलय तक वलय होमोमोर्फिज्म बनाते हैं। सहज रूप से, यह इसलिए है क्योंकि चाउ वलय और कोहोलॉजी वलय दोनों में उत्पाद चक्रों के प्रतिच्छेदन का वर्णन करते हैं।
 
एक समतल जटिल प्रक्षेपी विविधता के लिए, चाउ वलय से सामान्य कोहोलॉजी कारकों के चक्र मानचित्र को एक समृद्ध सिद्धांत, [[ डेलिग्ने कोहोलॉजी ]] के माध्यम से।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 1, section 12.3.3; v. 2, Theorem 9.24.</ref> इसमें एबेल-जैकोबी मानचित्र शामिल है जो चक्रों से समरूप रूप से शून्य से [[ मध्यवर्ती जैकोबियन ]] के बराबर है। [[ घातीय अनुक्रम ]] से पता चलता है कि सीएच<sup>1</sup>(X) आइसोमॉर्फिक रूप से Deligne cohomology के लिए मैप करता है, लेकिन यह CH के लिए विफल रहता है<sup>j</sup>(X) j > 1 के साथ।
 
एक मनमाना क्षेत्र k पर एक योजना X के लिए, चाउ समूहों से (बोरेल-मूर) [[ एटेल कोहोलॉजी ]] के लिए एक समान चक्र मानचित्र है। जब X, k पर चिकना होता है, तो इस समरूपता को चाउ वलय से लेकर ईटेल कोहोलॉजी तक वलय होमोमोर्फिज्म से पहचाना जा सकता है।<ref>Deligne, Cohomologie Etale (SGA 4 1/2), Expose 4.</ref>


एक समतल जटिल प्रक्षेपी विविधता के लिए, चाउ वलय से सामान्य कोहोलॉजी कारकों के चक्र मानचित्र को एक समृद्ध सिद्धांत,[[ डेलिग्ने कोहोलॉजी | डेलिग्ने कोहोलॉजी]]  के माध्यम से।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 1, section 12.3.3; v. 2, Theorem 9.24.</ref> इसमें एबेल-जैकोबी मानचित्र सम्मिलित है, जो चक्रों से समरूप से शून्य से  [[ मध्यवर्ती जैकोबियन |मध्यवर्ती जैकोबियन]]  के बराबर होता है। तथा  [[ घातीय अनुक्रम |घातीय अनुक्रम]]  से पता चलता है कि, CH1(X) समरूप रूप से डेलिग्न कोहोलॉजी के लिए मैप करता है, लेकिन वह j > 1 के साथ CHj(X) के लिए विफल रहता है।


== के-सिद्धांत से संबंध ==
एक यादृच्छिक क्षेत्र k पर एक योजना X के लिए, चाउ समूहों से (बोरेल-मूर) [[ एटेल कोहोलॉजी |एटेल कोहोलॉजी]]  के लिए एक समान चक्र मानचित्र है। जब X, k पर समतल होता है, तो इस समरूपता को चाउ वलय से इटेल कोहोलॉजी तक वलय होमोमोर्फिज्म से पहचाना जा सकता है।<ref>Deligne, Cohomologie Etale (SGA 4 1/2), Expose 4.</ref>
एक क्षेत्र पर एक समतल योजना एक्स पर एक (बीजीय) [[ वेक्टर बंडल ]] ई में [[ चेर्न वर्ग ]] सी है<sub>''i''</sub>(ई) सीएच में<sup>i</sup>(X), टोपोलॉजी के समान औपचारिक गुणों के साथ।<ref>Fulton, Intersection Theory, section 3.2 and Example 8.3.3.</ref> चर्न वर्ग सदिश बंडलों और चाउ समूहों के बीच घनिष्ठ संबंध प्रदान करते हैं। अर्थात्, चलो के<sub>0</sub>(X) X पर वेक्टर बंडलों का [[ ग्रोथेंडिक समूह ]] हो। ग्रोथेंडिक-रीमैन-रोच प्रमेय के हिस्से के रूप में, [[ अलेक्जेंडर ग्रोथेंडिक ]] ने दिखाया कि [[ चेर्न चरित्र ]] एक समरूपता देता है
== के(K)-सिद्धांत से संबंध ==
एक बीजगणितीय  [[ वेक्टर बंडल |सदिश बंडल]]  E एक क्षेत्र पर एक समतल योजना X पर ''CH<sup>i</sup>''(''X'') में [[ चेर्न वर्ग |चेर्न वर्ग]] ''c<sub>i</sub>''(''E'') है, जिसमें टोपोलॉजी के समान औपचारिक गुण हैं।<ref>Fulton, Intersection Theory, section 3.2 and Example 8.3.3.</ref> चर्न वर्ग सदिश बंडलों और चाउ समूहों के बीच घनिष्ठ संबंध प्रदान करते हैं। अर्थात, ''K''<sub>0</sub>(''X'') को X पर वेक्टर बंडलों का [[ ग्रोथेंडिक समूह |ग्रोथेंडिक समूह]] होने दें। ग्रोथेंडिक-रीमैन-रोच प्रमेय के हिस्से के रूप में, [[ अलेक्जेंडर ग्रोथेंडिक |अलेक्जेंडर ग्रोथेंडिक]] ने दिखाया कि [[ चेर्न चरित्र |चेर्न चरित्र]] एक समरूपता देता है।
:<math>K_0(X)\otimes_{\mathbf{Z}}\mathbf{Q} \cong \prod_i \mathit{CH}^i(X)\otimes_{\mathbf{Z}}\mathbf{Q}.</math>
:<math>K_0(X)\otimes_{\mathbf{Z}}\mathbf{Q} \cong \prod_i \mathit{CH}^i(X)\otimes_{\mathbf{Z}}\mathbf{Q}.</math>
बीजगणितीय चक्रों पर किसी अन्य [[ पर्याप्त तुल्यता संबंध ]] की तुलना में यह तुल्याकारिता तर्कसंगत तुल्यता के महत्व को दर्शाती है।
बीजगणितीय चक्रों पर किसी अन्य [[ पर्याप्त तुल्यता संबंध ]] की तुलना में यह तुल्याकारिता तार्किक तुल्यता के महत्व को दर्शाती है।


== अनुमान ==
== अनुमान ==
Line 126: Line 116:
*मोर्डेल-वील प्रमेय का अर्थ है कि विभाजक वर्ग समूह CHn-1(X) किसी संख्या क्षेत्र पर आयाम n के किसी भी किस्म X के लिए परिमित रूप से उत्पन्न होता है। यह एक संवृत समस्या है, कि क्या सभी चाउ समूह एक संख्या क्षेत्र में प्रत्येक किस्म के लिए सूक्ष्म रूप से उत्पन्न होते हैं। [[ एल-फ़ंक्शंस के विशेष मूल्य |एल-फलन के मानों]] पर  [[ स्पेंसर बलोच |बलोच-काटो]]  अनुमान पूर्वाकलन करता है, कि ये समूह सूक्ष्म रूप से उत्पन्न होते हैं। इसके अतिरिक्त चक्रों के समूह का रैंक मॉडुलो होमोलॉजिकल तुल्यता, और चक्रों के समूह का भी सामान्य रूप से शून्य के बराबर है, निश्चित पूर्णांक बिंदुओं पर दी गई विविधता के एल-फलन के लुप्त होने के क्रम के बराबर होना चाहिए। बीजगणितीय k-सिद्धांत में  [[ बास अनुमान |बास अनुमान]]  से इन रैंकों की परिमितता का भी पालन होगा।
*मोर्डेल-वील प्रमेय का अर्थ है कि विभाजक वर्ग समूह CHn-1(X) किसी संख्या क्षेत्र पर आयाम n के किसी भी किस्म X के लिए परिमित रूप से उत्पन्न होता है। यह एक संवृत समस्या है, कि क्या सभी चाउ समूह एक संख्या क्षेत्र में प्रत्येक किस्म के लिए सूक्ष्म रूप से उत्पन्न होते हैं। [[ एल-फ़ंक्शंस के विशेष मूल्य |एल-फलन के मानों]] पर  [[ स्पेंसर बलोच |बलोच-काटो]]  अनुमान पूर्वाकलन करता है, कि ये समूह सूक्ष्म रूप से उत्पन्न होते हैं। इसके अतिरिक्त चक्रों के समूह का रैंक मॉडुलो होमोलॉजिकल तुल्यता, और चक्रों के समूह का भी सामान्य रूप से शून्य के बराबर है, निश्चित पूर्णांक बिंदुओं पर दी गई विविधता के एल-फलन के लुप्त होने के क्रम के बराबर होना चाहिए। बीजगणितीय k-सिद्धांत में  [[ बास अनुमान |बास अनुमान]]  से इन रैंकों की परिमितता का भी पालन होगा।
* एक समतल जटिल प्रक्षेपी विविधता x के लिए, [[ हॉज अनुमान |हॉज अनुमान]]  चाउ समूहों से एकवचन कोहोलॉजी के लिए चक्र मानचित्र की छवि (तर्कों Q के साथ  [[ टेंसर उत्पाद |टेंसर उत्पाद]]) की पूर्वाकलन करता है। एक सूक्ष्म रूप से उत्पन्न क्षेत्र (जैसे एक [[ परिमित क्षेत्र |परिमित क्षेत्र]]  या संख्या क्षेत्र) पर एक समतल प्रक्षेप्य विविधता के लिए, [[ टेट अनुमान |टेट अनुमान]]  चाउ समूहों से  [[ एल-एडिक कोहोलॉजी |एल-एडिक कोहोलॉजी]]  के चक्र मानचित्र की छवि ('''Q'''<sub>''l''</sub> के साथ तन्यता) का पूर्वाकलन करता है।
* एक समतल जटिल प्रक्षेपी विविधता x के लिए, [[ हॉज अनुमान |हॉज अनुमान]]  चाउ समूहों से एकवचन कोहोलॉजी के लिए चक्र मानचित्र की छवि (तर्कों Q के साथ  [[ टेंसर उत्पाद |टेंसर उत्पाद]]) की पूर्वाकलन करता है। एक सूक्ष्म रूप से उत्पन्न क्षेत्र (जैसे एक [[ परिमित क्षेत्र |परिमित क्षेत्र]]  या संख्या क्षेत्र) पर एक समतल प्रक्षेप्य विविधता के लिए, [[ टेट अनुमान |टेट अनुमान]]  चाउ समूहों से  [[ एल-एडिक कोहोलॉजी |एल-एडिक कोहोलॉजी]]  के चक्र मानचित्र की छवि ('''Q'''<sub>''l''</sub> के साथ तन्यता) का पूर्वाकलन करता है।
* किसी भी क्षेत्र पर समतल प्रक्षेपी किस्म x के लिए, [[ सिकंदर हो मैं बेटा |बलोच-बेइलिन्सन]]  अनुमान मजबूत गुणों के साथ x के चाउ समूहों (तर्कसंगत के साथ तन्यता) पर एक निस्पंदन की पूर्वाकलन करता है।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Conjecture 11.21.</ref> अनुमान x के अद्वितीय या ईटेल कोहोलॉजी और x के चाउ समूहों के बीच एक तंग संबंध का संकेत देता है।  
* किसी भी क्षेत्र पर समतल प्रक्षेपी किस्म x के लिए, [[ सिकंदर हो मैं बेटा |बलोच-बेइलिन्सन]]  अनुमान मजबूत गुणों के साथ x के चाउ समूहों (तार्किक के साथ तन्यता) पर एक निस्पंदन की पूर्वाकलन करता है।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Conjecture 11.21.</ref> अनुमान x के अद्वितीय या ईटेल कोहोलॉजी और x के चाउ समूहों के बीच एक तंग संबंध का संकेत देता है।  


: उदाहरण के लिए, X को एक समतल जटिल प्रक्षेप्य सतह होने दें। एक्स मैप्स पर शून्य-चक्र का चाउ समूह डिग्री होमोमोर्फिज्म द्वारा पूर्णांकों पर K को कर्नेल होने दें। यदि [[ ज्यामितीय जीनस |ज्यामितीय जीनस]] ''h''<sup>0</sup>(''X'', Ω<sup>2</sup>) शून्य नहीं होता है, तो  [[ डेविड ममफोर्ड |डेविड ममफोर्ड]]  ने दिखाया कि, K अनंत-आयामी होते है, X पर शून्य-चक्रों के किसी परिमित-आयामी सहलक्षणीय का प्रतिरूप नहीं होता है।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Theorem 10.1.</ref> तथा बलोच-बेइलिनसन अनुमान एक संतोषजनक बातचीत का अर्थ होगा कि, ज्यामितीय जीनस शून्य के साथ समतल जटिल प्रक्षेपी सतह x के लिए, k परिमित-आयामी होना चाहिए एवं  अधिक सटीक रूप से इसे x के अल्बनीज किस्म के जटिल बिंदुओं के समूह के लिए आइसोमोर्फिक रूप से छायाचित्र करना चाहिए।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Ch. 11.</ref>
: उदाहरण के लिए, X को एक समतल जटिल प्रक्षेप्य सतह होने दें। एक्स मैप्स पर शून्य-चक्र का चाउ समूह डिग्री होमोमोर्फिज्म द्वारा पूर्णांकों पर K को कर्नेल होने दें। यदि [[ ज्यामितीय जीनस |ज्यामितीय जीनस]] ''h''<sup>0</sup>(''X'', Ω<sup>2</sup>) शून्य नहीं होता है, तो  [[ डेविड ममफोर्ड |डेविड ममफोर्ड]]  ने दिखाया कि, K अनंत-आयामी होते है, X पर शून्य-चक्रों के किसी परिमित-आयामी सहलक्षणीय का प्रतिरूप नहीं होता है।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Theorem 10.1.</ref> तथा बलोच-बेइलिनसन अनुमान एक संतोषजनक बातचीत का अर्थ होगा कि, ज्यामितीय जीनस शून्य के साथ समतल जटिल प्रक्षेपी सतह x के लिए, k परिमित-आयामी होना चाहिए एवं  अधिक सटीक रूप से इसे x के अल्बनीज किस्म के जटिल बिंदुओं के समूह के लिए आइसोमोर्फिक रूप से छायाचित्र करना चाहिए।<ref>Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Ch. 11.</ref>
Line 138: Line 128:
=== अन्य प्रकार ===
=== अन्य प्रकार ===


अंकगणितीय चाउ समूह Q से अधिक किस्मों के चाउ समूहों का एक समामेलन होता है, जिसमें एक घटक एन्कोडिंग अरकेलोव-सैद्धांतिक जानकारी है, जो कि संबंधित जटिल मैनिफोल्ड पर अंतर रूप होता है।
बिंदुगणितीय चाउ समूह Q से अधिक किस्मों के चाउ समूहों का एक समामेलन होता है, जिसमें एक घटक एन्कोडिंग अरकेलोव-सैद्धांतिक जानकारी है, जो कि संबंधित जटिल मैनिफोल्ड पर अंतर रूप होता है।


एक क्षेत्र पर परिमित प्रकार की योजनाओं के चाउ समूह का सिद्धांत सरलता पूर्वक बीजगणितीय रिक्त स्थान तक फैला हुआ है। इस विस्तार का मुख्य लाभ यह है कि बाद की श्रेणी में भागफल बनाना सरल होता है और इस प्रकार बीजगणितीय रिक्त स्थान के  [[ समतुल्य चाउ समूह |समतुल्य चाउ समूहों]]  पर विचार करना अधिक स्वाभाविक है। एक बहुत अधिक दुर्जेय विस्तार एक स्टैक का चाउ समूह है, जिसका निर्माण केवल कुछ विशेष स्थिति में किया गया है और विशेष रूप से एक  [[ आभासी मौलिक वर्ग |आभासी मौलिक वर्ग]]  की समझ बनाने के लिए इसकी आवश्यकता होती है।
एक क्षेत्र पर परिमित प्रकार की योजनाओं के चाउ समूह का सिद्धांत सरलता पूर्वक बीजगणितीय रिक्त स्थान तक फैला हुआ है। इस विस्तार का मुख्य लाभ यह है कि बाद की श्रेणी में भागफल बनाना सरल होता है और इस प्रकार बीजगणितीय रिक्त स्थान के  [[ समतुल्य चाउ समूह |समतुल्य चाउ समूहों]]  पर विचार करना अधिक स्वाभाविक है। एक बहुत अधिक दुर्जेय विस्तार एक स्टैक का चाउ समूह है, जिसका निर्माण केवल कुछ विशेष स्थिति में किया गया है और विशेष रूप से एक  [[ आभासी मौलिक वर्ग |आभासी मौलिक वर्ग]]  की समझ बनाने के लिए इसकी आवश्यकता होती है।


== इतिहास ==
== इतिहास ==
19वीं शताब्दी के दौरान विभाजकों की तर्कसंगत तुल्यता को रेखीय तुल्यता के रूप में जाना जाता है। एवं इसका विभिन्न रूपों में अध्ययन किया गया, जिससे संख्या सिद्धांत में  [[ आदर्श वर्ग समूह |आदर्श वर्ग समूह]]  और बीजगणितीय वक्रों के सिद्धांत में जैकोबियन विविधता का मार्ग प्रशस्त हुआ। उच्च-कोडिमेंशन चक्रों के लिए, 1930 के दशक में  [[ फ्रांसिस सेवेरी |फ्रांसेस्को सेवेरी]]  द्वारा तर्कसंगत तुल्यता प्रस्तुत की गई थी। 1956 में, वेई-लियांग चाउ ने एक प्रभावशाली प्रमाण दिया कि, चाउ के मूविंग लेम्मा का उपयोग करते हुए प्रतिच्छेदन उत्पाद एक समतल अर्ध-प्रक्षेपी विविधता के लिए चक्र सापेक्ष तर्कसंगत तुल्यता पर अच्छी तरह से परिभाषित है। 1970 के दशक में प्रारम्भ करते हुए, फुल्टन और मैकफर्सन ने चाउ समूहों के लिए वर्तमान मानक आधार दिया, जहाँ भी संभव अद्वितीय किस्मों के साथ काम करना उनके सिद्धांत में, समतल किस्मों के लिए प्रतिच्छेदन उत्पाद का निर्माण सामान्य शंकु के विरूपण द्वारा किया जाता है।<ref>Fulton, Intersection Theory, Chapters 5, 6, 8.</ref>
19वीं शताब्दी के दौरान विभाजकों की तार्किक तुल्यता को रेखीय तुल्यता के रूप में जाना जाता है। एवं इसका विभिन्न रूपों में अध्ययन किया गया, जिससे संख्या सिद्धांत में  [[ आदर्श वर्ग समूह |आदर्श वर्ग समूह]]  और बीजगणितीय वक्रों के सिद्धांत में जैकोबियन विविधता का मार्ग प्रशस्त हुआ। उच्च-कोडिमेंशन चक्रों के लिए, 1930 के दशक में  [[ फ्रांसिस सेवेरी |फ्रांसेस्को सेवेरी]]  द्वारा तार्किक तुल्यता प्रस्तुत की गई थी। 1956 में, वेई-लियांग चाउ ने एक प्रभावशाली प्रमाण दिया कि, चाउ के मूविंग लेम्मा का उपयोग करते हुए प्रतिच्छेदन उत्पाद एक समतल अर्ध-प्रक्षेपी विविधता के लिए चक्र सापेक्ष तार्किक तुल्यता पर अच्छी तरह से परिभाषित है। 1970 के दशक में प्रारम्भ करते हुए, फुल्टन और मैकफर्सन ने चाउ समूहों के लिए वर्तमान मानक आधार दिया, जहाँ भी संभव अद्वितीय किस्मों के साथ काम करना उनके सिद्धांत में, समतल किस्मों के लिए प्रतिच्छेदन उत्पाद का निर्माण सामान्य शंकु के विरूपण द्वारा किया जाता है।<ref>Fulton, Intersection Theory, Chapters 5, 6, 8.</ref>
== यह भी देखें ==
== यह भी देखें ==
* प्रतिच्छेदन सिद्धांत
* प्रतिच्छेदन सिद्धांत
Line 180: Line 170:
श्रेणी:चीनी गणितीय खोजें|झोउ, वेइलियांग
श्रेणी:चीनी गणितीय खोजें|झोउ, वेइलियांग


 
[[Category:Articles with short description]]
[[Category: Machine Translated Page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 14/11/2022]]
[[Category:Created On 14/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Short description with empty Wikidata description]]

Latest revision as of 14:26, 24 November 2022

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

तार्किक तुल्यता और चाउ समूह

निम्नलिखित के लिए, पर परिमित प्रकार की एक अभिन्न योजना होने के लिए . क्षेत्र पर विविधता को परिभाषित करता है, तथा किसी भी योजना के लिए पर परिमित प्रकार पर बीजगणितीय चक्र का अर्थ पूर्णांक गुणांक के साथ की उप-किस्मों का एक परिमित रैखिक संयोजन है। और नीचे उप-किस्मों को में विवृत समझा जाता है, जब तक कुछ और ना बताया जाये कि, एक प्राकृतिक संख्या के लिए , समूह का -आयामी चक्र या -चक्र, संक्षेप में प्रारम्भ के समुच्चय पर मुक्त एबेलियन समूह है, की आयामी उपकिस्म होती है।

एक प्रकार के लिए आयाम का और बीजीय क़िस्म का कोई भी कार्य क्षेत्र पर जो समान रूप से शून्य का विभाजक नहीं है, बीजगणितीय ज्यामिति होता है -चक्र

जहां योग सभी -आयामी उप-वर्गों का और पूर्णांक के साथ के लुप्त होने के क्रम को दर्शाता है। इस प्रकार ऋणात्मक है, यदि के पास लुप्त होने के क्रम की परिभाषा के लिए अद्वितीय मे कुछ संरक्षण की आवश्यकता होती है।[1]

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

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

परिमेय तुल्यता के उदाहरण

प्रक्षेपीय स्थान पर तार्किक तुल्यता

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

प्रक्षेपण का उपयोग करके हम एक बिंदु पर फाइबर को देख सकते हैं प्रक्षेपण हाइपरसफेस द्वारा परिभाषित किया गया है। . इसका उपयोग यह दिखाने के लिए किया जा सकता है कि डिग्री के प्रत्येक हाइपरसफेस का चक्र वर्ग तार्किक रूप से के समतुल्य है। , चूँकि का उपयोग तार्किक तुल्यता स्थापित करने के लिए किया जा सकता है। ध्यान दें कि है तथा बिन्दुपथ और इसकी बहुलता , है जो इसके चक्र वर्ग का गुणांक होता है।

एक वक्र पर चक्रों की तार्किक तुल्यता

अगर हम दो अलग लाइन बंडलो को लेते हैं, तो एक समतल प्रक्षेपी वक्र के , फिर दोनों लाइन बंडलों के एक सामान्य खंड का लुप्त बिन्दुपथ गैर-समतुल्य चक्र वर्गों को परिभाषित करता है, ऐसा इसलिए होता है क्योंकि समतल किस्मों के लिए समतल किस्मों के लिए, इसलिए भाजक वर्ग तथा असमान वर्गों को परिभाषित करता है।

चाउ वलय

जब योजना क्षेत्र के पर समतल होती है, तो चाउ समूह एक वलय बनाते हैं, न कि केवल एक ग्रेडेड एबेलियन समूह। अर्थात्, जब , ,पर समतल होता है, को चाऊ समूह के रूप में परिभाषित करता है, चक्र पर जब कई तरह के आयाम होता है, इसका साधारण सा अर्थ यह होता है कि, ।) फिर समूह उत्पाद के साथ एक विनिमेय वर्गीकृत वलय बनाएं।

उत्पाद बीजगणितीय चक्रों को काटने से उत्पन्न होता है। उदाहरण के लिए, यदि तथा समतल उप-किस्म हैं। तो अनुप्रस्थ का तथा क्रमशः और यदि तथा का प्रतिच्छेदन करते हैं, फिर मे उत्पाद प्रतिच्छेदन के अपरिवर्तनीय घटकों का योग है, जिसमें सभी का आयाम होता है।

सामान्य रूप से विभिन्न स्थितियों में प्रतिच्छेदन सिद्धांत एक स्पष्ट चक्र का निर्माण करता है, जो चाउ वलय में उत्पाद का प्रतिनिधित्व करता है। उदाहरण के लिए, यदि तथा पूरक आयाम की उप-किस्मयां हैं, जिसका अर्थ है कि उनके आयाम के आयामों का योग आयाम के बराबर है। जिनके प्रतिच्छेदन का आयाम शून्य होता है, तो प्रतिच्छेदन संख्या कहे जाने वाले गुणांक वाले प्रतिच्छेदन बिंदुओं के योग के बराबर होता है। किसी भी उप-किस्म के लिए तथा एक समतल योजना के ऊपर , प्रतिच्छेदन आयाम पर कोई धारणा नहीं होने के कारण विलियम फुल्टन (गणितज्ञ) और रॉबर्ट मैकफर्सन (गणितज्ञ) का प्रतिच्छेदन सिद्धांत चाउ समूहों के एक विहित तत्व का निर्माण करता है, जिसकी प्रतिरूप के चाउ समूहों में उत्पाद है। .[2]

उदाहरण

प्रक्षेप्य स्थान

प्रक्षेपण स्थान की चाउ वलय किसी भी क्षेत्र पर वलय है।

जहाँ एक अधिसमतल (एकल रैखिक फलन का शून्य स्थान)का वर्ग है। इसके अतिरिक्त किसी भी उप-किस्म एक प्रक्षेपी किस्म की डिग्री और आयाम प्रक्षेपण स्थान में तार्किक रूप से के समकक्ष है। यह इस प्रकार है कि, किन्हीं दो उप-किस्मों के लिए तथा में पूरक आयाम का और डिग्री , , क्रमशः चाउ वलय में उनका उत्पाद सरल होता है।

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

प्रक्षेपण बंडल सूत्र

एक सदिश बंडल रैंक का एक समतल उचित योजना पर एक क्षेत्र के ऊपर, संबंधित प्रक्षेप्यबंडल की चाउ वलय की गणना के चाउ वलय और के चेर्न वर्ग का उपयोग करके की जा सकती है। यदि हम तथा की चेर्न वर्ग वलयों की एक समरूपता होती है।


हिरजेब्रूच सतह

उदाहरण के लिए, एक हिरजेब्रुक सतह के चाउ वलय को प्रक्षेपण बंडल सूत्र का उपयोग करके सरलता से गणना की जा सकती है। याद करें कि इसे ऊपर फिर, इस सदिश बंडल का एकमात्र गैर-तुच्छ चेर्न वर्ग है। इसका तात्पर्य है कि, चाउ वलय समरूपी होता है।


टिप्पणी

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

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

क्रियात्मकता

योजनाओं के लिए से अधिक के उचित आकारिकी के लिए, एक होमोमोर्फिज्म समरूपता है। प्रत्येक पूर्णांक के लिए . उदाहरण के लिए, पूरी विविधता के लिए ऊपर , यह एक समरूपता प्रदान करता है , जो में एक विवृत बिंदु को . से ऊपर की डिग्री तक ले जाता है। में एक विवृत बिंदु का रूप एक परिमित विस्तार क्षेत्र के लिए है , और इसकी डिग्री का अर्थ पर क्षेत्र की डिग्री है।

आयाम (संभवत: खाली) के तंतुओं के साथ से अधिक योजनाओं के समतल आकारिकी के लिए, गाइसिन समरूपता होती है।

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

जहां पहला समरूपी उचित आकारिकी से जुड़ा पुशफॉरवर्ड है ,और दूसरी समरूपता समतल आकारिता के संबंध में पुलबैक है। [3] चाउ समूह, (बोरेल-मूर) प्रेरक होमोलॉजी समूह,या उच्च चाउ समूह के रूप में भी जाना जाता है, इसके सामान्यीकरण का उपयोग करके स्थानीयकरण अनुक्रम को बाईं ओर बढ़ाया जा सकता है।[4]

किसी भी आकारिता के लिए सुचारू योजनाओं की समाप्ति , एक पुलबैक समरूपता है , जो वास्तव में एक .वलय समरूपी होता है।

समतल पुलबैक के उदाहरण

ध्यान दें कि ब्लोअप का उपयोग करके गैर-उदाहरणों का निर्माण किया जा सकता है। उदाहरण के लिए, यदि हम में उत्पत्ति के विस्फोट को लेते हैं। तो मूल पर फाइबर .के लिए समरूप होता है।

वक्रों का शाखित आवरण

वक्रों के शाखित आवरण पर विचार करें

चूंकि जब भी आकारिकी विस्तृत होती है, हमें एक गुणनखंड मिलता है

जहां . में से एक, इसका तात्पर्य यह है कि बिंदु बहुलता है क्रमश। बिंदु का समतल पुलबैक होता है।

किस्मों का समतल परिवार

एक समतल सहलक्षणीय किस्मों पर विचार करना

और एक उप प्रकार . फिर, कार्तीय वर्ग का उपयोग करना

हम देखते हैं, कि प्रतिरूप की एक उप-किस्म है . इसलिए, हमारे पास है


चक्र मानचित्र

चाउ समूह से लेकर अधिक संगणनीय सिद्धांतों तक कई समरूपता (चक्र मानचित्र के रूप में जाना जाता है) हैं।

सबसे पहले, एक योजना X के लिए जटिल संख्याओं पर, चाउ समूहों से बोरेल-मूर समरूपता के लिए एक समरूपता है। [5]

2 का गुणक प्रकट होता है, क्योंकि X की i-आयामी उप-किस्म का वास्तविक आयाम 2i होता है। जब x सम्मिश्र संख्याओं पर सहज होता है, तो इस चक्र मानचित्र को एक समरूपता के रूप में पॉइंकेयर द्वैत का उपयोग करके फिर से लिखा जा सकता है।

इस स्थिति में (C पर X सहज), ये होमोमोर्फिज्म चाउ वलय से कोहोलॉजी वलय तक वलय होमोमोर्फिज्म बनाते हैं। सहज रूप से, यह इसलिए है क्योंकि चाउ वलय और कोहोलॉजी वलय दोनों में उत्पाद चक्रों के प्रतिच्छेदन का वर्णन करते हैं।

एक समतल जटिल प्रक्षेपी विविधता के लिए, चाउ वलय से सामान्य कोहोलॉजी कारकों के चक्र मानचित्र को एक समृद्ध सिद्धांत, डेलिग्ने कोहोलॉजी के माध्यम से।[6] इसमें एबेल-जैकोबी मानचित्र सम्मिलित है, जो चक्रों से समरूप से शून्य से मध्यवर्ती जैकोबियन के बराबर होता है। तथा घातीय अनुक्रम से पता चलता है कि, CH1(X) समरूप रूप से डेलिग्न कोहोलॉजी के लिए मैप करता है, लेकिन वह j > 1 के साथ CHj(X) के लिए विफल रहता है।

एक यादृच्छिक क्षेत्र k पर एक योजना X के लिए, चाउ समूहों से (बोरेल-मूर) एटेल कोहोलॉजी के लिए एक समान चक्र मानचित्र है। जब X, k पर समतल होता है, तो इस समरूपता को चाउ वलय से इटेल कोहोलॉजी तक वलय होमोमोर्फिज्म से पहचाना जा सकता है।[7]

के(K)-सिद्धांत से संबंध

एक बीजगणितीय सदिश बंडल E एक क्षेत्र पर एक समतल योजना X पर CHi(X) में चेर्न वर्ग ci(E) है, जिसमें टोपोलॉजी के समान औपचारिक गुण हैं।[8] चर्न वर्ग सदिश बंडलों और चाउ समूहों के बीच घनिष्ठ संबंध प्रदान करते हैं। अर्थात, K0(X) को X पर वेक्टर बंडलों का ग्रोथेंडिक समूह होने दें। ग्रोथेंडिक-रीमैन-रोच प्रमेय के हिस्से के रूप में, अलेक्जेंडर ग्रोथेंडिक ने दिखाया कि चेर्न चरित्र एक समरूपता देता है।

बीजगणितीय चक्रों पर किसी अन्य पर्याप्त तुल्यता संबंध की तुलना में यह तुल्याकारिता तार्किक तुल्यता के महत्व को दर्शाती है।

अनुमान

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

  • मोर्डेल-वील प्रमेय का अर्थ है कि विभाजक वर्ग समूह CHn-1(X) किसी संख्या क्षेत्र पर आयाम n के किसी भी किस्म X के लिए परिमित रूप से उत्पन्न होता है। यह एक संवृत समस्या है, कि क्या सभी चाउ समूह एक संख्या क्षेत्र में प्रत्येक किस्म के लिए सूक्ष्म रूप से उत्पन्न होते हैं। एल-फलन के मानों पर बलोच-काटो अनुमान पूर्वाकलन करता है, कि ये समूह सूक्ष्म रूप से उत्पन्न होते हैं। इसके अतिरिक्त चक्रों के समूह का रैंक मॉडुलो होमोलॉजिकल तुल्यता, और चक्रों के समूह का भी सामान्य रूप से शून्य के बराबर है, निश्चित पूर्णांक बिंदुओं पर दी गई विविधता के एल-फलन के लुप्त होने के क्रम के बराबर होना चाहिए। बीजगणितीय k-सिद्धांत में बास अनुमान से इन रैंकों की परिमितता का भी पालन होगा।
  • एक समतल जटिल प्रक्षेपी विविधता x के लिए, हॉज अनुमान चाउ समूहों से एकवचन कोहोलॉजी के लिए चक्र मानचित्र की छवि (तर्कों Q के साथ टेंसर उत्पाद) की पूर्वाकलन करता है। एक सूक्ष्म रूप से उत्पन्न क्षेत्र (जैसे एक परिमित क्षेत्र या संख्या क्षेत्र) पर एक समतल प्रक्षेप्य विविधता के लिए, टेट अनुमान चाउ समूहों से एल-एडिक कोहोलॉजी के चक्र मानचित्र की छवि (Ql के साथ तन्यता) का पूर्वाकलन करता है।
  • किसी भी क्षेत्र पर समतल प्रक्षेपी किस्म x के लिए, बलोच-बेइलिन्सन अनुमान मजबूत गुणों के साथ x के चाउ समूहों (तार्किक के साथ तन्यता) पर एक निस्पंदन की पूर्वाकलन करता है।[9] अनुमान x के अद्वितीय या ईटेल कोहोलॉजी और x के चाउ समूहों के बीच एक तंग संबंध का संकेत देता है।
उदाहरण के लिए, X को एक समतल जटिल प्रक्षेप्य सतह होने दें। एक्स मैप्स पर शून्य-चक्र का चाउ समूह डिग्री होमोमोर्फिज्म द्वारा पूर्णांकों पर K को कर्नेल होने दें। यदि ज्यामितीय जीनस h0(X, Ω2) शून्य नहीं होता है, तो डेविड ममफोर्ड ने दिखाया कि, K अनंत-आयामी होते है, X पर शून्य-चक्रों के किसी परिमित-आयामी सहलक्षणीय का प्रतिरूप नहीं होता है।[10] तथा बलोच-बेइलिनसन अनुमान एक संतोषजनक बातचीत का अर्थ होगा कि, ज्यामितीय जीनस शून्य के साथ समतल जटिल प्रक्षेपी सतह x के लिए, k परिमित-आयामी होना चाहिए एवं अधिक सटीक रूप से इसे x के अल्बनीज किस्म के जटिल बिंदुओं के समूह के लिए आइसोमोर्फिक रूप से छायाचित्र करना चाहिए।[11]

वेरिएंट (रूपांतर)

द्विचर सिद्धांत

विलियन फुल्टन और मैकफ़र्सन ने संक्रियात्मक चाउ वलय को परिभाषित करके चाउ वलय को अद्वितीय किस्मों तक बढ़ाया और सामान्य रूप से योजनाओं के किसी भी आकारिता से जुड़े एक द्विपरिवर्ती सिद्धांत को परिभाषित किया।[12] द्विपरिवर्तक सिद्धांत सहसंयोजक और प्रतिपरिवर्ती कार्यकर्ताओं की एक जोड़ी होती है, जो एक मानचित्र को क्रमशः एक समूह और एक वलय प्रदान करता है। यह एक कोहोलॉजी सिद्धांत को सामान्यीकृत करता है, जो कि एक विरोधाभासी कार्यकर्ता होता है, तथा अंतरिक्ष वलय अर्थात् एक सह-विज्ञान की वलय प्रदान करता है। बिवेरिएंट नाम इस तथ्य को यह संदर्भित करता है कि सिद्धांत में सहपरिवर्ती और प्रतिपरिवर्ती दोनों प्रकार के कारक सम्मिलित हैं।[13]

यह एक अर्थ में चाउ वलय का अद्वितीय किस्मों के लिए सबसे प्रारंभिक विस्तार है। अन्य सिद्धांत जैसे मोटिविक कोहोलॉजी मैप टू संक्रियात्मक चाउ वलय आदि।[14]

अन्य प्रकार

बिंदुगणितीय चाउ समूह Q से अधिक किस्मों के चाउ समूहों का एक समामेलन होता है, जिसमें एक घटक एन्कोडिंग अरकेलोव-सैद्धांतिक जानकारी है, जो कि संबंधित जटिल मैनिफोल्ड पर अंतर रूप होता है।

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

इतिहास

19वीं शताब्दी के दौरान विभाजकों की तार्किक तुल्यता को रेखीय तुल्यता के रूप में जाना जाता है। एवं इसका विभिन्न रूपों में अध्ययन किया गया, जिससे संख्या सिद्धांत में आदर्श वर्ग समूह और बीजगणितीय वक्रों के सिद्धांत में जैकोबियन विविधता का मार्ग प्रशस्त हुआ। उच्च-कोडिमेंशन चक्रों के लिए, 1930 के दशक में फ्रांसेस्को सेवेरी द्वारा तार्किक तुल्यता प्रस्तुत की गई थी। 1956 में, वेई-लियांग चाउ ने एक प्रभावशाली प्रमाण दिया कि, चाउ के मूविंग लेम्मा का उपयोग करते हुए प्रतिच्छेदन उत्पाद एक समतल अर्ध-प्रक्षेपी विविधता के लिए चक्र सापेक्ष तार्किक तुल्यता पर अच्छी तरह से परिभाषित है। 1970 के दशक में प्रारम्भ करते हुए, फुल्टन और मैकफर्सन ने चाउ समूहों के लिए वर्तमान मानक आधार दिया, जहाँ भी संभव अद्वितीय किस्मों के साथ काम करना उनके सिद्धांत में, समतल किस्मों के लिए प्रतिच्छेदन उत्पाद का निर्माण सामान्य शंकु के विरूपण द्वारा किया जाता है।[15]

यह भी देखें

संदर्भ

उद्धरण

  1. Fulton. Intersection Theory, section 1.2 and Appendix A.3.
  2. Fulton, Intersection Theory, section 8.1.
  3. Fulton, Intersection Theory, Proposition 1.8.
  4. Bloch, Algebraic cycles and higher K-groups; Voevodsky, Triangulated categories of motives over a field, section 2.2 and Proposition 4.2.9.
  5. Fulton, Intersection Theory, section 19.1
  6. Voisin, Hodge Theory and Complex Algebraic Geometry, v. 1, section 12.3.3; v. 2, Theorem 9.24.
  7. Deligne, Cohomologie Etale (SGA 4 1/2), Expose 4.
  8. Fulton, Intersection Theory, section 3.2 and Example 8.3.3.
  9. Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Conjecture 11.21.
  10. Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Theorem 10.1.
  11. Voisin, Hodge Theory and Complex Algebraic Geometry, v. 2, Ch. 11.
  12. Fulton, Intersection Theory, Chapter 17.
  13. Fulton, William; MacPherson, Robert (1981). एकवचन स्थान के अध्ययन के लिए श्रेणीबद्ध ढांचा (in English). American Mathematical Society. ISBN 9780821822432.
  14. B. Totaro, Chow groups, Chow cohomology and linear varieties
  15. Fulton, Intersection Theory, Chapters 5, 6, 8.


परिचयात्मक

  • Eisenbud, David; Harris, Joe, 3264 and All That: A Second Course in Algebraic Geometry


उन्नत

वर्ग:बीजगणितीय ज्यामिति श्रेणी:प्रतिच्छेदन सिद्धांत श्रेणी:बीजीय ज्यामिति के टोपोलॉजिकल तरीके श्रेणी:चीनी गणितीय खोजें|झोउ, वेइलियांग