सुसंगत शीफ कोहोमोलोजी

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

बीजगणितीय ज्यामिति और समष्टि विश्लेषणात्मक ज्यामिति का अधिकांश भाग सुसंगत ढेरों और उनके सह-समरूपता के संदर्भ में तैयार किया गया है।

सुसंगत ढेर

Main article: सुसंगत शीफ

सुसंगत ढेरों को सदिश बंडलों के सामान्यीकरण के रूप में देखा जा सकता है। समष्टि विश्लेषणात्मक स्थान पर सुसंगत विश्लेषणात्मक शीफ की धारणा है, और योजना (गणित) पर सुसंगत बीजगणितीय शीफ की समान धारणा है। इस प्रकार दोनों ही स्थितियों में, दी गई स्थान $X$ चक्राकार स्थान के साथ आता है ${\mathcal {O}}_{X}$, होलोमोर्फिक फलन या नियमित फ़ंक्शंस का शीफ़ और सुसंगत शीव्स को श्रेणी की पूर्ण उपश्रेणी ${\mathcal {O}}_{X}$-मॉड्यूल (अर्थात्, ${\mathcal {O}}_{X}$ मॉड्यूल के ढेर) के रूप में परिभाषित किया गया है।

स्पर्शरेखा बंडल जैसे सदिश बंडल ज्यामिति में मौलिक भूमिका निभाते हैं। इस प्रकार अधिक सामान्यतः, बंद उप-विविधता के लिए $Y$ का $X$ समावेश के साथ $i:Y\to X$, सदिश बंडल $E$ पर $Y$ पर सुसंगत शीफ़ निर्धारित करता है $X$, प्रत्यक्ष छवि शीफ $i_{*}E$, जो बाहर शून्य है $Y$. इस प्रकार, की उप-किस्मों के बारे में अनेक प्रश्न $X$ सुसंगत ढेरों के रूप में $X$ व्यक्त किया जा सकता है।

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

शीफ कोहोमोलॉजी

पूले के लिए ${\mathcal {F}}$ टोपोलॉजिकल स्पेस पर एबेलियन समूहों का $X$, शीफ़ कोहोमोलोजी समूह $H^{i}(X,{\mathcal {F}})$ पूर्णांकों के लिए $i$ वैश्विक अनुभागों के फ़ैनक्टर के सही व्युत्पन्न फ़ैनक्टर के रूप में परिभाषित किया गया है, ${\mathcal {F}}\mapsto {\mathcal {F}}(X)$. परिणाम स्वरुप , $H^{i}(X,{\mathcal {F}})$ के लिए शून्य है $i<0$, और $H^{0}(X,{\mathcal {F}})$ से पहचाना जा सकता है ${\mathcal {F}}(X)$. ढेरों के किसी भी संक्षिप्त त्रुटिहीन अनुक्रम के लिए $0\to {\mathcal {A}}\to {\mathcal {B}}\to {\mathcal {C}}\to 0$, कोहोमोलोजी समूहों का लंबा त्रुटिहीन क्रम है:

$0\to H^{0}(X,{\mathcal {A}})\to H^{0}(X,{\mathcal {B}})\to H^{0}(X,{\mathcal {C}})\to H^{1}(X,{\mathcal {A}})\to \cdots .$

यदि ${\mathcal {F}}$ का पूल है ${\mathcal {O}}_{X}$-योजना पर मॉड्यूल $X$, फिर कोहोमोलॉजी समूह $H^{i}(X,{\mathcal {F}})$ (अंतर्निहित टोपोलॉजिकल स्पेस का उपयोग करके परिभाषित किया गया है $X$) रिंग के ऊपर मॉड्यूल हैं ${\mathcal {O}}(X)$ नियमित कार्यों का. उदाहरण के लिए, यदि $X$ क्षेत्र पर योजना है $k$, फिर कोहोमोलॉजी समूह $H^{i}(X,{\mathcal {F}})$ हैं $k$-सदिश रिक्त स्थान. सिद्धांत तब शक्तिशाली हो जाता है जब ${\mathcal {F}}$ परिणामों के निम्नलिखित अनुक्रम के कारण, सुसंगत या अर्ध-सुसंगत शीफ है।

एफ़िन स्थितियों में लुप्त प्रमेय

सत्र 1953 में कार्टन के प्रमेय A और B द्वारा समष्टि विश्लेषण में क्रांति ला दी गई। यह परिणाम कहते हैं कि यदि ${\mathcal {F}}$ स्टीन स्पेस पर सुसंगत विश्लेषणात्मक शीफ है $X$, तब ${\mathcal {F}}$ उनके वैश्विक अनुभागों द्वारा उत्पन्न पर्याप्त लाइन बंडल#शीव्स है, और $H^{i}(X,{\mathcal {F}})=0$ सभी के लिए $i>0$. (समष्टि स्थान $X$ स्टीन है यदि और केवल यदि यह बंद विश्लेषणात्मक उप-स्थान के लिए समरूपी है $\mathbb {C} ^{n}$ कुछ के लिए $n$.) यह परिणाम दिए गए विलक्षणताओं या अन्य गुणों के साथ समष्टि विश्लेषणात्मक कार्यों के निर्माण के बारे में पुराने काम के बड़े हिस्से को सामान्यीकृत करते हैं।

1955 में, जीन पियरे सेरे ने बीजगणितीय ज्यामिति में सुसंगत शीव्स की शुरुआत की (पहले बीजगणितीय रूप से बंद क्षेत्र पर, किन्तु उस प्रतिबंध को अलेक्जेंडर ग्रोथेंडिक द्वारा हटा दिया गया था)। कार्टन के प्रमेयों के अनुरूप व्यापकता रखते हैं: यदि ${\mathcal {F}}$ एफ़िन योजना पर अर्ध-सुसंगत शीफ़ है $X$, तब ${\mathcal {F}}$ इसके वैश्विक खंडों द्वारा फैलाया गया है, और $H^{i}(X,{\mathcal {F}})=0$ के लिए $i>0$. यह इस तथ्य से संबंधित है कि एफ़िन योजना पर अर्ध-सुसंगत शीव्स की श्रेणी $X$ की श्रेणी के लिए श्रेणियों की तुल्यता है ${\mathcal {O}}(X)$-मॉड्यूल, समतुल्यता के साथ शीफ लेना ${\mathcal {F}}$ तक ${\mathcal {O}}(X)$-मापांक $H^{0}(X,{\mathcal {F}})$. वास्तव में, सभी अर्ध-कॉम्पैक्ट योजनाओं में अर्ध-सुसंगत शीव्स के लिए उच्च कोहोमोलॉजी के लुप्त होने की विशेषता है।

सेच कोहोमोलॉजी और प्रक्षेप्य स्थान की कोहोमोलॉजी

एफ़िन योजनाओं के लिए कोहोलॉजी के लुप्त होने के परिणामस्वरूप: भिन्न योजना के लिए $X$, एफ़िन खुला आवरण $\{U_{i}\}$ का $X$, और अर्ध-सुसंगत शीफ़ ${\mathcal {F}}$ पर $X$, कोहोमोलॉजी समूह $H^{*}(X,{\mathcal {F}})$ खुले आवरण के संबंध में सेच कोहोलॉजी समूहों के समरूपी हैं $\{U_{i}\}$.दूसरे शब्दों में, के अनुभागों को जानना ${\mathcal {F}}$ एफ़िन ओपन उपयोजनाओं के सभी परिमित प्रतिच्छेदनों पर $U_{i}$ की सहसंरचना निर्धारित करता है $X$ में गुणांक के साथ ${\mathcal {F}}$.

सेच कोहोमोलॉजी का उपयोग करके, कोई किसी भी लाइन बंडल में गुणांक के साथ प्रक्षेप्य स्थान की कोहोमोलॉजी की गणना कर सकता है। अर्थात्, क्षेत्र के लिए $k$, धनात्मक पूर्णांक $n$, और कोई भी पूर्णांक $j$, प्रक्षेप्य स्थान की सहसंरचना $\mathbb {P} ^{n}$ ऊपर $k$ सुसंगत शीफ में गुणांकों के साथ#सदिश बंडलों के उदाहरण|लाइन बंडल ${\mathcal {O}}(j)$द्वारा दिया गया है:

$H^{i}(\mathbb {P} ^{n},{\mathcal {O}}(j))\cong {\begin{cases}\bigoplus _{a_{0},\ldots ,a_{n}\geq 0,\;a_{0}+\cdots +a_{n}=j}\;k\cdot x_{0}^{a_{0}}\cdots x_{n}^{a_{n}}&i=0\\[6pt]0&i\neq 0,n\\[6pt]\bigoplus _{a_{0},\ldots ,a_{n}<0,\;a_{0}+\cdots +a_{n}=j}\;k\cdot x_{0}^{a_{0}}\cdots x_{n}^{a_{n}}&i=n\end{cases}}$

विशेष रूप से, इस गणना से पता चलता है कि प्रक्षेप्य स्थान की सह-समरूपता खत्म हो गई है $k$ किसी भी लाइन बंडल में गुणांक के साथ परिमित आयाम होता है $k$-सदिश स्थल।

आयाम से ऊपर के इन कोहोमोलोजी समूहों का लुप्त होना $n$ ग्रोथेंडिक के लुप्त हो रहे प्रमेय का बहुत ही विशेष मामला है: एबेलियन समूहों के किसी भी समूह के लिए ${\mathcal {F}}$ नोथेरियन टोपोलॉजिकल स्पेस पर $X$ आयाम का $n<\infty$, $H^{i}(X,{\mathcal {F}})=0$ सभी के लिए $i>n$. यह विशेष रूप से उपयोगी है $X$ नोथेरियन योजना (उदाहरण के लिए, क्षेत्र में विविधता) और ${\mathcal {F}}$ अर्ध-सुसंगत शीफ़।

समतल-वक्रों की शीफ़ सहसंगति

सहज प्रक्षेप्य समतल वक्र दिया गया है $C$ डिग्री का $d$, शीफ़ कोहोमोलॉजी $H^{*}(C,{\mathcal {O}}_{C})$ कोहोमोलॉजी में लंबे त्रुटिहीन अनुक्रम का उपयोग करके आसानी से गणना की जा सकती है। एम्बेडिंग के लिए सबसे पहले ध्यान दें $i:C\to \mathbb {P} ^{2}$ सह-समरूपता समूहों की समरूपता है

$H^{*}(\mathbb {P} ^{2},i_{*}{\mathcal {O}}_{C})\cong H^{*}(C,{\mathcal {O}}_{C})$

तब से $i_{*}$ त्रुटिहीन है. इसका कारण है कि सुसंगत ढेरों का संक्षिप्त त्रुटिहीन क्रम

$0\to {\mathcal {O}}(-d)\to {\mathcal {O}}\to i_{*}{\mathcal {O}}_{C}\to 0$

पर $\mathbb {P} ^{2}$, जिसे आदर्श अनुक्रम कहा जाता है, का उपयोग कोहोमोलॉजी में लंबे त्रुटिहीन अनुक्रम के माध्यम से कोहोमोलॉजी की गणना करने के लिए किया जा सकता है। अनुक्रम इस प्रकार पढ़ता है

${\begin{aligned}0&\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\\&\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\\&\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\end{aligned}}$

जिसे प्रक्षेप्य स्थान पर पिछली गणनाओं का उपयोग करके सरल बनाया जा सकता है। सरलता के लिए, मान लें कि आधार रिंग है $\mathbb {C}$ (या कोई बीजगणितीय रूप से बंद फ़ील्ड)। फिर समरूपताएँ हैं

${\begin{aligned}H^{0}(C,{\mathcal {O}}_{C})&\cong H^{0}(\mathbb {P} ^{2},{\mathcal {O}})\\H^{1}(C,{\mathcal {O}}_{C})&\cong H^{2}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\end{aligned}}$

जो यह दर्शाता है $H^{1}$ वक्र का रैंक का सीमित आयामी सदिश स्थान है

${d-1 \choose d-3}={\frac {(d-1)(d-2)}{2}}$.

कुनेथ प्रमेय

किस्मों के उत्पादों के लिए सुसंगत शीफ कोहोलॉजी में कुनेथ सूत्र का एनालॉग है। अर्ध-कॉम्पैक्ट योजनाएँ दी गईं $X,Y$ क्षेत्र पर एफ़िन-विकर्णों के साथ $k$, (उदाहरण के लिए भिन्न-भिन्न योजनाएं), और चलो ${\mathcal {F}}\in {\text{Coh}}(X)$ और ${\mathcal {G}}\in {\text{Coh}}(Y)$, तब समरूपता <ब्लॉककोट> है$H^{k}(X\times _{{\text{Spec}}(k)}Y,\pi _{1}^{*}{\mathcal {F}}\otimes _{{\mathcal {O}}_{X\times _{{\text{Spec}}(k)}Y}}\pi _{2}^{*}{\mathcal {G}})\cong \bigoplus _{i+j=k}H^{i}(X,{\mathcal {F}})\otimes _{k}H^{j}(Y,{\mathcal {G}})$ </ब्लॉकक्वॉट>कहां $\pi _{1},\pi _{2}$ के विहित अनुमान हैं $X\times _{{\text{Spec}}(k)}Y$ को $X,Y$.

वक्रों की शीफ कोहोलॉजी की गणना

में $X=\mathbb {P} ^{1}\times \mathbb {P} ^{1}$, का सामान्य अनुभाग ${\mathcal {O}}_{X}(a,b)=\pi _{1}^{*}{\mathcal {O}}_{\mathbb {P} ^{1}}(a)\otimes _{{\mathcal {O}}_{X}}\pi _{2}^{*}{\mathcal {O}}_{\mathbb {P} ^{1}}(b)$ वक्र को परिभाषित करता है $C$, आदर्श अनुक्रम<ब्लॉककोट> दे रहा है$0\to {\mathcal {O}}_{X}(-a,-b)\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{C}\to 0$फिर, लंबा त्रुटिहीन अनुक्रम

के रूप में पढ़ा जाता है${\begin{aligned}0&\to H^{0}(X,{\mathcal {O}}(-a,-b))\to H^{0}(X,{\mathcal {O}})\to H^{0}(X,{\mathcal {O}}_{C})\\&\to H^{1}(X,{\mathcal {O}}(-a,-b))\to H^{1}(X,{\mathcal {O}})\to H^{1}(X,{\mathcal {O}}_{C})\\&\to H^{2}(X,{\mathcal {O}}(-a,-b))\to H^{2}(X,{\mathcal {O}})\to H^{2}(X,{\mathcal {O}}_{C})\end{aligned}}$

देना

${\begin{aligned}H^{0}(C,{\mathcal {O}}_{C})&\cong H^{0}(X,{\mathcal {O}})\\H^{1}(C,{\mathcal {O}}_{C})&\cong H^{2}(X,{\mathcal {O}}(-a,-b))\end{aligned}}$

से $H^{1}$वक्र का जीनस है, हम इसकी बेट्टी संख्या की गणना करने के लिए कुनेथ सूत्र का उपयोग कर सकते हैं। यह <ब्लॉककोट> है$H^{2}(X,{\mathcal {O}}_{X}(-a,-b))\cong H^{1}(\mathbb {P} ^{1},{\mathcal {O}}(-a))\otimes _{k}H^{1}(\mathbb {P} ^{1},{\mathcal {O}}(-b))$जो रैंक का है

${\binom {a-1}{a-2}}{\binom {b-1}{b-2}}=(a-1)(b-1)=ab-a-b+1$</ब्लॉककोट>के लिए $-a,-b\leq -2$. विशेषकर, यदि $C$ के सामान्य अनुभाग के लुप्त हो रहे स्थान द्वारा परिभाषित किया गया है ${\mathcal {O}}(2,k)$, यह जीनस<ब्लॉककोट> का है$2k-2-k+1=k-1$

इसलिए इसके अंदर किसी भी जीनस का वक्र पाया जा सकता है $\mathbb {P} ^{1}\times \mathbb {P} ^{1}$.

परिमित-आयामीता

उचित योजना के लिए $X$ मैदान के ऊपर $k$ और कोई सुसंगत शीफ़ ${\mathcal {F}}$ पर $X$, कोहोमोलॉजी समूह $H^{i}(X,{\mathcal {F}})$ के रूप में सीमित आयाम है $k$-सदिश रिक्त स्थान. विशेष स्थितियों में जहां $X$ प्रक्षेप्य विविधता खत्म हो गई है $k$, यह ऊपर चर्चा की गई प्रक्षेप्य स्थान पर लाइन बंडलों के स्थितियों को कम करके सिद्ध करना होता है। क्षेत्र पर उचित योजना के सामान्य स्थितियों में, ग्रोथेंडिक ने चाउ के लेम्मा का उपयोग करके प्रोजेक्टिव स्थितियों को कम करके कोहोलॉजी की परिमितता को सिद्ध करना किया।

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

कोहोलॉजी की परिमित-आयामीता प्रक्षेप्य किस्मों के लिए अनेक संख्यात्मक अपरिवर्तनीयता की ओर ले जाती है। उदाहरण के लिए, यदि $X$ बीजगणितीय रूप से बंद क्षेत्र पर चिकनी योजना प्रक्षेप्य बीजगणितीय वक्र है $k$, की प्रजाति $X$ के आयाम के रूप में परिभाषित किया गया है $k$-सदिश स्थल $H^{1}(X,{\mathcal {O}}_{X})$. कब $k$ समष्टि संख्याओं का क्षेत्र है, यह अंतरिक्ष के जीनस (गणित) से सहमत है $X(\mathbb {C} )$ इसकी मौलिक (यूक्लिडियन) टोपोलॉजी में समष्टि बिंदुओं की। (उस स्थितियों में, $X(\mathbb {C} )=X^{an}$ बंद उन्मुख सतह (टोपोलॉजी) है।) अनेक संभावित उच्च-आयामी सामान्यीकरणों में से, चिकनी प्रक्षेप्य विविधता का ज्यामितीय जीनस $X$ आयाम का $n$ का आयाम है $H^{n}(X,{\mathcal {O}}_{X})$, और अंकगणित जीनस (परंपरा के अनुसार) प्रत्यावर्ती योग है

$\chi (X,{\mathcal {O}}_{X})=\sum _{j}(-1)^{j}\dim _{k}(H^{j}(X,{\mathcal {O}}_{X})).$

सर्रे द्वैत

Main article: सेरे द्वैत

सेरे द्वैत सुसंगत शीफ कोहोलॉजी के लिए पोंकारे द्वैत का एनालॉग है। इस सादृश्य में, विहित बंडल $K_{X}$ ओरिएंटेशन शीफ की भूमिका निभाता है। अर्थात्, सुचारू उचित योजना के लिए $X$ आयाम का $n$ मैदान के ऊपर $k$, प्राकृतिक ट्रेस मानचित्र है $H^{n}(X,K_{X})\to k$, जो समरूपता है यदि $X$ ज्यामितीय रूप से जुड़ा हुआ है, जिसका अर्थ है कि फाइबर उत्पाद $X$ के बीजगणितीय समापन के लिए $k$ जुड़ा हुआ स्थान है. सदिश बंडल के लिए क्रमिक द्वंद्व $E$ पर $X$ कहते हैं कि उत्पाद

$H^{i}(X,E)\times H^{n-i}(X,K_{X}\otimes E^{*})\to H^{n}(X,K_{X})\to k$

प्रत्येक पूर्णांक के लिए आदर्श युग्म है $i$. विशेष रूप से, $k$-सदिश रिक्त स्थान $H^{i}(X,E)$ और $H^{n-i}(X,K_{X}\otimes E^{*})$ समान (परिमित) आयाम है। (सेरे ने किसी भी कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड पर होलोमोर्फिक सदिश बंडलों के लिए सेरे द्वैत को भी सिद्ध करना किया।) सुसंगत द्वंद्व सिद्धांत में किसी भी सुसंगत शीफ और योजनाओं के किसी भी उचित रूपवाद के सामान्यीकरण सम्मिलित हैं, चूंकि कथन कम प्राथमिक हो जाते हैं।

उदाहरण के लिए, चिकने प्रक्षेप्य वक्र के लिए $X$ बीजगणितीय रूप से बंद क्षेत्र पर $k$, सेरे द्वैत का तात्पर्य है कि अंतरिक्ष का आयाम $H^{0}(X,\Omega ^{1})=H^{0}(X,K_{X})$ 1-फॉर्म पर $X$ के वंश के सामान्तर है $X$ (का आयाम $H^{1}(X,{\mathcal {O}}_{X})$).

GAGA प्रमेय

Main article: GAGA

GAGA प्रमेय समष्टि संख्याओं पर बीजगणितीय किस्मों को संबंधित विश्लेषणात्मक स्थानों से जोड़ते हैं। परिमित रूपवाद की योजना^एक. प्रमुख GAGA प्रमेय (ग्रोथेंडिद्वारा, प्रोजेक्टिव केस पर सेरे के प्रमेय को सामान्यीकृत करते हुए) यह है कि यदि X 'C' के ऊपर उचित है, तब यह फ़नकार श्रेणियों का समतुल्य है। इसके अतिरिक्त, प्रत्येक सुसंगत बीजगणितीय शीफ ई के लिए 'सी' पर उचित योजना एक्स पर, प्राकृतिक मानचित्र

$H^{i}(X,E)\to H^{i}(X^{\text{an}},E^{\text{an}})$

(परिमित-आयामी) समष्टि सदिश रिक्त स्थान सभी i के लिए समरूपता है। (यहां पहला समूह ज़ारिस्की टोपोलॉजी का उपयोग करके परिभाषित किया गया है, और दूसरा मौलिक (यूक्लिडियन) टोपोलॉजी का उपयोग करके परिभाषित किया गया है।) उदाहरण के लिए, प्रक्षेप्य स्थान पर बीजगणितीय और विश्लेषणात्मक सुसंगत ढेरों के मध्य समानता बीजगणितीय ज्यामिति और विश्लेषणात्मक ज्यामिति का तात्पर्य है#चाउ का प्रमेय|चाउ का प्रमेय सीपी का प्रत्येक बंद विश्लेषणात्मक उपस्थानⁿबीजीय है.

लुप्त प्रमेय

सेरे का लुप्त प्रमेय कहता है कि किसी भी पर्याप्त लाइन बंडल के लिए $L$ उचित योजना पर $X$ नोथेरियन अंगूठी और किसी भी सुसंगत शीफ के ऊपर ${\mathcal {F}}$ पर $X$, पूर्णांक है $m_{0}$ ऐसा कि सभी के लिए $m\geq m_{0}$, पूला ${\mathcal {F}}\otimes L^{\otimes m}$ यह अपने वैश्विक खंडों द्वारा फैला हुआ है और इसमें धनात्मक डिग्री में कोई सह-समरूपता नहीं है। यद्यपि सेरे का लुप्त प्रमेय उपयोगी है, संख्या की अस्पष्टता $m_{0}$ समस्या हो सकती है. कोडैरा लुप्त प्रमेय महत्वपूर्ण स्पष्ट परिणाम है। अर्थात्, यदि $X$ विशेषता शून्य के क्षेत्र पर सहज प्रक्षेप्य प्रकार है, $L$ पर्याप्त लाइन बंडल है $X$, और $K_{X}$ फिर विहित बंडल

$H^{j}(X,K_{X}\otimes L)=0$

सभी के लिए $j>0$. ध्यान दें कि सेरे का प्रमेय बड़ी शक्तियों के लिए समान लुप्त होने की गारंटी देता है $L$. कोडैरा का लुप्त होना और इसके सामान्यीकरण बीजगणितीय किस्मों के वर्गीकरण और न्यूनतम मॉडल कार्यक्रम के लिए मौलिक हैं। कोदैरा का लुप्त होना धनात्मक विशेषता वाले क्षेत्रों में विफल रहता है।

हॉज सिद्धांत

Main article: हॉज सिद्धांत

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

$H^{a}(X,\mathbf {C} )\cong \bigoplus _{b=0}^{a}H^{a-b}(X,\Omega ^{b}),$

हरके लिए $a$. बायीं ओर के समूह का अर्थ है एकवचन सहसंरचना $X(\mathbf {C} )$ इसकी मौलिक (यूक्लिडियन) टोपोलॉजी में, जबकि दाईं ओर के समूह सुसंगत शीव्स के कोहोमोलॉजी समूह हैं, जिन्हें (जीएजीए द्वारा) ज़ारिस्की या मौलिक टोपोलॉजी में लिया जा सकता है। यही निष्कर्ष किसी भी सुचारू उचित योजना के लिए प्रयुक्त होता है $X$ ऊपर $\mathbf {C}$, या किसी कॉम्पैक्ट काहलर मैनिफोल्ड के लिए।

उदाहरण के लिए, हॉज प्रमेय का तात्पर्य है कि चिकनी प्रक्षेप्य वक्र के जीनस की परिभाषा $X$ के आयाम के रूप में $H^{1}(X,{\mathcal {O}})$, जो किसी भी क्षेत्र पर समझ में आता है $k$, टोपोलॉजिकल परिभाषा से सहमत है (पहली बेट्टी संख्या के आधे के रूप में)। $k$ समष्टि संख्या है. हॉज सिद्धांत ने समष्टि बीजगणितीय किस्मों के टोपोलॉजिकल गुणों पर बड़े पैमाने पर काम करने के लिए प्रेरित किया है।

रीमैन-रोच प्रमेय

Main article: ग्रोथेंडिक-रीमैन-रोच प्रमेय

फ़ील्ड k पर उचित योजना X के लिए, X पर सुसंगत शीफ़ E की यूलर विशेषता पूर्णांक है

$\chi (X,E)=\sum _{j}(-1)^{j}\dim _{k}(H^{j}(X,E)).$

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

$\chi (X,L)={\text{deg}}(L)-{\text{genus}}(X)+1,$ जहां deg(L) L के विभाजक (बीजगणितीय ज्यामिति)#विभाजक वर्ग समूह को दर्शाता है।

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

रीमैन-रोच प्रमेय अतियाह-सिंगर इंडेक्स प्रमेय द्वारा कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड पर होलोमोर्फिक सदिश बंडलों के लिए भी प्रयुक्त होता है।

विकास

आयाम n की योजना पर कोहोलॉजी समूहों के आयाम अधिकतम n डिग्री वाले बहुपद की तरह बढ़ सकते हैं।

मान लीजिए कि X आयाम n की प्रक्षेप्य योजना है और D, X पर विभाजक है। यदि ${\mathcal {F}}$ क्या X पर कोई सुसंगत शीफ़ है?

$h^{i}(X,{\mathcal {F}}(mD))=O(m^{n})$ प्रत्येक i के लिए

एक्स पर नेफ विभाजक डी की उच्च सहसंरचना के लिए;

$h^{i}(X,{\mathcal {O}}_{X}(mD))=O(m^{n-1})$

अनुप्रयोग

फ़ील्ड k पर स्कीम सबसे सरल मामला, रिंग के ऊपर विकृतियों से संबंधित है $R:=k[\epsilon ]/\epsilon ^{2}$ दोहरी संख्याओं की जांच करता है कि क्या कोई स्कीम एक्स है_R स्पेक आर के ऊपर ऐसा कि विशेष फाइबर

$X_{R}\times _{\operatorname {Spec} R}\operatorname {Spec} k$

दिए गए X के समरूपी है। स्पर्शरेखा शीफ ​​में गुणांक के साथ सुसंगत शीफ सहसंरूपता $T_{X}$ X की विकृति के इस वर्ग को नियंत्रित करता है, परंतु कि X चिकना हो। अर्थात्,

• उपरोक्त प्रकार की विकृतियों के समरूपता वर्गों को पहले सुसंगत कोहोलॉजी द्वारा पैरामीट्रिज्ड किया गया है $H^{1}(X,T_{X})$,
• इसमें तत्व है (जिसे अवरोध वर्ग कहा जाता है)। $H^{2}(X,T_{X})$ जो गायब हो जाता है यदि और केवल तभी जब उपरोक्त के अनुसार स्पेक आर पर एक्स का विरूपण उपस्तिथ हो।

संदर्भ

• कार्टन, हेनरी; सेर्रे, जीन पियर (1953). "विभिन्नताओं के विश्लेषणात्मक संघों से संबंधित परिमितता का सिद्धांत". कॉम्पटेस रेंडस हेबडोमैडेरेस डेस सेन्सेस डे ल'अकाडेमी डेस साइंसेज डे पेरिस. 237: 128–130. Zbl 0050.17701.
• ग्राउर्ट, हंस; Remmert, रेनहोल्ड (1984), सुसंगत विश्लेषणात्मक ढेर, ग्रुंडलह्रेन डेर मैथेमेटिसचेन विसेंसचाफ्टन, vol. 265, स्प्रिंगर-वेरलाग, doi:10.1007/978-3-642-69582-7, ISBN 3-540-13178-7, MR 0755331
• ग्रोथेंडिक, एलेक्जेंडर; रेनॉड, मिशेल (2003) [1971], सेमिनायर डी जियोमेट्री अल्जेब्रिक डु बोइस मैरी - 1960-61 - रेवेटेमेंट्स एटलस एट ग्रुप फोंडामेंटल (एसजीए 1) (दस्तावेज़ गणित 3), पेरिस: सोसाइटी मैथेमैटिक डी फ़्रांस, arXiv:math.AG/0206203, ISBN 978-2-85629-141-2, MR 2017446
• Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
• सेर्रे, जीन पियर (1955), "फ़ाइस्क्यू अल्जेब्रिक्स सुसंगत" (PDF), गणित के इतिहास, 61 (2): 197–278, doi:10.2307/1969915, JSTOR 1969915, MR 0068874
• पारशिन, A.N. (2001) [1994], "परिमितता प्रमेय", Encyclopedia of Mathematics, EMS Press
• ग्राउर्ट, हंस; Remmert, रेनहोल्ड (2004). "परिमितता प्रमेय". स्टीन स्पेस का सिद्धांत. गणित में क्लासिक्स. pp. 186–203. doi:10.1007/978-3-642-18921-0_8. ISBN 978-3-540-00373-1.

बाहरी संबंध

• स्टैक प्रोजेक्ट लेखक, ढेर परियोजना