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

تصنيف الفتل للمنحنيات الإهليلجية على حقول رباعية

المعلومات الأساسية

  • معرّف الورقة: 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. وفقاً لنظرية مورديل-ويل، E(K)E(K) هي مجموعة منتهية التوليد. تحدد هذه الورقة جميع الاحتمالات لمجموعة الفتل E(K)torsE(K)_{tors} عندما يتنوع KK على جميع الحقول الرباعية و EE على جميع المنحنيات الإهليلجية على KK. تثبت أنه لا توجد مجموعات فتل عرضية، أي أن جميع مجموعات الفتل إما لا تظهر أو تظهر لعدد لا نهائي من المنحنيات الإهليلجية غير المتشاكلة EE.

الخلفية البحثية والدافع

  1. المشكلة الأساسية: تحديد جميع هياكل مجموعات الفتل الممكنة للمنحنيات الإهليلجية على حقول أعداد معطاة من درجة معينة. هذه مشكلة أساسية في نظرية الأعداد الجبرية، تتعلق بالخصائص الحسابية للمنحنيات الإهليلجية.
  2. الأهمية البحثية:
    • تحسين عمل التصنيف في نظرية فتل المنحنيات الإهليلجية
    • بعد تصنيف مازور للحقل النسبي، وكاميني للحقول الثنائية، والتصنيفات الحديثة للحقول الثلاثية، تمثل الحقول الرباعية الهدف الطبيعي التالي
    • ذات أهمية حاسمة لفهم الخصائص الحسابية للمنحنيات الإهليلجية على حقول أعداد ذات درجات أعلى
  3. قيود العمل السابق:
    • اعتمدت الطرق السابقة بشكل كبير على معايير الغمر الرسمية والطرق الحسابية المكثفة
    • واجهت الطرق التقليدية صعوبات تقنية للحقول ذات الدرجات الأعلى
    • عندما يقترب ترتيب الفتل من حد هاسه، تفشل طرق الغمر الرسمية
  4. الدافع البحثي: تطوير طرق نظرية جديدة، تقليل الاعتماد على الحسابات، وتأسيس أساس لدراسة تصنيف الفتل على حقول أعداد ذات درجات أعلى.

المساهمات الأساسية

  1. التصنيف الكامل: تحديد جميع مجموعات الفتل الممكنة للمنحنيات الإهليلجية على الحقول الرباعية، مع إثبات عدم وجود مجموعات فتل عرضية
  2. الابتكار المنهجي:
    • اقتراح طريقة خالية من الحسابات لحالة الرتبة 0 (الاقتراح 5.1)
    • تطوير غربال هيكل، وهي طريقة محلية تتطلب حسابات مساعدة
    • إنشاء طريقة عامة لحالات الرتبة الموجبة، خالية من الحسابات
  3. اختراق تقني: تجنب استخدام الغمر الرسمي، مما يجعل الطريقة أكثر قابلية للتطبيق على حقول ذات درجات أعلى
  4. النتائج النظرية: إثبات أن d=4d=4 قد يكون أقصى درجة لعدم وجود نقاط عرضية من الدرجة dd على X1(n)X_1(n)

شرح الطرق

تعريف المهمة

تحديد جميع المجموعات الأبيلية المنتهية 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 (الاقتراح 5.1)

لحالات rkJ1(m,n)(Q)=0\text{rk}J_1(m,n)(\mathbb{Q}) = 0:

  • الاستفادة من حدود الجنس (gonality)
  • استبعاد الاحتمالات من خلال نظرية الاختزال
  • تجنب الحسابات، استخدام الحجج النظرية البحتة

2. غربال هيكل (الاقتراح 5.4)

  • استخدام تأثير مؤثرات هيكل لدراسة النقاط على منحنيات معيارية
  • من خلال علاقة إيخلر-شيمورا: Tq,Fq=Frobq+⟨q⟩Fq,∗VerqT_{q,\mathbb{F}_q} = \text{Frob}_q + \langle q \rangle_{\mathbb{F}_q,*}\text{Ver}_q
  • غربلة النقاط غير الحادة، استبعاد الاختزالات المستحيلة

3. الطريقة العامة (الاقتراح 4.4)

لحالات الرتبة الموجبة:

  • الاستفادة من حد أبراموفيتش الأدنى للجنس: 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. تطبيق جديد لمؤثرات هيكل: استخدام مؤثرات هيكل لغربلة النقاط، وليس فقط لنظرية الأشكال المعيارية
  3. إطار عمل موحد: ثلاث طرق متكاملة، تغطي جميع الحالات المطلوبة للاستبعاد
  4. تحسين الحسابات: تقليل كبير في متطلبات الحسابات

الإعدادات التجريبية

بيئة الحسابات

  • الأجهزة: معالج Intel Xeon W-2133 @ 3.60GHz، 12 نواة، 64GB ذاكرة وصول عشوائي
  • البرامج: Magma V2.28-3، Ubuntu 18.04.6 LTS
  • إجمالي وقت الحسابات: حوالي 6.5 ساعات CPU
  • ذروة الذاكرة: حوالي 1.5GB ذاكرة وصول عشوائي

مصادر البيانات

  • LMFDB: بيانات الرتبة التحليلية للأشكال المعيارية
  • المعادلات الصريحة: المعادلات الصريحة لـ X1(m,n)X_1(m,n) المحسوبة بواسطة Andrew Sutherland
  • بيانات نقاط CM: بيانات الحد الأدنى لدرجة نقاط CM من قبل Clark وآخرين

طرق التحقق

  • جميع أكواد الحسابات مفتوحة المصدر على 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
cمعالجة بالاقتراح 5.19
dمعالجة بالطريقة العامة9
eمعالجة بغربال هيكل8
fمعالجة بطرق خاصة3

الإنجازات المحددة

  1. طرق خالية من الحسابات: معالجة 18 مجموعة، بما في ذلك حالات ذات رتبة عالية مثل Z/121Z\mathbb{Z}/121\mathbb{Z}
  2. غربال هيكل: معالجة ناجحة لحالات معقدة مثل Z/2Z×Z/24Z\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z}
  3. الكفاءة الحسابية: تقليل كبير في حجم الحسابات مقارنة بالأعمال السابقة

نتائج التحقق

تم استبعاد جميع 40 مجموعة فتل المطلوبة استبعادها بنجاح، مما أكمل التصنيف الكامل لمجموعات الفتل للمنحنيات الإهليلجية على الحقول الرباعية.

الأعمال ذات الصلة

التطور التاريخي

  1. مازور (1977): التصنيف على حقل الأعداد النسبية
  2. كاميني (1992): التصنيف على الحقول الثنائية
  3. ديريكس وآخرون (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

تقدم هذه الورقة مساهمة مهمة في نظرية الحسابات للمنحنيات الإهليلجية، حيث لا تكتفي بإكمال التصنيف الكامل على الحقول الرباعية، بل تطور طرقاً جديدة قابلة للتطبيق على دراسة حقول ذات درجات أعلى، مما يضع أساساً متيناً لمزيد من التطور في هذا المجال.