मॉड्युली स्पेस

गणित में, विशेष रूप से बीजगणितीय ज्यामिति में, मॉड्युली समष्टि एक ज्यामितीय समष्टि सामान्य रूप से प्रणाली (गणित) या  बीजगणितीय चित्ति (स्टैक) होता है, जिसके बिंदु कुछ निश्चित प्रकार के बीजगणितीय-ज्यामितीय वस्तुओं या ऐसी वस्तुओं के समरूपता वर्गो का प्रतिनिधित्व करते हैं। ऐसे समष्टि प्रायः वर्गीकरण समस्याओं के समाधान के रूप में उत्पन्न होते हैं: यदि कोई यह दिखा सकता है कि रोचक वस्तुओं का समुच्चय (उदाहरण के लिए, एक निश्चित वर्ग के सरल बीजगणितीय वक्र) को एक ज्यामितीय समष्टि की संरचना दी जा सकती है, तो परिणामी समष्टि पर निर्देशांक प्रस्तुत करके ऐसी वस्तुओं को पैरामीट्रिज किया जा सकता है। इस संदर्भ में, मापांक शब्द का प्रयोग पैरामीटर के पर्याय के रूप में किया जाता है; मॉडुलि समष्टि को पहले वस्तुओं के समष्टि के अतिरिक्त मापदंडों के समष्टि के रूप में समझा गया था। मॉड्यूलि समष्टि का एक प्रकार औपचारिक मोडुली है। बर्नहार्ड रीमैन ने पहली बार 1857 में मोडुली शब्द का उपयोग किया था।

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

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

उदाहरण के लिए, विचार करें कि R2 में रेखाओं के समुच्चय का वर्णन कैसे किया जाए जो मूल बिंदु को प्रतिच्छेद करती है। हम इस वर्ग की प्रत्येक रेखा L को एक परिणाम मे निर्दिष्ट करना चाहते हैं जो विशिष्ट रूप से इसे एक मापांक की पहचान कर सके। ऐसी मात्रा का एक उदाहरण 0 ≤ θ < π रेडियन के साथ धनात्मक कोण θ(L) है। और L रेखाओ का समुच्चय इसलिए पैरामीटर युक्त को P1(R) के रूप में जाना जाता है और इसे वास्तविक प्रक्षेप्य रेखा कहा जाता है।

हम R2 में रेखाओं के समुच्चय का भी वर्णन कर सकते हैं जो एक सांस्थितिकीय निर्माण के माध्यम से मूल को प्रतिच्छेद करता है। अतः S1 ⊂ R2 पर विचार करने के लिए और ध्यान दें कि प्रत्येक बिंदु s ∈ S1 समुच्चय में एक रेखा L(s) देता है जो मूल बिंदु और s को जोड़ता है। हालाँकि, यह मानचित्र दो से एक है, इसलिए हम P1(R) ≅ S1/~ उत्पन्न करने के लिए s ~ −s की पहचान करना चाहते हैं, जहां इस समष्टि पर सांस्थिति भागफल मानचित्र S1 → P1(R) द्वारा प्रेरित भागफल सांस्थिति है।

इस प्रकार, जब हम P1(R) पर विचार करते हैं, रेखाओं की मॉड्यूलि समष्टि के रूप में जो R2 में मूल बिन्दु को प्रतिच्छेद करती है, हम उन तरीकों को अभिग्रहण करते हैं जिनमें वर्ग के इकाई (इस स्थिति में रेखा) 0 ≤ θ < π को निरंतर बदलते हुए संशोधित कर सकते हैं।

प्रक्षेपीय समष्‍टि और ग्रासमैनियन
वास्तविक प्रक्षेपीय समष्‍टि Pn एक मोडुली समष्‍टि है जो Rn+1 में रेखाओ की समष्टि को पैरामीट्रिज करता है जो मूल के माध्यम से गुजरता है। इसी प्रकार, जटिल प्रक्षेपीय समष्‍टि Cn+1 में मूल बिन्दु के माध्यम से गुजरने वाली सभी जटिल रेखाओं का समष्टि है।

अधिक सामान्य रूप से, क्षेत्र F पर सदिश समष्टि V का ग्रासमानियन 'G'(k, V), V के सभी k-विमीय रैखिक उपसमष्टि का मॉडुलि समष्टि होता है।

वैश्विक रूप से उत्पन्न वर्गों के साथ वृहत रेखा बंडल के मॉड्यूल के रूप में प्रक्षेपीय समष्‍टि
सार्वभौमिक प्रक्षेप्य समष्टि $$\mathbf{P}^n_\mathbb{Z}$$ में जब भी किसी प्रणाली $$X$$ का अन्तः स्थापन होता है, तो अन्तः स्थापन एक रेखा बंडल $$\mathcal{L} \to X$$ द्वारा दी गई है, और $$n+1$$ भाग $$s_0,\ldots,s_n\in\Gamma(X,\mathcal{L})$$ जो सभी समान समय में शून्य नहीं होते हैं। इसका तात्पर्य है, एक बिंदु दिया गया है $$x:\text{Spec}(R) \to X$$ एक संबद्ध बिंदु है"$\hat{x}:\text{Spec}(R) \to \mathbf{P}^n_\mathbb{Z}$"रचनाओं द्वारा प्रदान किया गया"$[s_0:\cdots:s_n]\circ x = [s_0(x):\cdots:s_n(x)] \in \mathbf{P}^n_\mathbb{Z}(R) $"फिर, अनुभागों के साथ दो रेखा बंडल समतुल्य हैं"$(\mathcal{L},(s_0,\ldots,s_n))\sim (\mathcal{L}',(s_0',\ldots,s_n'))$"यदि कोई तुल्याकारिता $$\phi:\mathcal{L} \to \mathcal{L}'$$ है जैसे कि $$\phi(s_i) = s_i'$$ है। इसका तात्पर्य है संबंधित मोडुली फलननिर्धारक"$\mathbf{P}^n_\mathbb{Z}:\text{Sch}\to \text{Sets}$"रचना $$X$$ समुच्चय पर प्रेषित करता है

$$\mathbf{P}^n_\mathbb{Z}(X) =\left\{ (\mathcal{L},s_0,\ldots,s_n) : \begin{matrix} \mathcal{L} \to X \text{ is a line bundle} \\ s_0,\ldots,s_n\in\Gamma(X,\mathcal{L}) \\ \text{ form a basis of global sections} \end{matrix} \right\} / \sim $$

यह दिखा रहा है कि यह सच है, पुनरुक्ति की एक श्रृंखला के माध्यम से परिचालन किया जा सकता है: कोई भी प्रक्षेप्य अन्तः स्थापन $$i:X \to \mathbb{P}^n_\mathbb{Z}$$ वैश्विक रूप से उत्पन्न शीफ $$i^*\mathcal{O}_{\mathbf{P}^n_\mathbb{Z}}(1)$$ वर्गों के साथ $$i^*x_0,\ldots,i^*x_n$$ देता है। इसके विपरीत, एक विस्तृत रेखा बंडल $$\mathcal{L} \to X$$ दिया गया है। वैश्विक रूप से उत्पन्न $$n+1$$ अनुभाग ऊपर के रूप में एक अन्तः स्थापन देता है।

चाउ प्रकार
चाउ प्रकार Chow(d,P3) एक प्रक्षेपी बीजगणितीय प्रकार है जो P3 में कोटि d वक्रों को पैरामीट्रिज करती है। इसका निर्माण निम्नानुसार किया गया है। मान लीजिए C, P3 में कोटि d का एक वक्र है, फिर P3 में उन सभी रेखाओं पर विचार करें जो वक्र C को प्रतिच्छेद करती हैं। यह G(2, 4) में एक कोटि d भाजक DC है, जो P3 में रेखाओं का ग्रासमानियन है। जब C भिन्न होता है, तो C को DC से जोड़कर, हम ग्रासमानियन चाउ (d, P3) के कोटि d विभाजकों के समष्टि के उपसमुच्चय के रूप में कोटि d वक्रों का एक पैरामीटर स्थान प्राप्त करते हैं।

हिल्बर्ट प्रणाली
हिल्बर्ट प्रणाली Hilb(X) एक मोडुली प्रणाली है। Hilb(X) का प्रत्येक बंद बिंदु एक निश्चित प्रणाली X की एक संवृत्त उपप्रणाली से अनुरूप है, और प्रत्येक संवृत्त उपप्रणाली को ऐसे बिंदु द्वारा दर्शाया जाता है। हिल्बर्ट प्रणाली का एक सरल उदाहरण प्रक्षेपीय समष्‍टि $$\mathbb{P}^n$$ के कोटि $$d$$ ऊनविम पृष्ठ को पैरामिट्रीकृत करने वाली हिल्बर्ट प्रणाली है। यह प्रक्षेपी बंडल द्वारा दिया जाता है $$\mathcal{Hilb}_d(\mathbb{P}^n) = \mathbb{P}(\Gamma(\mathcal{O}(d)))$$ द्वारा दिए गए सार्वभौमिक वर्ग के साथ "द्वारा दिया गया$\mathcal{U} = \{ (V(f), f) : f \in \Gamma(\mathcal{O}(d)) \}$"जहाँ $$V(f)$$ डिग्री d सजातीय बहुपद f के लिए संबद्ध प्रक्षेपी प्रणाली है।

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

सूक्ष्म मोडुलि समष्टि
यह मानक अवधारणा है। स्वानुभविक रूप से, यदि हमारे पास एक समष्टि M है जिसके लिए प्रत्येक बिंदु m ∊ M बीजगणित-ज्यामितीय वस्तु Um से अनुरूप है, तो हम इन वस्तुओं को M पर एक पुनरुक्तात्मक वर्ग U में संग्रहित कर सकते हैं। उदाहरण के लिए, ग्रासमैनियन 'G(k, V) श्रेणी K के समुच्चय को ले जाता है जिसका सूत्र किसी भी बिंदु पर [L] ∊ G(k, V) केवल रैखिक उपसमष्टि L ⊂ V है। M को वर्ग U का 'आधार स्थान' कहा जाता है। हम कहते हैं कि ऐसा वर्ग सार्वभौमिक है यदि बीजगणित-ज्यामितीय वस्तुओं का कोई भी वर्ग किसी भी आधार स्थान B पर T एक अद्वितीय मानचित्र B → M के साथ U का पुलबैक (श्रेणी सिद्धांत) है। सूक्ष्म मोडुलि समष्टि एक समष्टि M है जो एक सार्वभौमिक वर्ग का आधार है।

अधिक परिशुद्ध रूप से, मान लीजिए कि हमारे पास योजनाओं से लेकर समुच्चय तक एक फलननिर्धारक F है, जो एक प्रणाली B को आधार B के साथ वस्तुओं के सभी उपयुक्त वर्गों के समुच्चय को निर्धारित करता है। समष्टि M, फलननिर्धारक F के लिए एक 'सूक्ष्म मोडुली समष्टि' है यदि M प्रतिनिधित्व योग्य है फलननिर्धारक F, अर्थात एक प्राकृतिक समरूपता τ : F → Hom(−, M) है, जहां Hom(−, M) बिंदुओं का फलननिर्धारक है। इसका तात्पर्य है कि M एक सार्वभौमिक वर्ग रखता है; यह वर्ग पर पहचान मानचित्र 1M ∊ Hom(M, M) के अनुरूप वर्ग है।

स्थूल मॉडुलि समष्टि
सूक्ष्म मोडुली समष्टि वांछनीय हैं, लेकिन वे सदैव सम्मिलित नहीं होते हैं और प्रायः निर्माण करना कठिन होता है, इसलिए गणितज्ञ कभी-कभी एक दुर्बल धारणा का उपयोग करते हैं जो स्थूल मोडुली समष्टि का विचार है। यदि कोई प्राकृतिक रूपांतरण τ : F → Hom(-, M) सम्मिलित है और τ ऐसे प्राकृतिक परिवर्तनों के बीच सार्वभौमिक है, तो एक समष्टि M, फलननिर्धारक F के लिए एक स्थूल मोडुली समष्टि है। अधिक ठोस रूप से, M, F के लिए एक स्थूल मोडुली समष्टि है यदि कोई वर्ग T एक आधार B पर एक मानचित्र φT : B → M और किन्हीं दो वस्तुओं V और W (एक बिंदु पर वर्गों के रूप में माना जाता है) को समान बिंदु के अनुरूप बनाता है। M यदि और केवल यदि V और W समरूपी हैं। इस प्रकार, M एक ऐसा समष्टि है जिसमें प्रत्येक वस्तु के लिए एक बिंदु होता है जो एक वर्ग में प्रकट हो सकता है, और जिसकी ज्यामिति वर्गों में वस्तुओं के भिन्न होने के तरीकों को दर्शाती है। हालांकि, ध्यान दें कि, एक स्थूल मोडुली समष्टि में आवश्यक रूप से उपयुक्त वस्तुओं का कोई वर्ग नहीं होता है, केवल एक सार्वभौमिक होने दें।

दूसरे शब्दों में, एक सूक्ष्म मॉडुलि समष्टि में आधार स्थान M और सार्वभौमिक वर्ग U → M दोनों सम्मिलित होते हैं, जबकि स्थूल मॉड्यूलि समष्टि में केवल आधार स्थान M होता है।

मोडुली चित्ति
प्रायः ऐसा होता है कि रोचक ज्यामितीय वस्तुएं कई प्राकृतिक स्वाकारिकता से सुसज्जित होती हैं। यह विशेष रूप से एक सूक्ष्म मोडुली समष्टि के अस्तित्व को असंभव बनाता है सामान्य रूप से, विचार यह है कि यदि एल कुछ ज्यामितीय वस्तु है, तो सामान्य वर्ग L × [0,1] को वृत्त 'S1' 1 L × {0} को L × {1} के साथ एक गैर-सामान्य स्वाकारिकता के माध्यम से पहचान कर व्यावर्तित वर्ग में बनाया जा सकता है। अब यदि सूक्ष्म मॉडुलि समष्टि X अस्तित्व में है, तो मानचित्र 'S'1 → X को स्थिर नहीं होना चाहिए, लेकिन सामान्यतः से किसी भी उपयुक्त विवृत समुच्चय पर स्थिर होना चाहिए, फिर भी कभी-कभी स्थूल मोडुली समष्टि प्राप्त कर सकते हैं। हालांकि, यह दृष्टिकोण आदर्श नहीं है, क्योंकि ऐसे समष्टि के अस्तित्व की प्रत्याभूति नहीं है, जब वे सम्मिलित होते हैं तो वे प्रायः असामान्य होते हैं, और उन वस्तुओं के कुछ गैर-सामान्य वर्गों के बारे में विवरण स्मरण करते हैं जिन्हें वे वर्गीकृत करते हैं।

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

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

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

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


 * आयाम(वर्ग शून्य वक्र की समष्टि) - आयाम(समाकारिकता का बंडल) = 0 - आयाम(पीजीएल(2)) = -3

इसी तरह, वर्ग 1 में, वक्र का एक आयामी समष्टि है, लेकिन इस तरह के प्रत्येक वक्र में समाकारिकता का एक आयामी बंडल होता है। इसलिए, चित्ति $$\mathcal{M}_1$$ आयाम 0 है। अतः g > 1 होने पर स्थूल मॉडुलि समष्टि का आयाम 3g−3 होता है, क्योंकि वर्ग g > 1 के साथ वक्र केवल एक परिमित बंडल होता है, जैसे कि आयाम (समाकारिकता का एक बंडल) = 0 है। अंततः, वर्ग शून्य, स्थूल मोडुलि समष्टि का आयाम शून्य है, और वर्ग एक में इसका आयाम एक है।

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

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

विविधता का मापांक
उच्च आयामों में, बीजगणितीय विविधता के मॉड्यूल का निर्माण और अध्ययन करना अधिक कठिन होता है। उदाहरण के लिए, ऊपर चर्चित दीर्घवृत्ताकार वक्रों के मॉडुलि समष्टि का उच्च-आयामी एनालॉग एबेलियन विविधता का मोडुली समष्टि है, जैसे कि सीगल प्रतिरूपक असमरूपता है। यह सीगल प्रतिरूपक प्रतिघात सिद्धांत की अंतर्निहित समस्या है। शिमूरा विविधता भी देखें।

न्यूनतम मॉडल क्रमादेश से उत्पन्न होने वाली तकनीकों का उपयोग करते हुए, जेनोस कोल्लार और निकोलस शेफर्ड-बैरन द्वारा सामान्य प्रकार की विविधता के मोडुली समष्टि का निर्माण किया गया, जिसे अब केएसबी मोडुली समष्टि के रूप में जाना जाता है।

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

कैलाबी-यौ विविधता के मॉडुलि समष्टि का निर्माण एक महत्वपूर्ण विवृत समस्या है, और केवल विशेष स्थिति जैसे कि K3 सतह या एबेलियन विविधता के मोडुली समष्टि को समझा जाता है।

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

भौतिकी के अनुप्रयोगों में, सदिश बंडलों के मापांकों की संख्या और सूत्र बंडल के मापांकों की संख्या की निकटता से संबंधित समस्या होती है। मुख्य G-बंडलों को गेज सिद्धांत में महत्वपूर्ण पाया गया है।

मॉड्युली समष्टि का आयतन
परिवेशित रीमैन सतहों के मॉड्युली समष्टि के सरल अल्पांतरी और वेइल पीटरसन आयतन सम्मिलित है।

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

अधिक परिशुद्ध रूप से, वर्गीकृत की जा रही वस्तुओं के गैर-सामान्य स्वाकारिकता का अस्तित्व एक शुद्ध मोडुली समष्टि को असंभव बना देता है। हालांकि, मूल वस्तुओं को अतिरिक्त डेटा के साथ वर्गीकृत करने की एक संशोधित मोडुली समस्या पर विचार करना प्रायः संभव होता है, इस तरह से चयन किया जाता है कि पहचान ही एकमात्र समाकारिकता है जो अतिरिक्त डेटा का भी सम्मान करता है। कठिन डेटा के उपयुक्त विकल्प के साथ, संशोधित मोडुली समस्या में एक (शुद्ध) मोडुली समष्टि T होगा, जिसे प्रायः एक उपयुक्त हिल्बर्ट प्रणाली या कोट प्रणाली की उपयोजना के रूप में वर्णित किया जाता है। कठिन डेटा को इसके अतिरिक्त चयन किया जाता है ताकि यह एक बीजगणितीय संरचना बंडल G के साथ एक प्रमुख बंडल से अनुरूप हो। इस प्रकार कोई G की क्रिया द्वारा भागफल लेकर कठिन समस्या से मूल तक वापस जा सकता है, और मॉड्यूलि समष्टि के निर्माण की समस्या एक प्रणाली (या अधिक सामान्य समष्टि) खोजने का बन जाता है जो (एक उपयुक्त प्रबल अर्थ में) G की संक्रिया से T का भागफल T/G है। अंतिम समस्या, सामान्य रूप से, समाधान स्वीकार नहीं करती है; हालाँकि, इसे 1965 में डेविड ममफोर्ड द्वारा विकसित ग्राउंडब्रेकिंग ज्यामितीय अपरिवर्तनीय सिद्धांत (जीआईटी) द्वारा संबोधित किया गया है, जो दर्शाता है कि उपयुक्त परिस्थितियों में भागफल वास्तव में सम्मिलित है।

यह देखने के लिए कि यह कैसे काम कर सकता है, वर्ग g> 2 के सरल वक्र प्राचलीकरण की समस्या पर विचार करें। कोटि d> 2 जी की एक पूर्ण रैखिक प्रणाली के साथ एक सरल वक्र प्रक्षेपीय समष्‍टि 'Pd−g' के बंद एक आयामी उप-प्रणाली के बराबर है। परिणामस्वरूप, सामान्य वक्र और रैखिक प्रणालियों (कुछ मानदंडों को पूरा करने वाले) के मोडुली समष्टि को उयुक्त उच्च-आयामी प्रक्षेपी समष्टि की हिल्बर्ट प्रणाली में अन्तः स्थापित किया जा सकता है। हिल्बर्ट प्रणाली में इस बिन्दुपथ H में पीजीएल (n) की संक्रिया है जो रैखिक प्रणाली के तत्वों को मिलाती है; परिणामस्वरूप, सरल वक्र के मॉड्युली समष्टि को प्रक्षेप्य सामान्य रैखिक बंडल द्वारा H के भागफल के रूप में पुनर्प्राप्त किया जाता है।

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

भौतिकी में
मॉडुलि समष्टि शब्द का प्रयोग कभी-कभी भौतिक विज्ञान में अदिश क्षेत्र के एक समुच्चय के निर्वात अपेक्षा मानो के मोडुली समष्टि या संभावित स्ट्रिंग पृष्ठभूमि के मोडुली समष्टि के लिए विशेष रूप से संदर्भित करने के लिए किया जाता है।

मॉडुलि समष्टि भौतिकी में सांंस्थितिक क्षेत्र सिद्धांत में भी दिखाई देते हैं, जहां कोई विभिन्न बीजगणितीय मोडुली समष्टि के प्रतिच्छेदन संख्या की गणना करने के लिए फेनमैन पथ समाकल का उपयोग कर सकता है।

निर्माण उपकरण

 * हिल्बर्ट प्रणाली
 * कुओट प्रणाली
 * विरूपण सिद्धांत
 * जीआईटी भागफल
 * आर्टिन का मानदंड, मोडुली फलन निर्धारक से बीजगणितीय चित्ति के रूप में मोडुली समष्टि के निर्माण के लिए सामान्य मानदंड

मोडुली समष्टि

 * बीजगणितीय वक्रों का मापांक
 * दीर्घवृत्ताकार वक्रों का मोडुली चित्ति
 * k-स्थिर फ़ानो विविधता के मोडुली समष्टि
 * प्रतिरूपक वक्र
 * पिकार्ड फलननिर्धारक
 * एक वक्र पर अर्धस्थिर चित्ति का मोडुली
 * कोंटेसेविच समष्टि मॉड्यूल
 * अर्धस्थिर चित्ति का मोडुली

टिप्पणियाँ

 * Moduli theory
 * Moduli stacks in P-adic modular forms and Langlands program

मौलिक कागजात



 * डेविड ममफोर्ड|ममफोर्ड, डेविड, ज्यामितीय अपरिवर्तनीय सिद्धांत। गणित और उनके सीमावर्ती क्षेत्रों के परिणाम, नई श्रृंखला, वॉल्यूम 34 स्प्रिंगर-वर्लग, बर्लिन-न्यूयॉर्क 1965 vi+145 पीपी
 * ममफोर्ड, डेविड; फोगार्टी, जे.; किरवान, एफ। ज्यामितीय अपरिवर्तनीय सिद्धांत। तीसरा संस्करण। गणित और संबंधित क्षेत्रों में परिणाम (2) (गणित और संबंधित क्षेत्रों में परिणाम (2)), 34. स्प्रिंगर-वेरलाग, बर्लिन, 1994. xiv+292 पीपी। ISBN 3-540-56963-4

अन्य संदर्भ

 * पापड़ोपोलोस, अथानेसे, संस्करण। (2007), टेचमुलर सिद्धांत की पुस्तिका। वॉल्यूम। मैं, गणित और सैद्धांतिक भौतिकी में आईआरएमए व्याख्यान, 11, यूरोपीय गणितीय सोसायटी (ईएमएस), ज्यूरिख,, ISBN 978-3-03719-029-6,
 * पापड़ोपोलोस, अथानेसे, संस्करण। (2009), टेचमुलर थ्योरी की हैंडबुक। वॉल्यूम। द्वितीय, गणित और सैद्धांतिक भौतिकी में आईआरएमए व्याख्यान, 13, यूरोपीय गणितीय सोसायटी (ईएमएस), ज्यूरिख,, ISBN 978-3-03719-055-5,
 * पापड़ोपोलोस, अथानेसे, संस्करण। (2012), टेचमुलर थ्योरी की हैंडबुक। वॉल्यूम। III, गणित और सैद्धांतिक भौतिकी में IRMA व्याख्यान, 17, यूरोपीय गणितीय सोसायटी (EMS), ज्यूरिख,, ISBN 978-3-03719-103-3.

अन्य लेख और स्रोत





 * मरयम मिर्जाखनी (2007) बॉर्डर वाली रीमैन सतहों के मोडुली समष्टि के सिंपल जियोडेसिक और वेल-पीटर्सन वॉल्यूम गणितीय खोजें
 * मरयम मिर्जाखनी (2007) बॉर्डर वाली रीमैन सतहों के मोडुली समष्टि के सिंपल जियोडेसिक और वेल-पीटर्सन वॉल्यूम गणितीय खोजें