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 (বীজগণিতীয় জ্যামিতি)
  • প্রকাশনার সময়: ২০২৫ সালের ১৮ ফেব্রুয়ারি (arXiv v2)
  • গবেষণাপত্রের লিঙ্ক: https://arxiv.org/abs/2412.16016

সারসংক্ষেপ

ধরুন EE একটি চতুর্ঘাত ক্ষেত্র KK এর উপর একটি উপবৃত্তাকার বক্ররেখা। মর্ডেল-ওয়েইল উপপাদ্য অনুযায়ী, E(K)E(K) একটি সীমিত উৎপাদিত গ্রুপ। এই গবেষণাপত্রটি নির্ধারণ করে যে যখন KK সমস্ত চতুর্ঘাত ক্ষেত্রের মধ্য দিয়ে যায় এবং EE KK এর উপর সমস্ত উপবৃত্তাকার বক্ররেখার মধ্য দিয়ে যায়, তখন মোচড় গ্রুপ E(K)torsE(K)_{tors} এর সমস্ত সম্ভাবনা। প্রমাণ করা হয়েছে যে কোনো আকস্মিক মোচড় গ্রুপ বিদ্যমান নেই, অর্থাৎ সমস্ত মোচড় গ্রুপ হয় প্রদর্শিত হয় না, অথবা অসীম সংখ্যক অ-সমরূপী উপবৃত্তাকার বক্ররেখা EE এর জন্য প্রদর্শিত হয়।

গবেষণা পটভূমি এবং প্রেরণা

  1. মূল সমস্যা: প্রদত্ত ডিগ্রির সংখ্যা ক্ষেত্রে উপবৃত্তাকার বক্ররেখার সমস্ত সম্ভাব্য মোচড় গ্রুপ কাঠামো নির্ধারণ করা। এটি বীজগণিতীয় সংখ্যা তত্ত্বের একটি মৌলিক সমস্যা, যা উপবৃত্তাকার বক্ররেখার পাটিগণিত বৈশিষ্ট্যের সাথে জড়িত।
  2. গবেষণার তাৎপর্য:
    • উপবৃত্তাকার বক্ররেখা মোচড় তত্ত্বের শ্রেণীবিভাগ কাজকে সম্পূর্ণ করা
    • মাজুর দ্বারা যুক্তিসঙ্গত ক্ষেত্র, কামিয়েনি দ্বারা দ্বিঘাত ক্ষেত্র এবং সম্প্রতি ত্রিঘাত ক্ষেত্রের শ্রেণীবিভাগের পরে, চতুর্ঘাত ক্ষেত্র পরবর্তী প্রাকৃতিক লক্ষ্য
    • উচ্চতর ডিগ্রির ক্ষেত্রে উপবৃত্তাকার বক্ররেখার পাটিগণিত বৈশিষ্ট্য বোঝার জন্য গুরুত্বপূর্ণ
  3. বিদ্যমান কাজের সীমাবদ্ধতা:
    • পূর্ববর্তী পদ্ধতিগুলি আনুষ্ঠানিক নিমজ্জন মানদণ্ড এবং গণনা-নিবিড় পদ্ধতির উপর ব্যাপকভাবে নির্ভর করে
    • উচ্চতর ডিগ্রির ক্ষেত্রের জন্য, ঐতিহ্যবাহী পদ্ধতিগুলি প্রযুক্তিগতভাবে অসুবিধার সম্মুখীন হয়
    • যখন মোচড়ের ক্রম হ্যাসে সীমানার কাছাকাছি থাকে, আনুষ্ঠানিক নিমজ্জন পদ্ধতি ব্যর্থ হয়
  4. গবেষণা প্রেরণা: নতুন তাত্ত্বিক পদ্ধতি বিকাশ করা, গণনার উপর নির্ভরতা হ্রাস করা এবং উচ্চতর ডিগ্রির ক্ষেত্রে মোচড় শ্রেণীবিভাগ গবেষণার ভিত্তি স্থাপন করা।

মূল অবদান

  1. সম্পূর্ণ শ্রেণীবিভাগ: চতুর্ঘাত ক্ষেত্রে উপবৃত্তাকার বক্ররেখার সমস্ত সম্ভাব্য মোচড় গ্রুপ নির্ধারণ করা, কোনো আকস্মিক মোচড় গ্রুপ নেই তা প্রমাণ করা
  2. পদ্ধতি উদ্ভাবন:
    • র‍্যাঙ্ক ০ ক্ষেত্রের জন্য একটি গণনা-মুক্ত পদ্ধতি প্রস্তাব করা (প্রস্তাব ৫.১)
    • হেকে ছাঁকনি পদ্ধতি বিকাশ করা, একটি সহায়ক গণনা প্রয়োজনীয় স্থানীয় পদ্ধতি
    • ইতিবাচক র‍্যাঙ্ক ক্ষেত্রের জন্য একটি বৈশ্বিক পদ্ধতি প্রতিষ্ঠা করা, গণনা ছাড়াই
  3. প্রযুক্তিগত অগ্রগতি: আনুষ্ঠানিক নিমজ্জন ব্যবহার এড়ানো, পদ্ধতিটিকে উচ্চতর ডিগ্রির ক্ষেত্রের জন্য আরও প্রযোজ্য করা
  4. তাত্ত্বিক ফলাফল: প্রমাণ করা যে d=4d=4 সম্ভবত X1(n)X_1(n) এ ডিগ্রি dd আকস্মিক বিন্দু বিদ্যমান নেই এমন সর্বোচ্চ ডিগ্রি

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

সমস্ত সম্ভাব্য সীমিত আবেলিয়ান গ্রুপ TT নির্ধারণ করা, যেমন একটি চতুর্ঘাত ক্ষেত্র KK এবং উপবৃত্তাকার বক্ররেখা E/KE/K বিদ্যমান যা E(K)tors≅TE(K)_{tors} \cong T সন্তুষ্ট করে।

প্রধান উপপাদ্য

উপপাদ্য ১.১: যখন 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}

মূল পদ্ধতি

১. র‍্যাঙ্ক ০ ক্ষেত্রের পদ্ধতি (প্রস্তাব ৫.১)

rkJ1(m,n)(Q)=0\text{rk}J_1(m,n)(\mathbb{Q}) = 0 ক্ষেত্রের জন্য:

  • গোনালিটি সীমানা ব্যবহার করা
  • হ্রাসকরণ তত্ত্বের মাধ্যমে সম্ভাবনা বাদ দেওয়া
  • গণনা এড়ানো, খাঁটি তাত্ত্বিক যুক্তি

২. হেকে ছাঁকনি পদ্ধতি (প্রস্তাব ৫.৪)

  • মডুলার বক্ররেখার বিন্দুগুলি অধ্যয়ন করতে হেকে অপারেটরের ক্রিয়া ব্যবহার করা
  • আইখলার-শিমুরা সম্পর্কের মাধ্যমে: Tq,Fq=Frobq+⟨q⟩Fq,∗VerqT_{q,\mathbb{F}_q} = \text{Frob}_q + \langle q \rangle_{\mathbb{F}_q,*}\text{Ver}_q
  • অ-শীর্ষ বিন্দুগুলির জন্য ছাঁকনি করা, অসম্ভব হ্রাসকরণ বাদ দেওয়া

३. বৈশ্বিক পদ্ধতি (প্রস্তাব ৪.४)

ইতিবাচক র‍্যাঙ্ক ক্ষেত্রের জন্য:

  • অ্যাব্রামোভিচের গোনালিটি নিম্ন সীমানা ব্যবহার করা: gonCXΓ>325215[PSL2(Z):Γ]\text{gon}_\mathbb{C} X_\Gamma > \frac{325}{2^{15}}[\text{PSL}_2(\mathbb{Z}) : \Gamma]
  • P1\mathbb{P}^1 এ ছোট ডিগ্রির ম্যাপিং তৈরি করে বিরোধ পাওয়া
  • সিএম বিন্দুর ন্যূনতম ডিগ্রি ফলাফলের সাথে একত্রিত করা

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

  1. আনুষ্ঠানিক নিমজ্জন এড়ানো: ঐতিহ্যবাহী পদ্ধতির প্রধান সীমাবদ্ধতা অতিক্রম করা
  2. হেকে অপারেটরের নতুন প্রয়োগ: হেকে অপারেটরকে বিন্দু ছাঁকনির জন্য ব্যবহার করা, শুধুমাত্র মডুলার ফর্ম তত্ত্বের জন্য নয়
  3. একীভূত কাঠামো: তিনটি পদ্ধতি পরস্পর পরিপূরক, সমস্ত বাদ দেওয়ার প্রয়োজনীয় ক্ষেত্র কভার করা
  4. গণনা অপ্টিমাইজেশন: গণনার প্রয়োজনীয়তা উল্লেখযোগ্যভাবে হ্রাস করা

পরীক্ষামূলক সেটআপ

গণনা পরিবেশ

  • হার্ডওয়্যার: Intel Xeon W-2133 CPU @ 3.60GHz, 12 কোর, 64GB RAM
  • সফটওয়্যার: Magma V2.28-3, Ubuntu 18.04.6 LTS
  • মোট গণনা সময়: প্রায় ৬.৫ CPU ঘন্টা
  • মেমরি শিখর: প্রায় ১.৫GB RAM

ডেটা উৎস

  • LMFDB: মডুলার ফর্মের বিশ্লেষণাত্মক র‍্যাঙ্ক ডেটা
  • স্পষ্ট সমীকরণ: অ্যান্ড্রু সাদারল্যান্ড দ্বারা গণনা করা X1(m,n)X_1(m,n) এর স্পষ্ট সমীকরণ
  • সিএম বিন্দু ডেটা: ক্লার্ক এবং অন্যদের সিএম বিন্দু ন্যূনতম ডিগ্রি ডেটা

যাচাইকরণ পদ্ধতি

  • সমস্ত গণনা কোড 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প্রস্তাব ৫.১ দ্বারা প্রক্রিয়াকৃত9
dবৈশ্বিক পদ্ধতি দ্বারা প্রক্রিয়াকৃত9
eহেকে ছাঁকনি পদ্ধতি দ্বারা প্রক্রিয়াকৃত8
fবিশেষ পদ্ধতি দ্বারা প্রক্রিয়াকৃত3

নির্দিষ্ট অর্জন

  1. গণনা-মুক্ত পদ্ধতি: ১৮টি গ্রুপ প্রক্রিয়াকৃত, Z/121Z\mathbb{Z}/121\mathbb{Z} এর মতো উচ্চ-ক্রম ক্ষেত্র সহ
  2. হেকে ছাঁকনি পদ্ধতি: Z/2Z×Z/24Z\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z} এর মতো জটিল ক্ষেত্র সফলভাবে প্রক্রিয়াকৃত
  3. গণনা দক্ষতা: পূর্ববর্তী কাজের তুলনায় গণনার পরিমাণ উল্লেখযোগ্যভাবে হ্রাস পেয়েছে

যাচাইকরণ ফলাফল

বাদ দেওয়ার প্রয়োজনীয় সমস্ত ৪০টি মোচড় গ্রুপ সফলভাবে বাদ দেওয়া হয়েছে, চতুর্ঘাত ক্ষেত্রে উপবৃত্তাকার বক্ররেখার মোচড় গ্রুপের সম্পূর্ণ শ্রেণীবিভাগ সম্পন্ন করা হয়েছে।

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

  1. মাজুর (১৯৭৭): যুক্তিসঙ্গত ক্ষেত্রে শ্রেণীবিভাগ
  2. কামিয়েনি (১৯৯২): দ্বিঘাত ক্ষেত্রে শ্রেণীবিভাগ
  3. ডেরিকক্স এবং অন্যরা (২০২১): ত্রিঘাত ক্ষেত্রে শ্রেণীবিভাগ
  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

এই গবেষণাপত্রটি উপবৃত্তাকার বক্ররেখা পাটিগণিত তত্ত্বে উল্লেখযোগ্য অবদান রেখেছে, শুধুমাত্র চতুর্ঘাত ক্ষেত্রে সম্পূর্ণ শ্রেণীবিভাগ সম্পন্ন করেনি, বরং উচ্চতর ডিগ্রির ক্ষেত্র গবেষণার জন্য প্রযোজ্য নতুন পদ্ধতি বিকাশ করেছে, এই ক্ষেত্রের আরও উন্নয়নের জন্য একটি দৃঢ় ভিত্তি স্থাপন করেছে।