2025-11-18T23:46:13.591431

Symplectic criteria for elliptic curves, revisited

Kraus, Freitas, Sánchez-Rodríguez
Let $\ell$ and $p \geq 3$ be different primes. Let $E/\mathbb{Q}_\ell$ and $E'/\mathbb{Q}_\ell$ be elliptic curves with isomorphic $p$-torsion. Assume that $E$ has potentially multiplicative reduction. We classify when all $G_{\mathbb{Q}_\ell}$-isomorphisms $ϕ: E[p] \to E'[p]$ have the same symplectic type and prove two new criteria to determine the type in that case. In particular, when both curves have multiplicative reduction, our results cover the case of unramified $p$-torsion which is not covered by the original criterion due to Kraus and Oesterlé. We also give a variant of a symplectic criterion for the case when both $E$ and~$E'$ have good reduction and provide an algorithm to apply it. As an application, we determine the symplectic type of all the mod $p \geq 5$ congruences between rational elliptic curves with conductor $\leq 500 000$ that satisfy the hypothesis of either of our criteria at some prime~$\ell$.
academic

উপবৃত্তাকার বক্ররেখার জন্য সিমপ্লেক্টিক মানদণ্ড, পুনর্বিবেচিত

মৌলিক তথ্য

  • পত্রিকা ID: 2509.19938
  • শিরোনাম: উপবৃত্তাকার বক্ররেখার জন্য সিমপ্লেক্টিক মানদণ্ড, পুনর্বিবেচিত
  • লেখক: নুনো ফ্রেইটাস, অ্যালেইন ক্রাউস, ইগনাসি সাঞ্চেজ-রোড্রিগেজ
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের অক্টোবর ৬ (arXiv v2)
  • পত্রিকার লিঙ্ক: https://arxiv.org/abs/2509.19938v2

সারসংক্ষেপ

ধরুন ℓ\ell এবং p≥3p \geq 3 বিভিন্ন মৌলিক সংখ্যা, এবং E/QℓE/\mathbb{Q}_\ell এবং E′/QℓE'/\mathbb{Q}_\ell সমরূপী pp-টর্শন উপগ্রুপ সহ উপবৃত্তাকার বক্ররেখা। ধরুন EE সম্ভাব্য গুণনীয় বিজয়ী হ্রাস রাখে। এই পত্রিকা সমস্ত GQℓG_{\mathbb{Q}_\ell}-সমরূপতা ϕ:E[p]→E′[p]\phi: E[p] \to E'[p] এর শ্রেণীবিভাগ করে যা একই সিমপ্লেক্টিক ধরনের এবং এই ধরনটি নির্ধারণ করার জন্য দুটি নতুন মানদণ্ড প্রমাণ করে। বিশেষত, যখন উভয় বক্ররেখা গুণনীয় বিজয়ী হ্রাস রাখে, আমাদের ফলাফল ক্রাউস এবং ওস্টারলে মূল মানদণ্ড দ্বারা অন্তর্ভুক্ত নয় এমন অবিভক্ত pp-টর্শন উপগ্রুপের ক্ষেত্রে কভার করে। আমরা উভয় বক্ররেখা ভাল হ্রাস রাখে এমন ক্ষেত্রে সিমপ্লেক্টিক মানদণ্ডের একটি বিকৃতিও প্রদান করি এবং প্রয়োগের জন্য একটি অ্যালগরিদম সরবরাহ করি। একটি প্রয়োগ হিসাবে, আমরা পরিবাহক ≤500000\leq 500000 এর যুক্তিসঙ্গত উপবৃত্তাকার বক্ররেখার মধ্যে সমস্ত সিমপ্লেক্টিক ধরনের মডিউলো p≥5p \geq 5 সামঞ্জস্য নির্ধারণ করি যা আমাদের কোনো মানদণ্ডের অনুমান পূরণ করে।

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

সমস্যার পটভূমি

  1. মূল সমস্যা: দুটি উপবৃত্তাকার বক্ররেখা E/QE/\mathbb{Q} এবং E′/QE'/\mathbb{Q} দেওয়া হয়েছে যা সমরূপী pp-টর্শন উপগ্রুপ E[p]≅E′[p]E[p] \cong E'[p] সহ GQG_{\mathbb{Q}}-মডিউল হিসাবে, এই সমরূপতা সিমপ্লেক্টিক ধরনের বা বিরোধী-সিমপ্লেক্টিক ধরনের তা নির্ধারণ করা প্রয়োজন।
  2. সিমপ্লেক্টিক ধরনের সংজ্ঞা:
    • সিমপ্লেক্টিক ধরনের: একটি GQG_{\mathbb{Q}}-মডিউল সমরূপতা ϕ:E[p]→E′[p]\phi: E[p] \to E'[p] এর গুণিতক λ⋅ϕ\lambda \cdot \phi (λ∈Fp∗\lambda \in \mathbb{F}_p^*) বিদ্যমান যা Weil যুগল সংরক্ষণ করে
    • বিরোধী-সিমপ্লেক্টিক ধরনের: Weil যুগল সংরক্ষণকারী কোনো GQG_{\mathbb{Q}}-সমরূপতা বিদ্যমান নেই
  3. গবেষণার গুরুত্ব:
    • এই সমস্যা উপবৃত্তাকার বক্ররেখার পাটিগণিত বৈশিষ্ট্যের সাথে ঘনিষ্ঠভাবে সম্পর্কিত
    • মডিউলার ফর্ম তত্ত্ব এবং গ্যালোইস প্রতিনিধিত্ব তত্ত্বে গুরুত্বপূর্ণ প্রয়োগ রয়েছে
    • উপবৃত্তাকার বক্ররেখার মধ্যে সামঞ্জস্য সম্পর্ক বোঝার জন্য গুরুত্বপূর্ণ

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

  1. ক্রাউস-ওস্টারলে মূল মানদণ্ড গুণনীয় হ্রাসের ক্ষেত্রে বিভক্ত pp-টর্শন উপগ্রুপের মধ্যে সীমাবদ্ধ
  2. পূর্ববর্তী কাজ 6 এ তালিকা L(E,E′,p)L(E,E',p) সম্ভাব্য ভাল হ্রাসের বাইরে সম্পূর্ণ নয়
  3. গণনামূলক চ্যালেঞ্জ: বিদ্যমান ভাল হ্রাসের ক্ষেত্রে মানদণ্ড ব্যবহারিকভাবে প্রয়োগ করা কঠিন

গবেষণার প্রেরণা

এই পত্রিকা লক্ষ্য করে:

  1. সিমপ্লেক্টিক মানদণ্ডের অস্তিত্ব তত্ত্ব পরিমার্জন করা
  2. অমীমাংসিত ক্ষেত্রে কভার করার জন্য নতুন ব্যবহারিক মানদণ্ড প্রদান করা
  3. সিমপ্লেক্টিক মানদণ্ডের সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা
  4. সম্পূর্ণ সিমপ্লেক্টিক মানদণ্ড বাস্তবায়নের জন্য একটি অ্যালগরিদম প্রদান করা

মূল অবদান

  1. সিমপ্লেক্টিক মানদণ্ডের অস্তিত্ব তত্ত্ব পরিমার্জন: সম্ভাব্য গুণনীয় হ্রাস এবং মিশ্র হ্রাসের ক্ষেত্রে সিমপ্লেক্টিক মানদণ্ডের অস্তিত্বের শর্ত শ্রেণীবিভাগ করা (উপপাদ্য 2.4 এবং 2.6)
  2. দুটি নতুন সিমপ্লেক্টিক মানদণ্ড প্রস্তাব করা:
    • উপপাদ্য 1.1: উভয় বক্ররেখা বিভক্ত গুণনীয় হ্রাস রাখে এমন ক্ষেত্রে পরিচালনা করা
    • উপপাদ্য 1.2: মিশ্র হ্রাসের ক্ষেত্রে পরিচালনা করা (একটি বক্ররেখা গুণনীয় হ্রাস, অন্যটি ভাল হ্রাস)
  3. ভাল হ্রাসের ক্ষেত্রে মানদণ্ড উন্নত করা: উপপাদ্য 1.3 6, উপপাদ্য 16 এর একটি গণনাযোগ্য বিকৃতি প্রদান করে এবং Magma বাস্তবায়ন প্রদান করে
  4. সম্পূর্ণ শ্রেণীবিভাগ উপপাদ্য: উপপাদ্য 1.4 সমস্ত সম্ভাব্য সিমপ্লেক্টিক মানদণ্ডের একটি সম্পূর্ণ তালিকা প্রদান করে
  5. বৃহৎ-স্কেল গণনামূলক প্রয়োগ: LMFDB ডাটাবেসে পরিবাহক ≤ 500000 এর সমস্ত প্রাসঙ্গিক উপবৃত্তাকার বক্ররেখার জোড়ার সিমপ্লেক্টিক ধরন নির্ধারণ করা

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

উপবৃত্তাকার বক্ররেখা ত্রিমুখ (E,E′,p)(E,E',p) দেওয়া হয়েছে, যেখানে E/QE/\mathbb{Q} এবং E′/QE'/\mathbb{Q} সমরূপী pp-টর্শন উপগ্রুপ রাখে, সমরূপতার সিমপ্লেক্টিক ধরন (সিমপ্লেক্টিক ধরনের বা বিরোধী-সিমপ্লেক্টিক ধরনের) নির্ধারণ করা।

মূল প্রযুক্তিগত পদ্ধতি

1. সিমপ্লেক্টিক মানদণ্ডের অস্তিত্ব বিশ্লেষণ

উপপাদ্য 2.1 এর উপর ভিত্তি করে, সিমপ্লেক্টিক মানদণ্ড বিদ্যমান যখন এবং শুধুমাত্র যখন নিম্নলিখিত শর্তগুলির মধ্যে একটি সত্য:

  • (A) ρE,p(GF)\rho_{E,p}(G_F) অ-আবেলীয়
  • (B) ρE,p(GF)\rho_{E,p}(G_F) (a10a)\begin{pmatrix} a & 1 \\ 0 & a \end{pmatrix} ফর্মের ম্যাট্রিক্স দ্বারা উৎপাদিত

2. নতুন মানদণ্ডের নির্মাণ

উপপাদ্য 1.1 এর পদ্ধতি (বিভক্ত গুণনীয় হ্রাসের ক্ষেত্রে):

  • Tate বক্ররেখা তত্ত্ব এবং jj-অপরিবর্তনীয়ের বৈশিষ্ট্য ব্যবহার করা
  • বিচ্ছিন্ন লগারিদম গণনার মাধ্যমে সিমপ্লেক্টিক ধরন নির্ধারণ করা: hi:=Logζp(j~iℓ−1p mod ℓ)h_i := \text{Log}_{\zeta_p}(\tilde{j}_i^{\frac{\ell-1}{p}} \bmod \ell)
  • মানদণ্ড: E1[p]E_1[p] এবং E2[p]E_2[p] সিমপ্লেক্টিক সমরূপ যখন এবং শুধুমাত্র যখন h1/h2h_1/h_2 মডিউলো pp এর একটি দ্বিঘাত অবশিষ্ট

উপপাদ্য 1.2 এর পদ্ধতি (মিশ্র হ্রাসের ক্ষেত্রে):

  • গুণনীয় হ্রাসের বক্ররেখার Tate প্যারামিটার এবং ভাল হ্রাসের বক্ররেখার Frobenius ক্রিয়া সংমিশ্রণ করা
  • মানদণ্ড: সিমপ্লেক্টিক সমরূপ যখন এবং শুধুমাত্র যখন −h/h′-h/h' মডিউলো pp এর একটি দ্বিঘাত অবশিষ্ট

3. গণনামূলক অ্যালগরিদম ডিজাইন

ভাল হ্রাসের ক্ষেত্রে অ্যালগরিদম (উপপাদ্য 1.3):

  1. হ্রাস ম্যাপিং E[p]→E~[p]E[p] \to \tilde{E}[p] ব্যবহার করা যা সিমপ্লেক্টিক বৈশিষ্ট্য সংরক্ষণ করে
  2. pp-সমরূপতার মাধ্যমে সিমপ্লেক্টিক ভিত্তি নির্মাণ করা
  3. Weil যুগল ব্যবহার করে Legendre প্রতীক গণনা করা
  4. অপ্টিমাইজেশন: অপরিবর্তনীয় উপাদান ব্যবহার করে সীমিত ক্ষেত্র সম্প্রসারণ সংজ্ঞায়িত করা

প্রযুক্তিগত উদ্ভাবনী বিন্দু

  1. একীভূত পরিচালনা: সমস্ত হ্রাসের ধরনের সংমিশ্রণ সিস্টেমেটিকভাবে প্রথমবার পরিচালনা করা
  2. গণনাযোগ্যতা: তাত্ত্বিক মানদণ্ডকে নির্দিষ্ট সম্পাদনযোগ্য অ্যালগরিদমে রূপান্তরিত করা
  3. সম্পূর্ণতা: সিমপ্লেক্টিক মানদণ্ডের অস্তিত্বের প্রয়োজনীয় এবং পর্যাপ্ত শর্ত প্রদান করা
  4. ব্যবহারিকতা: বৃহৎ-স্কেল ডেটা পরিচালনার জন্য দক্ষ বাস্তবায়ন প্রদান করা

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

ডেটাসেট

  • LMFDB ডাটাবেস: পরিবাহক ≤ 500000 এর উপবৃত্তাকার বক্ররেখা
  • মৌলিক সংখ্যার পরিসীমা: p∈{5,7,11,13,17}p \in \{5,7,11,13,17\}
  • বক্ররেখার সংখ্যা:
    • p=5p=5: 396516 টি অপরিবর্তনীয় ত্রিমুখ, 22902 টি পরিবর্তনীয় ত্রিমুখ
    • p=7p=7: 39386 টি অপরিবর্তনীয় ত্রিমুখ, 626 টি পরিবর্তনীয় ত্রিমুখ
    • p=11p=11: 848 টি অপরিবর্তনীয় ত্রিমুখ
    • উচ্চতর মৌলিক সংখ্যার ত্রিমুখের সংখ্যা হ্রাস পায়

গণনামূলক পদ্ধতি

  1. সামঞ্জস্য সনাক্তকরণ: Frobenius ট্রেসের তুলনার মাধ্যমে ρE,p≅ρE′,p\rho_{E,p} \cong \rho_{E',p} নির্ধারণ করা
  2. সিমপ্লেক্টিক ধরন গণনা: নতুন মানদণ্ড প্রয়োগ করে সিমপ্লেক্টিক ধরন নির্ধারণ করা
  3. যাচাইকরণ: পরিচিত ফলাফলের সাথে ক্রস-যাচাইকরণ সঠিকতা নিশ্চিত করা

বাস্তবায়নের বিবরণ

  • প্রোগ্রামিং পরিবেশ: Magma গণনামূলক বীজগণিত সিস্টেম
  • অপ্টিমাইজেশন কৌশল: Conway বহুপদের আপেক্ষিক সম্প্রসারণ ব্যবহার করে বৃহৎ সীমিত ক্ষেত্রের সরাসরি নির্মাণ এড়ানো
  • সমান্তরালকরণ: বৃহৎ-স্কেল গণনার জন্য অপ্টিমাইজ করা

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

নতুন মানদণ্ডের প্রয়োগ পরিসংখ্যান:

  • p=5p=5: 31168 টি ত্রিমুখ মানদণ্ড শর্ত পূরণ করে
    • উপপাদ্য 1.1: 150 টি ত্রিমুখ (77 টি সিমপ্লেক্টিক ধরনের, 73 টি বিরোধী-সিমপ্লেক্টিক ধরনের)
    • উপপাদ্য 1.2: 31020 টি ত্রিমুখ (14936 টি সিমপ্লেক্টিক ধরনের, 16084 টি বিরোধী-সিমপ্লেক্টিক ধরনের)
  • p=7p=7: 1032 টি ত্রিমুখ সম্পূর্ণভাবে উপপাদ্য 1.2 পূরণ করে
  • p=11p=11: 4 টি ত্রিমুখ শর্ত পূরণ করে
  • p≥13p \geq 13: কোনো ত্রিমুখ শর্ত পূরণ করে না

অ্যালগরিদমের কর্মক্ষমতা

  • গণনার সময়: জটিল ক্ষেত্রে (যেমন উদাহরণ 5.3) প্রায় 2.5 ঘন্টা
  • অপ্টিমাইজেশনের প্রভাব: নিরীহ পদ্ধতির তুলনায় উল্লেখযোগ্য উন্নতি (মূল পদ্ধতি কয়েক সপ্তাহ প্রয়োজন)
  • যাচাইকরণের সামঞ্জস্য: সমস্ত ফলাফল পূর্ববর্তী পরিচিত ফলাফলের সাথে সম্পূর্ণভাবে সামঞ্জস্যপূর্ণ

বিশেষ আবিষ্কার

  1. অপরিবর্তনীয় প্রতিনিধিত্ব প্রভাবশালী: সমস্ত গণনাকৃত উদাহরণ অপরিবর্তনীয় মডিউলো pp প্রতিনিধিত্ব জড়িত
  2. বহু-মানদণ্ড প্রযোজ্যতা: কিছু বক্ররেখার জোড়া একাধিক মৌলিক সংখ্যায় বিভিন্ন মানদণ্ড পূরণ করে
  3. দ্বিঘাত মোড়ানো: 122 টি অবিভক্ত দ্বিঘাত মোড়ানো শর্ত পূরণকারী ত্রিমুখ আবিষ্কার করা

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

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

  1. ক্রাউস-ওস্টারলে (1992): মূল গুণনীয় হ্রাস মানদণ্ড প্রস্তাব করা
  2. ফ্রেইটাস-ক্রাউস (2022): সম্ভাব্য ভাল হ্রাসের ক্ষেত্রে তাত্ত্বিক কাঠামো প্রতিষ্ঠা করা
  3. ক্রেমোনা-ফ্রেইটাস (2022): p≥7p \geq 7 ক্ষেত্রে বৃহৎ-স্কেল গণনা

এই পত্রিকার অবদানের অবস্থান

  • তাত্ত্বিক পরিমার্জন: সম্ভাব্য গুণনীয় হ্রাস তত্ত্বের শূন্যস্থান পূরণ করা
  • গণনামূলক অগ্রগতি: p=5p=5 ক্ষেত্রে প্রথমবার বৃহৎ-স্কেল গণনা বাস্তবায়ন করা
  • পদ্ধতিগত উদ্ভাবন: ব্যবহারিক অ্যালগরিদম বাস্তবায়ন প্রদান করা

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. সম্পূর্ণ শ্রেণীবিভাগ: সমস্ত সম্ভাব্য সিমপ্লেক্টিক মানদণ্ডের সম্পূর্ণ শ্রেণীবিভাগ প্রদান করা (উপপাদ্য 1.4)
  2. গণনামূলক সম্ভাব্যতা: বৃহৎ-স্কেল সিমপ্লেক্টিক ধরন গণনার সম্ভাব্যতা প্রমাণ করা
  3. তাত্ত্বিক একীকরণ: বিভিন্ন হ্রাসের ধরনের পরিচালনা পদ্ধতি একীভূত করা

সীমাবদ্ধতা

  1. গণনামূলক জটিলতা: বৃহৎ মৌলিক সংখ্যা pp এর জন্য, গণনা এখনও চ্যালেঞ্জিং
  2. ডাটাবেস নির্ভরতা: ফলাফল LMFDB ডাটাবেসের সম্পূর্ণতার উপর নির্ভর করে
  3. বিশেষ ক্ষেত্রে: কিছু অবক্ষয়িত ক্ষেত্রে বিশেষ পরিচালনা প্রয়োজন

ভবিষ্যত দিকনির্দেশনা

  1. অ্যালগরিদম অপ্টিমাইজেশন: বৃহৎ মৌলিক সংখ্যার ক্ষেত্রে গণনা আরও অপ্টিমাইজ করা
  2. তাত্ত্বিক সাধারণীকরণ: আরও সাধারণ আবেলীয় বৈচিত্র্যে সম্প্রসারণ করা
  3. প্রয়োগ অন্বেষণ: ক্রিপ্টোগ্রাফি এবং কোডিং তত্ত্বে প্রয়োগ

গভীর মূল্যায়ন

সুবিধা

  1. তাত্ত্বিক সম্পূর্ণতা: সিমপ্লেক্টিক মানদণ্ড সমস্যার সম্পূর্ণ সমাধান প্রদান করা
  2. গণনামূলক ব্যবহারিকতা: অ্যালগরিদম ভাল বাস্তবায়নযোগ্যতা এবং দক্ষতা রাখে
  3. যাচাইকরণ যথেষ্ট: বৃহৎ-স্কেল গণনার মাধ্যমে তত্ত্বের সঠিকতা যাচাই করা
  4. লেখার স্পষ্টতা: পত্রিকার কাঠামো স্পষ্ট, প্রযুক্তিগত বিবরণ বিস্তারিত

অপূর্ণতা

  1. গণনামূলক সীমাবদ্ধতা: অত্যন্ত বৃহৎ মৌলিক সংখ্যার জন্য, পদ্ধতি এখনও সীমাবদ্ধতা রাখে
  2. বিশেষ ক্ষেত্রে পরিচালনা: কিছু সীমান্ত ক্ষেত্রে পরিচালনা আরও অপ্টিমাইজ করা যেতে পারে
  3. তাত্ত্বিক গভীরতা: কিছু প্রমাণ আরও সরলীকৃত হতে পারে

প্রভাব

  1. একাডেমিক মূল্য: উপবৃত্তাকার বক্ররেখার পাটিগণিত তত্ত্বে গুরুত্বপূর্ণ অবদান
  2. ব্যবহারিক মূল্য: সম্পর্কিত গণনামূলক সমস্যার জন্য ব্যবহারিক সরঞ্জাম প্রদান করা
  3. পুনরুৎপাদনযোগ্যতা: সম্পূর্ণ কোড বাস্তবায়ন প্রদান করা, ভাল পুনরুৎপাদনযোগ্যতা রাখে

প্রযোজ্য পরিস্থিতি

  1. সংখ্যা তত্ত্ব গবেষণা: উপবৃত্তাকার বক্ররেখার পাটিগণিত বৈশিষ্ট্য গবেষণা
  2. ক্রিপ্টোগ্রাফি প্রয়োগ: উপবৃত্তাকার বক্ররেখা ক্রিপ্টোগ্রাফি সিস্টেমের নিরাপত্তা বিশ্লেষণ
  3. গণনামূলক গণিত: বৃহৎ-স্কেল সংখ্যা তত্ত্ব গণনা প্রকল্প

সংদর্ভ

পত্রিকা 18 টি গুরুত্বপূর্ণ সংদর্ভ উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:

  • ক্রাউস-ওস্টারলের অগ্রগামী কাজ 10
  • লেখকদের পূর্ববর্তী কাজ 6
  • LMFDB ডাটাবেস 11
  • Silverman এর উপবৃত্তাকার বক্ররেখা তত্ত্ব বিশেষজ্ঞ গ্রন্থ 13

এই পত্রিকা উপবৃত্তাকার বক্ররেখার সিমপ্লেক্টিক মানদণ্ড তত্ত্বে গুরুত্বপূর্ণ অবদান রাখে, শুধুমাত্র তাত্ত্বিক কাঠামো পরিমার্জন করে না বরং ব্যবহারিক গণনামূলক সরঞ্জাম প্রদান করে, সংখ্যা তত্ত্ব এবং সম্পর্কিত প্রয়োগ ক্ষেত্রের জন্য গুরুত্বপূর্ণ মূল্য রাখে।