पर्याप्त लाइन बंडल: Difference between revisions

Revision as of 17:22, 23 July 2023

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

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

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

परिचय

एक लाइन बंडल और हाइपरप्लेन विभाजक का पुलबैक

जहाँ योजना (गणित) में रूपवाद $f\colon X\to Y$ को देखते हुए, Y पर सदिश बंडल E (या अधिक सामान्यतः Y पर सुसंगत शीफ) में X, $f^{*}E$ के लिए पुलबैक बंडल होता है, (मॉड्यूल या ऑपरेशंस का शीफ देखें)। सदिश बंडल का पुलबैक उसी रैंक का सदिश बंडल है। विशेष रूप से, लाइन बंडल का पुलबैक लाइन बंडल है। (संक्षेप में, X में बिंदु x पर $f^{*}E$ का फाइबर f(x) पर E का फाइबर है।)

इस लेख में वर्णित धारणाएँ प्रक्षेप्य स्थान के रूपवाद के स्थिति में इस निर्माण से संबंधित हैं

f\colon X\to \mathbb {P} ^{n},

E = O(1) के साथ सुसंगत शीफ या सदिश बंडलों के उदाहरण जिनके वैश्विक खंड वेरिएबल $x_{0},\ldots ,x_{n}$ में डिग्री 1 (अर्थात, रैखिक कार्य) के सजातीय बहुपद हैं . लाइन बंडल O(1) को $\mathbb {P} ^{n}$ में हाइपरप्लेन से जुड़े लाइन बंडल के रूप में भी वर्णित किया जा सकता है (क्योंकि O(1) के खंड का शून्य समुच्चय हाइपरप्लेन है)। उदाहरण के लिए, यदि f संवृत विसर्जन है, तो यह इस प्रकार है कि यह पुलबैक $f^{*}O(1)$ का अनुसरण करता है जैसे हाइपरप्लेन सेक्शन से जुड़े X पर लाइन बंडल है ( $\mathbb {P} ^{n}$ हाइपरप्लेन के साथ X का प्रतिच्छेदन)।).

बेसपॉइंट-मुक्त लाइन बंडल

मान लीजिए कि X लाइन बंडल L के साथ फ़ील्ड (गणित) k (उदाहरण के लिए, बीजगणितीय विविधता) पर योजना है। (एक लाइन बंडल को विपरीत शीफ भी कहा जा सकता है।) मान लीजिए $a_{0},...,a_{n}$ L के वैश्विक अनुभागों का k-सदिश स्थान $H^{0}(X,L)$ के तत्व बनें। प्रत्येक अनुभाग का शून्य समुच्चय X का संवृत उपसमुच्चय है; U को उन बिंदुओं का विवृत उपसमुच्चय बनने देना चाहिए जिन पर $a_{0},\ldots ,a_{n}$ में कम से कम शून्य ना हो तब फिर यह अनुभाग रूपवाद को परिभाषित करते हैं

f\colon U\to \mathbb {P} _{k}^{n},\ x\mapsto [a_{0}(x),\ldots ,a_{n}(x)].

अधिक विस्तार से: U के प्रत्येक बिंदु X के लिए, X के ऊपरLका फाइबर अवशेष क्षेत्र के (X) पर 1-आयामी सदिश स्थान है। इस फाइबर के लिए आधार का चयन करने में $a_{0}(x),\ldots ,a_{n}(x)$ n+1 संख्याओं के अनुक्रम में बनाता है, सभी शून्य नहीं, और इसलिए प्रक्षेप्य स्थान में बिंदु है। आधार की पसंद को बदलने से सभी संख्याएँ ही गैर-शून्य स्थिरांक द्वारा मापी जाती हैं, और इसलिए प्रक्षेप्य स्थान में बिंदु पसंद से स्वतंत्र होता है।

इसके अतिरिक्त, इस रूपवाद में यह गुण है किLसे U तक का प्रतिबंध पुलबैक $f^{*}O(1)$ के लिए आइसोमोर्फिक है .^[1]

स्कीम X पर लाइन बंडल L का आधार स्थान L के सभी वैश्विक अनुभागों के शून्य समुच्चयों का प्रतिच्छेदन है। लाइन बंडल L को बेसपॉइंट-मुक्त कहा जाता है यदि इसका आधार स्थान खाली है। अर्थात्, X के प्रत्येक बिंदु x के लिए L का वैश्विक खंड है जो x पर गैर-शून्य है। यदि X फ़ील्ड k पर उचित रूपवाद है, तब सदिश समष्टि $H^{0}(X,L)$ वैश्विक वर्गों का सीमित आयाम है; आयाम को $h^{0}(X,L)$ कहा जाता है.^[2] तब बेसपॉइंट-मुक्त लाइन बंडल L, k पर रूपवाद $f\colon X\to \mathbb {P} ^{n}$ निर्धारित करता है के ऊपर, जहाँ $n=h^{0}(X,L)-1$ , $H^{0}(X,L)$ के लिए आधार चुनकर दिया गया . बिना कोई विकल्प चुने इसे रूपवाद के रूप में वर्णित किया जा सकता है

f\colon X\to \mathbb {P} (H^{0}(X,L))

X से $H^{0}(X,L)$ में हाइपरप्लेन के स्थान तक , कैनोनिक रूप से बेसपॉइंट-फ्री लाइन बंडल Lसे जुड़ा हुआ है। इस रूपवाद में यह गुण है कि L पुलबैक $f^{*}O(1)$ है .

इसके विपरीत, किसी योजना X से प्रक्षेप्य स्थान तक किसी भी रूपवाद f के लिए $\mathbb {P} ^{n}$ k के ऊपर, पुलबैक लाइन बंडल $f^{*}O(1)$ बेसपॉइंट-मुक्त है। वास्तव में, O(1) $\mathbb {P} ^{n}$ पर आधार-बिंदु-मुक्त है, क्योंकि $\mathbb {P} ^{n}$ प्रत्येक बिंदु y के लिए हाइपरप्लेन है जिसमें y नहीं है। इसलिए, X में प्रत्येक बिंदु x के लिए, $\mathbb {P} ^{n}$ पर O(1) का खंड s है यह f(x) पर शून्य नहीं है, और s का पुलबैक $f^{*}O(1)$ वैश्विक खंड है वह x पर शून्य नहीं है। संक्षेप में, बेसपॉइंट-मुक्त लाइन बंडल बिल्कुल वही हैं जिन्हें प्रोजेक्टिव स्पेस में कुछ आकारिकी द्वारा O(1) के पुलबैक के रूप में व्यक्त किया जा सकता है।

नेफ, विश्व स्तर पर उत्पन्न, अर्ध-पर्याप्त

उचित वक्र C पर k के ऊपर लाइन बंडल L की डिग्री को L के किसी भी गैरशून्य तर्कसंगत खंड s के विभाजक की डिग्री के रूप में परिभाषित किया गया है (एस) )। इस भाजक के गुणांक उन बिंदुओं पर धनात्मक होते हैं जहां s गायब हो जाता है और जहां s का ध्रुव होता है वहां ऋणात्मक होते हैं। इसलिए, कोई भी रेखा L को वक्र C पर इस प्रकार बांधती है कि $H^{0}(C,L)\neq 0$ इसमें गैर-ऋणात्मक डिग्री होती है (क्योंकि तर्कसंगत वर्गों के विपरीत, सी के ऊपर Lके वर्गों में कोई ध्रुव नहीं है)।^[3] विशेष रूप से, वक्र पर प्रत्येक बेसपॉइंट-मुक्त लाइन बंडल में गैर-ऋणात्मक डिग्री होती है। परिणामस्वरूप, किसी फ़ील्ड पर किसी भी उचित स्कीम नही बनाई गई ^[4]

अधिक सामान्यतः, तब स्कीम पर $O_{X}$ मॉड्यूल का शीफ F,X को 'विश्व स्तर पर उत्पन्न' कहा जाता है यदि वैश्विक अनुभागों $s_{i}\in H^{0}(X,F)$ का समुच्चय होता है, जैसे ऐसा कि संगत रूपवाद

\bigoplus _{i\in I}O_{X}\to F

संग्रह ों का विशेषण है।^[5] लाइन बंडल विश्व स्तर पर तभी उत्पन्न होता है जब वह बेसपॉइंट-मुक्त हो।

उदाहरण के लिए, एफ़िन योजना पर प्रत्येक अर्ध-सुसंगत शीफ विश्व स्तर पर उत्पन्न होता है।^[6] समष्टि ज्यामिति में, कार्टन का प्रमेय a कहता है कि स्टीन मैनिफोल्ड पर प्रत्येक सुसंगत शीफ विश्व स्तर पर उत्पन्न होता है।

किसी फ़ील्ड पर उचित योजना पर लाइन बंडल L'अर्ध-पर्याप्त' है यदि कोई धनात्मक पूर्णांक r है जैसे कि लाइन बंडलों का टेंसर पॉवर $L^{\otimes r}$ बेसपॉइंट-मुक्त है। अर्ध-एम्पल लाइन बंडल नेफ है (बेसपॉइंट-फ्री लाइन बंडलों के लिए संबंधित तथ्य के अनुसार)।^[7]

बहुत विस्तृत लाइन बंडल

फ़ील्ड k पर उचित योजना X पर लाइन बंडल L को 'बहुत पर्याप्त' कहा जाता है यदि यह बेसपॉइंट-मुक्त और संबंधित रूपवाद

f\colon X\to \mathbb {P} _{k}^{n}

एक संवृत विसर्जन है. यहाँ $n=h^{0}(X,L)-1$ . समान रूप से, L बहुत प्रचुर है यदि^[8] पश्चात् की परिभाषा का उपयोग किसी भी क्रमविनिमेय वलय पर उचित योजना पर लाइन बंडल के लिए बहुत प्रचुरता को परिभाषित करने के लिए किया जाता है।^[9]

यह नाम 1961 में अलेक्जेंडर ग्रोथेंडिक द्वारा प्रस्तुत किया गया था।^[10] भाजक की रैखिक प्रणालियों के संदर्भ में पहले विभिन्न नामों का उपयोग किया गया था।

संबद्ध रूपवाद F के साथ क्षेत्र पर उचित योजना X पर बहुत ही विस्तृत लाइन बंडल L के लिए X में वक्र C पर L की डिग्री $\mathbb {P} ^{n}$ में वक्र C पर L की डिग्री है | तब L की X में प्रत्येक वक्र पर धनात्मक डिग्री होती है (क्योंकि प्रक्षेप्य स्थान की प्रत्येक उप-विविधता की धनात्मक डिग्री होती है)।^[11]

परिभाषाएँ

अर्ध-कॉम्पैक्ट योजनाओं पर पर्याप्त विपरीत संग्रह

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

मान लीजिए कि X योजना है, और मान लीजिए ${\mathcal {L}}$ पर व्युत्क्रमणीय शीफ है। जो कि X है प्रत्येक $x\in X$ , के लिए मान लीजिए ${\mathfrak {m}}_{x}$ केवल x पर समर्थित कम उपयोजना के आदर्श शीफ को निरूपित करें। $s\in \Gamma (X,{\mathcal {L}})$ के लिए परिभाषित करता है

X_{s}=\{x\in X\colon s_{x}\not \in {\mathfrak {m}}_{x}{\mathcal {L}}_{x}\}.

समान रूप से, यदि $\kappa (x)$ x पर अवशेष क्षेत्र को दर्शाता है (जिसे x पर समर्थित गगनचुंबी भवन शीफ के रूप में माना जाता है)।

X_{s}=\{x\in X\colon {\bar {s}}_{x}\neq 0\in \kappa (x)\otimes {\mathcal {L}}_{x}\},

जहाँ

{\bar {s}}_{x}

टेंसर उत्पाद में s की छवि है।

$s\in \Gamma (X,{\mathcal {L}})$ हल करना है . प्रत्येक s के लिए, प्रतिबंध ${\mathcal {L}}|_{X_{s}}$ मुफ़्त ${\mathcal {O}}_{X}$ -मॉड्यूल है जिसको s के प्रतिबंध द्वारा तुच्छीकृत किया गया है, जिसका अर्थ है गुणा-दर-s रूपवाद ${\mathcal {O}}_{X_{s}}\to {\mathcal {L}}|_{X_{s}}$ समरूपता है. समुच्चय $X_{s}$ सदैव विवृत रहता है, और समावेशन रूपवाद $X_{s}\to X$ एफ़िन रूपवाद है। बावजूद इसके, $X_{s}$ एफ़िन योजना होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि $s=1\in \Gamma (X,{\mathcal {O}}_{X})$ , तब $X_{s}=X$ अपने आप में विवृत है और अपने आप से जुड़ा हुआ है किन्तु सामान्यतः बंधा हुआ नहीं है।

मान लें कि X अर्ध-कॉम्पैक्ट है। तब ${\mathcal {L}}$ पर्याप्त है यदि, प्रत्येक के लिए $x\in X$ उपस्तिथ है, और वहाँ $n\geq 1$ और $s\in \Gamma (X,{\mathcal {L}}^{\otimes n})$ उपस्तिथ है ऐसा है कि $x\in X_{s}$ और $X_{s}$ एफ़िन योजना है.^[12] उदाहरण के लिए, तुच्छ रेखा बंडल ${\mathcal {O}}_{X}$ पर्याप्त है यदि और केवल यदि X अर्ध-एफ़िन रूपवाद है|अर्ध-एफ़िन है।^[13]

सामान्यतः, यह सच नहीं है कि प्रत्येक $X_{s}$ एफ़िन है. उदाहरण के लिए, यदि किसी बिंदु O के लिए $X=\mathbf {P} ^{2}\setminus \{O\}$ , और यदि ${\mathcal {L}}$ , ${\mathcal {O}}_{\mathbf {P} ^{2}}(1)$ से X तक का प्रतिबंध है, तो फिर ${\mathcal {L}}$ और ${\mathcal {O}}_{\mathbf {P} ^{2}}(1)$ समान वैश्विक अनुभाग हैं, और ${\mathcal {L}}$ के अनुभाग का गैर-लुप्त होने वाला स्थान है यदि एफ़िन है तो केवल ${\mathcal {O}}_{\mathbf {P} ^{2}}(1)$ संबंधित अनुभाग O सम्मिलित है.

परिभाषा में ${\mathcal {L}}$ की शक्तियों को अनुमति देना आवश्यक है. वास्तव में, प्रत्येक N के लिए, यह संभव है $X_{s}$ प्रत्येक $s\in \Gamma (X,{\mathcal {L}}^{\otimes n})$ के लिए $n\leq N$ साथ मुख्य रूप से गैर-सम्बंधित है मान लीजिए कि Z, $\mathbf {P} ^{2}$ , $X=\mathbf {P} ^{2}\setminus Z$ अंकों का सीमित समुच्चय है , ${\mathcal {L}}={\mathcal {O}}_{\mathbf {P} ^{2}}(1)|_{X}$ ${\mathcal {L}}^{\otimes N}$ के अनुभागों का लुप्त हो रहा लोकी डिग्री N के समतल वक्र हैं। सामान्य स्थिति में बिंदुओं का पर्याप्त बड़ा समूह Z को मानकर, हम यह सुनिश्चित कर सकते हैं कि डिग्री N (और इसलिए किसी भी निचली डिग्री) के किसी भी समतल वक्र में Z के सभी बिंदु सम्मिलित नहीं हैं। विशेष रूप से उनके गैर -लुप्त लोकी सभी असंबद्ध हैं।

$\textstyle S=\bigoplus _{n\geq 0}\Gamma (X,{\mathcal {L}}^{\otimes n})$ को परिभाषित करना है . मान लीजिए कि $p\colon X\to \operatorname {Spec} \mathbf {Z}$ संरचनात्मक रूपवाद को निरूपित करता है। ${\mathcal {O}}_{X}$ -बीजगणित समरूपताएँ $\textstyle p^{*}({\tilde {S}})\to \bigoplus _{n\geq 0}{\mathcal {L}}^{\otimes n}$ और श्रेणीबद्ध वलय s की एंडोमोर्फिज्म के मध्य प्राकृतिक समरूपता है। s की पहचान एंडोमोर्फिज्म होमोमोर्फिज्म $\varepsilon$ से मेल खाती है . $\operatorname {Proj}$ फ़ैक्टर को प्रयुक्त करने से X की खुली उप-योजना से रूपवाद उत्पन्न करता है जिसे $G(\varepsilon )$ को $\operatorname {Proj} S$ से निरूपित किया गया है

पर्याप्त व्युत्क्रमणीय शीव्स के मूल लक्षण वर्णन में कहा गया है कि यदि X अर्ध-कॉम्पैक्ट अर्ध-पृथक योजना है और ${\mathcal {L}}$ X पर विपरीत शीफ है, तब निम्नलिखित दावे समतुल्य हैं:^[14]

${\mathcal {L}}$ पर्याप्त है.
विवृत समुच्चय $X_{s}$ , जहाँ $s\in \Gamma (X,{\mathcal {L}}^{\otimes n})$ और $n\geq 0$ , X की टोपोलॉजी के लिए आधार बनाएं गये है |
विवृत समुच्चय $X_{s}$ स्नेह होने की संपत्ति के साथ, जहां $s\in \Gamma (X,{\mathcal {L}}^{\otimes n})$ और $n\geq 0$ , X की टोपोलॉजी के लिए आधार बनाएं गये है।
$G(\varepsilon )=X$ और रूपवाद $G(\varepsilon )\to \operatorname {Proj} S$ प्रमुख विवृत विसर्जन है.
$G(\varepsilon )=X$ और रूपवाद $G(\varepsilon )\to \operatorname {Proj} S$ इसकी छवि के साथ X के अंतर्निहित टोपोलॉजिकल स्पेस का होमोमोर्फिज्म है।
X पर ${\mathcal {F}}$ के प्रत्येक अर्ध-सुसंगत शीफ़ के लिए, विहित मानचित्र $\bigoplus _{n\geq 0}\Gamma (X,{\mathcal {F}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {L}}^{\otimes n})\otimes _{\mathbf {Z} }{\mathcal {L}}^{\otimes {-n}}\to {\mathcal {F}}$ विशेषण है.
X पर ${\mathcal {J}}$ के आदर्शों के प्रत्येक अर्ध-सुसंगत संग्रह के लिए, विहित मानचित्र $\bigoplus _{n\geq 0}\Gamma (X,{\mathcal {J}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {L}}^{\otimes n})\otimes _{\mathbf {Z} }{\mathcal {L}}^{\otimes {-n}}\to {\mathcal {J}}$ विशेषण है.
X पर ${\mathcal {J}}$ के आदर्शों के प्रत्येक अर्ध-सुसंगत संग्रह के लिए, विहित मानचित्र $\bigoplus _{n\geq 0}\Gamma (X,{\mathcal {J}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {L}}^{\otimes n})\otimes _{\mathbf {Z} }{\mathcal {L}}^{\otimes {-n}}\to {\mathcal {J}}$ विशेषण है.
X पर परिमित प्रकार का प्रत्येक अर्ध-सुसंगत शीफ़ ${\mathcal {F}}$ के लिए, पूर्णांक $n_{0}$ उपस्तिथ है ऐसे कि $n\geq n_{0}$ , के लिए ${\mathcal {F}}\otimes {\mathcal {L}}^{\otimes n}$ इसके वैश्विक खंडों द्वारा उत्पन्न होता है।
X पर परिमित प्रकार के प्रत्येक अर्ध-सुसंगत शीफ़ ${\mathcal {F}}$ के लिए, पूर्णांक $n>0$ और $k>0$ उपस्तिथ हैं ऐसा है कि ${\mathcal {F}}$ , ${\mathcal {L}}^{\otimes (-n)}\otimes {\mathcal {O}}_{X}^{k}$ के भागफल के लिए समरूपी है .
X पर परिमित प्रकार के आदर्शों ${\mathcal {J}}$ के प्रत्येक अर्ध-सुसंगत संग्रह के लिए , पूर्णांक $n>0$ और $k>0$ उपस्तिथ हैं ऐसा है कि ${\mathcal {J}}$ , ${\mathcal {L}}^{\otimes (-n)}\otimes {\mathcal {O}}_{X}^{k}$ के भागफल के लिए समरूपी है .

उचित योजनाओं पर

जब X को भिन्न किया जाता है और एफ़िन योजना पर परिमित प्रकार दिया जाता है, तब विपरीत शीफ ${\mathcal {L}}$ पर्याप्त है यदि और केवल यदि कोई धनात्मक पूर्णांक r उपस्तिथ है जैसे कि टेंसर शक्ति ${\mathcal {L}}^{\otimes r}$ बहुत प्रचुर है.^[15]^[16] विशेष रूप से, R पर उचित योजना में पर्याप्त रेखा बंडल होता है यदि और केवल यदि यह R पर प्रक्षेप्य हो। अधिकांशतः, इस लक्षण वर्णन को प्रचुरता की परिभाषा के रूप में लिया जाता है।

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

फ़ील्ड k पर उचित योजना X पर कार्टियर विभाजक D को पर्याप्त कहा जाता है यदि संबंधित लाइन बंडल O(D) पर्याप्त है। (उदाहरण के लिए, यदि X, k पर स्मूथ है, तब कार्टियर विभाजक को a से पहचाना जा सकता है पूर्णांक गुणांकों के साथ X की संवृत कोडिमेंशन-1 उप-किस्मों का परिमित रैखिक संयोजन।)

बहुत पर्याप्त से पर्याप्त की धारणा को अशक्त करने से विभिन्न विशेषताओं की विस्तृत विविधता के साथ लचीली अवधारणा मिलती है। पहला बिंदु यह है कि किसी भी सुसंगत शीफ के साथ पर्याप्त लाइन बंडल की उच्च शक्तियों को टेंसर करना अनेक वैश्विक वर्गों के साथ शीफ देता है। अधिक त्रुटिहीन रूप से, क्षेत्र पर (या अधिक सामान्यतः नोथेरियन वलय पर) उचित योजना केवल तभी जब X पर प्रत्येक सुसंगत शीफ F के लिए, एक पूर्णांक s हो, जिससे कि शीफ $F\otimes L^{\otimes r}$ विश्व स्तर पर सभी $r\geq s$ के लिए तैयार किया गया है. यहाँ s, F पर निर्भर हो सकता है।^[17]^[18]

प्रचुरता का और लक्षण वर्णन, जिसे हेनरी कर्तन - जीन पियरे सेरे -ग्रोथेंडिक प्रमेय के रूप में जाना जाता है, सुसंगत शीफ कोहोलॉजी के संदर्भ में है। अर्थात्, फ़ील्ड पर (या अधिक सामान्यतः नोथेरियन वलय पर) उचित स्कीम X पर एक लाइन बंडल L पर्याप्त है यदि और केवल यदि X पर प्रत्येक सुसंगत शीफ़ F के लिए, ऐसा एक पूर्णांक s है

H^{i}(X,F\otimes L^{\otimes r})=0

सभी के लिए $i>0$ और सभी $r\geq s$ .^[19]^[18] विशेष रूप से, पर्याप्त लाइन बंडल की उच्च शक्तियाँ धनात्मकडिग्री में सह-समरूपता को नष्ट कर देती हैं। इस निहितार्थ को सेरे वैनिशिंग प्रमेय कहा जाता है, जिसे जीन-पियरे सेरे ने अपने 1955 के पेपर फैसियो अल्जेब्रिक्स कोहेरेंट्स में सिद्ध किया है।

उदाहरण/गैर-उदाहरण

धनात्मक आयाम की प्रक्षेप्य प्रकार X पर तुच्छ रेखा बंडल $O_{X}$ बेसपॉइंट-मुक्त है किन्तु पर्याप्त नहीं है। अधिक सामान्यतः, किसी भी रूपवाद के लिए F प्रक्षेप्य प्रकार X से कुछ प्रक्षेप्य स्थान तक $\mathbb {P} ^{n}$ फ़ील्ड के ऊपर, पुलबैक लाइन बंडल $L=f^{*}O(1)$ सदैव आधार-बिंदु-मुक्त होता है, जबकि L पर्याप्त होता है यदि और केवल यदि रूपवाद f परिमित रूपवाद है (अर्थात, f के सभी तंतुओं का आयाम 0 है या वह खाली हैं)।^[20]
एक पूर्णांक d के लिए, लाइन बंडल O(d) के अनुभागों का स्थान $\mathbb {P} _{\mathbb {C} }^{1}$ वेरिएबल x,y में घात d वाले सजातीय बहुपदों का सम्मिश्र संख्या सदिश समष्टि है। विशेष रूप से, यह स्थान d < 0 के लिए शून्य है $d\geq 0$ , के लिए O(d) द्वारा दिए गए प्रक्षेप्य स्थान का रूपवाद है

\mathbb {P} ^{1}\to \mathbb {P} ^{d}

द्वारा

[x,y]\mapsto [x^{d},x^{d-1}y,\ldots ,y^{d}].

यह

d\geq 1

के लिए संवृत विसर्जन है, जिसमे छवि के साथ

\mathbb {P} ^{d}

में डिग्री d का तर्कसंगत सामान्य वक्र है . इसलिए, O(d) बेसपॉइंट-मुक्त है यदि और केवल यदि

d\geq 0

, और बहुत प्रचुर यदि और केवल यदि

d\geq 1

. इसका तात्पर्य यह है कि O(d) पर्याप्त है यदि और केवल यदि

d\geq 1

.

ऐसे उदाहरण के लिए जहां पर्याप्त और बहुत पर्याप्त भिन्न हैं, मान लीजिए कि X 'C' के ऊपर जीनस (गणित) 1 (एक वृत्ताकार वक्र) का सहज प्रक्षेप्य वक्र है, और मान लीजिए कि p, X पर डिग्री 1 का संबद्ध लाइन बंडल बनें। फिर O(p) के वैश्विक खंडों के समष्टि सदिश स्थान का आयाम 1 है, जो खंड द्वारा फैला हुआ है जो p पर गायब हो जाता है।^[21] अतः O(p) का आधार बिंदुपथ p के सामान्तर है। दूसरी ओर, O(2p) बेसपॉइंट-मुक्त है, और O(dp) इसके लिए बहुत पर्याप्त है $d\geq 3$ (X को डिग्री डी के वृत्ताकार वक्र के रूप में एम्बेड करना $\mathbb {P} ^{d-1}$ ). इसलिए, O(p) पर्याप्त है किन्तु बहुत प्रचुर नहीं है। इसके अतिरिक्त, O(2p) पर्याप्त और बेसपॉइंट-मुक्त है किन्तु बहुत पर्याप्त नहीं है; प्रक्षेप्य स्थान से संबंधित रूपवाद शाखित दोहरा आवरण है $X\to \mathbb {P} ^{1}$ .
उच्च जीनस के वक्रों पर, पर्याप्त रेखा बंडलLहोते हैं, जिसके लिए प्रत्येक वैश्विक खंड शून्य होता है। (किन्तु परिभाषा के अनुसार, L के उच्च गुणकों में अनेक खंड होते हैं।) उदाहरण के लिए, मान लीजिए कि X चिकना समतल चतुर्थक वक्र है (डिग्री 4 इंच का) $\mathbb {P} ^{2}$ ) C के ऊपर, और p और q को X के भिन्न -भिन्न सम्मिश्र बिंदु होने दें। फिर लाइन बंडल $L=O(2p-q)$ पर्याप्त है किन्तु है $H^{0}(X,L)=0$ .^[22]

लाइन बंडलों की प्रचुरता के लिए मानदंड

प्रतिच्छेदन सिद्धांत

यह निर्धारित करने के लिए कि प्रक्षेप्य प्रकार X पर दिया गया लाइन बंडल पर्याप्त है या नहीं, निम्नलिखित संख्यात्मक मानदंड (प्रतिच्छेदन संख्याओं के संदर्भ में) अधिकांशतः सबसे उपयोगी होते हैं। यह पूछने के सामान्तर है कि X पर कार्टियर विभाजक डी पर्याप्त है, जिसका अर्थ है कि संबंधित लाइन बंडल ओ (डी) पर्याप्त है। चौराहा नंबर $D\cdot C$ सी तक सीमित लाइन बंडल ओ (डी) की डिग्री के रूप में परिभाषित किया जा सकता है। दूसरी दिशा में, प्रोजेक्टिव प्रकार पर लाइन बंडलLके लिए, कार्टियर विभाजक $c_{1}(L)$ इसका अर्थ है संबद्ध कार्टियर भाजक (रैखिक तुल्यता तक परिभाषित),Lके किसी भी गैर-शून्य तर्कसंगत खंड का भाजक।

बीजगणितीय रूप से संवृत फ़ील्ड k पर चिकनी योजना प्रक्षेप्य वक्र X पर, लाइन बंडल L बहुत पर्याप्त है यदि और केवल यदि $h^{0}(X,L\otimes O(-x-y))=h^{0}(X,L)-2$ X में सभी k-तर्कसंगत बिंदुओं x,y के लिए।^[23] मान लीजिए कि g, X का वंश है। रीमैन-रोच प्रमेय के अनुसार, कम से कम 2g + 1 डिग्री का प्रत्येक पंक्ति बंडल इस शर्त को पूरा करता है और इसलिए यह बहुत पर्याप्त है। परिणामस्वरूप, किसी वक्र पर लाइन बंडल पर्याप्त होता है यदि और केवल यदि उसकी डिग्री धनात्मकहो।^[24] उदाहरण के लिए, विहित बंडल $K_{X}$ वक्र X की डिग्री 2g - 2 है, और इसलिए यह पर्याप्त है यदि और केवल यदि $g\geq 2$ . पर्याप्त विहित बंडल वाले वक्र महत्वपूर्ण वर्ग बनाते हैं; उदाहरण के लिए, समष्टि संख्याओं पर, यह ऋणात्मकअनुभागीय वक्रता की मीट्रिक वाले वक्र हैं। विहित बंडल बहुत प्रचुर है यदि और केवल यदि $g\geq 2$ और वक्र हाइपरलिप्टिक वक्र नहीं है।^[25] नाकाई-मोइशेज़ोन मानदंड (योशिकाज़ु नाकाई (1963) और बोरिस मोइशेज़ोन (1964) के नाम पर) बताता है कि फ़ील्ड पर उचित योजना X पर लाइन बंडलLपर्याप्त है यदि और केवल यदि $\int _{Y}c_{1}(L)^{{\text{dim}}(Y)}>0$ प्रत्येक (अघुलनशील घटक) के लिए X की संवृत उप-विविधता Y (Y को बिंदु होने की अनुमति नहीं है)।^[26] भाजक के संदर्भ में, कार्टियर भाजक डी पर्याप्त है यदि और केवल यदि $D^{{\text{dim}}(Y)}\cdot Y>0$ X की प्रत्येक (गैर-शून्य-आयामी) उप-विविधता Y के लिए। X सतह के लिए, मानदंड कहता है कि भाजक D पर्याप्त है यदि और केवल यदि इसकी स्व-प्रतिच्छेदन संख्या $D^{2}$ धनात्मकहै और X पर प्रत्येक वक्र C पर है $D\cdot C>0$ .

क्लेमन की कसौटी

क्लेमन की कसौटी (1966) बताने के लिए, X को क्षेत्र पर प्रक्षेप्य योजना होने दें। होने देना $N_{1}(X)$ 1-चक्रों का वास्तविक संख्या सदिश स्थान (X में वक्रों का वास्तविक रैखिक संयोजन) मॉड्यूलो संख्यात्मक तुल्यता हो, जिसका अर्थ है कि दो 1-चक्र A और B सामान्तर हैं $N_{1}(X)$ यदि और केवल यदि प्रत्येक पंक्ति बंडल की ए और बी पर समान डिग्री है। नेरॉन-सेवेरी समूह द्वारा | नेरॉन-सेवेरी प्रमेय, वास्तविक सदिश स्थान $N_{1}(X)$ परिमित आयाम है. क्लेमन के मानदंड में कहा गया है कि X पर लाइन बंडलLपर्याप्त है यदि और केवल तभी जबLमें वक्र एनई (X) के शंकु के समापन (टोपोलॉजी) के प्रत्येक गैर-शून्य तत्व सी पर धनात्मकडिग्री हो $N_{1}(X)$ . (यह कहने से थोड़ा अधिक शक्तिशाली है कि L की प्रत्येक वक्र पर धनात्मकडिग्री है।) समान रूप से, लाइन बंडल पर्याप्त है यदि और केवल तभी जब इसका वर्ग दोहरे सदिश स्थान में हो $N^{1}(X)$ नेफ लाइन बंडल के अंदरूनी हिस्से में है।^[27] किसी क्षेत्र पर उचित (प्रक्षेपी के अतिरिक्त) योजनाओं^[28] प्रक्षेप्य प्रकार पर लाइन बंडल को सख्ती से नेफ कहा जाता है यदि इसमें प्रत्येक वक्र पर धनात्मकडिग्री होती है नागाटा (1959). और डेविड मम्फोर्ड ने चिकनी प्रक्षेप्य सतहों पर लाइन बंडलों का निर्माण किया जो सख्ती से नेफ हैं किन्तु पर्याप्त नहीं हैं। इससे पता चलता है कि स्थिति $c_{1}(L)^{2}>0$ नाकाई-मोइशेज़ोन मानदंड में छोड़ा नहीं जा सकता है, और क्लेमन के मानदंड में एनई (X) के अतिरिक्त एनई (X) के समापन का उपयोग करना आवश्यक है।^[29] किसी सतह पर प्रत्येक नेफ लाइन बंडल में होता है $c_{1}(L)^{2}\geq 0$ , और नागाटा और ममफोर्ड के उदाहरण हैं $c_{1}(L)^{2}=0$ .

सी. एस. शेषाद्रि ने दिखाया कि बीजगणितीय रूप से संवृत फ़ील्ड पर उचित योजना पर लाइन बंडलLपर्याप्त है यदि और केवल तभी जब कोई धनात्मकवास्तविक संख्या ε हो जैसे कि डिग्री (एल |_C) ≥ εm(C) X में सभी (इरेड्यूसिबल) वक्र C के लिए, जहां m(C) C के बिंदुओं पर गुणकों की अधिकतम सीमा है।^[30] प्रचुरता के अनेक लक्षण फ़ील्ड k पर उचित बीजगणितीय स्थान पर लाइन बंडलों के लिए अधिक सामान्यतः प्रयुक्त होते हैं। विशेष रूप से, नाकाई-मोइशेज़ोन मानदंड उस व्यापकता में मान्य है।^[31] कार्टन-सेरे-ग्रोथेंडिक मानदंड नोथेरियन वलय आर पर उचित बीजगणितीय स्थान के लिए और भी अधिक सामान्यतः प्रयुक्त होता है।^[32] (यदि R के ऊपर उचित बीजगणितीय स्थान में पर्याप्त रेखा बंडल है, तब यह वास्तव में R के ऊपर प्रक्षेप्य योजना है।) क्लेमन का मानदंड क्षेत्र पर उचित बीजगणितीय स्थान X के लिए विफल रहता है, यदि X चिकना हो।^[33]

प्रचुरता का विवृत पन

एक क्षेत्र पर प्रक्षेप्य योजना $N^{1}(X)$ , इसकी टोपोलॉजी वास्तविक संख्याओं की टोपोलॉजी पर आधारित है। (एक आर-विभाजक को पर्याप्त के रूप में परिभाषित किया गया है यदि इसे पर्याप्त कार्टियर विभाजकों के धनात्मकरैखिक संयोजन के रूप में लिखा जा सकता है।^[34]) प्रारंभिक विशेष स्तिथि है: पर्याप्त भाजक एच और किसी भी भाजक ई के लिए, धनात्मकवास्तविक संख्या बी है जैसे कि $H+aE$ b से कम निरपेक्ष मान वाली सभी वास्तविक संख्याओं a के लिए पर्याप्त है। पूर्णांक गुणांक (या लाइन बंडल) वाले विभाजक के संदर्भ में, इसका कारण है कि nH + E सभी पर्याप्त रूप से बड़े धनात्मकपूर्णांक n के लिए पर्याप्त है।

प्रचुरता भी बिल्कुल भिन्न अर्थ में खुली स्थिति है, जब बीजगणितीय परिवार में विविधता या रेखा बंडल भिन्न होता है। अर्थात्, चलो $f\colon X\to Y$ योजनाओं का उचित रूपवाद हो, और L को X पर लाइन बंडल होने दें। फिर Y में बिंदुओं का समुच्चय इस प्रकार है कि L योजना-सैद्धांतिक फाइबर पर पर्याप्त है $X_{y}$ विवृत है (ज़ारिस्की टोपोलॉजी में)। अधिक दृढ़ता से, यदिLफाइबर पर पर्याप्त है $X_{y}$ , तब y का एफ़िन ओपन पड़ोस U इस प्रकार है कि L पर्याप्त है $f^{-1}(U)$ Uके ऊपर^[35]

क्लेमन की प्रचुरता के अन्य लक्षण

क्लेमन ने प्रचुरता के निम्नलिखित लक्षण भी सिद्ध किए, जिन्हें प्रचुरता की परिभाषा और संख्यात्मक मानदंड के मध्य मध्यवर्ती चरणों के रूप में देखा जा सकता है। अर्थात्, किसी फ़ील्ड पर उचित योजना X पर लाइन बंडल L के लिए, निम्नलिखित समतुल्य हैं:^[36]

एल पर्याप्त है.
प्रत्येक (अपरिवर्तनीय) उप-विविधता के लिए $Y\subset X$ धनात्मकआयाम का, धनात्मकपूर्णांक r और खंड है $s\in H^{0}(Y,{\mathcal {L}}^{\otimes r})$ जो समान रूप से शून्य नहीं है किन्तु Y के किसी बिंदु पर गायब हो जाता है।
प्रत्येक (अपरिवर्तनीय) उप-विविधता के लिए $Y\subset X$ धनात्मकआयाम में, Y पर L की शक्तियों की होलोमोर्फिक यूलर विशेषताएँ अनंत तक जाती हैं:

\chi (Y,{\mathcal {L}}^{\otimes r})\to \infty

जैसा

r\to \infty

.

सामान्यीकरण

पर्याप्त सदिश बंडल

रॉबिन हार्टशॉर्न ने प्रोजेक्टिव स्कीम X पर बीजगणितीय सदिश बंडल एफ को परिभाषित किया है, यदि लाइन बंडल 'पर्याप्त' है ${\mathcal {O}}(1)$ अंतरिक्ष पर $\mathbb {P} (F)$ एफ में हाइपरप्लेन की संख्या पर्याप्त है।^[37] पर्याप्त रेखा बंडलों के अनेक गुण पर्याप्त सदिश बंडलों तक विस्तारित होते हैं। उदाहरण के लिए, सदिश बंडल F पर्याप्त है यदि और केवल तभी जब F की उच्च सममित शक्तियां सह-समरूपता को समाप्त कर देती हैं $H^{i}$ सभी के लिए सुसंगत संग्रह ों का $i>0$ .^[38] इसके अतिरिक्त, चेर्न वर्ग $c_{r}(F)$ पर्याप्त सदिश बंडल के लिए X की प्रत्येक r-आयामी उप-विविधता पर धनात्मकडिग्री होती है $1\leq r\leq {\text{rank}}(F)$ .^[39]

बड़ी लाइन बंडल

प्रचुरता का उपयोगी अशक्त होना, विशेष रूप से द्विवार्षिक ज्यामिति में, बड़ी लाइन बंडल की धारणा है। क्षेत्र के ऊपर आयाम n के प्रक्षेप्य प्रकार X पर लाइन बंडल L को बड़ा कहा जाता है यदि इसमें धनात्मकवास्तविक संख्या a और धनात्मकपूर्णांक है $j_{0}$ ऐसा है कि $h^{0}(X,L^{\otimes j})\geq aj^{n}$ सभी के लिए $j\geq j_{0}$ . यहLकी शक्तियों के वर्गों के रिक्त स्थान के लिए अधिकतम संभव वृद्धि दर है, इस अर्थ में कि X पर प्रत्येक लाइन बंडलLके लिए धनात्मकसंख्या बी है $h^{0}(X,L^{\otimes j})\leq bj^{n}$ सभी j > 0 के लिए.^[40] बड़ी लाइन बंडलों की अनेक अन्य विशेषताएँ हैं। सबसे पहले, लाइन बंडल बड़ा होता है यदि और केवल तभी जब कोई धनात्मकपूर्णांक r हो जैसे कि X से तर्कसंगत मानचित्र हो $\mathbb {P} (H^{0}(X,L^{\otimes r}))$ के अनुभागों द्वारा दिया गया $L^{\otimes r}$ इसकी छवि पर द्विवार्षिक है।^[41] इसके अतिरिक्त, लाइन बंडलLबड़ा होता है यदि और केवल यदि इसमें धनात्मकटेंसर शक्ति होती है जो पर्याप्त लाइन बंडल ए और प्रभावी लाइन बंडल बी का टेंसर उत्पाद है (जिसका अर्थ है कि $H^{0}(X,B)\neq 0$ ).^[42] अंत में, लाइन बंडल तभी बड़ा होता है जब उसकी कक्षा अंदर हो $N^{1}(X)$ प्रभावी विभाजक के शंकु के आंतरिक भाग में है।^[43] विशालता को प्रचुरता के द्विवार्षिक रूप से अपरिवर्तनीय एनालॉग के रूप में देखा जा सकता है। उदाहरण के लिए, यदि $f\colon X\to Y$ समान आयाम की चिकनी प्रक्षेप्य किस्मों के मध्य प्रमुख तर्कसंगत मानचित्र है, तब Y पर बड़ी लाइन बंडल का पुलबैक X पर बड़ा है। (पहली नजर में, पुलबैक केवल X के विवृत उपसमुच्चय पर लाइन बंडल है जहां f है) रूपवाद, किन्तु यह X के सभी पर लाइन बंडल तक विशिष्ट रूप से विस्तारित होता है।) पर्याप्त लाइन बंडलों के लिए, कोई केवल यह कह सकता है कि परिमित रूपवाद द्वारा पर्याप्त लाइन बंडल का पुलबैक पर्याप्त है।^[20]

उदाहरण: मान लीजिए कि X प्रक्षेप्य तल का ब्लो-अप|ब्लो-अप है $\mathbb {P} ^{2}$ सम्मिश्र संख्याओं पर बिंदु पर. मान लीजिए कि H लाइन का X की ओर पुलबैक है $\mathbb {P} ^{2}$ , और मान लीजिए कि E ब्लो-अप का असाधारण वक्र है $\pi \colon X\to \mathbb {P} ^{2}$ . तब भाजक H + E बड़ा है किन्तु X पर पर्याप्त (या यहां तक कि nef) नहीं है, क्योंकि

(H+E)\cdot E=E^{2}=-1<0.

इस ऋणात्मकता का यह भी तात्पर्य है कि H + E (या किसी धनात्मक गुणज) के आधार बिंदुपथ में वक्र E सम्मिलित है। वास्तव में, यह आधार बिंदुपथ E के सामान्तर है।

सापेक्ष प्रचुरता

योजनाओं की अर्ध-संक्षिप्त रूपात्मकता को देखते हुए $f:X\to S$ , X पर विपरीत शीफ एल को एफ या 'एफ-एम्पल' के सापेक्ष 'पर्याप्त' कहा जाता है यदि निम्नलिखित समकक्ष शर्तें पूरी होती हैं:^[44]^[45]

प्रत्येक विवृत एफ़िन उपसमुच्चय के लिए $U\subset S$ , L का प्रतिबंध $f^{-1}(U)$ पर्याप्त विपरीत पुलिंदा है (सामान्य अर्थ में)।
एफ अर्ध-पृथक रूपवाद है|अर्ध-पृथक और विवृत विसर्जन है $X\hookrightarrow \operatorname {Proj} _{S}({\mathcal {R}}),\,{\mathcal {R}}:=f_{*}\left(\bigoplus _{0}^{\infty }L^{\otimes n}\right)$ सहायक मानचित्र से प्रेरित:
$f^{*}{\mathcal {R}}\to \bigoplus _{0}^{\infty }L^{\otimes n}$ .
दशा 2. बिना विवृत ।

शर्त 2 कहती है (सामान्यतः ) कि X को विवृत तौर पर प्रक्षेप्य योजना के साथ संकुचित किया जा सकता है ${\mathcal {O}}(1)=L$ (सिर्फ उचित योजना के लिए नहीं)।

यह भी देखें

सामान्य बीजगणितीय ज्यामिति

प्रक्षेप्य स्थानों की बीजगणितीय ज्यामिति
फ़ानो किस्म: प्रकार जिसका कैनोनिकल बंडल एंटीएम्पल है
मात्सुसाका का बड़ा प्रमेय
विभाजक योजना: लाइन बंडलों के पर्याप्त परिवार को स्वीकार करने वाली योजना

समष्टि ज्यामिति में प्रचुरता

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

↑ Hartshorne (1977), Theorem II.7.1.
↑ Hartshorne (1977), Theorem III.5.2; (tag 02O6).
↑ Hartshorne (1977), Lemma IV.1.2.
↑ Lazarsfeld (2004), Example 1.4.5.
↑ tag 01AM.
↑ Hartshorne (1977), Example II.5.16.2.
↑ Lazarsfeld (2004), Definition 2.1.26.
↑ Hartshorne (1977), section II.5.
↑ tag 02NP.
↑ Grothendieck, EGA II, Definition 4.2.2.
↑ Hartshorne (1977), Proposition I.7.6 and Example IV.3.3.2.
↑ tag 01PS.
↑ tag 01QE.
↑ EGA II, Théorème 4.5.2 and Proposition 4.5.5.
↑ EGA II, Proposition 4.5.10.
↑ tag 01VU.
↑ Hartshorne (1977), Theorem II.7.6
↑ ^18.0 ^18.1 Lazarsfeld (2004), Theorem 1.2.6.
↑ Hartshorne (1977), Proposition III.5.3
↑ ^20.0 ^20.1 Lazarsfeld (2004), Theorem 1.2.13.
↑ Hartshorne (1977), Example II.7.6.3.
↑ Hartshorne (1977), Exercise IV.3.2(b).
↑ Hartshorne (1977), Proposition IV.3.1.
↑ Hartshorne (1977), Corollary IV.3.3.
↑ Hartshorne (1977), Proposition IV.5.2.
↑ Lazarsfeld (2004), Theorem 1.2.23, Remark 1.2.29; Kleiman (1966), Theorem III.1.
↑ Lazarsfeld (2004), Theorems 1.4.23 and 1.4.29; Kleiman (1966), Theorem IV.1.
↑ Fujino (2005), Corollary 3.3; Lazarsfeld (2004), Remark 1.4.24.
↑ Lazarsfeld (2004), Example 1.5.2.
↑ Lazarsfeld (2004), Theorem 1.4.13; Hartshorne (1970), Theorem I.7.1.
↑ Kollár (1990), Theorem 3.11.
↑ tag 0D38.
↑ Kollár (1996), Chapter VI, Appendix, Exercise 2.19.3.
↑ Lazarsfeld (2004), Definition 1.3.11.
↑ Lazarsfeld (2004), Theorem 1.2.17 and its proof.
↑ Lazarsfeld (2004), Example 1.2.32; Kleiman (1966), Theorem III.1.
↑ Lazarsfeld (2004), Definition 6.1.1.
↑ Lazarsfeld (2004), Theorem 6.1.10.
↑ Lazarsfeld (2004), Theorem 8.2.2.
↑ Lazarsfeld (2004), Corollary 2.1.38.
↑ Lazarsfeld (2004), section 2.2.A.
↑ Lazarsfeld (2004), Corollary 2.2.7.
↑ Lazarsfeld (2004), Theorem 2.2.26.
↑ tag 01VG.
↑ Grothendieck & Dieudonné 1961, Proposition 4.6.3.

स्रोत

Fujino, Osamu (2005), "On the Kleiman-Mori cone", Proceedings of the Japan Academy, Series A, Mathematical Sciences, 81 (5): 80–84, arXiv:math/0501055, Bibcode:2005math......1055F, doi:10.3792/pjaa.81.80, MR 2143547
Grothendieck, Alexandre; Dieudonné, Jean (1961). "बीजगणितीय ज्यामिति के तत्व: II. आकारिकी के कुछ वर्गों का प्राथमिक वैश्विक अध्ययन". Publications Mathématiques de l'IHÉS. 8. doi:10.1007/bf02699291. MR 0217084.
Hartshorne, Robin (1970), Ample Subvarieties of Algebraic Varieties, Lecture Notes in Mathematics, vol. 156, Berlin, Heidelberg: Springer-Verlag, doi:10.1007/BFb0067839, ISBN 978-3-540-05184-8, MR 0282977
Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Kleiman, Steven L. (1966), "Toward a numerical theory of ampleness", Annals of Mathematics, Second Series, 84 (3): 293–344, doi:10.2307/1970447, ISSN 0003-486X, JSTOR 1970447, MR 0206009
Kollár, János (1990), "Projectivity of complete moduli", Journal of Differential Geometry, 32, doi:10.4310/jdg/1214445046, MR 1064874
Kollár, János (1996), Rational curves on algebraic varieties, Berlin, Heidelberg: Springer-Verlag, doi:10.1007/978-3-662-03276-3, ISBN 978-3-642-08219-1, MR 1440180
Lazarsfeld, Robert (2004), Positivity in algebraic geometry (2 vols.), Berlin: Springer-Verlag, doi:10.1007/978-3-642-18808-4, ISBN 3-540-22533-1, MR 2095471
Nagata, Masayoshi (1959), "On the 14th problem of Hilbert", American Journal of Mathematics, 81 (3): 766–772, doi:10.2307/2372927, JSTOR 2372927, MR 0154867
"धारा 29.37 (01वीजी): अपेक्षाकृत पर्याप्त ढेर-स्टैक्स परियोजना".
Stacks Project, Tag 01AM.
Stacks Project, Tag 01PS.
Stacks Project, Tag 01QE.
Stacks Project, Tag 01VU.
Stacks Project, Tag 02NP.
Stacks Project, Tag 02O6
Stacks Project, Tag 0D38.

बाहरी संबंध

The Stacks Project

[1] Hartshorne (1977), Theorem II.7.1.

[2] Hartshorne (1977), Theorem III.5.2; (tag 02O6).

[3] Hartshorne (1977), Lemma IV.1.2.

[4] Lazarsfeld (2004), Example 1.4.5.

[FOOTNOTEtag_01AM-5] tag 01AM.

[6] Hartshorne (1977), Example II.5.16.2.

[7] Lazarsfeld (2004), Definition 2.1.26.

[8] Hartshorne (1977), section II.5.

[FOOTNOTEtag_02NP-9] tag 02NP.

[10] Grothendieck, EGA II, Definition 4.2.2.

[11] Hartshorne (1977), Proposition I.7.6 and Example IV.3.3.2.

[FOOTNOTEtag_01PS-12] tag 01PS.

[FOOTNOTEtag_01QE-13] tag 01QE.

[14] EGA II, Théorème 4.5.2 and Proposition 4.5.5.

[15] EGA II, Proposition 4.5.10.

[FOOTNOTEtag_01VU-16] tag 01VU.

[17] Hartshorne (1977), Theorem II.7.6

[CSG-18] 18.0 ^18.1 Lazarsfeld (2004), Theorem 1.2.6.

[19] Hartshorne (1977), Proposition III.5.3

[finite-20] 20.0 ^20.1 Lazarsfeld (2004), Theorem 1.2.13.

[21] Hartshorne (1977), Example II.7.6.3.

[22] Hartshorne (1977), Exercise IV.3.2(b).

[23] Hartshorne (1977), Proposition IV.3.1.

[24] Hartshorne (1977), Corollary IV.3.3.

[25] Hartshorne (1977), Proposition IV.5.2.

[26] Lazarsfeld (2004), Theorem 1.2.23, Remark 1.2.29; Kleiman (1966), Theorem III.1.

[27] Lazarsfeld (2004), Theorems 1.4.23 and 1.4.29; Kleiman (1966), Theorem IV.1.

[28] Fujino (2005), Corollary 3.3; Lazarsfeld (2004), Remark 1.4.24.

[29] Lazarsfeld (2004), Example 1.5.2.

[30] Lazarsfeld (2004), Theorem 1.4.13; Hartshorne (1970), Theorem I.7.1.

[31] Kollár (1990), Theorem 3.11.

[FOOTNOTEtag_0D38-32] tag 0D38.

[33] Kollár (1996), Chapter VI, Appendix, Exercise 2.19.3.

[34] Lazarsfeld (2004), Definition 1.3.11.

[35] Lazarsfeld (2004), Theorem 1.2.17 and its proof.

[36] Lazarsfeld (2004), Example 1.2.32; Kleiman (1966), Theorem III.1.

[37] Lazarsfeld (2004), Definition 6.1.1.

[38] Lazarsfeld (2004), Theorem 6.1.10.

[39] Lazarsfeld (2004), Theorem 8.2.2.

[40] Lazarsfeld (2004), Corollary 2.1.38.

[41] Lazarsfeld (2004), section 2.2.A.

[42] Lazarsfeld (2004), Corollary 2.2.7.

[43] Lazarsfeld (2004), Theorem 2.2.26.

[FOOTNOTEtag_01VG-44] tag 01VG.

[FOOTNOTEGrothendieckDieudonné1961Proposition_4.6.3-45] Grothendieck & Dieudonné 1961, Proposition 4.6.3.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

@@ Line 15: / Line 15: @@
 ===बेसपॉइंट-मुक्त लाइन बंडल                  ===
-मान लीजिए कि X लाइन बंडल L के साथ [[फ़ील्ड (गणित)]] k (उदाहरण के लिए, बीजगणितीय विविधता) पर योजना है। (एक लाइन बंडल को उलटा शीफ भी कहा जा सकता है।) मान लीजिए <math>a_0,...,a_n</math> L के [[वैश्विक अनुभाग|वैश्विक अनुभागों]] का k-सदिश स्थान <math>H^0(X,L)</math> के तत्व बनें। प्रत्येक अनुभाग का शून्य समुच्चय X का संवृत  उपसमुच्चय है; U को उन बिंदुओं का विवृत उपसमुच्चय बनने देना चाहिए जिन पर <math>a_0,\ldots,a_n</math> में कम से कम शून्य ना हो तब फिर यह अनुभाग रूपवाद को परिभाषित करते हैं
+मान लीजिए कि X लाइन बंडल L के साथ [[फ़ील्ड (गणित)]] k (उदाहरण के लिए, बीजगणितीय विविधता) पर योजना है। (एक लाइन बंडल को विपरीत  शीफ भी कहा जा सकता है।) मान लीजिए <math>a_0,...,a_n</math> L के [[वैश्विक अनुभाग|वैश्विक अनुभागों]] का k-सदिश स्थान <math>H^0(X,L)</math> के तत्व बनें। प्रत्येक अनुभाग का शून्य समुच्चय X का संवृत  उपसमुच्चय है; U को उन बिंदुओं का विवृत उपसमुच्चय बनने देना चाहिए जिन पर <math>a_0,\ldots,a_n</math> में कम से कम शून्य ना हो तब फिर यह अनुभाग रूपवाद को परिभाषित करते हैं
 :<math>f\colon U\to \mathbb{P}^{n}_k,\ x \mapsto [a_0(x),\ldots,a_n(x)].</math>
 अधिक विस्तार से: U के प्रत्येक बिंदु X के लिए, X के ऊपरLका फाइबर अवशेष क्षेत्र के (X) पर 1-आयामी सदिश स्थान है। इस फाइबर के लिए आधार का चयन  करने में  <math>a_0(x),\ldots,a_n(x)</math> n+1 संख्याओं के अनुक्रम में बनाता है, सभी शून्य नहीं, और इसलिए प्रक्षेप्य स्थान में बिंदु है। आधार की पसंद को बदलने से सभी संख्याएँ ही गैर-शून्य स्थिरांक द्वारा मापी जाती हैं, और इसलिए प्रक्षेप्य स्थान में बिंदु पसंद से स्वतंत्र होता है।
@@ Line 51: / Line 51: @@
 == परिभाषाएँ ==
-=== अर्ध-कॉम्पैक्ट योजनाओं पर पर्याप्त उलटा संग्रह ===
+=== अर्ध-कॉम्पैक्ट योजनाओं पर पर्याप्त विपरीत  संग्रह ===
 पर्याप्त लाइन बंडलों का उपयोग अधिकांशतः उचित योजनाओं पर किया जाता है, किन्तु उन्हें बहुत व्यापक व्यापकता में परिभाषित किया जा सकता है।
@@ Line 72: / Line 72: @@
 <math>\textstyle S = \bigoplus_{n \ge 0} \Gamma(X, \mathcal{L}^{\otimes n})</math> को परिभाषित करना है . मान लीजिए कि <math>p \colon X \to \operatorname{Spec} \mathbf{Z}</math> संरचनात्मक रूपवाद को निरूपित करता है।  <math>\mathcal{O}_X</math>-बीजगणित समरूपताएँ <math>\textstyle p^*(\tilde S) \to \bigoplus_{n \ge 0} \mathcal{L}^{\otimes n}</math> और श्रेणीबद्ध वलय  s की एंडोमोर्फिज्म के मध्य प्राकृतिक समरूपता है। s की पहचान एंडोमोर्फिज्म होमोमोर्फिज्म <math>\varepsilon</math> से मेल खाती है . <math>\operatorname{Proj}</math> फ़ैक्टर को प्रयुक्त करने से  X की खुली उप-योजना से रूपवाद उत्पन्न करता है जिसे  <math>G(\varepsilon)</math> को <math>\operatorname{Proj} S</math> से निरूपित किया गया है
-पर्याप्त व्युत्क्रमणीय शीव्स के मूल लक्षण वर्णन में कहा गया है कि यदि X अर्ध-कॉम्पैक्ट अर्ध-पृथक योजना है और <math>\mathcal{L}</math> X पर उलटा शीफ है, तब निम्नलिखित दावे समतुल्य हैं:<ref>EGA II, Théorème 4.5.2 and Proposition 4.5.5.</ref>
+पर्याप्त व्युत्क्रमणीय शीव्स के मूल लक्षण वर्णन में कहा गया है कि यदि X अर्ध-कॉम्पैक्ट अर्ध-पृथक योजना है और <math>\mathcal{L}</math> X पर विपरीत  शीफ है, तब निम्नलिखित दावे समतुल्य हैं:<ref>EGA II, Théorème 4.5.2 and Proposition 4.5.5.</ref>
 # <math>\mathcal{L}</math> पर्याप्त है.
@@ Line 87: / Line 87: @@
 ===उचित योजनाओं पर                                                      ===
-जब X को भिन्न  किया जाता है और एफ़िन योजना पर परिमित प्रकार दिया जाता है, तब उलटा शीफ <math>\mathcal{L}</math> पर्याप्त है यदि और केवल यदि कोई धनात्मक पूर्णांक r उपस्तिथ है जैसे कि टेंसर शक्ति <math>\mathcal{L}^{\otimes r}</math> बहुत प्रचुर है.<ref>EGA II, Proposition 4.5.10.</ref>{{sfn|tag 01VU}} विशेष रूप से, R पर उचित योजना में पर्याप्त रेखा बंडल होता है यदि और केवल यदि यह R पर प्रक्षेप्य हो। अधिकांशतः, इस लक्षण वर्णन को प्रचुरता की परिभाषा के रूप में लिया जाता है।
+जब X को भिन्न किया जाता है और एफ़िन योजना पर परिमित प्रकार दिया जाता है, तब विपरीत शीफ <math>\mathcal{L}</math> पर्याप्त है यदि और केवल यदि कोई धनात्मक पूर्णांक r उपस्तिथ है जैसे कि टेंसर शक्ति <math>\mathcal{L}^{\otimes r}</math> बहुत प्रचुर है.<ref>EGA II, Proposition 4.5.10.</ref>{{sfn|tag 01VU}} विशेष रूप से, R पर उचित योजना में पर्याप्त रेखा बंडल होता है यदि और केवल यदि यह R पर प्रक्षेप्य हो। अधिकांशतः, इस लक्षण वर्णन को प्रचुरता की परिभाषा के रूप में लिया जाता है।
-इस लेख का शेष भाग किसी क्षेत्र में उचित योजनाओं की प्रचुरता पर केंद्रित होगा, क्योंकि यह सबसे महत्वपूर्ण मामला है। किसी क्षेत्र के ऊपर उचित योजना
+इस लेख का शेष भाग किसी क्षेत्र में उचित योजनाओं की प्रचुरता पर केंद्रित होगा, क्योंकि यह सबसे महत्वपूर्ण स्तिथि  है। किसी क्षेत्र के ऊपर उचित योजना पर एक पर्याप्त लाइन बंडल (X) फ़ील्ड पर X में प्रत्येक वक्र पर धनात्मक  डिग्री होती है, जो कि बहुत बड़े लाइन बंडलों के लिए संबंधित कथन द्वारा होती है।
-फ़ील्ड k पर उचित योजना X पर [[कार्टियर विभाजक]] D को पर्याप्त कहा जाता है यदि संबंधित लाइन बंडल O(D) पर्याप्त है। (उदाहरण के लिए, यदि X, k पर स्मूथ है, तब कार्टियर विभाजक को पूर्णांक गुणांकों के साथ
+फ़ील्ड k पर उचित योजना X पर [[कार्टियर विभाजक]] D को पर्याप्त कहा जाता है यदि संबंधित लाइन बंडल O(D) पर्याप्त है। (उदाहरण के लिए, यदि X, k पर स्मूथ है, तब कार्टियर विभाजक को  a से पहचाना जा सकता है पूर्णांक गुणांकों के साथ X की संवृत  कोडिमेंशन-1 उप-किस्मों का परिमित रैखिक संयोजन।)
-बहुत पर्याप्त से पर्याप्त की धारणा को अशक्त करने से विभिन्न विशेषताओं की विस्तृत विविधता के साथ लचीली अवधारणा मिलती है। पहला बिंदु यह है कि किसी भी सुसंगत शीफ के साथ पर्याप्त लाइन बंडल की उच्च शक्तियों को टेंसर करना अनेक वैश्विक वर्गों के साथ शीफ देता है। अधिक त्रुटिहीन रूप से, क्षेत्र पर (या अधिक सामान्यतः [[नोथेरियन अंगूठी]] पर) उचित योजना <math>F\otimes L^{\otimes r}</math> विश्व स्तर पर सभी के लिए तैयार किया गया है <math>r\geq s</math>. यहाँ s, F पर निर्भर हो सकता है।<ref>Hartshorne (1977), Theorem II.7.6</ref><ref name="CSG">Lazarsfeld (2004), Theorem 1.2.6.</ref>
+बहुत पर्याप्त से पर्याप्त की धारणा को अशक्त करने से विभिन्न विशेषताओं की विस्तृत विविधता के साथ लचीली अवधारणा मिलती है। पहला बिंदु यह है कि किसी भी सुसंगत शीफ के साथ पर्याप्त लाइन बंडल की उच्च शक्तियों को टेंसर करना अनेक वैश्विक वर्गों के साथ शीफ देता है। अधिक त्रुटिहीन रूप से, क्षेत्र पर (या अधिक सामान्यतः [[नोथेरियन अंगूठी|नोथेरियन वलय]] पर) उचित योजना केवल तभी जब X पर प्रत्येक सुसंगत शीफ F के लिए, एक पूर्णांक s हो, जिससे कि शीफ <math>F\otimes L^{\otimes r}</math> विश्व स्तर पर सभी <math>r\geq s</math> के लिए तैयार किया गया है. यहाँ s, F पर निर्भर हो सकता है।<ref>Hartshorne (1977), Theorem II.7.6</ref><ref name="CSG">Lazarsfeld (2004), Theorem 1.2.6.</ref>
-प्रचुरता का और लक्षण वर्णन, जिसे [[ हेनरी कर्तन |हेनरी कर्तन]] -[[ जीन पियरे सेरे ]]-[[ग्रोथेंडिक]] प्रमेय के रूप में जाना जाता है, सुसंगत शीफ कोहोलॉजी के संदर्भ में है। अर्थात्, फ़ील्ड पर (या अधिक सामान्यतः नोथेरियन वलय  पर) उचित स्कीम
+प्रचुरता का और लक्षण वर्णन, जिसे [[ हेनरी कर्तन |हेनरी कर्तन]] -[[ जीन पियरे सेरे | जीन पियरे सेरे]] -[[ग्रोथेंडिक]] प्रमेय के रूप में जाना जाता है, सुसंगत शीफ कोहोलॉजी के संदर्भ में है। अर्थात्, फ़ील्ड पर (या अधिक सामान्यतः नोथेरियन वलय  पर) उचित स्कीम X पर एक लाइन बंडल L पर्याप्त है  यदि और केवल यदि X पर प्रत्येक सुसंगत शीफ़ F के लिए, ऐसा एक पूर्णांक s है
 :<math>H^i(X,F\otimes L^{\otimes r})=0</math>
 सभी के लिए <math>i>0</math> और सभी <math>r\geq s</math>.<ref>Hartshorne (1977), Proposition III.5.3</ref><ref name="CSG" /> विशेष रूप से, पर्याप्त लाइन बंडल की उच्च शक्तियाँ धनात्मकडिग्री में सह-समरूपता को नष्ट कर देती हैं। इस निहितार्थ को सेरे वैनिशिंग प्रमेय कहा जाता है, जिसे जीन-पियरे सेरे ने अपने 1955 के पेपर फैसियो अल्जेब्रिक्स कोहेरेंट्स में सिद्ध किया है।
-==उदाहरण/गैर-उदाहरण==
+==उदाहरण/गैर-उदाहरण                                                     ==
-* तुच्छ रेखा बंडल <math>O_X</math> धनात्मकआयाम की प्रक्षेप्य प्रकार X पर बेसपॉइंट-मुक्त है किन्तु पर्याप्त नहीं है। अधिक सामान्यतः, किसी भी रूपवाद के लिए एफ प्रक्षेप्य प्रकार X से कुछ प्रक्षेप्य स्थान तक <math>\mathbb{P}^n</math> फ़ील्ड के ऊपर, पुलबैक लाइन बंडल <math>L=f^*O(1)</math> सदैव आधार-बिंदु-मुक्त होता है, जबकि L पर्याप्त होता है यदि और केवल यदि रूपवाद f [[परिमित रूपवाद]] है (अर्थात, f के सभी तंतुओं का आयाम 0 है या वह खाली हैं)।<ref name="finite">Lazarsfeld (2004), Theorem 1.2.13.</ref>
+* धनात्मक आयाम की प्रक्षेप्य प्रकार X पर तुच्छ रेखा बंडल <math>O_X</math>  बेसपॉइंट-मुक्त है किन्तु पर्याप्त नहीं है। अधिक सामान्यतः, किसी भी रूपवाद के लिए F प्रक्षेप्य प्रकार X से कुछ प्रक्षेप्य स्थान तक <math>\mathbb{P}^n</math> फ़ील्ड के ऊपर, पुलबैक लाइन बंडल <math>L=f^*O(1)</math> सदैव आधार-बिंदु-मुक्त होता है, जबकि L पर्याप्त होता है यदि और केवल यदि रूपवाद f [[परिमित रूपवाद]] है (अर्थात, f के सभी तंतुओं का आयाम 0 है या वह खाली हैं)।<ref name="finite">Lazarsfeld (2004), Theorem 1.2.13.</ref>
-* एक पूर्णांक d के लिए, लाइन बंडल O(d) के अनुभागों का स्थान <math>\mathbb{P}^1_{\C}</math> चर x,y में घात d वाले सजातीय बहुपदों का सम्मिश्र संख्या सदिश समष्टि है। विशेष रूप से, यह स्थान d < 0 के लिए शून्य है <math>d\geq 0</math>, O(d) द्वारा दिए गए प्रक्षेप्य स्थान का रूपवाद है
+*एक पूर्णांक d के लिए, लाइन बंडल O(d) के अनुभागों का स्थान <math>\mathbb{P}^1_{\C}</math> वेरिएबल  x,y में घात d वाले सजातीय बहुपदों का सम्मिश्र संख्या सदिश समष्टि है। विशेष रूप से, यह स्थान d < 0 के लिए शून्य है <math>d\geq 0</math>, के लिए O(d) द्वारा दिए गए प्रक्षेप्य स्थान का रूपवाद है
 ::<math>\mathbb{P}^1\to\mathbb{P}^{d}</math>
 :द्वारा
 ::<math>[x,y]\mapsto [x^d,x^{d-1}y,\ldots,y^d].</math>
-:यह संवृत  विसर्जन है <math>d\geq 1</math>, छवि के साथ डिग्री डी का [[तर्कसंगत सामान्य वक्र]] <math>\mathbb{P}^d</math>. इसलिए, O(d) बेसपॉइंट-मुक्त है यदि और केवल यदि <math>d\geq 0</math>, और बहुत प्रचुर यदि और केवल यदि <math>d\geq 1</math>. इसका तात्पर्य यह है कि O(d) पर्याप्त है यदि और केवल यदि <math>d\geq 1</math>.
+:यह <math>d\geq 1</math> के लिए संवृत  विसर्जन है, जिसमे  छवि के साथ <math>\mathbb{P}^d</math> में  डिग्री d का [[तर्कसंगत सामान्य वक्र]] है . इसलिए, O(d) बेसपॉइंट-मुक्त है यदि और केवल यदि <math>d\geq 0</math>, और बहुत प्रचुर यदि और केवल यदि <math>d\geq 1</math>. इसका तात्पर्य यह है कि O(d) पर्याप्त है यदि और केवल यदि <math>d\geq 1</math>.
-* ऐसे उदाहरण के लिए जहां पर्याप्त और बहुत पर्याप्त भिन्न हैं, मान लीजिए कि X 'C' के ऊपर [[जीनस (गणित)]] 1 (एक [[अण्डाकार वक्र]]) का सहज प्रक्षेप्य वक्र है, और मान लीजिए कि p, X पर डिग्री 1 का संबद्ध लाइन बंडल बनें। फिर O(p) के वैश्विक खंडों के समष्टि  सदिश स्थान का आयाम 1 है, जो खंड द्वारा फैला हुआ है जो p पर गायब हो जाता है।<ref>Hartshorne (1977), Example II.7.6.3.</ref> अतः O(p) का आधार बिंदुपथ p के सामान्तर है। दूसरी ओर, O(2p) बेसपॉइंट-मुक्त है, और O(dp) इसके लिए बहुत पर्याप्त है <math>d\geq 3</math> (X को डिग्री डी के अण्डाकार वक्र के रूप में एम्बेड करना <math>\mathbb{P}^{d-1}</math>). इसलिए, O(p) पर्याप्त है किन्तु बहुत प्रचुर नहीं है। इसके अतिरिक्त, O(2p) पर्याप्त और बेसपॉइंट-मुक्त है किन्तु बहुत पर्याप्त नहीं है; प्रक्षेप्य स्थान से संबंधित रूपवाद शाखित दोहरा आवरण है <math>X\to\mathbb{P}^1</math>.
+* ऐसे उदाहरण के लिए जहां पर्याप्त और बहुत पर्याप्त भिन्न हैं, मान लीजिए कि X 'C' के ऊपर [[जीनस (गणित)]] 1 (एक [[अण्डाकार वक्र|वृत्ताकार वक्र]]) का सहज प्रक्षेप्य वक्र है, और मान लीजिए कि p, X पर डिग्री 1 का संबद्ध लाइन बंडल बनें। फिर O(p) के वैश्विक खंडों के समष्टि  सदिश स्थान का आयाम 1 है, जो खंड द्वारा फैला हुआ है जो p पर गायब हो जाता है।<ref>Hartshorne (1977), Example II.7.6.3.</ref> अतः O(p) का आधार बिंदुपथ p के सामान्तर है। दूसरी ओर, O(2p) बेसपॉइंट-मुक्त है, और O(dp) इसके लिए बहुत पर्याप्त है <math>d\geq 3</math> (X को डिग्री डी के वृत्ताकार  वक्र के रूप में एम्बेड करना <math>\mathbb{P}^{d-1}</math>). इसलिए, O(p) पर्याप्त है किन्तु बहुत प्रचुर नहीं है। इसके अतिरिक्त, O(2p) पर्याप्त और बेसपॉइंट-मुक्त है किन्तु बहुत पर्याप्त नहीं है; प्रक्षेप्य स्थान से संबंधित रूपवाद शाखित दोहरा आवरण है <math>X\to\mathbb{P}^1</math>.
 * उच्च जीनस के वक्रों पर, पर्याप्त रेखा बंडलLहोते हैं, जिसके लिए प्रत्येक वैश्विक खंड शून्य होता है। (किन्तु परिभाषा के अनुसार, L के उच्च गुणकों में अनेक खंड होते हैं।) उदाहरण के लिए, मान लीजिए कि X चिकना समतल चतुर्थक वक्र है (डिग्री 4 इंच का) <math>\mathbb{P}^2</math>) C के ऊपर, और ''p'' और ''q'' को ''X'' के भिन्न -भिन्न  सम्मिश्र बिंदु होने दें। फिर लाइन बंडल <math>L=O(2p-q)</math> पर्याप्त है किन्तु है <math>H^0(X,L)=0</math>.<ref>Hartshorne (1977), Exercise IV.3.2(b).</ref>
@@ Line 130: / Line 131: @@
 ===प्रचुरता का विवृत पन===
-एक क्षेत्र पर प्रक्षेप्य योजना <math>N^1(X)</math>, इसकी टोपोलॉजी वास्तविक संख्याओं की टोपोलॉजी पर आधारित है। (एक आर-विभाजक को पर्याप्त के रूप में परिभाषित किया गया है यदि इसे पर्याप्त कार्टियर विभाजकों के धनात्मकरैखिक संयोजन के रूप में लिखा जा सकता है।<ref>Lazarsfeld (2004), Definition 1.3.11.</ref>) प्रारंभिक विशेष मामला है: पर्याप्त भाजक एच और किसी भी भाजक ई के लिए, धनात्मकवास्तविक संख्या बी है जैसे कि <math>H+aE</math> b से कम निरपेक्ष मान वाली सभी वास्तविक संख्याओं a के लिए पर्याप्त है। पूर्णांक गुणांक (या लाइन बंडल) वाले विभाजक के संदर्भ में, इसका कारण है कि nH + E सभी पर्याप्त रूप से बड़े धनात्मकपूर्णांक n के लिए पर्याप्त है।
+एक क्षेत्र पर प्रक्षेप्य योजना <math>N^1(X)</math>, इसकी टोपोलॉजी वास्तविक संख्याओं की टोपोलॉजी पर आधारित है। (एक आर-विभाजक को पर्याप्त के रूप में परिभाषित किया गया है यदि इसे पर्याप्त कार्टियर विभाजकों के धनात्मकरैखिक संयोजन के रूप में लिखा जा सकता है।<ref>Lazarsfeld (2004), Definition 1.3.11.</ref>) प्रारंभिक विशेष स्तिथि  है: पर्याप्त भाजक एच और किसी भी भाजक ई के लिए, धनात्मकवास्तविक संख्या बी है जैसे कि <math>H+aE</math> b से कम निरपेक्ष मान वाली सभी वास्तविक संख्याओं a के लिए पर्याप्त है। पूर्णांक गुणांक (या लाइन बंडल) वाले विभाजक के संदर्भ में, इसका कारण है कि nH + E सभी पर्याप्त रूप से बड़े धनात्मकपूर्णांक n के लिए पर्याप्त है।
 प्रचुरता भी बिल्कुल भिन्न  अर्थ में खुली स्थिति है, जब बीजगणितीय परिवार में विविधता या रेखा बंडल भिन्न होता है। अर्थात्, चलो <math>f\colon X\to Y</math> योजनाओं का उचित रूपवाद हो, और L को X पर लाइन बंडल होने दें। फिर Y में बिंदुओं का समुच्चय  इस प्रकार है कि L [[योजना-सैद्धांतिक फाइबर]] पर पर्याप्त है <math>X_y</math> विवृत  है ([[ज़ारिस्की टोपोलॉजी]] में)। अधिक दृढ़ता से, यदिLफाइबर पर पर्याप्त है <math>X_y</math>, तब y का एफ़िन ओपन पड़ोस U इस प्रकार है कि L पर्याप्त है <math>f^{-1}(U)</math> Uके ऊपर<ref>Lazarsfeld (2004), Theorem 1.2.17 and its proof.</ref>
@@ Line 161: / Line 162: @@
 == सापेक्ष प्रचुरता ==
-योजनाओं की अर्ध-संक्षिप्त रूपात्मकता को देखते हुए <math>f : X \to S</math>, X पर उलटा शीफ एल को एफ या 'एफ-एम्पल' के सापेक्ष 'पर्याप्त' कहा जाता है यदि निम्नलिखित समकक्ष शर्तें पूरी होती हैं:{{sfn|tag 01VG}}{{sfn|Grothendieck|Dieudonné|1961|loc=Proposition 4.6.3}}
+योजनाओं की अर्ध-संक्षिप्त रूपात्मकता को देखते हुए <math>f : X \to S</math>, X पर विपरीत  शीफ एल को एफ या 'एफ-एम्पल' के सापेक्ष 'पर्याप्त' कहा जाता है यदि निम्नलिखित समकक्ष शर्तें पूरी होती हैं:{{sfn|tag 01VG}}{{sfn|Grothendieck|Dieudonné|1961|loc=Proposition 4.6.3}}
-# प्रत्येक विवृत  एफ़िन उपसमुच्चय के लिए <math>U \subset S</math>, L का प्रतिबंध <math>f^{-1}(U)</math> [[पर्याप्त उलटा पुलिंदा]] है (सामान्य अर्थ में)।
+# प्रत्येक विवृत  एफ़िन उपसमुच्चय के लिए <math>U \subset S</math>, L का प्रतिबंध <math>f^{-1}(U)</math> [[पर्याप्त उलटा पुलिंदा|पर्याप्त विपरीत  पुलिंदा]] है (सामान्य अर्थ में)।
 # एफ [[अर्ध-पृथक रूपवाद]] है|अर्ध-पृथक और विवृत  विसर्जन है <math>X \hookrightarrow \operatorname{Proj}_S(\mathcal{R}), \, \mathcal{R} := f_*\left( \bigoplus_0^{\infty} L^{\otimes n} \right)</math> [[सहायक मानचित्र]] से प्रेरित:
 #:<math>f^* \mathcal{R} \to \bigoplus_0^{\infty} L^{\otimes n}</math>.

Anonymous

Search

पर्याप्त लाइन बंडल: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:22, 23 July 2023

Contents

परिचय

एक लाइन बंडल और हाइपरप्लेन विभाजक का पुलबैक

बेसपॉइंट-मुक्त लाइन बंडल

नेफ, विश्व स्तर पर उत्पन्न, अर्ध-पर्याप्त

बहुत विस्तृत लाइन बंडल

परिभाषाएँ

अर्ध-कॉम्पैक्ट योजनाओं पर पर्याप्त विपरीत संग्रह

उचित योजनाओं पर

उदाहरण/गैर-उदाहरण

लाइन बंडलों की प्रचुरता के लिए मानदंड

प्रतिच्छेदन सिद्धांत

क्लेमन की कसौटी

प्रचुरता का विवृत पन

क्लेमन की प्रचुरता के अन्य लक्षण

सामान्यीकरण

पर्याप्त सदिश बंडल

बड़ी लाइन बंडल

सापेक्ष प्रचुरता

यह भी देखें

सामान्य बीजगणितीय ज्यामिति

समष्टि ज्यामिति में प्रचुरता

टिप्पणियाँ

स्रोत

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

पर्याप्त लाइन बंडल: Difference between revisions

Revision as of 17:22, 23 July 2023

परिचय

एक लाइन बंडल और हाइपरप्लेन विभाजक का पुलबैक

बेसपॉइंट-मुक्त लाइन बंडल

नेफ, विश्व स्तर पर उत्पन्न, अर्ध-पर्याप्त

बहुत विस्तृत लाइन बंडल

परिभाषाएँ

अर्ध-कॉम्पैक्ट योजनाओं पर पर्याप्त विपरीत संग्रह

उचित योजनाओं पर

उदाहरण/गैर-उदाहरण

लाइन बंडलों की प्रचुरता के लिए मानदंड

प्रतिच्छेदन सिद्धांत

क्लेमन की कसौटी

प्रचुरता का विवृत पन

क्लेमन की प्रचुरता के अन्य लक्षण

सामान्यीकरण

पर्याप्त सदिश बंडल

बड़ी लाइन बंडल

सापेक्ष प्रचुरता

यह भी देखें

सामान्य बीजगणितीय ज्यामिति

समष्टि ज्यामिति में प्रचुरता

टिप्पणियाँ

स्रोत

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories