बीजगणितीय विविधता: Difference between revisions

From Vigyanwiki
m (Abhishek moved page बीजीय किस्म to बीजगणितीय विविधता without leaving a redirect)
 
(22 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{short description|Mathematical object studied in the field of algebraic geometry}}
{{short description|Mathematical object studied in the field of algebraic geometry}}
{{About|algebraic varieties|the term "variety of algebras"|Variety (universal algebra)}}
{{About|बीजगणितीय विविधता|शब्द "बीजगणित की विविधता"|विविधता (सार्वभौमिक बीजगणित)}}
[[File:Twisted cubic curve.png|thumb|[[ मुड़ घन ]] एक प्रक्षेपी बीजीय किस्म है।]]बीजगणितीय किस्में [[ बीजगणितीय ज्यामिति ]], गणित के एक उप-क्षेत्र में अध्ययन की केंद्रीय वस्तुएं हैं। शास्त्रीय रूप से, एक बीजीय विविधता को [[ वास्तविक संख्या ]] या [[ जटिल संख्या ]]ओं पर बहुपद समीकरणों की एक प्रणाली के [[ समाधान सेट ]] के रूप में परिभाषित किया जाता है। मूल परिभाषा के पीछे ज्यामितीय अंतर्ज्ञान को संरक्षित करने का प्रयास करते हुए आधुनिक परिभाषाएं इस अवधारणा को कई अलग-अलग तरीकों से सामान्यीकृत करती हैं।{{r|Hartshorne|page1=58}} [[ बीजगणित ]]ीय किस्म की परिभाषा के संबंध में परंपराएं थोड़ी भिन्न हैं। उदाहरण के लिए, कुछ परिभाषाओं के लिए एक बीजीय [[ विविध ]]ता को इरेड्यूसिबल होने की आवश्यकता होती है, जिसका अर्थ है कि यह दो छोटे [[ सेट (गणित) ]] का [[ संघ (सेट सिद्धांत) ]] नहीं है जो [[ ज़ारिस्की टोपोलॉजी ]] में [[ बंद सेट ]] हैं। इस परिभाषा के तहत, गैर-अपरिवर्तनीय बीजीय किस्मों को बीजीय सेट कहा जाता है। अन्य सम्मेलनों को अप्रासंगिकता की आवश्यकता नहीं है।
[[File:Twisted cubic curve.png|thumb|[[ मुड़ घन ]] एक प्रक्षेपी बीजीय विवधता है।]]बीजगणितीय विविधता या[[ बीजगणितीय ज्यामिति | बीजगणितीय ज्यामिति]], गणित के उप-क्षेत्र में अध्ययन की केंद्रीय वस्तुएं हैं। मूल रूप से, एक बीजीय विविधता को [[ वास्तविक संख्या |वास्तविक संख्या]] या [[ जटिल संख्या | सम्मिश्र संख्या]] पर बहुपद समीकरणों की एक प्रणाली के [[ समाधान सेट |समाधान समुच्चय]] के रूप में परिभाषित किया जाता है। आधुनिक परिभाषाएँ इस अवधारणा को कई अलग-अलग विधियों का उपयोग करके इसे सामान्य बनाती हैं, मूल परिभाषा के पीछे ज्यामितीय अंतर्ज्ञान को संरक्षित करने का प्रयास करते हुए।{{r|Hartshorne|page1=58}}


बीजगणित का मूल प्रमेय यह दिखाते हुए बीजगणित और [[ ज्यामिति ]] के बीच एक कड़ी स्थापित करता है कि जटिल संख्या गुणांक वाले एक चर में एक [[ मोनिक बहुपद ]] (एक बीजगणितीय वस्तु) [[ जटिल विमान ]] में एक फ़ंक्शन (एक ज्यामितीय वस्तु) के शून्य के सेट द्वारा निर्धारित किया जाता है। . इस परिणाम को सामान्य करते हुए, हिल्बर्ट के नलस्टेलेंसैट्ज बहुपद के छल्ले और बीजगणितीय सेटों के आदर्श_ (रिंग_थ्योरी) के बीच एक मौलिक पत्राचार प्रदान करता है। 'Nullstellensatz' और संबंधित परिणामों का उपयोग करते हुए, गणितज्ञों ने बीजगणितीय सेटों और [[ अंगूठी सिद्धांत ]] के प्रश्नों के बीच एक मजबूत पत्राचार स्थापित किया है। यह पत्राचार बीजीय ज्यामिति की एक परिभाषित विशेषता है।
[[ बीजगणित |बीजगणितीय]] विविधता की परिभाषा के संबंध में पद्धतियां थोड़ी भिन्न होती हैं। उदाहरण के लिए, कुछ परिभाषाओं के लिए एक बीजीय विवधता को अलघुकरणीय होने की आवश्यकता होती है, जिसका अर्थ है कि यह दो छोटे [[ सेट (गणित) |समुच्चय(गणित)]] का [[ संघ (सेट सिद्धांत) |संघ(समुच्चय सिद्धांत)]] नहीं है जो [[ ज़ारिस्की टोपोलॉजी | ज़ारिस्की टोपोलॉजी]] में [[ बंद सेट |बंद समुच्चय]] हैं। इस परिभाषा के तहत, गैर-अपूरणीय बीजगणितीय विवधता को बीजगणितीय समुच्चय कहा जाता है। अन्य सम्मेलनों में अप्रासंगिकता की आवश्यकता नहीं होती है।


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


आधुनिक [[ योजना (गणित) ]] सिद्धांत के संदर्भ में, एक क्षेत्र पर एक बीजगणितीय विविधता उस क्षेत्र पर एक अभिन्न (अपरिवर्तनीय और कम) योजना है जिसकी [[ संरचना आकारिकी ]] अलग और परिमित प्रकार की है।
कई बीजगणितीय विवधता कई गुना होती हैं, लेकिन एक बीजगणितीय विविधता में एकवचन बिंदु हो सकते हैं जबकि कई गुना नहीं हो सकते। बीजगणितीय विवधता को उनके आयाम द्वारा चित्रित किया जा सकता है। आयाम एक की बीजगणितीय विवधता को [[ बीजीय वक्र |बीजीय वक्र]] कहा जाता है और आयाम दो की बीजगणितीय विवधता को [[ बीजीय सतह |बीजीय सतह]] कहा जाता है।
 
आधुनिक [[ योजना (गणित) |योजना (गणित)]] सिद्धांत के संदर्भ में, एक क्षेत्र पर एक बीजगणितीय विविधता उस क्षेत्र पर एक अभिन्न (अखंडनीय और कम) योजना है जिसकी [[ संरचना आकारिकी |संरचना आकारिकी]] अलग और परिमित प्रकार की होती है।


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


===एफिन किस्में ===
===सजातीय विविधता ===
{{main|Affine variety}}
{{main|सजातीय विविधता}}
बीजगणितीय रूप से बंद क्षेत्र के लिए {{mvar|K}} और एक [[ प्राकृतिक संख्या ]] {{mvar|n}}, होने देना {{math|'''A'''<sup>''n''</sup>}} एफ़िन स्पेस बनें|एफ़िन {{math|''n''}}-स्पेस ओवर {{math|''K''}}, के लिए पहचाना गया <math>K^n</math> एक affine समन्वय प्रणाली की पसंद के माध्यम से। बहुपद {{math|&thinsp;''f''&thinsp;}} रिंग में {{math|''K''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}} के-मूल्यवान कार्यों के रूप में देखा जा सकता है {{math|'''A'''<sup>''n''</sup>}} मूल्यांकन करके {{math|&thinsp;''f''&thinsp;}} बिंदुओं पर {{math|'''A'''<sup>''n''</sup>}}, यानी प्रत्येक x . के लिए K में मान चुनकर<sub>i</sub>. में बहुपदों के प्रत्येक समुच्चय S के लिए {{math|''K''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}}, शून्य-लोकस Z(S) को बिंदुओं के समुच्चय के रूप में परिभाषित करें {{math|'''A'''<sup>''n''</sup>}} जिस पर S में कार्य एक साथ गायब हो जाते हैं, अर्थात्
 
बीजगणितीय रूप से बंद फ़ील्ड {{mvar|K}} और [[ प्राकृतिक संख्या | प्राकृतिक संख्या]] {{mvar|n}} के लिए, {{math|'''A'''<sup>''n''</sup>}} को {{math|''K''}} पर एक  {{math|''n''}}-स्पेस ओवर होने दें, जिसे सजातीय निर्देशांक प्रणाली की पसंद के माध्यम से <math>K^n</math> से पहचाना जाता है। वलय {{math|''K''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}} में बहुपद {{math|&thinsp;''f''&thinsp;}}  को {{math|'''A'''<sup>''n''</sup>}} के बिंदुओं पर  {{math|&thinsp;''f''&thinsp;}}  का मूल्यांकन करके {{math|'''A'''<sup>''n''</sup>}} पर K-मूल्यवान फलन के रूप में देखा जा सकता है, अर्थात् प्रत्येक xi के लिए K में मान चुनकर।{{math|''K''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>'']}} में बहुपदों के प्रत्येक समुच्चय S के लिए, शून्य-बिंदु Z(S) को {{math|'''A'''<sup>''n''</sup>}} में बिंदुओं के समूहों में परिभाषित करें जो S फंक्शन में एक साथ निहित हो जाता है, कहने का मतलब है


:<math>Z(S) = \left \{x \in \mathbf{A}^n \mid f(x) = 0 \text{ for all } f\in S \right \}.</math>
:<math>Z(S) = \left \{x \in \mathbf{A}^n \mid f(x) = 0 \text{ for all } f\in S \right \}.</math>
का एक उपसमुच्चय V {{math|'''A'''<sup>''n''</sup>}} यदि कुछ ''S'' के लिए ''V'' = ''Z''(''S'') तो एक affine बीजीय समुच्चय कहलाता है।{{r|Hartshorne|page1=2}} एक गैर-रिक्त affine बीजीय [[ सबसेट ]] V को 'इरेड्यूसिबल' कहा जाता है यदि इसे दो उपसमुच्चय बीजीय उपसमुच्चय के मिलन के रूप में नहीं लिखा जा सकता है।{{r|Hartshorne|page1=3}} एक इरेड्यूसिबल एफ़िन बीजीय सेट को एफ़िन किस्म भी कहा जाता है।{{r|Hartshorne|page1=3}} (कई लेखक किसी भी एफ़िन बीजीय सेट, इरेड्यूसिबल या नहीं के संदर्भ में एफ़िन किस्म वाक्यांश का उपयोग करते हैं<ref group="note">Hartshorne, p.xv, notes that his choice is not conventional; see for example, Harris, p.3</ref>)
{{math|'''A'''<sup>''n''</sup>}} के उपसमुच्चय V को सजातीय बीजीय समुच्चय कहा जाता है यदि कुछ S के लिए V = Z(S)यदि इसे दो उचित बीजीय समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है।{{r|Hartshorne|page1=2}} एक अलघुकरणीय सजातीय बीजीय [[ सबसेट |सबसमुच्चय]] को सजातीय विविधता भी कहा जाता है।{{r|Hartshorne|page1=3}} कई लेखक किसी भी सजातीय बीजगणितीय समुच्चय को संदर्भित करने के लिए सजातीय विवधता वाक्यांश का उपयोग करते हैं, इरेड्यूसबल या नहीं <ref group="note">Hartshorne, p.xv, notes that his choice is not conventional; see for example, Harris, p.3</ref>)  
 
बंद समुच्चयों को ठीक सजातीय बीजीय समुच्चय घोषित करके सजातीय विवधता को [[ प्राकृतिक टोपोलॉजी | प्राकृतिक टोपोलॉजी]] दी जा सकती है। इस टोपोलॉजी को ज़ारिस्की टोपोलॉजी कहा जाता है।{{r|Hartshorne|page1=2}}


बंद सेटों को ठीक एफ़िन बीजीय सेट घोषित करके एफ़िन किस्मों को [[ प्राकृतिक टोपोलॉजी ]] दी जा सकती है। इस टोपोलॉजी को ज़ारिस्की टोपोलॉजी कहा जाता है।{{r|Hartshorne|page1=2}}
{{math|'''A'''<sup>''n''</sup>}} के उपसमुच्चय V को देखते हुए, हम I(V) को V पर लुप्त होने वाले सभी बहुपद फलनों का आदर्श मानते हैं:
का एक उपसमुच्चय V दिया है {{math|'''A'''<sup>''n''</sup>}}, हम I(V) को V पर लुप्त होने वाले सभी बहुपद फलनों का आदर्श मानते हैं:


:<math>I(V) = \left \{f \in K[x_1,\ldots,x_n] \mid f(x) = 0 \text{ for all } x\in V \right \}.</math>
:<math>I(V) = \left \{f \in K[x_1,\ldots,x_n] \mid f(x) = 0 \text{ for all } x\in V \right \}.</math>
किसी भी एफ़िन बीजीय सेट V के लिए, V का 'निर्देशांक वलय' या 'संरचना वलय' इस आदर्श द्वारा बहुपद वलय का [[ भागफल वलय ]] है।{{r|Hartshorne|page1=4}}
किसी भी सजातीय बीजगणितीय समुच्चय वी के लिए, वी की समन्वय रिंग या संरचना इस आदर्श द्वारा बहुपद रिंग का भागफल वलय है।{{r|Hartshorne|page1=4}}
 
===प्रक्षेपीय विविधता और अर्ध-प्रक्षेपीय विविधता ===
{{main|प्रक्षेपीय विविधता|अर्ध-प्रक्षेपीय विविधता}}


===प्रोजेक्टिव किस्में और अर्ध-प्रोजेक्टिव किस्में ===
मान लीजिए {{mvar|k}} एक बीजगणितीय रूप से बंद क्षेत्र है और {{math|'''P'''<sup>''n''</sup>}} को '''{{mvar|k}}''' के ऊपर प्रक्षेपी n-स्पेस होने दें। मान लीजिए {{math|&thinsp;''f''&thinsp;}} में {{math|''k''[''x''<sub>0</sub>, ..., ''x<sub>n</sub>'']}} घात d का एक समांगी बहुपद है। [[ सजातीय निर्देशांक |सजातीय निर्देशांक]] में {{math|'''P'''<sup>''n''</sup>}} में बिंदुओं पर {{math|&thinsp;''f''&thinsp;}}  का मूल्यांकन करना अच्छी तरह से परिभाषित नहीं है। चूंकि, {{math|&thinsp;''f''&thinsp;}} सजातीय है, जिसका अर्थ है कि {{math|&thinsp;''f''&thinsp; (''λx''<sub>0</sub>, ..., ''λx<sub>n</sub>'') {{=}} ''λ<sup>d</sup>''&thinsp;''f''&thinsp; (''x''<sub>0</sub>, ..., ''x<sub>n</sub>'')}}, यह पूछने के लिए समझ में आता है क्या {{math|&thinsp;''f''&thinsp;}}बिंदु {{math|[''x''<sub>0</sub> : ... : ''x<sub>n</sub>'']}} पर लुप्त हो जाता है। सजातीय बहुपदों के प्रत्येक एस के लिए, {{math|'''P'''<sup>''n''</sup>}} में बिंदुओं के समुच्चय के रूप में S के शून्य-बिंदु को परिभाषित करें जिस पर S में कार्य गायब हो जाते हैं:
{{main|Projective variety|Quasi-projective variety}}
होने देना {{mvar|k}} बीजगणितीय रूप से बंद क्षेत्र हो और चलो {{math|'''P'''<sup>''n''</sup>}} प्रोजेक्टिव स्पेस की बीजगणितीय ज्यामिति बनें|प्रोजेक्टिव एन-स्पेस ओवर {{mvar|k}}. होने देना {{math|&thinsp;''f''&thinsp;}} में {{math|''k''[''x''<sub>0</sub>, ..., ''x<sub>n</sub>'']}} घात d का एक समांगी बहुपद हो। यह मूल्यांकन करने के लिए अच्छी तरह से परिभाषित नहीं है {{math|&thinsp;''f''&thinsp;}} अंक पर {{math|'''P'''<sup>''n''</sup>}} [[ सजातीय निर्देशांक ]] में। हालांकि, क्योंकि {{math|&thinsp;''f''&thinsp;}} सजातीय है, जिसका अर्थ है कि {{math|&thinsp;''f''&thinsp; (''λx''<sub>0</sub>, ..., ''λx<sub>n</sub>'') {{=}} ''λ<sup>d</sup>''&thinsp;''f''&thinsp; (''x''<sub>0</sub>, ..., ''x<sub>n</sub>'')}}, यह पूछना समझ में आता है कि क्या {{math|&thinsp;''f''&thinsp;}} एक बिंदु पर गायब हो जाता है {{math|[''x''<sub>0</sub> : ... : ''x<sub>n</sub>'']}}. सजातीय बहुपदों के प्रत्येक समुच्चय S के लिए, S के शून्य-पथ को परिभाषित कीजिए कि यह बिंदुओं का समुच्चय है। {{math|'''P'''<sup>''n''</sup>}} जिस पर एस में कार्य गायब हो जाते हैं:


:<math>Z(S) = \{x \in \mathbf{P}^n \mid f(x) = 0 \text{ for all } f\in S\}.</math>
:<math>Z(S) = \{x \in \mathbf{P}^n \mid f(x) = 0 \text{ for all } f\in S\}.</math>
का एक उपसमुच्चय V {{math|'''P'''<sup>''n''</sup>}} यदि कुछ ''S'' के लिए ''V'' = ''Z''(''S'') तो एक प्रक्षेपी बीजीय समुच्चय कहलाता है।{{r|Hartshorne|page1=9}} एक इरेड्यूसिबल प्रोजेक्टिव बीजीय सेट को प्रोजेक्टिव किस्म कहा जाता है।{{r|Hartshorne|page1=10}}
{{math|'''P'''<sup>''n''</sup>}} के उपसमुच्चय V को प्रक्षेपी बीजगणितीय समुच्चय कहा जाता है यदि कुछ S के लिए V = Z(S){{r|Hartshorne|page1=9}} एक अलघुकरणीय प्रक्षेपी बीजगणितीय समुच्चय को प्रक्षेपी विवधता कहा जाता है।{{r|Hartshorne|page1=10}}सभी बीजीय समुच्चयों को बंद करने की घोषणा करके प्रक्षेपीय विविधताओं को ज़ारिस्की टोपोलॉजी से भी लैस किया गया है।
सभी बीजीय सेटों को बंद करने की घोषणा करके प्रोजेक्टिव किस्मों को ज़ारिस्की टोपोलॉजी से भी लैस किया गया है।


का एक उपसमुच्चय V दिया है {{math|'''P'''<sup>''n''</sup>}}, मान लीजिए I(V) V पर लुप्त होने वाले सभी सजातीय बहुपदों द्वारा उत्पन्न आदर्श है। किसी प्रक्षेपी बीजीय समुच्चय V के लिए, V का 'समान निर्देशांक वलय' इस आदर्श द्वारा बहुपद वलय का भागफल है।{{r|Hartshorne|page1=10}}
[[ अर्ध-प्रोजेक्टिव किस्म |अर्ध-प्रक्षेपीय विविधता]] प्रक्षेपीय विविधता के लिए ज़ारिस्की का एक खुला उपसमुच्चय है। ध्यान दें कि प्रत्येक सजातीय विवधता अर्ध-प्रक्षेपीय है।<ref>Hartshorne, Exercise I.2.9, p.12</ref> यह भी ध्यान दें कि एक सजातीय वैरायटी में एक बीजगणितीय समुच्चय का पूरक एक अर्ध-प्रक्षेपीय विविधता है; सजातीय विवधता के संदर्भ में, ऐसी अर्ध-प्रक्षेपी विविधता को साधारणतयः विविधता नहीं बल्कि एक रचनात्मक समुच्चय कहा जाता है।
एक [[ अर्ध-प्रोजेक्टिव किस्म ]] एक प्रोजेक्टिव किस्म का ज़ारिस्की टोपोलॉजी उपसमुच्चय है। ध्यान दें कि प्रत्येक एफ़िन किस्म अर्ध-प्रोजेक्टिव है।<ref>Hartshorne, Exercise I.2.9, p.12</ref> यह भी ध्यान दें कि एफ़िन किस्म में बीजीय सेट का पूरक एक अर्ध-प्रोजेक्टिव किस्म है; एफ़िन किस्मों के संदर्भ में, इस तरह की अर्ध-प्रोजेक्टिव किस्म को आमतौर पर एक किस्म नहीं बल्कि एक रचनात्मक सेट (टोपोलॉजी) कहा जाता है।


=== सार किस्में ===
=== अमूर्त उपसमष्‍टि ===
शास्त्रीय बीजगणितीय ज्यामिति में, सभी किस्में परिभाषा के अनुसार अर्ध-प्रोजेक्टिव किस्म | अर्ध-प्रोजेक्टिव किस्में थीं, जिसका अर्थ है कि वे [[ प्रक्षेप्य स्थान ]] की बंद उप-प्रजातियों की खुली उप-प्रजातियां थीं। उदाहरण के लिए, हार्टशोर्न के अध्याय 1 में बीजगणितीय रूप से बंद क्षेत्र में एक किस्म को अर्ध-प्रोजेक्टिव किस्म के रूप में परिभाषित किया गया है,{{r|Hartshorne|page1=15}} लेकिन अध्याय 2 के बाद से, विविधता शब्द (जिसे एक अमूर्त किस्म भी कहा जाता है) एक अधिक सामान्य वस्तु को संदर्भित करता है, जो स्थानीय रूप से एक अर्ध-प्रोजेक्टिव किस्म है, लेकिन जब समग्र रूप से देखा जाता है तो यह आवश्यक रूप से अर्ध-प्रोजेक्टिव नहीं होता है; यानी इसमें प्रोजेक्टिव स्पेस में एम्बेडिंग नहीं हो सकती है।{{r|Hartshorne|page1=105}} इसलिए शास्त्रीय रूप से एक बीजीय किस्म की परिभाषा के लिए प्रक्षेप्य स्थान में एक एम्बेडिंग की आवश्यकता होती है, और इस एम्बेडिंग का उपयोग विविधता पर टोपोलॉजी और विविधता पर नियमित कार्यों को परिभाषित करने के लिए किया जाता था। इस तरह की परिभाषा का नुकसान यह है कि सभी किस्में प्रोजेक्टिव स्पेस में प्राकृतिक एम्बेडिंग के साथ नहीं आती हैं। उदाहरण के लिए, इस परिभाषा के तहत, उत्पाद {{math|'''P'''<sup>1</sup> × '''P'''<sup>1</sup>}} यह एक किस्म नहीं है जब तक कि इसे प्रक्षेप्य स्थान में एम्बेड नहीं किया जाता है; यह आमतौर पर [[ सेग्रे एम्बेडिंग ]] द्वारा किया जाता है। हालाँकि, कोई भी किस्म जो एक को प्रक्षेपी स्थान में एम्बेड करने की अनुमति देती है, [[ वेरोनीज़ एम्बेडिंग ]] के साथ एम्बेडिंग की रचना करके कई अन्य लोगों को स्वीकार करती है। नतीजतन, कई धारणाएं जो आंतरिक होनी चाहिए, जैसे कि एक नियमित कार्य की अवधारणा, स्पष्ट रूप से ऐसा नहीं है।
मूल बीजगणितीय ज्यामिति में, सभी विवधता परिभाषा के अनुसार अर्ध-प्रक्षेपी विवधता थीं, जिसका अर्थ है कि वे [[ प्रक्षेप्य स्थान |प्रक्षेप्य स्थान]] की बंद उप-विवधता की खुली उप-विवधता थीं। उदाहरण के लिए, हार्टशोर्न के अध्याय 1 में एक बीजगणितीय रूप से बंद क्षेत्र में विविधता को अर्ध-प्रक्षेपी विविधता के रूप में परिभाषित किया गया है,{{r|Hartshorne|page1=15}} लेकिन अध्याय 2 के बाद से, शब्द विविधता (जिसे अमूर्त विवधता भी कहा जाता है) जो एक अधिक सामान्य वस्तु को संदर्भित करता है, जो स्थानीय रूप से एक अर्ध-प्रक्षेपी विवधता है, लेकिन जब समग्र रूप से देखा जाए तो जरूरी नहीं कि अर्ध-प्रक्षेपी हो; यानी इसमें प्रक्षेपीय स्पेस में अंत:स्थापन नहीं हो सकती है।{{r|Hartshorne|page1=105}} तो मूल रूप से बीजगणितीय विविधता की परिभाषा को प्रक्षेपीय स्पेस में अंत:स्थापन की आवश्यकता होती है, और विविधता पर टोपोलॉजी और विविधता पर नियमित कार्यों को परिभाषित करने के लिए इस अंत:स्थापन का उपयोग किया गया था। इस तरह की परिभाषा से हानि यह है कि सभी विविधिताएँ प्राकृतिक अंत:स्थापन के साथ प्रक्षेप्य स्थान में नहीं आती हैं। उदाहरण के लिए, इस परिभाषा के तहत, उत्पाद {{math|'''P'''<sup>1</sup> × '''P'''<sup>1</sup>}} एक विवधता नहीं है जब तक यह प्रक्षेपीय स्पेस में एम्बेड नहीं किया जाता है; यह साधारणतयः [[ सेग्रे एम्बेडिंग |सेग्रे अंत:स्थापन]] द्वारा किया जाता है। चूँकि, कोई भी विवधता जो किसी को प्रक्षेपीय स्पेस में एम्बेड करने की अनुमति देती है, [[ वेरोनीज़ एम्बेडिंग |वेरोनीज़ अंत:स्थापन]] के साथ अंत:स्थापन की रचना करके कई अन्य लोगों को स्वीकार करती है। परिणामस्वरूप, कई धारणाएं जो आंतरिक होनी चाहिए, जैसे नियमित कार्य की अवधारणा स्पष्ट रूप से ऐसा नहीं है।
 
बीजगणितीय विविधता को अमूर्त रूप से परिभाषित करने का सबसे पहला सफल प्रयास, बिना एम्बेडिंग के, आंद्रे वेइल द्वारा किया गया था। बीजगणितीय ज्यामिति की अपनी नींव में, वेइल ने [[ मूल्यांकन (बीजगणित) ]] का उपयोग करते हुए एक अमूर्त बीजीय किस्म को परिभाषित किया। [[ क्लाउड शेवेली ]] ने एक योजना (गणित) की परिभाषा दी, जो एक समान उद्देश्य की पूर्ति करती थी, लेकिन अधिक सामान्य थी। हालांकि, [[ अलेक्जेंडर ग्रोथेंडिक ]] की एक योजना की परिभाषा अभी भी अधिक सामान्य है और इसे सबसे व्यापक स्वीकृति मिली है। ग्रोथेंडिक की भाषा में, एक अमूर्त बीजगणितीय किस्म को आमतौर पर स्कीम थ्योरी की शब्दावली के रूप में परिभाषित किया जाता है # इंटीग्रल, स्कीम थ्योरी की शब्दावली # परिमित रूपवाद की अलग योजना # बीजगणितीय रूप से बंद क्षेत्र पर परिमित प्रकार की आकृति,{{r|Hartshorne|pp=104&ndash;105}} हालांकि कुछ लेखक इरेड्यूसिबिलिटी या न्यूनता या अलगाव की स्थिति को छोड़ देते हैं या अंतर्निहित क्षेत्र को बीजगणितीय रूप से बंद नहीं होने देते हैं।<ref group=note>Liu, Qing. ''Algebraic Geometry and Arithmetic Curves'', p. 55 Definition 2.3.47, and p. 88 Example 3.2.3</ref> शास्त्रीय बीजगणितीय किस्में बीजगणितीय रूप से बंद क्षेत्र पर अर्ध-प्रोजेक्टिव अभिन्न पृथक परिमित प्रकार की योजनाएं हैं।
 
==== गैर-अर्धप्रोजेक्टिव अमूर्त बीजीय किस्मों का अस्तित्व ====
एक गैर-अर्धप्रोजेक्टिव बीजीय किस्म के शुरुआती उदाहरणों में से एक नागाटा द्वारा दिया गया था।<ref name=Nagata56/>नागाटा का उदाहरण पूर्ण विविधता (कॉम्पैक्टनेस का एनालॉग) नहीं था, लेकिन इसके तुरंत बाद उन्हें एक बीजीय सतह मिली जो पूर्ण और गैर-प्रोजेक्टिव थी।<ref name=Nagata57/>{{r|Hartshorne|loc=Remark 4.10.2 p.105}} तब से अन्य उदाहरण मिले हैं; उदाहरण के लिए, एक [[ टोरिक किस्म ]] का निर्माण करना सीधा है जो अर्ध-प्रोजेक्टिव नहीं बल्कि पूर्ण है।<ref>In page 65 of {{Citation | last1=Fulton | first1=William | author1-link=William Fulton (mathematician) | title=Introduction to toric varieties | publisher=[[Princeton University Press]] | isbn=978-0-691-00049-7 | year=1993}}, a remark describes a complete toric variety that has no non-trivial line bundle; thus, in particular, it has no ample line bundle.</ref>


एक अंत:स्थापन के बिना, एक बीजगणितीय विविधता को सारगर्भित रूप से परिभाषित करने का सबसे पहला सफल प्रयास एंड्रे वेइल द्वारा किया गया था। बीजगणितीय ज्यामिति की अपनी नींव में, वेइल ने [[ मूल्यांकन (बीजगणित) |मूल्यांकन (बीजगणित)]] का उपयोग करके एक अमूर्त बीजगणितीय विविधता को परिभाषित किया। [[ क्लाउड शेवेली |क्लाउड शेवेली]] ने एक योजना की परिभाषा दी, जिसने एक समान उद्देश्य पूरा किया, लेकिन अधिक सामान्य था। चूंकि, [[ अलेक्जेंडर ग्रोथेंडिक |अलेक्जेंडर ग्रोथेंडिक]] की एक योजना की परिभाषा अभी भी अधिक सामान्य है और इसे सबसे व्यापक स्वीकृति प्राप्त हुई है। ग्रोथेंडिक की भाषा में, एक सार बीजगणितीय विविधता को साधारणतयः एक बीजगणितीय रूप से बंद क्षेत्र पर परिमित प्रकार की एक अभिन्न, अलग योजना के रूप में परिभाषित किया जाता है,{{r|Hartshorne|pp=104&ndash;105}} चूंकि कुछ लेखक इरेड्यूसिबिलिटी या रिड्यूसनेस या अलगाव की स्थिति को छोड़ देते हैं या अंतर्निहित क्षेत्र को बीजगणितीय रूप से बंद नहीं होने देते हैं।<ref group="note">Liu, Qing. ''Algebraic Geometry and Arithmetic Curves'', p. 55 Definition 2.3.47, and p. 88 Example 3.2.3</ref> मूल बीजगणितीय विविधता बीजगणितीय रूप से बंद क्षेत्र पर क्वासिप्रक्षेपीय समाकलित वियुक्त परिमित प्रकार की योजनाएं हैं।


==== गैर-अर्धप्रक्षेपीय संक्षेपित बीजीय विवधता का अस्तित्व ====
एक गैर-अद्र्धप्रक्षेपी बीजगणितीय विवधता के शुरुआती उदाहरणों में से एक नगाटा द्वारा दिया गया था।<ref name=Nagata56/> नागाटा का उदाहरण पूर्ण नहीं था (सघनता का अनुरूप), लेकिन बाद में उन्हें एक बीजगणितीय सतह मिली जो पूर्ण और गैर-प्रक्षेपी थी।{{r|Hartshorne|loc=Remark 4.10.2 p.105}}  तब से इसके अन्य उदाहरण पाए गए हैं; उदाहरण के लिए, एक [[ टोरिक किस्म |टोरिक विविधता]] का निर्माण करना सीधा है जो अर्ध-प्रक्षेपी नहीं है लेकिन पूर्ण है।<ref>In page 65 of {{Citation | last1=Fulton | first1=William | author1-link=William Fulton (mathematician) | title=Introduction to toric varieties | publisher=[[Princeton University Press]] | isbn=978-0-691-00049-7 | year=1993}}, a remark describes a complete toric variety that has no non-trivial line bundle; thus, in particular, it has no ample line bundle.</ref>
== उदाहरण ==
== उदाहरण ==


===उपवर्ग ===
===उपवर्ग ===
एक उपप्रजाति एक किस्म का सबसेट है जो स्वयं एक किस्म है (परिवेश विविधता से प्रेरित संरचना के संबंध में)। उदाहरण के लिए, किसी किस्म का प्रत्येक खुला उपसमुच्चय एक किस्म है। [[ बंद विसर्जन ]] भी देखें।
उप-विविधता एक ऐसी विविधता का सबसमुच्चय है जो स्वयं एक विविधता है (परिवेश विविधता से प्रेरित संरचना के संबंध में)। उदाहरण के लिए, एक विविधता का हर खुले उपसमुच्चय की एक विविधता है। इसके लिए[[ बंद विसर्जन ]] भी देखें।


हिल्बर्ट के Nullstellensatz का कहना है कि एक एफ़िन या प्रोजेक्टिव किस्म की बंद उप-प्रजातियां विविधता के समन्वय रिंग के प्रमुख आदर्शों या सजातीय प्रमुख आदर्शों के साथ एक-से-एक पत्राचार में हैं।
हिल्बर्ट के नलस्टेलेंसत्ज़ का कहना है कि एक सजातीय या प्रक्षेपी विवधता की बंद उप-विविधताएँ एक दूसरे से पत्राचार में प्रमुख आदर्शों या विविधता के समन्वय रिंग के सजातीय प्रमुख आदर्शों के साथ होती हैं।


=== एफाइन किस्म ===
=== सजातीय विवधता ===


==== उदाहरण 1====
==== उदाहरण 1====
होने देना {{math|''k'' {{=}} '''C'''}}, और <sup>2</sup> C के ऊपर द्वि-आयामी [[ एफ़िन स्पेस ]] हो। रिंग C[''x'', ''y''] में बहुपदों को A पर जटिल मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है<sup>2</sup> A . के बिंदुओं पर मूल्यांकन करके<sup>2</सुप>. माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव है {{math|&thinsp;''f''&thinsp; (''x'', ''y'')}}:
'मान लीजिये{{math|''k'' {{=}} '''C'''}}, और A<sup>2</sup> C के ऊपर द्वि-आयामी [[ एफ़िन स्पेस | एफ़िन स्पेस]] हो। रिंग C[''x'', ''y''] में बहुपदों को A पर सम्मिश्र मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है इसके बिंदुओं पर मूल्यांकन करके
 
माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव है {{math|&thinsp;''f''&thinsp; (''x'', ''y'')}}:


:<math>f(x, y) = x+y-1.</math>
:<math>f(x, y) = x+y-1.</math>
का शून्य-ठिकाना {{math|&thinsp;''f''&thinsp; (''x'', ''y'')}} A . में बिंदुओं का समुच्चय है<sup>2</sup> जिस पर यह फ़ंक्शन गायब हो जाता है: यह सम्मिश्र संख्याओं (x, y) के सभी युग्मों का समुच्चय इस प्रकार है कि y = 1 - x। इसे एफाइन प्लेन में एक लाइन (ज्यामिति) कहा जाता है। ('शास्त्रीय टोपोलॉजी' में जटिल संख्याओं पर टोपोलॉजी से आ रही है, एक जटिल रेखा आयाम दो का वास्तविक कई गुना है।) यह सेट है {{math|''Z''(&thinsp;''f''&thinsp;)}}:
का शून्य-ठिकाना {{math|&thinsp;''f''&thinsp; (''x'', ''y'')}} A . में बिंदुओं का समुच्चय है जिस पर यह फ़ंक्शन गायब हो जाता है: यह सम्मिश्र संख्याओं (x, y) के सभी युग्मों का समुच्चय इस प्रकार है कि y = 1 - x। इसे सजातीय प्लेन में एक लाइन (ज्यामिति) कहा जाता है। ('शास्त्रीय टोपोलॉजी' में सम्मिश्र संख्याओं पर टोपोलॉजी से आ रही है, एक सम्मिश्र रेखा आयाम दो का वास्तविक कई गुना है।) यह समुच्चय है {{math|''Z''(&thinsp;''f''&thinsp;)}}:


:<math>Z(f) = \{ (x,1-x) \in \mathbf{C}^2 \}.</math>
:<math>Z(f) = \{ (x,1-x) \in \mathbf{C}^2 \}.</math>
इस प्रकार उपसमुच्चय {{math|''V'' {{=}} ''Z''(&thinsp;''f''&thinsp;)}} ए का<sup>2</sup> एक बीजीय किस्म है#Affine किस्म। सेट V खाली नहीं है। यह अपरिवर्तनीय है, क्योंकि इसे दो उचित बीजीय उपसमुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। इस प्रकार यह एक एफाइन बीजीय किस्म है।
इस प्रकार उपसमुच्चय {{math|''V'' {{=}} ''Z''(&thinsp;''f''&thinsp;)}} A<sup>2</sup> एक बीजीय विवधता है सजातीय विवधता। समुच्चय V रिक्त नहीं है। यह अपरिवर्तनीय है, क्योंकि इसे दो उचित बीजीय समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। इस प्रकार यह एक सजातीय बीजीय विवधता है।


==== उदाहरण 2====
==== उदाहरण 2====
होने देना {{math|''k'' {{=}} '''C'''}}, और <sup>2</sup> C के ऊपर द्वि-आयामी एफ़िन स्पेस हो। रिंग C[''x'', ''y''] में बहुपदों को A पर जटिल मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है<sup>2</sup> A . के बिंदुओं पर मूल्यांकन करके<sup>2</सुप>. माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव g(x, y) है:
होने देना {{math|''k'' {{=}} '''C'''}}, और A<sup>2</sup> C के ऊपर द्वि-आयामी सजातीय स्पेस हो। रिंग C[''x'', ''y''] में बहुपदों को A पर सम्मिश्र मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है A<sup>2</sup> के बिंदुओं पर मूल्यांकन करके माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव g(x, y) है:


:<math>g(x, y) = x^2 + y^2 - 1.</math>
:<math>g(x, y) = x^2 + y^2 - 1.</math>
जी (एक्स, वाई) का शून्य-लोकस 'ए' में बिंदुओं का समूह है<sup>2</sup> जिस पर यह फ़ंक्शन गायब हो जाता है, वह अंक (x, y) का सेट है जैसे कि x<sup>2</sup> + और<sup>2</sup> = 1. चूँकि g(x, y) एक पूर्णतया अपरिष्कृत बहुपद है, यह एक बीजीय किस्म है। इसके वास्तविक बिंदुओं का समुच्चय (अर्थात वह बिंदु जिसके लिए x और y वास्तविक संख्याएँ हैं), इकाई वृत्त के रूप में जाना जाता है; यह नाम अक्सर पूरी किस्म को भी दिया जाता है।
g(x, y) का शून्य-लोकस 'A<sup>2</sup>' में बिंदुओं का समूह है जिस पर यह फ़ंक्शन गायब हो जाता है, वह अंक (x, y) का समुच्चय है जैसे कि x<sup>2</sup> + और<sup>2</sup> = 1. चूँकि g(x, y) एक पूर्णतया अपरिष्कृत बहुपद है, यह एक बीजीय विवधता है। इसके वास्तविक बिंदुओं का समुच्चय (अर्थात वह बिंदु जिसके लिए x और y वास्तविक संख्याएँ हैं), इकाई वृत्त के रूप में जाना जाता है; यह नाम अधिकांशतः पूरी विवधता को भी दिया जाता है।


==== उदाहरण 3====
==== उदाहरण 3====
निम्नलिखित उदाहरण न तो [[ ऊनविम पृष्ठ ]] है, न ही [[ सदिश स्थल ]], न ही एक बिंदु। चलो <sup>3</sup> सी के ऊपर त्रि-आयामी एफ़िन स्पेस बनें। बिंदुओं का सेट (''x'', ''x'')<sup>2</sup>, x<sup>3</sup>) के लिए x in 'C' एक बीजीय किस्म है, और अधिक सटीक रूप से एक बीजीय वक्र है जो किसी भी तल में निहित नहीं है।<ref group="note">Harris, p.9; that it is irreducible is stated as an exercise in Hartshorne p.7</ref> यह ऊपर की आकृति में दिखाया गया मुड़ घन है। इसे समीकरणों द्वारा परिभाषित किया जा सकता है
निम्नलिखित उदाहरण में न तो [[ ऊनविम पृष्ठ | हाइपरसफेस]] है, न ही [[ सदिश स्थल ]], न ही कोई बिंदु। चलो A<sup>3</sup> C के ऊपर त्रि-आयामी सजातीय स्पेस बनता हैं। बिंदुओं का समुच्चय (''x'', ''x'')<sup>2</sup>, x<sup>3</sup>) के लिए x in 'C' एक बीजीय विविधता है, और अधिकांशतः इसमें एक बीजीय वक्र होता है जो किसी भी तल में निहित नहीं रहता है।<ref group="note">Harris, p.9; that it is irreducible is stated as an exercise in Hartshorne p.7</ref> यह ऊपर की आकृति में दिखाया गया घन है। इसे समीकरणों द्वारा परिभाषित किया जा सकता है
:<math>\begin{align}
:<math>\begin{align}
y-x^2&=0\\
y-x^2&=0\\
z-x^3&=0
z-x^3&=0
\end{align}</math>
\end{align}</math>
इस बीजगणितीय समुच्चय की अप्रासंगिकता को एक प्रमाण की आवश्यकता है। इस मामले में एक दृष्टिकोण यह जांचना है कि प्रक्षेपण (x, y, z) → (x, y) समाधान के सेट पर [[ इंजेक्शन समारोह ]] है और इसकी छवि एक अपरिवर्तनीय विमान वक्र है।
इस बीजगणितीय समुच्चय की अप्रासंगिकता को एक प्रमाण की आवश्यकता होती है। इस परिस्थिति में एक दृष्टिकोण यह जांचना है कि प्रक्षेपण (x, y, z) → (x, y) समाधान के समुच्चय पर [[ इंजेक्शन समारोह ]] है और इसका प्रतिबिम्ब एक अपरिवर्तनीय समतल पर वक्र के रूप में दिखता है।


अधिक कठिन उदाहरणों के लिए, एक समान प्रमाण हमेशा दिया जा सकता है, लेकिन एक कठिन गणना का अर्थ हो सकता है: पहले आयाम की गणना करने के लिए ग्रोबनर आधार गणना, उसके बाद चर के यादृच्छिक रैखिक परिवर्तन (हमेशा आवश्यक नहीं); फिर प्रोजेक्शन की गणना करने के लिए एक और [[ एकपदी आदेश ]] के लिए ग्रोबनर आधार गणना और यह साबित करने के लिए कि यह [[ सामान्य संपत्ति ]] इंजेक्शन है और इसकी छवि एक हाइपरसर्फेस है, और अंत में छवि की अपरिवर्तनीयता साबित करने के लिए एक बहुपद कारक है।
अधिक कठिन उदाहरणों के लिए, एक समान प्रमाण हमेशा दिया जा सकता है, लेकिन एक कठिन गणना का अर्थ हो सकता है: पहले आयाम की गणना करने के लिए ग्रोबनर आधार गणना, उसके बाद वैरिएबल के यादृच्छिक रैखिक परिवर्तन (हमेशा आवश्यक नहीं); फिर प्रक्षेपण की गणना करने के लिए एक और [[ एकपदी आदेश ]] के लिए ग्रोबनर आधार गणना और यह साबित करने के लिए कि यह [[ सामान्य संपत्ति ]] इंजेक्शन है और इसकी छवि एक हाइपरसर्फेस है, और अंत में छवि की अपरिवर्तनीयता साबित करने के लिए एक बहुपद कारक है।


==== सामान्य रैखिक समूह ====
==== सामान्य रैखिक समूह ====
आधार क्षेत्र k पर n-by-n आव्यूहों के समुच्चय को affine n . से पहचाना जा सकता है<sup>2</sup>-स्पेस <math>\mathbb{A}^{n^2}</math> निर्देशांक के साथ <math>x_{ij}</math> ऐसा है कि <math>x_{ij}(A)</math> मैट्रिक्स की (i, j) -वीं प्रविष्टि है <math>A</math>. [[ एक मैट्रिक्स का निर्धारक ]] <math>\det</math> तब एक बहुपद है <math>x_{ij}</math> और इस प्रकार हाइपरसर्फेस को परिभाषित करता है <math>H = V(\det)</math> में <math>\mathbb{A}^{n^2}</math>. का पूरक <math>H</math> तब का एक खुला उपसमुच्चय है <math>\mathbb{A}^{n^2}</math> जिसमें सभी व्युत्क्रमणीय n-by-n आव्यूह होते हैं, [[ सामान्य रैखिक समूह ]] <math>\operatorname{GL}_n(k)</math>. यह एक एफ़िन किस्म है, क्योंकि सामान्य तौर पर, एफ़िन किस्म में हाइपरसर्फ़ का पूरक एफ़िन होता है। स्पष्ट रूप से, विचार करें <math>\mathbb{A}^{n^2} \times \mathbb{A}^1</math> जहां एफाइन लाइन को कोऑर्डिनेट टी दिया गया है। फिर <math>\operatorname{GL}_n(k)</math> शून्य-लोकस के बराबर है <math>\mathbb{A}^{n^2} \times \mathbb{A}^1</math> बहुपद का <math>x_{ij}, t</math>:
आधार क्षेत्र k पर n-by-n आव्यूहों के समुच्चय को सजातीय n . से पहचाना जा सकता है<sup>2</sup>-स्पेस <math>\mathbb{A}^{n^2}</math> निर्देशांक के साथ <math>x_{ij}</math> ऐसा है कि <math>x_{ij}(A)</math> मैट्रिक्स की (i, j) -वीं प्रविष्टि है <math>A</math>. [[ एक मैट्रिक्स का निर्धारक ]] <math>\det</math> तब एक बहुपद है <math>x_{ij}</math> और इस प्रकार हाइपरसर्फेस को परिभाषित करता है <math>H = V(\det)</math> में <math>\mathbb{A}^{n^2}</math>. का पूरक <math>H</math> तब का एक खुला उपसमुच्चय है <math>\mathbb{A}^{n^2}</math> जिसमें सभी व्युत्क्रमणीय n-by-n आव्यूह होते हैं, [[ सामान्य रैखिक समूह ]] <math>\operatorname{GL}_n(k)</math>. यह एक सजातीय विवधता है, क्योंकि सामान्य तौर पर, सजातीय विवधता में हाइपरसर्फ़ का पूरक सजातीय होता है। स्पष्ट रूप से, विचार करें <math>\mathbb{A}^{n^2} \times \mathbb{A}^1</math> जहां सजातीय लाइन को कोऑर्डिनेट टी दिया गया है। फिर <math>\operatorname{GL}_n(k)</math> शून्य-लोकस के बराबर है <math>\mathbb{A}^{n^2} \times \mathbb{A}^1</math> बहुपद का <math>x_{ij}, t</math>:
:<math>t \cdot \det[x_{ij}] - 1,</math>
:<math>t \cdot \det[x_{ij}] - 1,</math>
अर्थात्, आव्यूह A का समुच्चय ऐसा है कि <math>t \det(A) = 1</math> एक समाधान है। यह बीजगणितीय रूप से सबसे अच्छी तरह से देखा जाता है: का निर्देशांक वलय <math>\operatorname{GL}_n(k)</math> स्थानीयकरण है (कम्यूटेटिव बीजगणित) <math>k[x_{ij} \mid 0 \le i, j \le n][{\det}^{-1}]</math>, जिसे से पहचाना जा सकता है <math>k[x_{ij}, t \mid 0 \le i, j \le n]/(t \det - 1)</math>.
अर्थात्, आव्यूह A का समुच्चय ऐसा है कि <math>t \det(A) = 1</math> एक समाधान है। यह बीजगणितीय रूप से सबसे अच्छी तरह से देखा जाता है: का निर्देशांक वलय <math>\operatorname{GL}_n(k)</math> स्थानीयकरण है (कम्यूटेटिव बीजगणित) <math>k[x_{ij} \mid 0 \le i, j \le n][{\det}^{-1}]</math>, जिसे से पहचाना जा सकता है <math>k[x_{ij}, t \mid 0 \le i, j \le n]/(t \det - 1)</math>.


गुणक समूह k<sup>आधार फ़ील्ड k का **</sup> वही है <math>\operatorname{GL}_1(k)</math> और इस प्रकार एक affine किस्म है। इसका एक परिमित उत्पाद <math>(k^*)^r</math> एक [[ बीजीय टोरस ]] है, जो फिर से एक एफाइन किस्म है।
गुणक समूह k<sup>आधार फ़ील्ड k का **</sup> वही है <math>\operatorname{GL}_1(k)</math> और इस प्रकार एक सजातीय विवधता है। इसका एक परिमित उत्पाद <math>(k^*)^r</math> एक [[ बीजीय टोरस ]] है, जो फिर से एक सजातीय विवधता है।


एक सामान्य रेखीय समूह एक रैखिक बीजगणितीय समूह का एक उदाहरण है, एक एफ़िन किस्म जिसमें एक [[ समूह (गणित) ]] की संरचना होती है, इस तरह समूह संचालन किस्मों के रूपवाद होते हैं।
एक सामान्य रेखीय समूह एक रैखिक बीजगणितीय समूह का एक उदाहरण है, एक सजातीय विवधता जिसमें एक [[ समूह (गणित) ]] की संरचना होती है, इस तरह समूह संचालन विवधता के रूपवाद होते हैं।


=== [[ प्रक्षेपी किस्म ]] ===
=== [[ प्रक्षेपी किस्म |प्रक्षेपी विविधता]] ===
एक प्रोजेक्टिव किस्म एक प्रोजेक्टिव स्पेस की एक बंद उप-विविधता है। यही है, यह [[ सजातीय बहुपद ]]ों के एक सेट का शून्य स्थान है जो एक [[ प्रमुख आदर्श ]] उत्पन्न करता है।
एक प्रक्षेपीय विवधता एक प्रक्षेपीय स्पेस की एक बंद उप-विविधता है। यही है, यह [[ सजातीय बहुपद ]] के एक समुच्चय का शून्य स्थान है जो एक [[ प्रमुख आदर्श ]] उत्पन्न करता है।


==== उदाहरण 1 ====
==== उदाहरण 1 ====
[[File:Elliptic curve2.png|thumb|एफाइन प्लेन कर्व {{nowrap|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x''}}. संबंधित प्रक्षेप्य वक्र को अण्डाकार वक्र कहा जाता है।]]एक समतल प्रक्षेप्य वक्र तीन अनिश्चित में एक इरेड्यूसिबल सजातीय बहुपद का शून्य स्थान है। [[ प्रक्षेप्य रेखा ]] P<sup>1</sup> प्रक्षेपी वक्र का एक उदाहरण है; इसे प्रक्षेप्य तल में वक्र के रूप में देखा जा सकता है {{nowrap|1='''P'''<sup>2</sup> = {[''x'', ''y'', ''z'']}}} द्वारा परिभाषित {{nowrap|1=''x'' = 0}}. एक अन्य उदाहरण के लिए, पहले एफ़िन क्यूबिक कर्व पर विचार करें
[[File:Elliptic curve2.png|thumb|सजातीय प्लेन कर्व {{nowrap|1=''y''<sup>2</sup> = ''x''<sup>3</sup> − ''x''}}. संबंधित प्रक्षेप्य वक्र को अण्डाकार वक्र कहा जाता है।]]एक समतल प्रक्षेप्य वक्र तीन अनिश्चित में एक अलघुकरणीय सजातीय बहुपद का शून्य स्थान है। [[ प्रक्षेप्य रेखा ]] P<sup>1</sup> प्रक्षेपी वक्र का एक उदाहरण है; इसे प्रक्षेप्य तल में वक्र के रूप में देखा जा सकता है {{nowrap|1='''P'''<sup>2</sup> = {[''x'', ''y'', ''z'']}}} द्वारा परिभाषित {{nowrap|1=''x'' = 0}}. एक अन्य उदाहरण के लिए, पहले सजातीय क्यूबिक वलय पर विचार करें


:<math>y^2 = x^3 - x.</math>
:<math>y^2 = x^3 - x.</math>
2-आयामी एफ़िन स्पेस में (विशेषता के क्षेत्र में दो नहीं)। इसमें संबंधित घन सजातीय बहुपद समीकरण है:
2-आयामी सजातीय स्पेस में (विशेषता के क्षेत्र में दो नहीं)। इसमें संबंधित घन सजातीय बहुपद समीकरण है:


:<math>y^2z = x^3 - xz^2,</math>
:<math>y^2z = x^3 - xz^2,</math>
जो P . में एक वक्र को परिभाषित करता है<sup>2</sup> को [[ अण्डाकार वक्र ]] कहा जाता है। वक्र में जीनस वन ([[ सूत्र टाइप करें ]]) है; विशेष रूप से, यह प्रक्षेपी रेखा P . के समरूपी नहीं है<sup>1</sup>, जिसका जीनस जीरो है। घटता को अलग करने के लिए जीनस का उपयोग करना बहुत ही बुनियादी है: वास्तव में, जीनस पहला अपरिवर्तनीय है जो घटता वर्गीकृत करने के लिए उपयोग करता है (बीजीय वक्रों के मॉड्यूल का निर्माण भी देखें)।
जो P<sup>2</sup> में एक वक्र को परिभाषित करता है को [[ अण्डाकार वक्र ]] कहा जाता है। वक्र में जीनस वन ([[ सूत्र टाइप करें ]]) है; विशेष रूप से, यह प्रक्षेपी रेखा P<sup>1</sup> के समरूपी नहीं है, जिसका जीनस जीरो है। घटता को अलग करने के लिए जीनस का उपयोग करना बहुत ही बुनियादी है: वास्तव में, जीनस पहला अपरिवर्तनीय है जो घटता वर्गीकृत करने के लिए उपयोग करता है (बीजीय वक्रों के मॉड्यूल का निर्माण भी देखें)।


==== उदाहरण 2: ग्रासमैनियन ====
==== उदाहरण 2: ग्रासमैनियन ====
मान लीजिए V एक परिमित-विमीय सदिश समष्टि है। [[ ग्रासमैनियन किस्म ]] जी<sub>n</sub>(वी) वी के सभी एन-डायमेंशनल सबस्पेस का सेट है। यह एक प्रोजेक्टिव किस्म है: इसे प्लकर एम्बेडिंग के माध्यम से प्रोजेक्टिव स्पेस में एम्बेड किया गया है:
मान लीजिए V एक परिमित-विमीय सदिश समष्टि है। [[ ग्रासमैनियन किस्म | ग्रासमैनियन विवधता]] जी<sub>n</sub>(V) जहाँ V के सभी n-विमा के सबस्पेस का समुच्चय है। यह एक प्रक्षेपीय विवधता है: इसे प्लकर अंत:स्थापन के माध्यम से प्रक्षेपीय स्पेस में लागू किया गया है:


:<math>\begin{cases} G_n(V) \hookrightarrow \mathbf{P} \left (\wedge^n V \right ) \\ \langle b_1, \ldots, b_n \rangle \mapsto [b_1 \wedge \cdots \wedge b_n] \end{cases}</math>
:<math>\begin{cases} G_n(V) \hookrightarrow \mathbf{P} \left (\wedge^n V \right ) \\ \langle b_1, \ldots, b_n \rangle \mapsto [b_1 \wedge \cdots \wedge b_n] \end{cases}</math>
जहां बी<sub>i</sub>V में रैखिकतः स्वतंत्र सदिशों का कोई समुच्चय है, <math>\wedge^n V</math> V की n-th [[ बाहरी शक्ति ]] है, और ब्रैकेट [w] का अर्थ है गैर-शून्य वेक्टर w द्वारा फैली हुई रेखा।
जहां बी<sub>i</sub>V में रैखिकतः स्वतंत्र सदिशों का कोई समुच्चय है, <math>\wedge^n V</math> V की n-th [[ बाहरी शक्ति ]] है, और ब्रैकेट [w] का अर्थ है गैर-शून्य वेक्टर w द्वारा फैली हुई रेखा।


ग्रासमैनियन किस्म एक प्राकृतिक [[ वेक्टर बंडल ]] (या अन्य शब्दावली में [[ स्थानीय रूप से मुक्त शीफ ]]) के साथ आती है जिसे [[ टॉटोलॉजिकल बंडल ]] कहा जाता है, जो कि [[ चेर्न क्लास ]] जैसे विशिष्ट वर्गों के अध्ययन में महत्वपूर्ण है।
ग्रासमैनियन विवधता एक प्राकृतिक [[ वेक्टर बंडल ]] (या अन्य शब्दावली में [[ स्थानीय रूप से मुक्त शीफ ]]) के साथ आती है जिसे [[ टॉटोलॉजिकल बंडल ]] कहा जाता है, जो कि [[ चेर्न क्लास ]] जैसे विशिष्ट वर्गों के अध्ययन में महत्वपूर्ण है।


==== जैकोबियन किस्म ====
==== जैकोबियन विवधता ====
मान लीजिए C एक चिकना पूर्ण वक्र है और <math>\operatorname{Pic}(C)</math> इसका [[ पिकार्ड समूह ]]; यानी, सी पर लाइन बंडलों के आइसोमोर्फिज्म वर्गों का समूह। चूंकि सी चिकना है, <math>\operatorname{Pic}(C)</math> C के [[ भाजक वर्ग समूह ]] के रूप में पहचाना जा सकता है और इस प्रकार समरूपता की डिग्री होती है <math>\operatorname{deg} : \operatorname{Pic}(C) \to \mathbb{Z}</math>. [[ जैकोबियन किस्म ]] <math>\operatorname{Jac}(C)</math> सी का इस डिग्री मानचित्र का कर्नेल है; यानी, डिग्री शून्य के सी पर भाजक वर्गों का समूह। एक जैकोबियन किस्म एक [[ अबेलियन किस्म ]] का एक उदाहरण है, एक पूरी किस्म जिस पर एक संगत [[ एबेलियन समूह ]] संरचना है (नाम एबेलियन इसलिए नहीं है क्योंकि यह एक एबेलियन समूह है)। एक एबेलियन किस्म प्रक्षेपी हो जाती है (बीजीय सेटिंग में [[ थीटा समारोह ]] एक एम्बेडिंग देता है); इस प्रकार, <math>\operatorname{Jac}(C)</math> एक प्रक्षेपी किस्म है। करने के लिए स्पर्शरेखा स्थान <math>\operatorname{Jac}(C)</math> पहचान तत्व पर स्वाभाविक रूप से आइसोमॉर्फिक है <math>\operatorname{H}^1(C, \mathcal{O}_C);</math><ref>{{harvnb|Milne|2008|loc=Proposition 2.1.}}</ref> इसलिए, का आयाम <math>\operatorname{Jac}(C)</math> का वंश है <math>C</math>.
मान लीजिए C एक चिकना पूर्ण वक्र है और <math>\operatorname{Pic}(C)</math> इसका [[ पिकार्ड समूह ]]; यानी, सी पर लाइन बंडलों के आइसोमोर्फिज्म वर्गों का समूह। चूंकि सी चिकना है, <math>\operatorname{Pic}(C)</math> C के [[ भाजक वर्ग समूह ]] के रूप में पहचाना जा सकता है और इस प्रकार समरूपता की डिग्री होती है <math>\operatorname{deg} : \operatorname{Pic}(C) \to \mathbb{Z}</math>. [[ जैकोबियन किस्म | जैकोबियन विवधता]] <math>\operatorname{Jac}(C)</math> सी का इस डिग्री मानचित्र का कर्नेल है; यानी, डिग्री शून्य के सी पर भाजक वर्गों का समूह। एक जैकोबियन विवधता एक [[ अबेलियन किस्म | अबेलियन विवधता]] का एक उदाहरण है, एक पूरी विवधता जिस पर एक संगत [[ एबेलियन समूह ]] संरचना है (नाम एबेलियन इसलिए नहीं है क्योंकि यह एक एबेलियन समूह है)। एक एबेलियन विवधता प्रक्षेपी हो जाती है (बीजीय समुच्चयिंग में [[ थीटा समारोह | थीटा फंक्शन]] एक अंत:स्थापन देता है); इस प्रकार, <math>\operatorname{Jac}(C)</math> एक प्रक्षेपी विवधता है। करने के लिए स्पर्शरेखा स्थान <math>\operatorname{Jac}(C)</math> पहचान तत्व पर स्वाभाविक रूप से आइसोमॉर्फिक है <math>\operatorname{H}^1(C, \mathcal{O}_C);</math><ref>{{harvnb|Milne|2008|loc=Proposition 2.1.}}</ref> इसलिए, का आयाम <math>\operatorname{Jac}(C)</math> का वंश है <math>C</math>.


एक बिंदु ठीक करें <math>P_0</math> पर <math>C</math>. प्रत्येक पूर्णांक के लिए <math>n > 0</math>, एक प्राकृतिक रूपवाद है<ref>{{harvnb|Milne|2008|loc=The beginning of § 5.}}</ref>
एक बिंदु ठीक करें <math>P_0</math> पर <math>C</math>. प्रत्येक पूर्णांक के लिए <math>n > 0</math>, एक प्राकृतिक रूपवाद है<ref>{{harvnb|Milne|2008|loc=The beginning of § 5.}}</ref>
:<math>C^n \to \operatorname{Jac}(C), \, (P_1, \dots, P_r) \mapsto [P_1 + \cdots + P_n - nP_0]</math>
:<math>C^n \to \operatorname{Jac}(C), \, (P_1, \dots, P_r) \mapsto [P_1 + \cdots + P_n - nP_0]</math>
कहाँ पे <math>C^n</math> C. For . की n प्रतियों का गुणनफल है <math>g = 1</math> (अर्थात, C एक अण्डाकार वक्र है), के लिए उपरोक्त रूपवाद <math>n = 1</math> एक समरूपता बन जाता है;{{r|Hartshorne|loc=Ch. IV, Example 1.3.7.}} विशेष रूप से, एक अण्डाकार वक्र एक अबेलियन किस्म है।
जहाँ पर <math>C^n</math> C के लिए n प्रतियों का गुणनफल है <math>g = 1</math> (अर्थात, C एक अण्डाकार वक्र है), उपरोक्त समरूपता के लिए <math>n = 1</math> एक समरूपता को प्रर्दशित करता है; विशेष रूप से, एक अण्डाकार वक्र एक अबेलियन विवधता है।


==== मोडुली किस्में ====
==== मोडुली विविधिता ====
एक पूर्णांक दिया गया <math>g \ge 0</math>, जीनस के चिकने पूर्ण वक्रों के समरूपता वर्गों का समुच्चय <math>g</math> जीनस के वक्रों का मॉड्यूल कहा जाता है <math>g</math> और के रूप में निरूपित किया जाता है <math>\mathfrak{M}_g</math>. यह दिखाने के कुछ तरीके हैं कि इस मॉड्यूल में संभावित रूप से कमजोर बीजीय किस्म की संरचना है; उदाहरण के लिए, एक तरीका [[ ज्यामितीय अपरिवर्तनीय सिद्धांत ]] का उपयोग करना है जो सुनिश्चित करता है कि आइसोमोर्फिज्म वर्गों के एक सेट में एक (कम करने योग्य) अर्ध-प्रोजेक्टिव किस्म संरचना है।<ref>{{harvnb|MFK|1994|loc=Theorem 5.11.}}</ref> मोडुली जैसे कि निश्चित जीनस के वक्रों के मॉड्यूल आमतौर पर एक प्रक्षेपी किस्म नहीं होते हैं; मोटे तौर पर इसका कारण यह है कि एक चिकने वक्र का अध: पतन (सीमा) गैर-चिकना या कम करने योग्य होता है। यह जीनस के एक [[ स्थिर वक्र ]] की धारणा की ओर जाता है <math>g \ge 2</math>, एक गैर-जरूरी-चिकनी पूर्ण वक्र जिसमें कोई बहुत खराब विलक्षणता नहीं है और इतना बड़ा ऑटोमोर्फिज्म समूह नहीं है। स्थिर वक्रों का मापांक <math>\overline{\mathfrak{M}}_g</math>, जीनस के स्थिर वक्रों के समरूपता वर्गों का समुच्चय <math>g \ge 2</math>, तब एक प्रक्षेपी किस्म है जिसमें <math>\mathfrak{M}_g</math> एक खुले उपसमुच्चय के रूप में। तब से <math>\overline{\mathfrak{M}}_g</math> सीमा बिंदुओं को जोड़कर प्राप्त किया जाता है <math>\mathfrak{M}_g</math>, <math>\overline{\mathfrak{M}}_g</math> बोलचाल की भाषा में का एक [[ संघनन (बीजगणितीय ज्यामिति) ]] कहा जाता है <math>\mathfrak{M}_g</math>. ऐतिहासिक रूप से ममफोर्ड और डेलिग्ने का एक पेपर<ref>{{cite journal
एक पूर्णांक दिया गया <math>g \ge 0</math>, जीनस के चिकने पूर्ण वक्रों के समरूपता वर्गों का समुच्चय <math>g</math> जीनस के वक्रों का मॉड्यूल कहा जाता है <math>g</math> और के रूप में निरूपित किया जाता है <math>\mathfrak{M}_g</math>. यह दिखाने के कुछ तरीके हैं कि इस मॉड्यूल में संभावित रूप से कमजोर बीजीय विवधता की संरचना है; उदाहरण के लिए, एक तरीका [[ ज्यामितीय अपरिवर्तनीय सिद्धांत ]] का उपयोग करना है जो सुनिश्चित करता है कि आइसोमोर्फिज्म वर्गों के एक समुच्चय में एक (कम करने योग्य) अर्ध-प्रक्षेपीय विवधता संरचना है।<ref>{{harvnb|MFK|1994|loc=Theorem 5.11.}}</ref> मोडुली जैसे कि निश्चित जीनस के वक्रों के मॉड्यूल साधारणतयः एक प्रक्षेपी विवधता नहीं होते हैं; मूलतः इसका कारण यह है कि एक चिकने वक्र का अध: पतन (सीमा) गैर-चिकना या कम करने योग्य होता है। यह जीनस के एक [[ स्थिर वक्र ]] की धारणा की ओर जाता है <math>g \ge 2</math>, एक गैर-जरूरी-चिकनी पूर्ण वक्र जिसमें कोई बहुत खराब विलक्षणता नहीं है और इतना बड़ा ऑटोमोर्फिज्म समूह नहीं है। स्थिर वक्रों का मापांक <math>\overline{\mathfrak{M}}_g</math>, जीनस के स्थिर वक्रों के समरूपता वर्गों का समुच्चय <math>g \ge 2</math>, तब एक प्रक्षेपी विवधता है जिसमें <math>\mathfrak{M}_g</math> एक खुले उपसमुच्चय के रूप में। तब से <math>\overline{\mathfrak{M}}_g</math> सीमा बिंदुओं को जोड़कर प्राप्त किया जाता है <math>\mathfrak{M}_g</math>, <math>\overline{\mathfrak{M}}_g</math> बोलचाल की भाषा में का एक [[ संघनन (बीजगणितीय ज्यामिति) ]] कहा जाता है <math>\mathfrak{M}_g</math>. ऐतिहासिक रूप से ममफोर्ड और डेलिग्ने का एक पेपर<ref>{{cite journal
   | last1 = Deligne|first1 = Pierre |author1-link = Pierre Deligne
   | last1 = Deligne|first1 = Pierre |author1-link = Pierre Deligne
   | last2=Mumford|first2= David |author2-link=David Mumford
   | last2=Mumford|first2= David |author2-link=David Mumford
Line 129: Line 130:
   |s2cid = 16482150 }}</ref> दिखाने के लिए एक स्थिर वक्र की धारणा पेश की <math>\mathfrak{M}_g</math> जब <math>g \ge 2</math>.
   |s2cid = 16482150 }}</ref> दिखाने के लिए एक स्थिर वक्र की धारणा पेश की <math>\mathfrak{M}_g</math> जब <math>g \ge 2</math>.


वक्रों का मॉड्यूल एक विशिष्ट स्थिति का उदाहरण देता है: अच्छी वस्तुओं का एक मॉड्यूल प्रोजेक्टिव नहीं होता बल्कि केवल अर्ध-प्रोजेक्टिव होता है। एक अन्य मामला वक्र पर वेक्टर बंडलों का एक मॉड्यूल है। यहाँ, एक चिकने पूर्ण वक्र पर [[ स्थिर वेक्टर बंडल ]] और अर्ध-स्थिर वेक्टर बंडल की धारणाएँ हैं <math>C</math>. किसी दिए गए रैंक के सेमीस्टेबल वेक्टर बंडलों का मॉड्यूलि <math>n</math> और दी गई डिग्री <math>d</math> (बंडल के निर्धारक की डिग्री) तब एक प्रक्षेपी किस्म है जिसे के रूप में दर्शाया गया है <math>SU_C(n, d)</math>, जिसमें सेट शामिल है <math>U_C(n, d)</math> रैंक के स्थिर वेक्टर बंडलों के आइसोमोर्फिज्म वर्गों की <math>n</math> और डिग्री <math>d</math> एक खुले उपसमुच्चय के रूप में।<ref>{{harvnb|MFK|1994|loc=Appendix C to Ch. 5.}}</ref> चूंकि एक लाइन बंडल स्थिर है, इस तरह के एक मोडुली जैकोबियन किस्म का एक सामान्यीकरण है <math>C</math>.
घटता का मॉड्यूल एक सामान्य स्थिति का उदाहरण देता है: अच्छी वस्तुओं का एक मॉड्यूल प्रक्षेपीय नहीं होता है बल्कि केवल अर्ध-प्रक्षेपीय होता है। एक अन्य मामला एक वक्र पर सदिश बंडलों का एक मापांक है। यहाँ, एक चिकने पूर्ण वक्र <math>C</math> पर स्थिर और अर्धस्थिर वेक्टर बंडलों की धारणाएँ हैं। किसी दिए गए रैंक <math>n</math> और एक दी गई डिग्री <math>d</math> (बंडल के निर्धारक की डिग्री) के [[ स्थिर वेक्टर बंडल |स्थिर वेक्टर बंडल]] का मापांक तब <math>SU_C(n, d)</math>, जिसमें रैंक <math>n</math> और डिग्री <math>d</math> एक खुले उपसमुच्चय के रूप में।<ref>{{harvnb|MFK|1994|loc=Appendix C to Ch. 5.}}</ref> चूंकि एक लाइन बंडल स्थिर है, इस तरह के मॉड्यूल <math>C</math> के जेकोबियन विविधता का एक सामान्यीकरण है।


सामान्य तौर पर, वक्रों के मोडुली के मामले के विपरीत, एक मोडुली का एक कॉम्पैक्टीफिकेशन अद्वितीय नहीं होना चाहिए और कुछ मामलों में, अलग-अलग तरीकों का उपयोग करके और अलग-अलग लेखकों द्वारा अलग-अलग गैर-समतुल्य कॉम्पैक्टिफिकेशन का निर्माण किया जाता है। एक उदाहरण ओवर <math>\mathbb{C}</math> संकुचित करने की समस्या है <math>D / \Gamma</math>, एक परिबद्ध सममित डोमेन का भागफल <math>D</math> अंकगणित असतत समूह की एक क्रिया द्वारा <math>\Gamma</math>.<ref>Mark Goresky. Compactifications and cohomology of modular varieties. In Harmonic analysis,
सामान्यतः, वक्रों के मोडुली की स्थिति के विपरीत, एक मोडुली का एक संघनन अद्वितीय नहीं होना चाहिए और कुछ स्थितियों में, अलग-अलग विधियों का उपयोग करके और अलग-अलग लेखकों द्वारा अलग-अलग गैर-समतुल्य संघनन का निर्माण किया जाता है। एक उदाहरण ओवर <math>\mathbb{C}</math> संकुचित करने की समस्या है <math>D / \Gamma</math>, एक परिबद्ध सममित डोमेन का भागफल <math>D</math> अंकगणित असतत समूह की एक क्रिया द्वारा <math>\Gamma</math>. का एक मूल उदाहरण <math>D / \Gamma</math> कब है <math>D = \mathfrak{H}_g</math>, सीगल का ऊपरी आधा स्थान और <math>\Gamma</math> [[ अनुरूपता (समूह सिद्धांत) ]] के साथ <math>\operatorname{Sp}(2g, \mathbb{Z})</math>; उस परिस्थिति में, <math>D / \Gamma</math> के रूप में एक व्याख्या है <math>\mathfrak{A}_g</math> आयाम की मुख्य रूप से ध्रुवीकृत सम्मिश्र एबेलियन विवधता की <math>g</math> (एक प्रमुख ध्रुवीकरण अपने दोहरे के साथ एक अबेलियन विवधता की पहचान करता है)। टोरिक विवधता (या टोरस अंत:स्थापन) का सिद्धांत कॉम्पैक्ट करने का एक पद्धति देता है <math>D / \Gamma</math>, इसका एक टॉरॉयडल संघनन ।<ref>{{Citation | last1=Ash | first1=A. | last2=Mumford | first2=David | author2-link=David Mumford | last3=Rapoport | first3=M. | last4=Tai | first4=Y. | title=Smooth compactification of locally symmetric varieties | publisher=Math. Sci. Press | location=Brookline, Mass. | isbn=978-0-521-73955-9 |mr=0457437 | year=1975 | url=http://www.uni-due.de/~mat903/sem/ss08/ash_mumford_rapoport_tai_Compactifications.pdf}}</ref><ref>{{cite book |last1=Namikawa | first1=Yukihiko|doi=10.1007/BFb0091051|title=सीगल रिक्त स्थान का टोरॉयडल कॉम्पैक्टीफिकेशन|series=Lecture Notes in Mathematics |year=1980 |volume=812 |isbn=978-3-540-10021-8 }}</ref> लेकिन संकुचित करने के अन्य तरीके भी हैं <math>D / \Gamma</math>; उदाहरण के लिए, का [[ न्यूनतम संघनन ]] है <math>D / \Gamma</math> बेली और बोरेल के कारण: यह मॉड्यूलर रूपों द्वारा गठित [[ परियोजना निर्माण ]] है (सीगल परिस्थिति में, सीगल [[ मॉड्यूलर फॉर्म ]]<ref>{{cite book |doi=10.1007/978-1-4613-8655-1_9|chapter=Siegel Moduli Schemes and Their Compactifications over <math>\mathbb{C}</math> |title=अंकगणित ज्यामिति|year=1986 |last1=Chai |first1=Ching-Li |pages=231–251 |isbn=978-1-4613-8657-5| url={{Google books|X8TkBwAAQBAJ|page=237|plainurl=yes}}}}</ref>) संघनन की गैर-विशिष्टता उन संघनन की मॉड्यूली व्याख्याओं की कमी के कारण है; अर्ताथ (श्रेणी-सिद्धांत अर्थानुसार) किसी भी प्राकृतिक मोडुली समस्या का प्रतिनिधित्व नहीं करते हैं या, सबसे सही भाषा में, कोई प्राकृतिक [[ मोडुली स्टैक ]] नहीं होता है जो स्थिर वक्रों के मोडुलि स्टैक का एक एनालॉग होगा।
the trace formula, and Shimura varieties, volume 4 of Clay Math. Proc., pages 551–582. Amer.
=== गैर-सजातीय और गैर-प्रक्षेपीय उदाहरण ===
Math. Soc., Providence, RI, 2005.</ref> का एक मूल उदाहरण <math>D / \Gamma</math> कब है <math>D = \mathfrak{H}_g</math>, सीगल का ऊपरी आधा स्थान और <math>\Gamma</math> [[ अनुरूपता (समूह सिद्धांत) ]] के साथ <math>\operatorname{Sp}(2g, \mathbb{Z})</math>; उस मामले में, <math>D / \Gamma</math> moduli . के रूप में एक व्याख्या है <math>\mathfrak{A}_g</math> आयाम की मुख्य रूप से ध्रुवीकृत जटिल एबेलियन किस्मों की <math>g</math> (एक प्रमुख ध्रुवीकरण अपने दोहरे के साथ एक अबेलियन किस्म की पहचान करता है)। टोरिक किस्मों (या टोरस एम्बेडिंग) का सिद्धांत कॉम्पैक्ट करने का एक तरीका देता है <math>D / \Gamma</math>, इसका एक [[ टॉरॉयडल संघनन ]]।<ref>{{Citation | last1=Ash | first1=A. | last2=Mumford | first2=David | author2-link=David Mumford | last3=Rapoport | first3=M. | last4=Tai | first4=Y. | title=Smooth compactification of locally symmetric varieties | publisher=Math. Sci. Press | location=Brookline, Mass. | isbn=978-0-521-73955-9 |mr=0457437 | year=1975 | url=http://www.uni-due.de/~mat903/sem/ss08/ash_mumford_rapoport_tai_Compactifications.pdf}}</ref><ref>{{cite book |last1=Namikawa | first1=Yukihiko|doi=10.1007/BFb0091051|title=सीगल रिक्त स्थान का टोरॉयडल कॉम्पैक्टीफिकेशन|series=Lecture Notes in Mathematics |year=1980 |volume=812 |isbn=978-3-540-10021-8 }}</ref> लेकिन संकुचित करने के अन्य तरीके भी हैं <math>D / \Gamma</math>; उदाहरण के लिए, का [[ न्यूनतम संघनन ]] है <math>D / \Gamma</math> बेली और बोरेल के कारण: यह मॉड्यूलर रूपों द्वारा गठित [[ परियोजना निर्माण ]] है (सीगल मामले में, सीगल [[ मॉड्यूलर फॉर्म ]]<ref>{{cite book |doi=10.1007/978-1-4613-8655-1_9|chapter=Siegel Moduli Schemes and Their Compactifications over <math>\mathbb{C}</math> |title=अंकगणित ज्यामिति|year=1986 |last1=Chai |first1=Ching-Li |pages=231–251 |isbn=978-1-4613-8657-5| url={{Google books|X8TkBwAAQBAJ|page=237|plainurl=yes}}}}</ref>) कॉम्पैक्टीफिकेशन की गैर-विशिष्टता उन कॉम्पैक्टिफिकेशन की मॉड्यूली व्याख्याओं की कमी के कारण है; यानी, वे (श्रेणी-सिद्धांत अर्थ में) किसी भी प्राकृतिक मोडुली समस्या का प्रतिनिधित्व नहीं करते हैं या, सटीक भाषा में, कोई प्राकृतिक [[ मोडुली स्टैक ]] नहीं है जो स्थिर वक्रों के मोडुलि स्टैक का एक एनालॉग होगा।<!-- By the way, as should be obvious, here we are ignoring the p-adic situations... For a balance, perhaps we need to mention the theory of periods.-->
एक बीजगणितीय विविधता न तो संबधित हो सकती है और न ही प्रक्षेपी। एक उदाहरण देने के लिए, {{nowrap|1=''X'' = '''P'''<sup>1</sup> × '''A'''<sup>1</sup>}} और {{nowrap|''p'': ''X'' → '''A'''<sup>1</sup>}} प्रक्षेपण दें। यह एक बीजगणितीय विवधता है क्योंकि यह विवधता का एक उत्पाद है। चूंकि P<sup>1</sup>, X की एक बंद उप-विवधता है (p के शून्य स्थान के रूप में), यह परिशोधित नहीं है। लेकिन एक संबधित विवधता में एक बंद उप-विवधता के रूप में सकारात्मक आयाम की अनुमानित विविधता नहीं हो सकती है।


 
यह प्रक्षेपी भी नहीं है, क्योंकि X पर एक गैर-निरंतर नियमित कार्य है; अर्थात्, पी। गैर-संबंधी गैर-प्रक्षेपी विवधता का एक अन्य उदाहरण है {{nowrap|1=''X'' = '''A'''<sup>2</sup> − (0, 0)}} (cf. {{section link|विविधिता का आकृतिवाद उदाहरण}} )
=== गैर-एफ़िन और गैर-प्रोजेक्टिव उदाहरण ===
एक बीजीय किस्म न तो एफ़िन और न ही प्रक्षेपी हो सकती है। एक उदाहरण देने के लिए, आइए {{nowrap|1=''X'' = '''P'''<sup>1</sup> × '''A'''<sup>1</sup>}} तथा {{nowrap|''p'': ''X'' → '''A'''<sup>1</sup>}} प्रक्षेपण। यह एक बीजीय किस्म है क्योंकि यह किस्मों का उत्पाद है। P . के बाद से यह affine नहीं है<sup>1</sup> X की एक बंद उप-प्रजाति है (p के शून्य ठिकाने के रूप में), लेकिन एक एफ़िन किस्म में बंद उप-प्रजाति के रूप में सकारात्मक आयाम की प्रक्षेपी विविधता नहीं हो सकती है। यह प्रक्षेप्य भी नहीं है, क्योंकि एक्स पर एक गैर-स्थिर नियमित कार्य है; अर्थात्, पी।
 
गैर-एफ़िन गैर-प्रोजेक्टिव किस्म का एक अन्य उदाहरण है {{nowrap|1=''X'' = '''A'''<sup>2</sup> − (0, 0)}} (सीएफ.{{section link|Morphism of varieties#Examples}}.)


=== गैर-उदाहरण ===
=== गैर-उदाहरण ===
एफाइन लाइन पर विचार करें <math>\mathbb{A}^1</math> ऊपर <math>\mathbb{C}</math>. सर्कल का पूरक <math>\{ z \in \mathbb{C} | |z|^2=1 \}</math> में <math>\mathbb{A}^1 = \mathbb{C}</math> बीजगणितीय किस्म नहीं है (बीजगणितीय समुच्चय भी नहीं)। ध्यान दें कि <math>|z|^2 - 1</math> में बहुपद नहीं है <math>z</math> (यद्यपि वास्तविक चरों में एक बहुपद <math>x, y</math>।) दूसरी ओर, मूल का पूरक <math>\mathbb{A}^1 = \mathbb{C}</math> एक बीजीय (एफ़िन) किस्म है, क्योंकि मूल का शून्य-लोकस है <math>z</math>. इसे इस प्रकार समझाया जा सकता है: एफ़िन लाइन का आयाम एक होता है और इसलिए स्वयं के अलावा इसकी किसी भी उप-प्रजाति का आयाम कम होना चाहिए; अर्थात्, शून्य।
<math>\mathbb{A}^1</math> <math>\mathbb{C}</math> के ऊपर सजातीय लाइन पर विचार करें। सर्कल का पूरक <math>\{ z \in \mathbb{C} | |z|^2=1 \}</math><math>\mathbb{A}^1 = \mathbb{C}</math> एक बीजगणितीय नहीं है विविधता (बीजगणितीय समुच्चय भी नहीं)। ध्यान दें कि <math>|z|^2 - 1</math> में बहुपद नहीं है (यद्यपि वास्तविक वैरिएबल <math>x, y</math>।) दूसरी ओर, <math>\mathbb{A}^1 = \mathbb{C}</math> में मूल का पूरक है एक बीजगणितीय (सजातीय) विवधता, क्योंकि मूल <math>z</math> का शून्य-बिंदु है। इसे इस प्रकार समझाया जा सकता है: सजातीय रेखा का आयाम एक होता है और इसलिए स्वयं के अतिरिक्त इसकी किसी भी उप-विवधता का निश्चित रूप से कम आयाम होना चाहिए अर्थात्, शून्य।


इसी तरह के कारणों के लिए, एक [[ एकात्मक समूह ]] (जटिल संख्याओं पर) एक बीजीय किस्म नहीं है, जबकि विशेष रैखिक समूह <math>\operatorname{SL}_n(\mathbb{C})</math> की एक बंद उपप्रजाति है <math>\operatorname{GL}_n(\mathbb{C})</math>, का शून्य-ठिकाना <math>\det - 1</math>. (एक अलग आधार क्षेत्र पर, एक एकात्मक समूह को एक किस्म की संरचना दी जा सकती है।)
समान कारणों से, एक एकात्मक समूह (सम्मिश्र संख्याओं पर) एक बीजगणितीय विविधता नहीं है, जबकि विशेष रैखिक समूह <math>\operatorname{SL}_n(\mathbb{C})</math> की एक बंद उप-विवधता है <math>\operatorname{GL}_n(\mathbb{C})</math>, <math>\det - 1</math> का शून्य-बिंदु। (एक भिन्न आधार क्षेत्र में, एक [[ एकात्मक समूह |एकात्मक समूह]] को विभिन्न प्रकार की संरचना दी जा सकती है।)


==मूल परिणाम==
==मूल परिणाम==
* एक एफ़िन बीजीय सेट वी एक किस्म है यदि और केवल अगर I(V) एक प्रमुख आदर्श है; समान रूप से, V एक किस्म है यदि और केवल यदि इसकी निर्देशांक वलय a . है {{nowrap|[[integral domain]].{{r|Harris|page1=52}}}}{{r|Hartshorne|page1=4}}
* एक सजातीय बीजगणितीय समुच्चय V एक विविधता है अगर और केवल अगर I(V) एक प्रमुख आदर्श है; समतुल्य, V एक विविधता है अगर और केवल अगर इसकी समन्वय रिंग एक {{nowrap|[[इंटीग्रल डोमेन]].{{r|Harris|page1=52}}}}{{r|Hartshorne|page1=4}}
* प्रत्येक गैर-रिक्त affine बीजगणितीय सेट को विशिष्ट रूप से बीजीय किस्मों के एक परिमित संघ के रूप में लिखा जा सकता है (जहां अपघटन में कोई भी किस्म किसी अन्य की उप-विविधता नहीं है)।{{r|Hartshorne|page1=5}}
*प्रत्येक गैर-रिक्त सजातीय बीजगणितीय समुच्चय को विशिष्ट रूप से बीजगणितीय विवधता के परिमित संघ के रूप में लिखा जा सकता है (जहां अपघटन में कोई भी विवधता किसी अन्य की उप-विवधता नहीं है)।{{r|Hartshorne|page1=5}}
* एक किस्म के आयाम को विभिन्न समकक्ष तरीकों से परिभाषित किया जा सकता है। विवरण के लिए बीजीय किस्म का आयाम देखें।
*विविधता के आयाम को विभिन्न समकक्ष विधियों से परिभाषित किया जा सकता है। विवरण के लिए एक बीजगणितीय विविधता का आयाम देखें।
* सूक्ष्म रूप से कई बीजीय किस्मों (बीजीय रूप से बंद क्षेत्र पर) का एक उत्पाद एक बीजीय किस्म है। affine किस्मों का एक परिमित उत्पाद affine है<ref>{{cite book |doi=10.1007/978-3-642-57878-6|title=बीजगणितीय ज्यामिति I|series=Encyclopaedia of Mathematical Sciences |year=1994 |volume=23 |isbn=978-3-540-63705-9 | url={{Google books|-QMWR-x66XUC|page=90|plainurl=yes}}}}</ref> और प्रक्षेपी किस्मों का एक परिमित उत्पाद प्रक्षेप्य होता है।
*बहुत से बीजगणितीय विवधता का उत्पाद (बीजगणितीय रूप से बंद क्षेत्र पर) एक बीजगणितीय विविधता है। सजातीय विवधता का एक परिमित उत्पाद सजातीय है<ref>{{cite book |doi=10.1007/978-3-642-57878-6|title=बीजगणितीय ज्यामिति I|series=Encyclopaedia of Mathematical Sciences |year=1994 |volume=23 |isbn=978-3-540-63705-9 | url={{Google books|-QMWR-x66XUC|page=90|plainurl=yes}}}}</ref> और प्रक्षेपी विवधता का एक परिमित उत्पाद प्रक्षेपी है।


== बीजीय किस्मों का समरूपता ==
== बीजीय विवधता का समरूपता ==
{{see also|Morphism of varieties}}
{{see also|विविधिताओं का रूपवाद}}
होने देना {{math|''V''<sub>1</sub>, ''V''<sub>2</sub>}} बीजगणितीय किस्में हों। हम कहते हैं {{math|''V''<sub>1</sub>}} तथा {{math|''V''<sub>2</sub>}} [[ ग्राफ समरूपता ]] हैं, और लिखिए {{math|''V''<sub>1</sub> ≅ ''V''<sub>2</sub>}}, यदि नियमित कार्य हैं {{math|''φ'' : ''V''<sub>1</sub> → ''V''<sub>2</sub>}} तथा {{math|''ψ'' : ''V''<sub>2</sub> → ''V''<sub>1</sub>}} ऐसा है कि [[ समारोह (गणित) ]] {{math|''ψ'' ∘ ''φ''}} तथा {{math|''φ'' ∘ ''ψ''}} पहचान कार्य चालू हैं {{math|''V''<sub>1</sub>}} तथा {{math|''V''<sub>2</sub>}} क्रमश।
बता दें कि {{math|''V''<sub>1</sub>, ''V''<sub>2</sub>}} बीजगणितीय विवधता हैं। हम कहते हैं कि {{math|''V''<sub>1</sub>}} और {{math|''V''<sub>2</sub>}} समरूपी हैं, और {{math|''V''<sub>1</sub> ≅ ''V''<sub>2</sub>}} लिखते हैं, यदि नियमित [[ ग्राफ समरूपता | ग्राफ समरूपता]] {{math|''φ'' : ''V''<sub>1</sub> → ''V''<sub>2</sub>}} और {{math|''ψ'' : ''V''<sub>2</sub> → ''V''<sub>1</sub>}} हैं जैसे कि [[संयोजन]][[ समारोह (गणित) |(गणित)]] {{math|''ψ'' ∘ ''φ''}} और {{math|''φ'' ∘ ''ψ''}} क्रमशः {{math|''V''<sub>1</sub>}} और {{math|''V''<sub>2</sub>}} पर पहचान [[ ग्राफ समरूपता |ग्राफ]] हैं .


==चर्चा और सामान्यीकरण==
==वैरिएबल्चा और सामान्यीकरण==
{{no footnotes|date=March 2013|section}}
ऊपर दी गई बुनियादी परिभाषाएँ और तथ्य शास्त्रीय बीजगणितीय ज्यामिति को करने में सक्षम बनाते हैं। अधिक करने में सक्षम होने के लिए - उदाहरण के लिए, बीजगणितीय रूप से बंद नहीं होने वाले खेतों की विवधता से निपटने के लिए - कुछ मूलभूत परिवर्तनों की आवश्यकता है। विविधता की आधुनिक धारणा उपरोक्त की तुलना में काफी अधिक सारगर्भित है, चूंकि बीजगणितीय रूप से बंद क्षेत्रों पर विवधता की स्थिति में समतुल्य। एक सार बीजगणितीय विविधता एक विशेष प्रकार की योजना है; ज्यामितीय पक्ष पर योजनाओं के लिए सामान्यीकरण ऊपर वर्णित पत्राचार के एक व्यापक वर्ग के छल्ले के विस्तार को सक्षम बनाता है। एक योजना एक[[ स्थानीय रूप से रिंग की गई जगह ]] है जैसे कि प्रत्येक बिंदु का एक पड़ोस है, जो कि स्थानीय रूप से चक्राकार स्थान के रूप में, एक रिंग के एक स्पेक्ट्रम के लिए आइसोमॉर्फिक है। मूल रूप से, {{mvar|k}} से अधिक विविधता एक ऐसी योजना है जिसका संरचना [[ शीफ (गणित) |शीफ (गणित)]] ​​संपत्ति के साथ {{mvar|k}}-बीजगणित का एक शीफ है कि जो वलय R ऊपर होते हैं वे सभी अभिन्न डोमेन हैं और सभी अंतिम रूप से उत्पन्न {{mvar|k}}-बीजगणित हैं, अर्थात, वे प्रधान आदर्शों द्वारा [[ बहुपद बीजगणित |बहुपद बीजगणित]] के भागफल हैं।
ऊपर दी गई बुनियादी परिभाषाएं और तथ्य शास्त्रीय बीजगणितीय ज्यामिति को करने में सक्षम बनाते हैं। अधिक करने में सक्षम होने के लिए - उदाहरण के लिए, उन क्षेत्रों में किस्मों से निपटने के लिए जो बीजगणितीय रूप से बंद क्षेत्र नहीं हैं - कुछ मूलभूत परिवर्तनों की आवश्यकता है। विविधता की आधुनिक धारणा उपरोक्त की तुलना में काफी अधिक सारगर्भित है, हालांकि बीजगणितीय रूप से बंद क्षेत्रों में किस्मों के मामले में समकक्ष है। एक अमूर्त बीजीय किस्म एक विशेष प्रकार की योजना है; ज्यामितीय पक्ष पर योजनाओं का सामान्यीकरण ऊपर वर्णित पत्राचार के विस्तार को छल्ले के व्यापक वर्ग में सक्षम बनाता है। एक योजना एक [[ स्थानीय रूप से रिंग की गई जगह ]] है जैसे कि हर बिंदु का एक पड़ोस होता है, जो स्थानीय रूप से रिंग किए गए स्थान के रूप में, एक रिंग के स्पेक्ट्रम के लिए आइसोमॉर्फिक होता है। मूल रूप से, एक किस्म से अधिक {{mvar|k}} एक ऐसी योजना है जिसकी संरचना का शीफ ​​एक [[ शीफ (गणित) ]] है {{mvar|k}}-बीजगणित इस संपत्ति के साथ कि ऊपर होने वाले छल्ले R सभी अभिन्न डोमेन हैं और सभी अंतिम रूप से उत्पन्न होते हैं {{mvar|k}}-बीजगणित, अर्थात्, वे अभाज्य आदर्शों द्वारा [[ बहुपद बीजगणित ]] के भागफल हैं।


यह परिभाषा किसी भी क्षेत्र में काम करती है {{mvar|k}}. यह आपको एफ़िन किस्मों (सामान्य खुले सेटों के साथ) को इस चिंता के बिना गोंद करने की अनुमति देता है कि परिणामी वस्तु को कुछ प्रक्षेप्य स्थान में रखा जा सकता है या नहीं। यह कठिनाइयों की ओर भी ले जाता है क्योंकि कोई कुछ रोग संबंधी वस्तुओं को पेश कर सकता है, उदा। शून्य के साथ एक affine लाइन दोगुनी हो गई। ऐसी वस्तुओं को आमतौर पर किस्मों के रूप में नहीं माना जाता है, और विभिन्न प्रकार की अंतर्निहित योजनाओं को अलग करने की आवश्यकता के द्वारा समाप्त कर दिया जाता है। (सख्ती से कहा जाए तो, एक तीसरी शर्त भी है, अर्थात्, किसी को ऊपर की परिभाषा में केवल बहुत से एफ़िन पैच की आवश्यकता होती है।)
यह परिभाषा किसी भी क्षेत्र k पर काम करती है। यह आपको चिंता किए बिना सजातीय विवधता (आम खुले समुच्चयों के साथ) को गोंद करने की अनुमति देता है क्या परिणामी वस्तु को किसी प्रक्षेपी स्थान में रखा जा सकता है। यह भी कठिनाइयों का कारण बनता है क्योंकि कोई कुछ रोग संबंधी वस्तुओं को पेश कर सकता है, उदा. शून्य के साथ एक सजातीय लाइन दोगुनी हो गई। ऐसी वस्तुओं को साधारणतयः विविधिता नहीं माना जाता है, और विभिन्न प्रकार की अंतर्निहित योजनाओं को अलग करने की आवश्यकता के द्वारा समाप्त कर दिया जाता है। (कठोरता से बोलना, एक तीसरी शर्त भी है, अर्थात्, उपरोक्त परिभाषा में किसी को केवल सूक्ष्म रूप से कई सजातीय पैच की आवश्यकता होती है।)


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


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


इन किस्मों को सेरे के अर्थ में किस्में कहा गया है, क्योंकि [[ जीन पियरे सेरे ]] के मूलभूत पेपर फैसेको अल्जेब्रिक्स कोहेरेंट्स<ref>{{cite journal |doi=10.2307/1969915|jstor=1969915|last1=Serre|first1=Jean-Pierre|title=सुसंगत बीजीय शीव्स|journal=Annals of Mathematics|year=1955|volume=61|issue=2|pages=197–278|url=https://www.college-de-france.fr/media/jean-pierre-serre/UPL5435398796951750634_Serre_FAC.pdf}}</ref>
इन विविधिताओं को "सेरे के अर्थ में विविधता" कहा गया है, क्योंकि सेरे का फाउंडेशनल पेपर एफएसी<ref>{{cite journal |doi=10.2307/1969915|jstor=1969915|last1=Serre|first1=Jean-Pierre|title=सुसंगत बीजीय शीव्स|journal=Annals of Mathematics|year=1955|volume=61|issue=2|pages=197–278|url=https://www.college-de-france.fr/media/jean-pierre-serre/UPL5435398796951750634_Serre_FAC.pdf}}</ref> [[ शीफ कोहोलॉजी | शीफ कोहोलॉजी]] पर उनके लिए लिखा गया था। वे बीजगणितीय ज्यामिति में अध्ययन शुरू करने के लिए विशिष्ट वस्तु बने रहते हैं, भले ही सहायक तरीके से अधिक सामान्य वस्तुओं का भी उपयोग किया जाता है।
[[ शीफ कोहोलॉजी ]] पर उनके लिए लिखा गया था। वे बीजगणितीय ज्यामिति में अध्ययन शुरू करने के लिए विशिष्ट वस्तुएं बने रहते हैं, भले ही अधिक सामान्य वस्तुओं का भी सहायक तरीके से उपयोग किया जाता है।


एक तरीका जो सामान्यीकरण की ओर ले जाता है, वह है रिड्यूसिबल बीजीय सेट (और फ़ील्ड .) की अनुमति देना {{mvar|k}} जो बीजगणितीय रूप से बंद नहीं हैं), इसलिए रिंग R अभिन्न डोमेन नहीं हो सकते हैं। एक अधिक महत्वपूर्ण संशोधन यह है कि वलयों के शीफ में [[ निलपोटेंट ]]्स को अनुमति दी जाती है, अर्थात वे छल्ले जो 'कम' नहीं होते हैं। यह शास्त्रीय बीजगणितीय ज्यामिति के कई सामान्यीकरणों में से एक है जो अलेक्जेंडर ग्रोथेंडिक के योजनाओं के सिद्धांत में निर्मित हैं।
एक तरीका जो सामान्यीकरण की ओर जाता है, वह है कम करने योग्य बीजगणितीय समुच्चय (और फ़ील्ड k जो बीजगणितीय रूप से बंद नहीं हैं) की अनुमति देना है। अतः वलय R पूर्णांकीय प्रांत नहीं हो सकते हैं। एक अधिक महत्वपूर्ण संशोधन रिंगों के शीफ में [[निलपोटेंट्स]] की अनुमति देना है, जो कि रिंग्स हैं जो कम नहीं होते हैं। यह मूल रूप से बीजगणितीय ज्यामिति के कई सामान्यीकरणों में से एक है जो ग्रोथेंडिक के योजनाओं के सिद्धांत में निर्मित हैं।


रिंगों में नीलपोटेंट तत्वों की अनुमति बीजगणितीय ज्यामिति में बहुलताओं का ट्रैक रखने से संबंधित है। उदाहरण के लिए, x . द्वारा परिभाषित एफ़िन लाइन की बंद उपयोजना<sup>2</sup> = 0 x = 0 (मूल) द्वारा परिभाषित उपयोजना से भिन्न है। आम तौर पर, वाई के एक बिंदु पर योजनाओं एक्स वाई के आकार की योजनाओं के फाइबर उत्पाद गैर-कम हो सकते हैं, भले ही एक्स और वाई कम हो जाएं। ज्यामितीय रूप से, यह कहता है कि अच्छे मानचित्रण के तंतुओं में गैर-तुच्छ अन्तर्निहित संरचना हो सकती है।
रिंग में निलपोटेंट तत्वों को अनुमति देना बीजगणितीय ज्यामिति में "बहुगुण" का ट्रैक रखने से संबंधित है। उदाहरण के लिए, x<sup>2</sup> = 0 द्वारा परिभाषित रेखा की बंद उपयोजना x = 0 (मूल) द्वारा परिभाषित उपयोजना से भिन्न है। अधिकांशतः वाई के बिंदु पर योजनाओं को X Y के आकार का फाइबर गैर-कम हो सकता है, भले ही X और Y कम हो जाएं। ज्यामितीय रूप से, यह कहता है कि अच्छे मैपिंग के तंतुओं में गैर-तुच्छ "अनंत" संरचना हो सकती है।  


और भी सामान्यीकरण हैं जिन्हें बीजीय रिक्त स्थान और बीजीय स्टैक कहा जाता है।
और भी सामान्यीकरण हैं जिन्हें बीजगणितीय रिक्त स्थान और ढेर कहा जाता है।


==बीजीय मैनिफोल्ड ==
==बीजीय मैनिफोल्ड ==
{{main|Algebraic manifold}}
{{main|बीजगणितीय गुणक}}
एक बीजीय मैनिफोल्ड एक बीजीय किस्म है जो एक एम-आयामी मैनिफोल्ड भी है, और इसलिए प्रत्येक पर्याप्त रूप से छोटा स्थानीय पैच कश्मीर के लिए आइसोमोर्फिक है<sup>मी</sup>. समान रूप से, विविधता [[ सुचारू कार्य ]] (एकवचन बिंदुओं से मुक्त) है। कब {{mvar|k}} वास्तविक संख्या है, R, बीजीय मैनिफोल्ड को [[ नैश मैनिफोल्ड ]] कहा जाता है। बीजीय मैनिफोल्ड्स को विश्लेषणात्मक बीजीय कार्यों के परिमित संग्रह के शून्य सेट के रूप में परिभाषित किया जा सकता है। [[ प्रोजेक्टिव बीजीय मैनिफोल्ड ]] प्रोजेक्टिव किस्मों के लिए एक समान परिभाषा है। [[ रीमैन क्षेत्र ]] एक उदाहरण है।
 
एक बीजगणितीय गुणक बीजगणितीय विविधता के रूप में होता है जो एक एम-आयामी के समान कई गुना होता है, और इसलिए हर पर्याप्त छोटे स्थानीय पैच किमी के लिए आइसोमोर्फिक है। समान रूप से, विविधता [[ सुचारू कार्य |सुचारू कार्य]] है। जब {{mvar|k}} का मान वास्तविक होता है तब R बीजगणितीय गुणक [[ नैश मैनिफोल्ड | नैश मैनिफोल्ड]] के लिए कई गुना होता हैं। बीजगणितीय मैनिफोल्ड को विश्लेषणात्मक बीजगणितीय कार्यों के लिए सीमित संग्रह के शून्य समूह के रूप में परिभाषित किया जाता है। [[ प्रोजेक्टिव बीजीय मैनिफोल्ड | प्रक्षेपीय बीजीय मैनिफोल्ड]] प्रक्षेपीय विविधताओं के लिए समान परिभाषित होता है। [[ रीमैन क्षेत्र |रीमैन क्षेत्र]] इसका एक उदाहरण है।


==यह भी देखें==
==यह भी देखें==
*[[ विविधता (बहुविकल्पी) ]] — कई गणितीय अर्थों को सूचीबद्ध करना
*[[ विविधता (बहुविकल्पी) ]] — कई गणितीय अर्थों को सूचीबद्ध करना
*[[ बीजीय किस्म का कार्य क्षेत्र ]]
*[[ बीजीय किस्म का कार्य क्षेत्र | बीजीय विविधता का कार्य क्षेत्र]]
*[[ बायरेशनल ज्यामिति ]]
*[[ बायरेशनल ज्यामिति ]]
*एबेलियन किस्म
*एबेलियन विविधता
* [[ मकसद (बीजगणितीय ज्यामिति) ]]
* [[ मकसद (बीजगणितीय ज्यामिति) ]]
*[[ विश्लेषणात्मक किस्म ]]
*[[ विश्लेषणात्मक किस्म | विश्लेषणात्मक विविधता]]
*ज़ारिस्की-रिमेंन स्पेस
*ज़ारिस्की-रिमेंन स्पेस
*[[ अर्ध-बीजीय समुच्चय ]]
*[[ अर्ध-बीजीय समुच्चय ]]
Line 254: Line 250:
{{refend}}
{{refend}}


{{PlanetMath attribution|urlname=isomorphismofvarieties|title=Isomorphism of varieties}}
{{Authority control}}
वर्ग:बीजगणितीय ज्यामिति
श्रेणी:बीजीय किस्में




[[Category: Machine Translated Page]]
[[Category:AC with 0 elements]]
[[Category:All articles lacking in-text citations]]
[[Category:Articles lacking in-text citations from March 2013]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Articles with short description]]
[[Category:Created On 10/11/2022]]
[[Category:Created On 10/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages with reference errors]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Wikipedia articles incorporating text from PlanetMath|बीजगणितीय विविधता]]

Latest revision as of 11:42, 14 September 2023

मुड़ घन एक प्रक्षेपी बीजीय विवधता है।

बीजगणितीय विविधता या बीजगणितीय ज्यामिति, गणित के उप-क्षेत्र में अध्ययन की केंद्रीय वस्तुएं हैं। मूल रूप से, एक बीजीय विविधता को वास्तविक संख्या या सम्मिश्र संख्या पर बहुपद समीकरणों की एक प्रणाली के समाधान समुच्चय के रूप में परिभाषित किया जाता है। आधुनिक परिभाषाएँ इस अवधारणा को कई अलग-अलग विधियों का उपयोग करके इसे सामान्य बनाती हैं, मूल परिभाषा के पीछे ज्यामितीय अंतर्ज्ञान को संरक्षित करने का प्रयास करते हुए।[1]: 58 

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

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

कई बीजगणितीय विवधता कई गुना होती हैं, लेकिन एक बीजगणितीय विविधता में एकवचन बिंदु हो सकते हैं जबकि कई गुना नहीं हो सकते। बीजगणितीय विवधता को उनके आयाम द्वारा चित्रित किया जा सकता है। आयाम एक की बीजगणितीय विवधता को बीजीय वक्र कहा जाता है और आयाम दो की बीजगणितीय विवधता को बीजीय सतह कहा जाता है।

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

अवलोकन और परिभाषाएं

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

सजातीय विविधता

बीजगणितीय रूप से बंद फ़ील्ड K और प्राकृतिक संख्या n के लिए, An को K पर एक n-स्पेस ओवर होने दें, जिसे सजातीय निर्देशांक प्रणाली की पसंद के माध्यम से से पहचाना जाता है। वलय K[x1, ..., xn] में बहुपद f  को An के बिंदुओं पर  f  का मूल्यांकन करके An पर K-मूल्यवान फलन के रूप में देखा जा सकता है, अर्थात् प्रत्येक xi के लिए K में मान चुनकर।K[x1, ..., xn] में बहुपदों के प्रत्येक समुच्चय S के लिए, शून्य-बिंदु Z(S) को An में बिंदुओं के समूहों में परिभाषित करें जो S फंक्शन में एक साथ निहित हो जाता है, कहने का मतलब है

An के उपसमुच्चय V को सजातीय बीजीय समुच्चय कहा जाता है यदि कुछ S के लिए V = Z(S)। यदि इसे दो उचित बीजीय समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है।[1]: 2  एक अलघुकरणीय सजातीय बीजीय सबसमुच्चय को सजातीय विविधता भी कहा जाता है।[1]: 3  कई लेखक किसी भी सजातीय बीजगणितीय समुच्चय को संदर्भित करने के लिए सजातीय विवधता वाक्यांश का उपयोग करते हैं, इरेड्यूसबल या नहीं [note 1])

बंद समुच्चयों को ठीक सजातीय बीजीय समुच्चय घोषित करके सजातीय विवधता को प्राकृतिक टोपोलॉजी दी जा सकती है। इस टोपोलॉजी को ज़ारिस्की टोपोलॉजी कहा जाता है।[1]: 2 

An के उपसमुच्चय V को देखते हुए, हम I(V) को V पर लुप्त होने वाले सभी बहुपद फलनों का आदर्श मानते हैं:

किसी भी सजातीय बीजगणितीय समुच्चय वी के लिए, वी की समन्वय रिंग या संरचना इस आदर्श द्वारा बहुपद रिंग का भागफल वलय है।[1]: 4 

प्रक्षेपीय विविधता और अर्ध-प्रक्षेपीय विविधता

मान लीजिए k एक बीजगणितीय रूप से बंद क्षेत्र है और Pn को k के ऊपर प्रक्षेपी n-स्पेस होने दें। मान लीजिए f में k[x0, ..., xn] घात d का एक समांगी बहुपद है। सजातीय निर्देशांक में Pn में बिंदुओं पर f  का मूल्यांकन करना अच्छी तरह से परिभाषित नहीं है। चूंकि, f सजातीय है, जिसका अर्थ है कि  f  (λx0, ..., λxn) = λdf  (x0, ..., xn), यह पूछने के लिए समझ में आता है क्या  f  बिंदु [x0 : ... : xn] पर लुप्त हो जाता है। सजातीय बहुपदों के प्रत्येक एस के लिए, Pn में बिंदुओं के समुच्चय के रूप में S के शून्य-बिंदु को परिभाषित करें जिस पर S में कार्य गायब हो जाते हैं:

Pn के उपसमुच्चय V को प्रक्षेपी बीजगणितीय समुच्चय कहा जाता है यदि कुछ S के लिए V = Z(S)[1]: 9  एक अलघुकरणीय प्रक्षेपी बीजगणितीय समुच्चय को प्रक्षेपी विवधता कहा जाता है।[1]: 10 सभी बीजीय समुच्चयों को बंद करने की घोषणा करके प्रक्षेपीय विविधताओं को ज़ारिस्की टोपोलॉजी से भी लैस किया गया है।

अर्ध-प्रक्षेपीय विविधता प्रक्षेपीय विविधता के लिए ज़ारिस्की का एक खुला उपसमुच्चय है। ध्यान दें कि प्रत्येक सजातीय विवधता अर्ध-प्रक्षेपीय है।[2] यह भी ध्यान दें कि एक सजातीय वैरायटी में एक बीजगणितीय समुच्चय का पूरक एक अर्ध-प्रक्षेपीय विविधता है; सजातीय विवधता के संदर्भ में, ऐसी अर्ध-प्रक्षेपी विविधता को साधारणतयः विविधता नहीं बल्कि एक रचनात्मक समुच्चय कहा जाता है।

अमूर्त उपसमष्‍टि

मूल बीजगणितीय ज्यामिति में, सभी विवधता परिभाषा के अनुसार अर्ध-प्रक्षेपी विवधता थीं, जिसका अर्थ है कि वे प्रक्षेप्य स्थान की बंद उप-विवधता की खुली उप-विवधता थीं। उदाहरण के लिए, हार्टशोर्न के अध्याय 1 में एक बीजगणितीय रूप से बंद क्षेत्र में विविधता को अर्ध-प्रक्षेपी विविधता के रूप में परिभाषित किया गया है,[1]: 15  लेकिन अध्याय 2 के बाद से, शब्द विविधता (जिसे अमूर्त विवधता भी कहा जाता है) जो एक अधिक सामान्य वस्तु को संदर्भित करता है, जो स्थानीय रूप से एक अर्ध-प्रक्षेपी विवधता है, लेकिन जब समग्र रूप से देखा जाए तो जरूरी नहीं कि अर्ध-प्रक्षेपी हो; यानी इसमें प्रक्षेपीय स्पेस में अंत:स्थापन नहीं हो सकती है।[1]: 105  तो मूल रूप से बीजगणितीय विविधता की परिभाषा को प्रक्षेपीय स्पेस में अंत:स्थापन की आवश्यकता होती है, और विविधता पर टोपोलॉजी और विविधता पर नियमित कार्यों को परिभाषित करने के लिए इस अंत:स्थापन का उपयोग किया गया था। इस तरह की परिभाषा से हानि यह है कि सभी विविधिताएँ प्राकृतिक अंत:स्थापन के साथ प्रक्षेप्य स्थान में नहीं आती हैं। उदाहरण के लिए, इस परिभाषा के तहत, उत्पाद P1 × P1 एक विवधता नहीं है जब तक यह प्रक्षेपीय स्पेस में एम्बेड नहीं किया जाता है; यह साधारणतयः सेग्रे अंत:स्थापन द्वारा किया जाता है। चूँकि, कोई भी विवधता जो किसी को प्रक्षेपीय स्पेस में एम्बेड करने की अनुमति देती है, वेरोनीज़ अंत:स्थापन के साथ अंत:स्थापन की रचना करके कई अन्य लोगों को स्वीकार करती है। परिणामस्वरूप, कई धारणाएं जो आंतरिक होनी चाहिए, जैसे नियमित कार्य की अवधारणा स्पष्ट रूप से ऐसा नहीं है।

एक अंत:स्थापन के बिना, एक बीजगणितीय विविधता को सारगर्भित रूप से परिभाषित करने का सबसे पहला सफल प्रयास एंड्रे वेइल द्वारा किया गया था। बीजगणितीय ज्यामिति की अपनी नींव में, वेइल ने मूल्यांकन (बीजगणित) का उपयोग करके एक अमूर्त बीजगणितीय विविधता को परिभाषित किया। क्लाउड शेवेली ने एक योजना की परिभाषा दी, जिसने एक समान उद्देश्य पूरा किया, लेकिन अधिक सामान्य था। चूंकि, अलेक्जेंडर ग्रोथेंडिक की एक योजना की परिभाषा अभी भी अधिक सामान्य है और इसे सबसे व्यापक स्वीकृति प्राप्त हुई है। ग्रोथेंडिक की भाषा में, एक सार बीजगणितीय विविधता को साधारणतयः एक बीजगणितीय रूप से बंद क्षेत्र पर परिमित प्रकार की एक अभिन्न, अलग योजना के रूप में परिभाषित किया जाता है,[1]: 104–105  चूंकि कुछ लेखक इरेड्यूसिबिलिटी या रिड्यूसनेस या अलगाव की स्थिति को छोड़ देते हैं या अंतर्निहित क्षेत्र को बीजगणितीय रूप से बंद नहीं होने देते हैं।[note 2] मूल बीजगणितीय विविधता बीजगणितीय रूप से बंद क्षेत्र पर क्वासिप्रक्षेपीय समाकलित वियुक्त परिमित प्रकार की योजनाएं हैं।

गैर-अर्धप्रक्षेपीय संक्षेपित बीजीय विवधता का अस्तित्व

एक गैर-अद्र्धप्रक्षेपी बीजगणितीय विवधता के शुरुआती उदाहरणों में से एक नगाटा द्वारा दिया गया था।[3] नागाटा का उदाहरण पूर्ण नहीं था (सघनता का अनुरूप), लेकिन बाद में उन्हें एक बीजगणितीय सतह मिली जो पूर्ण और गैर-प्रक्षेपी थी।[1]: Remark 4.10.2 p.105   तब से इसके अन्य उदाहरण पाए गए हैं; उदाहरण के लिए, एक टोरिक विविधता का निर्माण करना सीधा है जो अर्ध-प्रक्षेपी नहीं है लेकिन पूर्ण है।[4]

उदाहरण

उपवर्ग

उप-विविधता एक ऐसी विविधता का सबसमुच्चय है जो स्वयं एक विविधता है (परिवेश विविधता से प्रेरित संरचना के संबंध में)। उदाहरण के लिए, एक विविधता का हर खुले उपसमुच्चय की एक विविधता है। इसके लिएबंद विसर्जन भी देखें।

हिल्बर्ट के नलस्टेलेंसत्ज़ का कहना है कि एक सजातीय या प्रक्षेपी विवधता की बंद उप-विविधताएँ एक दूसरे से पत्राचार में प्रमुख आदर्शों या विविधता के समन्वय रिंग के सजातीय प्रमुख आदर्शों के साथ होती हैं।

सजातीय विवधता

उदाहरण 1

'मान लीजियेk = C, और A2 C के ऊपर द्वि-आयामी एफ़िन स्पेस हो। रिंग C[x, y] में बहुपदों को A पर सम्मिश्र मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है इसके बिंदुओं पर मूल्यांकन करके

माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव है f  (x, y):

का शून्य-ठिकाना f  (x, y) A . में बिंदुओं का समुच्चय है जिस पर यह फ़ंक्शन गायब हो जाता है: यह सम्मिश्र संख्याओं (x, y) के सभी युग्मों का समुच्चय इस प्रकार है कि y = 1 - x। इसे सजातीय प्लेन में एक लाइन (ज्यामिति) कहा जाता है। ('शास्त्रीय टोपोलॉजी' में सम्मिश्र संख्याओं पर टोपोलॉजी से आ रही है, एक सम्मिश्र रेखा आयाम दो का वास्तविक कई गुना है।) यह समुच्चय है Z( f ):

इस प्रकार उपसमुच्चय V = Z( f ) A2 एक बीजीय विवधता है सजातीय विवधता। समुच्चय V रिक्त नहीं है। यह अपरिवर्तनीय है, क्योंकि इसे दो उचित बीजीय समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। इस प्रकार यह एक सजातीय बीजीय विवधता है।

उदाहरण 2

होने देना k = C, और A2 C के ऊपर द्वि-आयामी सजातीय स्पेस हो। रिंग C[x, y] में बहुपदों को A पर सम्मिश्र मूल्यवान फ़ंक्शन के रूप में देखा जा सकता है A2 के बिंदुओं पर मूल्यांकन करके माना 'C'[x, y] के उपसमुच्चय S में एक ही अवयव g(x, y) है:

g(x, y) का शून्य-लोकस 'A2' में बिंदुओं का समूह है जिस पर यह फ़ंक्शन गायब हो जाता है, वह अंक (x, y) का समुच्चय है जैसे कि x2 + और2 = 1. चूँकि g(x, y) एक पूर्णतया अपरिष्कृत बहुपद है, यह एक बीजीय विवधता है। इसके वास्तविक बिंदुओं का समुच्चय (अर्थात वह बिंदु जिसके लिए x और y वास्तविक संख्याएँ हैं), इकाई वृत्त के रूप में जाना जाता है; यह नाम अधिकांशतः पूरी विवधता को भी दिया जाता है।

उदाहरण 3

निम्नलिखित उदाहरण में न तो हाइपरसफेस है, न ही सदिश स्थल , न ही कोई बिंदु। चलो A3 C के ऊपर त्रि-आयामी सजातीय स्पेस बनता हैं। बिंदुओं का समुच्चय (x, x)2, x3) के लिए x in 'C' एक बीजीय विविधता है, और अधिकांशतः इसमें एक बीजीय वक्र होता है जो किसी भी तल में निहित नहीं रहता है।[note 3] यह ऊपर की आकृति में दिखाया गया घन है। इसे समीकरणों द्वारा परिभाषित किया जा सकता है

इस बीजगणितीय समुच्चय की अप्रासंगिकता को एक प्रमाण की आवश्यकता होती है। इस परिस्थिति में एक दृष्टिकोण यह जांचना है कि प्रक्षेपण (x, y, z) → (x, y) समाधान के समुच्चय पर इंजेक्शन समारोह है और इसका प्रतिबिम्ब एक अपरिवर्तनीय समतल पर वक्र के रूप में दिखता है।

अधिक कठिन उदाहरणों के लिए, एक समान प्रमाण हमेशा दिया जा सकता है, लेकिन एक कठिन गणना का अर्थ हो सकता है: पहले आयाम की गणना करने के लिए ग्रोबनर आधार गणना, उसके बाद वैरिएबल के यादृच्छिक रैखिक परिवर्तन (हमेशा आवश्यक नहीं); फिर प्रक्षेपण की गणना करने के लिए एक और एकपदी आदेश के लिए ग्रोबनर आधार गणना और यह साबित करने के लिए कि यह सामान्य संपत्ति इंजेक्शन है और इसकी छवि एक हाइपरसर्फेस है, और अंत में छवि की अपरिवर्तनीयता साबित करने के लिए एक बहुपद कारक है।

सामान्य रैखिक समूह

आधार क्षेत्र k पर n-by-n आव्यूहों के समुच्चय को सजातीय n . से पहचाना जा सकता है2-स्पेस निर्देशांक के साथ ऐसा है कि मैट्रिक्स की (i, j) -वीं प्रविष्टि है . एक मैट्रिक्स का निर्धारक तब एक बहुपद है और इस प्रकार हाइपरसर्फेस को परिभाषित करता है में . का पूरक तब का एक खुला उपसमुच्चय है जिसमें सभी व्युत्क्रमणीय n-by-n आव्यूह होते हैं, सामान्य रैखिक समूह . यह एक सजातीय विवधता है, क्योंकि सामान्य तौर पर, सजातीय विवधता में हाइपरसर्फ़ का पूरक सजातीय होता है। स्पष्ट रूप से, विचार करें जहां सजातीय लाइन को कोऑर्डिनेट टी दिया गया है। फिर शून्य-लोकस के बराबर है बहुपद का :

अर्थात्, आव्यूह A का समुच्चय ऐसा है कि एक समाधान है। यह बीजगणितीय रूप से सबसे अच्छी तरह से देखा जाता है: का निर्देशांक वलय स्थानीयकरण है (कम्यूटेटिव बीजगणित) , जिसे से पहचाना जा सकता है .

गुणक समूह kआधार फ़ील्ड k का ** वही है और इस प्रकार एक सजातीय विवधता है। इसका एक परिमित उत्पाद एक बीजीय टोरस है, जो फिर से एक सजातीय विवधता है।

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

प्रक्षेपी विविधता

एक प्रक्षेपीय विवधता एक प्रक्षेपीय स्पेस की एक बंद उप-विविधता है। यही है, यह सजातीय बहुपद के एक समुच्चय का शून्य स्थान है जो एक प्रमुख आदर्श उत्पन्न करता है।

उदाहरण 1

सजातीय प्लेन कर्व y2 = x3x. संबंधित प्रक्षेप्य वक्र को अण्डाकार वक्र कहा जाता है।

एक समतल प्रक्षेप्य वक्र तीन अनिश्चित में एक अलघुकरणीय सजातीय बहुपद का शून्य स्थान है। प्रक्षेप्य रेखा P1 प्रक्षेपी वक्र का एक उदाहरण है; इसे प्रक्षेप्य तल में वक्र के रूप में देखा जा सकता है P2 = {[x, y, z]} द्वारा परिभाषित x = 0. एक अन्य उदाहरण के लिए, पहले सजातीय क्यूबिक वलय पर विचार करें

2-आयामी सजातीय स्पेस में (विशेषता के क्षेत्र में दो नहीं)। इसमें संबंधित घन सजातीय बहुपद समीकरण है:

जो P2 में एक वक्र को परिभाषित करता है को अण्डाकार वक्र कहा जाता है। वक्र में जीनस वन (सूत्र टाइप करें ) है; विशेष रूप से, यह प्रक्षेपी रेखा P1 के समरूपी नहीं है, जिसका जीनस जीरो है। घटता को अलग करने के लिए जीनस का उपयोग करना बहुत ही बुनियादी है: वास्तव में, जीनस पहला अपरिवर्तनीय है जो घटता वर्गीकृत करने के लिए उपयोग करता है (बीजीय वक्रों के मॉड्यूल का निर्माण भी देखें)।

उदाहरण 2: ग्रासमैनियन

मान लीजिए V एक परिमित-विमीय सदिश समष्टि है। ग्रासमैनियन विवधता जीn(V) जहाँ V के सभी n-विमा के सबस्पेस का समुच्चय है। यह एक प्रक्षेपीय विवधता है: इसे प्लकर अंत:स्थापन के माध्यम से प्रक्षेपीय स्पेस में लागू किया गया है:

जहां बीiV में रैखिकतः स्वतंत्र सदिशों का कोई समुच्चय है, V की n-th बाहरी शक्ति है, और ब्रैकेट [w] का अर्थ है गैर-शून्य वेक्टर w द्वारा फैली हुई रेखा।

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

जैकोबियन विवधता

मान लीजिए C एक चिकना पूर्ण वक्र है और इसका पिकार्ड समूह ; यानी, सी पर लाइन बंडलों के आइसोमोर्फिज्म वर्गों का समूह। चूंकि सी चिकना है, C के भाजक वर्ग समूह के रूप में पहचाना जा सकता है और इस प्रकार समरूपता की डिग्री होती है . जैकोबियन विवधता सी का इस डिग्री मानचित्र का कर्नेल है; यानी, डिग्री शून्य के सी पर भाजक वर्गों का समूह। एक जैकोबियन विवधता एक अबेलियन विवधता का एक उदाहरण है, एक पूरी विवधता जिस पर एक संगत एबेलियन समूह संरचना है (नाम एबेलियन इसलिए नहीं है क्योंकि यह एक एबेलियन समूह है)। एक एबेलियन विवधता प्रक्षेपी हो जाती है (बीजीय समुच्चयिंग में थीटा फंक्शन एक अंत:स्थापन देता है); इस प्रकार, एक प्रक्षेपी विवधता है। करने के लिए स्पर्शरेखा स्थान पहचान तत्व पर स्वाभाविक रूप से आइसोमॉर्फिक है [5] इसलिए, का आयाम का वंश है .

एक बिंदु ठीक करें पर . प्रत्येक पूर्णांक के लिए , एक प्राकृतिक रूपवाद है[6]

जहाँ पर C के लिए n प्रतियों का गुणनफल है (अर्थात, C एक अण्डाकार वक्र है), उपरोक्त समरूपता के लिए एक समरूपता को प्रर्दशित करता है; विशेष रूप से, एक अण्डाकार वक्र एक अबेलियन विवधता है।

मोडुली विविधिता

एक पूर्णांक दिया गया , जीनस के चिकने पूर्ण वक्रों के समरूपता वर्गों का समुच्चय जीनस के वक्रों का मॉड्यूल कहा जाता है और के रूप में निरूपित किया जाता है . यह दिखाने के कुछ तरीके हैं कि इस मॉड्यूल में संभावित रूप से कमजोर बीजीय विवधता की संरचना है; उदाहरण के लिए, एक तरीका ज्यामितीय अपरिवर्तनीय सिद्धांत का उपयोग करना है जो सुनिश्चित करता है कि आइसोमोर्फिज्म वर्गों के एक समुच्चय में एक (कम करने योग्य) अर्ध-प्रक्षेपीय विवधता संरचना है।[7] मोडुली जैसे कि निश्चित जीनस के वक्रों के मॉड्यूल साधारणतयः एक प्रक्षेपी विवधता नहीं होते हैं; मूलतः इसका कारण यह है कि एक चिकने वक्र का अध: पतन (सीमा) गैर-चिकना या कम करने योग्य होता है। यह जीनस के एक स्थिर वक्र की धारणा की ओर जाता है , एक गैर-जरूरी-चिकनी पूर्ण वक्र जिसमें कोई बहुत खराब विलक्षणता नहीं है और इतना बड़ा ऑटोमोर्फिज्म समूह नहीं है। स्थिर वक्रों का मापांक , जीनस के स्थिर वक्रों के समरूपता वर्गों का समुच्चय , तब एक प्रक्षेपी विवधता है जिसमें एक खुले उपसमुच्चय के रूप में। तब से सीमा बिंदुओं को जोड़कर प्राप्त किया जाता है , बोलचाल की भाषा में का एक संघनन (बीजगणितीय ज्यामिति) कहा जाता है . ऐतिहासिक रूप से ममफोर्ड और डेलिग्ने का एक पेपर[8] दिखाने के लिए एक स्थिर वक्र की धारणा पेश की जब .

घटता का मॉड्यूल एक सामान्य स्थिति का उदाहरण देता है: अच्छी वस्तुओं का एक मॉड्यूल प्रक्षेपीय नहीं होता है बल्कि केवल अर्ध-प्रक्षेपीय होता है। एक अन्य मामला एक वक्र पर सदिश बंडलों का एक मापांक है। यहाँ, एक चिकने पूर्ण वक्र पर स्थिर और अर्धस्थिर वेक्टर बंडलों की धारणाएँ हैं। किसी दिए गए रैंक और एक दी गई डिग्री (बंडल के निर्धारक की डिग्री) के स्थिर वेक्टर बंडल का मापांक तब , जिसमें रैंक और डिग्री एक खुले उपसमुच्चय के रूप में।[9] चूंकि एक लाइन बंडल स्थिर है, इस तरह के मॉड्यूल के जेकोबियन विविधता का एक सामान्यीकरण है।

सामान्यतः, वक्रों के मोडुली की स्थिति के विपरीत, एक मोडुली का एक संघनन अद्वितीय नहीं होना चाहिए और कुछ स्थितियों में, अलग-अलग विधियों का उपयोग करके और अलग-अलग लेखकों द्वारा अलग-अलग गैर-समतुल्य संघनन का निर्माण किया जाता है। एक उदाहरण ओवर संकुचित करने की समस्या है , एक परिबद्ध सममित डोमेन का भागफल अंकगणित असतत समूह की एक क्रिया द्वारा . का एक मूल उदाहरण कब है , सीगल का ऊपरी आधा स्थान और अनुरूपता (समूह सिद्धांत) के साथ ; उस परिस्थिति में, के रूप में एक व्याख्या है आयाम की मुख्य रूप से ध्रुवीकृत सम्मिश्र एबेलियन विवधता की (एक प्रमुख ध्रुवीकरण अपने दोहरे के साथ एक अबेलियन विवधता की पहचान करता है)। टोरिक विवधता (या टोरस अंत:स्थापन) का सिद्धांत कॉम्पैक्ट करने का एक पद्धति देता है , इसका एक टॉरॉयडल संघनन ।[10][11] लेकिन संकुचित करने के अन्य तरीके भी हैं ; उदाहरण के लिए, का न्यूनतम संघनन है बेली और बोरेल के कारण: यह मॉड्यूलर रूपों द्वारा गठित परियोजना निर्माण है (सीगल परिस्थिति में, सीगल मॉड्यूलर फॉर्म [12]) संघनन की गैर-विशिष्टता उन संघनन की मॉड्यूली व्याख्याओं की कमी के कारण है; अर्ताथ (श्रेणी-सिद्धांत अर्थानुसार) किसी भी प्राकृतिक मोडुली समस्या का प्रतिनिधित्व नहीं करते हैं या, सबसे सही भाषा में, कोई प्राकृतिक मोडुली स्टैक नहीं होता है जो स्थिर वक्रों के मोडुलि स्टैक का एक एनालॉग होगा।

गैर-सजातीय और गैर-प्रक्षेपीय उदाहरण

एक बीजगणितीय विविधता न तो संबधित हो सकती है और न ही प्रक्षेपी। एक उदाहरण देने के लिए, X = P1 × A1 और p: XA1 प्रक्षेपण दें। यह एक बीजगणितीय विवधता है क्योंकि यह विवधता का एक उत्पाद है। चूंकि P1, X की एक बंद उप-विवधता है (p के शून्य स्थान के रूप में), यह परिशोधित नहीं है। लेकिन एक संबधित विवधता में एक बंद उप-विवधता के रूप में सकारात्मक आयाम की अनुमानित विविधता नहीं हो सकती है।

यह प्रक्षेपी भी नहीं है, क्योंकि X पर एक गैर-निरंतर नियमित कार्य है; अर्थात्, पी। गैर-संबंधी गैर-प्रक्षेपी विवधता का एक अन्य उदाहरण है X = A2 − (0, 0) (cf. विविधिता का आकृतिवाद उदाहरण § Notes )

गैर-उदाहरण

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

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

मूल परिणाम

  • एक सजातीय बीजगणितीय समुच्चय V एक विविधता है अगर और केवल अगर I(V) एक प्रमुख आदर्श है; समतुल्य, V एक विविधता है अगर और केवल अगर इसकी समन्वय रिंग एक इंटीग्रल डोमेन.[13]: 52 [1]: 4 
  • प्रत्येक गैर-रिक्त सजातीय बीजगणितीय समुच्चय को विशिष्ट रूप से बीजगणितीय विवधता के परिमित संघ के रूप में लिखा जा सकता है (जहां अपघटन में कोई भी विवधता किसी अन्य की उप-विवधता नहीं है)।[1]: 5 
  • विविधता के आयाम को विभिन्न समकक्ष विधियों से परिभाषित किया जा सकता है। विवरण के लिए एक बीजगणितीय विविधता का आयाम देखें।
  • बहुत से बीजगणितीय विवधता का उत्पाद (बीजगणितीय रूप से बंद क्षेत्र पर) एक बीजगणितीय विविधता है। सजातीय विवधता का एक परिमित उत्पाद सजातीय है[14] और प्रक्षेपी विवधता का एक परिमित उत्पाद प्रक्षेपी है।

बीजीय विवधता का समरूपता

बता दें कि V1, V2 बीजगणितीय विवधता हैं। हम कहते हैं कि V1 और V2 समरूपी हैं, और V1V2 लिखते हैं, यदि नियमित ग्राफ समरूपता φ : V1V2 और ψ : V2V1 हैं जैसे कि संयोजन(गणित) ψφ और φψ क्रमशः V1 और V2 पर पहचान ग्राफ हैं .

वैरिएबल्चा और सामान्यीकरण

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

यह परिभाषा किसी भी क्षेत्र k पर काम करती है। यह आपको चिंता किए बिना सजातीय विवधता (आम खुले समुच्चयों के साथ) को गोंद करने की अनुमति देता है क्या परिणामी वस्तु को किसी प्रक्षेपी स्थान में रखा जा सकता है। यह भी कठिनाइयों का कारण बनता है क्योंकि कोई कुछ रोग संबंधी वस्तुओं को पेश कर सकता है, उदा. शून्य के साथ एक सजातीय लाइन दोगुनी हो गई। ऐसी वस्तुओं को साधारणतयः विविधिता नहीं माना जाता है, और विभिन्न प्रकार की अंतर्निहित योजनाओं को अलग करने की आवश्यकता के द्वारा समाप्त कर दिया जाता है। (कठोरता से बोलना, एक तीसरी शर्त भी है, अर्थात्, उपरोक्त परिभाषा में किसी को केवल सूक्ष्म रूप से कई सजातीय पैच की आवश्यकता होती है।)

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

एक पूर्ण विविधता एक ऐसी विविधता है जिसमें एक गैर-एकवचन वक्र के एक खुले उपसमुच्चय से किसी मानचित्र को विशिष्ट रूप से संपूर्ण वक्र तक विस्तारित किया जा सकता है। प्रत्येक अनुमानित विविधता पूर्ण है, लेकिन इसके विपरीत नहीं।

इन विविधिताओं को "सेरे के अर्थ में विविधता" कहा गया है, क्योंकि सेरे का फाउंडेशनल पेपर एफएसी[15] शीफ कोहोलॉजी पर उनके लिए लिखा गया था। वे बीजगणितीय ज्यामिति में अध्ययन शुरू करने के लिए विशिष्ट वस्तु बने रहते हैं, भले ही सहायक तरीके से अधिक सामान्य वस्तुओं का भी उपयोग किया जाता है।

एक तरीका जो सामान्यीकरण की ओर जाता है, वह है कम करने योग्य बीजगणितीय समुच्चय (और फ़ील्ड k जो बीजगणितीय रूप से बंद नहीं हैं) की अनुमति देना है। अतः वलय R पूर्णांकीय प्रांत नहीं हो सकते हैं। एक अधिक महत्वपूर्ण संशोधन रिंगों के शीफ में निलपोटेंट्स की अनुमति देना है, जो कि रिंग्स हैं जो कम नहीं होते हैं। यह मूल रूप से बीजगणितीय ज्यामिति के कई सामान्यीकरणों में से एक है जो ग्रोथेंडिक के योजनाओं के सिद्धांत में निर्मित हैं।

रिंग में निलपोटेंट तत्वों को अनुमति देना बीजगणितीय ज्यामिति में "बहुगुण" का ट्रैक रखने से संबंधित है। उदाहरण के लिए, x2 = 0 द्वारा परिभाषित रेखा की बंद उपयोजना x = 0 (मूल) द्वारा परिभाषित उपयोजना से भिन्न है। अधिकांशतः वाई के बिंदु पर योजनाओं को X → Y के आकार का फाइबर गैर-कम हो सकता है, भले ही X और Y कम हो जाएं। ज्यामितीय रूप से, यह कहता है कि अच्छे मैपिंग के तंतुओं में गैर-तुच्छ "अनंत" संरचना हो सकती है।

और भी सामान्यीकरण हैं जिन्हें बीजगणितीय रिक्त स्थान और ढेर कहा जाता है।

बीजीय मैनिफोल्ड

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

यह भी देखें

टिप्पणियाँ

  1. Hartshorne, p.xv, notes that his choice is not conventional; see for example, Harris, p.3
  2. Liu, Qing. Algebraic Geometry and Arithmetic Curves, p. 55 Definition 2.3.47, and p. 88 Example 3.2.3
  3. Harris, p.9; that it is irreducible is stated as an exercise in Hartshorne p.7


संदर्भ

  1. 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9.
  2. Hartshorne, Exercise I.2.9, p.12
  3. Nagata, Masayoshi (1956). "On the imbedding problem of abstract varieties in projective varieties". Memoirs of the College of Science, University of Kyoto. Series A: Mathematics. 30: 71–82. doi:10.1215/kjm/1250777138. MR 0088035.
  4. In page 65 of Fulton, William (1993), Introduction to toric varieties, Princeton University Press, ISBN 978-0-691-00049-7, a remark describes a complete toric variety that has no non-trivial line bundle; thus, in particular, it has no ample line bundle.
  5. Milne 2008, Proposition 2.1.
  6. Milne 2008, The beginning of § 5.
  7. MFK 1994, Theorem 5.11.
  8. Deligne, Pierre; Mumford, David (1969). "दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता" (PDF). Publications Mathématiques de l'IHÉS. 36: 75–109. CiteSeerX 10.1.1.589.288. doi:10.1007/bf02684599. S2CID 16482150.
  9. MFK 1994, Appendix C to Ch. 5.
  10. Ash, A.; Mumford, David; Rapoport, M.; Tai, Y. (1975), Smooth compactification of locally symmetric varieties (PDF), Brookline, Mass.: Math. Sci. Press, ISBN 978-0-521-73955-9, MR 0457437
  11. Namikawa, Yukihiko (1980). सीगल रिक्त स्थान का टोरॉयडल कॉम्पैक्टीफिकेशन. Lecture Notes in Mathematics. Vol. 812. doi:10.1007/BFb0091051. ISBN 978-3-540-10021-8.
  12. Chai, Ching-Li (1986). "Siegel Moduli Schemes and Their Compactifications over ". अंकगणित ज्यामिति. pp. 231–251. doi:10.1007/978-1-4613-8655-1_9. ISBN 978-1-4613-8657-5.
  13. Harris, Joe (1992). Algebraic Geometry - A first course. Graduate Texts in Mathematics. Vol. 133. Springer-Verlag. doi:10.1007/978-1-4757-2189-8. ISBN 0-387-97716-3.
  14. बीजगणितीय ज्यामिति I. Encyclopaedia of Mathematical Sciences. Vol. 23. 1994. doi:10.1007/978-3-642-57878-6. ISBN 978-3-540-63705-9.
  15. Serre, Jean-Pierre (1955). "सुसंगत बीजीय शीव्स" (PDF). Annals of Mathematics. 61 (2): 197–278. doi:10.2307/1969915. JSTOR 1969915.
Cite error: <ref> tag with name "Nagata57" defined in <references> is not used in prior text.



स्रोत