बीजगणितीय विविधता

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

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

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

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

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

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


 * $$Z(S) = \left \{x \in \mathbf{A}^n \mid f(x) = 0 \text{ for all } f\in S \right \}.$$

का एक उपसमुच्चय V $A^{n}$ यदि कुछ S के लिए V = Z(S) तो एक affine बीजीय समुच्चय कहलाता है। एक गैर-रिक्त affine बीजीय सबसेट  V को 'इरेड्यूसिबल' कहा जाता है यदि इसे दो उपसमुच्चय बीजीय उपसमुच्चय के मिलन के रूप में नहीं लिखा जा सकता है। एक इरेड्यूसिबल एफ़िन बीजीय सेट को एफ़िन किस्म भी कहा जाता है। (कई लेखक किसी भी एफ़िन बीजीय सेट, इरेड्यूसिबल या नहीं के संदर्भ में एफ़िन किस्म वाक्यांश का उपयोग करते हैं )

बंद सेटों को ठीक एफ़िन बीजीय सेट घोषित करके एफ़िन किस्मों को प्राकृतिक टोपोलॉजी  दी जा सकती है। इस टोपोलॉजी को ज़ारिस्की टोपोलॉजी कहा जाता है। का एक उपसमुच्चय V दिया है $A^{n}$, हम I(V) को V पर लुप्त होने वाले सभी बहुपद फलनों का आदर्श मानते हैं:


 * $$I(V) = \left \{f \in K[x_1,\ldots,x_n] \mid f(x) = 0 \text{ for all } x\in V \right \}.$$

किसी भी एफ़िन बीजीय सेट V के लिए, V का 'निर्देशांक वलय' या 'संरचना वलय' इस आदर्श द्वारा बहुपद वलय का भागफल वलय  है।

प्रोजेक्टिव किस्में और अर्ध-प्रोजेक्टिव किस्में
होने देना $k$ बीजगणितीय रूप से बंद क्षेत्र हो और चलो $P^{n}$ प्रोजेक्टिव स्पेस की बीजगणितीय ज्यामिति बनें|प्रोजेक्टिव एन-स्पेस ओवर $k$. होने देना $&thinsp;f&thinsp;$ में $k[x_{0}, ..., x_{n}]$ घात d का एक समांगी बहुपद हो। यह मूल्यांकन करने के लिए अच्छी तरह से परिभाषित नहीं है $&thinsp;f&thinsp;$ अंक पर $P^{n}$ सजातीय निर्देशांक  में। हालांकि, क्योंकि $&thinsp;f&thinsp;$ सजातीय है, जिसका अर्थ है कि $&thinsp;f&thinsp; (λx_{0}, ..., λx_{n}) = λ^{d}&thinsp;f&thinsp; (x_{0}, ..., x_{n})$, यह पूछना समझ में आता है कि क्या $&thinsp;f&thinsp;$ एक बिंदु पर गायब हो जाता है $[x_{0} : ... : x_{n}]$. सजातीय बहुपदों के प्रत्येक समुच्चय S के लिए, S के शून्य-पथ को परिभाषित कीजिए कि यह बिंदुओं का समुच्चय है। $P^{n}$ जिस पर एस में कार्य गायब हो जाते हैं:


 * $$Z(S) = \{x \in \mathbf{P}^n \mid f(x) = 0 \text{ for all } f\in S\}.$$

का एक उपसमुच्चय V $P^{n}$ यदि कुछ S के लिए V = Z(S) तो एक प्रक्षेपी बीजीय समुच्चय कहलाता है। एक इरेड्यूसिबल प्रोजेक्टिव बीजीय सेट को प्रोजेक्टिव किस्म कहा जाता है। सभी बीजीय सेटों को बंद करने की घोषणा करके प्रोजेक्टिव किस्मों को ज़ारिस्की टोपोलॉजी से भी लैस किया गया है।

का एक उपसमुच्चय V दिया है $P^{n}$, मान लीजिए I(V) V पर लुप्त होने वाले सभी सजातीय बहुपदों द्वारा उत्पन्न आदर्श है। किसी प्रक्षेपी बीजीय समुच्चय V के लिए, V का 'समान निर्देशांक वलय' इस आदर्श द्वारा बहुपद वलय का भागफल है। एक अर्ध-प्रोजेक्टिव किस्म  एक प्रोजेक्टिव किस्म का ज़ारिस्की टोपोलॉजी उपसमुच्चय है। ध्यान दें कि प्रत्येक एफ़िन किस्म अर्ध-प्रोजेक्टिव है। यह भी ध्यान दें कि एफ़िन किस्म में बीजीय सेट का पूरक एक अर्ध-प्रोजेक्टिव किस्म है; एफ़िन किस्मों के संदर्भ में, इस तरह की अर्ध-प्रोजेक्टिव किस्म को आमतौर पर एक किस्म नहीं बल्कि एक रचनात्मक सेट (टोपोलॉजी) कहा जाता है।

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

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

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

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

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

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


 * $$f(x, y) = x+y-1.$$

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


 * $$Z(f) = \{ (x,1-x) \in \mathbf{C}^2 \}.$$

इस प्रकार उपसमुच्चय $V = Z(&thinsp;f&thinsp;)$ ए का2 एक बीजीय किस्म है#Affine किस्म। सेट V खाली नहीं है। यह अपरिवर्तनीय है, क्योंकि इसे दो उचित बीजीय उपसमुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है। इस प्रकार यह एक एफाइन बीजीय किस्म है।

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


 * $$g(x, y) = x^2 + y^2 - 1.$$

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

उदाहरण 3
निम्नलिखित उदाहरण न तो ऊनविम पृष्ठ  है, न ही  सदिश स्थल, न ही एक बिंदु। चलो ए3 सी के ऊपर त्रि-आयामी एफ़िन स्पेस बनें। बिंदुओं का सेट (x, x)2, x3) के लिए x in 'C' एक बीजीय किस्म है, और अधिक सटीक रूप से एक बीजीय वक्र है जो किसी भी तल में निहित नहीं है। यह ऊपर की आकृति में दिखाया गया मुड़ घन है। इसे समीकरणों द्वारा परिभाषित किया जा सकता है
 * $$\begin{align}

y-x^2&=0\\ z-x^3&=0 \end{align}$$ इस बीजगणितीय समुच्चय की अप्रासंगिकता को एक प्रमाण की आवश्यकता है। इस मामले में एक दृष्टिकोण यह जांचना है कि प्रक्षेपण (x, y, z) → (x, y) समाधान के सेट पर इंजेक्शन समारोह  है और इसकी छवि एक अपरिवर्तनीय विमान वक्र है।

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

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

अर्थात्, आव्यूह A का समुच्चय ऐसा है कि $$t \det(A) = 1$$ एक समाधान है। यह बीजगणितीय रूप से सबसे अच्छी तरह से देखा जाता है: का निर्देशांक वलय $$\operatorname{GL}_n(k)$$ स्थानीयकरण है (कम्यूटेटिव बीजगणित) $$k[x_{ij} \mid 0 \le i, j \le n][{\det}^{-1}]$$, जिसे से पहचाना जा सकता है $$k[x_{ij}, t \mid 0 \le i, j \le n]/(t \det - 1)$$.

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

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

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

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


 * $$y^2 = x^3 - x.$$

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


 * $$y^2z = x^3 - xz^2,$$

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

उदाहरण 2: ग्रासमैनियन
मान लीजिए V एक परिमित-विमीय सदिश समष्टि है। ग्रासमैनियन किस्म  जीn(वी) वी के सभी एन-डायमेंशनल सबस्पेस का सेट है। यह एक प्रोजेक्टिव किस्म है: इसे प्लकर एम्बेडिंग के माध्यम से प्रोजेक्टिव स्पेस में एम्बेड किया गया है:


 * $$\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}$$

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

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

जैकोबियन किस्म
मान लीजिए C एक चिकना पूर्ण वक्र है और $$\operatorname{Pic}(C)$$ इसका पिकार्ड समूह ; यानी, सी पर लाइन बंडलों के आइसोमोर्फिज्म वर्गों का समूह। चूंकि सी चिकना है, $$\operatorname{Pic}(C)$$ C के  भाजक वर्ग समूह  के रूप में पहचाना जा सकता है और इस प्रकार समरूपता की डिग्री होती है $$\operatorname{deg} : \operatorname{Pic}(C) \to \mathbb{Z}$$. जैकोबियन किस्म $$\operatorname{Jac}(C)$$ सी का इस डिग्री मानचित्र का कर्नेल है; यानी, डिग्री शून्य के सी पर भाजक वर्गों का समूह। एक जैकोबियन किस्म एक  अबेलियन किस्म  का एक उदाहरण है, एक पूरी किस्म जिस पर एक संगत  एबेलियन समूह  संरचना है (नाम एबेलियन इसलिए नहीं है क्योंकि यह एक एबेलियन समूह है)। एक एबेलियन किस्म प्रक्षेपी हो जाती है (बीजीय सेटिंग में  थीटा समारोह  एक एम्बेडिंग देता है); इस प्रकार, $$\operatorname{Jac}(C)$$ एक प्रक्षेपी किस्म है। करने के लिए स्पर्शरेखा स्थान $$\operatorname{Jac}(C)$$ पहचान तत्व पर स्वाभाविक रूप से आइसोमॉर्फिक है $$\operatorname{H}^1(C, \mathcal{O}_C);$$ इसलिए, का आयाम $$\operatorname{Jac}(C)$$ का वंश है $$C$$.

एक बिंदु ठीक करें $$P_0$$ पर $$C$$. प्रत्येक पूर्णांक के लिए $$n > 0$$, एक प्राकृतिक रूपवाद है
 * $$C^n \to \operatorname{Jac}(C), \, (P_1, \dots, P_r) \mapsto [P_1 + \cdots + P_n - nP_0]$$

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

मोडुली किस्में
एक पूर्णांक दिया गया $$g \ge 0$$, जीनस के चिकने पूर्ण वक्रों के समरूपता वर्गों का समुच्चय $$g$$ जीनस के वक्रों का मॉड्यूल कहा जाता है $$g$$ और के रूप में निरूपित किया जाता है $$\mathfrak{M}_g$$. यह दिखाने के कुछ तरीके हैं कि इस मॉड्यूल में संभावित रूप से कमजोर बीजीय किस्म की संरचना है; उदाहरण के लिए, एक तरीका ज्यामितीय अपरिवर्तनीय सिद्धांत  का उपयोग करना है जो सुनिश्चित करता है कि आइसोमोर्फिज्म वर्गों के एक सेट में एक (कम करने योग्य) अर्ध-प्रोजेक्टिव किस्म संरचना है। मोडुली जैसे कि निश्चित जीनस के वक्रों के मॉड्यूल आमतौर पर एक प्रक्षेपी किस्म नहीं होते हैं; मोटे तौर पर इसका कारण यह है कि एक चिकने वक्र का अध: पतन (सीमा) गैर-चिकना या कम करने योग्य होता है। यह जीनस के एक  स्थिर वक्र  की धारणा की ओर जाता है $$g \ge 2$$, एक गैर-जरूरी-चिकनी पूर्ण वक्र जिसमें कोई बहुत खराब विलक्षणता नहीं है और इतना बड़ा ऑटोमोर्फिज्म समूह नहीं है। स्थिर वक्रों का मापांक $$\overline{\mathfrak{M}}_g$$, जीनस के स्थिर वक्रों के समरूपता वर्गों का समुच्चय $$g \ge 2$$, तब एक प्रक्षेपी किस्म है जिसमें $$\mathfrak{M}_g$$ एक खुले उपसमुच्चय के रूप में। तब से $$\overline{\mathfrak{M}}_g$$ सीमा बिंदुओं को जोड़कर प्राप्त किया जाता है $$\mathfrak{M}_g$$, $$\overline{\mathfrak{M}}_g$$ बोलचाल की भाषा में का एक  संघनन (बीजगणितीय ज्यामिति)  कहा जाता है $$\mathfrak{M}_g$$. ऐतिहासिक रूप से ममफोर्ड और डेलिग्ने का एक पेपर दिखाने के लिए एक स्थिर वक्र की धारणा पेश की $$\mathfrak{M}_g$$ जब $$g \ge 2$$.

वक्रों का मॉड्यूल एक विशिष्ट स्थिति का उदाहरण देता है: अच्छी वस्तुओं का एक मॉड्यूल प्रोजेक्टिव नहीं होता बल्कि केवल अर्ध-प्रोजेक्टिव होता है। एक अन्य मामला वक्र पर वेक्टर बंडलों का एक मॉड्यूल है। यहाँ, एक चिकने पूर्ण वक्र पर स्थिर वेक्टर बंडल  और अर्ध-स्थिर वेक्टर बंडल की धारणाएँ हैं $$C$$. किसी दिए गए रैंक के सेमीस्टेबल वेक्टर बंडलों का मॉड्यूलि $$n$$ और दी गई डिग्री $$d$$ (बंडल के निर्धारक की डिग्री) तब एक प्रक्षेपी किस्म है जिसे के रूप में दर्शाया गया है $$SU_C(n, d)$$, जिसमें सेट शामिल है $$U_C(n, d)$$ रैंक के स्थिर वेक्टर बंडलों के आइसोमोर्फिज्म वर्गों की $$n$$ और डिग्री $$d$$ एक खुले उपसमुच्चय के रूप में। चूंकि एक लाइन बंडल स्थिर है, इस तरह के एक मोडुली जैकोबियन किस्म का एक सामान्यीकरण है $$C$$.

सामान्य तौर पर, वक्रों के मोडुली के मामले के विपरीत, एक मोडुली का एक कॉम्पैक्टीफिकेशन अद्वितीय नहीं होना चाहिए और कुछ मामलों में, अलग-अलग तरीकों का उपयोग करके और अलग-अलग लेखकों द्वारा अलग-अलग गैर-समतुल्य कॉम्पैक्टिफिकेशन का निर्माण किया जाता है। एक उदाहरण ओवर $$\mathbb{C}$$ संकुचित करने की समस्या है $$D / \Gamma$$, एक परिबद्ध सममित डोमेन का भागफल $$D$$ अंकगणित असतत समूह की एक क्रिया द्वारा $$\Gamma$$. का एक मूल उदाहरण $$D / \Gamma$$ कब है $$D = \mathfrak{H}_g$$, सीगल का ऊपरी आधा स्थान और $$\Gamma$$ अनुरूपता (समूह सिद्धांत)  के साथ $$\operatorname{Sp}(2g, \mathbb{Z})$$; उस मामले में, $$D / \Gamma$$ moduli. के रूप में एक व्याख्या है $$\mathfrak{A}_g$$ आयाम की मुख्य रूप से ध्रुवीकृत जटिल एबेलियन किस्मों की $$g$$ (एक प्रमुख ध्रुवीकरण अपने दोहरे के साथ एक अबेलियन किस्म की पहचान करता है)। टोरिक किस्मों (या टोरस एम्बेडिंग) का सिद्धांत कॉम्पैक्ट करने का एक तरीका देता है $$D / \Gamma$$, इसका एक टॉरॉयडल संघनन ।  लेकिन संकुचित करने के अन्य तरीके भी हैं $$D / \Gamma$$; उदाहरण के लिए, का  न्यूनतम संघनन  है $$D / \Gamma$$ बेली और बोरेल के कारण: यह मॉड्यूलर रूपों द्वारा गठित  परियोजना निर्माण  है (सीगल मामले में, सीगल  मॉड्यूलर फॉर्म  ) कॉम्पैक्टीफिकेशन की गैर-विशिष्टता उन कॉम्पैक्टिफिकेशन की मॉड्यूली व्याख्याओं की कमी के कारण है; यानी, वे (श्रेणी-सिद्धांत अर्थ में) किसी भी प्राकृतिक मोडुली समस्या का प्रतिनिधित्व नहीं करते हैं या, सटीक भाषा में, कोई प्राकृतिक  मोडुली स्टैक  नहीं है जो स्थिर वक्रों के मोडुलि स्टैक का एक एनालॉग होगा।

गैर-एफ़िन और गैर-प्रोजेक्टिव उदाहरण
एक बीजीय किस्म न तो एफ़िन और न ही प्रक्षेपी हो सकती है। एक उदाहरण देने के लिए, आइए X = P1 × A1 तथा p: X → A1 प्रक्षेपण। यह एक बीजीय किस्म है क्योंकि यह किस्मों का उत्पाद है। P. के बाद से यह affine नहीं है1 X की एक बंद उप-प्रजाति है (p के शून्य ठिकाने के रूप में), लेकिन एक एफ़िन किस्म में बंद उप-प्रजाति के रूप में सकारात्मक आयाम की प्रक्षेपी विविधता नहीं हो सकती है। यह प्रक्षेप्य भी नहीं है, क्योंकि एक्स पर एक गैर-स्थिर नियमित कार्य है; अर्थात्, पी।

गैर-एफ़िन गैर-प्रोजेक्टिव किस्म का एक अन्य उदाहरण है X = A2 − (0, 0) (सीएफ..)

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

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

मूल परिणाम

 * एक एफ़िन बीजीय सेट वी एक किस्म है यदि और केवल अगर I(V) एक प्रमुख आदर्श है; समान रूप से, V एक किस्म है यदि और केवल यदि इसकी निर्देशांक वलय a . है integral domain.
 * प्रत्येक गैर-रिक्त affine बीजगणितीय सेट को विशिष्ट रूप से बीजीय किस्मों के एक परिमित संघ के रूप में लिखा जा सकता है (जहां अपघटन में कोई भी किस्म किसी अन्य की उप-विविधता नहीं है)।
 * एक किस्म के आयाम को विभिन्न समकक्ष तरीकों से परिभाषित किया जा सकता है। विवरण के लिए बीजीय किस्म का आयाम देखें।
 * सूक्ष्म रूप से कई बीजीय किस्मों (बीजीय रूप से बंद क्षेत्र पर) का एक उत्पाद एक बीजीय किस्म है। affine किस्मों का एक परिमित उत्पाद affine है और प्रक्षेपी किस्मों का एक परिमित उत्पाद प्रक्षेप्य होता है।

बीजीय किस्मों का समरूपता
होने देना $V_{1}, V_{2}$ बीजगणितीय किस्में हों। हम कहते हैं $V_{1}$ तथा $V_{2}$ ग्राफ समरूपता  हैं, और लिखिए $V_{1} ≅ V_{2}$, यदि नियमित कार्य हैं $φ : V_{1} → V_{2}$ तथा $ψ : V_{2} → V_{1}$ ऐसा है कि  समारोह (गणित)  $ψ ∘ φ$ तथा $φ ∘ ψ$ पहचान कार्य चालू हैं $V_{1}$ तथा $V_{2}$ क्रमश।

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

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

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

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

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

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

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

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

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

यह भी देखें

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

स्रोत

 * मिल्ने जे., जैकोबियन वेरायटीज, अंकगणित ज्यामिति के अध्याय VII के रूप में प्रकाशित (स्टोर्स, कॉन।, 1984), 167–212, स्प्रिंगर, न्यू यॉर्क, 1986।
 * मिल्ने जे., जैकोबियन वेरायटीज, अंकगणित ज्यामिति के अध्याय VII के रूप में प्रकाशित (स्टोर्स, कॉन।, 1984), 167–212, स्प्रिंगर, न्यू यॉर्क, 1986।
 * मिल्ने जे., जैकोबियन वेरायटीज, अंकगणित ज्यामिति के अध्याय VII के रूप में प्रकाशित (स्टोर्स, कॉन।, 1984), 167–212, स्प्रिंगर, न्यू यॉर्क, 1986।
 * मिल्ने जे., जैकोबियन वेरायटीज, अंकगणित ज्यामिति के अध्याय VII के रूप में प्रकाशित (स्टोर्स, कॉन।, 1984), 167–212, स्प्रिंगर, न्यू यॉर्क, 1986।

वर्ग:बीजगणितीय ज्यामिति श्रेणी:बीजीय किस्में