मूनशाइन सिद्धांत

गणित में, मॉन्स्टरस मूनशाइन, या मूनशाइन थ्योरी, मॉन्स्टर समूह M और मॉड्यूलर समारोह के बीच अप्रत्याशित संबंध है, विशेष रूप से, j-invariant|j फ़ंक्शन। यह शब्द 1979 में जॉन हॉर्टन कॉनवे और साइमन पी। नॉर्टन द्वारा गढ़ा गया था। मॉन्स्टरस मूनशाइन को अब 1988 में इगोर फ्रेनकेल, जेम्स लेपोव्स्की और अर्ने म्योरमैन द्वारा निर्मित राक्षस शीर्ष बीजगणित (या मॉन्स्टर वर्टेक्स अलजेब्रा) नामक वर्टेक्स ऑपरेटर बीजगणित द्वारा रेखांकित किया जाना जाना जाता है, जिसमें मॉन्स्टर समूह समरूपता के अपने समूह के रूप में है। अंक शास्त्र। इस वर्टेक्स ऑपरेटर बीजगणित को आमतौर पर दो आयामी अनुरूप क्षेत्र सिद्धांत के तहत एक संरचना के रूप में व्याख्या किया जाता है, जिससे भौतिकी को दो गणितीय क्षेत्रों के बीच एक पुल बनाने की अनुमति मिलती है। कॉनवे और नॉर्टन द्वारा किए गए अनुमानों को 1992 में गोडार्ड-थॉर्न प्रमेय | स्ट्रिंग सिद्धांत  से नो-घोस्ट प्रमेय और वर्टेक्स ऑपरेटर बीजगणित और सामान्यीकृत केएसी-मूडी बीजगणित के सिद्धांत का उपयोग करके रिचर्ड बोरचर्ड्स द्वारा सिद्ध किया गया था।

इतिहास
1978 में, जॉन मैके (गणितज्ञ) ने पाया कि सामान्यीकृत जे-इनवेरिएंट के फूरियर विस्तार में पहले कुछ शब्द , $$J(\tau) = \frac{1} + 196884{q} + 21493760{q}^2 + 864299970{q}^3 + 20245856256{q}^4 + \cdots$$ साथ $${q} = e^{2\pi i\tau}$$ और τ अर्ध-अवधि अनुपात के रूप में अलघुकरणीय अभ्यावेदन के आयामों के रैखिक संयोजनों के संदर्भ में व्यक्त किया जा सकता है $$r_n$$ राक्षस समूह एम छोटे गैर-नकारात्मक गुणांक के साथ। होने देना $$r_n$$ = 1, 196883, 21296876, 842609326, 18538750076, 19360062527, 293553734298, ... तो, $$\begin{align} 1 & = r_1 \\ 196884 & = r_1 + r_2 \\ 21493760 & = r_1 + r_2 + r_3 \\ 864299970 & = 2r_1 + 2r_2 + r_3 + r_4 \\ 20245856256 & = 3r_1 + 3r_2 + r_3 + 2r_4 + r_5 = 2r_1+ 3r_2 + 2r_3 + r_4 + r_6\\ 333202640600 & = 5r_1 + 5r_2 + 2r_3 + 3r_4 + 2r_5 + r_7 = 4r_1 + 5r_2 + 3r_3 + 2r_4 + r_5 + r_6 + r_7\\ \end{align}$$ जहां LHS के गुणांक हैं $$j(\tau)$$ जबकि RHS आयाम हैं $$r_n$$ राक्षस समूह एम। (चूंकि इसके बीच कई रैखिक संबंध हो सकते हैं $$r_n$$ जैसे कि $$r_1 - r_3 + r_4 + r_5 - r_6 = 0$$, प्रतिनिधित्व एक से अधिक तरीकों से हो सकता है।) मैके ने इसे सबूत के रूप में देखा कि एम की एक स्वाभाविक रूप से होने वाली अनंत-आयामी ग्रेडेड वेक्टर स्पेस है, जिसका हिल्बर्ट-पॉइनकेयर श्रृंखला जे के गुणांकों द्वारा दिया गया है, और जिसका कम वजन टुकड़े ऊपर के रूप में अलघुकरणीय अभ्यावेदन में विघटित होते हैं। इस अवलोकन के बारे में जॉन जी थॉम्पसन को सूचित करने के बाद, थॉम्पसन ने सुझाव दिया कि क्योंकि वर्गीकृत आयाम पहचान तत्व का केवल वर्गीकृत निशान (रैखिक बीजगणित) है, इस तरह के प्रतिनिधित्व पर एम के गैर-तुच्छ तत्वों जी के वर्गीकृत निशान भी दिलचस्प हो सकते हैं.

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

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

1980 में, ए. ओलिवर एल. एटकिन, पॉल फोंग और स्टीफन डी. स्मिथ ने मजबूत कम्प्यूटेशनल सबूत पेश किए कि इस तरह का एक वर्गीकृत प्रतिनिधित्व मौजूद है, एम के प्रतिनिधित्व में बड़ी संख्या में जे के गुणांकों को विघटित करके। एक वर्गीकृत प्रतिनिधित्व जिसका ग्रेडेड आयाम जे है, जिसे मूनशाइन मॉड्यूल कहा जाता है, स्पष्ट रूप से इगोर फ्रेंकेल, जेम्स लेपोव्स्की और अर्ने मेउरमैन द्वारा निर्मित किया गया था, जो मैकके-थॉम्पसन अनुमान का एक प्रभावी समाधान दे रहा था, और उन्होंने एम के एक समावेशन के केंद्रक में सभी तत्वों के लिए श्रेणीबद्ध निशान भी निर्धारित किए। आंशिक रूप से कॉनवे-नॉर्टन अनुमान को सुलझाना। इसके अलावा, उन्होंने दिखाया कि उन्होंने जिस सदिश स्थल  का निर्माण किया, उसे मूनशाइन मॉड्यूल कहा जाता है $$V^\natural$$, एक वर्टेक्स ऑपरेटर बीजगणित की अतिरिक्त संरचना है, जिसका ऑटोमोर्फिज़्म समूह ठीक एम है।

1985 में, जॉन हॉर्टन कॉनवे सहित गणितज्ञों के एक समूह द्वारा परिमित समूहों के एटलस को प्रकाशित किया गया था। एटलस, जो सभी छिटपुट समूह की गणना करता है, ने मॉन्स्टर समूह के उल्लेखनीय गुणों की सूची में एक खंड के रूप में मूनशाइन को शामिल किया। बोरचर्ड्स ने 1992 में मूनशाइन मॉड्यूल के लिए कॉनवे-नॉर्टन अनुमान को साबित किया। उन्होंने अनुमान के समाधान के लिए 1998 में फील्ड मेडल  जीता।

चांदनी मॉड्यूल
Frenkel-Lepowsky-Meurman निर्माण दो मुख्य उपकरणों से शुरू होता है:


 * 1) जाली वर्टेक्स ऑपरेटर बीजगणित वी का निर्माणL रैंक एन के एक भी जाली (समूह) एल के लिए। भौतिक दृष्टि से, यह एक  टोरस्र्स  'आर' पर एक बोसोनिक स्ट्रिंग संघनन (भौतिकी) के लिए चिराल बीजगणित हैएन/एल. इसे मोटे तौर पर n आयामों में थरथरानवाला प्रतिनिधित्व के साथ L के समूह रिंग के टेंसर उत्पाद के रूप में वर्णित किया जा सकता है (जो कि अनगिनत रूप से कई जनरेटर मैट्रिक्स में एक बहुपद रिंग के लिए आइसोमोर्फिक है)। विचाराधीन मामले के लिए, एल को जोंक जाली के रूप में सेट किया गया है, जिसकी रैंक 24 है।
 * 2)  orbifold  निर्माण। भौतिक शब्दों में, यह ऑर्बिफोल्ड पर प्रसारित एक बोसोनिक स्ट्रिंग का वर्णन करता है। Frenkel-Lepowsky-Meurman का निर्माण पहली बार अनुरूप क्षेत्र सिद्धांत में ऑर्बिफॉल्ड्स दिखाई दिया। इनवोल्यूशन (गणित) से जुड़ा हुआ |-1 जोंक जाली का इनवोल्यूशन, वी का एक इनवोल्यूशन एच हैL, और एक अलघुकरणीय एच-मुड़ वीL-मॉड्यूल, जो इनवॉइस लिफ्टिंग एच को इनहेरिट करता है। मूनशाइन मॉड्यूल प्राप्त करने के लिए, वी के प्रत्यक्ष योग में एच का निश्चित बिंदु (गणित) लेता हैL और इसके वर्टेक्स ऑपरेटर बीजगणित।

Frenkel, Lepowsky, और Meurman ने तब दिखाया कि वर्टेक्स ऑपरेटर बीजगणित के रूप में मूनशाइन मॉड्यूल का ऑटोमोर्फिज़्म समूह, M है। इसके अलावा, उन्होंने निर्धारित किया कि उपसमूह 2 में तत्वों के ग्रेडेड निशान1+24.Co1 कॉनवे और नॉर्टन द्वारा अनुमानित कार्यों का मिलान करें.

बोरचर्ड्स का प्रमाण
कॉनवे और नॉर्टन के अनुमान के रिचर्ड बोरचर्ड्स के प्रमाण को निम्नलिखित प्रमुख चरणों में तोड़ा जा सकता है:


 * 1) एक एक वर्टेक्स ऑपरेटर बीजगणित वी के साथ एक अपरिवर्तनीय बिलिनियर फॉर्म के साथ शुरू होता है, ऑटोमोर्फिज्म द्वारा एम की एक क्रिया, और सात निम्नतम डिग्री के सजातीय रिक्त स्थान के इर्रिडिएबल एम-प्रतिनिधित्व में ज्ञात अपघटन के साथ। यह फ्रेंकेल-लेपोव्स्की-मेरमैन के मूनशाइन मॉड्यूल के निर्माण और विश्लेषण द्वारा प्रदान किया गया था।
 * 2) एक झूठ बीजगणित $$\mathfrak{m}$$, जिसे मॉन्स्टर लाइ बीजगणित कहा जाता है, का निर्माण V से एक क्वांटिज़ेशन फ़ंक्टर का उपयोग करके किया गया है। यह एक सामान्यीकृत केएसी-मूडी बीजगणित है। ऑटोमोर्फिज्म द्वारा एक राक्षस क्रिया के साथ सामान्यीकृत केएसी-मूडी लाइ बीजगणित। स्ट्रिंग थ्योरी से गोडार्ड-थॉर्न नो-घोस्ट प्रमेय | गोडार्ड-थॉर्न नो-घोस्ट प्रमेय का उपयोग करते हुए, रूट बहुगुणता जे के गुणांक पाए जाते हैं।
 * 3) जनरेटर और संबंधों द्वारा एक सामान्यीकृत केएसी-मूडी लाइ बीजगणित बनाने के लिए कोई कोइके-नॉर्टन-ज़गियर अनंत उत्पाद पहचान का उपयोग करता है। इस तथ्य का उपयोग करके पहचान सिद्ध की जाती है कि हेज ऑपरेटर ने जे में जे उपज बहुपदों पर लागू किया।
 * 4) मूल गुणकों की तुलना करने पर, यह पता चलता है कि दो ले बीजगणित समरूपी हैं, और विशेष रूप से, के लिए वेइल विभाजक सूत्र $$\mathfrak{m}$$ बिल्कुल कोइके-नॉर्टन-ज़ैगियर पहचान है।
 * 5) झूठ बीजगणित समरूपता और एडम्स ऑपरेशन का उपयोग करते हुए, प्रत्येक तत्व के लिए एक ट्विस्टेड डिनोमिनेटर आइडेंटिटी दी गई है। ये पहचान मैके-थॉम्पसन श्रृंखला टी से संबंधित हैंg ठीक उसी तरह जैसे कि कोइके-नॉर्टन-ज़गियर की पहचान जे से संबंधित है।
 * 6) मुड़ भाजक पहचान टी के गुणांकों पर पुनरावर्ती संबंध दर्शाती हैg, और कोइके के अप्रकाशित कार्य ने दिखाया कि कॉनवे और नॉर्टन के उम्मीदवार कार्य इन पुनरावर्तन संबंधों को संतुष्ट करते हैं। ये संबंध इतने मजबूत हैं कि केवल यह जांचने की जरूरत है कि पहले सात शब्द कॉनवे और नॉर्टन द्वारा दिए गए कार्यों से सहमत हैं। पहले चरण में दिए गए सात सबसे कम डिग्री सजातीय रिक्त स्थान के अपघटन द्वारा निम्नतम शब्द दिए गए हैं।

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

अधिक हाल के कार्य ने प्रमाण के अंतिम चरणों को सरल और स्पष्ट किया है। ज्यूरिसिच ने पाया कि मॉन्स्टर लाइ बीजगणित के सामान्य त्रिकोणीय अपघटन को ग्लो के योग में अपघटन के साथ बदलकर होमोलॉजी गणना को काफी हद तक छोटा किया जा सकता है।2 और दो मुक्त झूठ बीजगणित। कमिंस और गैनन ने दिखाया कि पुनरावर्तन संबंध स्वचालित रूप से मैके थॉम्पसन श्रृंखला को या तो हॉन्टमॉडुलन या अधिकतम 3 शब्दों के बाद समाप्त कर देते हैं, इस प्रकार अंतिम चरण में गणना की आवश्यकता को समाप्त कर देते हैं।

सामान्यीकृत चांदनी
कॉनवे और नॉर्टन ने अपने 1979 के पेपर में सुझाव दिया कि शायद चन्द्रमा केवल राक्षस तक ही सीमित नहीं है, लेकिन अन्य समूहों के लिए भी इसी तरह की घटनाएं पाई जा सकती हैं। जबकि कॉनवे और नॉर्टन के दावे बहुत विशिष्ट नहीं थे, 1980 में लारिसा क्वीन द्वारा की गई संगणनाओं ने दृढ़ता से सुझाव दिया कि छिटपुट समूहों के इरेड्यूसिबल प्रतिनिधित्व के आयामों के सरल संयोजन से कई हॉन्टमॉडुलन के विस्तार का निर्माण किया जा सकता है। विशेष रूप से, उसने निम्नलिखित मामलों में मैकके-थॉम्पसन श्रृंखला के गुणांकों को राक्षस के उप-भागों के प्रतिनिधित्व में विघटित कर दिया:

क्वीन ने पाया कि गैर-पहचान वाले तत्वों के अंशों से हॉन्टमॉडुलन का क्यू-विस्तार भी हुआ, जिनमें से कुछ मॉन्स्टर की मैके-थॉम्पसन श्रृंखला नहीं थे। 1987 में, नॉर्टन ने सामान्यीकृत मूनशाइन अनुमान तैयार करने के लिए रानी के परिणामों को अपनी संगणनाओं के साथ जोड़ा। यह अनुमान दावा करता है कि एक नियम है जो राक्षस के प्रत्येक तत्व जी को एक ग्रेडेड वेक्टर स्पेस वी (जी), और तत्वों की प्रत्येक आने वाली जोड़ी (जी, एच) को एक होलोमॉर्फिक फ़ंक्शन एफ (जी, एच, τ) प्रदान करता है। ऊपरी आधे विमान पर, जैसे कि:
 * टी2B और टी4A कॉनवे समूह कंपनी के अभ्यावेदन में0
 * टी3B और टी6B सुजुकी समूह (गणित) 3.2.Suz के अभ्यावेदन में
 * टी3C थॉम्पसन समूह (गणित) Th = F के अभ्यावेदन में3
 * टी5A हरदा-नॉर्टन समूह एचएन = एफ के प्रतिनिधित्व में5
 * टी5B और टी10D हॉल-जान्को समूह 2.HJ के अभ्यावेदन में
 * टी7A आयोजित समूह के प्रतिनिधित्व में वह = एफ7
 * टी7B और टी14C 2.A के अभ्यावेदन में7
 * टी11A मैथ्यू समूह 2.M के अभ्यावेदन में12


 * 1) प्रत्येक वी (जी) एम में जी के केंद्रीकरण का एक वर्गीकृत प्रोजेक्टिव प्रतिनिधित्व है।
 * 2) प्रत्येक f(g, h, τ) या तो एक स्थिर कार्य है, या एक हॉन्टमॉडुल है।
 * 3) प्रत्येक एफ (जी, एच, τ) एक स्केलर अस्पष्टता तक, एम में जी और एच के एक साथ संयुग्मन (समूह सिद्धांत) के तहत अपरिवर्तनीय है।
 * 4) प्रत्येक (जी, एच) के लिए, वी (जी) पर एक रैखिक परिवर्तन के लिए एच की लिफ्ट होती है, जैसे कि एफ (जी, एच, τ) का विस्तार ग्रेडेड ट्रेस द्वारा दिया जाता है।
 * 5) किसी के लिए $$\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_2(\mathbf{Z})$$, $$f\left(g, h, \frac{a\tau + b}{c\tau + d}\right)$$ के लिए आनुपातिक है $$f\left(g^a h^c, g^b h^d, \tau\right)$$.
 * 6) f(g, h, τ) J के समानुपाती है यदि और केवल यदि g = h = 1।

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

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

मॉड्यूलर चांदनी
1990 के दशक की शुरुआत में, समूह सिद्धांतकार ए.जे.ई. रायबा ने राक्षस की चरित्र तालिका के कुछ हिस्सों और कुछ उपसमूहों के मॉड्यूलर प्रतिनिधित्व सिद्धांत के बीच उल्लेखनीय समानताएं खोजीं। विशेष रूप से, मॉन्स्टर में प्राइम ऑर्डर पी के एक तत्व जी के लिए, ऑर्डर केपी के एक तत्व के कई अप्रासंगिक वर्ण जिनकी केथ शक्ति जी है, जी के केंद्रक में ऑर्डर के तत्व के लिए ब्राउर वर्णों के सरल संयोजन हैं। यह राक्षसी चन्द्रमा के समान एक घटना के लिए संख्यात्मक प्रमाण था, लेकिन सकारात्मक विशेषता में प्रतिनिधित्व के लिए। विशेष रूप से, रायबा ने 1994 में अनुमान लगाया था कि राक्षस के क्रम में प्रत्येक प्रमुख कारक पी के लिए परिमित क्षेत्र 'एफ' पर एक वर्गीकृत शीर्ष बीजगणित मौजूद है।p ऑर्डर p तत्व g के केंद्रक की क्रिया के साथ, जैसे कि किसी भी p-नियमित ऑटोमोर्फिज्म h का ग्रेडेड Brauer कैरेक्टर gh के लिए मैके-थॉम्पसन श्रृंखला के बराबर है.

1996 में, बोरचर्ड्स और रियाबा ने अनुमान की पुनर्व्याख्या एक स्व-दोहरी अभिन्न रूप के टेट कोहोलॉजी के बारे में एक बयान के रूप में की $$V^\natural$$. यह अभिन्न रूप अस्तित्व में नहीं था, लेकिन उन्होंने जेड [1/2] पर एक आत्म-दोहरी रूप का निर्माण किया, जिसने उन्हें विषम अभाज्य पी के साथ काम करने की अनुमति दी। प्राइम ऑर्डर के एक तत्व के लिए टेट कोहोलॉजी में स्वाभाविक रूप से एफ पर एक सुपर वर्टेक्स बीजगणित की संरचना होती हैp, और उन्होंने मैकके-थॉम्पसन श्रृंखला के साथ ग्रेडेड ब्राउर सुपर-ट्रेस की बराबरी करने वाले एक आसान कदम में समस्या को तोड़ दिया, और एक कठिन कदम दिखा रहा है कि टेट कोहोलॉजी विषम डिग्री में गायब हो जाती है। उन्होंने जोंक जालक (जोंक जालक) से लुप्त हो जाने वाले परिणाम को स्थानांतरित करके, छोटे विषम अभाज्यों के लिए गायब होने वाले बयान को साबित कर दिया।). 1998 में, बोरचर्ड्स ने दिखाया कि हॉज सिद्धांत के संयोजन और गोडार्ड-थॉर्न प्रमेय | नो-घोस्ट प्रमेय के एक अभिन्न शोधन का उपयोग करते हुए, शेष विषम अभाज्य संख्याओं के लिए लुप्त हो जाना है.

आदेश 2 के मामले में एक रूप के अस्तित्व की आवश्यकता होती है $$V^\natural$$ 2-एडिक रिंग के ऊपर, यानी, एक निर्माण जो 2 से विभाजित नहीं होता है, और यह उस समय मौजूद नहीं था। कई अतिरिक्त अनुत्तरित प्रश्न बने हुए हैं, जैसे कि रायबा के अनुमान को कैसे समग्र आदेश तत्वों के टेट कोहोलॉजी को सामान्यीकृत करना चाहिए, और सामान्यीकृत चन्द्रमा और अन्य चन्द्रमा की घटनाओं के लिए किसी भी कनेक्शन की प्रकृति।

क्वांटम ग्रेविटी के साथ अनुमानित संबंध
2007 में, एडवर्ड विटेन|ई. Witten ने सुझाव दिया कि AdS/CFT पत्राचार (2 + 1)-आयामी एंटी-डी सिटर स्पेस और एक्सट्रीमल होलोमॉर्फिक CFTs में शुद्ध क्वांटम ग्रेविटी के बीच एक द्वंद्व पैदा करता है। 2 + 1 आयामों में शुद्ध गुरुत्व में स्वतंत्रता की कोई स्थानीय डिग्री नहीं होती है, लेकिन जब ब्रह्माण्ड संबंधी स्थिरांक ऋणात्मक होता है, तो BTZ ब्लैक होल समाधानों के अस्तित्व के कारण सिद्धांत में गैर-तुच्छ सामग्री होती है। G. Höhn द्वारा पेश किए गए एक्स्ट्रीमल CFTs, ​​कम ऊर्जा में विरासोरो प्राथमिक क्षेत्रों की कमी से प्रतिष्ठित हैं, और मूनशाइन मॉड्यूल एक उदाहरण है।

विटन के प्रस्ताव के तहत, अधिकतम नकारात्मक ब्रह्माण्ड संबंधी स्थिरांक के साथ AdS अंतरिक्ष में गुरुत्वाकर्षण AdS/CFT सेंट्रल चार्ज c = 24 के साथ एक होलोमोर्फिक CFT के लिए दोहरी है, और CFT का विभाजन कार्य सटीक रूप से j-744 है, यानी, चांदनी मॉड्यूल का श्रेणीबद्ध चरित्र. Frenkel-Lepowsky-Meurman के अनुमान को मानते हुए कि चांदनी मॉड्यूल केंद्रीय चार्ज 24 और चरित्र j-744 के साथ अद्वितीय होलोमोर्फिक VOA है, Witten ने निष्कर्ष निकाला कि अधिकतम नकारात्मक ब्रह्माण्ड संबंधी स्थिरांक के साथ शुद्ध गुरुत्वाकर्षण राक्षस CFT के लिए दोहरा है। विट्टन के प्रस्ताव का एक हिस्सा यह है कि विरासोरो प्राथमिक क्षेत्र ब्लैक-होल बनाने वाले ऑपरेटरों के लिए दोहरे हैं, और एक स्थिरता की जांच के रूप में, उन्होंने पाया कि बड़े द्रव्यमान की सीमा में, ब्लैक होल ऊष्मप्रवैगिकी|बेकेंस्टीन-हॉकिंग एक दिए गए काले रंग के लिए अर्धशास्त्रीय एंट्रॉपी अनुमान होल मास, मूनशाइन मॉड्यूल में संबंधित विरासोरो प्राथमिक बहुलता के लघुगणक से सहमत है। निम्न-द्रव्यमान शासन में, एंट्रॉपी में एक छोटा सा क्वांटम सुधार होता है, उदाहरण के लिए, निम्नतम ऊर्जा प्राथमिक क्षेत्र ln(196883) ~ 12.19 उत्पन्न करते हैं, जबकि बेकनस्टीन-हॉकिंग अनुमान 4 देता है$\pi$ ~ 12.57.

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

मैथ्यू मूनशाइन
2010 में, Tohru Eguchi, Hirosi Ooguri, और Yuji Tachikawa ने देखा कि K3 सतह के अण्डाकार जीनस को के वर्णों में विघटित किया जा सकता है सुपरकॉन्फॉर्मल बीजगणित, जैसे कि सुपर विरासोरो बीजगणित की बहुलताएं मैथ्यू समूह M24 के इरेड्यूसिबल अभ्यावेदन के सरल संयोजन प्रतीत होती हैं। इससे पता चलता है कि K3 लक्ष्य के साथ एक सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत है जो M24 समरूपता को वहन करता है। हालांकि, मुकाई-कोंडो वर्गीकरण के अनुसार, सिम्प्लेक्टोमोर्फिज्म द्वारा किसी भी K3 सतह पर इस समूह की कोई विश्वसनीय क्रिया नहीं है, और गैबरडील-होहेनेगर-वोल्पाटो के कार्य द्वारा, किसी भी K3 सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत पर कोई विश्वसनीय कार्रवाई नहीं है, इसलिए अंतर्निहित हिल्बर्ट अंतरिक्ष पर एक कार्रवाई की उपस्थिति अभी भी एक रहस्य है।

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

शब्द की उत्पत्ति
मॉन्स्टरस मूनशाइन शब्द कॉनवे द्वारा गढ़ा गया था, जिन्होंने 1970 के दशक के अंत में जॉन मैकके (गणितज्ञ) द्वारा बताया गया था कि का गुणांक $${q}$$ (अर्थात 196884) राक्षस समूह (अर्थात् 196883) के सबसे छोटे वफादार जटिल प्रतिनिधित्व की डिग्री से ठीक एक अधिक था, ने उत्तर दिया कि यह विक्ट: मूनशाइन (पागल या मूर्ख विचार होने के अर्थ में) था। इस प्रकार, शब्द न केवल राक्षस समूह एम को संदर्भित करता है; यह एम और मॉड्यूलर कार्यों के सिद्धांत के बीच जटिल संबंधों की कथित पागलपन को भी संदर्भित करता है।

संबंधित अवलोकन
1970 के दशक में गणितज्ञ जीन पियरे सेरे, एंड्रयू ओग और जॉन जी थॉम्पसन द्वारा राक्षस समूह की जांच की गई थी; उन्होंने एसएल के उपसमूहों द्वारा हाइपरबॉलिक अंतरिक्ष के भागफल समूह का अध्ययन किया2(आर), विशेष रूप से, सामान्यक Γ0(पी)मॉड्यूलर समूह का + Gamma0|हेके सर्वांगसम उपसमूह Γ0(पी) एसएल (2, 'आर') में। उन्होंने पाया कि रीमैन की सतह Γ द्वारा हाइपरबॉलिक विमान के भागफल लेने के परिणामस्वरूप हुई0(पी)+ का जीनस (गणित) शून्य है यदि और केवल यदि p 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 या 71 है। जब Ogg ने सुना बाद में राक्षस समूह के बारे में, और देखा कि ये एम के आकार के मुख्य कारक थे, उन्होंने जैक डेनियल की व्हिस्की की एक बोतल की पेशकश करने वाले किसी भी व्यक्ति को एक पेपर प्रकाशित किया जो इस तथ्य को समझा सकता था.

स्रोत

 * (भौतिकी में अनुप्रयोगों के लिए परिचयात्मक समीक्षा प्रदान करता है)।
 * (जापानी भाषा में मॉन्स्टर ग्रुप के बारे में पहली किताब लिखी गई है)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (भौतिकी में अनुप्रयोगों के लिए परिचयात्मक समीक्षा प्रदान करता है)।
 * (जापानी भाषा में मॉन्स्टर ग्रुप के बारे में पहली किताब लिखी गई है)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (भौतिकी में अनुप्रयोगों के लिए परिचयात्मक समीक्षा प्रदान करता है)।
 * (जापानी भाषा में मॉन्स्टर ग्रुप के बारे में पहली किताब लिखी गई है)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (भौतिकी में अनुप्रयोगों के लिए परिचयात्मक समीक्षा प्रदान करता है)।
 * (जापानी भाषा में मॉन्स्टर ग्रुप के बारे में पहली किताब लिखी गई है)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (जापानी भाषा में मॉन्स्टर ग्रुप के बारे में पहली किताब लिखी गई है)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।
 * (आम पाठक के लिए संक्षिप्त परिचय)।