भाजक (बीजगणितीय ज्यामिति)

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

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

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

टोपोलॉजिकल रूप से, वेइल विभाजक होमोलॉजी कक्षाओं की भूमिका निभाते हैं, जबकि कार्टियर विभाजकसह-समरूपता कक्षाओं का प्रतिनिधित्व करते हैं। सहज विविधता (या अधिक सामान्यतः नियमित योजना) पर, पोंकारे द्वैत के अनुरूप परिणाम कहता है कि वेइल और कार्टियर विभाजक समान हैं।

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

बीजगणितीय चक्र भाजक का उच्च कोडिमेंशन सामान्यीकरण है; परिभाषा के अनुसार, वेइल विभाजक संहिता 1 का चक्र है।

रीमैन सतह पर विभाजक

रीमैन सतह 1-आयामी समिष्ट मैनिफोल्ड है, और इसलिए इसके कोडिमेंशन-1 सबमैनिफोल्ड्स का आयाम 0 है। सघन रीमैन सतह X पर विभाजकों का समूह X के बिंदुओं पर मुक्त एबेलियन समूह है।

समान रूप से, सघन रीमैन सतह X पर विभाजक पूर्णांक गुणांक के साथ X के बिंदुओं का सीमित रैखिक संयोजन है। X पर भाजक की 'डिग्री' उसके गुणांकों का योग है।

X पर किसी भी गैर-शून्य मेरोमोर्फिक फलन f के लिए, कोई X ord_p(f) में बिंदु p पर f के लुप्त होने के क्रम को परिभाषित कर सकता है। यदि f का ध्रुव p पर है तो यह पूर्णांक, ऋणात्मक है। सघन रीमैन सतह X पर गैर-शून्य मेरोमोर्फिक फलन f के विभाजक को इस प्रकार परिभाषित किया गया है:

$(f):=\sum _{p\in X}\operatorname {ord} _{p}(f)p,$

जो सीमित राशि है। (f) रूप के भाजक को 'मुख्य भाजक' भी कहा जाता है। चूँकि (fg) = (f) + (g), प्रमुख भाजक का समुच्चय भाजक के समूह का उपसमूह है। दो भाजक जो मुख्य भाजक से भिन्न होते हैं उन्हें 'रैखिक समतुल्य' कहा जाता है।

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

सघन रीमैन सतह D से संबंधित 'लाइन बंडल के अनुभागों का स्थान' है। D की डिग्री इस सदिश समिष्ट के आयाम के विषय में बहुत कुछ कहती है। उदाहरण के लिए, यदि D की डिग्री ऋणात्मक है, तो इसकी सदिश समष्टि शून्य है (क्योंकि मेरोमोर्फिक फलन में ध्रुवों से अधिक शून्य नहीं हो सकते हैं)। यदि D की धनात्मक डिग्री है, तो H⁰(X, O(mD)) का आयाम m के लिए पर्याप्त रूप से बड़े होने पर रैखिक रूप से बढ़ता है। रीमैन-रोच प्रमेय इन पंक्तियों के साथ अधिक त्रुटिहीन कथन है। दूसरी ओर, निम्न डिग्री के विभाजक D के लिए H⁰(X, O(D)) का त्रुटिहीन आयाम सूक्ष्म है, और D की डिग्री द्वारा पूर्ण रूप से निर्धारित नहीं होता है। सघन रीमैन सतह की विशिष्ट विशेषताएं इन आयामों में परिलक्षित होती हैं।

सघन रीमैन सतह पर प्रमुख विभाजक विहित विभाजक है। इसे परिभाषित करने के लिए, सबसे पूर्व उपरोक्त पंक्तियों के साथ गैर-शून्य मेरोमोर्फिक 1-रूप के विभाजक को परिभाषित किया जाता है। चूँकि मेरोमोर्फिक 1-रूपों की समिष्ट मेरोमोर्फिक कार्यों के क्षेत्र पर 1-आयामी सदिश समिष्ट है, कोई भी दो गैर-शून्य मेरोमोर्फिक 1-रूप रैखिक रूप से समतुल्य विभाजक उत्पन्न करते हैं। इस रैखिक तुल्यता वर्ग में किसी भी भाजक को X, K_X का 'विहित भाजक' कहा जाता है। X के जीनस g को विहित विभाजक से पढ़ा जा सकता है: अर्थात्, K_X की डिग्री 2g - 2 है। सघन रीमैन सतहों X के मध्य मुख्य ट्राइकोटॉमी यह है कि क्या विहित विभाजक में नकारात्मक डिग्री है (इसलिए X में जीनस शून्य है), शून्य डिग्री (जीनस) एक), या धनात्मक डिग्री (जीनस कम से कम 2)। उदाहरण के लिए, यह निर्धारित करता है कि क्या X के निकट धनात्मक वक्रता, शून्य वक्रता, या नकारात्मक वक्रता वाला काहलर मीट्रिक है। विहित विभाजक की डिग्री ऋणात्मक है यदि और केवल X रीमैन क्षेत्र CP¹ के लिए समरूपी है।

वेइल विभाजक

मान लीजिए कि X अभिन्न स्थानीय नोथेरियन योजना है। X पर 'अभाज्य विभाजक' या 'अपरिवर्तनीय विभाजक' X में कोडिमेशन 1 का अभिन्न विवृत उपयोजना Z है। X पर वेइल विभाजक, X के अभाज्य भाजक Z पर औपचारिक योग है:

$\sum _{Z}n_{Z}Z,$

जहां संग्रह $\{Z:n_{Z}\neq 0\}$ स्थानीय रूप से सीमित है। यदि X अर्ध-सघन है, तो स्थानीय परिमितता इसके समान है $\{Z:n_{Z}\neq 0\}$ परिमित होता है। सभी वेइल विभाजकों के समूह को Div(X) द्वारा दर्शाया गया है। यदि सभी गुणांक गैर-ऋणात्मक हैं तो वेइल विभाजक D 'प्रभावी' है। यदि अंतर D − D′ प्रभावी है तो D ≥ D′ लिखा जाता है।

उदाहरण के लिए, किसी क्षेत्र के बीजगणितीय वक्र पर विभाजक सीमित रूप से कई विवृत बिंदुओं का औपचारिक योग होता है। Spec Z पर भाजक पूर्णांक गुणांक के साथ अभाज्य संख्याओं का औपचारिक योग है और इसलिए Q में गैर-शून्य भिन्नात्मक आदर्श से युग्मित होता है। समान लक्षण वर्णन भाजक $\operatorname {Spec} {\mathcal {O}}_{K}$ के लिए सत्य है, जहाँ K संख्या क्षेत्र है।

यदि Z ⊂ X अभाज्य भाजक है, तो स्थानीय वलय ${\mathcal {O}}_{X,Z}$ में क्रुल आयाम है। यदि $f\in {\mathcal {O}}_{X,Z}$ गैर-शून्य है, तो Z के साथ f के लुप्त होने का क्रम, जिसे ord_Z(f) लिखा जाता है, मॉड्यूल की लंबाई ${\mathcal {O}}_{X,Z}/(f)$ है यह लंबाई सीमित है, और यह गुणन के संबंध में योगात्मक है, अर्थात, ord_Z(fg) = ord_Z(f) + ord_Z(g) है। यदि k(X) X पर तर्कसंगत कार्यों का क्षेत्र है, तो किसी भी गैर-शून्य f ∈ k(X) को भागफल g / h के रूप में लिखा जा सकता है, जहां g और h हैं ${\mathcal {O}}_{X,Z},$ और f के लुप्त होने के क्रम को ord_Z(g) − ord_Z(h) के रूप में परिभाषित किया गया है। इस परिभाषा के साथ, लुप्त होने का क्रम फलन ord_Z : k(X)^× → Z है। यदि X सामान्य है, तो स्थानीय वलय ${\mathcal {O}}_{X,Z}$ भिन्न मूल्यांकन वलय और फलन ord_Z संबंधित मूल्यांकन है। X पर गैर-शून्य तर्कसंगत फलन f के लिए, f से जुड़े 'प्रमुख वेइल विभाजक' को वेइल विभाजक के रूप में परिभाषित किया गया है:

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

यह दिखाया जा सकता है कि यह योग स्थानीय रूप से सीमित है और इसलिए यह वास्तव में वेइल विभाजक को परिभाषित करता है। f से जुड़े प्रमुख वेइल विभाजक (f) को भी नोट किया गया है। यदि f नियमित फलन है, तो इसका प्रमुख वेइल विभाजक प्रभावी है, किन्तु सामान्यतः यह सत्य नहीं है। लुप्त होने वाले फलन के क्रम की योज्यता का तात्पर्य यह है:

$\operatorname {div} fg=\operatorname {div} f+\operatorname {div} g.$

परिणामस्वरूप div समरूपता है, और विशेष रूप से इसकी छवि सभी वेइल विभाजकों के समूह का उपसमूह है।

मान लीजिए कि X सामान्य इंटीग्रल नॉथेरियन योजना है। प्रत्येक वेइल विभाजक D सुसंगत शीफ ${\mathcal {O}}_{X}(D)$ X पर निर्धारित करता है। ठोस रूप से इसे तर्कसंगत कार्यों के शीफ के उपशीर्षक के रूप में परिभाषित किया जा सकता है।

$\Gamma (U,{\mathcal {O}}_{X}(D))=\{f\in k(X):f=0{\text{ or }}\operatorname {div} (f)+D\geq 0{\text{ on }}U\}.$

अर्थात्, शून्येतर परिमेय फलन f का भाग है ${\mathcal {O}}_{X}(D)$ U से अधिक यदि और केवल किसी अभाज्य भाजक Z के लिए जो U को प्रतिच्छेद करता है,

$\operatorname {ord} _{Z}(f)\geq -n_{Z}$

जहां n_Z D में Z का गुणांक है। यदि D प्रमुख है, इसलिए D परिमेय फलन g का विभाजक है, तो समरूपता है:

${\begin{cases}{\mathcal {O}}(D)\to {\mathcal {O}}_{X}\\f\mapsto fg\end{cases}}$

तब से $\operatorname {div} (fg)$ प्रभावी विभाजक $fg$ है और इसलिए X की सामान्यता के कारण नियमित है। इसके विपरीत, यदि ${\mathcal {O}}(D)$ समरूपी है ${\mathcal {O}}_{X}$ के रूप में ${\mathcal {O}}_{X}$-मॉड्यूल, तो D प्रमुख है। इसका तात्पर्य यह है कि D स्थानीय रूप से प्रमुख है यदि और केवल ${\mathcal {O}}(D)$ विपरीत है; अर्थात लाइन बंडल है।

यदि D प्रभावी भाजक है तो ${\mathcal {O}}(-D)$ से प्रायः उपयोग किया जाने वाला संक्षिप्त त्रुटिहीनअनुक्रम प्राप्त होता है,

$0\to {\mathcal {O}}_{X}(-D)\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{D}\to 0.$

इस क्रम की शीफ सहसंरचना यह दर्शाती है $H^{1}(X,{\mathcal {O}}_{X}(-D))$ में यह सूचना सम्मिलित है कि क्या D पर नियमित कार्य X पर नियमित कार्य के प्रतिबंध हैं।

इसमें समूहों का भी समावेश है:

$0\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{X}(D).$

यह विहित तत्व $\Gamma (X,{\mathcal {O}}_{X}(D))$ प्रस्तुत करता है, अर्थात्, वैश्विक भाग 1 की छवि है। इसे विहित अनुभाग कहा जाता है और इसे s_D से दर्शाया जा सकता है। जबकि विहित अनुभाग कहीं लुप्त न होने वाले तर्कसंगत फलन की छवि है, इसकी छवि ${\mathcal {O}}(D)$ D के साथ लुप्त हो जाता है क्योंकि संक्रमण फलन D के साथ लुप्त हो जाते हैं। जब D सुचारु कार्टियर विभाजक होता है, तो उपरोक्त समावेशन के कोकर्नेल की पहचान की जा सकती है; नीचे कार्टियर विभाजक देखें।

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

विभाजक वर्ग समूह

वेइल विभाजक वर्ग समूह Cl(X) सभी प्रमुख वेइल भाजक के उपसमूह द्वारा Div(X) का भागफल है। दो विभाजकों को रैखिक रूप से समतुल्य कहा जाता है यदि उनका अंतर प्रमुख है, इसलिए विभाजक वर्ग समूह भाजक मॉड्यूलो रैखिक तुल्यता का समूह है। किसी फ़ील्ड पर आयाम n की विविधता X के लिए, विभाजक वर्ग समूह चाउ समूह है; अर्थात्, Cl(X) (n−1)-आयामी चक्रों का चाउ समूह CH_n−1(X) है।

मान लीजिए Z, X का विवृत उपसमुच्चय है। यदि Z, कोड आयाम का अपरिवर्तनीय है, तो Cl(X - Z) Z के वर्ग द्वारा Cl(X) के भागफल समूह के लिए समरूपी है। यदि Z का कोड आयाम X में कम से कम 2 है , तो प्रतिबंध Cl(X) → Cl(X − Z) समरूपता है। (ये तथ्य चाउ समूहों के स्थानीयकरण अनुक्रम की विशेष स्थिति है।)

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

उदाहरण

• मान लीजिए k क्षेत्र है, और मान लीजिए n धनात्मक पूर्णांक है। चूँकि बहुपद वलय k[x₁, ..., x_n] अद्वितीय गुणनखंडन डोमेन है, एफाइन समिष्ट Aⁿ k का विभाजक वर्ग समूह शून्य के समानहै। चूँकि k से हाइपरप्लेन H के ऊपर प्रक्षेप्य समिष्ट Pⁿ, Aⁿ के समरूपी है, इसलिए यह इस प्रकार है कि Pⁿ का विभाजक वर्ग समूह H के वर्ग द्वारा उत्पन्न होता है। वहां से, यह परिक्षण सीधा है कि Cl('P'ⁿ) वास्तव में H द्वारा उत्पन्न पूर्णांक 'Z' के समरूपी है। सामान्यतः, इसका तात्पर्य है कि Pⁿ का प्रत्येक कोडिमेशन-1 उप-विविधता को एकल सजातीय बहुपद के लुप्त होने से परिभाषित किया गया है।

• मान लीजिए कि X क्षेत्र k पर बीजगणितीय वक्र है। X में प्रत्येक विवृत बिंदु p में k के कुछ परिमित विस्तार क्षेत्र E के लिए विशिष्ट E का रूप होता है, और p की 'डिग्री' को k के ऊपर E की डिग्री के रूप में परिभाषित किया जाता है। इसे रैखिकता द्वारा विस्तारित करने से X पर भाजक के लिए 'डिग्री' की धारणा मिलती है। यदि X, k पर प्रक्षेप्य वक्र है, तो X पर गैर-शून्य तर्कसंगत फलन f के भाजक की डिग्री शून्य है। परिणामस्वरूप, प्रक्षेप्य वक्र X के लिए, डिग्री समरूपता डिग्री देती है: Cl(X) → 'Z'।

• क्षेत्र k पर प्रक्षेप्य रेखा P¹ के लिए, डिग्री समरूपता Cl(P¹) ≅ Z देती है। ​​k-तर्कसंगत बिंदु के साथ किसी भी सुचारु प्रक्षेप्य वक्र X के लिए, डिग्री समरूपता विशेषण है, और कर्नेल के समूह के लिए समरूपता है - X की जैकोबियन प्रकार पर k-बिंदु, जो X के जीनस के समान आयाम का एबेलियन प्रकार है। उदाहरण के लिए, यह इस प्रकार है कि समिष्ट अण्डाकार वक्र का विभाजक वर्ग समूह अनंत एबेलियन समूह है।

• पिछले उदाहरण को सामान्यीकृत करना: क्षेत्र k पर किसी भी सहज प्रक्षेप्य विविधता X के लिए, जैसे कि X में k-तर्कसंगत बिंदु है, विभाजक वर्ग समूह Cl( X) जुड़े हुए समूह योजना के k-बिंदुओं के समूह द्वारा सूक्ष्म रूप से उत्पन्न एबेलियन समूह, नेरॉन-सेवेरी समूह का विस्तार $\operatorname {Pic} _{X/k}^{0}$ है। विशेषता शून्य के k के लिए, $\operatorname {Pic} _{X/k}^{0}$ एबेलियन विविधता है, X की पिकार्ड विविधता है।

• R के लिए किसी संख्या क्षेत्र के पूर्णांकों का वलय, विभाजक वर्ग समूह Cl(R) := Cl(Spec R) को R का आदर्श वर्ग समूह भी कहा जाता है। यह परिमित एबेलियन समूह है। आदर्श वर्ग समूहों को समझना बीजगणितीय संख्या सिद्धांत का केंद्रीय लक्ष्य है।

• 

  एफ़िन क्वाड्रिक शंकु xy = z²
  मान लीजिए कि X आयाम 2 का चतुर्भुज शंकु है, जो क्षेत्र के ऊपर एफ़िन 3-समिष्ट में समीकरण xy = z² द्वारा परिभाषित है। फिर x = z = 0 द्वारा परिभाषित X में रेखा D मूल बिंदु के निकट X पर प्रमुख नहीं है। ध्यान दें कि D को X पर समीकरण द्वारा समुच्चय के रूप में परिभाषित किया जा सकता है, अर्थात् x = 0; किन्तु X पर फलन x, D के अनुदिश क्रम 2 पर लुप्त हो जाता है, और इसलिए हम केवल यह पाते हैं कि 2D, X पर कार्टियर (जैसा कि नीचे परिभाषित है) है। वास्तव में, विभाजक वर्ग समूह Cl(X) चक्रीय समूह 'Z'/2 के लिए समरूपी है। जो D के वर्ग द्वारा उत्पन्न होता है।
• मान लीजिए कि X आयाम 3 का चतुर्भुज शंकु है, जो क्षेत्र के ऊपर 4-समिष्ट में समीकरण xy = zw द्वारा परिभाषित है। फिर x = z = 0 द्वारा परिभाषित X में समतल D को मूल बिंदु के निकट समीकरण द्वारा, यहां तक ​​कि समुच्चय के रूप में भी, X में परिभाषित नहीं किया जा सकता है। इससे यह निष्कर्ष निकलता है कि D, X पर 'Q-कार्टियर' नहीं है; अर्थात्, D का कोई भी धनात्मक गुणज कार्टियर नहीं है। वास्तव में, विभाजक वर्ग समूह Cl(X) D के वर्ग द्वारा उत्पन्न पूर्णांक 'Z' के समरूपी है।

विहित भाजक

मान लीजिए कि X आदर्श क्षेत्र में सामान्य प्रकार है। X की सहज समिष्ट U विवृत उपसमुच्चय है जिसके पूरक का कोड आयाम कम से कम 2 है। मान लीजिए कि j: U → X समावेशन मानचित्र है, तो प्रतिबंध समरूपता इस प्रकार है:

$j^{*}:\operatorname {Cl} (X)\to \operatorname {Cl} (U)=\operatorname {Pic} (U)$

समरूपता है, क्योंकि X - U का X में कोड आयाम कम से कम 2 कोडिमेंशन है। उदाहरण के लिए, कोई X के विहित विभाजक K_X को परिभाषित करने के लिए इस समरूपता का उपयोग कर सकता है: यह U पर शीर्ष डिग्री के विभेदक रूपों के लाइन बंडल के अनुरूप वेइल विभाजक (रैखिक तुल्यता तक) है। समतुल्य रूप से, शीफ ${\mathcal {O}}(K_{X})$ प्रत्यक्ष छवि शीफ $j_{*}\Omega _{U}^{n}$ है, जहाँ n, X का आयाम है।

'उदाहरण': मान लीजिए X = 'P'ⁿ सजातीय निर्देशांक x₀, ...,x_n के साथ प्रक्षेप्य n-समिष्ट है। माना U = {x₀ ≠ 0} तब U निर्देशांक y_i = x_i/x₀ के साथ एफ़िन n-समिष्ट के लिए समरूपी है। मान लीजिए कि:

$\omega ={dy_{1} \over y_{1}}\wedge \dots \wedge {dy_{n} \over y_{n}}.$

तब ω U पर तर्कसंगत अंतर रूप है; इस प्रकार, यह तर्कसंगत भाग $\Omega _{\mathbf {P} ^{n}}^{n}$है। जिसमें Z_i= {x_i= 0}, i = 1, ..., n के अनुदिश सरल ध्रुव हैं। भिन्न एफ़िन चार्ट पर स्विच करने से केवल ω का चिह्न परिवर्तित होता है और इसलिए हम देखते हैं कि ω में Z₀ के साथ सरल ध्रुव भी है। इस प्रकार, ω का भाजक है:

$\operatorname {div} (\omega )=-Z_{0}-\dots -Z_{n}$

और इसका विभाजक वर्ग है:

$K_{\mathbf {P} ^{n}}=[\operatorname {div} (\omega )]=-(n+1)[H]$

जहां [H] = [Z_i], i = 0, ..., n है। (यूलर अनुक्रम भी देखें।)

कार्टियर विभाजक

मान लीजिए कि X अभिन्न नोथेरियन योजना है। तब X के निकट तर्कसंगत फलनों का समूह ${\mathcal {M}}_{X}$ है सभी नियमित फलन तर्कसंगत फलन हैं, जो संक्षिप्त त्रुटिहीन अनुक्रम की ओर ले जाते हैं:

$0\to {\mathcal {O}}_{X}^{\times }\to {\mathcal {M}}_{X}^{\times }\to {\mathcal {M}}_{X}^{\times }/{\mathcal {O}}_{X}^{\times }\to 0.$

X पर कार्टियर विभाजक का वैश्विक भाग है। ${\mathcal {M}}_{X}^{\times }/{\mathcal {O}}_{X}^{\times }.$ $\{(U_{i},f_{i})\},$ जहाँ $\{U_{i}\}$ का संवृत आवरण है $X,f_{i}$ का भाग है ${\mathcal {M}}_{X}^{\times }$ पर $U_{i},$ और $f_{i}=f_{j}$ पर $U_{i}\cap U_{j}$ के भाग से गुणा तक ${\mathcal {O}}_{X}^{\times }.$है।

कार्टियर विभाजक में शीफ-सैद्धांतिक विवरण भी होता है। भिन्नात्मक आदर्श शीफ उप- है ${\mathcal {O}}_{X}$-मॉड्यूल का ${\mathcal {M}}_{X}.$ भिन्नात्मक आदर्श शीफ़ J 'विपरीत' है यदि, X में प्रत्येक x के लिए, x का संवृत U उपस्थित है जिस पर J से U का प्रतिबंध समान होता है ${\mathcal {O}}_{U}\cdot f,$ जहाँ $f\in {\mathcal {M}}_{X}^{\times }(U)$ और उत्पाद अंदर ले जाया जाता है ${\mathcal {M}}_{X}.$ प्रत्येक कार्टियर विभाजक संग्रह के रूप में कार्टियर विभाजक के विवरण का उपयोग करके विपरीत भिन्नात्मक आदर्श शीफ $\{(U_{i},f_{i})\},$ को परिभाषित करता है और इसके विपरीत, व्युत्क्रमणीय भिन्नात्मक आदर्श शीव्स कार्टियर विभाजक को परिभाषित करते हैं। यदि कार्टियर विभाजक को D निरूपित किया जाता है, तो संबंधित भिन्नात्मक आदर्श शीफ को ${\mathcal {O}}(D)$ या L(D) निरूपित किया जाता है।

उपरोक्त त्रुटिहीन अनुक्रम के अनुसार, शीफ़ कोहोलॉजी समूहों का त्रुटिहीन अनुक्रम है:

$H^{0}(X,{\mathcal {M}}_{X}^{\times })\to H^{0}(X,{\mathcal {M}}_{X}^{\times }/{\mathcal {O}}_{X}^{\times })\to H^{1}(X,{\mathcal {O}}_{X}^{\times })=\operatorname {Pic} (X).$

कार्टियर विभाजक को प्रमुख कहा जाता है यदि यह समरूपता की छवि में $H^{0}(X,{\mathcal {M}}_{X}^{\times })\to H^{0}(X,{\mathcal {M}}_{X}^{\times }/{\mathcal {O}}_{X}^{\times })$ है, अर्थात्, यदि यह X पर परिमेय फलन का विभाजक है। दो कार्टियर विभाजक 'रैखिक रूप से समतुल्य' हैं यदि उनका अंतर मूलधन है। इंटीग्रल नोथेरियन योजना X पर प्रत्येक लाइन बंडल L कुछ कार्टियर विभाजक का वर्ग है। परिणामस्वरूप, उपरोक्त त्रुटिहीन अनुक्रम कार्टियर डिवाइजर्स मॉड्यूलो रैखिक तुल्यता के समूह के साथ अभिन्न नोथेरियन योजना X पर लाइन बंडलों के पिकार्ड समूह की पहचान करता है। यह सामान्यतः कम नोथेरियन योजनाओं, या नोथेरियन रिंग पर अर्ध-प्रोजेक्टिव योजनाओं के लिए प्रारम्भ होता है, किन्तु यह सामान्य रूप से विफल हो सकता है (यहां तक ​​कि C से अधिक उचित योजनाओं के लिए भी), जो पूर्ण व्यापकता में कार्टियर विभाजकों की रुचि को अल्प कर देता है।

मान लें कि D प्रभावी कार्टियर विभाजक है। फिर संक्षिप्त त्रुटिहीन क्रम है:

$0\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{X}(D)\to {\mathcal {O}}_{D}(D)\to 0.$

यह क्रम ${\mathcal {O}}(D)$ स्थानीय रूप से मुफ़्त है, और इसलिए उस अनुक्रम को टेंसर किया जा रहा है ${\mathcal {O}}(D)$ और संक्षिप्त त्रुटिहीन अनुक्रम उत्पन्न करता है। जब D सुचारु हो, $O_{D}(D)$ X में D का सामान्य बंडल है।

वेइल विभाजक और कार्टियर विभाजक की तुलना

वेइल विभाजक D को 'कार्टियर' कहा जाता है यदि और केवल शीफ ${\mathcal {O}}(D)$ विपरीत है। जब ऐसा होता है, ${\mathcal {O}}(D)$ (M_X में इसके एम्बेडिंग के साथ) कार्टियर विभाजक से संबद्ध रेखा बंडल है। अधिक त्रुटिहीन रूप से, यदि ${\mathcal {O}}(D)$ विपरीत है, तो ऐसा संवृत आवरण {U_i} उपस्थित है जैसे कि ${\mathcal {O}}(D)$ प्रत्येक संवृत समुच्चय पर तुच्छ बंडल तक सीमित है। प्रत्येक U_i के लिए, समरूपता का चयन किया जाता है, ${\mathcal {O}}_{U_{i}}\to {\mathcal {O}}(D)|_{U_{i}}.$ की छवि $1\in \Gamma (U_{i},{\mathcal {O}}_{U_{i}})=\Gamma (U_{i},{\mathcal {O}}_{X})$ इस मानचित्र के अंतर्गत अनुभाग ${\mathcal {O}}(D)$ है। क्योंकि ${\mathcal {O}}(D)$ तर्कसंगत फलन के समूह के उपशीर्षक के रूप में परिभाषित किया गया है, 1 की छवि को कुछ तर्कसंगत फलन के साथ पहचाना जा सकता है, संग्रह $\{(U_{i},f_{i})\}$ तब कार्टियर विभाजक है। यह उचित प्रकार से परिभाषित है क्योंकि इसमें सम्मिलित एकमात्र विकल्प कवरिंग और समरूपता के थे, जिनमें से कोई भी कार्टियर विभाजक को नहीं परिवर्तित करता है। इस कार्टियर विभाजक का उपयोग शीफ का उत्पादन करने के लिए किया जा सकता है, जिसे भेद के लिए हम L(D) नोट करेंगे। ${\mathcal {O}}(D)$ की समरूपता है संवृत कवर {U_i} पर कार्य करके L(D) के साथ ${\mathcal {O}}(D)$ को परिभाषित किया गया है। यह परीक्षण करने के लिए मुख्य तथ्य यह है कि संक्रमण फलन करता है ${\mathcal {O}}(D)$ और L(D) संगत हैं, और इसका तात्पर्य यह है कि इन सभी फलनों $f_{i}/f_{j}.$ का रूप है।

विपरीत दिशा में, कार्टियर विभाजक $\{(U_{i},f_{i})\}$ इंटीग्रल नोथेरियन योजना पर X प्राकृतिक प्रकार से X पर वेइल विभाजक निर्धारित करता है $\operatorname {div}$ संवृत समुच्चय U_i पर फलन f_i के लिए है।

यदि;

नोएथेरियन योजना X को 'फैक्टोरियल' कहा जाता है यदि X के सभी स्थानीय वलय अद्वितीय गुणनखंडन डोमेन हैं। (कुछ लेखक स्थानीय रूप से फैक्टोरियल कहते हैं।) विशेष रूप से, प्रत्येक नियमित योजना तथ्यात्मक होती है। फैक्टोरियल योजना X पर, प्रत्येक वेइल विभाजक D स्थानीय रूप से प्रमुख है, और इसी प्रकार ${\mathcal {O}}(D)$ सदैव लाइन बंडल होता है। चूँकि, सामान्यतः, सामान्य योजना पर वेइल विभाजक को स्थानीय रूप से प्रमुख होने की आवश्यकता नहीं होती है; ऊपर चतुर्भुज शंकु के उदाहरण देखें।

प्रभावी कार्टियर विभाजक

प्रभावी कार्टियर विभाजक वे होते हैं जो आदर्श शीव्स के अनुरूप होते हैं। वास्तव में, प्रभावी कार्टियर विभाजक के सिद्धांत को तर्कसंगत कार्यों के समूह या आंशिक आदर्श समूह के संदर्भ के बिना विकसित किया जा सकता है।

मान लीजिए कि X योजना है। X पर 'प्रभावी कार्टियर विभाजक' आदर्श शीफ I है जो विपरीत है और ऐसा है कि X में प्रत्येक बिंदु x के लिए, आधार I_x प्रमुख है। यह आवश्यक है कि प्रत्येक x के निकट, संवृत एफ़िन उपसमुच्चय U = Spec A उपस्थित हो, जैसे कि U ∩ D = Spec A / (f), जहां f, A में गैर-शून्य भाजक है। दो प्रभावी कार्टियर विभाजकों का योग आदर्श शीव्स के गुणन से युग्मित होता है।

प्रभावी कार्टियर विभाजक के परिवारों का उत्तम सिद्धांत है। मान लीजिए φ : X → S रूपवाद है। X पर S के लिए सापेक्ष प्रभावी कार्टियर विभाजक X पर प्रभावी कार्टियर विभाजक D है जो S पर समतल है। समतलता धारणा के कारण, प्रत्येक के लिए $S'\to S,$ D से पुलबैक $X\times _{S}S'$ है, और यह पुलबैक प्रभावी कार्टियर विभाजक है। विशेष रूप से, यह φ के फाइबर के लिए सत्य है।

कोडैरा की लेम्मा

(बड़े) कार्टियर विभाजक के मूल परिणाम के रूप में, कोडैरा का लेम्मा नामक परिणाम होता है:

मान लीजिये X एक अघुलनशील है प्रोजेक्टिव किस्म और मान लीजिये D बड़ा कार्टियर विभाजक बनाया जाता है X और मान लीजिये H पर प्रभावी कार्टियर विभाजक बनाया जाता है X तब

$H^{0}(X,{\mathcal {O}}_{X}(mD-H))\neq 0$.

सभी के लिए पर्याप्त रूप से बड़ा $m\in N(X,D)$

कोडैरा की प्रमेयिका बड़े भाजक के विषय में कुछ परिणाम देती है।

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

मान लीजिए φ : X → Y अभिन्न स्थानीय नोथेरियन योजनाओं का रूप है। विभाजक D को एक योजना से दूसरी योजना में स्थानांतरित करने के लिए φ का उपयोग करना प्रायः—किन्तु सदैव नहीं—संभव होता है। क्या यह संभव है यह इस विषय पर निर्भर करता है कि भाजक वेइल या कार्टियर भाजक है, क्या भाजक को X से Y या इसके विपरीत स्थानांतरित किया जाना है, और φ में कौन से अतिरिक्त गुण हो सकते हैं।

यदि Z, X पर अभाज्य वेइल विभाजक है, तो ${\overline {\varphi (Z)}}$ Y का विवृत अपरिवर्तनीय उपयोजना है। φ के आधार पर, यह प्राइम वेइल विभाजक हो भी सकता है और नहीं भी। उदाहरण के लिए, यदि φ समतल में किसी बिंदु का ब्लो अप है और Z असाधारण भाजक है, तो इसकी छवि वेइल भाजक नहीं है। इसलिए, φ_*Z को परिभाषित किया गया है ${\overline {\varphi (Z)}}$ यदि वह उपयोजना अभाज्य भाजक है और अन्यथा उसे शून्य भाजक के रूप में परिभाषित किया गया है। इसे रैखिकता द्वारा विस्तारित करने पर, यह मानते हुए कि X अर्ध-सघन है, जो समरूपता Div(X) → Div(Y) को परिभाषित करेगा जिसे पुशफॉरवर्ड कहा जाता है। (यदि X अर्ध-सघन नहीं है, तो पुशफॉरवर्ड स्थानीय रूप से सीमित योग होने में विफल हो सकता है।) यह चाउ समूहों पर पुशफॉरवर्ड की विशेष स्थिति है।

यदि Z कार्टियर विभाजक है, तो φ पर हल्की परिकल्पना के अंतर्गत, पुलबैक $\varphi ^{*}Z$ है। शीफ़-सैद्धांतिक रूप से, जब कोई पुलबैक मानचित्र $\varphi ^{-1}{\mathcal {M}}_{Y}\to {\mathcal {M}}_{X}$ होता है, तो इस पुलबैक का उपयोग कार्टियर विभाजकों के पुलबैक को परिभाषित करने के लिए किया जा सकता है। स्थानीय अनुभागों के संदर्भ में, का पुलबैक $\{(U_{i},f_{i})\}$ को $\{(\varphi ^{-1}(U_{i}),f_{i}\circ \varphi )\}$ द्वारा परिभाषित किया गया है यदि φ प्रभावी है तो पुलबैक को सदैव परिभाषित किया जाता है, किन्तु इसे सामान्य रूप से परिभाषित नहीं किया जा सकता है। उदाहरण के लिए, यदि X = Z और φ, Y में Z का समावेश है, फिर φ^*Z अपरिभाषित है क्योंकि संबंधित स्थानीय अनुभाग प्रत्येक समिष्ट पर शून्य होंगे। (चूँकि, संबंधित लाइन बंडल का पुलबैक परिभाषित है।)

यदि φ समतल है, तो वेइल विभाजक का पुलबैक परिभाषित किया गया है। इस स्थिति में, Z का पुलबैक φ^*Z = φ⁻¹(Z) है। φ की समतलता यह सुनिश्चित करती है कि Z की व्युत्क्रम छवि का कोड आयाम बना रहे। यह उन आकृतियों के लिए विफल हो सकता है जो समतल नहीं हैं, उदाहरण के लिए, छोटे संकुचन के लिए है।

प्रथम चेर्न वर्ग

अभिन्न नोथेरियन योजना;

$c_{1}:\operatorname {Pic} (X)\to \operatorname {Cl} (X),$

प्रथम चेर्न वर्ग के रूप में जाना जाता है। यदि X सामान्य है तो प्रथम चेर्न वर्ग इंजेक्शन है, और यदि X फैक्टोरियल है (जैसा कि ऊपर परिभाषित है) तो यह समरूपता है। विशेष रूप से, कार्टियर विभाजक को किसी भी नियमित योजना पर वेइल विभाजक के साथ पहचाना जा सकता है, और इसलिए प्रथम चेर्न वर्ग X नियमित के लिए समरूपता है।

स्पष्ट रूप से, प्रथम चेर्न वर्ग को इस प्रकार परिभाषित किया जा सकता है। इंटीग्रल नोथेरियन योजना तब L के प्रथम चेर्न वर्ग को विभाजक के रूप में परिभाषित किया जा सकता है। परिमेय भाग s को परिवर्तित करने से यह भाजक रैखिक तुल्यता द्वारा परिवर्तित किया जाता है, क्योंकि (fs) = (f) + (s) गैर-शून्य परिमेय फलन f और L के गैर-शून्य परिमेय भागs के लिए है। इसलिए Cl(X) में तत्व c₁(L) उचित प्रकार से परिभाषित है।

आयाम n का समिष्ट प्रकार;

$\operatorname {Cl} (X)\to H_{2n-2}^{\operatorname {BM} }(X,\mathbf {Z} ).$

पश्चात वाले समूह को इसकी शास्त्रीय (यूक्लिडियन) टोपोलॉजी के साथ, X के समिष्ट बिंदुओं के X(C) का उपयोग करके परिभाषित किया गया है। इसी प्रकार, पिकार्ड समूह टोपोलॉजिकल अर्थ में प्रथम चेर्न वर्ग द्वारा इंटीग्रल कोहोमोलॉजी का मानचित्रण करता है:

$\operatorname {Pic} (X)\to H^{2}(X,\mathbf {Z} ).$

दो समरूपताएं क्रमविनिमेय आरेख से संबंधित हैं, जहां उचित ऊर्ध्वाधर मानचित्र बोरेल-मूर होमोलॉजी में X के मौलिक वर्ग के साथ कैप उत्पाद है:

${\begin{array}{ccc}\operatorname {Pic} (X)&\longrightarrow &H^{2}(X,\mathbf {Z} )\\\downarrow &&\downarrow \\\operatorname {Cl} (X)&\longrightarrow &H_{2n-2}^{\operatorname {BM} }(X,\mathbf {Z} )\end{array}}$

'C ' पर X के लिए, दोनों ऊर्ध्वाधर मानचित्र समरूपता हैं।

लाइन बंडलों और रैखिक प्रणालियों के वैश्विक भाग

कार्टियर विभाजक प्रभावी होता है यदि इसका स्थानीय परिभाषित फलन f_i नियमित हो (केवल तर्कसंगत फलन नहीं)। उस स्थिति में, कार्टियर विभाजक को X में कोडिमेंशन 1 की विवृत उप-योजना के साथ पहचाना जा सकता है, उप-योजना को स्थानीय रूप से f_i = 0 द्वारा परिभाषित किया गया है। कार्टियर विभाजक D प्रभावी विभाजक के रैखिक रूप से समतुल्य है यदि और केवल इसकी संबद्ध रेखा बंडल हो ${\mathcal {O}}(D)$ गैर-शून्य वैश्विक अनुभाग है; तब D, s के शून्य बिंदुपथ के रैखिक रूप से समतुल्य है।

मान लीजिए कि X क्षेत्र k पर प्रक्षेप्य विविधता है। फिर वैश्विक भाग को गुणा करना ${\mathcal {O}}(D)$ k में शून्येतर अदिश द्वारा इसका शून्य स्थान परिवर्तित नहीं किया जाता है। परिणामस्वरूप, वैश्विक वर्गों H⁰(X, O(D)) के k-सदिश समिष्ट में रेखाओं के प्रक्षेप्य समिष्ट को D के रैखिक रूप से समतुल्य प्रभावी विभाजकों के समुच्चय से पहचाना जा सकता है, जिसे D की 'पूर्ण रैखिक प्रणाली' कहा जाता है। इस प्रक्षेप्य समिष्ट के प्रक्षेप्य रैखिक उपसमिष्ट को विभाजकों की रैखिक प्रणाली कहा जाता है।

लाइन बंडल के वैश्विक भागों के समिष्ट का अध्ययन करने का कारण किसी दिए गए विविधता से लेकर प्रक्षेप्य समिष्ट तक के संभावित मानचित्रों को समझना है। बीजगणितीय विविधता के वर्गीकरण के लिए यह आवश्यक है। स्पष्ट रूप से, क्षेत्र k पर विविधता X से प्रक्षेप्य समिष्ट Pⁿ तक रूपवाद, X पर लाइन बंडल L निर्धारित करता है, जो मानक लाइन बंडल का पुलबैक बंडल ${\mathcal {O}}(1)$ पर Pⁿ है। इसके अतिरिक्त, L n+1 अनुभागों के साथ आता है जिनका आधार समिष्ट रिक्त है। रूपवाद X → Pⁿ निर्धारित करता है। ये अवलोकन कार्टियर विभाजक (या लाइन बंडल) के लिए धनात्मकता की कई धारणाओं को उत्पन्न करते हैं, जैसे कि पर्याप्त विभाजक और नेफ विभाजक है।

क्षेत्र k पर प्रक्षेप्य विविधता X पर विभाजक D के लिए, k-सदिश समिष्ट H⁰(X, O(D)) का सीमित आयाम है। रीमैन-रोच प्रमेय इस सदिश समिष्ट के आयाम की गणना करने के लिए मौलिक उपकरण है जब X प्रक्षेप्य वक्र है। क्रमिक सामान्यीकरण, हिरज़ेब्रुच-रीमैन-रोच प्रमेय और ग्रोथेंडिक-रीमैन-रोच प्रमेय, किसी क्षेत्र पर किसी भी आयाम की प्रक्षेप्य विविधता X के लिए H⁰(X, O(D)) के आयाम के विषय में कुछ सूचना देते हैं।

क्योंकि विहित विभाजक आंतरिक रूप से विविधता से जुड़ा होता है, विविधता के वर्गीकरण में महत्वपूर्ण भूमिका K_X और उसके धनात्मक गुणकों द्वारा दिए गए प्रक्षेप्य समिष्ट के मानचित्रों द्वारा निभाई जाती है। X का कोडैरा आयाम प्रमुख द्विवार्षिक अपरिवर्तनीय है, जो m बढ़ने पर सदिश रिक्त समिष्ट H⁰(X, mK_X) (अर्थात् H⁰(X, O(mK_X))) की वृद्धि को मापता है। कोडैरा आयाम सभी n-आयामी विविधता को n+2 वर्गों में विभाजित करता है, जो (सामान्यतः) धनात्मक वक्रता से ऋणात्मक वक्रता की ओर जाते हैं।

Q-विभाजक

माना कि X सामान्य प्रकार है। (वेइल) 'Q'-विभाजक तर्कसंगत गुणांक के साथ X की इरेड्यूसबल कोडिमेंशन-1 उप-विविधता का सीमित औपचारिक रैखिक संयोजन है। ('R'-भाजक को इसी प्रकार परिभाषित किया गया है।) यदि गुणांक गैर-नकारात्मक हैं तो 'Q'-विभाजक 'प्रभावी' होता है। यदि mD किसी धनात्मक पूर्णांक m के लिए कार्टियर विभाजक है तो 'Q'-विभाजक D 'Q-कार्टियर' है। यदि X सुचारू है, तो प्रत्येक 'Q'-विभाजक 'Q'-कार्टियर है।

यदि,

$D=\sum _{j}a_{j}Z_{j}$

क्यू-विभाजक है, तो इसका राउंड-डाउन भाजक है:

$\lfloor D\rfloor =\sum \lfloor a_{j}\rfloor Z_{j},$

जहाँ $\lfloor a\rfloor$ a से कम या उसके समान सबसे बड़ा पूर्णांक है। शीफ ${\mathcal {O}}(D)$ को तब ${\mathcal {O}}(\lfloor D\rfloor )$ के रूप में परिभाषित किया जाता है।

ग्रोथेंडि-लेफ़्सचेत्ज़ हाइपरप्लेन प्रमेय

लेफ्शेट्ज़ हाइपरप्लेन प्रमेय का तात्पर्य है कि कम से कम 4 आयाम की चिकनी समिष्ट प्रक्षेप्य प्रकार उदाहरण के लिए, यदि Y समिष्ट प्रक्षेप्य में कम से कम 3 आयाम का सहज पूर्ण प्रतिच्छेदन प्रकार है, तो Y का पिकार्ड समूह 'Z' के समरूपी है, जो प्रक्षेप्य समिष्ट पर लाइन बंडल O(1) के प्रतिबंध से उत्पन्न होता है।

ग्रोथेंडिक ने लेफ्शेट्ज़ के प्रमेय को कई दिशाओं में सामान्यीकृत किया, जिसमें इच्छानुसार आधार क्षेत्र, एकवचन प्रकार और प्रक्षेपी प्रकारों के अतिरिक्त स्थानीय वलय पर परिणाम सम्मिलित थे। विशेष रूप से, यदि R पूर्ण प्रतिच्छेदन स्थानीय वलय है, जो अधिकतम 3 कोड आयाम में भाज्य है (उदाहरण के लिए, यदि R के गैर-नियमित स्थान का कोड आयाम कम से कम 4 है), तो R अद्वितीय गुणनभागडोमेन है (और इसलिए प्रत्येक Spec(R) पर वेइल विभाजक कार्टियर है)। यहां बंधा हुआ आयाम इष्टतम है, जैसा कि ऊपर दिए गए 3-आयामी क्वाड्रिक शंकु के उदाहरण से दिखाया गया है।

संदर्भ

• Dieudonné, Jean (1985), History of Algebraic Geometry, Wadsworth Mathematics Series, translated by Judith D. Sally, Belmont, CA: Wadsworth International Group, ISBN 0-534-03723-2, MR 0780183
• Eisenbud, David; Harris, Joe (2016), 3264 and All That: A Second Course in Algebraic Geometry, C. U.P., ISBN 978-1107602724
• Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32: 5–361. doi:10.1007/bf02732123. MR 0238860.
• Grothendieck, Alexander; Raynaud, Michèle (2005) [1968], Laszlo, Yves (ed.), Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Documents Mathématiques, vol. 4, Paris: Société Mathématique de France, arXiv:math/0511279, Bibcode:2005math.....11279G, ISBN 978-2-85629-169-6, MR 2171939
• Section II.6 of Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York, Heidelberg: Springer-Verlag, doi:10.1007/978-1-4757-3849-0, ISBN 0-387-90244-9, MR 0463157
• Kleiman, Steven (2005), "The Picard scheme", Fundamental Algebraic Geometry, Math. Surveys Monogr., vol. 123, Providence, R.I.: American Mathematical Society, pp. 235–321, arXiv:math/0504020, Bibcode:2005math......4020K, MR 2223410
• Kollár, János (2013), Singularities of the Minimal Model Program, Cambridge University Press, doi:10.1017/CBO9781139547895, ISBN 978-1-107-03534-8, MR 3057950
• Lazarsfeld, Robert (2004), Positivity in Algebraic Geometry, vol. 1, Berlin: Springer-Verlag, doi:10.1007/978-3-642-18808-4, ISBN 3-540-22533-1, MR 2095471

बाहरी संबंध

• The Stacks Project Authors, The Stacks Project