2025-11-21T19:52:15.504320

Improved bounds for Serre's open image theorem

Chen, Swidinsky
Let $E$ be an elliptic curve over the rationals which does not have complex multiplication. Serre showed that the adelic representation attached to $E/\mathbb{Q}$ has open image, and in particular there is a minimal natural number $C_E$ such that the mod $\ell$ representation $\barρ_{E,\ell}$ is surjective for any prime $\ell > C_E$. Assuming the Generalized Riemann Hypothesis, Mayle-Wang gave explicit bounds for $C_E$ which are logarithmic in the conductor of $E$ and have explicit constants. The method is based on using effective forms of the Chebotarev density theorem together with the Faltings-Serre method, in particular, using the `deviation group' of the $2$-adic representations attached to two elliptic curves. By considering quotients of the deviation group and a characterization of the images of the $2$-adic representation $ρ_{E,2}$ by Rouse and Zureick-Brown, we show in this paper how to further reduce the constants in Mayle-Wang's results. Another result of independent interest are improved effective isogeny theorems for elliptic curves over the rationals.
academic

সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্যের জন্য উন্নত সীমাবদ্ধতা

মৌলিক তথ্য

  • কাগজ আইডি: 2501.00202
  • শিরোনাম: সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্যের জন্য উন্নত সীমাবদ্ধতা
  • লেখক: ইমিন চেন, জোশুয়া স্উইডিনস্কি
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের ৩ জানুয়ারি
  • কাগজের লিঙ্ক: https://arxiv.org/abs/2501.00202

সারসংক্ষেপ

ধরুন EE হল মূলদ সংখ্যার ক্ষেত্রে সংজ্ঞায়িত একটি উপবৃত্তাকার বক্ররেখা যা জটিল গুণন ছাড়াই। সেরে প্রমাণ করেছেন যে E/QE/\mathbb{Q} এর সাথে সংযুক্ত ℓ\ell-প্রবেশ প্রতিনিধিত্বের একটি উন্মুক্ত প্রতিবিম্ব রয়েছে, বিশেষত, একটি ন্যূনতম প্রাকৃতিক সংখ্যা CEC_E বিদ্যমান যাতে যেকোনো মৌলিক সংখ্যা ℓ>CE\ell > C_E এর জন্য, মডিউলো ℓ\ell প্রতিনিধিত্ব ρˉE,ℓ\bar{\rho}_{E,\ell} অনুমানী। সাধারণীকৃত রিমান অনুমানের অধীনে, মেইল-ওয়াং CEC_E এর জন্য একটি স্পষ্ট সীমা প্রদান করেছেন, যা EE এর পরিবাহক সম্পর্কে লগারিদমিক এবং স্পষ্ট ধ্রুবক সহ। এই পদ্ধতিটি চেবোটারেভ ঘনত্ব উপপাদ্যের কার্যকর রূপ এবং ফালটিংস-সেরে পদ্ধতির সমন্বয়ের উপর ভিত্তি করে, বিশেষত দুটি উপবৃত্তাকার বক্ররেখার সাথে সংযুক্ত ২-প্রবেশ প্রতিনিধিত্বের "বিচ্যুতি গ্রুপ" ব্যবহার করে। বিচ্যুতি গ্রুপের ভাগফল গ্রুপ এবং রাউস এবং জুরেইক-ব্রাউনের ২-প্রবেশ প্রতিনিধিত্ব ρE,2\rho_{E,2} এর প্রতিবিম্বের বৈশিষ্ট্যকরণ বিবেচনা করে, এই কাগজটি দেখায় কিভাবে মেইল-ওয়াং ফলাফলে ধ্রুবকগুলি আরও হ্রাস করা যায়। একটি অন্যান্য স্বাধীনভাবে আগ্রহজনক ফলাফল হল মূলদ সংখ্যার ক্ষেত্রে উপবৃত্তাকার বক্ররেখার উন্নত কার্যকর সমসংস্থান উপপাদ্য সম্পর্কে।

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

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

এই গবেষণা সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্যের কার্যকর সংস্করণের সাথে সম্পর্কিত। মূলদ সংখ্যার ক্ষেত্র Q\mathbb{Q} এ সংজ্ঞায়িত এবং জটিল গুণন ছাড়াই একটি উপবৃত্তাকার বক্ররেখা EE এর জন্য, সেরে প্রমাণ করেছেন যে একটি ন্যূনতম প্রাকৃতিক সংখ্যা CEC_E বিদ্যমান, যাতে সমস্ত মৌলিক সংখ্যা ℓ>CE\ell > C_E এর জন্য, মডিউলো ℓ\ell গ্যালোইস প্রতিনিধিত্ব ρˉE,ℓ\bar{\rho}_{E,\ell} অনুমানী।

সমস্যার গুরুত্ব

১. তাত্ত্বিক তাৎপর্য: এই ফলাফলটি বীজগণিতীয় সংখ্যা তত্ত্ব এবং উপবৃত্তাকার বক্ররেখা তত্ত্বের একটি মৌলিক উপপাদ্য, যা গ্যালোইস প্রতিনিধিত্ব তত্ত্বকে উপবৃত্তাকার বক্ররেখার পাটিগণিত বৈশিষ্ট্যের সাথে সংযুক্ত করে २. গণনামূলক তাৎপর্য: CEC_E এর কার্যকর সীমা অনুমানের উপবৃত্তাকার বক্ররেখার গণনামূলক গবেষণার জন্য গুরুত্বপূর্ণ মূল্য রাখে ३. প্রয়োগের মূল্য: উপবৃত্তাকার বক্ররেখা ক্রিপ্টোগ্রাফি এবং সমসংস্থান সমস্যা গবেষণায় ব্যাপক প্রয়োগ রয়েছে

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

  • সেরের মূল ফলাফলে ধ্রুবক C1C_1 যথেষ্ট বড় এবং যথেষ্ট স্পষ্ট নয়
  • মেইল-ওয়াং যদিও একটি স্পষ্ট সীমা প্রদান করেছেন, তবুও ধ্রুবকগুলি উন্নতির জন্য উন্মুক্ত
  • বিদ্যমান পদ্ধতি ২-প্রবেশ প্রতিনিধিত্ব পরিচালনা করার সময় এর বিশেষ কাঠামো সম্পূর্ণভাবে ব্যবহার করে না

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

এই কাগজটি বিচ্যুতি গ্রুপ কাঠামোর আরও সূক্ষ্ম বিশ্লেষণের মাধ্যমে, বিশেষত এর ভাগফল গ্রুপ এবং রাউস-জুরেইক-ব্রাউনের ফলাফল বিবেচনা করে, মেইল-ওয়াং ফলাফলে ধ্রুবকগুলি উন্নত করার লক্ষ্য রাখে।

মূল অবদান

१. উন্নত কার্যকর সমসংস্থান উপপাদ্য: মডিউলো २ প্রতিনিধিত্ব নির্দিষ্ট শর্ত পূরণ করার সময়, আরও ভাল ধ্রুবক সীমা প্রদান করে (উপপাদ্য १.३) २. দ্বিঘাত মোড় ক্ষেত্রের বিশেষ ফলাফল: পারস্পরিক দ্বিঘাত মোড় উপবৃত্তাকার বক্ররেখার জন্য, বিশেষায়িত উন্নত সীমা প্রদান করে (উপপাদ্য १.५) ३. সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্যের উন্নত সীমা: মেইল-ওয়াং এর সীমা ९६४log⁡rad(२NE)+५७६०९६४ \log \text{rad}(२N_E) + ५७६० থেকে ४४६log⁡rad(२NE)+२२५४४४६ \log \text{rad}(२N_E) + २२५४ এ উন্নত করে (উপপাদ্য १.७) ४. প্রযুক্তিগত উদ্ভাবন: সম্পূর্ণ বিচ্যুতি গ্রুপ δ(G)\delta(G) এর পরিবর্তে বিচ্যুতি গ্রুপের ভাগফল φ(G)\varphi(G) ব্যবহার করে, এবং ২-প্রবেশ প্রতিবিম্বের জন্য রাউস-জুরেইক-ব্রাউনের শ্রেণীবিভাগ ফলাফল ব্যবহার করে

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

কাজের সংজ্ঞা

দুটি ভিন্ন উৎসের উপবৃত্তাকার বক্ররেখা EE এবং E′E' দেওয়া, একটি ভাল হ্রাসকারী মৌলিক সংখ্যা pp খুঁজে পান যাতে ap(E)≠ap(E′)a_p(E) \neq a_p(E'), এবং সেই মৌলিক সংখ্যার একটি কার্যকর উপরের সীমা প্রদান করুন।

মূল প্রযুক্তিগত কাঠামো

१. বিচ্যুতি গ্রুপ তত্ত্ব

দুটি ℓ\ell-প্রবেশ প্রতিনিধিত্বের জন্য ρ1,ρ2:G→GLn(Oλ)\rho_1, \rho_2: G \to GL_n(\mathcal{O}_\lambda), বিচ্যুতি গ্রুপ সংজ্ঞায়িত করুন: δ(G)=Image(G→(M/λM)×)\delta(G) = \text{Image}(G \to (M/\lambda M)^\times) যেখানে MM হল ρ1×ρ2\rho_1 \times \rho_2 এর প্রতিবিম্ব দ্বারা উৎপাদিত Oλ\mathcal{O}_\lambda-সাব-বীজগণিত।

२. ভাগফল গ্রুপ নির্মাণ

যখন মডিউলো २ প্রতিনিধিত্ব সমরূপী এবং পরম অপ্রতিবর্তনীয়, সমরূপতা নির্মাণ করুন: φ:G→Mn(F2)⋊GLn(F2)\varphi: G \to M_n(\mathbb{F}_2) \rtimes GL_n(\mathbb{F}_2)g↦(θ(g) mod 2,ρ1(g) mod 2)g \mapsto (\theta(g) \bmod 2, \rho_1(g) \bmod 2)

মূল পর্যবেক্ষণ: φ(G)\varphi(G) এর প্রতিবিম্ব δ(G)\delta(G) এর চেয়ে আকার অনুমান করা সহজ।

३. চেবোটারেভ ঘনত্ব উপপাদ্যের প্রয়োগ

বাখ-সোরেনসনের স্পষ্ট রূপ ব্যবহার করুন (উপপাদ্য २.५): p≤(alog⁡∣dK∣+bnK+c)2p \leq (a \log |d_K| + bn_K + c)^2

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

१. বিচ্যুতি গ্রুপের সূক্ষ্ম বিশ্লেষণ

  • মূল অন্তর্দৃষ্টি: २-প্রবেশ ক্ষেত্রে, যখন মডিউলো २ প্রতিনিধিত্ব পরম অপ্রতিবর্তনীয়, φ(G)\varphi(G) দিয়ে δ(G)\delta(G) প্রতিস্থাপন করা যায়
  • আকার অনুমান: ∣φ(G)∣≤∣M20(F2)⋊GL2(F2)∣=48|\varphi(G)| \leq |M_2^0(\mathbb{F}_2) \rtimes GL_2(\mathbb{F}_2)| = 48, δ(G)\delta(G) এর সাধারণ উপরের সীমা २२n२=२८=२५६२^{२n^२} = २^८ = २५६ এর চেয়ে অনেক ছোট

२. রাউস-জুরেইক-ব্রাউন ফলাফলের প্রয়োগ

२-প্রবেশ প্রতিবিম্বের সম্পূর্ণ শ্রেণীবিভাগ ব্যবহার করুন:

  • অসীম অনেক মূলদ বিন্দু সহ १२०८ টি পাটিগণিত সর্বোচ্চ সাব-গ্রুপ
  • ८ টি ব্যতিক্রমী jj-অপরিবর্তনীয়

३. ভাগফল গ্রুপ কৌশল

অনুসিদ্ধান্ত ५.३ এর মাধ্যমে, যদি δ(G)\delta(G) এর ক্রম > ३ এর একটি ভাগফল গ্রুপ থাকে, আরও ছোট ভাগফল গ্রুপ দিয়ে প্রতিস্থাপন করা যায়।

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

গণনামূলক যাচাইকরণ

নিম্নলিখিত বিষয়বস্তু যাচাই করতে ম্যাগমা গণনামূলক বীজগণিত সিস্টেম ব্যবহার করুন: १. সারণী १ এ ত্রিগুণ (aˉ,bˉ,cˉ)(ā, b̄, c̄) এর কার্যকারিতা २. অসমতা (२.१), (२.२), (२.३), (२.४) এর যাচাইকরণ ३. সমস্যা গ্রুপের শ্রেণীবিভাগ এবং পরিস্রাবণ

ডেটা উৎস

  • বাখ-সোরেনসন সারণীর অপ্টিমাইজড সংস্করণ (সারণী १)
  • রাউস-জুরেইক-ব্রাউনের १७३३ টি পাটিগণিত সর্বোচ্চ সাব-গ্রুপের শ্রেণীবিভাগ
  • যাচাইকরণের জন্য নির্দিষ্ট উপবৃত্তাকার বক্ররেখার উদাহরণ

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

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

উপপাদ্য १.३ (উন্নত কার্যকর সমসংস্থান উপপাদ্য)

শর্ত: মডিউলো २ প্রতিনিধিত্ব অসমরূপী বা সমরূপী এবং পরম অপ্রতিবর্তনীয় ফলাফল: p≤(१२४log⁡rad(२NENE′)+५६१)२p \leq (१२४ \log \text{rad}(२N_E N_{E'}) + ५६१)^२উন্নতি: মেইল-ওয়াং এর (४८२log⁡rad(२NENE′)+२८८०)२(४८२ \log \text{rad}(२N_E N_{E'}) + २८८०)^२ এর তুলনায়, ধ্রুবক উল্লেখযোগ্যভাবে হ্রাস পায়

উপপাদ্য १.५ (দ্বিঘাত মোড় ক্ষেত্র)

ফলাফল: p≤(२२३log⁡rad(२NENE′)+११२७)२p \leq (२२३ \log \text{rad}(२N_E N_{E'}) + ११२७)^२

উপপাদ্য १.७ (সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্য)

মেইল-ওয়াং: CE≤९६४log⁡rad(२NE)+५७६०C_E \leq ९६४ \log \text{rad}(२N_E) + ५७६०এই কাগজের উন্নতি: CE≤४४६log⁡rad(२NE)+२२५४C_E \leq ४४६ \log \text{rad}(२N_E) + २२५४উন্নতির মাত্রা: রৈখিক পদ সহগ প্রায় ५३% হ্রাস পায়, ধ্রুবক পদ প্রায় ६१% হ্রাস পায়

প্রযুক্তিগত যাচাইকরণ ফলাফল

সারণী १ এর অপ্টিমাইজেশন

বাখ-সোরেনসনের দ্বি-মাত্রিক সারণী একটি এক-মাত্রিক সারণীতে অপ্টিমাইজ করুন, ডিগ্রি পরিসীমা nK~n_{\tilde{K}} এর জন্য সর্বোত্তম ত্রিগুণ প্রদান করুন:

nK~n_{\tilde{K}}(aˉ,bˉ,cˉ)(ā, b̄, c̄)
२(१.४४६, ०.२३, ६.८)
३-४(१.५२७, ०.१७, ६.४)
५-९(१.६२९, ०.११, ६.१)
१०-१४(१.६६७, ०.०९, ६.०)
१५-४९(१.७४५, ०.०४, ५.८)
५०-१२८(१.७५५, ०, ५.७)

সমস্যা গ্রুপের বিশ্লেষণ

∣δ(G)∣∈{३२,४८,६४,९६,१२८,१९२}|\delta(G)| \in \{३२, ४८, ६४, ९६, १२८, १९२\} এর জন্য, সমস্যা গ্রুপগুলি চিহ্নিত করুন এবং প্রমাণ করুন যে বেশিরভাগ ক্ষেত্রে আরও ছোট ভাগফল গ্রুপ দিয়ে প্রতিস্থাপন করা যায়।

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

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

१. সেরে (१९७२): উন্মুক্ত প্রতিবিম্ব উপপাদ্যের অস্তিত্ব প্রমাণ করেছেন २. সেরে (१९८१): প্রথম কার্যকর সীমা প্রদান করেছেন, কিন্তু ধ্রুবক খুব বড় ३. ল্যাগারিয়াস-ওডলিজ্কো (१९७९): চেবোটারেভ ঘনত্ব উপপাদ্যের কার্যকর সংস্করণ ४. বাখ-সোরেনসন (१९९६): উন্নত স্পষ্ট ধ্রুবক ५. মেইল-ওয়াং (२०२४): স্পষ্ট ছোট ধ্রুবকের সীমা

সম্পর্কিত প্রযুক্তি

  • ফালটিংস-সেরে পদ্ধতি: বিচ্যুতি গ্রুপ ব্যবহার করে ভিন্ন উৎসের উপবৃত্তাকার বক্ররেখা আলাদা করা
  • চেবোটারেভ ঘনত্ব উপপাদ্য: নির্দিষ্ট বৈশিষ্ট্য সহ মৌলিক সংখ্যা খুঁজে পাওয়া
  • গ্যালোইস প্রতিনিধিত্ব তত্ত্ব: উপবৃত্তাকার বক্ররেখার মডিউলো ℓ\ell প্রতিনিধিত্ব

এই কাগজের উদ্ভাবন

বিদ্যমান কাজের তুলনায়, এই কাগজের প্রধান উদ্ভাবন হল: १. আরও সূক্ষ্ম বিচ্যুতি গ্রুপ বিশ্লেষণ २. २-প্রবেশ প্রতিনিধিত্বের বিশেষ কাঠামো ব্যবহার করা ३. রাউস-জুরেইক-ব্রাউনের শ্রেণীবিভাগ ফলাফল সমন্বয় করা

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

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

१. উপযুক্ত শর্তে, সেরের উন্মুক্ত প্রতিবিম্ব উপপাদ্যে কার্যকর সীমার ধ্রুবক প্রায় ५०% হ্রাস করা যায় २. বিচ্যুতি গ্রুপের ভাগফল গ্রুপ বিশ্লেষণ ধ্রুবক উন্নত করার একটি কার্যকর পথ ३. २-প্রবেশ প্রতিনিধিত্বের বিশেষ বৈশিষ্ট্য আরও ভাল সীমা পেতে সম্পূর্ণভাবে ব্যবহার করা যায়

সীমাবদ্ধতা

१. GRH নির্ভরতা: সমস্ত ফলাফল সাধারণীকৃত রিমান অনুমানের উপর নির্ভর করে २. শর্তের সীমাবদ্ধতা: উপপাদ্য १.३ এর জন্য মডিউলো २ প্রতিনিধিত্ব নির্দিষ্ট শর্ত পূরণ করতে হবে ३. প্রযুক্তিগত জটিলতা: পদ্ধতিতে একাধিক গভীর সংখ্যা তাত্ত্বিক প্রযুক্তি জড়িত, বাস্তবায়ন জটিল

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

१. GRH এর উপর নির্ভরতা দূর বা দুর্বল করা २. অন্যান্য ℓ\ell-প্রবেশ প্রতিনিধিত্বে সম্প্রসারণ করা ३. ধ্রুবক আরও অপ্টিমাইজ করা ४. গণনামূলক জটিলতা এবং ব্যবহারিক প্রয়োগ গবেষণা করা

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

সুবিধা

१. তাত্ত্বিক অবদান উল্লেখযোগ্য: গুরুত্বপূর্ণ সংখ্যা তাত্ত্বিক সমস্যায় বাস্তব উন্নতি অর্জন করেছে २. প্রযুক্তিগত উদ্ভাবন: একাধিক গভীর সংখ্যা তাত্ত্বিক প্রযুক্তি চতুরভাবে সমন্বয় করেছে ३. ফলাফল নির্দিষ্ট: স্পষ্ট সংখ্যাগত উন্নতি প্রদান করেছে, ব্যবহারিক তাৎপর্য রয়েছে ४. যাচাইকরণ পর্যাপ্ত: গণনামূলক বীজগণিত সিস্টেম ব্যবহার করে মূল প্রযুক্তিগত বিবরণ যাচাই করেছে

অপূর্ণতা

१. প্রয়োগের পরিসীমা: সেরা ফলাফল (উপপাদ্য १.३) অতিরিক্ত শর্ত প্রয়োজন २. গণনামূলক জটিলতা: পদ্ধতির ব্যবহারিক বাস্তবায়ন জটিল গ্রুপ তাত্ত্বিক গণনা প্রয়োজন ३. তাত্ত্বিক নির্ভরতা: GRH এবং একাধিক গভীর সংখ্যা তাত্ত্বিক ফলাফলের উপর দৃঢ়ভাবে নির্ভর করে

প্রভাব

१. একাডেমিক মূল্য: উপবৃত্তাকার বক্ররেখা গ্যালোইস প্রতিনিধিত্ব তত্ত্বের উন্নয়ন এগিয়ে নিয়ে গেছে २. ব্যবহারিক তাৎপর্য: উপবৃত্তাকার বক্ররেখার গণনামূলক গবেষণার জন্য আরও ভাল সরঞ্জাম প্রদান করেছে ३. পদ্ধতিগত অবদান: ধ্রুবক উন্নত করে ক্লাসিক্যাল ফলাফল উন্নত করার পদ্ধতি প্রদর্শন করেছে

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

१. উপবৃত্তাকার বক্ররেখার গণনামূলক সংখ্যা তত্ত্ব গবেষণা २. গ্যালোইস প্রতিনিধিত্বের কার্যকারিতা সমস্যা ३. উপবৃত্তাকার বক্ররেখা ক্রিপ্টোগ্রাফিতে নিরাপত্তা বিশ্লেষণ ४. সমসংস্থান সমস্যার গণনামূলক জটিলতা গবেষণা

তথ্যসূত্র

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