Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

तकनीकी सारांश: परिष्कृत हमबर्ट इनवेरियंट्स (Humbert Invariants) और $\mathcal{A}_2(\mathbb{C})$ के उप-विविधताएँ (Subvarieties): रैंक 3 का मामला

समस्या विवरण
यह शोध पत्र मुख्य रूप से ध्रुवीकृत एबेलियन सतहों (principally polarized abelian surfaces) के मॉडुलि स्पेस $\mathcal{A}_2(\mathbb{C})$ के भीतर हमबर्ट लोकस (Humbert locus) $H(q)$ की ज्यामिति की जांच करता है। विशेष रूप से, यह उस स्थिति को संबोधित करता है जहाँ $q$ एक त्रिक (ternary/rank 3) पूर्णांक द्विघात रूप (integral quadratic form) है। $H(q)$ को उन मुख्य रूप से ध्रुवीकृत एबेलियन सतहों $(A, \lambda)$ के सेट के रूप में परिभाषित किया गया है जहाँ परिष्कृत हमबर्ट इनवेरियंट $q(A, \lambda)$ द्विघात रूप $q$ को प्रिमिटिवली (primitively) निरूपित करता है। जबकि रैंक 1 वाले मामले (शास्त्रीय हमबर्ट सतह $H_\Delta$) और विभिन्न रैंक 2 प्रतिच्छेदों (intersections) का व्यापक रूप से अध्ययन किया गया है, $\mathcal{A}_2(\mathbb{C})$ में रैंक 3 लोकस का पूर्ण ज्यामितीय लक्षण वर्णन पूर्व में स्थापित नहीं किया गया था। केंद्रीय प्रश्न यह है कि जब $H(q)$ रिक्त न हो, तो $H(q)$ की संरचना और कार्डिनैलिटी (cardinality) का वर्णन कैसे किया जाए।

कार्यप्रणाली (Methodology)
लेखक अंकगणकीय ज्यामिति (arithmetic geometry), कॉम्प्लेक्स मल्टीप्लिकेशन (CM) के सिद्धांत और एंडोमोर्फिज्म रिंग्स (endomorphism rings) की बीजगणितीय संरचना के संश्लेषण का उपयोग करते हैं।

1. संरचनात्मक न्यूनीकरण (Structural Reduction): अल्बर्ट के वर्गीकरण और शियोडा एवं मितानी (Shioda and Mitani) के परिणामों का उपयोग करते हुए, लेखक यह स्थापित करते हैं कि यदि रैंक 3 रूप $q$ के लिए $H(q) \neq \emptyset$ है, तो कोई भी सतह $(A, \lambda) \in H(q)$ दो CM एलिप्टिक कर्व्स के उत्पाद $A \simeq E_1 \times E_2$ के आइसोजेनस (isogenous) होती है, जो समान CM क्षेत्र $K = \mathbb{Q}(\sqrt{d})$ साझा करते हैं।
2. गैलोइस संयुग्मन (Galois Conjugacy - Proposition 2.1): प्रमाण इस बात से शुरू होता है कि यदि दो सतहें $(A, \lambda)$ और $(A', \lambda')$ एक ही परिष्कृत हमबर्ट इनवेरियंट साझा करती हैं, तो उनके अंतर्निहित एबेलियन वैराइटीज़ $A$ और $A'$ गैलोइस संयुग्मी (Galois conjugates) होनी चाहिए। यह आइसोजीज़ों का वर्णन करने वाले संबद्ध बाइनरी द्विघात रूपों के विश्लेषण द्वारा प्राप्त किया जाता है, जो आर्टिन मैप (Artin map) के माध्यम से एंडोमोर्फिज्म रिंग में आइडियल क्लासेज (ideal classes) से जुड़ते हैं।
3. लैटिस और मैट्रिक्स प्रतिनिधित्व: लेखक नेरॉन-सेवेरी समूह $NS(A)$ को "ट्विस्टेड" हर्मिटीजन मैट्रिसेस (twisted Hermitian matrices), जिसे $Hermtwist_2(\mathcal{O})$ कहा जाता है, के एक लैटिस के रूप में स्पष्ट रूप से मॉडल करते हैं, जहाँ $\mathcal{O}$, $K$ का मैक्सिमल ऑर्डर है। परिष्कृत हमबर्ट इनवेरियंट इस लैटिस पर डिटर्मिनेंट (determinant) के अनुरूप होता है।
4. समूह सिद्धांत विश्लेषण (Group Theoretic Analysis): समस्या को एक निश्चित $A$ पर उन मुख्य ध्रुवीकरणों (principal polarizations) के वर्गीकरण में कम किया जाता है जो इनवेरियंट की स्थिति को संतुष्ट करते हैं। इसमें $G_A / H_A$ के कोटिएंट ग्रुप का विश्लेषण शामिल है, जहाँ $G_A$ एम्पल कोन (ample cone) को संरक्षित करने वाले $(NS(A), q_A)$ के आइसोमेट्रीज़ का समूह है, और $H_A$ ज्यामितीय ऑटोमोर्फिज्म ग्रुप $\text{Aut}(A)$ का प्रतिबिंब है।
5. ट्विस्टेड कंटेंट (Twisted Content): लैटिस पर आइसोमेट्रीज़ के प्रभाव को लक्षणित करने के लिए एक नवीन उपकरण, "ट्विस्टेड कंटेंट", जिसे $M \in GL_2(K)$ का ट्विस्टेड कंटेंट कहा जाता है, पेश किया गया है। यह लेखकों को $G_A / H_A$ के कोसेट्स (cosets) के लिए स्पष्ट प्रतिनिधि बनाने और उन्हें $\text{Cl}(\mathcal{O})[2]$ के 2-टॉर्सन सबग्रुप से जोड़ने की अनुमति देता है।

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

• थ्योरम 1.2 (मुख्य परिणाम): लेखक सिद्ध करते हैं कि यदि $q$, डिस्क्रिमिनेंट $-16d$ (जहाँ $d < 0$ एक फंडामेंटल डिस्क्रिमिनेंट है) वाला एक त्रिक द्विघात रूप है और $H(q) \neq \emptyset$ है, तो $H(q)$ सटीक रूप से एक मुख्य रूप से ध्रुवीकृत एबेलियन सतह $(E_1 \times E_2, \lambda)$ के $\text{Gal}(\bar{K}/K)$-ऑर्बिट का प्रतिनिधित्व करता है। यहाँ, $E_1$ और $E_2$, काल्पनिक द्विघात क्षेत्र $K = \mathbb{Q}(\sqrt{d})$ के मैक्सिमल ऑर्डर $\mathcal{O}$ द्वारा CM रखने वाले एलिप्टिक कर्व्स हैं।
• ध्रुवीकरण का वर्गीकरण: पेपर एक दिए गए परिष्कृत हमबर्ट इनवेरियंट के साथ $A$ पर आइसोमोर्फिज्म क्लासेज के सेट और सेट $G_A / H_A$ के बीच एक बायजेक्शन (bijection) स्थापित करता है।
• कार्डिनैलिटी और संरचना: यह सिद्ध किया गया है कि $\#(G_A / H_A) = 2 \cdot \#\text{Cl}(\mathcal{O})[2]$। लेखक $\text{Cl}(\mathcal{O})[2]$ में आइडियल क्लासेज और एक इनवोल्यूशन $\tau$ से प्राप्त मैट्रिसेस का उपयोग करके इन कोसेट्स के लिए स्पष्ट प्रतिनिधि निर्मित करते हैं।
• ज्यामितीय व्याख्या: $\text{Cl}(\mathcal{O})[2]$ घटक का ध्रुवीकरणों पर प्रभाव को एक गैलोइस संयुग्मी सतह पर ध्रुवीकरण के पुलबैक (pullback) के रूप में व्याख्यायित किया गया है। $\mathbb{Z}/2\mathbb{Z}$ घटक (जो $\tau$ द्वारा जनरेट होता है) के $\mathbb{Z}/2\mathbb{Z}$ घटक के प्रभाव को ध्रुवीकरणों के नए आइसोमोर्फिज्म क्लासेज उत्पन्न करने के संदर्भ में नगण्य दिखाया गया है।
• प्रायोगिक सत्यापन: लेखक उल्लेख करते हैं कि उनके सैद्धांतिक परिणामों को नारायणन (2024) के मौजूदा कोड और परिणामों का उपयोग करके $d = -199$ तक के फंडामेंटल डिस्क्रिमिनेंट्स के लिए प्रयोगात्मक रूप से सत्यापित किया गया है।

महत्व
यह शोध पत्र $\mathcal{A}_2(\mathbb{C})$ में रैंक 3 हमबर्ट लोकस का प्रथम ज्यामितीय लक्षण वर्णन प्रदान करता है। यह प्रदर्शित करता है कि संभावित रूप से जटिल मॉडुलि विवरणों के विपरीत, ये लोकस विशिष्ट CM उत्पादों के गैलोइस संयुग्मीज़ के परिमित सेट होते हैं। यह कार्य कॉम्प्लेक्स मल्टीप्लिकेशन (CM) एलिप्टिक कर्व्स की अंकगणितीय विशेषताओं और परिष्कृत हमबर्ट इनवेरियंट्स के बीजगणितीय गुणों के बीच के अंतर को पाटता है। "ट्विस्टेड कंटेंट" को पेश करके और नेरॉन-सेवेरी लैटिस पर आइसोमेट्री ग्रुप के प्रभाव का स्पष्ट वर्णन करके, लेखक इन लोकस के हेरफेर के लिए एक ठोस ढांचा प्रदान करते हैं। इनके परिणाम हम-समझ को परिष्कृत करते हैं कि रैंक 3 के मामले में हमबर्ट सतहों के प्रतिच्छेदन कैसे व्यवहार करते हैं, जिससे पता चलता है कि वे अंतर्निहित काल्पनिक द्विघात क्षेत्र के 2-टॉर्सन द्वारा नियंत्रित होते हैं। लेखक स्वीकार करते हैं कि हालांकि थ्योरम 1.2 में मैक्सिमल ऑर्डर की स्थिति को आगे के कार्य के साथ शिथिल किया जा सकता है, वर्तमान ढांचा मैक्सिमल ऑर्डर के मामले के लिए ज्यामितीय विवरण को सफलतापूर्वक हल करता है।