Construction of Generically Ordinary Families of Hyperelliptic Curves

तकनीकी सारांश: जेनेरिकली ऑर्डिनरी हाइपरएलिपटिक कर्व्स के परिवारों का निर्माण

समस्या विवरण
यह शोध पत्र $t$-लाइन पर विशिष्ट एक-पैरामीटर हाइपरएलिपटिक कर्व्स की जेनेरिक ऑर्डिनैरिटी (generic ordinarity) के संबंध में काट्ज़ (2018) द्वारा प्रस्तावित एक अनुमान (conjecture) को संबोधित करता है। एक क्षेत्र (field) के अभिलक्षण (characteristic) $p > 0$ पर $g$ जनस (genus) वाली एक चिकनी प्रोजेक्टिव वक्र (smooth projective curve) $C$ को तब ऑर्डिनरी कहा जाता है यदि उसकी ज़ेटा फलन (zeta function) के अंश का मध्य गुणांक $p$ से अभाज्य (prime to $p$) हो। समतुल्य रूप से, $C$ का जैकोबियन (Jacobian) एक ऑर्डिनरी एबेलियन वेरियटी होता है, जो न्यूटन पॉलीगोन (Newton polygon) द्वारा अभिलक्षणित है जिसमें केवल ढलान (slopes) 0 और 1 होते हैं। यह स्थिति हासे-विट मैट्रिक्स (Hasse–Witt matrix) या कार्टियर-मैनिन मैट्रिक्स (Cartier–Manin matrix) के नियतांक (determinant) के गैर-शून्य होने से पहचानी जाती है।

काट्ज़ ने अनुमान लगाया था कि वक्रों का परिवार $K: y^2 = x^d - dx + t$ (जहाँ $d \in \{2g+1, 2g+2\}$ और $g \ge 2$) सभी पर्याप्त बड़े अभाज्य $p$ के लिए जेनेरिकली ऑर्डिनरी है। जबकि इस परिवार में "लार्ज मोनोड्रोमी" (large monodromy) है (जो $Sp_{2g}(\mathbb{Z})$ में परिमित सूचकांक है), यह छोटे अभाज्य संख्याओं के लिए जेनेरिक ऑर्डिनैरिटी में विफल होता हुआ ज्ञात था। विशिष्ट समस्या एक द्विघातीय सीमा (quadratic bound) $P^+(d)$ स्थापित करना है ताकि सभी $p > P^+(d)$ के लिए यह परिवार जेनेरिकली ऑर्डिनरी हो, और इस परिणाम को $C_\alpha: y^2 = x^d + \alpha x + t$ के रूप में किसी भी गैर-शून्य बीजगणिक पूर्णांक (algebraic integer) $\alpha$ वाले परिवारों तक सामान्यीकृत किया जा सके।

कार्यप्रणाली (Methodology)
प्रमाण की रणनीति $C_\alpha$ से जुड़े हासे-विट मैट्रिक्स का विश्लेषण करने और यह प्रदर्शित करने पर टिकी है कि इसका नियतांक (Hasse–Witt polynomial) पर्याप्त बड़े $p$ के लिए $p$ के मॉड्यूल शून्य नहीं होता है।

1. हासे-विट बहुपद निर्माण: लेखक $\mathbb{Z}[X, Y]$ पर एक गुणांक मैट्रिक्स $(M_{ij}(X, Y))_{1 \le i,j \le g}$ को परिभाषित करते हैं, जहाँ $M_{ij}$, $(x^d + Xx + Y)^{(p-1)/2}$ के विस्तार में $x^{pi-j}$ का गुणांक है। हासे-विट नियतांक बहुपद को $H_{p,\alpha}(Y) = \det(M_{ij}(\alpha, Y))$ के रूप में परिभाषित किया गया है। जेनेरिक फाइबर (generic fiber) तब ऑर्डिनरी होता है जब यह बहुपद $p$ के मॉड्यूल शून्य न हो।

2. अग्रणी पद विश्लेषण (Leading Term Analysis): $H_{p,\alpha}(Y) \not\equiv 0 \pmod p$ को सिद्ध करने के लिए, लेखक इसके बहुपद के अग्रणी पद का विश्लेषण करते हैं। वे एक विशिष्ट डिग्री $E$ की पहचान करते हैं और दिखाते हैं कि अग्रणी गुणांक $\alpha^m u_p \Delta_p$ के रूप में है, जहाँ:

   • $m$ एक गैर-ऋणात्मक पूर्णांक है।
   • $u_p$ द्विपद गुणांकों (binomial coefficients) का एक गुणनफल है जो $p$ से सह-अभाज्य (coprime) है।
   • $\Delta_p$ $\binom{(p-1)/2 - Q_i}{s_i - j}$ जैसे द्विपद गुणांकों वाले एक नियतांक (determinant) का परिणाम है, जहाँ $s_i$ के अवशेष $pi \pmod d$ हैं।

3. द्विपद नियतांक में न्यूनीकरण (Reduction to a Binomial Determinant): $\Delta_p$ को $p$ के मॉड्यूल एक स्थिर परिमेय नियतांक $\Delta(s_1, \dots, s_g)$ में न्यूनीकृत करने में मुख्य तकनीकी नवाचार निहित है, जो $p$ से स्वतंत्र है। उपयोग करते हुए अभिसरण (congruence) $(p-1)/2 - Q_i \equiv \beta_i \pmod p$ (जहाँ $\beta_i = s_i \frac{d-1}{2}$), वे दिखाते हैं कि $\Delta_p \equiv \Delta(s_1, \dots, s_g) \pmod p$।

4. गुणन सूत्र और अभाज्य कारक सीमाएँ: लेखक $\Delta(s_1, \dots, s_g)$ के नियतांक के लिए एक स्पष्ट गुणन सूत्र (product formula) व्युत्पन्न करते हैं, जो इसे वैंडरमंड-प्रकार (Vandermonde-type) के नियतांक में न्यूनीकृत करके प्राप्त किया जाता है। इस सूत्र में $(k - \lambda_r)$ और द्विपद गुणांकों वाले कारक शामिल हैं।

   • लेम्मा 2.1 और 2.2: यह स्थापित करते हैं कि कुछ परिमेय पैरामीटर $\lambda_r$ गैर-पूर्णांक हैं, जिससे यह सुनिश्चित होता है कि नियतांक सुपरिभाषित और गैर-शून्य है।
   • लेम्मा 2.6: महत्वपूर्ण रूप से, लेखक सिद्ध करते हैं कि गुणन सूत्र के अंश और हर के प्रत्येक अभाज्य कारक को $P^+(d)$ द्वारा सीमित किया गया है। यह विशिष्ट लैटिस क्षेत्रों $U$ और $V$ पर फलन $h(x, y) = (2d-2)x - 2dy - d$ के विश्लेषण के माध्यम से प्राप्त किया गया है।

5. $p$ के मॉड्यूल गैर-शून्यता: किसी भी $p > P^+(d)$ के लिए, नियतांक $\Delta$, $p$ का एक $p$-एडिक इकाई (non-zero modulo $p$) है। फलस्वरूप, $H_{p,\alpha}(Y)$ के अग्रणी गुणांक का मान $p$ के मॉड्यूल गैर-शून्य है (बशर्ते $\alpha \not\equiv 0 \pmod p$), जो स्वयं बहुपद को गैर-शून्य सुनिश्चित करता है।

मुख्य योगदान और परिणाम

• प्रमेय 1.3: यह शोध पत्र सिद्ध करता है कि प्रत्येक जनस $g \ge 2$ और प्रत्येक गैर-शून्य बीजगणिक पूर्णांक $\alpha$ के लिए, परिवार $C_\alpha: y^2 = x^d + \alpha x + t$ (जहाँ $d \in \{2g+1, 2g+2\}$) प्रत्येक अभाज्य $p > P^+(d)$ पर जेनेरिकली ऑर्डिनरी है, बशर्ते $p$, $\alpha$ के नॉर्म (norm) को विभाजित न करे।
  • सीमा इस प्रकार परिभाषित है:
    $$P^+(d) = \begin{cases} d^2 - 4d + 2 & \text{यदि } d \text{ विषम है} \\ (d^2 - 3d + 2)/2 & \text{यदि } d \text{ सम है} \end{cases}$$
• काट्ज़ के अनुमान का समाधान: एक प्रत्यक्ष उप-परिणाम (अनुमान 4.2) के रूप में, यह शोध पत्र परिवार $K$ (जहाँ $\alpha = -d$) के लिए सभी $p > P^+(d)$ के लिए काट्ज़ के 2018 के अनुमान की पुष्टि करता है।
• दो-पैरामीटर परिवारों के लिए सामान्यीकरण: उप-परिणाम 4.3 परिणाम को दो-पैरामीटर परिवार $y^2 = x^d + sx + t$ तक विस्तारित करता है, जो दिखाता है कि यह $p > P^+(d)$ के लिए जेनेरिकली ऑर्डिनरी है।
• $p \equiv 1 \pmod d$ के लिए परिशोधन: उप-परिणाम 4.5 दिखाता है कि यदि $p \equiv 1 \pmod d$ है, तो परिवार सभी $p$ के लिए जेनेरिकली ऑर्डिनरी है (बिना $P^+(d)$ सीमा के), क्योंकि इस मामले में $\Delta_p$ का मान 1 हो जाता है।

महत्व और दावे

यह शोध पत्र दावा करता है कि यह सभी $g \ge 2$ के लिए काट्ज़ के अनुमान को सुलझाता है। इसका महत्व मिलर (1972) के कार्यों और हाइपरएलिपटिक लोकी (loci) में लार्ज मोनोड्रोमी के अध्ययन से आगे बढ़ना है, यह पुष्टि करते हुए कि इन परिवारों के लिए ऑर्डिनरी लोकी (ordinary locus) बड़े अभाज्य पर गैर-रिक्त और सघन (dense) है। यह कार्य एक ठोस, द्विघातीय सीमा $P^+(d)$ स्थापित करता है। लेखक नोट करते हैं कि यह सीमा कुछ मामलों में सटीक (sharp) है: काट्ज़ द्वारा दिए गए डेटा से पता चलता है कि $p = P^+(d)$ के लिए जेनेरिक ऑर्डिनैरिटी विफल हो जाती है (उदाहरण के लिए, $(d, p) = (21, 359)$), जो इंगes कि इस सीमा को सामान्य रूप से $p \ge P^+(d)$ तक कमजोर नहीं किया जा सकता है।

यह शोध पत्र उन परिवारों से आगे बढ़कर काम करता है जहाँ गुणांक मैट्रिक्स मोनॉमियल (monomial) होती है (जैसे मिलर के परिवार), ताकि उन परिवारों को संभाला जा सके जहाँ हासे-विट मैट्रिक्स सामान्यतः गैर-मोनॉमियल होती है और जिसमें कई गैर-शून्य प्रविष्टियाँ होती हैं।