बीजगणितीय वक्रों का मापांक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[बीजगणितीय ज्यामिति]] में, '''बीजगणितीय वक्रों का मापांक''' मॉड्यूली स्थान ज्यामितीय स्थान (सामान्यतः [[योजना (गणित)]] या बीजगणितीय स्टैक) होता है, जिसके बिंदु [[बीजगणितीय वक्र]] के समरूपता वर्गों का प्रतिनिधित्व करते हैं। इस प्रकार यह [[मॉड्यूलि स्पेस]] का विशेष मामला है। विचारित बीजगणितीय वक्रों के वर्गों पर लागू प्रतिबंधों के आधार पर, संबंधित मॉड्यूलि समस्या और मॉड्यूलि स्थान भिन्न होता है। ही मॉड्यूलि समस्या के लिए मॉड्यूलि स्पेस#फाइन मॉड्यूलि स्पेस और मॉड्यूलि स्पेस#मोटे मॉड्यूलि स्पेस के बीच भी अंतर किया जाता है।
[[बीजगणितीय ज्यामिति]] में, '''बीजगणितीय वक्रों का मापांक''' मॉड्यूली स्थान ज्यामितीय स्थान (सामान्यतः [[योजना (गणित)]] या बीजगणितीय स्टैक) होता है, जिसके बिंदु [[बीजगणितीय वक्र]] के समरूपता वर्गों का प्रतिनिधित्व करते हैं। इस प्रकार यह [[मॉड्यूलि स्पेस]] का विशेष मामला है। विचारित बीजगणितीय वक्रों के वर्गों पर लागू प्रतिबंधों के आधार पर, संबंधित मॉड्यूलि समस्या और मॉड्यूलि स्थान भिन्न होता है। ही मॉड्यूलि समस्या के लिए मॉड्यूलि स्पेस#फाइन मॉड्यूलि स्पेस और मॉड्यूलि स्पेस#मोटे मॉड्यूलि स्पेस के बीच भी अंतर किया जाता है।


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


==स्थिर वक्रों के मॉड्यूली ढेर==
==स्थिर वक्रों के मॉड्यूली ढेर==
मॉड्यूलि स्टैक <math>\mathcal{M}_{g}</math> चिकने प्रक्षेप्य वक्रों के परिवारों को उनकी समरूपता सहित वर्गीकृत करता है। कब <math>g > 1</math>, इस स्टैक को नए सीमा बिंदुओं को जोड़कर संकुचित किया जा सकता है जो स्थिर नोडल वक्रों (उनके समरूपता के साथ) के अनुरूप हैं। वक्र [[स्थिर वक्र]] होता है यदि यह पूर्ण है, जुड़ा हुआ है, इसमें दोहरे बिंदुओं के अलावा कोई विलक्षणता नहीं है, और इसमें ऑटोमोर्फिज्म का केवल सीमित समूह है। परिणामी स्टैक को दर्शाया गया है <math>\overline{\mathcal{M}}_{g}</math>. दोनों मॉड्यूली स्टैक वक्रों के सार्वभौमिक परिवारों को ले जाते हैं।
मॉड्यूलि स्टैक <math>\mathcal{M}_{g}</math> चिकने प्रक्षेप्य वक्रों के परिवारों को उनकी समरूपता सहित वर्गीकृत करता है। कब <math>g > 1</math>, इस स्टैक को नए सीमा बिंदुओं को जोड़कर संकुचित किया जा सकता है जो स्थिर नोडल वक्रों (उनके समरूपता के साथ) के अनुरूप हैं। वक्र [[स्थिर वक्र]] होता है यदि यह पूर्ण है, जुड़ा हुआ है, इसमें दोहरे बिंदुओं के अलावा कोई विलक्षणता नहीं है, और इसमें ऑटोमोर्फिज्म का केवल सीमित समूह है। परिणामी स्टैक को दर्शाया गया है <math>\overline{\mathcal{M}}_{g}</math>. दोनों मॉड्यूली स्टैक वक्रों के सार्वभौमिक परिवारों को ले जाते हैं।


उपरोक्त दोनों ढेरों का आयाम है <math>3g-3</math>; इसलिए स्थिर नोडल वक्र को मानों को चुनकर पूरी तरह से निर्दिष्ट किया जा सकता है <math>3g-3</math> पैरामीटर, कब <math>g > 1</math>. निचले जीनस में, किसी को उनकी संख्या घटाकर, ऑटोमोर्फिज्म के सहज परिवारों की उपस्थिति का हिसाब देना चाहिए। जीनस शून्य का बिल्कुल जटिल वक्र है, रीमैन क्षेत्र, और इसकी समरूपता का समूह पीजीएल(2) है। इसलिए का आयाम <math>\mathcal{M}_0</math> के बराबर है
उपरोक्त दोनों ढेरों का आयाम है <math>3g-3</math>; इसलिए स्थिर नोडल वक्र को मानों को चुनकर पूरी प्रकार से निर्दिष्ट किया जा सकता है <math>3g-3</math> पैरामीटर, कब <math>g > 1</math>. निचले जीनस में, किसी को उनकी संख्या घटाकर, ऑटोमोर्फिज्म के सहज परिवारों की उपस्थिति का हिसाब देना चाहिए। जीनस शून्य का बिल्कुल जटिल वक्र है, रीमैन क्षेत्र, और इसकी समरूपता का समूह पीजीएल(2) है। इसलिए का आयाम <math>\mathcal{M}_0</math> के बराबर है


:<math>\begin{align}\dim(\text{space of genus 0 curves}) - \dim(\text{group of automorphisms})  &= 0 - \dim(\mathrm{PGL}(2))\\  
:<math>\begin{align}\dim(\text{space of genus 0 curves}) - \dim(\text{group of automorphisms})  &= 0 - \dim(\mathrm{PGL}(2))\\  
Line 13: Line 13:


=== निर्माण और अपरिवर्तनीयता ===
=== निर्माण और अपरिवर्तनीयता ===
यह गैर-तुच्छ प्रमेय है, जिसे पियरे डेलिग्ने और [[ डेविड मम्फोर्ड ]] ने सिद्ध किया है,<ref name=":0">{{Cite journal|last1=Deligne|first1=Pierre|author1-link=Pierre Deligne|last2=Mumford|first2=David|author2-link=David Mumford|date=1969|title=दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता|url=http://www.numdam.org/item/?id=PMIHES_1969__36__75_0|journal=[[Publications Mathématiques de l'IHÉS]]|language=en|volume=36|pages=75–109|doi=10.1007/BF02684599|s2cid=16482150}}</ref> वह मॉड्यूलि स्टैक <math>\mathcal{M}_g</math> अपरिवर्तनीय है, जिसका अर्थ है कि इसे दो उचित उपसमूहों के मिलन के रूप में व्यक्त नहीं किया जा सकता है। वे लोकस का विश्लेषण करके इसे सिद्ध करते हैं <math>H_g</math> [[हिल्बर्ट योजना]] में स्थिर वक्रों की संख्या <math>\mathrm{Hilb}_{\mathbb{P}^{5g - 5 -1}}^{P_g(n)}</math> त्रि-विहित रूप से एम्बेडेड वक्रों की (बहुत पर्याप्त के एम्बेडिंग से)। <math>\omega_C^{\otimes 3}</math> प्रत्येक वक्र के लिए) जिसमें [[हिल्बर्ट बहुपद]] है <math>P_g(n) = (6n-1)(g-1)</math>. फिर, ढेर <math>[H_g / \mathrm{PGL}(5g-6)]</math> मॉड्यूलि स्पेस का निर्माण है <math>\mathcal{M}_g</math>. [[विरूपण (गणित)]] का उपयोग करते हुए, डेलिग्ने और ममफोर्ड दिखाते हैं कि यह स्टैक चिकना है और स्थिर वक्रों के बीच समरूपता के स्टैक का उपयोग करते हैं <math>\mathrm{Isom}_S(C,C')</math>, उसे दिखाने के लिए <math>\mathcal{M}_g</math> इसमें परिमित स्टेबलाइजर्स हैं, इसलिए यह डेलिग्ने-ममफोर्ड स्टैक है। इसके अलावा, वे स्तरीकरण पाते हैं <math>H_g</math> जैसा
यह गैर-तुच्छ प्रमेय है, जिसे पियरे डेलिग्ने और [[ डेविड मम्फोर्ड |डेविड मम्फोर्ड]] ने सिद्ध किया है,<ref name=":0">{{Cite journal|last1=Deligne|first1=Pierre|author1-link=Pierre Deligne|last2=Mumford|first2=David|author2-link=David Mumford|date=1969|title=दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता|url=http://www.numdam.org/item/?id=PMIHES_1969__36__75_0|journal=[[Publications Mathématiques de l'IHÉS]]|language=en|volume=36|pages=75–109|doi=10.1007/BF02684599|s2cid=16482150}}</ref> वह मॉड्यूलि स्टैक <math>\mathcal{M}_g</math> अपरिवर्तनीय है, जिसका अर्थ है कि इसे दो उचित उपसमूहों के मिलन के रूप में व्यक्त नहीं किया जा सकता है। वे लोकस का विश्लेषण करके इसे सिद्ध करते हैं <math>H_g</math> [[हिल्बर्ट योजना]] में स्थिर वक्रों की संख्या <math>\mathrm{Hilb}_{\mathbb{P}^{5g - 5 -1}}^{P_g(n)}</math> त्रि-विहित रूप से एम्बेडेड वक्रों की (बहुत पर्याप्त के एम्बेडिंग से)। <math>\omega_C^{\otimes 3}</math> प्रत्येक वक्र के लिए) जिसमें [[हिल्बर्ट बहुपद]] है <math>P_g(n) = (6n-1)(g-1)</math>. फिर, ढेर <math>[H_g / \mathrm{PGL}(5g-6)]</math> मॉड्यूलि स्पेस का निर्माण है <math>\mathcal{M}_g</math>. [[विरूपण (गणित)]] का उपयोग करते हुए, डेलिग्ने और ममफोर्ड दिखाते हैं कि यह स्टैक चिकना है और स्थिर वक्रों के बीच समरूपता के स्टैक का उपयोग करते हैं <math>\mathrm{Isom}_S(C,C')</math>, उसे दिखाने के लिए <math>\mathcal{M}_g</math> इसमें परिमित स्टेबलाइजर्स हैं, इसलिए यह डेलिग्ने-ममफोर्ड स्टैक है। इसके अलावा, वे स्तरीकरण पाते हैं <math>H_g</math> जैसा


:<math>H_g^o \coprod H_{g,1} \coprod \cdots \coprod H_{g,n}</math>,
:<math>H_g^o \coprod H_{g,1} \coprod \cdots \coprod H_{g,n}</math>,


कहाँ <math>H_g^o</math> चिकने स्थिर वक्रों की उपयोजना है और <math>H_{g,i}</math> का अघुलनशील घटक है <math>S^* = H_g \setminus H_g^o</math>. वे इसके घटकों का विश्लेषण करते हैं <math>\mathcal{M}_g^0 = H_g^0/\mathrm{PGL}(5g-6)</math> ([[जीआईटी भागफल]] के रूप में)। यदि इसके कई घटक मौजूद थे <math>H_g^o</math>, उनमें से कोई भी पूर्ण नहीं होगा। इसके अलावा, का कोई भी घटक <math>H_g</math> इसमें गैर-एकवचन वक्र होने चाहिए। नतीजतन, एकवचन ठिकाना <math>S^*</math> जुड़ा हुआ है, इसलिए यह ही घटक में समाहित है <math>H_g</math>. इसके अलावा, क्योंकि प्रत्येक घटक प्रतिच्छेद करता है <math>S^*</math>, सभी घटकों को ही घटक में समाहित किया जाना चाहिए, इसलिए मोटा स्थान <math>H_g</math> अपरिवर्तनीय है. बीजगणितीय ढेरों के सामान्य सिद्धांत से, इसका तात्पर्य ढेर भागफल से है <math>\mathcal{M}_g</math> अपरिवर्तनीय है.
कहाँ <math>H_g^o</math> चिकने स्थिर वक्रों की उपयोजना है और <math>H_{g,i}</math> का अघुलनशील घटक है <math>S^* = H_g \setminus H_g^o</math>. वे इसके घटकों का विश्लेषण करते हैं <math>\mathcal{M}_g^0 = H_g^0/\mathrm{PGL}(5g-6)</math> ([[जीआईटी भागफल]] के रूप में)। यदि इसके कई घटक उपस्थित थे <math>H_g^o</math>, उनमें से कोई भी पूर्ण नहीं होगा। इसके अलावा, का कोई भी घटक <math>H_g</math> इसमें गैर-एकवचन वक्र होने चाहिए। नतीजतन, एकवचन ठिकाना <math>S^*</math> जुड़ा हुआ है, इसलिए यह ही घटक में समाहित है <math>H_g</math>. इसके अलावा, क्योंकि प्रत्येक घटक प्रतिच्छेद करता है <math>S^*</math>, सभी घटकों को ही घटक में समाहित किया जाना चाहिए, इसलिए मोटा स्थान <math>H_g</math> अपरिवर्तनीय है. बीजगणितीय ढेरों के सामान्य सिद्धांत से, इसका तात्पर्य ढेर भागफल से है <math>\mathcal{M}_g</math> अपरिवर्तनीय है.


===उचितता ===
===उचितता ===
[[उचित योजना]], या [[ कक्षीय ]] के लिए [[ सघन स्थान ]], वक्रों पर स्थिर कमी पर प्रमेय से अनुसरण करता है।<ref name=":0" />इसे [[एबेलियन किस्म]] की स्थिर कमी के संबंध में [[अलेक्जेंडर ग्रोथेंडिक]] के प्रमेय का उपयोग करके पाया जा सकता है, और वक्रों की स्थिर कमी के बराबर दिखाया जा सकता है।<ref name=":0" /><sup>धारा 5.2</sup>
[[उचित योजना]], या [[ कक्षीय |कक्षीय]] के लिए [[ सघन स्थान |सघन स्थान]] , वक्रों पर स्थिर कमी पर प्रमेय से अनुसरण करता है।<ref name=":0" />इसे [[एबेलियन किस्म]] की स्थिर कमी के संबंध में [[अलेक्जेंडर ग्रोथेंडिक]] के प्रमेय का उपयोग करके पाया जा सकता है, और वक्रों की स्थिर कमी के बराबर दिखाया जा सकता है।<ref name=":0" /><sup>धारा 5.2</sup>


===मोटे मॉड्यूलि रिक्त स्थान===
===मोटे मॉड्यूलि रिक्त स्थान===
कोई चिकने या स्थिर वक्रों के समरूपता वर्गों का प्रतिनिधित्व करने वाले मोटे मॉड्यूली स्थानों पर भी विचार कर सकता है। इन मोटे मॉड्यूलि स्थानों का वास्तव में अध्ययन मॉड्यूलि स्टैक की धारणा शुरू होने से पहले किया गया था। वास्तव में, मोडुली स्टैक का विचार डेलिग्ने और ममफोर्ड द्वारा मोटे मॉड्यूली स्थानों की प्रोजेक्टिविटी को साबित करने के प्रयास में पेश किया गया था। हाल के वर्षों में, यह स्पष्ट हो गया है कि वक्रों का ढेर वास्तव में अधिक मौलिक वस्तु है।
कोई चिकने या स्थिर वक्रों के समरूपता वर्गों का प्रतिनिधित्व करने वाले मोटे मॉड्यूली स्थानों पर भी विचार कर सकता है। इन मोटे मॉड्यूलि स्थानों का वास्तव में अध्ययन मॉड्यूलि स्टैक की धारणा शुरू होने से पहले किया गया था। वास्तव में, मोडुली स्टैक का विचार डेलिग्ने और ममफोर्ड द्वारा मोटे मॉड्यूली स्थानों की प्रोजेक्टिविटी को सिद्ध करने के प्रयास में पेश किया गया था। हाल के वर्षों में, यह स्पष्ट हो गया है कि वक्रों का ढेर वास्तव में अधिक मौलिक वस्तु है।


मोटे मॉड्यूलि रिक्त स्थान का आयाम स्टैक के समान होता है <math>g > 1</math>; चूँकि, जीनस शून्य में मोटे मॉड्यूलि स्पेस का आयाम शून्य है, और जीनस में, इसका आयाम है।
मोटे मॉड्यूलि रिक्त स्थान का आयाम स्टैक के समान होता है <math>g > 1</math>; चूँकि, जीनस शून्य में मोटे मॉड्यूलि स्पेस का आयाम शून्य है, और जीनस में, इसका आयाम है।


== निम्न जीनस मॉड्यूलि रिक्त स्थान के उदाहरण ==
== निम्न जीनस मॉड्यूलि रिक्त स्थान के उदाहरण ==


=== जाति 0 ===
=== जाति 0 ===
जीनस के मॉड्यूलि स्पेस की ज्यामिति का निर्धारण <math>0</math> [[विरूपण सिद्धांत]] का उपयोग करके वक्र स्थापित किए जा सकते हैं। जीनस के लिए मोडुली की संख्या <math>0</math> वक्र, उदा. <math>\mathbb{P}^1</math>, कोहोमोलॉजी ग्रुप<ब्लॉककोट> द्वारा दिया गया है<math>H^1(C,T_C)</math></blockquote>[[सेरे द्वैत]] के साथ यह सह-समरूपता समूह <blockquote> के लिए समरूपी है<math>\begin{align}
जीनस के मॉड्यूलि स्पेस की ज्यामिति का निर्धारण <math>0</math> [[विरूपण सिद्धांत]] का उपयोग करके वक्र स्थापित किए जा सकते हैं। जीनस के लिए मोडुली की संख्या <math>0</math> वक्र, उदा. <math>\mathbb{P}^1</math>, कोहोमोलॉजी ग्रुप द्वारा दिया गया है<math>H^1(C,T_C)</math></blockquote>[[सेरे द्वैत]] के साथ यह सह-समरूपता समूह <blockquote> के लिए समरूपी है<math>\begin{align}
H^1(C,T_C) &\cong H^0(C, \omega_C\otimes T_C^\vee) \\
H^1(C,T_C) &\cong H^0(C, \omega_C\otimes T_C^\vee) \\
&\cong H^0(C, \omega_C^{\otimes 2})
&\cong H^0(C, \omega_C^{\otimes 2})


\end{align}</math></blockquote>द्वैतीकरण शीफ के लिए <math>\omega_C</math>. लेकिन, रीमैन-रोच प्रमेय का उपयोग करते हुए|रीमैन-रोच विहित बंडल की डिग्री दिखाता है <math>-2</math>, तो की डिग्री <math>\omega_C^{\otimes 2}</math> है <math>-4</math>, इसलिए कोई वैश्विक अनुभाग नहीं हैं, जिसका अर्थ <ब्लॉककोट> है<math>H^0(C,\omega_C^{\otimes 2}) = 0</math>दिखा रहा है कि जीनस में कोई विकृति नहीं है <math>0</math> घटता है. ये साबित होता है <math>\mathcal{M}_0</math> केवल बिंदु है, और एकमात्र जीनस है <math>0</math> घटता द्वारा दिया गया है <math>\mathbb{P}^1</math>. एकमात्र तकनीकी कठिनाई ऑटोमोर्फिज्म समूह की है <math>\mathbb{P}^1</math> [[बीजगणितीय समूह]] है <math>\text{PGL}(2,\mathbb{C})</math>, जो बार तीन बिंदुओं पर कठोर हो जाता है<ref name=":2" />पर <math>\mathbb{P}^1</math> निश्चित हैं, इसलिए अधिकांश लेखक लेते हैं <math>\mathcal{M}_0</math> मतलब निकालना <math>\mathcal{M}_{0,3}</math>.
\end{align}</math></blockquote>द्वैतीकरण शीफ के लिए <math>\omega_C</math>. लेकिन, रीमैन-रोच प्रमेय का उपयोग करते हुए|रीमैन-रोच विहित बंडल की डिग्री दिखाता है <math>-2</math>, तो की डिग्री <math>\omega_C^{\otimes 2}</math> है <math>-4</math>, इसलिए कोई वैश्विक अनुभाग नहीं हैं, जिसका अर्थ है<math>H^0(C,\omega_C^{\otimes 2}) = 0</math>दिखा रहा है कि जीनस में कोई विकृति नहीं है <math>0</math> घटता है. ये सिद्ध होता है <math>\mathcal{M}_0</math> केवल बिंदु है, और एकमात्र जीनस है <math>0</math> घटता द्वारा दिया गया है <math>\mathbb{P}^1</math>. एकमात्र तकनीकी कठिनाई ऑटोमोर्फिज्म समूह की है <math>\mathbb{P}^1</math> [[बीजगणितीय समूह]] है <math>\text{PGL}(2,\mathbb{C})</math>, जो बार तीन बिंदुओं पर कठोर हो जाता है<ref name=":2" />पर <math>\mathbb{P}^1</math> निश्चित हैं, इसलिए अधिकांश लेखक लेते हैं <math>\mathcal{M}_0</math> मतलब निकालना <math>\mathcal{M}_{0,3}</math>.


=== जीनस 1 ===
=== जीनस 1 ===
{{Main|अण्डाकार वक्रों का मॉड्यूली स्टैक}}
{{Main|अण्डाकार वक्रों का मॉड्यूली स्टैक}}
जीनस 1 मामला मॉड्यूली रिक्त स्थान के पहले अच्छी तरह से समझे जाने वाले मामलों में से है, कम से कम जटिल संख्याओं पर, क्योंकि अण्डाकार वक्रों के समरूपता वर्गों को [[जे-अपरिवर्तनीय]]<ब्लॉककोट> द्वारा वर्गीकृत किया गया है।<math>j: \mathcal{M}_{1,1}|_{\mathbb{C}} \to \mathbb{A}^1_\mathbb{C}</math></ब्लॉकक्वॉट>कहां <math>\mathcal{M}_{1,1}|_{\mathbb{C}}=\mathcal{M}_{1,1}\times_{\text{Spec}(\mathbb{Z})} \text{Spec}(\mathbb{C})</math>. टोपोलॉजिकली, <math>\mathcal{M}_{1,1}|_{\mathbb{C}}</math> यह केवल एफ़िन लाइन है, लेकिन इसे अंतर्निहित टोपोलॉजिकल स्पेस के साथ स्टैक में संकुचित किया जा सकता है <math>\mathbb{P}^1_\mathbb{C}</math> अनंत पर स्थिर वक्र जोड़कर। यह एकल पुच्छल वाला अण्डाकार वक्र है। सामान्य मामले का निर्माण ख़त्म <math>\text{Spec}(\mathbb{Z})</math> मूल रूप से पियरे डेलिग्ने और [[माइकल रैपोपोर्ट]] द्वारा पूरा किया गया था।<ref>{{Citation|last1=Deligne|first1=P.|title=Les schémas de modules de courbes elliptiques|pages=143–316|publisher=Springer Berlin Heidelberg|isbn=978-3-540-06558-6|last2=Rapoport|first2=M.|series=Lecture Notes in Mathematics|year=1973|volume=349|doi=10.1007/bfb0066716}}, URL: http://publications.ias.edu/node/367</ref>
जीनस 1 मामला मॉड्यूली रिक्त स्थान के पहले अच्छी प्रकार से समझे जाने वाले मामलों में से है, कम से कम जटिल संख्याओं पर, क्योंकि अण्डाकार वक्रों के समरूपता वर्गों को [[जे-अपरिवर्तनीय]] द्वारा वर्गीकृत किया गया है।<math>j: \mathcal{M}_{1,1}|_{\mathbb{C}} \to \mathbb{A}^1_\mathbb{C}</math> कहां <math>\mathcal{M}_{1,1}|_{\mathbb{C}}=\mathcal{M}_{1,1}\times_{\text{Spec}(\mathbb{Z})} \text{Spec}(\mathbb{C})</math>. टोपोलॉजिकली, <math>\mathcal{M}_{1,1}|_{\mathbb{C}}</math> यह केवल एफ़िन लाइन है, लेकिन इसे अंतर्निहित टोपोलॉजिकल स्पेस के साथ स्टैक में संकुचित किया जा सकता है <math>\mathbb{P}^1_\mathbb{C}</math> अनंत पर स्थिर वक्र जोड़कर। यह एकल पुच्छल वाला अण्डाकार वक्र है। सामान्य स्थितियों का निर्माण ख़त्म <math>\text{Spec}(\mathbb{Z})</math> मूल रूप से पियरे डेलिग्ने और [[माइकल रैपोपोर्ट]] द्वारा पूरा किया गया था।<ref>{{Citation|last1=Deligne|first1=P.|title=Les schémas de modules de courbes elliptiques|pages=143–316|publisher=Springer Berlin Heidelberg|isbn=978-3-540-06558-6|last2=Rapoport|first2=M.|series=Lecture Notes in Mathematics|year=1973|volume=349|doi=10.1007/bfb0066716}}, URL: http://publications.ias.edu/node/367</ref>
ध्यान दें कि अधिकांश लेखक चिह्नित बिंदु के साथ जीनस वन कर्व्स के मामले को समूह की उत्पत्ति मानते हैं, अन्यथा काल्पनिक मॉड्यूल स्पेस में स्टेबलाइजर समूह <math>\mathcal{M}_1</math> बिंदु पर स्टेबलाइज़र समूह होगा <math>[C] \in \mathcal{M}_1</math> वक्र द्वारा दिया गया है, क्योंकि अण्डाकार वक्रों में एबेलियन समूह संरचना होती है। यह इस काल्पनिक मॉड्यूलि स्पेस में अनावश्यक तकनीकी जटिलता जोड़ता है। वहीं दूसरी ओर, <math>\mathcal{M}_{1,1}</math> चिकना डेलिग्ने-ममफोर्ड स्टैक है।
ध्यान दें कि अधिकांश लेखक चिह्नित बिंदु के साथ जीनस वन कर्व्स के स्थितियों को समूह की उत्पत्ति मानते हैं, अन्यथा काल्पनिक मॉड्यूल स्पेस में स्टेबलाइजर समूह <math>\mathcal{M}_1</math> बिंदु पर स्टेबलाइज़र समूह होगा <math>[C] \in \mathcal{M}_1</math> वक्र द्वारा दिया गया है, क्योंकि अण्डाकार वक्रों में एबेलियन समूह संरचना होती है। यह इस काल्पनिक मॉड्यूलि स्पेस में अनावश्यक तकनीकी जटिलता जोड़ता है। वहीं दूसरी ओर, <math>\mathcal{M}_{1,1}</math> स्मूथ डेलिग्ने-ममफोर्ड स्टैक है।


=== जीनस 2 ===
=== जीनस 2 ===


==== एफ़िन पैरामीटर स्पेस ====
==== एफ़िन पैरामीटर स्पेस ====
जीनस 2 में यह विभाजकों की रैखिक प्रणाली है#[[हाइपरलिप्टिक वक्र]], ऐसे सभी वक्र हाइपरलिप्टिक वक्र हैं,<ref>{{Cite book|last=Hartshorne| first=Robin|author-link=Robin Hartshorne|title=बीजगणितीय ज्यामिति| date=29 June 2013|isbn=978-1-4757-3849-0|location=New York|oclc=861706007}}</ref><sup>पृष्ठ 298</sup> इसलिए रीमैन-हर्विट्ज़ सूत्र का उपयोग करके वक्र के शाखा स्थान से मॉड्यूलि स्थान पूरी तरह से निर्धारित किया जा सकता है। चूँकि मनमाना जीनस 2 वक्र बहुपद रूप द्वारा दिया जाता है
जीनस 2 में यह विभाजकों की रैखिक प्रणाली है [[हाइपरलिप्टिक वक्र]], ऐसे सभी वक्र हाइपरलिप्टिक वक्र हैं,<ref>{{Cite book|last=Hartshorne| first=Robin|author-link=Robin Hartshorne|title=बीजगणितीय ज्यामिति| date=29 June 2013|isbn=978-1-4757-3849-0|location=New York|oclc=861706007}}</ref><sup>पृष्ठ 298</sup> इसलिए रीमैन-हर्विट्ज़ सूत्र का उपयोग करके वक्र के शाखा स्थान से मॉड्यूलि स्थान पूरी प्रकार से निर्धारित किया जा सकता है। चूँकि इच्छानुसार जीनस 2 वक्र बहुपद रूप द्वारा दिया जाता है


:<math>y^2 - x(x-1)(x-a)(x-b)(x-c)</math>
:<math>y^2 - x(x-1)(x-a)(x-b)(x-c)</math>
Line 54: Line 54:


==== [[भारित प्रक्षेप्य स्थान]] ====
==== [[भारित प्रक्षेप्य स्थान]] ====
भारित प्रक्षेप्य स्थान और रीमैन-हर्विट्ज़ सूत्र का उपयोग करके, हाइपरलिप्टिक वक्र को बहुपद के रूप में वर्णित किया जा सकता है<ref>{{Cite arXiv|last=Larson|first=Eric|date=2019-04-17|title=The integral Chow ring of <math>\overline{M}_2</math>|class=math.AG| eprint=1904.08081}}</ref>
भारित प्रक्षेप्य स्थान और रीमैन-हर्विट्ज़ सूत्र का उपयोग करके, हाइपरलिप्टिक वक्र को बहुपद के रूप में वर्णित किया जा सकता है<ref>{{Cite arXiv|last=Larson|first=Eric|date=2019-04-17|title=The integral Chow ring of <math>\overline{M}_2</math>|class=math.AG| eprint=1904.08081}}</ref>
:<math>z^2 = ax^6 + bx^5y + cx^4y^2 + dx^3y^3 + ex^2y^4 + fxy^5 + gy^6 ,</math>
:<math>z^2 = ax^6 + bx^5y + cx^4y^2 + dx^3y^3 + ex^2y^4 + fxy^5 + gy^6 ,</math>
कहाँ <math>a,\ldots,f</math> के अनुभागों के लिए पैरामीटर हैं <math>\Gamma(\mathbb{P}(3,1), \mathcal{O}(g))</math>. फिर, उन अनुभागों के स्थान में प्रत्येक वक्र सम्मलित होता है जिनमें कोई त्रिमूल नहीं होता है <math>C</math> बिंदु द्वारा दर्शाया गया <math>[C]\in \mathcal{M}_2</math>.
कहाँ <math>a,\ldots,f</math> के अनुभागों के लिए पैरामीटर हैं <math>\Gamma(\mathbb{P}(3,1), \mathcal{O}(g))</math>. फिर, उन अनुभागों के स्थान में प्रत्येक वक्र सम्मलित होता है जिनमें कोई त्रिमूल नहीं होता है <math>C</math> बिंदु द्वारा दर्शाया गया <math>[C]\in \mathcal{M}_2</math>.


=== जीनस 3 ===
=== जीनस 3 ===
यह वक्रों का पहला मॉड्यूली स्थान है जिसमें हाइपरलिप्टिक लोकस और गैर-हाइपरलिप्टिक लोकस दोनों हैं।<ref>{{Citation|last1=Girard|first1=Martine|title=Classification of Genus 3 Curves in Special Strata of the Moduli Space| date=2006|work=Algorithmic Number Theory|volume=4076|pages=346–360|editor-last=Hess|editor-first=Florian|place=Berlin, Heidelberg|publisher=Springer Berlin Heidelberg|doi=10.1007/11792086_25|isbn=978-3-540-36075-9|last2=Kohel|first2=David R.|editor2-last=Pauli|editor2-first=Sebastian|editor3-last=Pohst|editor3-first=Michael|arxiv=math/0603555|bibcode=2006math......3555G|mr=2282935|s2cid=15638167}}</ref><ref>{{cite journal | last1=Penev | first1=Nikola | last2=Vakil | first2=Ravi | author2-link=Ravi Vakil|title=जीनस छह के वक्रों के मोडुली स्थान की चाउ रिंग| journal=[[Algebraic Geometry (journal)|Algebraic Geometry]] | volume=2 | issue=1 | year=2015 | issn=2214-2584 | doi=10.14231/ag-2015-006 | pages=123–136|mr=3322200|arxiv=1307.6614| s2cid=54876684 }}</ref> गैर-हाइपरलिप्टिक वक्र सभी डिग्री 4 के समतल वक्रों ([[ जीनस डिग्री फार्मूला ]] का उपयोग करके) द्वारा दिए गए हैं, जिन्हें हाइपरसर्फेस की हिल्बर्ट योजना में चिकनी लोकस द्वारा पैरामीटर किया गया है।
यह वक्रों का पहला मॉड्यूली स्थान है जिसमें हाइपरलिप्टिक लोकस और गैर-हाइपरलिप्टिक लोकस दोनों हैं।<ref>{{Citation|last1=Girard|first1=Martine|title=Classification of Genus 3 Curves in Special Strata of the Moduli Space| date=2006|work=Algorithmic Number Theory|volume=4076|pages=346–360|editor-last=Hess|editor-first=Florian|place=Berlin, Heidelberg|publisher=Springer Berlin Heidelberg|doi=10.1007/11792086_25|isbn=978-3-540-36075-9|last2=Kohel|first2=David R.|editor2-last=Pauli|editor2-first=Sebastian|editor3-last=Pohst|editor3-first=Michael|arxiv=math/0603555|bibcode=2006math......3555G|mr=2282935|s2cid=15638167}}</ref><ref>{{cite journal | last1=Penev | first1=Nikola | last2=Vakil | first2=Ravi | author2-link=Ravi Vakil|title=जीनस छह के वक्रों के मोडुली स्थान की चाउ रिंग| journal=[[Algebraic Geometry (journal)|Algebraic Geometry]] | volume=2 | issue=1 | year=2015 | issn=2214-2584 | doi=10.14231/ag-2015-006 | pages=123–136|mr=3322200|arxiv=1307.6614| s2cid=54876684 }}</ref> गैर-हाइपरलिप्टिक वक्र सभी डिग्री 4 के समतल वक्रों ([[ जीनस डिग्री फार्मूला | जीनस डिग्री फार्मूला]] का उपयोग करके) द्वारा दिए गए हैं, जिन्हें हाइपरसर्फेस की हिल्बर्ट योजना में चिकनी लोकस द्वारा पैरामीटर किया गया है।


:<math>\operatorname{Hilb}_{\mathbb{P}^2}^{8t-4} \cong \mathbb{P}^{\binom{6}{4} - 1}</math>.
:<math>\operatorname{Hilb}_{\mathbb{P}^2}^{8t-4} \cong \mathbb{P}^{\binom{6}{4} - 1}</math>.
Line 70: Line 70:


=== [[अतार्किक]]ता अनुमान ===
=== [[अतार्किक]]ता अनुमान ===
पिछले सभी मामलों में, मॉड्यूलि रिक्त स्थान को अतार्किक पाया जा सकता है, जिसका अर्थ है कि प्रमुख तर्कसंगत रूपवाद मौजूद है<ब्लॉककोट><math>\mathbb{P}^n \to \mathcal{M}_g</math>और यह लंबे समय से अपेक्षित था कि यह सभी प्रजातियों में सच होगा। वास्तव में, सेवेरी ने पीढ़ी तक के लिए इसे सच साबित कर दिया था <math>10</math>.<ref>{{Cite book|last=Severi, Francesco, 1879-1961.|title=बीजगणितीय वक्रों के वर्गीकरण और रीमैन अस्तित्व प्रमेय पर|date=1915|publisher=Tipografia della R. Accademia dei Lincei|oclc=881814709}}</ref> चूँकि , यह पता चला है कि जीनस के लिए <math>g \geq 23</math><ref>{{Cite journal|last1=Eisenbud|first1=David|author1-link=David Eisenbud|last2=Harris|first2=Joe|author2-link=Joe Harris (mathematician)| year=1987|title=The Kodaira dimension of the moduli space of curves of genus ?23|journal=[[Inventiones Mathematicae]]|volume=90|issue=2|pages=359–387|doi=10.1007/bf01388710|bibcode=1987InMat..90..359E|s2cid=120642775|issn=0020-9910}}</ref><ref>{{Citation|last1=Harris|first1=Joe|author1-link=Joe Harris (mathematician)|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3613574 |author2-link=David Mumford}}</ref><ref>{{Citation|last1=Harris|first1=Joe|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3613574 }}</ref> ऐसे सभी मॉड्यूली स्थान सामान्य प्रकार के हैं, अर्थात वे अतार्किक नहीं हैं। उन्होंने मोटे मॉड्यूलि स्थानों के कोडैरा आयाम का अध्ययन करके इसे पूरा किया
पिछले सभी मामलों में, मॉड्यूलि रिक्त स्थान को अतार्किक पाया जा सकता है, जिसका अर्थ है कि प्रमुख तर्कसंगत रूपवाद उपस्थित है <math>\mathbb{P}^n \to \mathcal{M}_g</math>और यह लंबे समय से अपेक्षित था कि यह सभी प्रजातियों में सच होगा। वास्तव में, सेवेरी ने पीढ़ी तक के लिए इसे सच सिद्ध कर दिया था <math>10</math>.<ref>{{Cite book|last=Severi, Francesco, 1879-1961.|title=बीजगणितीय वक्रों के वर्गीकरण और रीमैन अस्तित्व प्रमेय पर|date=1915|publisher=Tipografia della R. Accademia dei Lincei|oclc=881814709}}</ref> चूँकि , यह पता चला है कि जीनस के लिए <math>g \geq 23</math><ref>{{Cite journal|last1=Eisenbud|first1=David|author1-link=David Eisenbud|last2=Harris|first2=Joe|author2-link=Joe Harris (mathematician)| year=1987|title=The Kodaira dimension of the moduli space of curves of genus ?23|journal=[[Inventiones Mathematicae]]|volume=90|issue=2|pages=359–387|doi=10.1007/bf01388710|bibcode=1987InMat..90..359E|s2cid=120642775|issn=0020-9910}}</ref><ref>{{Citation|last1=Harris|first1=Joe|author1-link=Joe Harris (mathematician)|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3613574 |author2-link=David Mumford}}</ref><ref>{{Citation|last1=Harris|first1=Joe|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3613574 }}</ref> ऐसे सभी मॉड्यूली स्थान सामान्य प्रकार के हैं, अर्थात वे अतार्किक नहीं हैं। उन्होंने मोटे मॉड्यूलि स्थानों के कोडैरा आयाम का अध्ययन करके इसे पूरा किया
:<math>\kappa_g = \mathrm{Kod}(\overline{\mathcal{M}}_{g}),</math>
:<math>\kappa_g = \mathrm{Kod}(\overline{\mathcal{M}}_{g}),</math>
और मिल गया <math>\kappa_g > 0 </math> के लिए <math>g \geq 23</math>. वास्तव में, के लिए <math>g > 23</math>,
और मिल गया <math>\kappa_g > 0 </math> के लिए <math>g \geq 23</math>. वास्तव में, के लिए <math>g > 23</math>,
Line 93: Line 93:
इन लोकी के ऊपर स्थित वक्र अनुरूप होते हैं
इन लोकी के ऊपर स्थित वक्र अनुरूप होते हैं


* वक्रों का जोड़ा <math>C, C'</math> दोहरे बिंदु पर जुड़ा हुआ है।
* वक्रों का जोड़ा <math>C, C'</math> दोहरे बिंदु पर जुड़ा हुआ है।
* जीनस की [[सामान्य योजना]] <math>g</math> एकल दोहरे बिंदु विलक्षणता पर वक्र।
* जीनस की [[सामान्य योजना]] <math>g</math> एकल दोहरे बिंदु विलक्षणता पर वक्र।
* क्रमपरिवर्तन तक ही जीनस के वक्रों की जोड़ी दोहरे बिंदु पर जुड़ी हुई है।
* क्रमपरिवर्तन तक ही जीनस के वक्रों की जोड़ी दोहरे बिंदु पर जुड़ी हुई है।


===जीनस 2 के लिए स्तरीकरण ===
===जीनस 2 के लिए स्तरीकरण ===
जाति के लिए <math>2</math> मामले में, द्वारा दिया गया स्तरीकरण है
जाति के लिए <math>2</math> स्थितियों में, द्वारा दिया गया स्तरीकरण है


:<math>\begin{align}
:<math>\begin{align}
Line 112: Line 112:
एन चिह्नित बिंदुओं के साथ जीनस जी नोडल वक्रों के मॉड्यूली स्टैक पर विचार करके भी समस्या को समृद्ध किया जा सकता है, जो जोड़ों से अलग और अलग है। ऐसे चिह्नित वक्रों को स्थिर कहा जाता है यदि वक्र ऑटोमोर्फिज्म का उपसमूह जो चिह्नित बिंदुओं को ठीक करता है, परिमित है। n चिह्नित बिंदुओं के साथ चिकने (या स्थिर) जीनस जी वक्रों के परिणामी मॉड्यूली स्टैक को दर्शाया गया है <math>\mathcal{M}_{g,n}</math> (या <math>\overline{\mathcal{M}}_{g,n}</math>), और आयाम है <math>3g-3 + n</math>.
एन चिह्नित बिंदुओं के साथ जीनस जी नोडल वक्रों के मॉड्यूली स्टैक पर विचार करके भी समस्या को समृद्ध किया जा सकता है, जो जोड़ों से अलग और अलग है। ऐसे चिह्नित वक्रों को स्थिर कहा जाता है यदि वक्र ऑटोमोर्फिज्म का उपसमूह जो चिह्नित बिंदुओं को ठीक करता है, परिमित है। n चिह्नित बिंदुओं के साथ चिकने (या स्थिर) जीनस जी वक्रों के परिणामी मॉड्यूली स्टैक को दर्शाया गया है <math>\mathcal{M}_{g,n}</math> (या <math>\overline{\mathcal{M}}_{g,n}</math>), और आयाम है <math>3g-3 + n</math>.


विशेष रुचि का मामला मॉड्यूली स्टैक है <math>\overline{\mathcal{M}}_{1,1}</math> चिह्नित बिंदु के साथ जीनस 1 वक्र का। यह अण्डाकार वक्रों का मोडुली स्टैक है। लेवल 1 [[ मॉड्यूलर रूप ]] इस स्टैक पर लाइन बंडलों के अनुभाग हैं, और लेवल एन मॉड्यूलर फॉर्म लेवल संरचना (बीजगणितीय ज्यामिति) (लगभग क्रम एन के बिंदुओं का अंकन) के साथ अण्डाकार वक्रों के स्टैक पर लाइन बंडलों के अनुभाग हैं।
विशेष रुचि का मामला मॉड्यूली स्टैक है <math>\overline{\mathcal{M}}_{1,1}</math> चिह्नित बिंदु के साथ जीनस 1 वक्र का। यह अण्डाकार वक्रों का मोडुली स्टैक है। लेवल 1 [[ मॉड्यूलर रूप |मॉड्यूलर रूप]] इस स्टैक पर लाइन बंडलों के अनुभाग हैं, और लेवल एन मॉड्यूलर फॉर्म लेवल संरचना (बीजगणितीय ज्यामिति) (लगभग क्रम एन के बिंदुओं का अंकन) के साथ अण्डाकार वक्रों के स्टैक पर लाइन बंडलों के अनुभाग हैं।


==सीमा ज्यामिति==
==सीमा ज्यामिति==
कॉम्पैक्टिफाइड मॉड्यूलि स्पेस की महत्वपूर्ण संपत्ति <math>\overline{\mathcal{M}}_{g,n}</math> यह है कि उनकी सीमा को मॉड्यूलि स्पेस के संदर्भ में वर्णित किया जा सकता है <math>\overline{\mathcal{M}}_{g',n'}</math> पीढ़ी के लिए <math>g' < g</math>. चिह्नित, स्थिर, नोडल वक्र को देखते हुए कोई इसके दोहरे ग्राफ, ग्राफ (अलग गणित) को गैर-नकारात्मक पूर्णांक द्वारा लेबल किए गए शीर्षों के साथ जोड़ सकता है और लूप, कई किनारों और आधे किनारों को भी क्रमांकित करने की अनुमति देता है। यहां ग्राफ के शीर्ष नोडल वक्र के अपरिवर्तनीय घटकों के अनुरूप हैं, शीर्ष की लेबलिंग संबंधित घटक का अंकगणितीय जीनस है, किनारे वक्र के नोड्स के अनुरूप हैं और आधे किनारे चिह्नों के अनुरूप हैं। दिए गए दोहरे ग्राफ़ के साथ वक्रों के स्थान का बंद होना <math>\overline{\mathcal{M}}_{g,n}</math> किसी उत्पाद के स्टैक भागफल के लिए समरूपी है <math>\prod_v \overline{\mathcal{M}}_{g_v,n_v}</math> परिमित समूह द्वारा वक्रों के संकुचित मॉड्यूली स्थानों का। उत्पाद में शीर्ष v के अनुरूप कारक में जीनस g होता है<sub>v</sub> लेबलिंग और चिह्नों की संख्या से लिया गया <math>n_v</math> v पर आउटगोइंग किनारों और आधे किनारों की संख्या के बराबर। कुल जीनस g, g का योग है<sub>v</sub> साथ ही ग्राफ़ में बंद चक्रों की संख्या।
कॉम्पैक्टिफाइड मॉड्यूलि स्पेस की महत्वपूर्ण संपत्ति <math>\overline{\mathcal{M}}_{g,n}</math> यह है कि उनकी सीमा को मॉड्यूलि स्पेस के संदर्भ में वर्णित किया जा सकता है <math>\overline{\mathcal{M}}_{g',n'}</math> पीढ़ी के लिए <math>g' < g</math>. चिह्नित, स्थिर, नोडल वक्र को देखते हुए कोई इसके दोहरे ग्राफ, ग्राफ (अलग गणित) को गैर-नकारात्मक पूर्णांक द्वारा लेबल किए गए शीर्षों के साथ जोड़ सकता है और लूप, कई किनारों और आधे किनारों को भी क्रमांकित करने की अनुमति देता है। यहां ग्राफ के शीर्ष नोडल वक्र के अपरिवर्तनीय घटकों के अनुरूप हैं, शीर्ष की लेबलिंग संबंधित घटक का अंकगणितीय जीनस है, किनारे वक्र के नोड्स के अनुरूप हैं और आधे किनारे चिह्नों के अनुरूप हैं। दिए गए दोहरे ग्राफ़ के साथ वक्रों के स्थान का बंद होना <math>\overline{\mathcal{M}}_{g,n}</math> किसी उत्पाद के स्टैक भागफल के लिए समरूपी है <math>\prod_v \overline{\mathcal{M}}_{g_v,n_v}</math> परिमित समूह द्वारा वक्रों के संकुचित मॉड्यूली स्थानों का। उत्पाद में शीर्ष v के अनुरूप कारक में जीनस g<sub>v</sub> होता है लेबलिंग और चिह्नों की संख्या से लिया गया <math>n_v</math> v पर आउटगोइंग किनारों और आधे किनारों की संख्या के बराबर। कुल जीनस g, g<sub>v</sub> का योग है साथ ही ग्राफ़ में बंद चक्रों की संख्या।


स्थिर वक्र जिनके दोहरे ग्राफ़ में लेबल वाला शीर्ष होता है <math>g_v=g</math> (इसलिए अन्य सभी शीर्ष हैं <math>g_v=0</math> और ग्राफ़ पेड़ है) को परिमेय पूँछ कहा जाता है और उनके मापांक स्थान को दर्शाया जाता है <math>\mathcal{M}^{\mathrm{r.t.}}_{g,n}</math>. स्थिर वक्र जिनका दोहरा ग्राफ़ पेड़ है, कॉम्पैक्ट प्रकार कहलाते हैं (क्योंकि जैकोबियन कॉम्पैक्ट है) और उनके मॉड्यूलि स्पेस को दर्शाया गया है <math>\mathcal{M}^{\mathrm{c.}}_{g,n}</math>.<ref name=":2">{{cite arXiv |eprint=1101.5489|last1= Faber|first1= Carel|title= वक्रों के मोडुली स्थान की टॉटोलॉजिकल और गैर-टॉटोलॉजिकल कोहोलॉजी|last2=  Pandharipande|first2= Rahul |author-link2=Rahul Pandharipande |class= math.AG|year= 2011}}</ref>
स्थिर वक्र जिनके दोहरे ग्राफ़ में लेबल वाला शीर्ष होता है जिसका अर्थ है <math>g_v=g</math> (इसलिए अन्य सभी शीर्ष हैं <math>g_v=0</math> और ग्राफ़ ट्री है) को परिमेय टेल कहा जाता है और उनके मापांक स्थान को दर्शाया जाता है <math>\mathcal{M}^{\mathrm{r.t.}}_{g,n}</math>. स्थिर वक्र जिनका दोहरा ग्राफ़ पेड़ है, कॉम्पैक्ट प्रकार कहलाते हैं (क्योंकि जैकोबियन कॉम्पैक्ट है) और उनके मॉड्यूलि स्पेस को <math>\mathcal{M}^{\mathrm{c.}}_{g,n}</math>दर्शाया गया है।<ref name=":2">{{cite arXiv |eprint=1101.5489|last1= Faber|first1= Carel|title= वक्रों के मोडुली स्थान की टॉटोलॉजिकल और गैर-टॉटोलॉजिकल कोहोलॉजी|last2=  Pandharipande|first2= Rahul |author-link2=Rahul Pandharipande |class= math.AG|year= 2011}}</ref>





Revision as of 11:07, 21 July 2023

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

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

स्थिर वक्रों के मॉड्यूली ढेर

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

उपरोक्त दोनों ढेरों का आयाम है ; इसलिए स्थिर नोडल वक्र को मानों को चुनकर पूरी प्रकार से निर्दिष्ट किया जा सकता है पैरामीटर, कब . निचले जीनस में, किसी को उनकी संख्या घटाकर, ऑटोमोर्फिज्म के सहज परिवारों की उपस्थिति का हिसाब देना चाहिए। जीनस शून्य का बिल्कुल जटिल वक्र है, रीमैन क्षेत्र, और इसकी समरूपता का समूह पीजीएल(2) है। इसलिए का आयाम के बराबर है

इसी तरह, जीनस 1 में, वक्रों का एक-आयामी स्थान होता है, लेकिन ऐसे प्रत्येक वक्र में ऑटोमोर्फिज्म का एक-आयामी समूह होता है। इसलिए, ढेर आयाम 0 है.

निर्माण और अपरिवर्तनीयता

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

,

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

उचितता

उचित योजना, या कक्षीय के लिए सघन स्थान , वक्रों पर स्थिर कमी पर प्रमेय से अनुसरण करता है।[1]इसे एबेलियन किस्म की स्थिर कमी के संबंध में अलेक्जेंडर ग्रोथेंडिक के प्रमेय का उपयोग करके पाया जा सकता है, और वक्रों की स्थिर कमी के बराबर दिखाया जा सकता है।[1]धारा 5.2

मोटे मॉड्यूलि रिक्त स्थान

कोई चिकने या स्थिर वक्रों के समरूपता वर्गों का प्रतिनिधित्व करने वाले मोटे मॉड्यूली स्थानों पर भी विचार कर सकता है। इन मोटे मॉड्यूलि स्थानों का वास्तव में अध्ययन मॉड्यूलि स्टैक की धारणा शुरू होने से पहले किया गया था। वास्तव में, मोडुली स्टैक का विचार डेलिग्ने और ममफोर्ड द्वारा मोटे मॉड्यूली स्थानों की प्रोजेक्टिविटी को सिद्ध करने के प्रयास में पेश किया गया था। हाल के वर्षों में, यह स्पष्ट हो गया है कि वक्रों का ढेर वास्तव में अधिक मौलिक वस्तु है।

मोटे मॉड्यूलि रिक्त स्थान का आयाम स्टैक के समान होता है ; चूँकि, जीनस शून्य में मोटे मॉड्यूलि स्पेस का आयाम शून्य है, और जीनस में, इसका आयाम है।

निम्न जीनस मॉड्यूलि रिक्त स्थान के उदाहरण

जाति 0

जीनस के मॉड्यूलि स्पेस की ज्यामिति का निर्धारण विरूपण सिद्धांत का उपयोग करके वक्र स्थापित किए जा सकते हैं। जीनस के लिए मोडुली की संख्या वक्र, उदा. , कोहोमोलॉजी ग्रुप द्वारा दिया गया हैसेरे द्वैत के साथ यह सह-समरूपता समूह

के लिए समरूपी है

द्वैतीकरण शीफ के लिए . लेकिन, रीमैन-रोच प्रमेय का उपयोग करते हुए|रीमैन-रोच विहित बंडल की डिग्री दिखाता है , तो की डिग्री है , इसलिए कोई वैश्विक अनुभाग नहीं हैं, जिसका अर्थ हैदिखा रहा है कि जीनस में कोई विकृति नहीं है घटता है. ये सिद्ध होता है केवल बिंदु है, और एकमात्र जीनस है घटता द्वारा दिया गया है . एकमात्र तकनीकी कठिनाई ऑटोमोर्फिज्म समूह की है बीजगणितीय समूह है , जो बार तीन बिंदुओं पर कठोर हो जाता है[2]पर निश्चित हैं, इसलिए अधिकांश लेखक लेते हैं मतलब निकालना .

जीनस 1

जीनस 1 मामला मॉड्यूली रिक्त स्थान के पहले अच्छी प्रकार से समझे जाने वाले मामलों में से है, कम से कम जटिल संख्याओं पर, क्योंकि अण्डाकार वक्रों के समरूपता वर्गों को जे-अपरिवर्तनीय द्वारा वर्गीकृत किया गया है। कहां . टोपोलॉजिकली, यह केवल एफ़िन लाइन है, लेकिन इसे अंतर्निहित टोपोलॉजिकल स्पेस के साथ स्टैक में संकुचित किया जा सकता है अनंत पर स्थिर वक्र जोड़कर। यह एकल पुच्छल वाला अण्डाकार वक्र है। सामान्य स्थितियों का निर्माण ख़त्म मूल रूप से पियरे डेलिग्ने और माइकल रैपोपोर्ट द्वारा पूरा किया गया था।[3] ध्यान दें कि अधिकांश लेखक चिह्नित बिंदु के साथ जीनस वन कर्व्स के स्थितियों को समूह की उत्पत्ति मानते हैं, अन्यथा काल्पनिक मॉड्यूल स्पेस में स्टेबलाइजर समूह बिंदु पर स्टेबलाइज़र समूह होगा वक्र द्वारा दिया गया है, क्योंकि अण्डाकार वक्रों में एबेलियन समूह संरचना होती है। यह इस काल्पनिक मॉड्यूलि स्पेस में अनावश्यक तकनीकी जटिलता जोड़ता है। वहीं दूसरी ओर, स्मूथ डेलिग्ने-ममफोर्ड स्टैक है।

जीनस 2

एफ़िन पैरामीटर स्पेस

जीनस 2 में यह विभाजकों की रैखिक प्रणाली है हाइपरलिप्टिक वक्र, ऐसे सभी वक्र हाइपरलिप्टिक वक्र हैं,[4]पृष्ठ 298 इसलिए रीमैन-हर्विट्ज़ सूत्र का उपयोग करके वक्र के शाखा स्थान से मॉड्यूलि स्थान पूरी प्रकार से निर्धारित किया जा सकता है। चूँकि इच्छानुसार जीनस 2 वक्र बहुपद रूप द्वारा दिया जाता है

कुछ विशिष्ट रूप से परिभाषित के लिए , ऐसे वक्रों के लिए पैरामीटर स्थान द्वारा दिया गया है

कहाँ स्थान से मेल खाता है .[5]


भारित प्रक्षेप्य स्थान

भारित प्रक्षेप्य स्थान और रीमैन-हर्विट्ज़ सूत्र का उपयोग करके, हाइपरलिप्टिक वक्र को बहुपद के रूप में वर्णित किया जा सकता है[6]

कहाँ के अनुभागों के लिए पैरामीटर हैं . फिर, उन अनुभागों के स्थान में प्रत्येक वक्र सम्मलित होता है जिनमें कोई त्रिमूल नहीं होता है बिंदु द्वारा दर्शाया गया .

जीनस 3

यह वक्रों का पहला मॉड्यूली स्थान है जिसमें हाइपरलिप्टिक लोकस और गैर-हाइपरलिप्टिक लोकस दोनों हैं।[7][8] गैर-हाइपरलिप्टिक वक्र सभी डिग्री 4 के समतल वक्रों ( जीनस डिग्री फार्मूला का उपयोग करके) द्वारा दिए गए हैं, जिन्हें हाइपरसर्फेस की हिल्बर्ट योजना में चिकनी लोकस द्वारा पैरामीटर किया गया है।

.

फिर, मॉड्यूलि स्पेस को सबस्टैक्स द्वारा स्तरीकृत किया जाता है

.

बिराशनल ज्यामिति

अतार्किकता अनुमान

पिछले सभी मामलों में, मॉड्यूलि रिक्त स्थान को अतार्किक पाया जा सकता है, जिसका अर्थ है कि प्रमुख तर्कसंगत रूपवाद उपस्थित है और यह लंबे समय से अपेक्षित था कि यह सभी प्रजातियों में सच होगा। वास्तव में, सेवेरी ने पीढ़ी तक के लिए इसे सच सिद्ध कर दिया था .[9] चूँकि , यह पता चला है कि जीनस के लिए [10][11][12] ऐसे सभी मॉड्यूली स्थान सामान्य प्रकार के हैं, अर्थात वे अतार्किक नहीं हैं। उन्होंने मोटे मॉड्यूलि स्थानों के कोडैरा आयाम का अध्ययन करके इसे पूरा किया

और मिल गया के लिए . वास्तव में, के लिए ,

और इसलिए सामान्य प्रकार का है.

ज्यामितीय निहितार्थ

यह ज्यामितीय रूप से महत्वपूर्ण है क्योंकि इसका तात्पर्य है कि शासित विविधता पर किसी भी रैखिक प्रणाली में सार्वभौमिक वक्र सम्मलित नहीं हो सकता है .[13]


सीमा का स्तरीकरण

मॉड्यूलि स्पेस सीमा पर प्राकृतिक स्तरीकरण है जिनके बिंदु एकवचन जीनस का प्रतिनिधित्व करते हैं वक्र.[14] यह स्तरों में विघटित हो जाता है

,

कहाँ

  • के लिए .
  • जहां कार्रवाई दो चिह्नित बिंदुओं की अनुमति देती है।
  • जब कभी भी सम है।

इन लोकी के ऊपर स्थित वक्र अनुरूप होते हैं

  • वक्रों का जोड़ा दोहरे बिंदु पर जुड़ा हुआ है।
  • जीनस की सामान्य योजना एकल दोहरे बिंदु विलक्षणता पर वक्र।
  • क्रमपरिवर्तन तक ही जीनस के वक्रों की जोड़ी दोहरे बिंदु पर जुड़ी हुई है।

जीनस 2 के लिए स्तरीकरण

जाति के लिए स्थितियों में, द्वारा दिया गया स्तरीकरण है

.

इन स्तरों के आगे के विश्लेषण का उपयोग चाउ रिंग के जनरेटर देने के लिए किया जा सकता है [14] प्रस्ताव 9.1.

चिह्नित वक्रों का मापांक

एन चिह्नित बिंदुओं के साथ जीनस जी नोडल वक्रों के मॉड्यूली स्टैक पर विचार करके भी समस्या को समृद्ध किया जा सकता है, जो जोड़ों से अलग और अलग है। ऐसे चिह्नित वक्रों को स्थिर कहा जाता है यदि वक्र ऑटोमोर्फिज्म का उपसमूह जो चिह्नित बिंदुओं को ठीक करता है, परिमित है। n चिह्नित बिंदुओं के साथ चिकने (या स्थिर) जीनस जी वक्रों के परिणामी मॉड्यूली स्टैक को दर्शाया गया है (या ), और आयाम है .

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

सीमा ज्यामिति

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

स्थिर वक्र जिनके दोहरे ग्राफ़ में लेबल वाला शीर्ष होता है जिसका अर्थ है (इसलिए अन्य सभी शीर्ष हैं और ग्राफ़ ट्री है) को परिमेय टेल कहा जाता है और उनके मापांक स्थान को दर्शाया जाता है . स्थिर वक्र जिनका दोहरा ग्राफ़ पेड़ है, कॉम्पैक्ट प्रकार कहलाते हैं (क्योंकि जैकोबियन कॉम्पैक्ट है) और उनके मॉड्यूलि स्पेस को दर्शाया गया है।[2]


यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 Deligne, Pierre; Mumford, David (1969). "दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता". Publications Mathématiques de l'IHÉS (in English). 36: 75–109. doi:10.1007/BF02684599. S2CID 16482150.
  2. 2.0 2.1 Faber, Carel; Pandharipande, Rahul (2011). "वक्रों के मोडुली स्थान की टॉटोलॉजिकल और गैर-टॉटोलॉजिकल कोहोलॉजी". arXiv:1101.5489 [math.AG].
  3. Deligne, P.; Rapoport, M. (1973), Les schémas de modules de courbes elliptiques, Lecture Notes in Mathematics, vol. 349, Springer Berlin Heidelberg, pp. 143–316, doi:10.1007/bfb0066716, ISBN 978-3-540-06558-6, URL: http://publications.ias.edu/node/367
  4. Hartshorne, Robin (29 June 2013). बीजगणितीय ज्यामिति. New York. ISBN 978-1-4757-3849-0. OCLC 861706007.{{cite book}}: CS1 maint: location missing publisher (link)
  5. Igusa, Jun-Ichi (1960). "जीनस दो के लिए मोडुली की अंकगणितीय विविधता". Annals of Mathematics. 72 (3): 612–649. doi:10.2307/1970233. ISSN 0003-486X. JSTOR 1970233.
  6. Larson, Eric (2019-04-17). "The integral Chow ring of ". arXiv:1904.08081 [math.AG].
  7. Girard, Martine; Kohel, David R. (2006), Hess, Florian; Pauli, Sebastian; Pohst, Michael (eds.), "Classification of Genus 3 Curves in Special Strata of the Moduli Space", Algorithmic Number Theory, Berlin, Heidelberg: Springer Berlin Heidelberg, vol. 4076, pp. 346–360, arXiv:math/0603555, Bibcode:2006math......3555G, doi:10.1007/11792086_25, ISBN 978-3-540-36075-9, MR 2282935, S2CID 15638167
  8. Penev, Nikola; Vakil, Ravi (2015). "जीनस छह के वक्रों के मोडुली स्थान की चाउ रिंग". Algebraic Geometry. 2 (1): 123–136. arXiv:1307.6614. doi:10.14231/ag-2015-006. ISSN 2214-2584. MR 3322200. S2CID 54876684.
  9. Severi, Francesco, 1879-1961. (1915). बीजगणितीय वक्रों के वर्गीकरण और रीमैन अस्तित्व प्रमेय पर. Tipografia della R. Accademia dei Lincei. OCLC 881814709.{{cite book}}: CS1 maint: multiple names: authors list (link)
  10. Eisenbud, David; Harris, Joe (1987). "The Kodaira dimension of the moduli space of curves of genus ?23". Inventiones Mathematicae. 90 (2): 359–387. Bibcode:1987InMat..90..359E. doi:10.1007/bf01388710. ISSN 0020-9910. S2CID 120642775.
  11. Harris, Joe; Mumford, David (1982), "On the Kodaira Dimension of the Moduli Space of Curves", Selected Papers, New York, NY: Springer New York, pp. 171–234, doi:10.1007/978-1-4757-4265-7_8, ISBN 978-1-4419-1936-6
  12. Harris, Joe; Mumford, David (1982), "On the Kodaira Dimension of the Moduli Space of Curves", Selected Papers, New York, NY: Springer New York, pp. 171–234, doi:10.1007/978-1-4757-4265-7_8, ISBN 978-1-4419-1936-6
  13. Farkas, Gavril (2009). "The global geometry of the moduli space of curves". बीजगणितीय ज्यामिति. Proceedings of Symposia in Pure Mathematics. Vol. 80. pp. 125–147. doi:10.1090/pspum/080.1/2483934. ISBN 9780821847022. S2CID 8281102.
  14. 14.0 14.1 Arithmetic and geometry: papers dedicated to I.R. Shafarevich on the occasion of his sixtieth birthday (PDF). Shafarevich, Igor Rostislavovich, 1923-2017, Artin, Michael, Tate, John Torrence, 1925-2019. Boston: Birkhäuser. 1983. ISBN 978-1-4757-9286-7. OCLC 681426064.{{cite book}}: CS1 maint: others (link)



क्लासिक संदर्भ

वक्रों के मापांक पर पुस्तकें

कोहोमोलॉजी और प्रतिच्छेदन सिद्धांत

बाहरी संबंध