2025-11-19T22:07:14.875054

Classification of torsion of elliptic curves over quartic fields

Derickx, Najman
Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. We determine all the possibilities for the torsion group $E(K)_{tor}$ where $K$ ranges over all quartic fields $K$ and $E$ ranges over all elliptic curves over $K$. We show that there are no sporadic torsion groups, or in other words, that all torsion groups either do not appear or they appear for infinitely many non-isomorphic elliptic curves $E$. Proving this requires showing that numerous modular curves $X_1(m,n)$ have no non-cuspidal degree $4$ points. We deal with almost all the curves using one of 3 methods: a method for the rank 0 cases requiring no computation; the Hecke sieve, a local method requiring computer-assisted computations; and the global method, an argument for the positive rank cases also requiring no computation. We deal with the handful of remaining cases using ad hoc methods.
academic

चतुर्थ घात क्षेत्रों पर दीर्घवृत्तीय वक्रों के मरोड़ का वर्गीकरण

मूल जानकारी

  • पेपर ID: 2412.16016
  • शीर्षक: Classification of torsion of elliptic curves over quartic fields
  • लेखक: Maarten Derickx, Filip Najman
  • वर्गीकरण: math.NT (संख्या सिद्धांत), math.AG (बीजगणितीय ज्यामिति)
  • प्रकाशन समय: 18 फरवरी 2025 (arXiv v2)
  • पेपर लिंक: https://arxiv.org/abs/2412.16016

सारांश

मान लीजिए EE एक चतुर्थ घात क्षेत्र KK पर एक दीर्घवृत्तीय वक्र है। Mordell-Weil प्रमेय के अनुसार, E(K)E(K) एक परिमित रूप से उत्पन्न समूह है। यह पेपर निर्धारित करता है कि जब KK सभी चतुर्थ घात क्षेत्रों पर विचरण करता है और EE KK पर सभी दीर्घवृत्तीय वक्रों पर विचरण करता है, तो मरोड़ समूह E(K)torsE(K)_{tors} की सभी संभावनाएं क्या हैं। यह सिद्ध करता है कि कोई आकस्मिक मरोड़ समूह नहीं हैं, अर्थात सभी मरोड़ समूह या तो प्रकट नहीं होते हैं या अनंत रूप से कई गैर-समरूप दीर्घवृत्तीय वक्रों EE के लिए प्रकट होते हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. मूल समस्या: दिए गए घात के संख्या क्षेत्र पर दीर्घवृत्तीय वक्रों के सभी संभावित मरोड़ समूह संरचनाओं का निर्धारण। यह बीजगणितीय संख्या सिद्धांत में एक मौलिक समस्या है, जो दीर्घवृत्तीय वक्रों के अंकगणितीय गुणों से संबंधित है।
  2. अनुसंधान का महत्व:
    • दीर्घवृत्तीय वक्र मरोड़ सिद्धांत के वर्गीकरण कार्य को पूर्ण करता है
    • Mazur द्वारा परिमेय संख्याओं के क्षेत्र पर, Kamienny द्वारा द्विघात क्षेत्रों पर, और हाल ही में त्रिघात क्षेत्रों पर वर्गीकरण के बाद, चतुर्थ घात क्षेत्र अगला प्राकृतिक लक्ष्य है
    • उच्च घात संख्या क्षेत्रों पर दीर्घवृत्तीय वक्रों के अंकगणितीय गुणों को समझने के लिए महत्वपूर्ण है
  3. मौजूदा कार्य की सीमाएं:
    • पूर्ववर्ती विधियां औपचारिक विसर्जन मानदंड और गणना-गहन विधियों पर बहुत अधिक निर्भर करती हैं
    • उच्च घात क्षेत्रों के लिए, पारंपरिक विधियां तकनीकी रूप से कठिनाइयों का सामना करती हैं
    • जब मरोड़ क्रम Hasse सीमा के करीब होता है, तो औपचारिक विसर्जन विधि विफल हो जाती है
  4. अनुसंधान प्रेरणा: नई सैद्धांतिक विधियां विकसित करना, गणना पर निर्भरता को कम करना, और उच्च घात क्षेत्रों पर मरोड़ वर्गीकरण के अनुसंधान के लिए आधार तैयार करना।

मूल योगदान

  1. संपूर्ण वर्गीकरण: चतुर्थ घात क्षेत्रों पर दीर्घवृत्तीय वक्रों के सभी संभावित मरोड़ समूहों का निर्धारण, आकस्मिक मरोड़ समूहों का अस्तित्व सिद्ध नहीं करता है
  2. विधि नवाचार:
    • रैंक 0 स्थिति के लिए गणना-मुक्त विधि प्रस्तावित करता है (Proposition 5.1)
    • Hecke छलनी विधि विकसित करता है, एक स्थानीय विधि जिसे गणना सहायता की आवश्यकता है
    • सकारात्मक रैंक स्थिति के लिए वैश्विक विधि स्थापित करता है, गणना की आवश्यकता नहीं है
  3. तकनीकी सफलता: औपचारिक विसर्जन का उपयोग करने से बचता है, विधि को उच्च घात क्षेत्रों के लिए अधिक उपयुक्त बनाता है
  4. सैद्धांतिक परिणाम: सिद्ध करता है कि d=4d=4 संभवतः X1(n)X_1(n) पर घात dd आकस्मिक बिंदुओं के अस्तित्व की अधिकतम घात है

विधि विवरण

कार्य परिभाषा

सभी संभावित परिमित एबेलियन समूहों TT का निर्धारण करना, जैसे कि एक चतुर्थ घात क्षेत्र KK और दीर्घवृत्तीय वक्र E/KE/K मौजूद हैं जो E(K)tors≅TE(K)_{tors} \cong T को संतुष्ट करते हैं।

मुख्य प्रमेय

प्रमेय 1.1: जब KK सभी चतुर्थ घात संख्या क्षेत्रों पर विचरण करता है और EE KK पर सभी दीर्घवृत्तीय वक्रों पर विचरण करता है, तो E(K)torsE(K)_{tors} के रूप में प्रकट होने वाले समूह बिल्कुल हैं:

  • Z/nZ\mathbb{Z}/n\mathbb{Z}, n=1−18,20,21,22,24n = 1-18, 20, 21, 22, 24
  • Z/2Z×Z/2nZ\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2n\mathbb{Z}, n=1−9n = 1-9
  • Z/3Z×Z/3nZ\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3n\mathbb{Z}, n=1−3n = 1-3
  • Z/4Z×Z/4nZ\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/4n\mathbb{Z}, n=1,2n = 1, 2
  • Z/5Z×Z/5Z\mathbb{Z}/5\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z}
  • Z/6Z×Z/6Z\mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/6\mathbb{Z}

मूल विधि

1. रैंक 0 स्थिति की विधि (Proposition 5.1)

rkJ1(m,n)(Q)=0\text{rk}J_1(m,n)(\mathbb{Q}) = 0 की स्थिति के लिए:

  • gonality सीमा का उपयोग करता है
  • अपचयन सिद्धांत के माध्यम से संभावनाओं को बाहर करता है
  • गणना से बचता है, विशुद्ध सैद्धांतिक तर्क

2. Hecke छलनी विधि (Proposition 5.4)

  • मॉड्यूलर वक्रों पर बिंदुओं का अध्ययन करने के लिए Hecke ऑपरेटरों की कार्रवाई का उपयोग करता है
  • Eichler-Shimura संबंध के माध्यम से: Tq,Fq=Frobq+⟨q⟩Fq,∗VerqT_{q,\mathbb{F}_q} = \text{Frob}_q + \langle q \rangle_{\mathbb{F}_q,*}\text{Ver}_q
  • गैर-शीर्ष बिंदुओं के लिए छलनी, असंभव अपचयन को बाहर करता है

3. वैश्विक विधि (Proposition 4.4)

सकारात्मक रैंक स्थिति के लिए:

  • Abramovich की gonality निचली सीमा का उपयोग करता है: gonCXΓ>325215[PSL2(Z):Γ]\text{gon}_\mathbb{C} X_\Gamma > \frac{325}{2^{15}}[\text{PSL}_2(\mathbb{Z}) : \Gamma]
  • P1\mathbb{P}^1 के लिए अत्यधिक छोटी घात के मानचित्रों का निर्माण करके विरोधाभास प्राप्त करता है
  • CM बिंदुओं की न्यूनतम घात परिणामों को जोड़ता है

तकनीकी नवाचार बिंदु

  1. औपचारिक विसर्जन से बचना: पारंपरिक विधि की मुख्य सीमा को दूर किया गया है
  2. Hecke ऑपरेटरों का नया अनुप्रयोग: Hecke ऑपरेटरों को बिंदु छलनी के लिए उपयोग करता है, न कि केवल मॉड्यूलर रूप सिद्धांत के लिए
  3. एकीकृत ढांचा: तीन विधियां पूरक हैं, सभी बाहर करने योग्य स्थितियों को कवर करती हैं
  4. गणना अनुकूलन: गणना आवश्यकताओं में उल्लेखनीय कमी

प्रायोगिक सेटअप

गणना वातावरण

  • हार्डवेयर: Intel Xeon W-2133 CPU @ 3.60GHz, 12 कोर, 64GB RAM
  • सॉफ्टवेयर: Magma V2.28-3, Ubuntu 18.04.6 LTS
  • कुल गणना समय: लगभग 6.5 CPU घंटे
  • मेमोरी शिखर: लगभग 1.5GB RAM

डेटा स्रोत

  • LMFDB: मॉड्यूलर रूपों के विश्लेषणात्मक रैंक डेटा
  • स्पष्ट समीकरण: Andrew Sutherland द्वारा गणना किए गए X1(m,n)X_1(m,n) के स्पष्ट समीकरण
  • CM बिंदु डेटा: Clark आदि द्वारा CM बिंदुओं की न्यूनतम घात डेटा

सत्यापन विधि

  • सभी गणना कोड GitHub पर खुले स्रोत हैं
  • प्रत्येक गणना दावे के लिए संबंधित कोड चिह्न हैं
  • विस्तृत गणना लॉग प्रदान करता है

प्रायोगिक परिणाम

मुख्य परिणाम

बाहर करने योग्य मरोड़ समूहों को प्रसंस्करण विधि द्वारा वर्गीकृत किया गया है:

विधि चिह्नमरोड़ समूहसंख्या
aZ/40Z\mathbb{Z}/40\mathbb{Z}, Z/44Z\mathbb{Z}/44\mathbb{Z}, Z/48Z\mathbb{Z}/48\mathbb{Z}3
bपूर्ववर्ती कार्य में पहले से बाहर किया गया8
cProposition 5.1 द्वारा प्रसंस्कृत9
dवैश्विक विधि द्वारा प्रसंस्कृत9
eHecke छलनी विधि द्वारा प्रसंस्कृत8
fविशेष विधि द्वारा प्रसंस्कृत3

विशिष्ट उपलब्धियां

  1. गणना-मुक्त विधि: 18 समूहों को प्रसंस्कृत किया, जिसमें Z/121Z\mathbb{Z}/121\mathbb{Z} जैसे उच्च-क्रम स्थितियां शामिल हैं
  2. Hecke छलनी विधि: Z/2Z×Z/24Z\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z} जैसी जटिल स्थितियों को सफलतापूर्वक प्रसंस्कृत किया
  3. गणना दक्षता: पूर्ववर्ती कार्य की तुलना में गणना मात्रा में उल्लेखनीय कमी

सत्यापन परिणाम

सभी 40 बाहर करने योग्य मरोड़ समूहों को सफलतापूर्वक बाहर किया गया, चतुर्थ घात क्षेत्रों पर दीर्घवृत्तीय वक्रों के मरोड़ समूहों का संपूर्ण वर्गीकरण पूरा किया गया।

संबंधित कार्य

ऐतिहासिक विकास

  1. Mazur (1977): परिमेय संख्याओं के क्षेत्र पर वर्गीकरण
  2. Kamienny (1992): द्विघात क्षेत्रों पर वर्गीकरण
  3. Derickx आदि (2021): त्रिघात क्षेत्रों पर वर्गीकरण
  4. यह कार्य: चतुर्थ घात क्षेत्रों पर वर्गीकरण

तकनीकी तुलना

  • पारंपरिक विधि: औपचारिक विसर्जन और गणना का व्यापक उपयोग
  • यह पेपर की विधि: सैद्धांतिक रूप से अधिक मजबूत, कम गणना आवश्यकता
  • प्रयोज्यता: यह विधि उच्च घात क्षेत्रों के लिए अधिक सामान्यीकरण योग्य है

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. चतुर्थ घात क्षेत्रों पर दीर्घवृत्तीय वक्रों के सभी संभावित मरोड़ समूहों का संपूर्ण निर्धारण
  2. आकस्मिक मरोड़ समूहों का अस्तित्व सिद्ध नहीं करता है
  3. उच्च घात क्षेत्रों के लिए उपयुक्त नई विधियां विकसित करता है

सीमाएं

  1. अभी भी कुछ स्थितियों के लिए विशेष प्रसंस्करण की आवश्यकता है
  2. कुछ विधियों को अभी भी गणना सहायता की आवश्यकता है
  3. उच्च घात क्षेत्रों के लिए सामान्यीकरण के लिए आगे के अनुसंधान की आवश्यकता है

भविष्य की दिशाएं

  1. पंचम घात क्षेत्र वर्गीकरण: पहले से ही आधे से अधिक उम्मीदवार समूहों को बाहर करने योग्य दिखाया गया है
  2. सामान्य सिद्धांत: किसी भी घात क्षेत्र के लिए लागू एकीकृत सिद्धांत विकसित करना
  3. एल्गोरिथम अनुकूलन: गणना आवश्यकताओं को और कम करना

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक योगदान महत्वपूर्ण: चतुर्थ घात क्षेत्रों पर दीर्घवृत्तीय वक्रों के मरोड़ समूहों का संपूर्ण वर्गीकरण पूरा करता है
  2. विधि नवाचार: औपचारिक विसर्जन से बचता है, उच्च घात क्षेत्रों के लिए अधिक उपयुक्त विधियां विकसित करता है
  3. गणना दक्षता: गणना आवश्यकताओं में उल्लेखनीय कमी
  4. कठोरता: संपूर्ण प्रमाण और सत्यापन योग्य गणना प्रदान करता है
  5. खुलापन: सभी कोड और डेटा सार्वजनिक रूप से सुलभ हैं

कमियां

  1. जटिलता: कई विधियों के संयोजन की आवश्यकता है, एकीकृत प्रसंस्करण ढांचे की कमी है
  2. गणना निर्भरता: हालांकि कम किया गया है, फिर भी कुछ गणना सत्यापन की आवश्यकता है
  3. सामान्यीकरण: उच्च घात क्षेत्रों के लिए सामान्यीकरण अभी भी चुनौतियों का सामना करता है

प्रभाव

  1. शैक्षणिक मूल्य: दीर्घवृत्तीय वक्र अंकगणितीय सिद्धांत में महत्वपूर्ण योगदान
  2. पद्धति महत्व: उच्च घात क्षेत्रों के अनुसंधान के लिए नया तकनीकी पथ प्रदान करता है
  3. व्यावहारिक मूल्य: क्रिप्टोग्राफी और कोडिंग सिद्धांत के लिए सैद्धांतिक आधार प्रदान करता है

प्रयोज्य परिदृश्य

  1. दीर्घवृत्तीय वक्र क्रिप्टोग्राफी में पैरामीटर चयन
  2. बीजगणितीय संख्या सिद्धांत में सैद्धांतिक अनुसंधान
  3. गणनात्मक संख्या सिद्धांत में एल्गोरिथम डिजाइन

संदर्भ

  1. B. Mazur, "Modular curves and the Eisenstein ideal", Inst. Hautes Études Sci. Publ. Math., 1977
  2. S. Kamienny, "Torsion points on elliptic curves and q-coefficients of modular forms", Invent. Math., 1992
  3. M. Derickx et al., "Sporadic cubic torsion", Algebra Number Theory, 2021
  4. D. Abramovich, "A linear lower bound on the gonality of modular curves", Internat. Math. Res. Notices, 1996

यह पेपर दीर्घवृत्तीय वक्र अंकगणितीय सिद्धांत में महत्वपूर्ण योगदान देता है, न केवल चतुर्थ घात क्षेत्रों पर संपूर्ण वर्गीकरण पूरा करता है, बल्कि अधिक महत्वपूर्ण रूप से उच्च घात क्षेत्रों के अनुसंधान के लिए उपयुक्त नई विधियां विकसित करता है, इस क्षेत्र के आगे विकास के लिए एक मजबूत आधार तैयार करता है।