2025-11-12T08:04:09.503033

Counting rational points on elliptic and hyperelliptic curves over function fields

Gillibert, Hallouin, Levin
Combining $2$-descent techniques with Riemann-Roch and Bézout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We deduce an upper bound on the number of $S$-integral points, where $S$ is a finite set of places. As a primary application, over small finite fields we bound the $3$-torsion of Jacobians of hyperelliptic curves and the $2$-torsion of Jacobians of trigonal curves. In this setting, these bounds improve on both the trivial geometric bound and the naive inequality coming from the Weil bound, as well as recent upper bounds on $2$-torsion in the work of Bhargava et al.
academic

ফাংশন ফিল্ডের উপর উপবৃত্তাকার এবং হাইপারএলিপ্টিক বক্ররেখার উপর মূলদ বিন্দু গণনা

মৌলিক তথ্য

  • পেপার আইডি: 2510.13292
  • শিরোনাম: ফাংশন ফিল্ডের উপর উপবৃত্তাকার এবং হাইপারএলিপ্টিক বক্ররেখার উপর মূলদ বিন্দু গণনা
  • লেখক: জাঁ গিলিবার্ট, ইমানুয়েল হ্যালোইন, আরন লেভিন
  • শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব), math.AG (বীজগণিতীয় জ্যামিতি)
  • প্রকাশনার সময়: ২০২৫ সালের অক্টোবর
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.13292

সারসংক্ষেপ

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

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

১. মূল সমস্যা: ফাংশন ফিল্ডের উপর উপবৃত্তাকার বক্ররেখা এবং হাইপারএলিপ্টিক বক্ররেখার মূলদ বিন্দু গণনা সমস্যা অধ্যয়ন করা, বিশেষত সীমাবদ্ধ উচ্চতার মূলদ বিন্দু এবং এস-পূর্ণসংখ্যা বিন্দুর সংখ্যা অনুমান।

२. সমস্যার গুরুত্ব:

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

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

  • ধ্রুপদী জ্যামিতিক সীমা প্রায়শই অত্যন্ত অপরিশোধিত
  • ওয়েইল সীমা যদিও নির্ভুল কিন্তু কিছু ক্ষেত্রে যথেষ্ট তীক্ষ্ণ নয়
  • বিদ্যমান টর্সন সীমা ছোট সীমাবদ্ধ ফিল্ডের ক্ষেত্রে আরও উন্নত করা যেতে পারে

४. গবেষণা প্রেরণা: জ্যামিতিক পদ্ধতির মাধ্যমে (প্রধানত ২-ডিসেন্ট ম্যাপিংয়ের বিশ্লেষণ) আরও নির্ভুল গণনা সীমা প্রাপ্ত করা, এবং সীমাবদ্ধ ফিল্ডের উপর জ্যাকোবিয়ানের টর্সন অনুমানে প্রয়োগ করা।

মূল অবদান

१. নতুন মূলদ বিন্দু গণনা সীমা স্থাপন: ফাংশন ফিল্ডের উপর উপবৃত্তাকার বক্ররেখা এবং হাইপারএলিপ্টিক বক্ররেখার জন্য, সীমাবদ্ধ উচ্চতার মূলদ বিন্দু সংখ্যার স্পষ্ট সীমা প্রদান করা (উপপাদ্য ১.१)

२. এস-পূর্ণসংখ্যা বিন্দুর গণনা সীমা প্রাপ্ত করা: এবিসি উপপাদ্যের ফাংশন ফিল্ড সংস্করণ ব্যবহার করে, এস-পূর্ণসংখ্যা বিন্দুর উচ্চতার উপর সীমা প্রদান করা, এবং এস-পূর্ণসংখ্যা বিন্দু সংখ্যার অনুমান প্রাপ্ত করা (উপপাদ্য १.२)

३. সীমাবদ্ধ ফিল্ডের উপর জ্যাকোবিয়ানের টর্সন সীমা উন্নত করা:

  • হাইপারএলিপ্টিক বক্ররেখার জ্যাকোবিয়ানের ३-টর্সনের জন্য qg/2+γg/log⁡gq^{g/2+\gamma g/\log g} এর সীমা প্রদান করা (উপপাদ্য १.३)
  • ত্রিঘাত বক্ররেখার জ্যাকোবিয়ানের २-টর্সনের জন্য (२q)g/३+γg/log⁡g(२q)^{g/३+\gamma g/\log g} এর সীমা প্রদান করা (উপপাদ্য १.६)

४. বৈশিষ্ট্য-স্বাধীন জ্যামিতিক পদ্ধতি প্রদান করা: প্রধান কৌশল রিম্যান-রোচ উপপাদ্যের উপর ভিত্তি করে, বৈশিষ্ট্য ≠२ এর যেকোনো ফিল্ডে প্রয়োজ্য

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

কাজের সংজ্ঞা

ফাংশন ফিল্ড k(B)k(B) এর উপর হাইপারএলিপ্টিক বক্ররেখা C:y२=f(x)C: y^२ = f(x) এর মূলদ বিন্দু অধ্যয়ন করা, যেখানে ff বিজোড় ডিগ্রি d≥३d \geq ३ এর একটি মনিক বিচ্ছেদ্য বহুপদ। প্রধান লক্ষ্য অনুমান করা:

  • সীমাবদ্ধ নিরীহ উচ্চতার মূলদ বিন্দু সেট C(k(B))≤c:={(x०,y०)∈C(k(B))∣deg⁡x०≤c}C(k(B))_{\leq c} := \{(x_०, y_०) \in C(k(B)) | \deg x_० \leq c\} এর আকার
  • এস-পূর্ণসংখ্যা বিন্দু সেট C(RS)C(R_S) এর আকার

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

२-ডিসেন্ট ম্যাপিং বিশ্লেষণ

२-ডিসেন্ট ম্যাপিং সংজ্ঞায়িত করা (লেম्मा २.३): δ:C(k(B))→H१(Cf∖π−१(Σ२),μ२)\delta: C(k(B)) \to H^१(C_f \setminus \pi^{-१}(\Sigma_२), \mu_२)

যেখানে CfC_f হল f(x)=०f(x) = ० দ্বারা সংজ্ঞায়িত বক্ররেখা, Σ२\Sigma_२ হল নেরন মডেলের সংযুক্ত উপাদান গ্রুপের সমান ক্রমের স্থান বিন্দু সেট।

মূল পর্যবেক্ষণ: একই উপ-সমতাত্ত্বিক শ্রেণীতে ম্যাপ করা মূলদ বিন্দুর সংখ্যা সীমাবদ্ধ এবং নিয়ন্ত্রণযোগ্য।

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

উপপাদ্য २.४ একই শ্রেণীতে ম্যাপ করা বিন্দুর সংখ্যার সীমা প্রদান করে: २Ω(c,f,g)+max⁡{c,१२(c+g)}+१२^{\Omega(c,f,g)+\max\{c, \frac{१}{२}(c+g)\}+१}

যেখানে Ω(c,f,g)\Omega(c,f,g) সংজ্ঞায়িত করা হয়:

\max\{d(c+g) + h_B(f) - g_f, \frac{१}{२}(d(c+g) + h_B(f))\} & \text{যদি }C_f\text{ অপরিবর্তনীয় হয়} \\ d(c+g) + h_B(f) + \omega(f) - १ & \text{অন্যথায়} \end{cases}$$ #### প্রযুক্তিগত উদ্ভাবন বিন্দু १. **জ্যামিতিক গণনা পদ্ধতি**: রৈখিক সিস্টেমে ফাংশনের গণনা ব্যবহার করে, রিম্যান-রোচ উপপাদ্যের মাধ্যমে মাত্রা নিয়ন্ত্রণ করা २. **বেজাউট উপপাদ্যের প্রয়োগ**: প্রজেক্টিভ স্পেসে দুটি বীজগণিতীয় বৈচিত্র্যের ছেদ বিশ্লেষণ করে, অপরিবর্তনীয় উপাদান সংখ্যার সীমা প্রাপ্ত করা ३. **বিশেষ ক্ষেত্রের অপ্টিমাইজেশন**: - যখন ভিত্তি বক্ররেখা $\mathbb{P}^१$ এবং $f$ এর সহগ $k[t]$ এ থাকে তখন উন্নতি (প্রস্তাব २.७) - ত্রিঘাত বক্ররেখার ক্ষেত্রে মারোনি অপরিবর্তনীয় ব্যবহার করে পরিমার্জন (উপপাদ্য ३.७) ### এস-পূর্ণসংখ্যা বিন্দুর উচ্চতা সীমা **উপপাদ্য ३.१** এবিসি উপপাদ্য ব্যবহার করে এস-পূর্ণসংখ্যা বিন্দুর উচ্চতার সীমা প্রদান করে: - বৈশিষ্ট্য ० ক্ষেত্রে: $\deg x_० \leq ४(२g-२+|S \cup \Sigma|) + \frac{३h_B(f)}{d}$ - বৈশিষ্ट্য $p > d$ ক্ষেত্রে: $\deg x_० \leq ६\rho(२g-२+|S \cup \Sigma|) + \frac{३h_B(f)}{d}$ যেখানে $\rho$ অবিচ্ছেদ্য ডিগ্রি, যা বক্ররেখার পাটিগণিত বৈশিষ্ট্য প্রতিফলিত করে। ## পরীক্ষামূলক সেটআপ ### তাত্ত্বিক যাচাইকরণ কাঠামো যেহেতু এটি বিশুদ্ধ গণিত তাত্ত্বিক কাজ, ঐতিহ্যবাহী অর্থে কোনো "পরীক্ষা" নেই, কিন্তু লেখকরা নিম্নলিখিত উপায়ে তত্ত্ব যাচাই করেন: १. **কংক্রিট প্রয়োগ যাচাইকরণ**: সীমাবদ্ধ ফিল্ডের উপর জ্যাকোবিয়ানের টর্সন অনুমানে বিমূর্ত সীমা প্রয়োগ করা २. **পরিচিত ফলাফলের সাথে তুলনা**: ওয়েইল সীমা, জ্যামিতিক সীমা এবং ভার্গবা এবং অন্যদের ফলাফলের সাথে তুলনা করা ३. **বিশেষ ক্ষেত্র বিশ্লেষণ**: উপবৃত্তাকার বক্ররেখা $y^२ = x^३ + B(t)$ ইত্যাদি কংক্রিট ক্ষেত্রে আরও নির্ভুল সীমা প্রদান করা ### প্যারামিটার সেটিং - **সীমাবদ্ধ ফিল্ডের আকার**: $q = p^r$, যেখানে $p \geq ५$ - **বক্ররেখার জিনাস**: প্রধানত মারোনি তত্ত্ব প্রয়োগ করার জন্য $g > ४$ এর ক্ষেত্র বিবেচনা করা - **উচ্চতা সীমা**: $c$ সাধারণত বক্ররেখার অপরিবর্তনীয়ের সাথে সম্পর্কিত উপযুক্ত মান হিসাবে নেওয়া হয় ## প্রধান ফলাফল ### মূল উপপাদ্য ফলাফল **উপপাদ্য १.१** (প্রধান গণনা সীমা): হাইপারএলিপ্টিক বক্ররেখা $C: y^२ = f(x)$ এর জন্য, সীমাবদ্ধ উচ্চতার মূলদ বিন্দু সংখ্যা সন্তুষ্ট করে: $$|C(k(B))_{\leq c}| \leq २^{\Omega(c,f,g)+\max\{c, \frac{१}{२}(c+g)\}+१+\text{rk}_{\mathbb{Z}} LN(J)+\dim_{\mathbb{F}_२} LN(J)[२]}$$ **উপপাদ্য १.३** (३-टॉर्सन सीमा): सीमाबद्ध फील्ड $\mathbb{F}_q$ के ऊपर जीनस $g$ के हाइपरएलिप्टिक वक्र $X$ के लिए: $$|\text{Jac}(X)(\mathbb{F}_q)[३]| \leq q^{g/२+\gamma g/\log g}$$ **उपप्रमेय १.६** (२-टॉर्सन सीमा): त्रिघात वक्र $X$ के लिए: $$|\text{Jac}(X)(\mathbb{F}_q)[२]| \leq (२q)^{g/३+\gamma g/\log g}$$ ### উন্নতি প্রভাব বিশ্লেষণ १. **তুচ্ছ সীমার তুলনায়**: যখন $q < ८१$ তখন, ३-टॉर्सन सीमा渐近रूप से तुच्छ सीमा $३^{२g}$ में सुधार करता है २. **ওয়েইল সীমার তুলনায়**: $(√q+१)^{२g}$ এর সীমা উন্নত করা ३. **ভার्गवा और অন्যদের তুलনায়**: ত्रिघात वक्र के मामले में उनकी २-टॉर्सन सीमा渐近रूप से सुधारा ### কংক্রিট সংখ্যাগত উদাহরণ - যখন $q < ९$ এবং $q \not\equiv १ \pmod{३}$ তখন, গ্যালোইস অপরিবর্तনীয়তা দ্বারা দেওয়া $३^g$ সীমা উন্নত করা - যখন $q < ३२$ তখন, ত्रिघात वक्र के २-टॉर्सन के लिए तुच्छ सीमा $२^{२g}$ में सुधार करা ## প্রযুক্তিগত গভীরতা বিশ্লেষণ ### মারোনি অপরিবর্তনীয়ের প্রয়োগ त्रिघात वक्र $C$ के लिए, मारोनी अपरिवर्तनीय $m$ संतुष्ट करता है: $$\frac{g-४}{३} \leq m \leq \frac{g-२}{२}$$ **অনুপুষ্টি ३.५** এই অপরিবর্তনীয় ব্যবহার করে রৈখিক সিস্টেমের মাত্রার নির্ভুল সীমা প্রদান করে: $$h^०(D) \leq \max\left\{\min\left\{m + \deg D + २ - g, \frac{२(\deg D - १) - g}{३} + २\right\}, १\right\}$$ ### অবিচ্ছেদ্য ডিগ্রির ভূমিকা ধনাত্মক বৈশিষ্ট্যের ক্ষেত্রে, অবিচ্ছেদ্য ডিগ্রি $\rho$ সংজ্ঞায়িত করা হয়: $$\rho := \inf\left\{\text{ideg}_K\left(\frac{e_k - e_१}{e_२ - e_१}\right) | k = ३,\ldots,d\right\}$$ এই পরিমাণ ভিত্তি ফিল্ড সম্প্রসারণের অধীনে বক্ররেখার আচরণ নিয়ন্ত্রণ করে, এস-পূর্ণসংখ্যা বিন্দুর উচ্চতার সীমা সরাসরি প্রভাবিত করে। ## সম্পর্কিত কাজ ### ঐতিহাসিক পটভূমি १. **মর্ডেল অনুমানের ফাংশন ফিল্ড সংস্করণ**: ম্যানিন, গ্রুয়ার্ট এবং অন্যদের দ্বারা १९६० এর দশকে সমাধান করা २. **উচ্চতা তত্ত্ব**: সিলভারম্যান এবং অন্যদের দ্বারা উন্নত উপবৃত্তাকার বক্ররেখা উচ্চতা তত্ত্ব ३. **পূর্ণসংখ্যা বিন্দু গণনা**: হিন্ড্রি-সিলভারম্যান, প্যাচেকো এবং অন্যদের ধ্রুপদী কাজ ### এই পেপারের আপেক্ষিক সুবিধা १. **পদ্ধতির সাধারণতা**: যেকোনো বৈশিষ্ট্য ≠२ এর ফিল্ডে প্রয়োজ্য, বীজগণিতীয় বন্ধতা অনুমান প্রয়োজন নেই २. **স্পষ্ট সীমা**: কংক্রিট সূচক প্রদান করে, প্রয়োগের জন্য সুবিধাজনক ३. **জ্যামিতিক পদ্ধতি**: প্রধানত রিম্যান-রোচের উপর ভিত্তি করে, জটিল পাটিগণিত বিশ্লেষণ এড়ায় ## উপসংহার এবং আলোচনা ### প্রধান উপসংহার १. ফাংশন ফিল্ডের উপর হাইপারএলিপ্টিক বক্ররেখার মূলদ বিন্দু গণনার জ্যামিতিক পদ্ধতি স্থাপন করা २. ছোট সীমাবদ্ধ ফিল্ডের ক্ষেত্রে জ্যাকোবিয়ানের টর্সনের সীমা উল্লেখযোগ্যভাবে উন্নত করা ३. মূলদ বিন্দু গণনা থেকে টর্সন অনুমানে একটি সিস্টেমেটিক পদ্ধতি প্রদান করা ### সীমাবদ্ধতা १. **বৈশিষ্ট্য সীমাবদ্ধতা**: পদ্ধতি বৈশিষ্ট্য २ এর ক্ষেত্রে প্রয়োজ্য নয় २. **渐近বৈশিষ্ট্য**: সীমা প্রধানত渐近অর্থে উন্নত, ছোট জিনাসের জন্য যথেষ্ট তীক্ষ্ণ নাও হতে পারে ३. **জ্যামিতিক অনুমান**: ভিত্তি ফিল্ড বীজগণিতীয় বন্ধতা ইত্যাদি প্রযুক্তিগত অনুমান প্রয়োজন ### ভবিষ্যত দিকনির্দেশনা १. **বৈশিষ্ট्य २ এর সম্প্রসারণ**: ফ্ল্যাট কোহোমোলজি দ্বারা étale কোহোমোলজি প্রতিস্থাপন প্রয়োজন २. **উচ্চতর টর्सन**: পি-টর्सन এর সাধারণ ক্ষেত্রে সম্প্রসারণ ३. **সংখ্যা ফিল্ড অ্যানালগ**: সংখ্যা ফিল্ডের উপর অনুরূপ সমস্যায় পদ্ধতি প্রয়োগ করা ## গভীর মূল্যায়ন ### সুবিধা १. **প্রযুক্তিগত উদ্ভাবন**: বীজগণিতীয় জ্যামিতি (রিম্যান-রোচ) এবং সংখ্যা তত্ত্ব (२-ডিসেন্ট) এর পদ্ধতি চতুরভাবে একত্রিত করা २. **ফলাফলের নির্ভুলতা**: স্পষ্ট সূচক সীমা প্রদান করে, ব্যবহারিক প্রয়োগ মূল্য আছে ३. **তাত্ত্বিক সম্পূর্ণতা**: বিমূর্ত গণনা থেকে কংক্রিট প্রয়োগ পর্যন্ত একটি সম্পূর্ণ তাত্ত্বিক ব্যবস্থা গঠন করা ४. **লেখার স্পষ্টতা**: যুক্তি কঠোর, প্রযুক্তিগত বিবরণ পর্যাপ্ত ### অপূর্ণতা १. **প্রয়োজ্যতার পরিসীমা**: বৈশিষ्ट्य २ এর বর্জন পদ্ধতির সাধারণতা সীমাবদ্ধ করে २. **নির্ভরশীলতা**: কিছু ফলাফল ব্রুমার এর র‍্যাঙ্ক সীমা ইত্যাদি গভীর উপপাদ্যের উপর নির্ভর করে ३. **অপ্টিমাইজেশন স্থান**: কিছু সীমা আরও উন্নতির সম্ভাবনা থাকতে পারে ### প্রভাব १. **তাত্ত্বিক অবদান**: ফাংশন ফিল্ডের উপর বক্ররেখার পাটিগণিত গবেষণার জন্য নতুন সরঞ্জাম প্রদান করা २. **প্রয়োগ মূল্য**: ক্রিপ্টোগ্রাফি, কোডিং তত্ত্ব ইত্যাদি ক্ষেত্রে সম্ভাব্য প্রয়োগ ३. **পদ্ধতিগত**: সংখ্যা তত্ত্বের সমস্যায় জ্যামিতিক পদ্ধতির শক্তি প্রদর্শন করা ### প্রয়োজ্যতার পরিস্থিতি १. **তাত্ত্বিক গবেষণা**: বীজগণিতীয় জ্যামিতি এবং সংখ্যা তত্ত্বের আন্তঃবিভাগীয় গবেষণা २. **গণনামূলক প্রয়োগ**: সীমাবদ্ধ ফিল্ডের উপর বক্ররেখার বৈশিষ্ট্য অনুমান করতে হবে এমন অ্যালগরিদম ३. **আরও সাধারণীকরণ**: সম্পর্কিত সমস্যার জন্য পদ্ধতিগত নির্দেশনা প্রদান করা ## তথ্যসূত্র পেপারটি ३२টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে: - উপবৃত্তাকার বক্ররেখার র‍্যাঙ্ক সম্পর্কিত ব্রুমারের ধ্রুপদী কাজ - পূর্ণসংখ্যা বিন্দু সম্পর্কিত হিন্ড্রি-সিলভারম্যানের যুগান্তকারী গবেষণা - টর्सन সম্পর্কিত ভার্গবা এবং অন্যদের সর্বশেষ ফলাফল - ত्रिघात বक्ররेखा সম্পর্কিত মারোনির ধ্রুপদী তত্ত্ব এই সাহিত্যগুলি এই পেপারের গবেষণার একটি দৃঢ় ভিত্তি গঠন করে, লেখকদের ক্ষেত্রের উন্নয়নের প্রতি গভীর বোঝাপড়া প্রতিফলিত করে।