View source for बीजगणितीय विविधता

{{short description|Mathematical object studied in the field of algebraic geometry}}
{{About|बीजगणितीय विविधता|शब्द "बीजगणित की विविधता"|विविधता (सार्वभौमिक बीजगणित)}}
[[File:Twisted cubic curve.png|thumb|[[ मुड़ घन ]] एक प्रक्षेपी बीजीय विवधता है।]]बीजगणितीय विविधता या[[ बीजगणितीय ज्यामिति | बीजगणितीय ज्यामिति]], गणित के उप-क्षेत्र में अध्ययन की केंद्रीय वस्तुएं हैं। मूल रूप से, एक बीजीय विविधता को [[ वास्तविक संख्या |वास्तविक संख्या]] या [[ जटिल संख्या | सम्मिश्र संख्या]] पर बहुपद समीकरणों की एक प्रणाली के [[ समाधान सेट |समाधान समुच्चय]] के रूप में परिभाषित किया जाता है। आधुनिक परिभाषाएँ इस अवधारणा को कई अलग-अलग विधियों का उपयोग करके इसे सामान्य बनाती हैं, मूल परिभाषा के पीछे ज्यामितीय अंतर्ज्ञान को संरक्षित करने का प्रयास करते हुए।{{r|Hartshorne|page1=58}}

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

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

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

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

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

===सजातीय विविधता ===
{{main|सजातीय विविधता}}

बीजगणितीय रूप से बंद फ़ील्ड {{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|'''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}}

{{math|'''A'''<sup>''n''</sup>}} के उपसमुच्चय V को देखते हुए, हम 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>
किसी भी सजातीय बीजगणितीय समुच्चय वी के लिए, वी की समन्वय रिंग या संरचना इस आदर्श द्वारा बहुपद रिंग का भागफल वलय है।{{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 में कार्य गायब हो जाते हैं:

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

[[ अर्ध-प्रोजेक्टिव किस्म |अर्ध-प्रक्षेपीय विविधता]]  प्रक्षेपीय विविधता के लिए ज़ारिस्की का एक खुला उपसमुच्चय है। ध्यान दें कि प्रत्येक सजातीय विवधता अर्ध-प्रक्षेपीय है।<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>}} एक विवधता नहीं है जब तक यह प्रक्षेपीय स्पेस में एम्बेड नहीं किया जाता है; यह साधारणतयः [[ सेग्रे एम्बेडिंग |सेग्रे अंत:स्थापन]] द्वारा किया जाता है। चूँकि, कोई भी विवधता जो किसी को प्रक्षेपीय स्पेस में एम्बेड करने की अनुमति देती है, [[ वेरोनीज़ एम्बेडिंग |वेरोनीज़ अंत:स्थापन]] के साथ अंत:स्थापन की रचना करके कई अन्य लोगों को स्वीकार करती है। परिणामस्वरूप, कई धारणाएं जो आंतरिक होनी चाहिए, जैसे नियमित कार्य की अवधारणा स्पष्ट रूप से ऐसा नहीं है।

एक अंत:स्थापन के बिना, एक बीजगणितीय विविधता को सारगर्भित रूप से परिभाषित करने का सबसे पहला सफल प्रयास एंड्रे वेइल द्वारा किया गया था। बीजगणितीय ज्यामिति की अपनी नींव में, वेइल ने [[ मूल्यांकन (बीजगणित) |मूल्यांकन (बीजगणित)]] का उपयोग करके एक अमूर्त बीजगणितीय विविधता को परिभाषित किया। [[ क्लाउड शेवेली |क्लाउड शेवेली]] ने एक योजना की परिभाषा दी, जिसने एक समान उद्देश्य पूरा किया, लेकिन अधिक सामान्य था। चूंकि, [[ अलेक्जेंडर ग्रोथेंडिक |अलेक्जेंडर ग्रोथेंडिक]] की एक योजना की परिभाषा अभी भी अधिक सामान्य है और इसे सबसे व्यापक स्वीकृति प्राप्त हुई है। ग्रोथेंडिक की भाषा में, एक सार बीजगणितीय विविधता को साधारणतयः एक बीजगणितीय रूप से बंद क्षेत्र पर परिमित प्रकार की एक अभिन्न, अलग योजना के रूप में परिभाषित किया जाता है,{{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>
== उदाहरण ==

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

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

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

==== उदाहरण 1====
'मान लीजिये{{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|&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|''V'' {{=}} ''Z''(&thinsp;''f''&thinsp;)}} A<sup>2</sup> एक बीजीय विवधता है सजातीय विवधता। समुच्चय V रिक्त नहीं है। यह अपरिवर्तनीय है, क्योंकि इसे दो उचित बीजीय समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। इस प्रकार यह एक सजातीय बीजीय विवधता है।

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

==== उदाहरण 3====
निम्नलिखित उदाहरण में न तो [[ ऊनविम पृष्ठ | हाइपरसफेस]] है, न ही [[ सदिश स्थल ]], न ही कोई बिंदु। चलो 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}
y-x^2&=0\\
z-x^3&=0
\end{align}</math>
इस बीजगणितीय समुच्चय की अप्रासंगिकता को एक प्रमाण की आवश्यकता होती है। इस परिस्थिति में एक दृष्टिकोण यह जांचना है कि प्रक्षेपण (x, y, z) → (x, y) समाधान के समुच्चय पर [[ इंजेक्शन समारोह ]] है और इसका प्रतिबिम्ब एक अपरिवर्तनीय समतल पर वक्र के रूप में दिखता है।

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

==== सामान्य रैखिक समूह ====
आधार क्षेत्र 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>
अर्थात्, आव्यूह 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> और इस प्रकार एक सजातीय विवधता है। इसका एक परिमित उत्पाद <math>(k^*)^r</math> एक [[ बीजीय टोरस ]] है, जो फिर से एक सजातीय विवधता है।

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

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

==== उदाहरण 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}}. एक अन्य उदाहरण के लिए, पहले सजातीय क्यूबिक वलय पर विचार करें

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

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

==== उदाहरण 2: ग्रासमैनियन ====
मान लीजिए 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>
जहां बी<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>.

एक बिंदु ठीक करें <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</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
  | last1 = Deligne|first1 = Pierre |author1-link = Pierre Deligne
  | last2=Mumford|first2= David |author2-link=David Mumford
  | title = दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता| journal = [[Publications Mathématiques de l'IHÉS]]
  | volume = 36
  | pages = 75–109
  | date = 1969
  | url = http://archive.numdam.org/article/PMIHES_1969__36__75_0.pdf
  | doi = 10.1007/bf02684599
  | citeseerx = 10.1.1.589.288
  |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>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>. का एक मूल उदाहरण <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>) संघनन की गैर-विशिष्टता उन संघनन की मॉड्यूली व्याख्याओं की कमी के कारण है; अर्ताथ (श्रेणी-सिद्धांत अर्थानुसार) किसी भी प्राकृतिक मोडुली समस्या का प्रतिनिधित्व नहीं करते हैं या, सबसे सही भाषा में, कोई प्राकृतिक [[ मोडुली स्टैक ]] नहीं होता है जो स्थिर वक्रों के मोडुलि स्टैक का एक एनालॉग होगा।
=== गैर-सजातीय और गैर-प्रक्षेपीय उदाहरण ===
एक बीजगणितीय विविधता न तो संबधित हो सकती है और न ही प्रक्षेपी। एक उदाहरण देने के लिए, {{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|विविधिता का आकृतिवाद उदाहरण}} )

=== गैर-उदाहरण ===
<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> का शून्य-बिंदु। (एक भिन्न आधार क्षेत्र में, एक [[ एकात्मक समूह |एकात्मक समूह]] को विभिन्न प्रकार की संरचना दी जा सकती है।)

==मूल परिणाम==
* एक सजातीय बीजगणितीय समुच्चय V एक विविधता है अगर और केवल अगर I(V) एक प्रमुख आदर्श है; समतुल्य, V एक विविधता है अगर और केवल अगर इसकी समन्वय रिंग एक {{nowrap|[[इंटीग्रल डोमेन]].{{r|Harris|page1=52}}}}{{r|Hartshorne|page1=4}}
*प्रत्येक गैर-रिक्त सजातीय बीजगणितीय समुच्चय को विशिष्ट रूप से बीजगणितीय विवधता के परिमित संघ के रूप में लिखा जा सकता है (जहां अपघटन में कोई भी विवधता किसी अन्य की उप-विवधता नहीं है)।{{r|Hartshorne|page1=5}}
*विविधता के आयाम को विभिन्न समकक्ष विधियों से परिभाषित किया जा सकता है। विवरण के लिए एक बीजगणितीय विविधता का आयाम देखें।
*बहुत से बीजगणितीय विवधता का उत्पाद (बीजगणितीय रूप से बंद क्षेत्र पर) एक बीजगणितीय विविधता है। सजातीय विवधता का एक परिमित उत्पाद सजातीय है<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|विविधिताओं का रूपवाद}}
बता दें कि {{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>}} पर पहचान [[ ग्राफ समरूपता |ग्राफ]] हैं .

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

यह परिभाषा किसी भी क्षेत्र 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> [[ शीफ कोहोलॉजी | शीफ कोहोलॉजी]] पर उनके लिए लिखा गया था। वे बीजगणितीय ज्यामिति में अध्ययन शुरू करने के लिए विशिष्ट वस्तु बने रहते हैं, भले ही सहायक तरीके से अधिक सामान्य वस्तुओं का भी उपयोग किया जाता है।

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

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

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

==बीजीय मैनिफोल्ड ==
{{main|बीजगणितीय गुणक}}

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

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

==टिप्पणियाँ==
{{reflist|group=note}}


==संदर्भ==

{{reflist|refs=
<ref name="Harris">
{{cite book| last=Harris|first=Joe|author-link = Joe Harris (mathematician)|year=1992|title=Algebraic Geometry - A first course|series=Graduate Texts in Mathematics |volume=133 |publisher= [[Springer Science+Business Media|Springer-Verlag]]| isbn=0-387-97716-3|doi=10.1007/978-1-4757-2189-8}}
</ref>
<ref name=Nagata56>
{{cite journal| doi=10.1215/kjm/1250777138| last1=Nagata | first1=Masayoshi | author1-link=Masayoshi Nagata | title=On the imbedding problem of abstract varieties in projective varieties | mr=0088035 | year=1956 | journal=Memoirs of the College of Science, University of Kyoto. Series A: Mathematics | volume=30 | pages=71–82}}
</ref>
<ref name=Nagata57>
{{cite journal |doi=10.1215/kjm/1250777007 | last1=Nagata | first1=Masayoshi | author1-link=Masayoshi Nagata | title=On the imbeddings of abstract surfaces in projective varieties | mr=0094358 | year=1957 | journal=Memoirs of the College of Science, University of Kyoto. Series A: Mathematics | volume=30 | issue=3 | pages=231–235| s2cid=118328992 }}
</ref>
<ref name="Hartshorne">
{{cite book
 | last = Hartshorne
 | first = Robin
 | author-link = Robin Hartshorne
 | year = 1977
 | title = Algebraic Geometry
 | publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | isbn = 0-387-90244-9
}}
</ref>
}}




=== स्रोत ===
{{refbegin}}
*{{cite book
 | last = Cox
 | first = David
 | author-link = David Cox (mathematician)
 |author2=John Little |author3=Don O'Shea
  | year = 1997
 | title = आदर्श, किस्में और एल्गोरिदम| edition = second
 | publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | isbn = 0-387-94680-2
}}
*{{cite book
 | last = Eisenbud
 | first = David
 | author-link = David Eisenbud
 | year = 1999
 | title = बीजगणितीय ज्यामिति की ओर एक दृष्टिकोण के साथ कम्यूटेटिव बीजगणित| publisher = [[Springer Science+Business Media|Springer-Verlag]]
 | isbn = 0-387-94269-6
}}
* {{Cite web
| last=Milne
| first=James S.
|author-link=James Milne (mathematician)
| title=बीजीय ज्यामिति| year=2008
| url=http://www.jmilne.org/math/CourseNotes/ag.html
| access-date=2009-09-01
}}
* मिल्ने जे., [https://www.jmilne.org/math/xnotes/JVs.pdf जैकोबियन वेरायटीज], अंकगणित ज्यामिति के अध्याय VII के रूप में प्रकाशित (स्टोर्स, कॉन।, 1984), 167–212, स्प्रिंगर, न्यू यॉर्क, 1986।
* {{Cite book| last1=Mumford | first1=David | author1-link=David Mumford | last2=Fogarty | first2=John | last3=Kirwan | first3=Frances | author3-link=Frances Kirwan | title=ज्यामितीय अपरिवर्तनीय सिद्धांत| publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)] | isbn=978-3-540-56963-3 |mr=1304906 | year=1994 | volume=34 |ref={{sfnref|MFK|1994}}}}
* {{cite book |url=http://pi.lib.uchicago.edu/1001/cat/bib/11217270|isbn=978-0-19-154780-5|title=बीजीय ज्यामिति और अंकगणितीय वक्र /|series=Oxford science publications|year=2006|publisher=Oxford University Press}}
{{refend}}



[[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: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|बीजगणितीय विविधता]]