चाउ समूह

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

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

निम्नलिखित के लिए, एक क्षेत्र में विविधता को परिभाषित करें $k$ बीजगणितीय ज्यामिति की शब्दावली होना # बीजगणितीय ज्यामिति की शब्दावली की अभिन्न योजना (गणित) # परिमित प्रकार (स्थानीय रूप से) $k$. किसी भी योजना के लिए $X$ परिमित प्रकार का $k$, एक बीजीय चक्र पर $X$ का अर्थ है की उप-प्रजातियों का एक परिमित रैखिक संयोजन $X$ पूर्णांक गुणांक के साथ। (यहां और नीचे, उप-प्रजातियों को बंद समझा जाता है $X$, जब तक कि अन्यथा न कहा गया हो।) एक प्राकृतिक संख्या के लिए $i$, समूह $Z_{i}(X)$ का $i$-आयामी चक्र (या $i$-चक्र, संक्षेप में) चालू $X$ के सेट पर मुक्त एबेलियन समूह है $i$की आयामी उप-किस्में $X$.

एक किस्म के लिए $W$ आयाम का $i+1$ और बीजीय किस्म का कोई भी कार्य क्षेत्र $f$ पर $W$ जो समान रूप से शून्य नहीं है, का विभाजक (बीजगणितीय ज्यामिति)। $f$ है $i$-चक्र

$(f)=\sum _{Z}\operatorname {ord} _{Z}(f)Z,$

जहां योग सभी पर चलता है $i$-आयामी उप-किस्में $Z$ का $W$ और पूर्णांक $\operatorname {ord} _{Z}(f)$ के लुप्त होने के क्रम को दर्शाता है $f$ साथ-साथ $Z$. (इस प्रकार $\operatorname {ord} _{Z}(f)$ नकारात्मक है अगर $f$ साथ में एक पोल है $Z$।) लुप्त होने के क्रम की परिभाषा के लिए कुछ देखभाल की आवश्यकता है $W$ एकवचन। एक योजना के लिए $X$ परिमित प्रकार का $k$, का समूह $i$-चक्र तर्कसंगत रूप से शून्य के बराबर है का उपसमूह है $Z_{i}(X)$ चक्रों द्वारा उत्पन्न $(f)$ सभी के लिए $(i+1)$-आयामी उप-किस्में $W$ का $X$ और सभी गैर-शून्य तर्कसंगत कार्य $f$ पर $W$. चाउ समूह $CH_{i}(X)$ का $i$-आयामी चक्र चालू $X$ का भागफल समूह है $Z_{i}(X)$ चक्रों के उपसमूह द्वारा तर्कसंगत रूप से शून्य के बराबर। कभी कोई लिखता है $[Z]$ एक उपप्रकार के वर्ग के लिए $Z$ चाउ समूह में, और यदि दो उप-प्रजातियां $Z$ तथा $W$ पास होना $[Z]=[W]$, फिर $Z$ तथा $W$ तर्कसंगत रूप से समकक्ष कहा जाता है।

उदाहरण के लिए, कब $X$ आयाम की एक किस्म है $n$चाउ समूह $CH_{n-1}(X)$ का भाजक वर्ग समूह है $X$. कब $X$ चिकना है $k$, यह उलटा शीफ ​​के पिकार्ड समूह के लिए आइसोमोर्फिक है $X$.

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

प्रोजेक्टिव स्पेस पर तर्कसंगत तुल्यता

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

$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}$

प्रक्षेपण का उपयोग करना $\pi _{1}:X\to \mathbb {P} ^{1}$ हम फाइबर को एक बिंदु पर देख सकते हैं $[s_{0}:t_{0}]$ प्रोजेक्टिव हाइपरसफेस द्वारा परिभाषित किया गया है $s_{0}f+t_{0}g$. यह दिखाने के लिए इस्तेमाल किया जा सकता है कि डिग्री के हर हाइपरसफेस का चक्र वर्ग $d$ तर्कसंगत रूप से समतुल्य है $d[\mathbb {P} ^{n-1}]$, जबसे $sf+tx_{0}^{d}$ तर्कसंगत समानता स्थापित करने के लिए इस्तेमाल किया जा सकता है। ध्यान दें कि का ठिकाना $x_{0}^{d}=0$ है $\mathbb {P} ^{n-1}$ और इसकी बहुलता है $d$, जो इसके चक्र वर्ग का गुणांक है।

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

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

चाउ रिंग

जब योजना $X$ एक मैदान पर चिकना है $k$, चाउ समूह एक वलय (गणित) बनाते हैं, न कि केवल एक वर्गीकृत एबेलियन समूह। अर्थात्, कब $X$ चिकना है $k$, परिभाषित करना $CH^{i}(X)$ संहिता का चाउ समूह होना-$i$ चक्र चालू $X$. (कब $X$ आयाम की एक किस्म है $n$, इसका सीधा सा मतलब है कि $CH^{i}(X)=CH_{n-i}(X)$।) फिर समूह $CH^{*}(X)$ उत्पाद के साथ एक कम्यूटेटिव वर्गीकृत अंगूठी बनाएं:

$CH^{i}(X)\times CH^{j}(X)\rightarrow CH^{i+j}(X).$

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

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

उदाहरण

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

प्रोजेक्टिव स्पेस की चाउ रिंग $\mathbb {P} ^{n}$ किसी भी क्षेत्र पर $k$ अंगूठी है

$CH^{*}(\mathbb {P} ^{n})\cong \mathbf {Z} [H]/(H^{n+1}),$

कहाँ पे $H$ एक हाइपरप्लेन का वर्ग है (एकल रैखिक फ़ंक्शन का शून्य स्थान)। इसके अलावा, कोई भी उप-प्रजाति $Y$ एक प्रक्षेपी किस्म की डिग्री $d$ और कोडिमेंशन $a$ प्रोजेक्टिव स्पेस में तर्कसंगत रूप से समकक्ष है $dH^{a}$. यह इस प्रकार है कि किन्हीं दो उप-प्रजातियों के लिए $Y$ तथा $Z$ में पूरक आयाम का $\mathbb {P} ^{n}$ और डिग्री $a$, $b$, क्रमशः, चाउ रिंग में उनका उत्पाद बस है

$[Y]\cdot [Z]=a\,b\,H^{n}$

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

प्रोजेक्टिव बंडल फॉर्मूला

एक वेक्टर बंडल दिया गया $E\to X$ रैंक के $r$ एक चिकनी उचित योजना पर $X$ एक क्षेत्र के ऊपर, संबंधित प्रक्षेप्य बंडल की चाउ रिंग $\mathbb {P} (E)$ की चाउ रिंग का उपयोग करके गणना की जा सकती है $X$ और चेर्न वर्ग $E$. अगर हम जाने दें $\zeta =c_{1}({\mathcal {O}}_{\mathbb {P} (E)}(1))$ तथा $c_{1},\ldots ,c_{r}$ की चेर्न कक्षाएं $E$, फिर रिंगों का एक समरूपता है

$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}}}$

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

उदाहरण के लिए, एक हिरजेब्रुक सतह के चाउ रिंग को प्रोजेक्टिव बंडल फॉर्मूला का उपयोग करके आसानी से गणना की जा सकती है। याद रखें कि यह के रूप में बनाया गया है $F_{a}=\mathbb {P} ({\mathcal {O}}\oplus {\mathcal {O}}(a))$ ऊपर $\mathbb {P} ^{1}$. फिर, इस वेक्टर बंडल का एकमात्र गैर-तुच्छ चेर्न वर्ग है $c_{1}=aH$. इसका तात्पर्य है कि चाउ रिंग आइसोमॉर्फिक है

$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 )}}$

टिप्पणी

अन्य बीजगणितीय किस्मों के लिए, चाउ समूहों में समृद्ध व्यवहार हो सकता है। उदाहरण के लिए, चलो $X$ एक क्षेत्र के ऊपर एक अण्डाकार वक्र बनें $k$. फिर शून्य-चक्रों का चाउ समूह $X$ एक सटीक क्रम में फिट बैठता है

$0\rightarrow X(k)\rightarrow CH_{0}(X)\rightarrow \mathbf {Z} \rightarrow 0.$

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

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

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

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

चाउ समूहों के लिए एक प्रमुख कम्प्यूटेशनल उपकरण स्थानीयकरण अनुक्रम है, जो निम्नानुसार है। एक योजना के लिए $X$ एक मैदान के ऊपर $k$ और एक बंद उपयोजना $Z$ का $X$, एक सटीक क्रम है

$CH_{i}(Z)\rightarrow CH_{i}(X)\rightarrow CH_{i}(X-Z)\rightarrow 0,$

जहां पहला होमोमोर्फिज्म उचित आकारिकी से जुड़ा पुशफॉरवर्ड है $Z\to X$, और दूसरा होमोमोर्फिज्म फ्लैट मॉर्फिज्म के संबंध में पुलबैक है $X-Z\to X$. स्थानीयकरण अनुक्रम को चाउ समूहों के सामान्यीकरण का उपयोग करके बाईं ओर बढ़ाया जा सकता है, (बोरेल-मूर) प्रेरक कोहोलॉजी समूह, जिन्हें उच्च चाउ समूह भी कहा जाता है। किसी भी रूपवाद के लिए $f:X\to Y$ सुचारू योजनाओं की समाप्ति $k$, एक पुलबैक समरूपता है $f^{*}:CH^{i}(Y)\to CH^{i}(X)$, जो वास्तव में एक वलय समरूपता है $CH^{*}(Y)\to CH^{*}(X)$.

फ्लैट पुलबैक के उदाहरण

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

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

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

$f:\operatorname {Spec} \left({\frac {\mathbb {C} [x,y]}{(f(x)-g(x,y))}}\right)\to \mathbb {A} _{x}^{1}$

चूंकि रूपवाद जब भी विचरण करता है $f(\alpha )=0$ हमें एक गुणनखंड मिलता है

$g(\alpha ,y)=(y-a_{1})^{e_{1}}\cdots (y-a_{k})^{e_{k}}$

जहां में से एक $e_{i}>1$. इसका तात्पर्य यह है कि अंक $\{\alpha _{1},\ldots ,\alpha _{k}\}=f^{-1}(\alpha )$ बहुलता है $e_{1},\ldots ,e_{k}$ क्रमश। बिंदु का सपाट पुलबैक $\alpha$ तब है

$f^{*}[\alpha ]=e_{1}[\alpha ]+\cdots +e_{k}[\alpha _{k}]$

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

किस्मों के एक फ्लैट परिवार पर विचार करें

$X\to S$

और एक उपप्रकार $S'\subset S$. फिर, कार्तीय वर्ग का उपयोग करना

${\begin{matrix}S'\times _{S}X&\to &X\\\downarrow &&\downarrow \\S'&\to &S\end{matrix}}$

हम देखते हैं कि की छवि $S'\times _{S}X$ की एक उप-किस्म है $X$. इसलिए, हमारे पास है

$f^{*}[S']=[S'\times _{S}X]$

साइकिल के नक्शे

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

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

${\mathit {CH}}_{i}(X)\rightarrow H_{2i}^{BM}(X,\mathbf {Z} ).$

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

${\mathit {CH}}^{j}(X)\rightarrow H^{2j}(X,\mathbf {Z} ).$

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

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

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

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

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

$K_{0}(X)\otimes _{\mathbf {Z} }\mathbf {Q} \cong \prod _{i}{\mathit {CH}}^{i}(X)\otimes _{\mathbf {Z} }\mathbf {Q} .$

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

अनुमान

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

• मोर्डेल-वील प्रमेय का तात्पर्य है कि विभाजक वर्ग समूह सीएच_n-1(X) किसी संख्या क्षेत्र पर आयाम n के किसी भी किस्म X के लिए परिमित रूप से उत्पन्न होता है। यह एक खुली समस्या है कि क्या सभी चाउ समूह एक संख्या क्षेत्र में हर किस्म के लिए सूक्ष्म रूप से उत्पन्न होते हैं। एल-फ़ंक्शंस के विशेष मूल्य ों पर स्पेंसर बलोच -संख्या और संख्या अनुमान। एल-फ़ंक्शंस के मान भविष्यवाणी करते हैं कि ये समूह अंतिम रूप से उत्पन्न होते हैं। इसके अलावा, चक्र मॉड्यूलो होमोलॉजिकल समतुल्यता के समूह का रैंक, और चक्रों के समूह का समरूप रूप से शून्य के बराबर, निश्चित पूर्णांक बिंदुओं पर दी गई विविधता के एल-फ़ंक्शन के गायब होने के क्रम के बराबर होना चाहिए। बीजगणितीय के-सिद्धांत में बास अनुमान से इन रैंकों की परिमितता का भी पालन होगा।
• एक चिकनी जटिल प्रक्षेपी विविधता एक्स के लिए, हॉज अनुमान चाउ समूहों से एकवचन कोहोलॉजी के लिए चक्र मानचित्र की छवि (राशनिक 'क्यू' के साथ टेंसर उत्पाद ) की भविष्यवाणी करता है। एक सूक्ष्म रूप से उत्पन्न क्षेत्र (जैसे एक परिमित क्षेत्र या संख्या क्षेत्र) पर एक चिकनी प्रक्षेप्य विविधता के लिए, टेट अनुमान छवि की भविष्यवाणी करता है ('क्यू' के साथ टेंसर)_l) चाउ समूहों से एल-एडिक कोहोलॉजी के चक्र मानचित्र का।
• किसी भी क्षेत्र पर एक चिकनी प्रोजेक्टिव किस्म एक्स के लिए, स्पेंसर सिकंदर हो मैं बेटा अनुमान मजबूत गुणों के साथ एक्स के चाउ समूह (राशनल के साथ टेंसर) पर एक निस्पंदन की भविष्यवाणी करता है। अनुमान एक्स के एकवचन या ईटेल कोहोलॉजी और एक्स के चाउ समूहों के बीच एक तंग संबंध का संकेत देगा।

उदाहरण के लिए, X को एक चिकनी जटिल प्रक्षेप्य सतह होने दें। एक्स मैप्स पर शून्य-चक्र का चाउ समूह डिग्री होमोमोर्फिज्म द्वारा पूर्णांकों पर; K को कर्नेल होने दें। यदि ज्यामितीय जीनस एच⁰(एक्स, Ω²) शून्य नहीं है, डेविड ममफोर्ड ने दिखाया कि K अनंत-आयामी है (X पर शून्य-चक्र के किसी परिमित-आयामी परिवार की छवि नहीं)। बलोच-बेइलिनसन अनुमान एक संतोषजनक बातचीत का अर्थ होगा, शून्य-चक्र पर बलोच का अनुमान: ज्यामितीय जीनस शून्य के साथ एक चिकनी जटिल प्रोजेक्टिव सतह एक्स के लिए, के परिमित-आयामी होना चाहिए; अधिक सटीक रूप से, इसे 'एक्स' की अल्बनीज किस्म के जटिल बिंदुओं के समूह के लिए आइसोमोर्फिक रूप से मैप करना चाहिए।

वेरिएंट

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

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

अन्य प्रकार

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

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

इतिहास

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

यह भी देखें

• प्रतिच्छेदन सिद्धांत
• ग्रोथेंडिक-रिमेंन-रोच प्रमेय
• हॉज अनुमान
• मकसद (बीजगणितीय ज्यामिति)

संदर्भ

परिचयात्मक

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

उन्नत

• Bloch, Spencer (1986), "Algebraic cycles and higher K-theory", Advances in Mathematics, 61 (3): 267–304, doi:10.1016/0001-8708(86)90081-2, ISSN 0001-8708, MR 0852815
• Claude, Chevalley (1958), "Les classes d'équivalence rationnelle, I", Anneaux de Chow et applications, Séminaire Claude Chevalley, vol. 3
• Claude, Chevalley (1958), "Les classes d'équivalence rationnelle, II", Anneaux de Chow et applications, Séminaire Claude Chevalley, vol. 3
• Chow, Wei-Liang (1956), "On equivalence classes of cycles in an algebraic variety", Annals of Mathematics, 64: 450–479, doi:10.2307/1969596, ISSN 0003-486X, MR 0082173
• Deligne, Pierre (1977), Cohomologie Etale (SGA 4 1/2), Springer-Verlag, ISBN 978-3-540-08066-4, MR 0463174
• Fulton, William (1998), Intersection Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98549-7, MR 1644323
• Severi, Francesco (1932), "La serie canonica e la teoria delle serie principali di gruppi di punti sopra una superficie algebrica", Commentarii Mathematici Helvetici, 4: 268–326, doi:10.1007/bf01202721, JFM 58.1229.01
• Voevodsky, Vladimir (2000), "Triangulated categories of motives over a field", Cycles, Transfers, and Motivic Homology Theories, Princeton University Press, pp. 188–238, ISBN 9781400837120, MR 1764202
• Voisin, Claire (2002), Hodge Theory and Complex Algebraic Geometry (2 vols.), Cambridge University Press, ISBN 978-0-521-71801-1, MR 1997577

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