बीजगणितीय वक्रों का मापांक: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[बीजगणितीय ज्यामिति]] में, '''बीजगणितीय वक्रों का मापांक''' मॉड्यूली | [[बीजगणितीय ज्यामिति]] में, '''बीजगणितीय वक्रों का मापांक''' मॉड्यूली समिष्ट ज्यामितीय समिष्ट (सामान्यतः [[योजना (गणित)]] या बीजगणितीय स्टैक) होता है, जिसके बिंदु [[बीजगणितीय वक्र]] के समरूपता वर्गों का प्रतिनिधित्व करते हैं। इस प्रकार यह [[मॉड्यूलि स्पेस|मॉड्यूलि]] समिष्ट का विशेष स्थिति है। विचारित बीजगणितीय वक्रों के वर्गों पर लागू प्रतिबंधों के आधार पर, संबंधित मॉड्यूलि समस्या और मॉड्यूलि समिष्ट भिन्न होता है। मॉड्यूलि समस्या के लिए मॉड्यूलि समिष्ट फाइन मॉड्यूलि समिष्ट और मॉड्यूलि समिष्ट मोटे मॉड्यूलि समिष्ट के बीच भी अंतर किया जाता है। | ||
सबसे बुनियादी समस्या निश्चित जीनस (गणित) के [[चिकनी रूपवाद|स्मूथ रूपवाद]] पूर्ण विविधता वक्रों के मॉड्यूल की है। जटिल संख्याओं के क्षेत्र (गणित) में ये दिए गए जीनस की [[कॉम्पैक्ट रीमैन सतह]] से सटीक रूप से मेल खाते हैं, जिसके लिए [[बर्नहार्ड रीमैन]] ने मॉड्यूलि रिक्त | सबसे बुनियादी समस्या निश्चित जीनस (गणित) के [[चिकनी रूपवाद|स्मूथ रूपवाद]] पूर्ण विविधता वक्रों के मॉड्यूल की है। जटिल संख्याओं के क्षेत्र (गणित) में ये दिए गए जीनस की [[कॉम्पैक्ट रीमैन सतह]] से सटीक रूप से मेल खाते हैं, जिसके लिए [[बर्नहार्ड रीमैन]] ने मॉड्यूलि रिक्त समिष्ट के बारे में पहले परिणाम सिद्ध किए, विशेष रूप से उनके आयाम (पैरामीटर की संख्या जिस पर जटिल संरचना) पर निर्भर करती है। | ||
==स्थिर वक्रों के मॉड्यूली ढेर== | ==स्थिर वक्रों के मॉड्यूली ढेर== | ||
Line 10: | Line 10: | ||
:<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))\\ | ||
&= -3 .\end{align}</math> | &= -3 .\end{align}</math> | ||
इसी प्रकार, जीनस 1 में, वक्रों का एक-आयामी | इसी प्रकार, जीनस 1 में, वक्रों का एक-आयामी समिष्ट होता है, किन्तु ऐसे प्रत्येक वक्र में ऑटोमोर्फिज्म का एक-आयामी समूह होता है। इसलिए, ढेर <math>\mathcal{M}_1</math> आयाम 0 है. | ||
=== निर्माण और अपरिवर्तनीयता === | === निर्माण और अपरिवर्तनीयता === | ||
यह गैर-तुच्छ प्रमेय है, जिसे पियरे डेलिग्ने और [[ डेविड मम्फोर्ड |डेविड मम्फोर्ड]] ने सिद्ध किया है,<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> मॉड्यूलि | यह गैर-तुच्छ प्रमेय है, जिसे पियरे डेलिग्ने और [[ डेविड मम्फोर्ड |डेविड मम्फोर्ड]] ने सिद्ध किया है,<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^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> | ||
===मोटे मॉड्यूलि रिक्त स्थान=== | ===मोटे मॉड्यूलि रिक्त स्थान=== | ||
कोई स्मूथ या स्थिर वक्रों के समरूपता वर्गों का प्रतिनिधित्व करने वाले मोटे मॉड्यूली स्थानों पर भी विचार कर सकता है। इन मोटे मॉड्यूलि स्थानों का वास्तव में अध्ययन मॉड्यूलि स्टैक की धारणा प्रारंभ होने से पहले किया गया था। वास्तव में, मोडुली स्टैक का विचार डेलिग्ने और ममफोर्ड द्वारा मोटे मॉड्यूली स्थानों की प्रोजेक्टिविटी को सिद्ध करने के प्रयास में प्रस्तुत किया गया था। हाल के वर्षों में, यह स्पष्ट हो गया है कि वक्रों का ढेर वास्तव में अधिक मौलिक वस्तु है। | कोई स्मूथ या स्थिर वक्रों के समरूपता वर्गों का प्रतिनिधित्व करने वाले मोटे मॉड्यूली स्थानों पर भी विचार कर सकता है। इन मोटे मॉड्यूलि स्थानों का वास्तव में अध्ययन मॉड्यूलि स्टैक की धारणा प्रारंभ होने से पहले किया गया था। वास्तव में, मोडुली स्टैक का विचार डेलिग्ने और ममफोर्ड द्वारा मोटे मॉड्यूली स्थानों की प्रोजेक्टिविटी को सिद्ध करने के प्रयास में प्रस्तुत किया गया था। हाल के वर्षों में, यह स्पष्ट हो गया है कि वक्रों का ढेर वास्तव में अधिक मौलिक वस्तु है। | ||
मोटे मॉड्यूलि रिक्त | मोटे मॉड्यूलि रिक्त समिष्ट का आयाम स्टैक के समान होता है <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} | ||
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}) | ||
Line 38: | Line 38: | ||
=== जीनस 1 === | === जीनस 1 === | ||
{{Main|अण्डाकार वक्रों का मॉड्यूली स्टैक}} | {{Main|अण्डाकार वक्रों का मॉड्यूली स्टैक}} | ||
जीनस 1 स्थिति मॉड्यूली रिक्त | जीनस 1 स्थिति मॉड्यूली रिक्त समिष्ट के पहले अच्छी प्रकार से समझे जाने वाले स्थितियों में से है, कम से कम जटिल संख्याओं पर, क्योंकि अण्डाकार वक्रों के समरूपता वर्गों को [[जे-अपरिवर्तनीय]] द्वारा वर्गीकृत किया गया है। | ||
<math>j: \mathcal{M}_{1,1}|_{\mathbb{C}} \to \mathbb{A}^1_\mathbb{C}</math> | <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>\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> स्मूथ डेलिग्ने-ममफोर्ड स्टैक है। | ||
=== जीनस 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 में यह विभाजकों की रैखिक प्रणाली है [[हाइपरलिप्टिक वक्र]], ऐसे सभी वक्र हाइपरलिप्टिक वक्र हैं,<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> | ||
कुछ विशिष्ट रूप से परिभाषित के लिए <math>a,b,c \in \mathbb{A}^1</math>, ऐसे वक्रों के लिए पैरामीटर | कुछ विशिष्ट रूप से परिभाषित के लिए <math>a,b,c \in \mathbb{A}^1</math>, ऐसे वक्रों के लिए पैरामीटर समिष्ट द्वारा दिया गया है | ||
:<math>\mathbb{A}^3 \setminus (\Delta_{a,b} \cup \Delta_{a,c} \cup \Delta_{b,c}),</math> | :<math>\mathbb{A}^3 \setminus (\Delta_{a,b} \cup \Delta_{a,c} \cup \Delta_{b,c}),</math> | ||
यहाँ <math>\Delta_{i,j}</math> | यहाँ <math>\Delta_{i,j}</math> समिष्ट से मेल खाता है <math>i \neq j</math>.<ref>{{Cite journal|last=Igusa|first=Jun-Ichi|author-link=Jun-Ichi Igusa|date=1960|title=जीनस दो के लिए मोडुली की अंकगणितीय विविधता|jstor=1970233|journal=[[Annals of Mathematics]]|volume=72|issue=3|pages=612–649|doi=10.2307/1970233|issn=0003-486X}}</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>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 के समतल वक्रों ([[ जीनस डिग्री फार्मूला | जीनस डिग्री फार्मूला]] का उपयोग करके) द्वारा दिए गए हैं, जिन्हें हाइपरसर्फेस की हिल्बर्ट योजना में चिकनी लोकस द्वारा पैरामीटर किया गया है। | ||
:<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>. | ||
फिर, मॉड्यूलि | फिर, मॉड्यूलि समिष्ट को सबस्टैक्स द्वारा स्तरीकृत किया जाता है | ||
:<math>\mathcal{M}_3 = [H_2/\mathrm{PGL}(3))] \coprod \mathcal{M}_3^{\mathrm{hyp}}</math>. | :<math>\mathcal{M}_3 = [H_2/\mathrm{PGL}(3))] \coprod \mathcal{M}_3^{\mathrm{hyp}}</math>. | ||
Line 74: | Line 74: | ||
=== [[अतार्किक|अतार्किकता]] अनुमान === | === [[अतार्किक|अतार्किकता]] अनुमान === | ||
पिछले सभी स्थितियों में, मॉड्यूलि रिक्त | पिछले सभी स्थितियों में, मॉड्यूलि रिक्त समिष्ट को अतार्किक पाया जा सकता है, जिसका अर्थ है कि प्रमुख तर्कसंगत रूपवाद उपस्थित है <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 84: | Line 84: | ||
== सीमा का स्तरीकरण == | == सीमा का स्तरीकरण == | ||
मॉड्यूलि | मॉड्यूलि समिष्ट <math>\overline{\mathcal{M}}_{g}</math> सीमा पर प्राकृतिक स्तरीकरण है <math>\partial\overline{\mathcal{M}}_{g}</math> जिनके बिंदु एकवचन जीनस का प्रतिनिधित्व करते हैं <math>g</math> वक्र.<ref name=":1">{{Cite book|title=Arithmetic and geometry: papers dedicated to I.R. Shafarevich on the occasion of his sixtieth birthday|date=1983|publisher=Birkhäuser|others=Shafarevich, Igor Rostislavovich, 1923-2017, Artin, Michael, Tate, John Torrence, 1925-2019|isbn=978-1-4757-9286-7| location=Boston|oclc=681426064|url=https://www.dam.brown.edu/people/mumford/alg_geom/papers/1983b--EnumGeomModuli-NC.pdf}}</ref> यह स्तरों में विघटित हो जाता है | ||
:<math>\partial\overline{\mathcal{M}}_{g} = \coprod_{0 \leq h \leq (g/2)} \Delta_h^*</math>, | :<math>\partial\overline{\mathcal{M}}_{g} = \coprod_{0 \leq h \leq (g/2)} \Delta_h^*</math>, | ||
Line 118: | Line 118: | ||
==सीमा ज्यामिति== | ==सीमा ज्यामिति== | ||
संकुचित मॉड्यूलि | संकुचित मॉड्यूलि समिष्ट की महत्वपूर्ण संपत्ति <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>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 12:06, 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.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.0 2.1 Faber, Carel; Pandharipande, Rahul (2011). "वक्रों के मोडुली स्थान की टॉटोलॉजिकल और गैर-टॉटोलॉजिकल कोहोलॉजी". arXiv:1101.5489 [math.AG].
- ↑ 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
- ↑ Hartshorne, Robin (29 June 2013). बीजगणितीय ज्यामिति. New York. ISBN 978-1-4757-3849-0. OCLC 861706007.
{{cite book}}
: CS1 maint: location missing publisher (link) - ↑ Igusa, Jun-Ichi (1960). "जीनस दो के लिए मोडुली की अंकगणितीय विविधता". Annals of Mathematics. 72 (3): 612–649. doi:10.2307/1970233. ISSN 0003-486X. JSTOR 1970233.
- ↑ Larson, Eric (2019-04-17). "The integral Chow ring of ". arXiv:1904.08081 [math.AG].
- ↑ 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
- ↑ 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.
- ↑ Severi, Francesco, 1879-1961. (1915). बीजगणितीय वक्रों के वर्गीकरण और रीमैन अस्तित्व प्रमेय पर. Tipografia della R. Accademia dei Lincei. OCLC 881814709.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - ↑ 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.
- ↑ 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
- ↑ 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
- ↑ 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.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)
क्लासिक संदर्भ
- Grothendieck, Alexander (1960–1961). "विश्लेषणात्मक ज्यामिति में निर्माण तकनीकें। I. टेइचमुलर स्पेस और इसके वेरिएंट का स्वयंसिद्ध विवरण" (PDF). Séminaire Henri Cartan. Paris. 13 (1). Zbl 0142.33503. Exposés No. 7 and 8.
- Mumford, David; Fogarty, John; Kirwan, Frances Clare (1994). ज्यामितीय अपरिवर्तनीय सिद्धांत (3rd enl. ed.). Berlin: Springer-Verlag. ISBN 3-540-56963-4. MR 1304906. OCLC 29184987.
- Deligne, Pierre; Mumford, David (1969). "दिए गए जीनस के वक्रों के स्थान की अपरिवर्तनीयता" (PDF). Publications Mathématiques de l'IHÉS. 36: 75–109. CiteSeerX 10.1.1.589.288. doi:10.1007/bf02684599. S2CID 16482150.
वक्रों के मापांक पर पुस्तकें
- Harris, Joe; Morrison, Ian (1998). वक्रों का मापांक. Springer Verlag. ISBN 978-0-387-98429-2.
- Katz, Nicholas M; Mazur, Barry (1985). अण्डाकार वक्रों का अंकगणितीय मापांक. Princeton University Press. ISBN 978-0-691-08352-0.
- Arbarello, Enrico; Cornalba, Maurizio; Griffiths, Phillip A. (2011). बीजगणितीय वक्रों की ज्यामिति II. Grundlehren der mathematischen Wissenschaften. Vol. 268. doi:10.1007/978-3-540-69392-5. ISBN 978-3-540-42688-2.
कोहोमोलॉजी और प्रतिच्छेदन सिद्धांत
- Zvonkine, Dimitri (2012). "An introduction to moduli spaces of curves and their intersection theory". In Papadopoulos, Athanase (ed.). टीचमुलर थ्योरी की हैंडबुक, खंड III (PDF). IRMA Lectures in Mathematics and Theoretical Physics. Vol. 17. Zürich, Switzerland: European Mathematical Society Publishing House. pp. 667–716. doi:10.4171/103-1/12. ISBN 978-3-03719-103-3. MR 2952773.
- Faber, Carel; Pandharipande, Rahul (2013). Farkas, Gavril; Morrison, Ian (eds.). वक्रों के मोडुली स्थान की टॉटोलॉजिकल और गैर-टॉटोलॉजिकल कोहोलॉजी (PDF). pp. 293–330. ISBN 9781571462572. MR 3184167.
{{cite book}}
:|work=
ignored (help)