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

गणित में, विशेष रूप से बीजगणितीय ज्यामिति में, एक मॉड्युली समष्टि एक ज्यामितीय समष्टि सामान्य रूप से एक योजना (गणित) या एक बीजगणितीय चित्ति होता है, जिसके बिंदु कुछ निश्चित प्रकार के बीजगणितीय-ज्यामितीय वस्तुओं या ऐसी वस्तुओं के समरूपता वर्गो  का प्रतिनिधित्व करते हैं। ऐसे समष्टि प्रायः वर्गीकरण समस्याओं के समाधान के रूप में उत्पन्न होते हैं: यदि कोई यह दिखा सकता है कि रोचक वस्तुओं का समुच्चय (उदाहरण के लिए, एक निश्चित प्रजाति के सरल बीजगणितीय वक्र) को एक ज्यामितीय समष्टि की संरचना दी जा सकती है, तो परिणामी समष्टि पर निर्देशांक प्रस्तुत करके ऐसी वस्तुओं को पैरामीट्रिज किया जा सकता है। इस संदर्भ में, मापांक शब्द का प्रयोग पैरामीटर के पर्याय के रूप में किया जाता है; मॉडुलि समष्टि को पहले वस्तुओं के समष्टि के अतिरिक्त मापदंडों के समष्टि के रूप में समझा गया था। मॉड्यूलि समष्टि का एक प्रकार औपचारिक मोडुली है। बर्नहार्ड रीमैन ने पहली बार 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'))$"EDIT यदि कोई तुल्याकारिता है $$\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$$ अनुभाग ऊपर के रूप में एक अन्तः स्थापन देता है।

चाउ किस्म
चाउ रिंग चाउ (डी, पी3) एक प्रक्षेपी बीजगणितीय किस्म है जो 'P' में डिग्री d वक्रों को पैरामीट्रिज करती है3। इसका निर्माण निम्नानुसार किया गया है। C को 'P' में डिग्री d का वक्र होने दें 3, तो P की सभी पंक्तियों पर विचार करें3 जो वक्र C को प्रतिच्छेद करता है। यह एक डिग्री d भाजक (बीजगणितीय ज्यामिति) D हैC'जी' (2, 4) में, 'पी' में लाइनों का ग्रासमानियन3। जब C भिन्न होता है, C को D से जोड़करC, हम ग्रासमानियन के डिग्री डी विभाजकों के समष्टि के सबसेट के रूप में डिग्री डी वक्र का एक पैरामीटर समष्टि प्राप्त करते हैं: 'चाउ' (डी, 'पी' 3).

हिल्बर्ट योजना
हिल्बर्ट स्कीम हिल्ब(X) एक मोडुली स्कीम है। Hilb(X) का प्रत्येक बंद बिंदु एक निश्चित योजना X की एक बंद उपयोजना से अनुरूप है, और प्रत्येक बंद उपयोजना को ऐसे बिंदु द्वारा दर्शाया जाता है। हिल्बर्ट स्कीम का एक सरल उदाहरण है हिल्बर्ट स्कीम पैरामीटराइज़िंग डिग्री $$d$$ प्रक्षेपीय समष्‍टि की हाइपरसर्फफेस $$\mathbb{P}^n$$. यह प्रक्षेपी बंडल <ब्लॉककोट> द्वारा दिया गया है$$\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, तो हम इन वस्तुओं को एम पर एक टॉटोलॉजिकल बंडल परिवार यू में इकट्ठा कर सकते हैं। (उदाहरण के लिए, ग्रासमैनियन 'जी' (के, वी) रैंक के बंडल को ले जाता है जिसका फाइबर किसी भी बिंदु पर [एल] ∊ 'जी' (के, V) केवल रैखिक उपसमष्टि L ⊂ V है।) M को परिवार U का 'आधार समष्टि' कहा जाता है। हम कहते हैं कि सार्वभौमिक बंडल 'सार्वभौमिक' है यदि बीजगणित-ज्यामितीय वस्तुओं का कोई परिवार किसी आधार समष्टि B पर T है। यू का पुलबैक (श्रेणी सिद्धांत) एक अद्वितीय मानचित्र बी → एम के साथ। एक सूक्ष्म मोडुलि समष्टि एक समष्टि एम है जो एक सार्वभौमिक परिवार का आधार है।

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

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

दूसरे शब्दों में, एक फाइन मॉडुलि समष्टि में बेस समष्टि M और यूनिवर्सल फैमिली U → M दोनों शामिल होते हैं, जबकि मोटे मॉड्यूलि समष्टि में केवल बेस समष्टि M होता है।

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

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

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

वक्रों का मापांक
मोडुली चित्ति $$\mathcal{M}_{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 है। जी > 1 होने पर स्थूल मॉडुलि समष्टि का आयाम 3g−3 होता है, क्योंकि प्रजाति g > 1 के साथ वक्र केवल एक परिमित समूह होता है, जैसे कि मंद (ऑटोमोर्फिज्म का एक समूह) = 0। आखिरकार, में प्रजाति ज़ीरो, मोटे मोडुलि समष्टि का डायमेंशन ज़ीरो है, और प्रजाति वन में इसका डायमेंशन वन है।

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

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

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

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

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

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

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

मॉड्युली समष्टि का आयतन
सरल जियोडेसिक्स और वील-पीटरसन वॉल्यूम्स ऑफ़ मोडुली स्पेसेस बॉर्डर वाली रीमैन सतहें।

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

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

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

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

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

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

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

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

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

 * बीजगणितीय वक्रों का मापांक
 * अण्डाकार वक्रों का मोडुली चित्ति
 * फ़ानो किस्मों की के-स्थिरता| के-स्थिर फ़ानो किस्मों के मोडुली समष्टि
 * मॉड्यूलर वक्र
 * पिकार्ड फ़ैक्टर
 * कोट स्कीम# एक कर्व पर सेमीटेबल वेक्टर बंडल
 * Kontsevich समष्टि मॉड्यूल
 * सेमीस्टेबल शीशों का मोडुली

टिप्पणियाँ

 * 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) बॉर्डर वाली रीमैन सतहों के मोडुली समष्टि के सिंपल जियोडेसिक और वेल-पीटर्सन वॉल्यूम गणितीय खोजें