निर्माण योग्य सेट (टोपोलॉजी): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{For|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}} | {{For|एक गोडेल रचनात्मक सेट|निर्माण योग्य ब्रह्मांड}} | ||
[[टोपोलॉजी]] में, '''रचनात्मक | [[टोपोलॉजी]] में, '''रचनात्मक समुच्चय''' एक [[टोपोलॉजिकल स्पेस]] के सबसमुच्चय का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से [[बीजगणितीय ज्यामिति]] और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में ''शेवेल्ली के प्रमेय'' के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक रचनात्मक समुच्चय की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः [[योजना (गणित)]]) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए रचनात्मक है। | ||
इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) निर्माण योग्य है। | इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) निर्माण योग्य है। | ||
बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक | बीजगणितीय ज्यामिति और [[इंटरसेक्शन कोहोमोलॉजी]] में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक समुच्चय भी सम्मिलित होते हैं। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक रचनात्मक | एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक रचनात्मक समुच्चय स्थानीय रूप से [[बंद सेट|संवृत समुच्चयों]] का एक सीमित [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन (समुच्चय सिद्धांत)]] है।) | ||
चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है: | चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है: | ||
Line 16: | Line 16: | ||
एक उपसमुच्चय <math>Z\subset X</math> स्थानीय रूप से निर्माण योग्य है यदि <math>X</math> का एक [[कवर (टोपोलॉजी)]] <math>(U_i)_{i\in I}</math> है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक <math>Z\cap U_i</math> <math>U_i</math> का एक रचनात्मक उपसमुच्चय है।<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14}}</ref><ref>{{Cite web|title=Definition 5.15.1 (tag 005G)|url=https://stacks.math.columbia.edu/tag/005G|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref> | एक उपसमुच्चय <math>Z\subset X</math> स्थानीय रूप से निर्माण योग्य है यदि <math>X</math> का एक [[कवर (टोपोलॉजी)]] <math>(U_i)_{i\in I}</math> है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक <math>Z\cap U_i</math> <math>U_i</math> का एक रचनात्मक उपसमुच्चय है।<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14}}</ref><ref>{{Cite web|title=Definition 5.15.1 (tag 005G)|url=https://stacks.math.columbia.edu/tag/005G|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref> | ||
समान रूप से टोपोलॉजिकल स्पेस के रचनात्मक उपसमुच्चय <math>X</math> सबसे छोटा संग्रह हैं <math>\mathfrak{C}</math> के उपसमुच्चय <math>X</math> इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें | समान रूप से टोपोलॉजिकल स्पेस के रचनात्मक उपसमुच्चय <math>X</math> सबसे छोटा संग्रह हैं <math>\mathfrak{C}</math> के उपसमुच्चय <math>X</math> इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें समुच्चय के सभी [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, रचनात्मक समुच्चय रेट्रोकॉम्पैक्ट ओपन सबसमुच्चय द्वारा उत्पन्न बूलियन बीजगणित हैं। | ||
[[स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस]] में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Sect. (9.1), p. 12}}</ref> और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी [[बीजगणितीय विविधता]] सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं। | [[स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस]] में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,<ref>{{harvnb|Grothendieck|Dieudonné|1961|loc= Ch. '''0'''<sub>III</sub>, Sect. (9.1), p. 12}}</ref> और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी [[बीजगणितीय विविधता]] सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं। | ||
किसी भी (आवश्यक नहीं कि [[नोथेरियन स्थान]]) टोपोलॉजिकल स्पेस में, प्रत्येक रचनात्मक | किसी भी (आवश्यक नहीं कि [[नोथेरियन स्थान]]) टोपोलॉजिकल स्पेस में, प्रत्येक रचनात्मक समुच्चय में इसके संवृत होने का एक सघन समुच्चय विवृत उपसमुच्चय होता है।<ref>Jinpeng An (2012). [https://doi.org/10.1007%2Fs10711-011-9603-2 "Rigid geometric structures, isometric actions, and algebraic quotients"]. Geom. Dedicata '''157''': 153–185.</ref> | ||
शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और [[ ढेर परियोजना |शीफ परियोजना]] के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में रचनात्मक | शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और [[ ढेर परियोजना |शीफ परियोजना]] के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में रचनात्मक समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से रचनात्मक कहा जाता है जबकि रचनात्मक शब्द उपरोक्त स्थानीय रूप से रचनात्मक कहे जाने वाले के लिए आरक्षित है। <ref>{{harvnb|Grothendieck|Dieudonné|1971|loc= Ch. '''0'''<sub>I</sub>, Définitions (2.3.1), (2.3.2) and (2.3.10), pp. 55-57}}</ref> | ||
==शेवेल्ली का प्रमेय== | ==शेवेल्ली का प्रमेय== | ||
बीजगणितीय ज्यामिति में रचनात्मक | बीजगणितीय ज्यामिति में रचनात्मक समुच्चयों के महत्व का एक प्रमुख कारण यह है कि (स्थानीय रूप से) रचनात्मक समुच्चय की [[छवि (गणित)]] मानचित्रों (या समरूपता) के एक बड़े वर्ग के लिए भी (स्थानीय रूप से) रचनात्मक होती है। मुख्य परिणाम यह है: | ||
'''शेवेल्ली का प्रमेय-''' यदि <math>f: X \to Y</math> योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से रचनात्मक उपसमुच्चय है, तो <math>f(Z)</math> भी <math>Y</math> में स्थानीय रूप से निर्माण योग्य है।<ref>{{harvnb|Grothendieck|Dieudonné|1964|loc= Ch. '''I''', Théorème (1.8.4), p. 239.}}</ref><ref>{{Cite web|title=Theorem 29.22.3 (Chevalley's Theorem) (tag 054K) | url=https://stacks.math.columbia.edu/tag/054K|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref><ref>{{harvnb|Grothendieck|Dieudonné|1971|loc= Ch. '''I''', Théorème (7.1.4), p. 329.}}</ref> | '''शेवेल्ली का प्रमेय-''' यदि <math>f: X \to Y</math> योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से रचनात्मक उपसमुच्चय है, तो <math>f(Z)</math> भी <math>Y</math> में स्थानीय रूप से निर्माण योग्य है।<ref>{{harvnb|Grothendieck|Dieudonné|1964|loc= Ch. '''I''', Théorème (1.8.4), p. 239.}}</ref><ref>{{Cite web|title=Theorem 29.22.3 (Chevalley's Theorem) (tag 054K) | url=https://stacks.math.columbia.edu/tag/054K|access-date=2022-10-04|website=stacks.math.columbia.edu}}</ref><ref>{{harvnb|Grothendieck|Dieudonné|1971|loc= Ch. '''I''', Théorème (7.1.4), p. 329.}}</ref> | ||
विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक रचनात्मक | विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक रचनात्मक समुच्चय होता है। उदाहरण के लिए, मानचित्र <math>\mathbf A^2 \rightarrow \mathbf A^2</math> वह भेजता है <math>(x,y)</math> को <math>(x,xy)</math> छवि समुच्चय <math>\{ x \neq 0 \} \cup \{ x=y=0 \}</math> है, जो विविधता नहीं है, किन्तु रचनात्मक है। | ||
यदि रचनात्मक | यदि रचनात्मक समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।<ref>{{Cite web|title= Section 109.24 Images of locally closed subsets (tag 0GZL) | url=https://stacks.math.columbia.edu/tag/0GZL | access-date=2022-10-04 | website=stacks.math.columbia.edu}}</ref> | ||
==रचनात्मक गुण== | ==रचनात्मक गुण== | ||
योजनाओं के समरूपता और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से निर्माण योग्य उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9<ref>{{harvnb|Grothendieck|Dieudonné|1966|loc= Ch. '''IV''', § 9 Propriétés constructibles, pp. 54-94.}}</ref> इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं): | योजनाओं के समरूपता और योजनाओं पर [[क्वासिकोहेरेंट शीफ]] की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से निर्माण योग्य उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9<ref>{{harvnb|Grothendieck|Dieudonné|1966|loc= Ch. '''IV''', § 9 Propriétés constructibles, pp. 54-94.}}</ref> इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं): | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''</math> परिमित रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल का एक क्रम है, फिर का | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''</math> परिमित रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल का एक क्रम है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}'_s\rightarrow\mathcal{F}_s\rightarrow\mathcal{F}''_s</math> सटीक स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.4)) | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}</math> एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल है, फिर का | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>\mathcal{F}</math> एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट <math>\mathcal{O}_X</math>-मॉड्यूल है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>\mathcal{F}_s</math> स्थानीय रूप से मुफ़्त है स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.7)) | ||
* यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से निर्माण योग्य उपसमुच्चय है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>f^{-1}(s)\cap Z</math> में संवृत (या | * यदि <math>f \colon X \rightarrow S</math> योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और <math>Z\subset X</math> एक स्थानीय रूप से निर्माण योग्य उपसमुच्चय है, फिर का समुच्चय <math>s\in S</math> जिसके लिए <math>f^{-1}(s)\cap Z</math> में संवृत (या विवृत) है <math>f^{-1}(s)</math> स्थानीय रूप से निर्माण योग्य है। (परिणाम (9.5.4)) | ||
*मान लीजिए <math>S</math> एक योजना होऔर <math>f \colon X \rightarrow Y</math>, <math>S</math>-योजनाओं का एक रूप है। | *मान लीजिए <math>S</math> एक योजना होऔर <math>f \colon X \rightarrow Y</math>, <math>S</math>-योजनाओं का एक रूप है। समुच्चय पर विचार करें <math>P\subset S</math> का <math>s\in S</math> जिसके लिए प्रेरित रूपवाद <math>f_s\colon X_s\rightarrow Y_s</math> फाइबर का ओवर <math>s</math> कुछ गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से निर्माण योग्य है <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, विवृत विसर्जन, समरूपता। (प्रस्ताव (9.6.1)) | ||
* मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और <math>P\subset S</math> का <math>s\in S</math> | * मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और <math>P\subset S</math> का <math>s\in S</math> समुच्चय पर विचार करें जिसके लिए फाइबर <math>f^{-1}(s)</math> एक गुण <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से निर्माण योग्य है <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7)) | ||
*मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और | *मान लीजिए <math>f \colon X \rightarrow S</math> योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें <math>P\subset X</math> का <math>x\in X</math> जिसके लिए फाइबर <math>f^{-1}(f(x))</math> एक संपत्ति <math>\mathbf{P}</math> है। तब <math>P</math> यदि स्थानीय रूप से निर्माण योग्य है यदि <math>\mathbf{P}</math> निम्नलिखित गुणों में से कोई एक है<nowiki>:</nowiki> ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4)) | ||
इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है। | इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है। |
Revision as of 12:15, 21 July 2023
टोपोलॉजी में, रचनात्मक समुच्चय एक टोपोलॉजिकल स्पेस के सबसमुच्चय का एक वर्ग है जिसमें अपेक्षाकृत सरल संरचना होती है। इनका उपयोग विशेष रूप से बीजगणितीय ज्यामिति और संबंधित क्षेत्रों में किया जाता है। बीजगणितीय ज्यामिति में शेवेल्ली के प्रमेय के रूप में जाना जाने वाला एक प्रमुख परिणाम दर्शाता है कि एक रचनात्मक समुच्चय की छवि बीजगणितीय प्रकारों (या अधिक सामान्यतः योजना (गणित)) के मैपिंग (अधिक विशेष रूप से समरूपता) के एक महत्वपूर्ण वर्ग के लिए रचनात्मक है।
इसके अतिरिक्त, योजनाओं, समरूपता और शीव्स के "स्थानीय" ज्यामितीय गुणों की एक बड़ी संख्या (स्थानीय रूप से) निर्माण योग्य है।
बीजगणितीय ज्यामिति और इंटरसेक्शन कोहोमोलॉजी में विभिन्न प्रकार के रचनात्मक शीफ की परिभाषा में रचनात्मक समुच्चय भी सम्मिलित होते हैं।
परिभाषाएँ
एक सरल परिभाषा, जो कई स्थितियों में पर्याप्त है, यह है कि एक रचनात्मक समुच्चय स्थानीय रूप से संवृत समुच्चयों का एक सीमित संघ (समुच्चय सिद्धांत) है। (एक समुच्चय स्थानीय रूप से संवृत होता है यदि यह एक विवृत समुच्चय और संवृत समुच्चय का प्रतिच्छेदन (समुच्चय सिद्धांत) है।)
चूँकि, बड़े स्थानों के साथ उत्तम व्यवहार करने वाली परिभाषाओं के लिए एक संशोधन और दूसरी थोड़ी कमजोर परिभाषा की आवश्यकता होती है:
परिभाषाएँ: टोपोलॉजिकल स्पेस के उपसमुच्चय को रेट्रोकॉम्पैक्ट कहा जाता है यदि प्रत्येक कॉम्पैक्ट ओपन उपसमुच्चय के लिए कॉम्पैक्ट है। का एक उपसमुच्चय रचनात्मक है यदि यह के उपसमुच्चय का एक सीमित संघ है जहां और दोनों के खुले और रेट्रोकॉम्पैक्ट उपसमुच्चय हैं।
एक उपसमुच्चय स्थानीय रूप से निर्माण योग्य है यदि का एक कवर (टोपोलॉजी) है जिसमें खुले उपसमुच्चय सम्मिलित हैं, इस संपत्ति के साथ कि प्रत्येक का एक रचनात्मक उपसमुच्चय है।[1][2]
समान रूप से टोपोलॉजिकल स्पेस के रचनात्मक उपसमुच्चय सबसे छोटा संग्रह हैं के उपसमुच्चय इसमें (i) सभी विवृत रेट्रोकॉम्पैक्ट उपसमुच्चय सम्मिलित हैं और (ii) इसमें समुच्चय के सभी पूरक (समुच्चय सिद्धांत) और परिमित संघ (और इसलिए परिमित प्रतिच्छेदन भी) सम्मिलित हैं। दूसरे शब्दों में, रचनात्मक समुच्चय रेट्रोकॉम्पैक्ट ओपन सबसमुच्चय द्वारा उत्पन्न बूलियन बीजगणित हैं।
स्थानीय रूप से नोथेरियन टोपोलॉजिकल स्पेस में, सभी उपसमुच्चय रेट्रोकॉम्पैक्ट हैं,[3] और इसलिए ऐसे स्थानों के लिए ऊपर दी गई सरलीकृत परिभाषा अधिक विस्तृत के बराबर है। बीजगणितीय ज्यामिति (सभी बीजगणितीय विविधता सहित) में सामान्यतः मिलने वाली अधिकांश योजनाएं स्थानीय रूप से नोथेरियन हैं, किन्तु ऐसे महत्वपूर्ण निर्माण हैं जो अधिक सामान्य योजनाओं की ओर ले जाते हैं।
किसी भी (आवश्यक नहीं कि नोथेरियन स्थान) टोपोलॉजिकल स्पेस में, प्रत्येक रचनात्मक समुच्चय में इसके संवृत होने का एक सघन समुच्चय विवृत उपसमुच्चय होता है।[4]
शब्दावली: यहां दी गई परिभाषा एलिमेंट्स डी जियोमेट्री अल्जेब्रिक और शीफ परियोजना के पहले संस्करण में उपयोग की गई है। ईजीए के दूसरे संस्करण में रचनात्मक समुच्चय (उपरोक्त परिभाषा के अनुसार) को वैश्विक रूप से रचनात्मक कहा जाता है जबकि रचनात्मक शब्द उपरोक्त स्थानीय रूप से रचनात्मक कहे जाने वाले के लिए आरक्षित है। [5]
शेवेल्ली का प्रमेय
बीजगणितीय ज्यामिति में रचनात्मक समुच्चयों के महत्व का एक प्रमुख कारण यह है कि (स्थानीय रूप से) रचनात्मक समुच्चय की छवि (गणित) मानचित्रों (या समरूपता) के एक बड़े वर्ग के लिए भी (स्थानीय रूप से) रचनात्मक होती है। मुख्य परिणाम यह है:
शेवेल्ली का प्रमेय- यदि योजनाओं का एक सीमित रूप से प्रस्तुत रूपवाद है और एक स्थानीय रूप से रचनात्मक उपसमुच्चय है, तो भी में स्थानीय रूप से निर्माण योग्य है।[6][7][8]
विशेष रूप से, बीजगणितीय विविधता की छवि को विविधता की आवश्यकता नहीं है, किन्तु (धारणाओं के तहत) सदैव एक रचनात्मक समुच्चय होता है। उदाहरण के लिए, मानचित्र वह भेजता है को छवि समुच्चय है, जो विविधता नहीं है, किन्तु रचनात्मक है।
यदि रचनात्मक समुच्चयों की सरलीकृत परिभाषा (परिभाषा में रेट्रोकॉम्पैक्ट ओपन समुच्चयों को प्रतिबंधित किए बिना) का उपयोग किया गया तो ऊपर बताई गई व्यापकता में शेवेल्ली का प्रमेय विफल हो जाएगा।[9]
रचनात्मक गुण
योजनाओं के समरूपता और योजनाओं पर क्वासिकोहेरेंट शीफ की बड़ी संख्या में स्थानीय गुण स्थानीय रूप से निर्माण योग्य उपसमुच्चय पर लागू होते हैं। ईजीए IV § 9[10] इसमें बड़ी संख्या में ऐसी गुण सम्मिलित हैं। नीचे कुछ उदाहरण दिए गए हैं (जहां सभी संदर्भ ईजीए IV की ओर संकेत करते हैं):
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और परिमित रूप से प्रस्तुत कासी-कोहेरेंट -मॉड्यूल का एक क्रम है, फिर का समुच्चय जिसके लिए सटीक स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.4))
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और एक सूक्ष्म रूप से प्रस्तुत कासी-कोहेरेंट -मॉड्यूल है, फिर का समुच्चय जिसके लिए स्थानीय रूप से मुफ़्त है स्थानीय रूप से निर्माण योग्य है। (प्रस्ताव (9.4.7))
- यदि योजनाओं का एक सूक्ष्म रूप से प्रस्तुत रूपवाद है और एक स्थानीय रूप से निर्माण योग्य उपसमुच्चय है, फिर का समुच्चय जिसके लिए में संवृत (या विवृत) है स्थानीय रूप से निर्माण योग्य है। (परिणाम (9.5.4))
- मान लीजिए एक योजना होऔर , -योजनाओं का एक रूप है। समुच्चय पर विचार करें का जिसके लिए प्रेरित रूपवाद फाइबर का ओवर कुछ गुण है। तब यदि स्थानीय रूप से निर्माण योग्य है निम्नलिखित गुणों में से कोई एक है: विशेषण, उचित, परिमित, विसर्जन, संवृत विसर्जन, विवृत विसर्जन, समरूपता। (प्रस्ताव (9.6.1))
- मान लीजिए योजनाओं का एक परिमित रूप से प्रस्तुत रूपवाद हैं और का समुच्चय पर विचार करें जिसके लिए फाइबर एक गुण है। तब यदि स्थानीय रूप से निर्माण योग्य है निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से अपरिवर्तनीय, ज्यामितीय रूप से जुड़ा हुआ, ज्यामितीय रूप से कम किया हुआ। (प्रमेय (9.7.7))
- मान लीजिए योजनाओं का स्थानीय रूप से अंतिम रूप से प्रस्तुत रूपवाद बनें और समुच्चय पर विचार करें का जिसके लिए फाइबर एक संपत्ति है। तब यदि स्थानीय रूप से निर्माण योग्य है यदि निम्नलिखित गुणों में से कोई एक है: ज्यामितीय रूप से नियमित, ज्यामितीय रूप से सामान्य, ज्यामितीय रूप से कम। (प्रस्ताव (9.9.4))
इन रचनाशीलता परिणामों की एक महत्वपूर्ण भूमिका यह है कि अधिकांश स्थितियों में प्रश्नों में रूपवाद को भी माना जाता है।
सपाट आकारवाद से यह पता चलता है कि विचाराधीन गुण वास्तव में एक विवृत उपसमुच्चय में हैं। ऐसे परिणामों की एक बड़ी संख्या ईजीए IV § 12 में सम्मिलित है।[11]
यह भी देखें
- रचनात्मक टोपोलॉजी
- निर्माण योग्य शीफ
टिप्पणियाँ
- ↑ Grothendieck & Dieudonné 1961, Ch. 0III, Définitions (9.1.1), (9.1.2) and (9.1.11), pp. 12-14
- ↑ "Definition 5.15.1 (tag 005G)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1961, Ch. 0III, Sect. (9.1), p. 12
- ↑ Jinpeng An (2012). "Rigid geometric structures, isometric actions, and algebraic quotients". Geom. Dedicata 157: 153–185.
- ↑ Grothendieck & Dieudonné 1971, Ch. 0I, Définitions (2.3.1), (2.3.2) and (2.3.10), pp. 55-57
- ↑ Grothendieck & Dieudonné 1964, Ch. I, Théorème (1.8.4), p. 239.
- ↑ "Theorem 29.22.3 (Chevalley's Theorem) (tag 054K)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1971, Ch. I, Théorème (7.1.4), p. 329.
- ↑ "Section 109.24 Images of locally closed subsets (tag 0GZL)". stacks.math.columbia.edu. Retrieved 2022-10-04.
- ↑ Grothendieck & Dieudonné 1966, Ch. IV, § 9 Propriétés constructibles, pp. 54-94.
- ↑ Grothendieck & Dieudonné 1966, Ch. IV, § 12 Étude des fibres des morphismes plats de présentation finie, pp. 173-187.
संदर्भ
- Allouche, Jean Paul. Note on the constructible sets of a topological space.
- Andradas, Carlos; Bröcker, Ludwig; Ruiz, Jesús M. (1996). Constructible sets in real geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) --- Results in Mathematics and Related Areas (3). Vol. 33. Berlin: Springer-Verlag. pp. x+270. ISBN 3-540-60451-0. MR 1393194.
- Borel, Armand. Linear algebraic groups.
- Grothendieck, Alexandre; Dieudonné, Jean (1961). "Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie". Publications Mathématiques de l'IHÉS. 11. doi:10.1007/bf02684274. MR 0217085.
- Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20. doi:10.1007/bf02684747. MR 0173675.
- Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS. 28. doi:10.1007/bf02684343. MR 0217086.
- Grothendieck, Alexandre; Dieudonné, Jean (1971). Éléments de géométrie algébrique: I. Le langage des schémas. Grundlehren der Mathematischen Wissenschaften (in français). Vol. 166 (2nd ed.). Berlin; New York: Springer-Verlag. ISBN 978-3-540-05113-8.
- Mostowski, A. (1969). Constructible sets with applications. Studies in Logic and the Foundations of Mathematics. Amsterdam --- Warsaw: North-Holland Publishing Co. ---- PWN-Polish Scientific Publishers. pp. ix+269. MR 0255390.
बाहरी संबंध
- https://stacks.math.columbia.edu/tag/04ZC Topological definition of (local) constructibility
- https://stacks.math.columbia.edu/tag/054H Constructibility properties of morphisms of schemes (incl. Chevalley's theorem)