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

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

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

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

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


 * $$\begin{align}\dim(\text{space of genus 0 curves}) - \dim(\text{group of automorphisms}) &= 0 - \dim(\mathrm{PGL}(2))\\

&= -3 .\end{align}$$ इसी प्रकार, जीनस 1 में, वक्रों का एक-आयामी समिष्ट होता है, किन्तु ऐसे प्रत्येक वक्र में ऑटोमोर्फिज्म का एक-आयामी समूह होता है। इसलिए, ढेर $$\mathcal{M}_1$$ आयाम 0 है.

निर्माण और अपरिवर्तनीयता
यह गैर-तुच्छ प्रमेय है, जिसे पियरे डेलिग्ने और डेविड मम्फोर्ड ने सिद्ध किया है, वह मॉड्यूलि अनुपात $$\mathcal{M}_g$$ अपरिवर्तनीय है, जिसका अर्थ है कि इसे दो उचित उपसमूहों के मिलन के रूप में व्यक्त नहीं किया जा सकता है। वे लोकस का विश्लेषण करके इसे सिद्ध करते हैं $$H_g$$ हिल्बर्ट योजना में स्थिर वक्रों की संख्या $$\mathrm{Hilb}_{\mathbb{P}^{5g - 5 -1}}^{P_g(n)}$$ त्रि-विहित रूप से एम्बेडेड वक्रों की (बहुत पर्याप्त के एम्बेडिंग से)होती है। $$\omega_C^{\otimes 3}$$ प्रत्येक वक्र के लिए) जिसमें हिल्बर्ट बहुपद है $$P_g(n) = (6n-1)(g-1)$$. फिर, ढेर $$[H_g / \mathrm{PGL}(5g-6)]$$ मॉड्यूलि समिष्ट का निर्माण है $$\mathcal{M}_g$$. विरूपण (गणित) का उपयोग करते हुए, डेलिग्ने और ममफोर्ड दिखाते हैं कि यह अनुपात स्मूथ है और स्थिर वक्रों के बीच समरूपता के अनुपात का उपयोग करते हैं $$\mathrm{Isom}_S(C,C')$$, उसे दिखाने के लिए $$\mathcal{M}_g$$ इसमें परिमित स्टेबलाइजर्स हैं, इसलिए यह डेलिग्ने-ममफोर्ड अनुपात है। इसके अतिरिक्त, वे स्तरीकरण पाते हैं $$H_g$$ जैसा कि ये दर्शाया गया है,


 * $$H_g^o \coprod H_{g,1} \coprod \cdots \coprod H_{g,n}$$,

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

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

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

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

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

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

जीनस 1
जीनस 1 स्थिति मॉड्यूली रिक्त समिष्ट के पहले अच्छी प्रकार से समझे जाने वाले स्थितियों में से है, कम से कम जटिल संख्याओं पर, क्योंकि अण्डाकार वक्रों के समरूपता वर्गों को जे-अपरिवर्तनीय द्वारा वर्गीकृत किया गया है।

$$j: \mathcal{M}_{1,1}|_{\mathbb{C}} \to \mathbb{A}^1_\mathbb{C}$$

यहाँ $$\mathcal{M}_{1,1}|_{\mathbb{C}}=\mathcal{M}_{1,1}\times_{\text{Spec}(\mathbb{Z})} \text{Spec}(\mathbb{C})$$. टोपोलॉजी संबंधी तरीके से, $$\mathcal{M}_{1,1}|_{\mathbb{C}}$$ यह केवल एफ़िन लाइन है, किन्तु इसे अंतर्निहित टोपोलॉजिकल समिष्ट के साथ अनुपात में संकुचित किया जा सकता है $$\mathbb{P}^1_\mathbb{C}$$ अनंत पर स्थिर वक्र जोड़कर। यह एकल पुच्छल वाला अण्डाकार वक्र है। सामान्य स्थितियों का निर्माण ख़त्म $$\text{Spec}(\mathbb{Z})$$ मूल रूप से पियरे डेलिग्ने और माइकल रैपोपोर्ट द्वारा पूरा किया गया था।

ध्यान दें कि अधिकांश लेखक चिह्नित बिंदु के साथ जीनस वन कर्व्स के स्थितियों को समूह की उत्पत्ति मानते हैं, अन्यथा काल्पनिक मॉड्यूल समिष्ट में स्थिरीकरण समूह $$\mathcal{M}_1$$ बिंदु पर स्थिरीकरण समूह होगा $$[C] \in \mathcal{M}_1$$ वक्र द्वारा दिया गया है, क्योंकि अण्डाकार वक्रों में एबेलियन समूह संरचना होती है। यह इस काल्पनिक मॉड्यूलि समिष्ट में अनावश्यक तकनीकी जटिलता जोड़ता है। वहीं दूसरी ओर, $$\mathcal{M}_{1,1}$$ स्मूथ डेलिग्ने-ममफोर्ड अनुपात है।

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


 * $$y^2 - x(x-1)(x-a)(x-b)(x-c)$$

कुछ विशिष्ट रूप से परिभाषित के लिए $$a,b,c \in \mathbb{A}^1$$, ऐसे वक्रों के लिए पैरामीटर समिष्ट द्वारा दिया गया है


 * $$\mathbb{A}^3 \setminus (\Delta_{a,b} \cup \Delta_{a,c} \cup \Delta_{b,c}),$$

यहाँ $$\Delta_{i,j}$$ समिष्ट से मेल खाता है $$i \neq j$$.

भारित प्रक्षेप्य स्थान
भारित प्रक्षेप्य समिष्ट और रीमैन-हर्विट्ज़ सूत्र का उपयोग करके, हाइपरलिप्टिक वक्र को बहुपद के रूप में वर्णित किया जा सकता है
 * $$z^2 = ax^6 + bx^5y + cx^4y^2 + dx^3y^3 + ex^2y^4 + fxy^5 + gy^6 ,$$

यहाँ $$a,\ldots,f$$ के अनुभागों के लिए पैरामीटर हैं $$\Gamma(\mathbb{P}(3,1), \mathcal{O}(g))$$. फिर, उन अनुभागों के समिष्ट में प्रत्येक वक्र सम्मलित होता है जिनमें कोई त्रिमूल नहीं होता है $$C$$ बिंदु द्वारा दर्शाया गया $$[C]\in \mathcal{M}_2$$.

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


 * $$\operatorname{Hilb}_{\mathbb{P}^2}^{8t-4} \cong \mathbb{P}^{\binom{6}{4} - 1}$$.

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


 * $$\mathcal{M}_3 = [H_2/\mathrm{PGL}(3))] \coprod \mathcal{M}_3^{\mathrm{hyp}}$$.

अतार्किकता अनुमान
पिछले सभी स्थितियों में, मॉड्यूलि रिक्त समिष्ट को अतार्किक पाया जा सकता है, जिसका अर्थ है कि प्रमुख तर्कसंगत रूपवाद उपस्थित है $$\mathbb{P}^n \to \mathcal{M}_g$$और यह लंबे समय से अपेक्षित था कि यह सभी प्रजातियों में सच होगा। वास्तव में, सेवेरी ने पीढ़ी तक के लिए इसे सच सिद्ध कर दिया था $$10$$. चूँकि, यह पता चला है कि जीनस के लिए $$g \geq 23$$  ऐसे सभी मॉड्यूली समिष्ट सामान्य प्रकार के हैं, अर्थात वे अतार्किक नहीं हैं। उन्होंने मोटे मॉड्यूलि स्थानों के कोडैरा आयाम का अध्ययन करके इसे पूरा किया
 * $$\kappa_g = \mathrm{Kod}(\overline{\mathcal{M}}_{g}),$$

और मिल गया $$\kappa_g > 0 $$ के लिए $$g \geq 23$$. वास्तव में, के लिए $$g > 23$$,
 * $$\kappa_g = 3g - 3 = \dim(\mathcal{M}_g),$$

और इसलिए $$\mathcal{M}_g$$ सामान्य प्रकार का है.

ज्यामितीय निहितार्थ
यह ज्यामितीय रूप से महत्वपूर्ण है क्योंकि इसका तात्पर्य है कि शासित विविधता पर किसी भी रैखिक प्रणाली में सार्वभौमिक वक्र $$\mathcal{C}_g$$ में सम्मलित नहीं हो सकता है.

सीमा का स्तरीकरण
मॉड्यूलि समिष्ट $$\overline{\mathcal{M}}_{g}$$ सीमा पर प्राकृतिक स्तरीकरण है $$\partial\overline{\mathcal{M}}_{g}$$ जिनके बिंदु एकवचन जीनस का प्रतिनिधित्व करते हैं $$g$$ वक्र. यह स्तरों में विघटित हो जाता है


 * $$\partial\overline{\mathcal{M}}_{g} = \coprod_{0 \leq h \leq (g/2)} \Delta_h^*$$,

यहाँ


 * $$\Delta_h^* \cong \overline{\mathcal{M}}_{h} \times \overline{\mathcal{M}}_{g-h} $$ के लिए $$1 \leq h < g/2$$.
 * $$\Delta_0^* \cong \overline{\mathcal{M}}_{g-1,2} / (\Z/2)$$ जहां कार्रवाई दो चिह्नित बिंदुओं की अनुमति देती है।
 * $$\Delta_{g/2} \cong (\overline{\mathcal{M}}_{g/2} \times \overline{\mathcal{M}}_{g/2}) / (\Z/2)$$ जब कभी भी $$g$$ सम है।

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


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

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


 * $$\begin{align}

\partial \overline{\mathcal{M}}_2 &= \Delta_0^* \coprod \Delta_1^* \\ &= \overline{\mathcal{M}}_{1,2}/(\Z/2) \coprod (\overline{\mathcal{M}}_1\times \overline{\mathcal{M}}_1)/(\Z/2) \end{align}$$.

इन स्तरों के आगे के विश्लेषण का उपयोग चाउ रिंग के जनरेटर देने के लिए किया जा सकता है $$A^*(\overline{\mathcal{M}}_2)$$ प्रस्ताव 9.1.

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

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

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

स्थिर वक्र जिनके दोहरे ग्राफ़ में लेबल वाला शीर्ष होता है जिसका अर्थ है $$g_v=g$$ (इसलिए अन्य सभी शीर्ष हैं $$g_v=0$$ और ग्राफ़ ट्री है) को परिमेय टेल कहा जाता है और उनके मापांक समिष्ट को दर्शाया जाता है $$\mathcal{M}^{\mathrm{r.t.}}_{g,n}$$. स्थिर वक्र जिनका दोहरा ग्राफ़ पेड़ है, कॉम्पैक्ट प्रकार कहलाते हैं (क्योंकि जैकोबियन कॉम्पैक्ट है) और उनके मॉड्यूलि समिष्ट को $$\mathcal{M}^{\mathrm{c.}}_{g,n}$$दर्शाया गया है।

यह भी देखें

 * चिह्नित वक्रों का मापांक
 * विटेन अनुमान
 * टॉटोलॉजिकल रिंग
 * ग्रोथेंडिक-रीमैन-रोच प्रमेय

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




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




बाहरी संबंध

 * "Topology and geometry of the moduli space of curves"
 * "Moduli of Stable Maps, Gromov-Witten Invariants, and Quantum Cohomology"