मूनशाइन सिद्धांत: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 8: Line 8:
March 12, 2015 https://www.quantamagazine.org/mathematicians-chase-moonshine-string-theory-connections-20150312/</ref>
March 12, 2015 https://www.quantamagazine.org/mathematicians-chase-moonshine-string-theory-connections-20150312/</ref>


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


== इतिहास ==
== इतिहास ==
Line 28: Line 28:
उनकी संगणनाओं के आधार पर, कॉनवे और नॉर्टन ने हॉन्टमॉडुलन की सारिणी प्रस्तुत की, और M के अनंत आयामी वर्गीकृत प्रतिनिधित्व के अस्तित्व का अनुमान लगाया, जिसके वर्गीकृत संकेत T<sub>''g''</sub> उनकी सारिणी में प्रस्तुत त्रुटिहीन कार्यों के फूरियर विस्तार हैं।
उनकी संगणनाओं के आधार पर, कॉनवे और नॉर्टन ने हॉन्टमॉडुलन की सारिणी प्रस्तुत की, और M के अनंत आयामी वर्गीकृत प्रतिनिधित्व के अस्तित्व का अनुमान लगाया, जिसके वर्गीकृत संकेत T<sub>''g''</sub> उनकी सारिणी में प्रस्तुत त्रुटिहीन कार्यों के फूरियर विस्तार हैं।


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


1985 में, जॉन हॉर्टन कॉनवे सहित गणितज्ञों के समूह द्वारा परिमित समूहों के एटलस को प्रकाशित किया गया था। एटलस, जो सभी [[छिटपुट समूह|स्पोराडिक समूह]] की गणना करता है, और मॉन्स्टर समूह के उल्लेखनीय गुणों की सूची में खंड के रूप में मूनशाइन को सम्मिलित किया।<ref>{{Cite book |url=https://www.worldcat.org/oclc/12106933 |title=Atlas of finite groups : maximal subgroups and ordinary characters for simple groups |date=1985 |publisher=Clarendon Press |others=John H. Conway |isbn=0-19-853199-0 |location=Oxford [Oxfordshire] |oclc=12106933}}</ref> बोरचर्ड्स ने 1992 में मूनशाइन मॉड्यूल के लिए कॉनवे-नॉर्टन अनुमान को सिद्ध किया। उन्होंने अनुमान के समाधान के लिए 1998 में [[ फील्ड मेडल |फील्ड मेडल]] जीता।
1985 में, जॉन हॉर्टन कॉनवे सहित गणितज्ञों के समूह द्वारा परिमित समूहों के एटलस को प्रकाशित किया गया था। एटलस, जो सभी [[छिटपुट समूह|स्पोराडिक समूह]] की गणना करता है, और मॉन्स्टर समूह के उल्लेखनीय गुणों की सारिणी में खंड के रूप में मूनशाइन को सम्मिलित किया।<ref>{{Cite book |url=https://www.worldcat.org/oclc/12106933 |title=Atlas of finite groups : maximal subgroups and ordinary characters for simple groups |date=1985 |publisher=Clarendon Press |others=John H. Conway |isbn=0-19-853199-0 |location=Oxford [Oxfordshire] |oclc=12106933}}</ref> बोरचर्ड्स ने 1992 में मूनशाइन मॉड्यूल के लिए कॉनवे-नॉर्टन अनुमान को सिद्ध किया। उन्होंने अनुमान के समाधान के लिए 1998 में [[ फील्ड मेडल |फील्ड मेडल]] भी प्राप्त किया था।


== मूनशाइन  मॉड्यूल ==
== मूनशाइन  मॉड्यूल ==
फ्रेंकेल-लेपोव्स्की-मेरमैन निर्माण दो मुख्य उपकरणों से प्रारंभ होता है:
फ्रेंकेल-लेपोव्स्की-मेरमैन निर्माण दो मुख्य उपकरणों से प्रारंभ होता है:


# श्रेणी ''n'' की [[जाली (समूह)|जाली]] ''L'' के लिए जाली शीर्ष संचालन बीजगणित ''V<sub>L</sub>'' का निर्माण है। भौतिक दृष्टि से, यह [[ टोरस्र्स |टोरस]] '''R'''<sup>''n''</sup>/''L'' पर [[संघनन (भौतिकी)|संघनित (भौतिकी)]] [[बोसोनिक स्ट्रिंग]] के लिए चिराल बीजगणित है। इसे सामान्यतः n आयामों में दोलक प्रतिनिधित्व के साथ L के समूह वलय के [[टेंसर उत्पाद|टेंसर गुणनफल]] के रूप में वर्णित किया जा सकता है (जो अनगिनत रूप से कई [[जनरेटर मैट्रिक्स|जनरेटर आव्यूह]] में बहुपद वलय के लिए समरूपीय है)। विचाराधीन स्तिथि के लिए, L को [[जोंक जाली]] के रूप में समुच्चय किया गया है, जिसकी श्रेणी 24 है।
# श्रेणी ''n'' की [[जाली (समूह)|जाली]] ''L'' के लिए जाली शीर्ष संकारक बीजगणित ''V<sub>L</sub>'' का निर्माण है। भौतिक दृष्टि से, यह [[ टोरस्र्स |टोरस]] '''R'''<sup>''n''</sup>/''L'' पर [[संघनन (भौतिकी)|संघनित (भौतिकी)]] [[बोसोनिक स्ट्रिंग]] के लिए चिराल बीजगणित है। इसे सामान्यतः n आयामों में दोलक प्रतिनिधित्व के साथ L के समूह वलय के [[टेंसर उत्पाद|टेंसर गुणनफल]] के रूप में वर्णित किया जा सकता है (जो अनगिनत रूप से कई [[जनरेटर मैट्रिक्स|जनरेटर आव्यूह]] में बहुपद वलय के लिए समरूपीय है)। विचाराधीन स्तिथि के लिए, L को [[जोंक जाली]] के रूप में समुच्चय किया गया है, जिसकी श्रेणी 24 है।
# [[ orbifold |ऑर्बिफोल्ड]] निर्माण- भौतिक शब्दों में, यह ऑर्बिफोल्ड पर प्रसारित बोसोनिक स्ट्रिंग का वर्णन करता है। फ्रेंकेल-लेपोव्स्की-मेरमैन का निर्माण सर्वप्रथम ऑर्बिफोल्ड [[अनुरूप क्षेत्र सिद्धांत]] में प्रकट हुआ था। लीच जाली के 1 इनवोल्यूशन से जुड़ा हुआ है, ''V<sub>L</sub>'' का इनवोल्यूशन ''h'' है, और इरेड्यूसिबल-ट्विस्टेड ''V<sub>L</sub>''-मॉड्यूल है, जो इनवोल्यूशन लिफ्टिंग ''h'' को विरासत में मिला है। मूनशाइन मॉड्यूल प्राप्त करने के लिए, ''V<sub>L</sub>'' और उसके ट्विस्टेड मॉड्यूल के प्रत्यक्ष योग में ''h'' का [[निश्चित बिंदु (गणित)]] उपसमष्टि लेता है।
# [[ orbifold |ऑर्बिफोल्ड]] निर्माण- भौतिक शब्दों में, यह ऑर्बिफोल्ड पर प्रसारित बोसोनिक स्ट्रिंग का वर्णन करता है। फ्रेंकेल-लेपोव्स्की-मेरमैन का निर्माण सर्वप्रथम ऑर्बिफोल्ड [[अनुरूप क्षेत्र सिद्धांत]] में प्रकट हुआ था। लीच जाली के 1 इनवोल्यूशन से जुड़ा हुआ है, ''V<sub>L</sub>'' का इनवोल्यूशन ''h'' है, और इरेड्यूसिबल-ट्विस्टेड ''V<sub>L</sub>''-मॉड्यूल है, जो इनवोल्यूशन लिफ्टिंग ''h'' को विरासत में मिला है। मूनशाइन मॉड्यूल प्राप्त करने के लिए, ''V<sub>L</sub>'' और उसके ट्विस्टेड मॉड्यूल के प्रत्यक्ष योग में ''h'' का [[निश्चित बिंदु (गणित)]] उपसमष्टि लेता है।


Line 47: Line 47:
# जनरेटर और संबंधों द्वारा सामान्यीकृत केएसी-मूडी लाइ बीजगणित बनाने के लिए कोइके-नॉर्टन-ज़गियर अपरिमित गुणनफल प्रमाण का उपयोग किया जाता है। इस तथ्य का उपयोग करके पहचान सिद्ध की जाती है कि [[हेज ऑपरेटर|हेज]] संकारकों ने ''J'' के बहुपदों को ''J'' में प्रयुक्त किया।
# जनरेटर और संबंधों द्वारा सामान्यीकृत केएसी-मूडी लाइ बीजगणित बनाने के लिए कोइके-नॉर्टन-ज़गियर अपरिमित गुणनफल प्रमाण का उपयोग किया जाता है। इस तथ्य का उपयोग करके पहचान सिद्ध की जाती है कि [[हेज ऑपरेटर|हेज]] संकारकों ने ''J'' के बहुपदों को ''J'' में प्रयुक्त किया।
# मूल गुणकों की तुलना करने पर, यह ज्ञात होता है कि दो लाइ बीजगणित समरूपी हैं, और विशेष रूप से, <math>\mathfrak{m}</math> के लिए वेइल भाजक सूत्र निश्चित रूप से कोइके-नॉर्टन-ज़ैगियर प्रमाण है।
# मूल गुणकों की तुलना करने पर, यह ज्ञात होता है कि दो लाइ बीजगणित समरूपी हैं, और विशेष रूप से, <math>\mathfrak{m}</math> के लिए वेइल भाजक सूत्र निश्चित रूप से कोइके-नॉर्टन-ज़ैगियर प्रमाण है।
# [[झूठ बीजगणित समरूपता|लाइ बीजगणित समरूपता]] और [[एडम्स ऑपरेशन|एडम्स संक्रियाओं]] का उपयोग करते हुए, प्रत्येक तत्व के लिए ट्विस्टेड भाजक प्रमाण दिया गया है। ये प्रमाण मैके-थॉम्पसन श्रृंखला ''T''<sub>g</sub> से संबंधित हैं उसी प्रकार, जिस प्रकार कोइके-नॉर्टन-ज़गियर की पहचान ''J'' से संबंधित है।
# [[झूठ बीजगणित समरूपता|लाइ बीजगणित समरूपता]] और [[एडम्स ऑपरेशन|एडम्स संक्रियाओं]] का उपयोग करते हुए, प्रत्येक तत्व के लिए ट्विस्टेड भाजक प्रमाण दिया गया है। ये प्रमाण मैके-थॉम्पसन श्रृंखला ''T''<sub>g</sub> से उसी प्रकार संबंधित हैं, जिस प्रकार कोइके-नॉर्टन-ज़गियर की पहचान ''J'' से संबंधित है।
# ट्विस्टेड भाजक प्रमाण T<sub>g</sub> के गुणांकों पर पुनरावर्ती संबंधों को दर्शाता है, और कोइके के अप्रकाशित कार्य ने दिखाया कि कॉनवे और नॉर्टन के फलन इन पुनरावर्तन संबंधों को संतुष्ट करते हैं। ये संबंध इतने प्रबल हैं कि जिसमें केवल यह अन्वेषण करने की आवश्यकता है कि प्रथम सात शब्द कॉनवे और नॉर्टन द्वारा दिए गए फलनों से सहमत हैं। प्रथम चरण में दिए गए सात सबसे कम डिग्री सजातीय समष्टि के अपघटन द्वारा निम्नतम शब्द दिए गए हैं।
# ट्विस्टेड भाजक प्रमाण T<sub>g</sub> के गुणांकों पर पुनरावर्ती संबंधों को दर्शाता है, और कोइके के अप्रकाशित कार्य ने दिखाया कि कॉनवे और नॉर्टन के फलन इन पुनरावर्तन संबंधों को संतुष्ट करते हैं। ये संबंध इतने प्रबल हैं कि जिसमें केवल यह अन्वेषण करने की आवश्यकता है कि प्रथम सात शब्द कॉनवे और नॉर्टन द्वारा दिए गए फलनों से सहमत हैं। प्रथम चरण में दिए गए सात सबसे कम डिग्री सजातीय समष्टि के अपघटन द्वारा निम्नतम शब्द दिए गए हैं।


इस प्रकार, प्रमाण पूर्ण हो गया है ({{harvtxt|बोरचर्ड्स|1992}})। बोरचर्ड्स को पश्चात में यह कहते हुए उद्धृत किया गया था कि जब मैंने चन्द्रमा के अनुमान को सिद्ध किया तो मैं बहुत प्रसन्न था, और मुझे कभी-कभी आश्चर्य होता है कि जब आप कुछ दवाएं लेते हैं तो क्या यही भावना आपको मिलती है। मैं वास्तव में नहीं जानता, क्योंकि मैंने अपने इस सिद्धांत का परीक्षण नहीं किया है। {{harv|रॉबर्ट्स|2009|p=361}}
इस प्रकार, प्रमाण पूर्ण हो गया है ({{harvtxt|बोरचर्ड्स|1992}})। बोरचर्ड्स को पश्चात में यह कहते हुए उद्धृत किया गया था कि जब मैंने चन्द्रमा के अनुमान को सिद्ध किया तो मैं अत्यधिक प्रसन्न था, और मुझे कभी-कभी आश्चर्य होता है कि जब आप कुछ दवाएं लेते हैं तो क्या यही भावना आपको अनुभूत होती है। मैं वास्तव में नहीं जानता, क्योंकि मैंने अपने इस सिद्धांत का परीक्षण नहीं किया है। {{harv|रॉबर्ट्स|2009|p=361}}


अधिक हाल के कार्य ने प्रमाण के अंतिम चरणों को सरल और स्पष्ट किया है। ज्यूरिसिच ({{harvtxt|ज्यूरिसिच|1998}}, {{harvtxt|ज्यूरिसिच|लेपोव्स्की|विल्सन|1995}}) ने अवलोकन किया कि मॉन्स्टर लाई बीजगणित के सामान्य त्रिकोणीय अपघटन को ''gl''<sub>2</sub> और दो मुक्त लाई बीजगणित के योग में अपघटन के साथ प्रतिस्थापित करके होमोलॉजी गणना को कम किया जा सकता है। कमिंस और गैनन ने दर्शाया कि पुनरावर्तन संबंध स्वचालित रूप से मैके थॉम्पसन श्रृंखला को या तो हॉन्टमॉडुलन या अधिकतम 3 शब्दों के पश्चात समाप्त कर देते हैं, इस प्रकार अंतिम चरण में गणना की आवश्यकता को समाप्त कर देते हैं।
नए कार्य ने प्रमाण के अंतिम चरणों को सरल और स्पष्ट किया है। ज्यूरिसिच ({{harvtxt|ज्यूरिसिच|1998}}, {{harvtxt|ज्यूरिसिच|लेपोव्स्की|विल्सन|1995}}) ने अवलोकन किया कि मॉन्स्टर लाई बीजगणित के सामान्य त्रिकोणीय अपघटन को ''gl''<sub>2</sub> और दो मुक्त लाई बीजगणित के योग में अपघटन के साथ प्रतिस्थापित करके होमोलॉजी गणना को कम किया जा सकता है। कमिंस और गैनन ने दर्शाया कि पुनरावर्तन संबंध स्वचालित रूप से मैके थॉम्पसन श्रृंखला को या तो हॉन्टमॉडुलन या अधिकतम 3 शब्दों के पश्चात समाप्त कर देते हैं, इस प्रकार अंतिम चरण में गणना की आवश्यकता को समाप्त कर देते हैं।


== सामान्यीकृत मूनशाइन ==
== सामान्यीकृत मूनशाइन ==
Line 79: Line 79:


== मॉड्यूलर मूनशाइन ==
== मॉड्यूलर मूनशाइन ==
1990 दशक के प्रारंभ में, समूह सिद्धांतकार ए.जे.ई. रायबा ने मॉन्स्टरस की [[चरित्र तालिका]] के कुछ भागों और उपसमूहों के [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] के मध्य उल्लेखनीय समानताओं का आविष्कार किया। विशेष रूप से, मॉन्स्टर में प्राइम ऑर्डर p के तत्व g के लिए, ऑर्डर ''kp'' के तत्व के कई अप्रासंगिक वर्ण जिनकी ''k''th शक्ति g है, g के केंद्रक में ऑर्डर के तत्व के लिए ब्राउर वर्णों के सरल संयोजन हैं। यह मॉन्स्टरस चन्द्रमा के समान घटना के लिए संख्यात्मक प्रमाण था, किन्तु सकारात्मक विशेषता में प्रतिनिधित्व के लिए विशेष रूप से, रायबा ने 1994 में अनुमान लगाया था कि मॉन्स्टरस के क्रम में प्रत्येक प्रमुख कारक p के लिए परिमित क्षेत्र 'F<sub>''p''</sub>' पर  वर्गीकृत शीर्ष बीजगणित उपस्थित है। ऑर्डर p तत्व g के केंद्रक की क्रिया के साथ, जैसे कि किसी भी p-नियमित ऑटोमोर्फिज्म h का ग्रेडेड ब्राउर वर्णों gh के लिए मैके-थॉम्पसन श्रृंखला के समान है। ({{harvtxt|Ryba|1996}}).
1990 दशक के प्रारंभ में, समूह सिद्धांतकार ए.जे.ई. रायबा ने मॉन्स्टरस की [[चरित्र तालिका]] के कुछ भागों और उपसमूहों के [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] के मध्य उल्लेखनीय समानताओं का आविष्कार किया। विशेष रूप से, मॉन्स्टर में अभाज्य क्रम p के तत्व g के लिए, क्रम ''kp'' के तत्व के कई अप्रासंगिक वर्ण जिनकी ''k''th शक्ति g है, g के केंद्रक में क्रम के तत्व के लिए ब्राउर वर्णों के सरल संयोजन हैं। यह मॉन्स्टरस चन्द्रमा के समान घटना के लिए संख्यात्मक प्रमाण था, किन्तु सकारात्मक विशेषता में प्रतिनिधित्व के लिए विशेष रूप से, रायबा ने 1994 में अनुमान लगाया था कि मॉन्स्टरस के क्रम में प्रत्येक प्रमुख कारक p के लिए परिमित क्षेत्र 'F<sub>''p''</sub>' पर  वर्गीकृत शीर्ष बीजगणित उपस्थित है। क्रम p तत्व g के केंद्रक की क्रिया के साथ, जैसे कि किसी भी p-नियमित ऑटोमोर्फिज्म h का ग्रेडेड ब्राउर वर्णों gh के लिए मैके-थॉम्पसन श्रृंखला के समान है। ({{harvtxt|Ryba|1996}}).


1996 में, बोरचर्ड्स और रियाबा ने अनुमान की पुनर्व्याख्या स्व-दोहरी अभिन्न रूप के [[टेट कोहोलॉजी]] के संबंध में <math>V^\natural</math> के रूप में अध्ययन किया। यह अभिन्न रूप अस्तित्व में नहीं था, किन्तु उन्होंने z[1/2] पर स्व-दोहरी रूप का निर्माण किया, जिसने उन्हें विषम अभाज्य ''p'' के साथ कार्य करने की अनुमति दी। प्राइम ऑर्डर के तत्व के लिए टेट कोहोलॉजी में स्वाभाविक रूप से F<sub>''p''</sub> पर सुपर शीर्ष बीजगणित की संरचना होती है, और उन्होंने मैकके-थॉम्पसन श्रृंखला के साथ ग्रेडेड ब्राउर सुपर-ट्रेस की समानता करने वाले सरल चरणों में समस्या को विभक्त कर दिया, और कठिन चरण दिखा रहा है कि टेट कोहोलॉजी विषम डिग्री में विलुप्त हो जाती है। उन्होंने जोंक जालक (जोंक जालक) से लुप्त हो जाने वाले परिणाम को स्थानांतरित करके, छोटे विषम अभाज्यों के लिए लुप्त होने वाले व्याख्यान को सिद्ध कर दिया। 1998 में, बोरचर्ड्स ने दिखाया कि हॉज सिद्धांत के संयोजन और गोडार्ड-थॉर्न प्रमेय {{harvtxt|Borcherds|Ryba|1996}}) के अभिन्न शोधन का उपयोग करते हुए, शेष विषम अभाज्य संख्याओं के लिए लुप्त हो जाना है। ({{harvtxt|Borcherds|1998}}, {{harvtxt|Borcherds|1999}}).
1996 में, बोरचर्ड्स और रियाबा ने अनुमान की पुनर्व्याख्या स्व-द्वैत अभिन्न रूप के [[टेट कोहोलॉजी]] के संबंध में <math>V^\natural</math> के रूप में अध्ययन किया। यह अभिन्न रूप अस्तित्व में नहीं था, किन्तु उन्होंने z[1/2] पर स्व-द्वैत रूप का निर्माण किया, जिसने उन्हें विषम अभाज्य ''p'' के साथ कार्य करने की अनुमति दी। अभाज्य क्रम के तत्व के लिए टेट कोहोलॉजी में स्वाभाविक रूप से F<sub>''p''</sub> पर शीर्ष बीजगणित की संरचना होती है, और उन्होंने मैकके-थॉम्पसन श्रृंखला के साथ ग्रेडेड ब्राउर सुपर-ट्रेस की समानता करने वाले सरल चरणों में समस्या को विभक्त कर दिया, और कठिन चरण दिखा रहा है कि टेट कोहोलॉजी विषम डिग्री में विलुप्त हो जाती है। उन्होंने जोंक जालक से लुप्त हो जाने वाले परिणाम को स्थानांतरित करके, छोटे विषम अभाज्यों के लिए लुप्त होने वाले व्याख्यान को सिद्ध कर दिया। 1998 में, बोरचर्ड्स ने दिखाया कि हॉज सिद्धांत के संयोजन और गोडार्ड-थॉर्न प्रमेय {{harvtxt|Borcherds|Ryba|1996}}) के अभिन्न शोधन का उपयोग करते हुए, शेष विषम अभाज्य संख्याओं के लिए लुप्त हो जाता है। ({{harvtxt|Borcherds|1998}}, {{harvtxt|Borcherds|1999}})


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


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


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


पश्चात के कार्य ने विट्टन के प्रस्ताव को परिष्कृत किया। विट्टन ने अनुमान लगाया था कि बड़े ब्रह्माण्ड संबंधी स्थिरांक वाले शीर्ष सीएफटी में न्यूनतम स्थिति के जैसे मॉन्स्टरस समरूपता हो सकती है, किन्तु गैओटो और हॉन के स्वतंत्र कार्य द्वारा इसे शीघ्रता से परिष्कृत कर दिया गया था। विटन और मैलोनी द्वारा कार्य ({{harvtxt|Maloney|Witten|2007}}) ने अध्ययन किया कि शुद्ध क्वांटम गुरुत्वाकर्षण अपने विभाजन कार्य से संबंधित कुछ स्थिरता परीक्षण को पूर्ण नहीं कर सकता है, जब तक कि जटिल के कुछ सूक्ष्म गुण अनुकूल रूप से कार्य नहीं करते। चूँकि, ली-सॉन्ग-स्ट्रोमिंगर ({{harvtxt|Li|Song|Strominger|2008}}) ने अध्ययन किया है कि 2007 में मैन्सकोट द्वारा प्रस्तावित चिराल क्वांटम ग्रेविटी सिद्धांत में उत्तम स्थिरता गुण हो सकते हैं, जबकि मॉन्स्टर सीएफटी के चिराल भाग, अर्थात मॉन्स्टर शीर्ष बीजगणित के दोहरे होने के कारण डंकन-फ्रेनकेल ({{harvtxt|Duncan|Frenkel|2009}}) ने मैके-थॉम्पसन श्रृंखला को (2 + 1)-आयामी गुरुत्व विभाजन कार्यों के रूप में वैश्विक टोरस-आइसोजेनी ज्यामिति पर नियमित योग द्वारा निर्मित करने के लिए रैडेमाकर मात्रा का उपयोग करके इस द्वैत के लिए अतिरिक्त साक्ष्य प्रस्तुत किए। इसके अतिरिक्त, उन्होंने मॉन्स्टरस के तत्वों द्वारा पैरामीट्रिज्ड ट्विस्टेड चिराल ग्रेविटी सिद्धांतों के परिवार के अस्तित्व का अनुमान लगाया, जो सामान्यीकृत चन्द्रमा और गुरुत्वाकर्षण तात्कालिक मात्रा के साथ संबंध का विचार देता है। वर्तमान में, ये सभी विचार अभी भी सट्टा हैं, आंशिक रूप से क्योंकि 3डी क्वांटम गुरुत्व में कठोर गणितीय आधार नहीं है।
पश्चात के कार्य ने विट्टन के प्रस्ताव को परिष्कृत किया। विट्टन ने अनुमान लगाया था कि बड़े ब्रह्माण्ड संबंधी स्थिरांक वाले शीर्ष सीएफटी में न्यूनतम स्थिति के जैसे मॉन्स्टरस समरूपता हो सकती है, किन्तु गैओटो और हॉन के स्वतंत्र कार्य द्वारा इसे शीघ्रता से परिष्कृत कर दिया गया था। विटन और मैलोनी के कार्य ने परामर्श दिया ({{harvtxt|Maloney|Witten|2007}}) कि शुद्ध क्वांटम गुरुत्वाकर्षण अपने विभाजन कार्य से संबंधित कुछ स्थिरता परीक्षण को पूर्ण नहीं कर सकता है, जब तक कि जटिल सैडल के कुछ सूक्ष्म गुण अनुकूल रूप से कार्य नहीं करते। चूँकि, ली-सॉन्ग-स्ट्रोमिंगर ({{harvtxt|Li|Song|Strominger|2008}}) ने अध्ययन किया है कि 2007 में मैन्सकोट द्वारा प्रस्तावित चिराल क्वांटम गुरुत्व सिद्धांत में उत्तम स्थिरता गुण हो सकते हैं, जबकि मॉन्स्टर सीएफटी के चिराल भाग, अर्थात मॉन्स्टर शीर्ष बीजगणित के दोहरे होने के कारण डंकन-फ्रेनकेल ({{harvtxt|Duncan|Frenkel|2009}}) ने मैके-थॉम्पसन श्रृंखला को (2 + 1)-आयामी गुरुत्व विभाजन कार्यों के रूप में वैश्विक टोरस-आइसोजेनी ज्यामिति पर नियमित योग द्वारा निर्मित करने के लिए रैडेमाकर मात्रा का उपयोग करके इस द्वैत के लिए अतिरिक्त साक्ष्य प्रस्तुत किए। इसके अतिरिक्त, उन्होंने मॉन्स्टरस के तत्वों द्वारा पैरामीट्रिज्ड ट्विस्टेड चिराल गुरुत्व सिद्धांतों के अस्तित्व का अनुमान लगाया, जो सामान्यीकृत चन्द्रमा और गुरुत्वाकर्षण तात्कालिक मात्रा के साथ संबंध का विचार देता है। वर्तमान में, ये सभी विचार अभी भी काल्पनिक हैं, आंशिक रूप से क्योंकि 3डी क्वांटम गुरुत्व में कठोर गणितीय आधार नहीं है।


== मैथ्यू मूनशाइन ==
== मैथ्यू मूनशाइन ==
2010 में,  [[Tohru Eguchi|तोहरू इगुची]], [[Hirosi Ooguri|हिरोसी ओगुरी]], और युजी ताचिकावा ने देखा कि [[K3 सतह]] के अण्डाकार जीनस को {{nowrap|''N'' {{=}} (4,4)}}  [[सुपरकॉन्फॉर्मल बीजगणित]], के वर्णों में विघटित किया जा सकता है जैसे कि [[सुपर विरासोरो बीजगणित]] की बहुलताएं [[मैथ्यू समूह M24]] के इरेड्यूसिबल अभ्यावेदन के सरल संयोजन प्रतीत होती हैं।<ref>T. Eguchi, H. Ooguri, Y. Tachikawa: Notes on the K3 surface and the Mathieu group M24. Exper. Math. 20
2010 में,  [[Tohru Eguchi|तोहरू इगुची]], [[Hirosi Ooguri|हिरोसी ओगुरी]], और युजी ताचिकावा ने देखा कि [[K3 सतह]] के अण्डाकार जीनस को {{nowrap|''N'' {{=}} (4,4)}}  [[सुपरकॉन्फॉर्मल बीजगणित]], के वर्णों में विघटित किया जा सकता है जैसे कि [[सुपर विरासोरो बीजगणित]] की बहुलताएं [[मैथ्यू समूह M24]] के इरेड्यूसिबल अभ्यावेदन के सरल संयोजन प्रतीत होते हैं।<ref>T. Eguchi, H. Ooguri, Y. Tachikawa: Notes on the K3 surface and the Mathieu group M24. Exper. Math. 20
91–96 (2011)</ref> इससे ज्ञात होता है कि K3 लक्ष्य के साथ सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत है जो M24 समरूपता को वहन करता है। चूँकि, मुकाई-कोंडो वर्गीकरण के अनुसार, इस समूह की K3 सतह पर विश्वसनीय [[सिम्प्लेक्टोमोर्फिज्म]] द्वारा कोई क्रिया नहीं है, और गैबरडील-होहेनेगर-वोल्पाटो के फलन द्वारा, किसी भी K3 सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत पर विश्वासयोग्य क्रिया नहीं है, इसलिए अंतर्निहित [[हिल्बर्ट अंतरिक्ष]] पर कार्रवाई की उपस्थिति अभी भी रहस्य है।
91–96 (2011)</ref> इससे ज्ञात होता है कि K3 लक्ष्य के साथ सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत है जो M24 समरूपता का वहन करता है। चूँकि, मुकाई-कोंडो वर्गीकरण के अनुसार, इस समूह की K3 सतह पर [[सिम्प्लेक्टोमोर्फिज्म]] द्वारा कोई विश्वासयोग्य क्रिया नहीं है, और गैबरडील-होहेनेगर-वोल्पाटो के फलन द्वारा, किसी भी K3 सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत पर विश्वासयोग्य क्रिया नहीं है, इसलिए अंतर्निहित [[हिल्बर्ट अंतरिक्ष]] पर कार्रवाई की उपस्थिति अभी भी रहस्य है।


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


== शब्द की उत्पत्ति ==
== शब्द की उत्पत्ति ==
शब्द "मॉन्स्टरस मूनशाइन" कॉनवे द्वारा बनाया गया था, जिन्होंने 1970 दशक के अंत में जॉन मैकके (गणितज्ञ) द्वारा बताया गया था कि गुणांक <math>{q}</math> (अर्थात 196884) मॉन्स्टरस समूह (अर्थात् 196883) के सबसे छोटे जटिल प्रतिनिधित्व की डिग्री से एक अधिक था, यह उत्तर दिया कि यह विक्ट: मूनशाइन था।{{efn|[http://www.worldwidewords.org/topicalwords/tw-moo1.htm World Wide Words: Moonshine]}} इस प्रकार, शब्द न केवल मॉन्स्टरस समूह M को संदर्भित करता है; यह M और मॉड्यूलर कार्यों के सिद्धांत के मध्य जटिल संबंधों की कथित को भी संदर्भित करता है।
शब्द "मॉन्स्टरस मूनशाइन" कॉनवे द्वारा बनाया गया था, जिन्होंने 1970 दशक के अंत में जॉन मैकके (गणितज्ञ) द्वारा बताया गया था कि गुणांक <math>{q}</math> (अर्थात 196884) मॉन्स्टरस समूह (अर्थात् 196883) के सबसे छोटे जटिल प्रतिनिधित्व की डिग्री से एक अधिक था, तब उन्होंने यह उत्तर दिया कि यह मूनशाइन था।{{efn|[http://www.worldwidewords.org/topicalwords/tw-moo1.htm World Wide Words: Moonshine]}} इस प्रकार, शब्द न केवल मॉन्स्टरस समूह M को संदर्भित करता है; यह M और मॉड्यूलर फलनों के सिद्धांत के मध्य जटिल संबंधों को भी संदर्भित करता है।


== संबंधित अवलोकन ==
== संबंधित अवलोकन ==
1970 के दशक में [[गणितज्ञ]] [[ जीन पियरे सेरे |जीन पियरे सेरे]], [[एंड्रयू ओग]] और जॉन जी थॉम्पसन द्वारा मॉन्स्टरस समूह का परीक्षण किया गया था; उन्होंने SL<sub>2</sub>('''R''') के [[उपसमूह|उपसमूहों]] द्वारा अतिशयोक्तिपूर्ण समतल के भागफल समूह का अध्ययन किया, विशेष रूप से, SL(2,'''R''') में हेके सर्वांगसम उपसमूह Γ<sub>0</sub>(p) के नॉर्मलाइज़र Γ<sub>0</sub>(''p'')<sup>+</sup> उन्होंने पाया कि Γ<sub>0</sub>(''p'')<sup>+</sup> द्वारा अतिपरवलयिक तल के भागफल को लेने के परिणामस्वरूप रिमेंन सतह का जीनस शून्य है यदि केवल p 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 या 71 है। जब ऑग ने पश्चात में मॉन्स्टरस समूह के संबंध में सुना, और देखा कि ये M के आकार के मुख्य कारक थे, तो उन्होंने जैक डेनियल की व्हिस्की की बोतल को प्रस्तुत करने वाले किसी भी व्यक्ति को पेपर प्रकाशित किया जो इस तथ्य की व्याख्या कर सकता था ({{harvtxt|Ogg|1974}})।
1970 के दशक में [[गणितज्ञ]] [[ जीन पियरे सेरे |जीन पियरे सेरे]], [[एंड्रयू ओग]] और जॉन जी थॉम्पसन द्वारा मॉन्स्टरस समूह का परीक्षण किया गया था; उन्होंने SL<sub>2</sub>('''R''') के [[उपसमूह|उपसमूहों]], विशेष रूप से SL(2,R) में हेके सर्वांगसम उपसमूह Γ<sub>0</sub>(p) के नॉर्मलाइज़र Γ<sub>0</sub>(p)+ द्वारा अतिपरवलयिक तल के भागफल का अध्ययन किया। उन्होंने पाया कि Γ<sub>0</sub>(p)+ द्वारा अतिपरवलयिक तल के भागफल को लेने के परिणामस्वरूप रिमेंन सतह का जीनस शून्य है यदि 'p' 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 या 71 है। जब ऑग ने मॉन्स्टरस समूह के संबंध में सुना, और देखा कि ये M के आकार के अभाज्य गुणक थे, तो उन्होंने जैक डेनियल की व्हिस्की की बोतल को प्रस्तुत करते हुए अभिलेख प्रकाशित किया जो इस तथ्य की व्याख्या कर सकता था ({{harvtxt|Ogg|1974}})।


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 280: Line 280:
==बाहरी संबंध==
==बाहरी संबंध==
* {{webarchive |url=https://web.archive.org/web/20061205032152/http://cicma.mathstat.concordia.ca/faculty/cummins/moonshine.refs.html |date=December 5, 2006 |title=Moonshine Bibliography}}
* {{webarchive |url=https://web.archive.org/web/20061205032152/http://cicma.mathstat.concordia.ca/faculty/cummins/moonshine.refs.html |date=December 5, 2006 |title=Moonshine Bibliography}}
[[Category: चांदनी का सिद्धांत|*]] [[Category: 1970 के दशक के नवविज्ञान]] [[Category: समूह सिद्धांत]] [[Category: जॉन हॉर्टन कॉनवे]] [[Category: छिटपुट समूह]]


 
[[Category:1970 के दशक के नवविज्ञान]]
 
[[Category:CS1 français-language sources (fr)]]
[[Category: Machine Translated Page]]
[[Category:CS1 maint]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Webarchive template wayback links]]
[[Category:चांदनी का सिद्धांत|*]]
[[Category:छिटपुट समूह]]
[[Category:जॉन हॉर्टन कॉनवे]]
[[Category:समूह सिद्धांत]]

Latest revision as of 13:16, 15 June 2023

गणित में, मॉन्स्टरस मूनशाइन, या मूनशाइन सिद्धांत, मॉन्स्टरस समूह M और मॉड्यूलर फलन के मध्य अप्रत्याशित संबंध है, विशेष रूप से, j-फलन यह शब्द 1979 में जॉन हॉर्टन कॉनवे और साइमन पी नॉर्टन द्वारा बनाया गया था।[1][2][3]

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

इतिहास

1978 में, जॉन मैकके ने पाया कि सामान्यीकृत J-संस्करण के फूरियर विस्तार में प्रथम कुछ शब्द (sequence A014708 in the OEIS) है:

और τ के साथ अर्ध-अवधि अनुपात को मॉन्स्टरस समूह M के अलघुकरणीय अभ्यावेदन के आयामों के रैखिक संयोजनों के संदर्भ में व्यक्त किया जा सकता है। (sequence A001379 in the OEIS) मान लीजिये = 1, 196883, 21296876, 842609326, 18538750076, 19360062527, 293553734298, ... तो,
जहां एलएचएस के गुणांक हैं जबकि आरएचएस मॉन्स्टर समूह M के आयाम हैं। (चूंकि के मध्य कई रैखिक संबंध हो सकते हैं जैसे कि , जिसका प्रतिनिधित्व एक से अधिक विधियों से हो सकता है।) मैके ने इसे साक्ष्य के रूप में देखा कि M का स्वाभाविक रूप से होने वाला अनंत-आयामी ग्रेडेड सदिश समष्टि है, जिसका ग्रेडेड आयाम J के गुणांकों द्वारा दिया गया है, और जिनके कम भार के खंड पर अप्रासंगिक अभ्यावेदन में विघटित होते हैं। इस अवलोकन के संबंध में जॉन जी थॉम्पसन को सूचित करने के पश्चात, थॉम्पसन ने अध्ययन किया कि वर्गीकृत श्रेणीबद्ध आयाम केवल पहचान तत्व का श्रेणीबद्ध संकेत है, इस प्रकार के प्रतिनिधित्व पर M के गैर-तुच्छ तत्व g के वर्गीकृत संकेत भी लोकप्रिय हो सकते हैं।

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

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

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

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

मूनशाइन मॉड्यूल

फ्रेंकेल-लेपोव्स्की-मेरमैन निर्माण दो मुख्य उपकरणों से प्रारंभ होता है:

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

फ्रेंकेल, लेपोव्स्की और मेरमैन ने तब दिखाया कि शीर्ष संकारक बीजगणित के रूप में मूनशाइन मॉड्यूल का ऑटोमोर्फिज़्म समूह, M है। इसके अतिरिक्त, उन्होंने उपसमूह 21+24 में तत्वों के ग्रेडेड संकेत को निर्धारित किया। Co1 कॉनवे और नॉर्टन द्वारा अनुमानित फलनों से युग्मित होता है (फ्रेंकेल, लेपोव्स्की & मेरमैन (1988))।

बोरचर्ड्स का प्रमाण

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

  1. शीर्ष संकारक बीजगणित V के साथ प्रारम्भ होता है, जिसमें ऑटोमोर्फिज्म द्वारा M की क्रिया के रूप में अपरिवर्तनीय द्विरैखिक रूप होता है, और सात निम्नतम डिग्री के सजातीय समष्टि के इर्रिडिएबल M-प्रतिनिधित्व में ज्ञात अपघटन होता है। यह फ्रेंकेल-लेपोव्स्की-मेरमैन के मूनशाइन मॉड्यूल के निर्माण और विश्लेषण द्वारा प्रदान किया गया था।
  2. लाई बीजगणित , जिसे मॉन्स्टर लाइ बीजगणित कहा जाता है, इसका निर्माण V से क्वांटिज़ेशन फ़ंक्टर का उपयोग करके किया गया है। यह सामान्यीकृत केएसी-मूडी बीजगणित है। स्ट्रिंग सिद्धांत से गोडार्ड-थॉर्न नो-घोस्ट प्रमेय का उपयोग करते हुए, मूल गुणक J के गुणांक प्राप्त किये जाते हैं।
  3. जनरेटर और संबंधों द्वारा सामान्यीकृत केएसी-मूडी लाइ बीजगणित बनाने के लिए कोइके-नॉर्टन-ज़गियर अपरिमित गुणनफल प्रमाण का उपयोग किया जाता है। इस तथ्य का उपयोग करके पहचान सिद्ध की जाती है कि हेज संकारकों ने J के बहुपदों को J में प्रयुक्त किया।
  4. मूल गुणकों की तुलना करने पर, यह ज्ञात होता है कि दो लाइ बीजगणित समरूपी हैं, और विशेष रूप से, के लिए वेइल भाजक सूत्र निश्चित रूप से कोइके-नॉर्टन-ज़ैगियर प्रमाण है।
  5. लाइ बीजगणित समरूपता और एडम्स संक्रियाओं का उपयोग करते हुए, प्रत्येक तत्व के लिए ट्विस्टेड भाजक प्रमाण दिया गया है। ये प्रमाण मैके-थॉम्पसन श्रृंखला Tg से उसी प्रकार संबंधित हैं, जिस प्रकार कोइके-नॉर्टन-ज़गियर की पहचान J से संबंधित है।
  6. ट्विस्टेड भाजक प्रमाण Tg के गुणांकों पर पुनरावर्ती संबंधों को दर्शाता है, और कोइके के अप्रकाशित कार्य ने दिखाया कि कॉनवे और नॉर्टन के फलन इन पुनरावर्तन संबंधों को संतुष्ट करते हैं। ये संबंध इतने प्रबल हैं कि जिसमें केवल यह अन्वेषण करने की आवश्यकता है कि प्रथम सात शब्द कॉनवे और नॉर्टन द्वारा दिए गए फलनों से सहमत हैं। प्रथम चरण में दिए गए सात सबसे कम डिग्री सजातीय समष्टि के अपघटन द्वारा निम्नतम शब्द दिए गए हैं।

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

नए कार्य ने प्रमाण के अंतिम चरणों को सरल और स्पष्ट किया है। ज्यूरिसिच (ज्यूरिसिच (1998), ज्यूरिसिच, लेपोव्स्की & विल्सन (1995)) ने अवलोकन किया कि मॉन्स्टर लाई बीजगणित के सामान्य त्रिकोणीय अपघटन को gl2 और दो मुक्त लाई बीजगणित के योग में अपघटन के साथ प्रतिस्थापित करके होमोलॉजी गणना को कम किया जा सकता है। कमिंस और गैनन ने दर्शाया कि पुनरावर्तन संबंध स्वचालित रूप से मैके थॉम्पसन श्रृंखला को या तो हॉन्टमॉडुलन या अधिकतम 3 शब्दों के पश्चात समाप्त कर देते हैं, इस प्रकार अंतिम चरण में गणना की आवश्यकता को समाप्त कर देते हैं।

सामान्यीकृत मूनशाइन

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

क्वीन ने पाया कि अप्रमाणित तत्वों के अंशों से हॉन्टमॉडुलन का q-विस्तार भी हुआ, जिनमें से कुछ मॉन्स्टर की मैके-थॉम्पसन श्रृंखला नहीं थे। 1987 में, नॉर्टन ने सामान्यीकृत मूनशाइन अनुमान प्रस्तुत करने के लिए रानी के परिणामों को अपनी संगणनाओं के साथ जोड़ा था। इस अनुमान का आशय है कि मॉन्स्टरस के प्रत्येक तत्व g को ग्रेडेड सदिश समष्टि V(g), और तत्वों की प्रत्येक जोड़ी (g, h) को ऊपरी अर्ध तल पर होलोमॉर्फिक फलन f(g, h, τ) प्रदान करता है। जैसे कि:

  1. प्रत्येक V(g), M में g के केंद्रीकरण का वर्गीकृत प्रक्षेपीय प्रतिनिधित्व है।
  2. प्रत्येक f(g, h, τ) या तो स्थिर फलन है या हॉन्टमॉडुल है।
  3. प्रत्येक f(g, h, τ) अदिश अस्पष्टता तक, M में g और h के साथ संयुग्मन (समूह सिद्धांत) के अंतर्गत अपरिवर्तनीय है।
  4. प्रत्येक (g, h) के लिए, V(g) पर रैखिक परिवर्तन के लिए h की लिफ्ट होती है, जैसे कि f(g, h, τ) का विस्तार ग्रेडेड ट्रेस द्वारा दिया जाता है।
  5. किसी भी के लिए, , के समानुपाती है।
  6. यदि g = h = 1 है, तो f(g, h, τ), J के समानुपाती है।

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

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

मॉड्यूलर मूनशाइन

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

1996 में, बोरचर्ड्स और रियाबा ने अनुमान की पुनर्व्याख्या स्व-द्वैत अभिन्न रूप के टेट कोहोलॉजी के संबंध में के रूप में अध्ययन किया। यह अभिन्न रूप अस्तित्व में नहीं था, किन्तु उन्होंने z[1/2] पर स्व-द्वैत रूप का निर्माण किया, जिसने उन्हें विषम अभाज्य p के साथ कार्य करने की अनुमति दी। अभाज्य क्रम के तत्व के लिए टेट कोहोलॉजी में स्वाभाविक रूप से Fp पर शीर्ष बीजगणित की संरचना होती है, और उन्होंने मैकके-थॉम्पसन श्रृंखला के साथ ग्रेडेड ब्राउर सुपर-ट्रेस की समानता करने वाले सरल चरणों में समस्या को विभक्त कर दिया, और कठिन चरण दिखा रहा है कि टेट कोहोलॉजी विषम डिग्री में विलुप्त हो जाती है। उन्होंने जोंक जालक से लुप्त हो जाने वाले परिणाम को स्थानांतरित करके, छोटे विषम अभाज्यों के लिए लुप्त होने वाले व्याख्यान को सिद्ध कर दिया। 1998 में, बोरचर्ड्स ने दिखाया कि हॉज सिद्धांत के संयोजन और गोडार्ड-थॉर्न प्रमेय Borcherds & Ryba (1996)) के अभिन्न शोधन का उपयोग करते हुए, शेष विषम अभाज्य संख्याओं के लिए लुप्त हो जाता है। (Borcherds (1998), Borcherds (1999))

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

क्वांटम गुरूत्व के साथ अनुमानित संबंध

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

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

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

मैथ्यू मूनशाइन

2010 में, तोहरू इगुची, हिरोसी ओगुरी, और युजी ताचिकावा ने देखा कि K3 सतह के अण्डाकार जीनस को N = (4,4) सुपरकॉन्फॉर्मल बीजगणित, के वर्णों में विघटित किया जा सकता है जैसे कि सुपर विरासोरो बीजगणित की बहुलताएं मैथ्यू समूह M24 के इरेड्यूसिबल अभ्यावेदन के सरल संयोजन प्रतीत होते हैं।[5] इससे ज्ञात होता है कि K3 लक्ष्य के साथ सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत है जो M24 समरूपता का वहन करता है। चूँकि, मुकाई-कोंडो वर्गीकरण के अनुसार, इस समूह की K3 सतह पर सिम्प्लेक्टोमोर्फिज्म द्वारा कोई विश्वासयोग्य क्रिया नहीं है, और गैबरडील-होहेनेगर-वोल्पाटो के फलन द्वारा, किसी भी K3 सिग्मा-मॉडल अनुरूप क्षेत्र सिद्धांत पर विश्वासयोग्य क्रिया नहीं है, इसलिए अंतर्निहित हिल्बर्ट अंतरिक्ष पर कार्रवाई की उपस्थिति अभी भी रहस्य है।

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

शब्द की उत्पत्ति

शब्द "मॉन्स्टरस मूनशाइन" कॉनवे द्वारा बनाया गया था, जिन्होंने 1970 दशक के अंत में जॉन मैकके (गणितज्ञ) द्वारा बताया गया था कि गुणांक (अर्थात 196884) मॉन्स्टरस समूह (अर्थात् 196883) के सबसे छोटे जटिल प्रतिनिधित्व की डिग्री से एक अधिक था, तब उन्होंने यह उत्तर दिया कि यह मूनशाइन था।[lower-alpha 2] इस प्रकार, शब्द न केवल मॉन्स्टरस समूह M को संदर्भित करता है; यह M और मॉड्यूलर फलनों के सिद्धांत के मध्य जटिल संबंधों को भी संदर्भित करता है।

संबंधित अवलोकन

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

टिप्पणियाँ

स्रोत

बाहरी संबंध

  1. A short introduction to Monstrous Moonshine Valdo Tatitscheff January 24, 2019
  2. J. Conway and S. Norton. Monstrous Moonshine. Bull. Lond. Math. Soc., 11:308– 339, 1979
  3. Mathematicians Chase Moonshine’s Shadow Erica Klarreich March 12, 2015 https://www.quantamagazine.org/mathematicians-chase-moonshine-string-theory-connections-20150312/
  4. Atlas of finite groups : maximal subgroups and ordinary characters for simple groups. John H. Conway. Oxford [Oxfordshire]: Clarendon Press. 1985. ISBN 0-19-853199-0. OCLC 12106933.{{cite book}}: CS1 maint: others (link)
  5. T. Eguchi, H. Ooguri, Y. Tachikawa: Notes on the K3 surface and the Mathieu group M24. Exper. Math. 20 91–96 (2011)