Gross vectors modulo 2 and elliptic curves of prime conductor

तकनीकी सारांश: मोड्यूलो 2 में ग्रॉस वेक्टर्स और प्राइम कंडक्टर वाले एलिप्टिक कर्व्स

समस्या विवरण
यह शोध पत्र $\mathbb{F}_p$ के ऊपर सुपर्सिंगुलर एलिप्टिक कर्व्स से जुड़े ब्रैंड्ट आइजनवेक्टर्स (Brandt eigenvectors) के गुणांकों के पैरिटी गुणों को संबोधित करता है। विशेष रूप से, मान लीजिए $p > 3$ एक अभाज्य संख्या (prime) है और $S_p$ उन ज्यामितीय आइसोमोर्फिज्म क्लासेस का सेट है जिनके $j$-इनवैरिएंट्स $\mathbb{F}_p$ में स्थित हैं। एक प्रिमिटिव इंटीग्रल ब्रैंड्ट आइजनवेक्टर $v_E = \sum c_i e_i$ के लिए, जहाँ $E/\mathbb{Q}$ प्राइम कंडक्टर $p$ वाली एक एलिप्टिक कर्व है, जैक्वेट-लैंगलैंड्स (Jacquet–Langlands) पत्राचार संबद्ध करता है। मुख्य समस्या यह निर्धारित करना है कि जब $E$ का मॉर्डेल-वील रैंक (Mordell–Weil rank) धनात्मक हो, तो $i \in S_p$ के लिए गुणांकों $c_i$ की पैरिटी क्या होती है।

यह जांचе काज़ालिकी और कोहेन (Kazalicki and Kohen) के एक अनुमान (conjecture) से उत्पन्न होती है, जो यह प्रस्तावित करता है कि यदि $E$ का धनात्मक रैंक और रूट नंबर $+1$ है, तो प्रत्येक $c_i$ (जो एक परिमेय सुपर्सिंगुलर क्लास $i \in S_p$ द्वारा इंडेक्स किया गया है) सम (even) होना चाहिए। जबकि पिछले परिणामों ने प्रतिबंधात्मक स्थितियों (धनात्मक विविक्तकर/डिस्क्रिमिनेंट, कोई परिमेय 2-टॉर्शन नहीं) के तहत इसे स्थापित किया था, सामान्य मामला खुला रह गया था। इसके अतिरिक्त, यह पैरिटी प्रश्न वाटकिंस के अनुमान (Watkins' conjecture) से भी जुड़ा है, जो $E$ के रैंक के आधार पर मॉड्यूलर डिग्री $m_E$ की 2 की घातों से विभाज्यता से संबंधित है।

कार्यप्रणाली (Methodology)
लेखक अंकगणितीय ज्यामिति (arithmetic geometry), क्वैटरनियन बीजगणित (quaternion algebras), और क्लास फील्ड थ्योरी (class field theory) को संयोजित करने वाली एक बहु-चरणीय रणनीति का उपयोग करते हैं:

1. ग्रॉस वेक्टर्स में न्यूनीकरण (Reduction to Gross Vectors): समस्या को ब्रैंड्ट आइजनवेक्टर के गुणांकों $c_i$ से "ग्रॉस वेक्टर्स" (CM वेक्टर्स) के गुणांकों $m_i(D)$ की पैरिटी में अनुवादित किया जाता है, जो ऋणात्मक मौलिक विविक्तकर (negative fundamental discriminants) $-D$ से जुड़े होते हैं जहाँ $p$ इनर्ट (inert) है। धनात्मक-रैंक वाली वक्र के ब्रैंड्ट आइजनवेक्टर के सापेक्ष ग्रॉस वेक्टर्स की ऑर्थोगोनैलिटी (orthogonality) का उपयोग करते हुए, लेखक दिखाते हैं कि पैरिटी का वेक्टर $(c_i \pmod 2)_{i \in S_p}$ ग्रॉस पैरिटी रोज़ (Gross parity rows) द्वारा स्पैन किए गए स्थान के ऑर्थोगोनल कॉम्प्लीमेंट में होना चाहिए।

2. फ़्रोबेनियस न्यूनीकरण (Frobenius Reduction): एक प्रमुख तकनीकी चरण ग्रॉस के टेनरी लैटिस (ternary lattices) $L_i$ के प्रतिनिधित्व संख्याओं की पैरिटी को फ़्रोबेनियस एंडोमोर्फिज्म $\pi_i$ के लंबवत (perpendicular) रैंक-दो सब-लैटिस $L_i^\perp$ की प्रतिनिधित्व संख्याओं की पैरिटी में कम करता है। यह न्यूनीकरण फ़्रोबेनियस कंजुगेशन (Frobenius conjugation) की क्रिया पर निर्भर करता है, जो लंबवत लैटिस के बाहर के वेक्टर्स को आकार चार के ऑर्बिट्स में समूहित करता है, जिससे उनका योगदान मोड्यूलो 2 में सम (even) हो जाता है।

3. बाइनरी फॉर्म्स के साथ पहचान (Identification with Binary Forms): इबुकियामा (Ibukiyama) के क्वैटरनियन बीजगणित $B_{p,\infty}$ में स्पष्ट मैक्सिमल ऑर्डर्स का उपयोग करते हुए, लेखक लंबवत लैटिस $L_i^\perp$ को विशिष्ट बाइनरी क्वाड्रेटिक फॉर्म्स के साथ पहचानते हैं। ये फॉर्म्स अपने विविक्तकर (discriminants) के आधार पर दो शाखाओं में विभाजित होते हैं: $-16p$ और $-p$ (दूसरा केवल तभी होता है जब $p \equiv 3 \pmod 4$ हो)।

4. क्लास फील्ड थ्योरी और चेबोटेव (Class Field Theory and Chebotarev): लेखक ज़ियाओ-झोउ-डेंग-क्यू (Xiao–Zhou–Deng–Qu) पैरामीट्रिज़ेशन का उपयोग करके सुपर्सिंगुलर क्लासेस को फॉर्म क्लासेस के इनवर्स ऑर्बिट्स में मैप करते हैं। फिर वे व्यक्तिगत सुपर्सिंगुलर कोऑर्डिनेट्स को अलग करने के लिए संगत रिंग क्लास फील्ड्स में विशिष्ट स्वीकार्य विविक्तकर (primes and semiprimes) बनाने के लिए चेबोटेव घनत्व प्रमेय (Chebotarev's Density Theorem) को लागू करते हैं। विशिष्ट तरीकों से क्लास ग्रुप्स के भीतर विभाजित होने वाले अभाज्य संख्याओं को चुनकर, वे प्रदर्शित करते हैं कि ग्रॉस पैरिटी रोज़ $\mathbb{F}_2^{S_p}$ के स्थान में किसी भी मानक आधार वेक्टर (standard basis vector) को जनरेट कर सकते हैं।

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

• ग्रॉस-रो स्पैनिंग प्रमेय (Theoreom 1.1): प्राथमिक परिणाम यह सिद्ध करता है कि ग्रॉस गुणांकों के वेक्टर्स (modulo 2 में), जो $S_p$ द्वारा इंडेक्स किए गए हैं, पूरे वेक्टर स्पेस $\mathbb{F}_2^{S_p}$ को स्पैन करते हैं। यह प्रत्येक कोऑर्डिनेट को अलग करने वाले विशिष्ट ग्रॉस रोज़ को बनाकर प्राप्त किया गया है, जिसमें अपवाद स्वरूप $j$-इनवैरिएंट्स ($0$और$1728$) को अलग से संभाला गया है और$-16p$एवं$-p$ विविक्तकर शाखाओं के लिए अलग-अलग अभाज्य चयन रणनीतियों का उपयोग किया गया है।
• काज़ालिकी-कोहेन पैरिटी अनुमान का समाधान (Corollary 1.2): स्पैनिंग प्रमेय के प्रत्यक्ष परिणाम के रूप में, लेखक सिद्ध करते हैं कि यदि एक एलिप्टिक कर्व $E/\mathbb{Q}$ का प्रिमिटिव कंडक्टर $p$ और धनात्मक मॉर्डेल-वील रैंक है, तो उसके ब्रैंड्ट आइजनवेक्टर का प्रत्येक गुणांक $c_i$ ($i \in S_p$ के लिए) सम (even) होता है। यह विविक्तकर और परिमेय 2-टॉर्शन बिंदुओं के अस्तित्व संबंधी पिछले प्रतिबंधों को हटा देता है। लेख नोट करता है कि यह एक एकतरफा मानदंड प्रदान करता है: एक परिमेय सुपर्सिंगुलर क्लास पर एक विषम (odd) गुणांक, रैंक 0 को प्रमाणित करता है।
• मॉड्यूलर डिग्री की विभाज्यता (Corollary 1.3 और Theorem 6.1): मेस्ट्रे के नॉर्म फॉर्मूला (Mestre's norm formula) और ग्रॉस-कुडला क्यूबिक आइडेंटिटी (Gross–Kudla cubic identity) के साथ संयोजन करके, लेखक सिद्ध करते हैं कि किसी भी प्राइम कंडक्टर $p$, धनात्मक रैंक और रूट नंबर $+1$ वाले एलिप्टिक कर्व के लिए, मॉड्यूलर डिग्री $m_E$, 4 से विभाज्य है।
• रैंक 2 के लिए वाटकिंस के अनुमान का सत्यापन: यह परिणाम वाटकिंस के अनुमान ($2^{\text{rank}} \mid m_E$) को रूट नंबर $+1$ वाले सभी प्राइम-कंडक्टर और रैंक 2 वाले एलिप्टिक कर्व्स के लिए पुष्ट करता है, जिससे पूर्ववर्ती विविक्तकर बाधाएं हट जाती हैं।

महत्व
यह शोध पत्र ब्रैंड्ट आइजनवेक्टर्स के संबंध में एक विशिष्ट पैरिटी अनुमान को हल करने का दावा करता है, जो सुपर्सिंगुलर गुणांकों की पैरिटी के आधार पर रैंक 0 के लिए एक मजबूत बीजगणितीय प्रमाण प्रदान करता है। ग्रॉस वेक्टर्स की स्पैनिंग प्रॉपर्टी को स्थापित करके, यह कार्य सुपर्सिंगुलर कर्व्स के अंकगणित और मॉड्यूलर फॉर्म्स (विशेष रूप से सेंट्रल पॉइंट पर $L$-functions के शून्य होने) के विश्लेषणात्मक गुणों के बीच के अंतर को पाटता है। वाटकिंस के अनुमान पर इसके अनुप्रयोग से रैंक 2 और रूट नंबर $+1$ वाले सभी प्राइम-कंडक्टर कर्व्स के लिए ज्ञात मामलों का विस्तार होता है, जिससे पूर्ववर्ती विविक्तकर प्रतिबंध हट जाते। इसकी कार्यप्रणाली यह प्रदर्शित करती है कि फ़्रोबेनियस समरूपता (Frobenius symmetry) के माध्यम से टेनरी रिप्रेजेंटेशन समस्याओं को बाइनरी फॉर्म्स में कम करने और क्लास फील्ड थ्योरी के माध्यम से प्रतिनिधित्व पैरिटी को नियंत्रित करने के लिए स्पष्ट मैक्सिमल ऑर्डर मॉडल का उपयोग करने की शक्ति क्या है।