सम्मिश्र विश्लेषणात्मक विविधता: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Generalization of a complex manifold which allows the use of singularities}} गणित में, और विशेष रूप से विभे...")
 
No edit summary
Line 1: Line 1:
{{Short description|Generalization of a complex manifold which allows the use of singularities}}
{{Short description|Generalization of a complex manifold which allows the use of singularities}}
गणित में, और विशेष रूप से विभेदक ज्यामिति और [[जटिल ज्यामिति]] में, एक जटिल विश्लेषणात्मक विविधता <ref group=note>Complex analytic variety (or just variety) is sometimes required to be irreducible  
गणित में, विशेष रूप से विभेदक ज्यामिति और [[जटिल ज्यामिति]] में, एक जटिल विश्लेषणात्मक विविधता <ref group=note>Complex analytic variety (or just variety) is sometimes required to be irreducible  
and (or) [[Reduced ring|reduced]]</ref> या जटिल विश्लेषणात्मक स्थान एक [[जटिल कई गुना]] का सामान्यीकरण है जो [[विलक्षणता सिद्धांत]] की उपस्थिति की अनुमति देता है। जटिल विश्लेषणात्मक किस्में स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय मॉडल स्थानों के लिए स्थानीय रूप से आइसोमोर्फिक हैं, जहां एक स्थानीय मॉडल स्थान [[होलोमॉर्फिक फ़ंक्शन]] के परिमित सेट के लुप्त होने वाले स्थान का एक खुला उपसमुच्चय है।
and (or) [[Reduced ring|reduced]]</ref> या जटिल विश्लेषणात्मक स्थान एक [[जटिल कई गुना]] का सामान्यीकरण है जो [[विलक्षणता सिद्धांत]] की उपस्थिति की अनुमति देता है। जटिल विश्लेषणात्मक किस्में स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय मॉडल स्थानों के लिए स्थानीय रूप से आइसोमोर्फिक हैं, जहां एक स्थानीय मॉडल स्थान [[होलोमॉर्फिक फ़ंक्शन]] के परिमित सेट के लुप्त होने वाले स्थान का एक खुला उपसमुच्चय है।


== परिभाषा ==
== परिभाषा ==


मूल्य के साथ एक स्थलीय स्थान पर निरंतर [[शीफ (गणित)]] को निरूपित करें <math>\mathbb{C}</math> द्वारा <math>\underline{\mathbb{C}}</math>. <math>\mathbb{C}</math>-अंतरिक्ष एक स्थानीय रूप से चक्राकार स्थान है <math>(X, \mathcal{O}_X)</math>, जिसकी [[संरचना शीफ]] ​​एक फील्ड ओवर पर एक बीजगणित है <math>\underline{\mathbb{C}}</math>.
मूल्य के साथ एक स्थलीय स्थान पर निरंतर [[शीफ (गणित)]] को निरूपित करें <math>\mathbb{C}</math> द्वारा <math>\underline{\mathbb{C}}</math>. <math>\mathbb{C}</math>-अंतरिक्ष एक स्थानीय रूप से चक्राकार स्थान <math>(X, \mathcal{O}_X)</math> है , जिसकी [[संरचना शीफ]] ​​एक फील्ड ओवर पर एक बीजगणित है <math>\underline{\mathbb{C}}</math>.


एक खुला उपसमुच्चय चुनें <math>U</math> कुछ [[जटिल एफ़िन स्पेस]] की <math>\mathbb{C}^n</math>, और सूक्ष्म रूप से कई होलोमोर्फिक कार्यों को ठीक करें <math>f_1,\dots,f_k</math> में <math>U</math>. होने देना <math>X=V(f_1,\dots,f_k)</math> इन होलोमॉर्फिक कार्यों का सामान्य लुप्त हो जाना, अर्थात <math>X=\{x\mid f_1(x)=\cdots=f_k(x)=0\}</math>. अंगूठियों के एक शीफ को परिभाषित करें <math>X</math> जैसे भी हो <math>\mathcal{O}_X</math> पर प्रतिबंध हो <math>X</math> का <math>\mathcal{O}_U/(f_1, \ldots, f_k)</math>, कहाँ <math>\mathcal{O}_U</math> होलोमॉर्फिक कार्यों का शीफ ​​है <math>U</math>. फिर स्थानीय बज उठा <math>\mathbb{C}</math>-अंतरिक्ष <math>(X, \mathcal{O}_X)</math> एक स्थानीय मॉडल स्थान है।
एक खुला उपसमुच्चय चुनें <math>U</math> कुछ [[जटिल एफ़िन स्पेस]] की <math>\mathbb{C}^n</math>, और सूक्ष्म रूप से कई होलोमोर्फिक कार्यों को ठीक करें <math>f_1,\dots,f_k</math> में <math>U</math>. होने देना <math>X=V(f_1,\dots,f_k)</math> इन होलोमॉर्फिक कार्यों का सामान्य लुप्त हो जाना, अर्थात <math>X=\{x\mid f_1(x)=\cdots=f_k(x)=0\}</math>. अंगूठियों के एक शीफ को परिभाषित करें <math>X</math> जैसे भी हो <math>\mathcal{O}_X</math> पर प्रतिबंध हो <math>X</math> का <math>\mathcal{O}_U/(f_1, \ldots, f_k)</math>, जहां <math>\mathcal{O}_U</math> होलोमॉर्फिक कार्यों का शीफ ​​है <math>U</math>. फिर स्थानीय बज उठा <math>\mathbb{C}</math>-अंतरिक्ष <math>(X, \mathcal{O}_X)</math> एक स्थानीय मॉडल स्थान है।


एक जटिल विश्लेषणात्मक विविधता स्थानीय रूप से चक्राकार है <math>\mathbb{C}</math>-अंतरिक्ष <math>(X, \mathcal{O}_X)</math> जो स्थानीय मॉडल स्थान के लिए स्थानीय रूप से आइसोमोर्फिक है।
एक जटिल विश्लेषणात्मक विविधता स्थानीय रूप से चक्राकार है <math>\mathbb{C}</math>-अंतरिक्ष <math>(X, \mathcal{O}_X)</math> जो स्थानीय मॉडल स्थान के लिए स्थानीय रूप से आइसोमोर्फिक है।


जटिल विश्लेषणात्मक किस्मों के morphisms को अंतर्निहित स्थानीय रूप से चक्राकार स्थानों के morphisms के रूप में परिभाषित किया गया है, उन्हें होलोमोर्फिक मानचित्र भी कहा जाता है। एक संरचना शीफ ​​में नीलपोटेंट तत्व हो सकता है,{{sfn|Hartshorne|1977|p=439}}
जटिल विश्लेषणात्मक किस्मों के मॉर्फिज़म्स को अंतर्निहित स्थानीय रूप से चक्राकार स्थानों के मॉर्फिज़म्स के रूप में परिभाषित किया गया है, उन्हें होलोमोर्फिक मानचित्र भी कहा जाता है। एक संरचना शीफ ​​में नीलपोटेंट तत्व हो सकता है,{{sfn|Hartshorne|1977|p=439}}
और यह भी, जब जटिल विश्लेषणात्मक स्थान जिसका संरचना शीफ ​​कम हो जाता है, तो जटिल विश्लेषणात्मक स्थान कम हो जाता है, अर्थात जटिल विश्लेषणात्मक स्थान कम नहीं हो सकता है।
और यह भी, जब जटिल विश्लेषणात्मक स्थान जिसका संरचना शीफ ​​कम हो जाता है, तो जटिल विश्लेषणात्मक स्थान कम हो जाता है, अर्थात जटिल विश्लेषणात्मक स्थान कम नहीं हो सकता है।


एक संबद्ध जटिल विश्लेषणात्मक स्थान (विविधता) <math>X_h</math> इस प्रकार कि;{{sfn|Hartshorne|1977|p=439}}
एक संबद्ध जटिल विश्लेषणात्मक स्थान (विविधता) <math>X_h</math> इस प्रकार कि;{{sfn|Hartshorne|1977|p=439}}


: मान लीजिए कि X परिमित प्रकार की [[योजना (गणित)]] है <math>\mathbb{C}</math>, और एक्स को ओपन एफाइन सबसेट के साथ कवर करें <math>Y_i = \operatorname{Spec} A_i</math> (<math>X =\cup Y_i</math>) ([[एक अंगूठी का स्पेक्ट्रम]])। फिर प्रत्येक <math>A_i</math> परिमित प्रकार का एक बीजगणित है <math>\mathbb{C}</math>, और <math>A_i \simeq \mathbb{C}[z_1, \dots, z_n]/(f_1,\dots, f_m)</math>. कहाँ <math>f_1,\dots, f_m</math> में बहुपद हैं <math>z_1, \dots, z_n</math>, जिसे एक होलोमोर्फिक फ़ंक्शन के रूप में माना जा सकता है <math>\mathbb{C}</math>. इसलिए, समुच्चय का उनका उभयनिष्ठ शून्य जटिल विश्लेषणात्मक उपसमष्टि है <math>(Y_i)_h \subseteq \mathbb{C}</math>. यहां, [[ग्लूइंग स्कीम]] द्वारा प्राप्त स्कीम एक्स सेट के डेटा को स्कीम करता है <math>Y_i</math>, और फिर उसी डेटा का उपयोग जटिल विश्लेषणात्मक स्थान को चिपकाने के लिए किया जा सकता है <math>(Y_i)_h</math> एक जटिल विश्लेषणात्मक स्थान में <math>X_h</math>, इसलिए हम कॉल करते हैं <math>X_h</math> एक्स के साथ एक संबद्ध जटिल विश्लेषणात्मक स्थान। जटिल विश्लेषणात्मक स्थान एक्स को कम किया जाता है यदि और केवल यदि संबंधित जटिल विश्लेषणात्मक स्थान <math>X_h</math> कम किया हुआ।<ref>{{harvtxt|Grothendieck|Raynaud|2002}} (SGA 1 §XII. Proposition 2.1.)</ref>
: यदि  X परिमित प्रकार की [[योजना (गणित)]] है जो <math>\mathbb{C}</math>, पर सीमित है, और X को खुले अफीन उपसमूह <math>Y_i = \operatorname{Spec} A_i</math> से ढंका गया है, जहां (<math>X =\cup Y_i</math>) ([[एक अंगूठी का स्पेक्ट्रम]])। तब प्रत्येक <math>A_i</math> परिमित प्रकार का एक बीजगणित है जो <math>\mathbb{C}</math>, पर सीमित है, और <math>A_i \simeq \mathbb{C}[z_1, \dots, z_n]/(f_1,\dots, f_m)</math>. है, जहां <math>f_1,\dots, f_m</math> में बहुपद हैं जो कि <math>z_1, \dots, z_n</math>, जिसे एक होलोमोर्फिक फ़ंक्शन के रूप में माना जा सकता है <math>\mathbb{C}</math>. पर एक वैश्विक एनालिटिक फ़ंक्शन के रूप में देखा जा सकता है। इसलिए, इनके सामान्य शून्य स्थान <math>(Y_i)_h \subseteq \mathbb{C}</math>. है, जहां X के लिए एक संबंधित बीजगणितीय उपग्रह <math>Y_i</math>, का नाम दिया जा सकता है। वही डेटा X को ग्लू करने से प्राप्त किया गया है, और फिर उसी डेटा का उपयोग करके बीजगणितीय उपग्रह <math>(Y_i)_h</math> को ग्लू किया जा सकता है जो एक बीजगणितीय उपग्रह <math>X_h</math> को मिलता है, इसलिए हम <math>X_h</math> के संबद्ध बीजगणितीय उपग्रह कहते हैं सम्पर्कित ज्यामितिक गणितीय स्थान X घटित है यदि और केवल यदि संबंधित ज्यामितिक गणितीय स्थान <math>X_h</math> घटित है।<ref>{{harvtxt|Grothendieck|Raynaud|2002}} (SGA 1 §XII. Proposition 2.1.)</ref>




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



Revision as of 20:23, 26 April 2023

गणित में, विशेष रूप से विभेदक ज्यामिति और जटिल ज्यामिति में, एक जटिल विश्लेषणात्मक विविधता [note 1] या जटिल विश्लेषणात्मक स्थान एक जटिल कई गुना का सामान्यीकरण है जो विलक्षणता सिद्धांत की उपस्थिति की अनुमति देता है। जटिल विश्लेषणात्मक किस्में स्थानीय रूप से चक्राकार स्थान हैं जो स्थानीय मॉडल स्थानों के लिए स्थानीय रूप से आइसोमोर्फिक हैं, जहां एक स्थानीय मॉडल स्थान होलोमॉर्फिक फ़ंक्शन के परिमित सेट के लुप्त होने वाले स्थान का एक खुला उपसमुच्चय है।

परिभाषा

मूल्य के साथ एक स्थलीय स्थान पर निरंतर शीफ (गणित) को निरूपित करें द्वारा . -अंतरिक्ष एक स्थानीय रूप से चक्राकार स्थान है , जिसकी संरचना शीफ ​​एक फील्ड ओवर पर एक बीजगणित है .

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

एक जटिल विश्लेषणात्मक विविधता स्थानीय रूप से चक्राकार है -अंतरिक्ष जो स्थानीय मॉडल स्थान के लिए स्थानीय रूप से आइसोमोर्फिक है।

जटिल विश्लेषणात्मक किस्मों के मॉर्फिज़म्स को अंतर्निहित स्थानीय रूप से चक्राकार स्थानों के मॉर्फिज़म्स के रूप में परिभाषित किया गया है, उन्हें होलोमोर्फिक मानचित्र भी कहा जाता है। एक संरचना शीफ ​​में नीलपोटेंट तत्व हो सकता है,[1] और यह भी, जब जटिल विश्लेषणात्मक स्थान जिसका संरचना शीफ ​​कम हो जाता है, तो जटिल विश्लेषणात्मक स्थान कम हो जाता है, अर्थात जटिल विश्लेषणात्मक स्थान कम नहीं हो सकता है।

एक संबद्ध जटिल विश्लेषणात्मक स्थान (विविधता) इस प्रकार कि;[1]

यदि X परिमित प्रकार की योजना (गणित) है जो , पर सीमित है, और X को खुले अफीन उपसमूह से ढंका गया है, जहां () (एक अंगूठी का स्पेक्ट्रम)। तब प्रत्येक परिमित प्रकार का एक बीजगणित है जो , पर सीमित है, और . है, जहां में बहुपद हैं जो कि , जिसे एक होलोमोर्फिक फ़ंक्शन के रूप में माना जा सकता है . पर एक वैश्विक एनालिटिक फ़ंक्शन के रूप में देखा जा सकता है। इसलिए, इनके सामान्य शून्य स्थान . है, जहां X के लिए एक संबंधित बीजगणितीय उपग्रह , का नाम दिया जा सकता है। वही डेटा X को ग्लू करने से प्राप्त किया गया है, और फिर उसी डेटा का उपयोग करके बीजगणितीय उपग्रह को ग्लू किया जा सकता है जो एक बीजगणितीय उपग्रह को मिलता है, इसलिए हम के संबद्ध बीजगणितीय उपग्रह कहते हैं सम्पर्कित ज्यामितिक गणितीय स्थान X घटित है यदि और केवल यदि संबंधित ज्यामितिक गणितीय स्थान घटित है।[2]


यह भी देखें

नोट

  1. 1.0 1.1 Hartshorne 1977, p. 439.
  2. Grothendieck & Raynaud (2002) (SGA 1 §XII. Proposition 2.1.)

एनोटेशन

  1. Complex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced

संदर्भ


बाहरी संबंध