मॉड्यूलर वक्र: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Algebraic variety}} संख्या सिद्धांत और बीजगणितीय ज्यामिति में, एक म...")
 
No edit summary
Line 1: Line 1:
{{Short description|Algebraic variety}}
{{Short description|Algebraic variety}}
[[संख्या सिद्धांत]] और [[बीजगणितीय ज्यामिति]] में, एक मॉड्यूलर वक्र ''Y''(Γ) एक [[रीमैन सतह]], या संबंधित [[बीजगणितीय वक्र]] है, जिसे समूह क्रिया द्वारा जटिल ऊपरी आधे-तल H की [[समूह क्रिया द्वारा भागफल]] के रूप में निर्मित किया जाता है ( इंटीग्रल 2×2 मैट्रिक्स SL(2,Z) के [[मॉड्यूलर समूह]] के एक सर्वांगसम उपसमूह Γ का गणित)। मॉड्यूलर वक्र शब्द का उपयोग कॉम्पैक्टिफाइड मॉड्यूलर कर्व्स ''X''(Γ) को संदर्भित करने के लिए भी किया जा सकता है, जो कि इस भागफल में (एक क्रिया के माध्यम से) अंतिम रूप से कई बिंदु (जिन्हें Γ का क्यूप्स कहा जाता है) जोड़कर प्राप्त किया गया [[संघनन (गणित)]]गणित) है। विस्तारित जटिल ऊपरी-आधे तल पर)। एक मॉड्यूलर वक्र मॉड्यूलि समस्या के बिंदु, [[अण्डाकार वक्र]]ों के समरूपता वर्ग, समूह Γ के आधार पर कुछ अतिरिक्त संरचना के साथ। यह व्याख्या किसी को जटिल संख्याओं के संदर्भ के बिना, मॉड्यूलर वक्रों की विशुद्ध रूप से बीजगणितीय परिभाषा देने की अनुमति देती है, और इसके अलावा, यह साबित करती है कि मॉड्यूलर वक्र या तो [[तर्कसंगत संख्या]]ओं के क्षेत्र Q या [[साइक्लोटोमिक क्षेत्र]] Q(ζ) पर परिभाषा के क्षेत्र हैं।<sub>''n''</sub>). बाद वाला तथ्य और इसके सामान्यीकरण संख्या सिद्धांत में मौलिक महत्व के हैं।
[[संख्या सिद्धांत]] और [[बीजगणितीय ज्यामिति]] में, मॉड्यूलर वक्र ''Y''(Γ) [[रीमैन सतह]], या संबंधित [[बीजगणितीय वक्र]] है, जिसे समूह क्रिया द्वारा जटिल ऊपरी आधे-तल H की [[समूह क्रिया द्वारा भागफल]] के रूप में निर्मित किया जाता है ( इंटीग्रल 2×2 मैट्रिक्स SL(2,Z) के [[मॉड्यूलर समूह]] के सर्वांगसम उपसमूह Γ का गणित)। मॉड्यूलर वक्र शब्द का उपयोग कॉम्पैक्टिफाइड मॉड्यूलर कर्व्स ''X''(Γ) को संदर्भित करने के लिए भी किया जा सकता है, जो कि इस भागफल में (एक क्रिया के माध्यम से) अंतिम रूप से कई बिंदु (जिन्हें Γ का क्यूप्स कहा जाता है) जोड़कर प्राप्त किया गया [[संघनन (गणित)]]गणित) है। विस्तारित जटिल ऊपरी-आधे तल पर)। मॉड्यूलर वक्र मॉड्यूलि समस्या के बिंदु, [[अण्डाकार वक्र]]ों के समरूपता वर्ग, समूह Γ के आधार पर कुछ अतिरिक्त संरचना के साथ। यह व्याख्या किसी को जटिल संख्याओं के संदर्भ के बिना, मॉड्यूलर वक्रों की विशुद्ध रूप से बीजगणितीय परिभाषा देने की अनुमति देती है, और इसके अलावा, यह साबित करती है कि मॉड्यूलर वक्र या तो [[तर्कसंगत संख्या]]ओं के क्षेत्र Q या [[साइक्लोटोमिक क्षेत्र]] Q(ζ) पर परिभाषा के क्षेत्र हैं।<sub>''n''</sub>). बाद वाला तथ्य और इसके सामान्यीकरण संख्या सिद्धांत में मौलिक महत्व के हैं।


== विश्लेषणात्मक परिभाषा ==
== विश्लेषणात्मक परिभाषा ==
मॉड्यूलर समूह SL(2,Z) [[आंशिक रैखिक परिवर्तन]]ों द्वारा ऊपरी आधे तल पर कार्य करता है। एक मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में SL(2,Z) के एक सर्वांगसम उपसमूह Γ का चयन शामिल है, यानी एक उपसमूह जिसमें मुख्य सर्वांगसम उपसमूह होता है|स्तर ''N'' Γ(''N'') का प्रमुख सर्वांगसम उपसमूह होता है। , कुछ सकारात्मक पूर्णांक ''एन'' के लिए, कहां
मॉड्यूलर समूह SL(2,Z) [[आंशिक रैखिक परिवर्तन]]ों द्वारा ऊपरी आधे तल पर कार्य करता है। मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में SL(2,Z) के सर्वांगसम उपसमूह Γ का चयन शामिल है, यानी उपसमूह जिसमें मुख्य सर्वांगसम उपसमूह होता है|स्तर ''N'' Γ(''N'') का प्रमुख सर्वांगसम उपसमूह होता है। , कुछ सकारात्मक पूर्णांक ''एन'' के लिए, कहां


:<math>\Gamma(N)=\left\{
:<math>\Gamma(N)=\left\{
Line 10: Line 10:
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(Γ) का एक सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह 'विस्तारित जटिल ऊपरी-आधा विमान' 'एच'* = पर Γ की कार्रवाई पर विचार करके किया जाता है{{nowrap|'''H''' ∪ '''Q''' ∪ {∞}}}. हम आधार के रूप में H* पर एक टोपोलॉजी प्रस्तुत करते हैं:
Y(Γ) का सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह 'विस्तारित जटिल ऊपरी-आधा विमान' 'एच'* = पर Γ की कार्रवाई पर विचार करके किया जाता है{{nowrap|'''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 19: Line 19:
::<math>\begin{pmatrix}a & -m\\c & n\end{pmatrix}</math> :जहाँ m, n ऐसे पूर्णांक हैं कि a + सेमी = 1.
::<math>\begin{pmatrix}a & -m\\c & n\end{pmatrix}</math> :जहाँ m, n ऐसे पूर्णांक हैं कि a + सेमी = 1.


यह 'H'* को एक टोपोलॉजिकल स्पेस में बदल देता है जो [[रीमैन क्षेत्र]] 'P' का एक उपसमूह है<sup>1</sup>(सी). समूह Γ उपसमुच्चय पर कार्य करता है {{nowrap|'''Q''' ∪ {∞}}}, इसे परिमित रूप से कई कक्षाओं (समूह सिद्धांत) में तोड़ना जिन्हें Γ का पुच्छल कहा जाता है। यदि Γ सकर्मक रूप से कार्य करता है {{nowrap|'''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>
यह 'H'* को टोपोलॉजिकल स्पेस में बदल देता है जो [[रीमैन क्षेत्र]] 'P' का उपसमूह है<sup>1</sup>(सी). समूह Γ उपसमुच्चय पर कार्य करता है {{nowrap|'''Q''' ∪ {∞}}}, इसे परिमित रूप से कई कक्षाओं (समूह सिद्धांत) में तोड़ना जिन्हें Γ का पुच्छल कहा जाता है। यदि Γ सकर्मक रूप से कार्य करता है {{nowrap|'''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>




Line 25: Line 25:
सबसे सामान्य उदाहरण वक्र X(N), X हैं<sub>0</sub>(एन), और एक्स<sub>1</sub>(एन) उपसमूहों Γ(एन), Γ से जुड़ा है<sub>0</sub>(एन), और Γ<sub>1</sub>(एन)।
सबसे सामान्य उदाहरण वक्र X(N), X हैं<sub>0</sub>(एन), और एक्स<sub>1</sub>(एन) उपसमूहों Γ(एन), Γ से जुड़ा है<sub>0</sub>(एन), और Γ<sub>1</sub>(एन)।


मॉड्यूलर वक्र कवरिंग X(5) → X(1) को रीमैन क्षेत्र पर [[[[विंशतिफलक]] समरूपता]] की क्रिया द्वारा महसूस किया जाता है। यह समूह A से 60 समरूपी क्रम का एक सरल समूह है<sub>5</sub> और पीएसएल(2,5).
मॉड्यूलर वक्र कवरिंग X(5) → X(1) को रीमैन क्षेत्र पर [[[[विंशतिफलक]] समरूपता]] की क्रिया द्वारा महसूस किया जाता है। यह समूह A से 60 समरूपी क्रम का सरल समूह है<sub>5</sub> और पीएसएल(2,5).


मॉड्यूलर वक्र X(7) 24 क्यूप्स के साथ जीनस 3 का [[क्लेन चतुर्थक]] है। इसे 24 हेप्टागोन्स द्वारा टाइल किए गए तीन हैंडल वाली सतह के रूप में समझा जा सकता है, जिसमें प्रत्येक चेहरे के केंद्र में एक पुच्छ होता है। इन टाइलिंग को डेसिन्स डी एनफैंट्स और [[बेली समारोह]] के माध्यम से समझा जा सकता है - क्यूप्स ∞ (लाल बिंदु) के ऊपर स्थित बिंदु हैं, जबकि किनारों के शीर्ष और केंद्र (काले और सफेद बिंदु) 0 और 1 के ऊपर स्थित बिंदु हैं। कवरिंग X(7) → X(1) का गैलोज़ समूह PSL(2,7)|PSL(2,7) के क्रम 168 समरूपी का एक सरल समूह है।
मॉड्यूलर वक्र X(7) 24 क्यूप्स के साथ जीनस 3 का [[क्लेन चतुर्थक]] है। इसे 24 हेप्टागोन्स द्वारा टाइल किए गए तीन हैंडल वाली सतह के रूप में समझा जा सकता है, जिसमें प्रत्येक चेहरे के केंद्र में पुच्छ होता है। इन टाइलिंग को डेसिन्स डी एनफैंट्स और [[बेली समारोह]] के माध्यम से समझा जा सकता है - क्यूप्स ∞ (लाल बिंदु) के ऊपर स्थित बिंदु हैं, जबकि किनारों के शीर्ष और केंद्र (काले और सफेद बिंदु) 0 और 1 के ऊपर स्थित बिंदु हैं। कवरिंग X(7) → X(1) का गैलोज़ समूह PSL(2,7)|PSL(2,7) के क्रम 168 समरूपी का सरल समूह है।


एक्स के लिए एक स्पष्ट शास्त्रीय मॉडल है<sub>0</sub>(एन), [[शास्त्रीय मॉड्यूलर वक्र]]; इसे कभी-कभी मॉड्यूलर वक्र भी कहा जाता है। Γ(N) की परिभाषा को इस प्रकार दोहराया जा सकता है: यह मॉड्यूलर समूह का उपसमूह है जो कमी [[मॉड्यूलर अंकगणित]] एन का कर्नेल है। फिर Γ<sub>0</sub>(एन) मैट्रिक्स का बड़ा उपसमूह है जो ऊपरी त्रिकोणीय मॉड्यूलो एन है:
एक्स के लिए स्पष्ट शास्त्रीय मॉडल है<sub>0</sub>(एन), [[शास्त्रीय मॉड्यूलर वक्र]]; इसे कभी-कभी मॉड्यूलर वक्र भी कहा जाता है। Γ(N) की परिभाषा को इस प्रकार दोहराया जा सकता है: यह मॉड्यूलर समूह का उपसमूह है जो कमी [[मॉड्यूलर अंकगणित]] एन का कर्नेल है। फिर Γ<sub>0</sub>(एन) मैट्रिक्स का बड़ा उपसमूह है जो ऊपरी त्रिकोणीय मॉड्यूलो एन है:


:<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>
Line 35: Line 35:


:<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>
इन वक्रों की समतल संरचना (बीजगणितीय ज्यामिति) के साथ अण्डाकार वक्रों के लिए मॉड्यूलि रिक्त स्थान के रूप में सीधी व्याख्या होती है और इस कारण से वे अंकगणितीय ज्यामिति में एक महत्वपूर्ण भूमिका निभाते हैं। स्तर एन मॉड्यूलर वक्र एक्स(एन) एन-टोरसन (बीजगणित) के आधार के साथ अण्डाकार वक्रों के लिए मॉड्यूलि स्थान है। एक्स के लिए<sub>0</sub>(एन) और एक्स<sub>1</sub>(एन), स्तर संरचना क्रमशः क्रम एन का एक चक्रीय उपसमूह और क्रम एन का एक बिंदु है। इन वक्रों का बहुत विस्तार से अध्ययन किया गया है, और विशेष रूप से, यह ज्ञात है कि एक्स<sub>0</sub>(एन) को 'क्यू' पर परिभाषित किया जा सकता है।
इन वक्रों की समतल संरचना (बीजगणितीय ज्यामिति) के साथ अण्डाकार वक्रों के लिए मॉड्यूलि रिक्त स्थान के रूप में सीधी व्याख्या होती है और इस कारण से वे अंकगणितीय ज्यामिति में महत्वपूर्ण भूमिका निभाते हैं। स्तर एन मॉड्यूलर वक्र एक्स(एन) एन-टोरसन (बीजगणित) के आधार के साथ अण्डाकार वक्रों के लिए मॉड्यूलि स्थान है। एक्स के लिए<sub>0</sub>(एन) और एक्स<sub>1</sub>(एन), स्तर संरचना क्रमशः क्रम एन का चक्रीय उपसमूह और क्रम एन का बिंदु है। इन वक्रों का बहुत विस्तार से अध्ययन किया गया है, और विशेष रूप से, यह ज्ञात है कि एक्स<sub>0</sub>(एन) को 'क्यू' पर परिभाषित किया जा सकता है।


मॉड्यूलर वक्रों को परिभाषित करने वाले समीकरण [[मॉड्यूलर समीकरण]]ों के सबसे प्रसिद्ध उदाहरण हैं। सर्वोत्तम मॉडल सीधे अण्डाकार फ़ंक्शन सिद्धांत से लिए गए मॉडल से बहुत भिन्न हो सकते हैं। [[बचाव संचालक]] का अध्ययन ज्यामितीय रूप से किया जा सकता है, जैसे कि मॉड्यूलर वक्रों के जोड़े को जोड़ने वाला [[पत्राचार (बीजगणितीय ज्यामिति)]]।
मॉड्यूलर वक्रों को परिभाषित करने वाले समीकरण [[मॉड्यूलर समीकरण]]ों के सबसे प्रसिद्ध उदाहरण हैं। सर्वोत्तम मॉडल सीधे अण्डाकार फ़ंक्शन सिद्धांत से लिए गए मॉडल से बहुत भिन्न हो सकते हैं। [[बचाव संचालक]] का अध्ययन ज्यामितीय रूप से किया जा सकता है, जैसे कि मॉड्यूलर वक्रों के जोड़े को जोड़ने वाला [[पत्राचार (बीजगणितीय ज्यामिति)]]।


'टिप्पणी': 'एच' के भागफल जो संहत हैं, मॉड्यूलर समूह के उपसमूहों के अलावा फुच्सियन समूहों Γ के लिए भी होते हैं; [[चतुर्भुज बीजगणित]] से निर्मित उनमें से एक वर्ग भी संख्या सिद्धांत में रुचि रखता है।
'टिप्पणी': 'एच' के भागफल जो संहत हैं, मॉड्यूलर समूह के उपसमूहों के अलावा फुच्सियन समूहों Γ के लिए भी होते हैं; [[चतुर्भुज बीजगणित]] से निर्मित उनमें से वर्ग भी संख्या सिद्धांत में रुचि रखता है।


== जाति ==
== जाति ==
कवरिंग X(N) → X(1) गैलोज़ है, गैलोज़ समूह SL(2, N)/{1, −1} के साथ, जो PSL(2,N) के बराबर है यदि N अभाज्य है। रीमैन-हर्विट्ज़ फॉर्मूला और गॉस-बोनट प्रमेय को लागू करके, कोई एक्स (एन) के जीनस की गणना कर सकता है। एक [[अभाज्य संख्या]] स्तर p ≥ 5 के लिए,
कवरिंग X(N) → X(1) गैलोज़ है, गैलोज़ समूह SL(2, N)/{1, −1} के साथ, जो PSL(2,N) के बराबर है यदि 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 समूह PSL(2, p) का क्रम है, और D = π - π/2 - π/3 - π/p का [[दोष (ज्यामिति)]] है गोलाकार (2,3,पी) त्रिकोण. इससे एक सूत्र तैयार होता है
जहां χ = 2 − 2g [[यूलर विशेषता]] है, |G| = (p+1)p(p−1)/2 समूह PSL(2, p) का क्रम है, और D = π - π/2 - π/3 - π/p का [[दोष (ज्यामिति)]] है गोलाकार (2,3,पी) त्रिकोण. इससे सूत्र तैयार होता है


:<math>g = \tfrac{1}{24}(p+2)(p-3)(p-5).</math>
:<math>g = \tfrac{1}{24}(p+2)(p-3)(p-5).</math>
इस प्रकार X(5) का जीनस 0 है, X(7) का जीनस 3 है, और पीएसएल (2, 'जेड') में तत्व, और तथ्य यह है कि पीएसएल (2, 2) में 3 के बजाय क्रम 6 है। किसी भी स्तर एन के मॉड्यूलर वक्र एक्स (एन) के जीनस के लिए एक अधिक जटिल सूत्र है इसमें N के विभाजक शामिल हैं।
इस प्रकार X(5) का जीनस 0 है, X(7) का जीनस 3 है, और पीएसएल (2, 'जेड') में तत्व, और तथ्य यह है कि पीएसएल (2, 2) में 3 के बजाय क्रम 6 है। किसी भी स्तर एन के मॉड्यूलर वक्र एक्स (एन) के जीनस के लिए अधिक जटिल सूत्र है इसमें N के विभाजक शामिल हैं।


===जीनस शून्य===
===जीनस शून्य===
सामान्य तौर पर एक मॉड्यूलर फ़ंक्शन फ़ील्ड एक मॉड्यूलर वक्र की बीजगणितीय विविधता का एक फ़ंक्शन फ़ील्ड होता है (या, कभी-कभी, कुछ अन्य मॉड्यूलि स्पेस जो एक अपरिवर्तनीय विविधता बन जाता है)। जीनस (गणित) शून्य का अर्थ है कि ऐसे फ़ंक्शन फ़ील्ड में जनरेटर के रूप में एक एकल [[पारलौकिक कार्य]] होता है: उदाहरण के लिए [[जे-अपरिवर्तनीय]]|j-फ़ंक्शन ''X''(1) = PSL(2, Z)\H का फ़ंक्शन फ़ील्ड उत्पन्न करता है *. ऐसे जनरेटर का पारंपरिक नाम, जो मोबियस परिवर्तन के लिए अद्वितीय है और उचित रूप से सामान्यीकृत किया जा सकता है, एक हौप्टमोडुल (मुख्य या प्रमुख मॉड्यूलर फ़ंक्शन, बहुवचन हौप्टमोडुलन) है।
सामान्य तौर पर मॉड्यूलर फ़ंक्शन फ़ील्ड मॉड्यूलर वक्र की बीजगणितीय विविधता का फ़ंक्शन फ़ील्ड होता है (या, कभी-कभी, कुछ अन्य मॉड्यूलि स्पेस जो अपरिवर्तनीय विविधता बन जाता है)। जीनस (गणित) शून्य का अर्थ है कि ऐसे फ़ंक्शन फ़ील्ड में जनरेटर के रूप में एकल [[पारलौकिक कार्य]] होता है: उदाहरण के लिए [[जे-अपरिवर्तनीय]]|j-फ़ंक्शन ''X''(1) = PSL(2, Z)\H का फ़ंक्शन फ़ील्ड उत्पन्न करता है *. ऐसे जनरेटर का पारंपरिक नाम, जो मोबियस परिवर्तन के लिए अद्वितीय है और उचित रूप से सामान्यीकृत किया जा सकता है, हौप्टमोडुल (मुख्य या प्रमुख मॉड्यूलर फ़ंक्शन, बहुवचन हौप्टमोडुलन) है।


रिक्त स्थान ''X''<sub>1</sub>(एन) में एन = 1, ..., 10 और एन = 12 के लिए जीनस शून्य है। चूंकि इनमें से प्रत्येक वक्र को 'क्यू' पर परिभाषित किया गया है और इसमें 'क्यू'-तर्कसंगत बिंदु है, यह इस प्रकार है कि अनंत रूप से कई तर्कसंगत हैं ऐसे प्रत्येक वक्र पर बिंदु, और इसलिए n के इन मानों के लिए n-मरोड़ के साथ 'Q' पर अनंत रूप से कई अण्डाकार वक्र परिभाषित होते हैं। विपरीत कथन, कि केवल n के ये मान ही घटित हो सकते हैं, मजूर का मरोड़ प्रमेय है।
रिक्त स्थान ''X''<sub>1</sub>(एन) में एन = 1, ..., 10 और एन = 12 के लिए जीनस शून्य है। चूंकि इनमें से प्रत्येक वक्र को 'क्यू' पर परिभाषित किया गया है और इसमें 'क्यू'-तर्कसंगत बिंदु है, यह इस प्रकार है कि अनंत रूप से कई तर्कसंगत हैं ऐसे प्रत्येक वक्र पर बिंदु, और इसलिए n के इन मानों के लिए n-मरोड़ के साथ 'Q' पर अनंत रूप से कई अण्डाकार वक्र परिभाषित होते हैं। विपरीत कथन, कि केवल n के ये मान ही घटित हो सकते हैं, मजूर का मरोड़ प्रमेय है।


=== एक्स<sub>0</sub>(एन) जीनस एक का ===
=== एक्स<sub>0</sub>(एन) जीनस का ===


मॉड्यूलर वक्र <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> एल-फ़ंक्शंस और मॉड्यूलर फॉर्म डेटाबेस (एलएमएफडीबी) पर।
मॉड्यूलर वक्र <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 92:


==राक्षस समूह से संबंध==
==राक्षस समूह से संबंध==
जीनस 0 के मॉड्यूलर वक्र, जो काफी दुर्लभ हैं, [[राक्षसी चांदनी]] अनुमानों के संबंध में प्रमुख महत्व के साबित हुए। उनके Hauptmoduln के q-विस्तार के पहले कई गुणांकों की गणना 19वीं शताब्दी में ही की गई थी, लेकिन यह एक झटके के रूप में आया कि वही बड़े पूर्णांक सबसे बड़े छिटपुट सरल समूह मॉन्स्टर के प्रतिनिधित्व के आयाम के रूप में दिखाई देते हैं।
जीनस 0 के मॉड्यूलर वक्र, जो काफी दुर्लभ हैं, [[राक्षसी चांदनी]] अनुमानों के संबंध में प्रमुख महत्व के साबित हुए। उनके Hauptmoduln के q-विस्तार के पहले कई गुणांकों की गणना 19वीं शताब्दी में ही की गई थी, लेकिन यह झटके के रूप में आया कि वही बड़े पूर्णांक सबसे बड़े छिटपुट सरल समूह मॉन्स्टर के प्रतिनिधित्व के आयाम के रूप में दिखाई देते हैं।


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


Revision as of 17:20, 21 July 2023

संख्या सिद्धांत और बीजगणितीय ज्यामिति में, मॉड्यूलर वक्र Y(Γ) रीमैन सतह, या संबंधित बीजगणितीय वक्र है, जिसे समूह क्रिया द्वारा जटिल ऊपरी आधे-तल H की समूह क्रिया द्वारा भागफल के रूप में निर्मित किया जाता है ( इंटीग्रल 2×2 मैट्रिक्स SL(2,Z) के मॉड्यूलर समूह के सर्वांगसम उपसमूह Γ का गणित)। मॉड्यूलर वक्र शब्द का उपयोग कॉम्पैक्टिफाइड मॉड्यूलर कर्व्स X(Γ) को संदर्भित करने के लिए भी किया जा सकता है, जो कि इस भागफल में (एक क्रिया के माध्यम से) अंतिम रूप से कई बिंदु (जिन्हें Γ का क्यूप्स कहा जाता है) जोड़कर प्राप्त किया गया संघनन (गणित)गणित) है। विस्तारित जटिल ऊपरी-आधे तल पर)। मॉड्यूलर वक्र मॉड्यूलि समस्या के बिंदु, अण्डाकार वक्रों के समरूपता वर्ग, समूह Γ के आधार पर कुछ अतिरिक्त संरचना के साथ। यह व्याख्या किसी को जटिल संख्याओं के संदर्भ के बिना, मॉड्यूलर वक्रों की विशुद्ध रूप से बीजगणितीय परिभाषा देने की अनुमति देती है, और इसके अलावा, यह साबित करती है कि मॉड्यूलर वक्र या तो तर्कसंगत संख्याओं के क्षेत्र Q या साइक्लोटोमिक क्षेत्र Q(ζ) पर परिभाषा के क्षेत्र हैं।n). बाद वाला तथ्य और इसके सामान्यीकरण संख्या सिद्धांत में मौलिक महत्व के हैं।

विश्लेषणात्मक परिभाषा

मॉड्यूलर समूह SL(2,Z) आंशिक रैखिक परिवर्तनों द्वारा ऊपरी आधे तल पर कार्य करता है। मॉड्यूलर वक्र की विश्लेषणात्मक परिभाषा में SL(2,Z) के सर्वांगसम उपसमूह Γ का चयन शामिल है, यानी उपसमूह जिसमें मुख्य सर्वांगसम उपसमूह होता है|स्तर N Γ(N) का प्रमुख सर्वांगसम उपसमूह होता है। , कुछ सकारात्मक पूर्णांक एन के लिए, कहां

ऐसे न्यूनतम N को 'Γ का स्तर' कहा जाता है। आमतौर पर Y(Γ) से चिह्नित गैर सघन रीमैन सतह प्राप्त करने के लिए भागफल Γ\'H' पर जटिल अनेक गुना डाला जा सकता है।

संहतित मॉड्यूलर वक्र

Y(Γ) का सामान्य संघनन बहुत सारे बिंदुओं को जोड़कर प्राप्त किया जाता है जिन्हें Γ के क्यूप्स कहा जाता है। विशेष रूप से, यह 'विस्तारित जटिल ऊपरी-आधा विमान' 'एच'* = पर Γ की कार्रवाई पर विचार करके किया जाता हैH ∪ Q ∪ {∞}. हम आधार के रूप में H* पर टोपोलॉजी प्रस्तुत करते हैं:

  • H का कोई भी खुला उपसमुच्चय,
  • सभी r > 0 के लिए, सेट
  • सभी सहअभाज्य पूर्णांक a, c और सभी r > 0 के लिए, की छवि की कार्रवाई के तहत