View source for चाउ समूह

{{short description|Analogs of homology groups for algebraic varieties}}
'''''[[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]]  में''''', किसी भी  [[ क्षेत्र (गणित) |क्षेत्र]]  पर एक बीजगणितीय किस्म (किस्म) के चाउ समूह  {{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>W</math> आयाम का <math>i+1</math> और बीजीय क़िस्म का कोई भी कार्य क्षेत्र <math>f</math> पर <math>W</math> जो समान रूप से शून्य का विभाजक नहीं है, बीजगणितीय ज्यामिति <math>f</math> होता है <math>i</math>-चक्र
:<math>(f) = \sum_Z \operatorname{ord}_Z (f) Z,</math>
जहां योग सभी <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>n</math> है, तो चाउ समूह <math>CH_{n-1}(X)</math> का  [[ भाजक वर्ग समूह |भाजक वर्ग समूह]]  है। जब <math>X</math>, <math>k</math>, पर समतल होता है, तो यह <math>X</math> पर  [[ उलटा शीफ |लाइन बंडलों]]  के [[ पिकार्ड समूह |पिकार्ड समूह]] के लिए आइसोमोर्फिक होता है।

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

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

<math>
X = \text{Proj}\left( \frac{\mathbb{C}[s,t][x_0,\ldots,x_n]}{(sf + tg)}\right) \hookrightarrow \mathbb{P}^1 \times \mathbb{P}^n
</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>X</math> क्षेत्र के  <math>k</math> पर समतल होती है, तो चाउ समूह एक वलय बनाते हैं, न कि केवल एक ग्रेडेड एबेलियन समूह। अर्थात्, जब  <math>X</math> , <math>k</math>,पर समतल होता  है,<math>CH^i(X)</math> को चाऊ समूह के रूप में परिभाषित करता है, <math>i</math> चक्र <math>X</math> पर जब <math>X</math> कई तरह के आयाम <math>n</math> होता है,  इसका साधारण सा अर्थ यह होता है कि, <math>CH^i(X) = CH_{n-i}(X)</math>।) फिर समूह <math>CH^*(X)</math> उत्पाद के साथ एक विनिमेय [[ वर्गीकृत अंगूठी | वर्गीकृत वलय]] बनाएं। 
:<math>CH^i(X) \times CH^j(X) \rightarrow CH^{i+j}(X).</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>X</math> के चाउ समूहों में उत्पाद <math>Y\cap Z</math>  है। <math>[Y][Z]</math>.<ref>Fulton, Intersection Theory, section 8.1.</ref>
== उदाहरण ==

=== [[ प्रक्षेप्य स्थान ]] ===
प्रक्षेपण स्थान की चाउ वलय <math>\mathbb P^n</math> किसी भी क्षेत्र पर <math>k</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>[Y] \cdot [Z] = a\, b\, H^n</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>
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><br />
==== हिरजेब्रूच सतह ====
उदाहरण के लिए, एक हिरजेब्रुक सतह के चाउ वलय को प्रक्षेपण बंडल सूत्र का उपयोग करके सरलता से गणना की जा सकती है। याद करें कि इसे <math>F_a = \mathbb{P}(\mathcal{O}\oplus\mathcal{O}(a))</math> ऊपर <math>\mathbb{P}^1</math> फिर, इस सदिश बंडल का एकमात्र गैर-तुच्छ चेर्न वर्ग  <math>c_1 = aH</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)}
</math><br />
=== टिप्पणी ===
अन्य बीजगणितीय किस्मों के लिए, चाउ समूहों में समृद्ध व्यवहार हो सकता है। उदाहरण के लिए, मान लें कि <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>X</math> के <math>X(k)</math> तार्किक बिंदुओं के समूह  <math>X(k)</math>  से निकटता से संबंधित है। जब <math>k</math> एक  [[ संख्या क्षेत्र |संख्या क्षेत्र]]  होता है, <math>X(k)</math> को <math>X</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>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>X</math> की एक विवृत उपयोजना <math>Z</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>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>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>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>f^*[\alpha] = e_1[\alpha] + \cdots + e_k[\alpha_k]</math>
==== किस्मों का समतल परिवार ====
एक समतल सहलक्षणीय किस्मों पर विचार करना 
:<math>X \to S</math>
और एक उप प्रकार <math>S' \subset S</math>. फिर, कार्तीय वर्ग का उपयोग करना
:<math>
\begin{matrix}
S'\times_{S} X & \to & X \\
\downarrow & & \downarrow \\
S' & \to & S
\end{matrix}
</math>
हम देखते हैं, कि प्रतिरूप <math>S'\times_{S} X</math> की एक उप-किस्म है <math>X</math>. इसलिए, हमारे पास है
:<math>f^*[S'] = [S'\times_S X]</math><br />
== चक्र मानचित्र ==
चाउ समूह से लेकर अधिक संगणनीय सिद्धांतों तक कई समरूपता (चक्र मानचित्र के रूप में जाना जाता है) हैं।

सबसे पहले, एक योजना X के लिए जटिल संख्याओं पर, चाउ समूहों से बोरेल-मूर समरूपता के लिए एक समरूपता है। <ref>Fulton, Intersection Theory, section 19.1</ref>
:<math>\mathit{CH}_i(X) \rightarrow H_{2i}^{BM}(X,\mathbf{Z}).</math>
2 का गुणक प्रकट होता है, क्योंकि X की i-आयामी उप-किस्म का वास्तविक आयाम 2i होता है। जब x  सम्मिश्र संख्याओं पर सहज होता है, तो इस चक्र मानचित्र को एक समरूपता के रूप में पॉइंकेयर द्वैत का उपयोग करके फिर से लिखा जा सकता है। 
:<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> इसमें एबेल-जैकोबी मानचित्र सम्मिलित है, जो चक्रों से समरूप से शून्य से  [[ मध्यवर्ती जैकोबियन |मध्यवर्ती जैकोबियन]]  के बराबर होता है। तथा  [[ घातीय अनुक्रम |घातीय अनुक्रम]]  से पता चलता है कि, 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 पर सदिश बंडलों का [[ ग्रोथेंडिक समूह ]] हो। ग्रोथेंडिक-रीमैन-रोच प्रमेय के हिस्से के रूप में, [[ अलेक्जेंडर ग्रोथेंडिक ]] ने दिखाया कि [[ चेर्न चरित्र ]] एक समरूपता देता है
:<math>K_0(X)\otimes_{\mathbf{Z}}\mathbf{Q} \cong \prod_i \mathit{CH}^i(X)\otimes_{\mathbf{Z}}\mathbf{Q}.</math>
बीजगणितीय चक्रों पर किसी अन्य [[ पर्याप्त तुल्यता संबंध ]] की तुलना में यह तुल्याकारिता तार्किक तुल्यता के महत्व को दर्शाती है।

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

*मोर्डेल-वील प्रमेय का अर्थ है कि विभाजक वर्ग समूह CHn-1(X) किसी संख्या क्षेत्र पर आयाम n के किसी भी किस्म X के लिए परिमित रूप से उत्पन्न होता है। यह एक संवृत समस्या है, कि क्या सभी चाउ समूह एक संख्या क्षेत्र में प्रत्येक किस्म के लिए सूक्ष्म रूप से उत्पन्न होते हैं। [[ एल-फ़ंक्शंस के विशेष मूल्य |एल-फलन के मानों]] पर  [[ स्पेंसर बलोच |बलोच-काटो]]  अनुमान पूर्वाकलन करता है, कि ये समूह सूक्ष्म रूप से उत्पन्न होते हैं। इसके अतिरिक्त चक्रों के समूह का रैंक मॉडुलो होमोलॉजिकल तुल्यता, और चक्रों के समूह का भी सामान्य रूप से शून्य के बराबर है, निश्चित पूर्णांक बिंदुओं पर दी गई विविधता के एल-फलन के लुप्त होने के क्रम के बराबर होना चाहिए। बीजगणितीय k-सिद्धांत में  [[ बास अनुमान |बास अनुमान]]  से इन रैंकों की परिमितता का भी पालन होगा।
* एक समतल जटिल प्रक्षेपी विविधता 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 को एक समतल जटिल प्रक्षेप्य सतह होने दें। एक्स मैप्स पर शून्य-चक्र का चाउ समूह डिग्री होमोमोर्फिज्म द्वारा पूर्णांकों पर 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>
== वेरिएंट (रूपांतर) ==

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

विलियन फुल्टन और मैकफ़र्सन ने संक्रियात्मक चाउ वलय को परिभाषित करके चाउ वलय को अद्वितीय किस्मों तक बढ़ाया और सामान्य रूप से योजनाओं के किसी भी आकारिता से जुड़े एक द्विपरिवर्ती सिद्धांत को परिभाषित किया।<ref>Fulton, Intersection Theory, Chapter 17.</ref> द्विपरिवर्तक सिद्धांत सहसंयोजक और प्रतिपरिवर्ती  [[ ऑपरेटर |कार्यकर्ताओं]]  की एक जोड़ी होती है, जो एक मानचित्र को क्रमशः एक  [[ समूह (गणित) |समूह]]  और एक वलय प्रदान करता है। यह एक  [[ कोहोलॉजी सिद्धांत |कोहोलॉजी सिद्धांत]]  को सामान्यीकृत करता है, जो कि एक विरोधाभासी कार्यकर्ता होता है, तथा अंतरिक्ष वलय अर्थात् एक सह-विज्ञान की वलय प्रदान करता है। बिवेरिएंट नाम इस तथ्य को यह संदर्भित करता है कि सिद्धांत में सहपरिवर्ती और प्रतिपरिवर्ती दोनों प्रकार के कारक सम्मिलित हैं।<ref>{{Cite book|url=https://books.google.com/books?id=pR7UCQAAQBAJ|title=एकवचन स्थान के अध्ययन के लिए श्रेणीबद्ध ढांचा|last=Fulton|first=William|last2=MacPherson|first2=Robert|date=1981|publisher=[[American Mathematical Society]]|isbn=9780821822432|language=en}}</ref>

यह एक अर्थ में चाउ वलय का अद्वितीय किस्मों के लिए सबसे प्रारंभिक विस्तार है। अन्य सिद्धांत जैसे मोटिविक कोहोलॉजी मैप टू संक्रियात्मक चाउ वलय आदि।<ref>B. Totaro, [https://www.math.ucla.edu/~totaro/papers/public_html/linear5.pdf Chow groups, Chow cohomology and linear varieties]</ref>
=== अन्य प्रकार ===

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

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

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

==संदर्भ==


=== उद्धरण ===
<references />


=== परिचयात्मक ===
* {{Citation | last1=Eisenbud | first1=David | last2=Harris | first2=Joe | title=3264 and All That: A Second Course in Algebraic Geometry }}


===उन्नत ===
* {{Citation | author1-first=Spencer | author1-last=Bloch | author1-link=Spencer Bloch | title=Algebraic cycles and higher ''K''-theory | year=1986 | journal=[[Advances in Mathematics]] | issn=0001-8708 | volume=61 | issue=3 | pages=267–304 | doi=10.1016/0001-8708(86)90081-2 | mr=0852815| doi-access=free }}
*{{citation|first=Chevalley|last= Claude 
|chapter=Les classes d'équivalence rationnelle, I|title=Anneaux de Chow et applications|series= Séminaire Claude Chevalley|volume= 3 |year=1958|issue= 2
|chapter-url= http://www.numdam.org/item?id=SCC_1958__3__A2_0}}
*{{citation|first=Chevalley|last= Claude 
|chapter=Les classes d'équivalence rationnelle, II|title=Anneaux de Chow et applications|series= Séminaire Claude Chevalley|volume= 3 |year=1958|issue= 3
|chapter-url= http://www.numdam.org/item?id=SCC_1958__3__A3_0}}
* {{Citation | last1=Chow | first1=Wei-Liang | author1-link=Wei-Liang Chow | title=On equivalence classes of cycles in an algebraic variety | year=1956 | journal=[[Annals of Mathematics]] | issn=0003-486X | volume=64 | pages=450–479 | doi=10.2307/1969596 | mr=0082173}}
* {{Citation | author1-first=Pierre | author1-last=Deligne | author1-link=Pierre Deligne | title=Cohomologie Etale (SGA 4 1/2) | publisher=[[Springer-Verlag]] | year=1977 | mr=0463174 | isbn=978-3-540-08066-4}}
* {{Citation | last1=Fulton | first1=William | author1-link=William Fulton (mathematician) | title=Intersection Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-98549-7 | mr=1644323 | year=1998 }}
* {{Citation | author1-first=Francesco | author1-last=Severi | author1-link=Francesco Severi | title=La serie canonica e la teoria delle serie principali di gruppi di punti sopra una superficie algebrica | journal=Commentarii Mathematici Helvetici | volume=4 | year=1932 | pages=268–326 | jfm=58.1229.01 | doi=10.1007/bf01202721}}
* {{Citation | author1-first=Vladimir | author1-last=Voevodsky | author1-link=Vladimir Voevodsky | chapter=Triangulated categories of motives over a field | title=Cycles, Transfers, and Motivic Homology Theories | pages=188–238 | publisher=[[Princeton University Press]] | year=2000 | mr=1764202 | isbn=9781400837120}}
*{{Citation | author1-first=Claire | author1-last=Voisin | author1-link=Claire Voisin | title=Hodge Theory and Complex Algebraic Geometry (2 vols.) | publisher=[[Cambridge University Press]] | year=2002 | isbn=978-0-521-71801-1 | mr=1997577}}
वर्ग:बीजगणितीय ज्यामिति
श्रेणी:प्रतिच्छेदन सिद्धांत
श्रेणी:बीजीय ज्यामिति के टोपोलॉजिकल तरीके
श्रेणी:चीनी गणितीय खोजें|झोउ, वेइलियांग


[[Category: Machine Translated Page]]
[[Category:Created On 14/11/2022]]