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

From Vigyanwiki
(Created page with "{{Short description|Generalization of a complex manifold which allows the use of singularities}} गणित में, और विशेष रूप से विभे...")
 
 
(5 intermediate revisions by 2 users not shown)
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>




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


== नोट ==
== नोट ==
Line 66: Line 66:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 24/04/2023]]
[[Category:Created On 24/04/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 07:18, 20 October 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

संदर्भ


बाहरी संबंध