मॉड्यूलर वक्र: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[संख्या सिद्धांत]] और [[बीजगणितीय ज्यामिति]] में, '''मॉड्यूलर वक्र''' ''Y''(Γ) [[रीमैन सतह]], या संबंधित [[बीजगणितीय वक्र]] है, जो [[मॉड्यूलर समूह]] समूह के सर्वांगसम उपसमूह Γ की क्रिया द्वारा | [[संख्या सिद्धांत]] और [[बीजगणितीय ज्यामिति]] में, '''मॉड्यूलर वक्र''' ''Y''(Γ) [[रीमैन सतह]], या संबंधित [[बीजगणितीय वक्र]] है, जो [[मॉड्यूलर समूह]] समूह के सर्वांगसम उपसमूह Γ की क्रिया द्वारा समष्टि ऊपरी आधे-तल H के [[समूह क्रिया द्वारा भागफल]] के रूप में निर्मित होता है। इंटीग्रल 2×2 मैट्रिक्स एसएल(2, Z)। मॉड्यूलर वक्र शब्द का उपयोग कॉम्पैक्टिफाइड मॉड्यूलर वक्रों को संदर्भित करने के लिए भी किया जा सकता है -''X''(Γ) जो कि इस भागफल में (विस्तारित समष्टि ऊपरी-आधे तल पर क्रिया के माध्यम से) बहुत सारे बिंदु (जिसे Γ के क्यूप्स कहा जाता है) जोड़कर प्राप्त किए गए [[संघनन (गणित)]] हैं। मॉड्यूलर वक्र के बिंदु समूह Γ के आधार पर कुछ अतिरिक्त संरचना के साथ,[[अण्डाकार वक्र|अण्डाकार वक्रों]] के समरूपता वर्गों को पैरामीट्रिज करते हैं। यह व्याख्या किसी को समष्टि संख्याओं के संदर्भ के बिना, मॉड्यूलर वक्रों की विशुद्ध रूप से बीजगणितीय परिभाषा देने की अनुमति देती है, और इसके अलावा, यह सिद्ध करती है कि मॉड्यूलर वक्र या तो [[तर्कसंगत संख्या]] '''Q''' के क्षेत्र या [[साइक्लोटोमिक क्षेत्र]] '''Q'''(ζ<sub>''n''</sub>) पर परिभाषित होते हैं। बाद वाला तथ्य और इसके सामान्यीकरण संख्या सिद्धांत में मौलिक महत्व के हैं। | ||
== विश्लेषणात्मक परिभाषा == | == विश्लेषणात्मक परिभाषा == | ||
मॉड्यूलर समूह एसएल (2, Z) [[आंशिक रैखिक परिवर्तन|आंशिक रैखिक परिवर्तनों]] द्वारा ऊपरी आधे तल पर कार्य करता है। मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में एसएल(2, Z) के सर्वांगसम उपसमूह Γ का विकल्प | मॉड्यूलर समूह एसएल (2, Z) [[आंशिक रैखिक परिवर्तन|आंशिक रैखिक परिवर्तनों]] द्वारा ऊपरी आधे तल पर कार्य करता है। मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में एसएल(2, Z) के सर्वांगसम उपसमूह Γ का विकल्प सम्मिलित होता है, यानी उपसमूह जिसमें कुछ सकारात्मक पूर्णांक N के लिए स्तर N Γ(N) का प्रमुख सर्वांगसम उपसमूह होता है, जहां | ||
:<math>\Gamma(N)=\left\{ | :<math>\Gamma(N)=\left\{ | ||
Line 9: | Line 9: | ||
c & d\\ | c & d\\ | ||
\end{pmatrix} : \ a \equiv d \equiv 1 \mod N \text{ and } b, c \equiv0 \mod N \right\}.</math> | \end{pmatrix} : \ a \equiv d \equiv 1 \mod N \text{ and } b, c \equiv0 \mod N \right\}.</math> | ||
ऐसे न्यूनतम N को Γ का स्तर कहा जाता है। [[ गैर सघन |गैर सघन]] रीमैन सतह जिसे आमतौर पर Y(Γ) कहा जाता है, प्राप्त करने के लिए भागफल Γ\H पर ''' | ऐसे न्यूनतम N को Γ का स्तर कहा जाता है। [[ गैर सघन |गैर सघन]] रीमैन सतह जिसे आमतौर पर Y(Γ) कहा जाता है, प्राप्त करने के लिए भागफल Γ\H पर '''समष्टि''' संरचना डाली जा सकती है। | ||
===संहतित मॉड्यूलर वक्र === | ===संहतित मॉड्यूलर वक्र === | ||
Y(Γ) का सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह विस्तारित | Y(Γ) का सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह विस्तारित समष्टि ऊपरी-आधे विमान '''H'''* = '''H''' ∪ '''Q''' ∪ {∞}. पर Γ की क्रिया पर विचार करके किया जाता है। हम आधार के रूप में '''H'''* पर टोपोलॉजी प्रस्तुत करते हैं: | ||
* H का कोई भी खुला उपसमुच्चय, | * H का कोई भी खुला उपसमुच्चय, | ||
* सभी ''r'' > 0 के लिए, सेट <math>\{\infty\}\cup\{\tau\in \mathbf{H} \mid\text{Im}(\tau)>r\}</math> | * सभी ''r'' > 0 के लिए, सेट <math>\{\infty\}\cup\{\tau\in \mathbf{H} \mid\text{Im}(\tau)>r\}</math> | ||
Line 20: | Line 20: | ||
:::जहाँ m, n ऐसे पूर्णांक हैं कि a + सेमी = 1. | :::जहाँ m, n ऐसे पूर्णांक हैं कि a + सेमी = 1. | ||
यह '''H'''* को टोपोलॉजिकल स्पेस में | यह '''H'''* को टोपोलॉजिकल '''स्पेस''' में परिवर्तित देता है जो रीमैन क्षेत्र '''P'''<sup>1</sup>('''C''') का उपसमुच्चय है। समूह Γ उपसमुच्चय '''Q''' ∪ {∞} पर कार्य करता है, इसे परिमित रूप से अनेक कक्षाओं में विभाजित करता है जिन्हें '''Γ''' का पुच्छल कहा जाता है। यदि Γ '''Q''' ∪ {∞} पर सकर्मक रूप से कार्य करता है, तो स्थान Γ\'''H'''* Γ\H का अलेक्जेंड्रॉफ़ संघनन बन जाता है। बार फिर, समष्टि संरचना को भागफल Γ\'''H'''* पर रखा जा सकता है, जिससे इसे X(Γ) नामक रीमैन सतह में परिवर्तित दिया जा सकता है, जो अब कॉम्पैक्ट है। यह स्थान Y(Γ) का संघनन है।<ref>{{citation|last=Serre|first= Jean-Pierre|title=Cours d'arithmétique|edition=2nd|series= Le Mathématicien|volume= 2|publisher= Presses Universitaires de France|year= 1977}}</ref> | ||
== उदाहरण == | == उदाहरण == | ||
सबसे सामान्य उदाहरण उपसमूह Γ(''N''), Γ<sub>0</sub>(''N''), और Γ<sub>1</sub>(''N'') से जुड़े वक्र ''X''(''N''), ''X''<sub>0</sub>(''N''), और ''X''<sub>1</sub>(''N'') हैं। | सबसे सामान्य उदाहरण उपसमूह Γ(''N''), Γ<sub>0</sub>(''N''), और Γ<sub>1</sub>(''N'') से जुड़े वक्र ''X''(''N''), ''X''<sub>0</sub>(''N''), और ''X''<sub>1</sub>(''N'') हैं। | ||
''' | मॉड्यूलर वक्र ''X''(5) में जीनस 0 है | यह नियमित [[विंशतिफलक|इकोसाहेड्रोन]] के शीर्ष पर स्थित 12 क्यूस्प्स वाला रीमैन क्षेत्र है। कवरिंग ''X''(5) → ''X''(1) का अनुभव रीमैन क्षेत्र पर इकोसाहेड्रल समूह की कार्रवाई से होता है। यह समूह ''A''<sub>5</sub> और पीएसएल(2,5) के क्रम 60 समरूपी का सरल समूह है। | ||
मॉड्यूलर वक्र X(7) 24 क्यूप्स के साथ जीनस 3 का [[क्लेन चतुर्थक]] है। इसे 24 हेप्टागोन्स द्वारा टाइल किए गए तीन हैंडल वाली सतह के रूप में समझा जा सकता है, जिसमें प्रत्येक चेहरे के केंद्र में पुच्छ होता है। इन टाइलिंग को डेसिन्स डी एनफैंट्स और [[बेली समारोह]] के माध्यम से समझा जा सकता है - क्यूप्स ∞ (लाल बिंदु) के ऊपर स्थित बिंदु हैं, जबकि किनारों | मॉड्यूलर वक्र ''X''(7) 24 क्यूप्स के साथ जीनस 3 का [[क्लेन चतुर्थक|क्लेन क्वार्टिक]] है। इसे 24 हेप्टागोन्स द्वारा टाइल किए गए तीन हैंडल वाली सतह के रूप में समझा जा सकता है, जिसमें प्रत्येक चेहरे के केंद्र में '''पुच्छ''' होता है। इन टाइलिंग को डेसिन्स डी एनफैंट्स और [[बेली समारोह|बेली फ़ंक्शंस]] के माध्यम से समझा जा सकता है - क्यूप्स ∞ (लाल बिंदु) के ऊपर स्थित बिंदु हैं, जबकि किनारों (काले और सफेद बिंदु) के शीर्ष और केंद्र 0 और 1 के ऊपर स्थित बिंदु हैं। कवरिंग ''X''(7) → ''X''(1) का गैलोज़ समूह पीएसएल (2, 7) के क्रम 168 आइसोमोर्फिक का सरल समूह है। | ||
''X''<sub>0</sub>(''N'') के लिए स्पष्ट मौलिक मॉडल है, [[शास्त्रीय मॉड्यूलर वक्र|'''मौलिक मॉड्यूलर वक्र''']]''';''' इसे कभी-कभी मॉड्यूलर वक्र भी कहा जाता है। Γ(''N'') की परिभाषा को इस प्रकार दोहराया जा सकता है: यह मॉड्यूलर समूह का उपसमूह है जो कमी मॉड्यूलो [[मॉड्यूलर अंकगणित|मॉड्यूलो]] ''N'' का कर्नेल है। फिर Γ<sub>0</sub>(''N'') मैट्रिक्स का बड़ा उपसमूह है जो ऊपरी त्रिकोणीय मॉड्यूलो ''N'' है | | |||
:<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ c\equiv 0 \mod N \right \},</math> | :<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ c\equiv 0 \mod N \right \},</math> | ||
और Γ<sub>1</sub>( | और Γ<sub>1</sub>(''N'') मध्यवर्ती समूह है जिसे निम्न द्वारा परिभाषित किया गया है | | ||
:<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ a\equiv d\equiv 1\mod N, c\equiv 0 \mod N \right \}.</math> | :<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ a\equiv d\equiv 1\mod N, c\equiv 0 \mod N \right \}.</math> | ||
इन वक्रों की समतल संरचना | : | ||
इन वक्रों की समतल संरचना वाले अण्डाकार वक्रों के लिए मॉड्यूलि रिक्त स्थान के रूप में सीधी व्याख्या होती है और इस कारण से वे अंकगणितीय ज्यामिति में महत्वपूर्ण भूमिका निभाते हैं। लेवल ''N'' मॉड्यूलर वक्र ''X''(''N'') ''N''-टोरसन के आधार के साथ अण्डाकार वक्रों के लिए मॉड्यूलि स्पेस है। ''X''<sub>0</sub>(''N'') और ''X''<sub>1</sub>(''N'') के लिए, स्तर संरचना क्रमशः क्रम ''N'' का चक्रीय उपसमूह और क्रम ''N'' का बिंदु है। इन वक्रों का बहुत विस्तार से अध्ययन किया गया है, और विशेष रूप से, यह ज्ञात है कि ''X''<sub>0</sub>(''N'') को '''Q''' के ऊपर परिभाषित किया जा सकता है। | |||
मॉड्यूलर वक्रों को परिभाषित करने वाले समीकरण [[मॉड्यूलर समीकरण]] | मॉड्यूलर वक्रों को परिभाषित करने वाले समीकरण [[मॉड्यूलर समीकरण|मॉड्यूलर समीकरणों]] के सबसे प्रसिद्ध उदाहरण हैं। "सर्वोत्तम मॉडल" सीधे अण्डाकार फ़ंक्शन सिद्धांत से लिए गए मॉडल से बहुत भिन्न हो सकते हैं। मॉड्यूलर वक्रों के जोड़े को जोड़ने वाले [[पत्राचार (बीजगणितीय ज्यामिति)]] के रूप में, हेके ऑपरेटरों का ज्यामितीय रूप से अध्ययन किया जा सकता है। | ||
'टिप्पणी': ' | 'टिप्पणी': ''''H'''<nowiki/>' के भागफल जो संहत हैं, मॉड्यूलर समूह के उपसमूहों के अलावा फुच्सियन समूहों Γ के लिए भी होते हैं; [[चतुर्भुज बीजगणित]] से निर्मित उनमें से वर्ग भी संख्या सिद्धांत में रुचि रखता है। | ||
== | == जीनस == | ||
कवरिंग X(N) → X(1) गैलोज़ है, गैलोज़ समूह एसएल(2, N)/{1, −1} के साथ, जो पीएसएल(2,N) के | कवरिंग ''X''(''N'') → ''X''(1) गैलोज़ है, गैलोज़ समूह एसएल(2, ''N'')/{1, −1} के साथ, जो पीएसएल(2, ''N'') के सामान्य है यदि ''N'' अभाज्य है। रीमैन-हर्विट्ज़ फॉर्मूला और गॉस-बोनट प्रमेय को प्रयुक्त करके, कोई ''X''(''N'') के जीनस की गणना कर सकता है। [[अभाज्य संख्या]] स्तर ''p'' ≥ 5 के लिए हैं | | ||
:<math>-\pi\chi(X(p)) = |G|\cdot D,</math> | :<math>-\pi\chi(X(p)) = |G|\cdot D,</math> | ||
जहां χ = 2 − 2g [[यूलर विशेषता]] है, |G| = (p+1)p(p−1)/2 समूह पीएसएल(2, p) का क्रम है, और D = π - π/2 - π/3 - π/p का [[दोष (ज्यामिति)]] है गोलाकार (2,3,पी) त्रिकोण. इससे सूत्र तैयार होता है | जहां χ = 2 − 2g [[यूलर विशेषता]] है, |G| = (p+1)p(p−1)/2 समूह पीएसएल(2, p) का क्रम है, और D = π - π/2 - π/3 - π/p का [[दोष (ज्यामिति)]] है गोलाकार (2,3,पी) त्रिकोण. इससे सूत्र तैयार होता है | ||
:<math>g = \tfrac{1}{24}(p+2)(p-3)(p-5).</math> | जहां χ = 2 − 2''g'' [[यूलर विशेषता]] है, |''G''| = (''p''+1)''p''(''p''−1)/2 समूह पीएसएल(2, ''p''), का क्रम है, और ''D'' = π − π/2 − π/3 − π/''p'' गोलाकार (2,3,''p'') त्रिभुज का [[दोष (ज्यामिति)|कोणीय दोष (ज्यामिति)]] है। इससे सूत्र तैयार होता है | ||
इस प्रकार X(5) का | |||
:]\<math>g = \tfrac{1}{24}(p+2)(p-3)(p-5).</math> | |||
: | |||
इस प्रकार ''X''(5) का वंश 0 है, ''X''(7) का वंश 3 है, और ''X''(11) का वंश 26 है | ''p'' = 2 या 3 के लिए, किसी को अतिरिक्त रूप से प्रभाव को ध्यान में रखना चाहिए |अर्थात्,पीएसएल(2, '''Z''') में क्रम ''p'' तत्वों की उपस्थिति, और तथ्य यह है कि पीएसएल(2, 2) में 3 के अतिरिक्त क्रम 6 होता है। किसी भी स्तर ''N'' के मॉड्यूलर वक्र ''X''(''N'') के '''जीनस''' के लिए अधिक समष्टि सूत्र है जिसमें ''N'' के विभाजक सम्मिलित हैं।। | |||
===जीनस शून्य=== | ===जीनस शून्य=== | ||
सामान्य तौर पर मॉड्यूलर फ़ंक्शन फ़ील्ड मॉड्यूलर वक्र | सामान्य तौर पर मॉड्यूलर फ़ंक्शन फ़ील्ड मॉड्यूलर वक्र (या, कभी-कभी, किसी अन्य मॉड्यूलि स्पेस का फ़ंक्शन फ़ील्ड होता है जो अपरिवर्तनीय विविधता बन जाता है)। जीनस ज़ीरो का मतलब है कि ऐसे फ़ंक्शन फ़ील्ड में जनरेटर के रूप में एकल [[पारलौकिक कार्य|'''पारलौकिक कार्य / ट्रान्सेंडैंटल फ़ंक्शन''']] होता है: उदाहरण के लिए [[जे-अपरिवर्तनीय|जे-फ़ंक्शन]] ''X''(1) = पीएसएल(2, '''Z''')\'''H'''* का फ़ंक्शन फ़ील्ड उत्पन्न करता है। ऐसे जनरेटर का पारंपरिक नाम, जो मोबियस परिवर्तन के लिए अद्वितीय है और उचित रूप से सामान्यीकृत किया जा सकता है, हौप्टमोडुल (मुख्य या प्रमुख मॉड्यूलर फ़ंक्शन, बहुवचन हौप्टमोडुलन) है। | ||
रिक्त स्थान ''X''<sub>1</sub>( | रिक्त स्थान ''X''<sub>1</sub>(''n'') में ''n'' = 1, ..., 10 और ''n'' = 12 के लिए जीनस शून्य है। चूँकि इनमें से प्रत्येक वक्र को '''Q''' पर परिभाषित किया गया है और इसका '''Q'''-तर्कसंगत बिंदु है, यह इस प्रकार है कि ऐसे प्रत्येक वक्र पर अनंत रूप से अनेक तर्कसंगत बिंदु हैं, और इसलिए ''n'' के इन मानों के लिए '''''n'' -मरोड़''' के साथ '''Q''' पर अनंत रूप से अनेक अण्डाकार वक्र परिभाषित हैं। विपरीत कथन, कि केवल ''n'' के ये मान ही घटित हो सकते हैं, '''मजूर का मरोड़ प्रमेय''' है। | ||
=== | === ''X''<sub>0</sub>(''N'') का जीनस === | ||
मॉड्यूलर वक्र <math>\textstyle X_0(N)</math> जीनस | मॉड्यूलर वक्र <math>\textstyle X_0(N)</math> जीनस हैं यदि और केवल यदि <math>\textstyle N</math> निम्नलिखित तालिका में सूचीबद्ध 12 मानों में से के सामान्य है।<ref>{{cite book |editor-last1=Birch |editor-first1=Bryan |editor-last2=Kuyk |editor-first2=Willem |date=1975 |title=एक चर IV के मॉड्यूलर कार्य|location=Berlin, Heidelberg |series=Lecture Notes in Mathematics |volume=476 |publisher=Springer-Verlag|page=79 |isbn=3-540-07392-2}}</ref> <math>\mathbb{Q}</math> पर अण्डाकार वक्र के रूप में, उनके पास न्यूनतम, अभिन्न वीयरस्ट्रैस मॉडल <math>y^2 + a_1 x y + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6</math> हैं। यह, <math>\textstyle a_j\in\mathbb{Z}</math> है और विवेचक <math>\Delta</math> का पूर्ण मान ही वक्र के लिए सभी अभिन्न वीयरस्ट्रैस मॉडल के बीच न्यूनतम है। निम्नलिखित तालिका में अद्वितीय कम, न्यूनतम, अभिन्न वीयरस्ट्रैस मॉडल सम्मिलित हैं, जिसका अर्थ है <math>\textstyle a_1, a_3\in\{0,1\}</math> और <math>\textstyle a_2\in\{-1,0,1\}</math> हैं । <ref>{{cite journal |last1=Ligozat |first1=Gerard |date=1975 |title=लिंग 1 मॉड्यूलर वक्र|url=http://www.numdam.org/article/MSMF_1975__43__5_0.pdf |journal=Bulletin de la Société Mathématique de France |volume=43 |issue= |pages=44–45 |access-date=2022-11-06}}</ref> इस तालिका का अंतिम कॉलम एल-फ़ंक्शंस और मॉड्यूलर फॉर्म डेटाबेस (एलएमएफडीबी) पर संबंधित अण्डाकार मॉड्यूलर वक्र <math>\textstyle X_0(N)</math> के होम पेज को संदर्भित करता है। | ||
{| class="wikitable" | {| class="wikitable" | ||
|+ <math>X_0(N)</math> of genus 1 | |+ <math>X_0(N)</math> of genus 1 | ||
Line 92: | Line 96: | ||
==राक्षस समूह से संबंध== | ==राक्षस समूह से संबंध== | ||
जीनस 0 के मॉड्यूलर वक्र, जो | जीनस 0 के मॉड्यूलर वक्र, जो अधिक कठिन हैं, [[राक्षसी चांदनी|मॉन्स्टर मूनसाइन]] अनुमानों के संबंध में प्रमुख महत्व के सिद्ध हुए। उनके हाउप्टमोडुलन के ''q''-विस्तार के पहले अनेक गुणांकों की गणना 19वीं शताब्दी में ही की गई थी, लेकिन यह झटके के रूप में आया कि वही बड़े पूर्णांक सबसे बड़े विकीर्ण सरल समूह मॉन्स्टर के प्रतिनिधित्व के आयाम के रूप में दिखाई देते हैं। | ||
एक अन्य संबंध यह है कि एसएल(2, '''R''') में Γ<sub>0</sub>(''p'') के [[नॉर्मलाइज़र]] /'''सामान्यीकरण''' Γ<sub>0</sub>(''p'')<sup>+</sup> के अनुरूप मॉड्यूलर वक्र में जीनस शून्य होता है यदि और केवल यदि ''p'' 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 या 71 है, और ये सटीक रूप से राक्षस समूह के क्रम के प्रमुख कारक हैं। Γ<sub>0</sub>(''p'')<sup>+</sup> के बारे में परिणाम 1970 के दशक में [[ जीन पियरे सेरे |जीन पियरे सेरे]], [[एंड्रयू ऑग]] और जॉन जी थॉम्पसन के कारण है, और बाद में इसे राक्षस समूह से संबंधित अवलोकन ओग के कारण है, जिन्होंने पेपर लिखा था जिसमें जैक डैनियल की व्हिस्की की बोतल की प्रस्तुत की गई थी जो इस तथ्य को समझा सकता था, जो [[राक्षस समूह|मॉन्स्टर मूनसाइन]] के सिद्धांत के लिए प्रारंभिक बिंदु था।<ref>{{harvtxt|Ogg|1974}}</ref> | |||
यह संबंध बहुत गहरा है और, जैसा कि [[रिचर्ड बोरचर्ड्स]] द्वारा प्रदर्शित किया गया है, इसमें सामान्यीकृत केएसी-मूडी बीजगणित भी शामिल है। इस क्षेत्र में काम ने मॉड्यूलर कार्यों के महत्व को रेखांकित किया जो मेरोमोर्फिक हैं और क्यूप्स पर ध्रुव हो सकते हैं, मॉड्यूलर रूपों के विपरीत, जो कि क्यूप्स समेत हर जगह होलोमोर्फिक हैं, और 20 वीं शताब्दी के बेहतर हिस्से के लिए अध्ययन की मुख्य वस्तुएं थीं। | |||
यह संबंध बहुत गहरा है और, जैसा कि [[रिचर्ड बोरचर्ड्स]] द्वारा प्रदर्शित किया गया है, इसमें सामान्यीकृत केएसी-मूडी बीजगणित भी शामिल है। इस क्षेत्र में काम ने मॉड्यूलर | |||
== यह भी देखें == | == यह भी देखें == |
Revision as of 23:23, 21 July 2023
संख्या सिद्धांत और बीजगणितीय ज्यामिति में, मॉड्यूलर वक्र Y(Γ) रीमैन सतह, या संबंधित बीजगणितीय वक्र है, जो मॉड्यूलर समूह समूह के सर्वांगसम उपसमूह Γ की क्रिया द्वारा समष्टि ऊपरी आधे-तल H के समूह क्रिया द्वारा भागफल के रूप में निर्मित होता है। इंटीग्रल 2×2 मैट्रिक्स एसएल(2, Z)। मॉड्यूलर वक्र शब्द का उपयोग कॉम्पैक्टिफाइड मॉड्यूलर वक्रों को संदर्भित करने के लिए भी किया जा सकता है -X(Γ) जो कि इस भागफल में (विस्तारित समष्टि ऊपरी-आधे तल पर क्रिया के माध्यम से) बहुत सारे बिंदु (जिसे Γ के क्यूप्स कहा जाता है) जोड़कर प्राप्त किए गए संघनन (गणित) हैं। मॉड्यूलर वक्र के बिंदु समूह Γ के आधार पर कुछ अतिरिक्त संरचना के साथ,अण्डाकार वक्रों के समरूपता वर्गों को पैरामीट्रिज करते हैं। यह व्याख्या किसी को समष्टि संख्याओं के संदर्भ के बिना, मॉड्यूलर वक्रों की विशुद्ध रूप से बीजगणितीय परिभाषा देने की अनुमति देती है, और इसके अलावा, यह सिद्ध करती है कि मॉड्यूलर वक्र या तो तर्कसंगत संख्या Q के क्षेत्र या साइक्लोटोमिक क्षेत्र Q(ζn) पर परिभाषित होते हैं। बाद वाला तथ्य और इसके सामान्यीकरण संख्या सिद्धांत में मौलिक महत्व के हैं।
विश्लेषणात्मक परिभाषा
मॉड्यूलर समूह एसएल (2, Z) आंशिक रैखिक परिवर्तनों द्वारा ऊपरी आधे तल पर कार्य करता है। मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में एसएल(2, Z) के सर्वांगसम उपसमूह Γ का विकल्प सम्मिलित होता है, यानी उपसमूह जिसमें कुछ सकारात्मक पूर्णांक N के लिए स्तर N Γ(N) का प्रमुख सर्वांगसम उपसमूह होता है, जहां
ऐसे न्यूनतम N को Γ का स्तर कहा जाता है। गैर सघन रीमैन सतह जिसे आमतौर पर Y(Γ) कहा जाता है, प्राप्त करने के लिए भागफल Γ\H पर समष्टि संरचना डाली जा सकती है।
संहतित मॉड्यूलर वक्र
Y(Γ) का सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह विस्तारित समष्टि ऊपरी-आधे विमान H* = H ∪ Q ∪ {∞}. पर Γ की क्रिया पर विचार करके किया जाता है। हम आधार के रूप में H* पर टोपोलॉजी प्रस्तुत करते हैं:
- H का कोई भी खुला उपसमुच्चय,
- सभी r > 0 के लिए, सेट
- सभी सहअभाज्य पूर्णांक a, c और सभी r > 0 के लिए, की क्रिया के तहत की छवि
-
- जहाँ m, n ऐसे पूर्णांक हैं कि a + सेमी = 1.
यह H* को टोपोलॉजिकल स्पेस में परिवर्तित देता है जो रीमैन क्षेत्र P1(C) का उपसमुच्चय है। समूह Γ उपसमुच्चय Q ∪ {∞} पर कार्य करता है, इसे परिमित रूप से अनेक कक्षाओं में विभाजित करता है जिन्हें Γ का पुच्छल कहा जाता है। यदि Γ Q ∪ {∞} पर सकर्मक रूप से कार्य करता है, तो स्थान Γ\H* Γ\H का अलेक्जेंड्रॉफ़ संघनन बन जाता है। बार फिर, समष्टि संरचना को भागफल Γ\H* पर रखा जा सकता है, जिससे इसे X(Γ) नामक रीमैन सतह में परिवर्तित दिया जा सकता है, जो अब कॉम्पैक्ट है। यह स्थान Y(Γ) का संघनन है।[1]
उदाहरण
सबसे सामान्य उदाहरण उपसमूह Γ(N), Γ0(N), और Γ1(N) से जुड़े वक्र X(N), X0(N), और X1(N) हैं।
मॉड्यूलर वक्र X(5) में जीनस 0 है | यह नियमित इकोसाहेड्रोन के शीर्ष पर स्थित 12 क्यूस्प्स वाला रीमैन क्षेत्र है। कवरिंग X(5) → X(1) का अनुभव रीमैन क्षेत्र पर इकोसाहेड्रल समूह की कार्रवाई से होता है। यह समूह A5 और पीएसएल(2,5) के क्रम 60 समरूपी का सरल समूह है।
मॉड्यूलर वक्र X(7) 24 क्यूप्स के साथ जीनस 3 का क्लेन क्वार्टिक है। इसे 24 हेप्टागोन्स द्वारा टाइल किए गए तीन हैंडल वाली सतह के रूप में समझा जा सकता है, जिसमें प्रत्येक चेहरे के केंद्र में पुच्छ होता है। इन टाइलिंग को डेसिन्स डी एनफैंट्स और बेली फ़ंक्शंस के माध्यम से समझा जा सकता है - क्यूप्स ∞ (लाल बिंदु) के ऊपर स्थित बिंदु हैं, जबकि किनारों (काले और सफेद बिंदु) के शीर्ष और केंद्र 0 और 1 के ऊपर स्थित बिंदु हैं। कवरिंग X(7) → X(1) का गैलोज़ समूह पीएसएल (2, 7) के क्रम 168 आइसोमोर्फिक का सरल समूह है।
X0(N) के लिए स्पष्ट मौलिक मॉडल है, मौलिक मॉड्यूलर वक्र; इसे कभी-कभी मॉड्यूलर वक्र भी कहा जाता है। Γ(N) की परिभाषा को इस प्रकार दोहराया जा सकता है: यह मॉड्यूलर समूह का उपसमूह है जो कमी मॉड्यूलो मॉड्यूलो N का कर्नेल है। फिर Γ0(N) मैट्रिक्स का बड़ा उपसमूह है जो ऊपरी त्रिकोणीय मॉड्यूलो N है |
और Γ1(N) मध्यवर्ती समूह है जिसे निम्न द्वारा परिभाषित किया गया है |
इन वक्रों की समतल संरचना वाले अण्डाकार वक्रों के लिए मॉड्यूलि रिक्त स्थान के रूप में सीधी व्याख्या होती है और इस कारण से वे अंकगणितीय ज्यामिति में महत्वपूर्ण भूमिका निभाते हैं। लेवल N मॉड्यूलर वक्र X(N) N-टोरसन के आधार के साथ अण्डाकार वक्रों के लिए मॉड्यूलि स्पेस है। X0(N) और X1(N) के लिए, स्तर संरचना क्रमशः क्रम N का चक्रीय उपसमूह और क्रम N का बिंदु है। इन वक्रों का बहुत विस्तार से अध्ययन किया गया है, और विशेष रूप से, यह ज्ञात है कि X0(N) को Q के ऊपर परिभाषित किया जा सकता है।
मॉड्यूलर वक्रों को परिभाषित करने वाले समीकरण मॉड्यूलर समीकरणों के सबसे प्रसिद्ध उदाहरण हैं। "सर्वोत्तम मॉडल" सीधे अण्डाकार फ़ंक्शन सिद्धांत से लिए गए मॉडल से बहुत भिन्न हो सकते हैं। मॉड्यूलर वक्रों के जोड़े को जोड़ने वाले पत्राचार (बीजगणितीय ज्यामिति) के रूप में, हेके ऑपरेटरों का ज्यामितीय रूप से अध्ययन किया जा सकता है।
'टिप्पणी': 'H' के भागफल जो संहत हैं, मॉड्यूलर समूह के उपसमूहों के अलावा फुच्सियन समूहों Γ के लिए भी होते हैं; चतुर्भुज बीजगणित से निर्मित उनमें से वर्ग भी संख्या सिद्धांत में रुचि रखता है।
जीनस
कवरिंग X(N) → X(1) गैलोज़ है, गैलोज़ समूह एसएल(2, N)/{1, −1} के साथ, जो पीएसएल(2, N) के सामान्य है यदि N अभाज्य है। रीमैन-हर्विट्ज़ फॉर्मूला और गॉस-बोनट प्रमेय को प्रयुक्त करके, कोई X(N) के जीनस की गणना कर सकता है। अभाज्य संख्या स्तर p ≥ 5 के लिए हैं |
जहां χ = 2 − 2g यूलर विशेषता है, |G| = (p+1)p(p−1)/2 समूह पीएसएल(2, p) का क्रम है, और D = π - π/2 - π/3 - π/p का दोष (ज्यामिति) है गोलाकार (2,3,पी) त्रिकोण. इससे सूत्र तैयार होता है
जहां χ = 2 − 2g यूलर विशेषता है, |G| = (p+1)p(p−1)/2 समूह पीएसएल(2, p), का क्रम है, और D = π − π/2 − π/3 − π/p गोलाकार (2,3,p) त्रिभुज का कोणीय दोष (ज्यामिति) है। इससे सूत्र तैयार होता है
- ]\
इस प्रकार X(5) का वंश 0 है, X(7) का वंश 3 है, और X(11) का वंश 26 है | p = 2 या 3 के लिए, किसी को अतिरिक्त रूप से प्रभाव को ध्यान में रखना चाहिए |अर्थात्,पीएसएल(2, Z) में क्रम p तत्वों की उपस्थिति, और तथ्य यह है कि पीएसएल(2, 2) में 3 के अतिरिक्त क्रम 6 होता है। किसी भी स्तर N के मॉड्यूलर वक्र X(N) के जीनस के लिए अधिक समष्टि सूत्र है जिसमें N के विभाजक सम्मिलित हैं।।
जीनस शून्य
सामान्य तौर पर मॉड्यूलर फ़ंक्शन फ़ील्ड मॉड्यूलर वक्र (या, कभी-कभी, किसी अन्य मॉड्यूलि स्पेस का फ़ंक्शन फ़ील्ड होता है जो अपरिवर्तनीय विविधता बन जाता है)। जीनस ज़ीरो का मतलब है कि ऐसे फ़ंक्शन फ़ील्ड में जनरेटर के रूप में एकल पारलौकिक कार्य / ट्रान्सेंडैंटल फ़ंक्शन होता है: उदाहरण के लिए जे-फ़ंक्शन X(1) = पीएसएल(2, Z)\H* का फ़ंक्शन फ़ील्ड उत्पन्न करता है। ऐसे जनरेटर का पारंपरिक नाम, जो मोबियस परिवर्तन के लिए अद्वितीय है और उचित रूप से सामान्यीकृत किया जा सकता है, हौप्टमोडुल (मुख्य या प्रमुख मॉड्यूलर फ़ंक्शन, बहुवचन हौप्टमोडुलन) है।
रिक्त स्थान X1(n) में n = 1, ..., 10 और n = 12 के लिए जीनस शून्य है। चूँकि इनमें से प्रत्येक वक्र को Q पर परिभाषित किया गया है और इसका Q-तर्कसंगत बिंदु है, यह इस प्रकार है कि ऐसे प्रत्येक वक्र पर अनंत रूप से अनेक तर्कसंगत बिंदु हैं, और इसलिए n के इन मानों के लिए n -मरोड़ के साथ Q पर अनंत रूप से अनेक अण्डाकार वक्र परिभाषित हैं। विपरीत कथन, कि केवल n के ये मान ही घटित हो सकते हैं, मजूर का मरोड़ प्रमेय है।
X0(N) का जीनस
मॉड्यूलर वक्र जीनस हैं यदि और केवल यदि निम्नलिखित तालिका में सूचीबद्ध 12 मानों में से के सामान्य है।[2] पर अण्डाकार वक्र के रूप में, उनके पास न्यूनतम, अभिन्न वीयरस्ट्रैस मॉडल हैं। यह, है और विवेचक का पूर्ण मान ही वक्र के लिए सभी अभिन्न वीयरस्ट्रैस मॉडल के बीच न्यूनतम है। निम्नलिखित तालिका में अद्वितीय कम, न्यूनतम, अभिन्न वीयरस्ट्रैस मॉडल सम्मिलित हैं, जिसका अर्थ है और हैं । [3] इस तालिका का अंतिम कॉलम एल-फ़ंक्शंस और मॉड्यूलर फॉर्म डेटाबेस (एलएमएफडीबी) पर संबंधित अण्डाकार मॉड्यूलर वक्र के होम पेज को संदर्भित करता है।
LMFDB | |||
11 | [0, -1, 1, -10, -20] | link | |
14 | [1, 0, 1, 4, -6] | link | |
15 | [1, 1, 1, -10, -10] | link | |
17 | [1, -1, 1, -1, -14] | link | |
19 | [0, 1, 1, -9, -15] | link | |
20 | [0, 1, 0, 4, 4] | link | |
21 | [1, 0, 0, -4, -1] | link | |
24 | [0, -1, 0, -4, 4] | link | |
27 | [0, 0, 1, 0, -7] | link | |
32 | [0, 0, 0, 4, 0] | link | |
36 | [0, 0, 0, 0, 1] | link | |
49 | [1, -1, 0, -2, -1] | link |
राक्षस समूह से संबंध
जीनस 0 के मॉड्यूलर वक्र, जो अधिक कठिन हैं, मॉन्स्टर मूनसाइन अनुमानों के संबंध में प्रमुख महत्व के सिद्ध हुए। उनके हाउप्टमोडुलन के q-विस्तार के पहले अनेक गुणांकों की गणना 19वीं शताब्दी में ही की गई थी, लेकिन यह झटके के रूप में आया कि वही बड़े पूर्णांक सबसे बड़े विकीर्ण सरल समूह मॉन्स्टर के प्रतिनिधित्व के आयाम के रूप में दिखाई देते हैं।
एक अन्य संबंध यह है कि एसएल(2, R) में Γ0(p) के नॉर्मलाइज़र /सामान्यीकरण Γ0(p)+ के अनुरूप मॉड्यूलर वक्र में जीनस शून्य होता है यदि और केवल यदि p 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 या 71 है, और ये सटीक रूप से राक्षस समूह के क्रम के प्रमुख कारक हैं। Γ0(p)+ के बारे में परिणाम 1970 के दशक में जीन पियरे सेरे, एंड्रयू ऑग और जॉन जी थॉम्पसन के कारण है, और बाद में इसे राक्षस समूह से संबंधित अवलोकन ओग के कारण है, जिन्होंने पेपर लिखा था जिसमें जैक डैनियल की व्हिस्की की बोतल की प्रस्तुत की गई थी जो इस तथ्य को समझा सकता था, जो मॉन्स्टर मूनसाइन के सिद्धांत के लिए प्रारंभिक बिंदु था।[4]
यह संबंध बहुत गहरा है और, जैसा कि रिचर्ड बोरचर्ड्स द्वारा प्रदर्शित किया गया है, इसमें सामान्यीकृत केएसी-मूडी बीजगणित भी शामिल है। इस क्षेत्र में काम ने मॉड्यूलर कार्यों के महत्व को रेखांकित किया जो मेरोमोर्फिक हैं और क्यूप्स पर ध्रुव हो सकते हैं, मॉड्यूलर रूपों के विपरीत, जो कि क्यूप्स समेत हर जगह होलोमोर्फिक हैं, और 20 वीं शताब्दी के बेहतर हिस्से के लिए अध्ययन की मुख्य वस्तुएं थीं।
यह भी देखें
- मैनिन-ड्रिनफेल्ड प्रमेय
- अण्डाकार वक्रों का मॉड्यूली स्टैक
- मॉड्यूलैरिटी प्रमेय
- शिमुरा किस्म, उच्च आयामों के लिए मॉड्यूलर वक्रों का सामान्यीकरण
संदर्भ
- ↑ Serre, Jean-Pierre (1977), Cours d'arithmétique, Le Mathématicien, vol. 2 (2nd ed.), Presses Universitaires de France
- ↑ Birch, Bryan; Kuyk, Willem, eds. (1975). एक चर IV के मॉड्यूलर कार्य. Lecture Notes in Mathematics. Vol. 476. Berlin, Heidelberg: Springer-Verlag. p. 79. ISBN 3-540-07392-2.
- ↑ Ligozat, Gerard (1975). "लिंग 1 मॉड्यूलर वक्र" (PDF). Bulletin de la Société Mathématique de France. 43: 44–45. Retrieved 2022-11-06.
- ↑ Ogg (1974)
- Steven D. Galbraith - Equations For Modular Curves
- Shimura, Goro (1994) [1971], Introduction to the arithmetic theory of automorphic functions, Publications of the Mathematical Society of Japan, vol. 11, Princeton University Press, ISBN 978-0-691-08092-5, MR 1291394, Kanô Memorial Lectures, 1
{{citation}}
: CS1 maint: postscript (link) - Panchishkin, A.A.; Parshin, A.N., "Modular curve", Encyclopaedia of Mathematics, ISBN 1-4020-0609-8
- Ogg, Andrew P. (1974), "Automorphismes de courbes modulaires" (PDF), Seminaire Delange-Pisot-Poitou. Theorie des nombres, tome 16, no. 1 (1974–1975), exp. no. 7 (in français), MR 0417184