Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

यहाँ रयो ओहाशी के शोध पत्र "Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

इस शोध पत्र में संबोधित मुख्य समस्या एक दिए गए अभिलक्षण (characteristic) $p > 0$ में जनस (genus) $g \geq 4$ के लिए सुपरस्पेशल वक्रों (superspecial curves) के अस्तित्व की है।

• परिभाषा: एक वक्र सुपरस्पेशल होता है यदि उसका जैकोबियन (Jacobian) सुपरसिंगुलर एलिप्टिक कर्व्स के उत्पाद (product) के आइसोमोर्फिक (isomorphic) हो।
• संदर्भ: जनस $g \leq 3$ के लिए अस्तित्व संबंधी प्रश्न पूरी तरह से हल हो चुका है। हालांकि, $g \geq 4$ के लिए, सामान्य $p$ हेतु यह समस्या अभी भी खुली (open) है।
• पूर्व कार्य: कुडो, हराशिता और हाउ (2020) ने "हाउ कर्व्स" (Howe curves) का उपयोग करके $7 < p < 20,000$ के लिए सुपरस्पेशल जनस-4 वक्रों के अस्तित्व को स्थापित किया। उनकी विधि ने जनस-4 वक्र की सुपरस्प स्पेशलिटी को जनस-2 वक्रों की सुपरस्पेशलिटी में कम कर दिया। हालांकि, बड़े $p$ के लिए यह दृष्टिकोण गणनात्मक रूप से महंगा है क्योंकि इसमें कई सुपरस्पेशल जनस-2 वक्रों को उत्पन्न करने और परीक्षण करने की आवश्यकता होती है।
• लक्ष्य: अधिक कुशल एल्गोरिदम विकसित करके $p$ की बड़ी श्रेणियों (अपने $10^6$ तक) और जनस $g=5, 6$ के लिए अस्तित्व के परिणामों का विस्तार करना, जो जनस-2 वक्रों की भारी गणना से बच सके।

2. कार्यप्रणाली (Methodology)

लेखक सामान्यीकृत हाउ कर्व्स (generalized Howe curves) के एक प्रतिबंधित उपवर्ग को पेश करते हैं जहाँ जैकोबियन एलिप्टिक कर्व्स के उत्पाद में पूर्णतः अपघटित (completely decomposable) होता है। यह प्रतिबंध सुपरस्पेशलिटी की स्थिति को पूरी तरह से एलिप्टिक कर्व्स की सुपरसिंगुलैरिटी (supersingularity) तक सीमित कर देता है, जिसे सत्यापित करना गणनात्मक रूप से बहुत सस्ता है।

A. सैद्धांतिक ढांचा (Theoretical Framework)

• सामान्यीकृत हाउ कर्व्स: इन्हें दो हाइपरएलिप्टिक वक्रों ($C_1 \times_{\mathbb{P}^1} C_2$) के फाइबर उत्पाद (fiber product) के डेसिंगुलराइजेशन (desingularization) के रूप में निर्मित किया जाता है। प्रमेय 2.6 बताता है कि परिणामी वक्र $H$ का जैकोबियन $J(C_1) \times J(C_2) \times J(C_3)$ के आइसोजेनस (isogenous) है, जहाँ $C_3$ फाइबर उत्पाद से प्राप्त तीसरा वक्र है।
• पूर्ण अपघटन (Complete Decomposability): लेखक विशिष्ट पैरामीटर चुनते हैं ताकि $J(C_1)$, $J(C_2)$, और $J(C_3)$ स्वयं एलिप्टिक कर्व्स के उत्पादों के आइसोजेनस हों। फलस्वरूप, $J(H)$ एलिप्टिक कर्व्स के उत्पाद के आइसोजेनस है।
• न्यूनीकरण (Reduction): इस निर्माण के तहत, $H$ सुपरस्पेशल है यदि और केवल यदि घटक एलिप्टिक कर्व्स सुपरसिंगुलर हैं।

B. विशिष्ट निर्माण (Specific Constructions)

1. जनस 4 ($X_{s,t}$):

   • इसे एक ही वेअरस्ट्रैस बिंदु (Weierstrass point) साझा करने वाले दो एलिप्टिक कर्व्स $E_1, E_2$ से निर्मित किया गया है।
   • संबद्ध जनस-2 वक्र $C_3$ को $y^2 = (x^2-1)(x^2-s^2)(x^2-t^2)$ के रूप में चुना गया है।
   • परिणाम: $J(X_{s,t}) \sim E_1 \times E_2 \times E_3 \times E_4$। वक्र सुपरस्पेशल है यदि $E_1, E_3, E_4$ सुपरसिंगुलर हैं।
   • एल्गोरिदम 3.4: सुपरसिंगुलर $j$-इनवेरिएंट्स (या लेजेंड्रे पैरामीटर्स $\lambda$) के युग्मों के माध्यम से $s, t$ को खोजने के लिए पुनरावृत्ति (iterate) करता है ताकि परिणामी एलिप्टिक कर्व्स सभी सुपरसिंगुलर हों।

2. जनस 5 ($Y_{s,t}$):

   • इसे दो जनस-2 वक्रों $C_1, C_2$ से निर्मित किया गया है जो 4 वेअरस्ट्रैस बिंदुओं को साझा करते हैं, जहाँ $C_1, C_2$ का रूप $y^2 = x(x^2-1)(x^2-s^2)$ है।
   • परिणाम: $J(Y_{s,t}) \sim E_1^2 \times E_2^2 \times E_3$। वक्र सुपरस्पेशल है यदि $E_1, E_2, E_3$ सुपरसिंगुलर हैं।
   • एल्गोरिदम 4.3: एक विशिष्ट बहुपद के मूलों (roots) को हल करने (जो धीमा है) के बजाय, एल्गोरिदम सुपरसिंगुलर $j$-इनवेरिएंट्स ($j_1, j_2$) के युग्मों के माध्यम से पुनरावृत्ति करता है, $s, t$ के लिए समाधान निकालता है, और जाँच करता है कि क्या परिणामी $E_3$ सुपरसिंगुलर है।

3. जनस 6 ($Z_{s,t}$):

   • इसे दो जनस-2 वक्रों $C_1, C_2$ से निर्मित किया गया है जो 3 वेअरस्ट्रैस बिंदुओं को साझा करते हैं, जिनका रूप $y^2 = (x^3-1)(x^3-s^6)$ है।
   • परिणाम: $J(Z_{s,t}) \sim E_1^2 \times E_2^2 \times E_3^2$। वक्र सुपरस्पेशल है यदि $E_1, E_2, E_3$ सुपरसिंगुलर हैं।
   • एल्गोरिदम 5.4: जनस 5 के समान, यह $s, t$ निर्धारित करने के लिए सुपरसिंगुलर $j$-इनवेरिएंट्स का उपयोग करता है और तीसरे एलिप्टिक कर्व की सुपरसिंगुलैरिटी को सत्यापित करता है।

3. प्रमुख योगदान (Key Contributions)

1. दक्षता में सुधार (Efficiency Improvement): प्रस्तावित एल्गोरिदम पिछले कुडो-हराशिता-हाउ विधि की तुलना में काफी तेज़ हैं।
   • जनस 4 के लिए, नई विधि लगभग 1,400 गुना तेज़ है (रेंज $p < 20,000$ के लिए 29.7 सेकंड बनाम 11.5 घंटे)।
   • यह दक्षता लाभ सुपरसिंगुलर एलिप्टिक कर्व्स में खोज क्षेत्र को सुपरस्पेशल जनस-2 वक्रों में बदलने से प्राप्त हुआ है।
2. नए अस्तित्व प्रमाण (New Existence Proofs): यह शोध पत्र पहले ज्ञात श्रेणियों की तुलना में $p$ की बहुत बड़ी श्रेणियों के लिए सुपरस्पेशल वक्रों के अस्तित्व के रचनात्मक प्रमाण प्रदान करता है।
3. उच्च जनस तक सामान्यीकरण (Generalization to Higher Genus): यह शोध पत्र जनस 5 और 6 के लिए रचनात्मक दृष्टिकोण का विस्तार करता है, जो पहले गणनात्मक रूप से काफी हद तक अनछुआ था।

4. प्रयोगात्मक परिणाम (Experimental Results)

एल्गोरिदम को Magma में लागू किया गया था और एक उच्च-प्रदर्शन सर्वर (AMD EPYC 7742, 2TB RAM) पर निष्पादित किया गया था।

• जनस 4:

  • रेंज: सभी $7 < p < 10^6$ के लिए सत्यापित किया गया (उन $p=13, 19, 73$ को छोड़कर जहाँ विशिष्ट निर्माण विफल रहा, हालांकि $p=13, 19$ के लिए अन्य माध्यमों से अस्तित्व ज्ञात है)।
  • निष्कर्ष: $7 < p < 10^6$ के लिए सभी सुपरस्पेशल जनस-4 वक्र मौजूद हैं।
  • समय: पूर्ण रेंज के लिए ~57.4 घंटे।

• जनस 5:

  • रेंज: $19 < p < 10^5$ के लिए सत्यापित किया गया (विशिष्ट अभाज्य संख्याओं जैसे 37, 53 आदि को छोड़कर जहाँ विशिष्ट निर्माण विफल रहा)।
  • निष्कर्ष: $7 \leq p < 10^5$ (जहाँ $p \neq 13$) के लिए सभी सुपरस्पेशल जनस-5 वक्र मौजूद हैं।
  • समय: ~15.5 घंटे।

• जनस 6:

  • रेंज: $11 < p < 10^5$ के लिए सत्यापित किया गया (19, 37 आदि को छोड़कर)।
  • निष्कर्ष: $7 < p < 10^5$ के लिए सभी सुपरस्पेशल जनस-6 वक्र मौजूद हैं।
  • समय: ~22.1 घंटे।

• खुले मामले (Open Cases): $(g, p) = (5, 13)$ और $(6, 7)$ के लिए सुपरस्पेशल वक्रों का अस्तित्व अभी भी खुला है।

5. महत्व (Significance)

• संगणनात्मक संख्या सिद्धांत (Computational Number Theory): यह कार्य सुपरस्पेशल वक्रों के संगणनात्मक सत्यापन की सीमाओं को आगे बढ़ाता है, जो $p \approx 20,000$ से बढ़कर $p \approx 10^6$ तक पहुँच जाता है।
• क्रिप्टोग्राफी (Cryptography): सुपरस्पेशल वक्र आइसोजेनी-आधारित क्रिप्टोग्राफी (जैसे CSIDH, SQIsign) में मौलिक हैं। विभिन्न अभिलक्षणों में उनके अस्तित्व को समझना और उन्हें कुशलतापूर्वक निर्मित करना पोस्ट-क्वांटम क्रिप्टोग्राफिक स्कीम्स के सुरक्षा विश्लेषण और पैरामीटर चयन के लिए महत्वपूर्ण है।
• बीजगणितीय ज्यामिति (Algebraic Geometry): परिणाम आयाम 4, 5 और 6 के ऐसे सुपरस्पेशल एबेलियन वेरिएटीज़ के ठोस उदाहरण प्रदान करते हैं, जो इन वस्तुओं के वर्गीकरण में योगदान देते हैं।
• एल्गोरिदम संबंधी प्रगति (Algorithmic Advancement): पूर्णतः अपघटित जैकोबियन वाले वक्रों की खोज को प्रतिबंधित करने की रणनीति उच्च जनस के समान अस्तित्व समस्याओं से निपटने के लिए एक शक्तिशाली ह्यूरिस्टिक (heuristic) प्रदान करती है, जो यह दर्शाती है कि "विशेष" उप-परिवार उच्च जनस में वैश्विक अस्तित्व परिणामों को कुशलतापूर्वक प्रदान कर सकते हैं।