Unlikely intersections with CM abelian varieties in a family and explicit bounds for canonical heights under endomorphisms

तकनीकी सारांश: एक परिवार में CM एबेलियन वैराइटीज़ के साथ अनLIKELY इंटरसेक्शन्स और एंडोमॉर्फिज्म के तहत कैनोनिकल हाइट्स के लिए स्पष्ट सीमाएँ

समस्या का विवरण
यह शोध पत्र एबेलियन वैराइटीज़ के परिवारों में "अनलाइक्ली इंटरसेक्शन्स" (unlikely intersections) से संबंधित ज़िलबर-पिंक अनुमान (Zilber–Pink conjecture) के एक विशिष्ट उदाहरण को संबोधित करता है। मान लीजिए कि $S$, $\mathbb{Q}$ पर एक स्मूथ इर्रेड्यूसिबल कर्व है और $\pi: A \to S$ एक सापेक्ष आयाम $g \geq 1$ वाला एबेलियन स्कीमा है। लेखक एक इर्रेड्यूसिबल कर्व $C \subset A$ (जो $\mathbb{Q}$ पर परिभाषित है) के उस यूनियन के साथ प्रतिच्छेदन (intersection) की जांच कर रहे हैं, जो $A_s$ के उन सभी प्रॉपर एलब्राइक सबग्रुप्स के पास है जिनमें कॉम्प्लेक्स मल्टीप्लिकेशन (CM) है।

पिछले कार्य द्वारा बैरोएरो और कैपुआनो (2020) ने स्थापित किया था कि यदि $C$ किसी प्रॉपर सबग्रुप स्कीमा में निहित नहीं है, तो कम से कम को-डायमेंशन 2 के फ्लैट सबग्रुप स्कीम्स के यूनियन के साथ इसका प्रतिच्छेदन परिमित (finite) है। यह शोध पत्र उस परिणाम को विशेष रूप से CM फाइबर्स के एलब्राइक सबग्रुप्स के मामले में विस्तारित करता है। मुख्य प्रमेय यह दावा करता है कि यदि $A \to S$ आइसोट्रिवियल (isotrivial) नहीं है और $C$ एक निश्चित फाइबर या एक कांस्टेंट सेक्शन द्वारा प्रॉपर फ्लैट सबग्रुप स्कीमा के ट्रांसलेट में निहित नहीं है, तो बिंदुओं का सेट $P \in C(\mathbb{C})$ ऐसा कि फाइबर $A_{\pi(P)}$ में CM हो और $P$ उस फाइबर के प्रॉपर एलब्राइक सबग्रुप में स्थित हो, परिमित है।

कार्यप्रणाली (Methodology)
प्रमाण पिला-ज़ैनियर रणनीति (Pila–Zannier strategy) का अनुसरण करता है, जो कार्यात्मक ट्रांसेंडेंस (functional transcendence - o-minimality) को अरिथमेटिक ज्योमेट्री के साथ जोड़ता है। कार्यप्रणाली निम्नलिखित चरणों में आगे बढ़ती है:

1. यूनिवर्सल फैमिली तक न्यूनीकरण (Reduction to the Universal Family): समस्या को इस मामले तक कम किया जाता है जहाँ $A$, $\mathcal{A}_{g,1,3}$ के फाइन मोडुलि स्पेस के उपयोग की अनुमति देने के लिए सीमित बेस चेंज और आइसोजेनी (isogeny) के माध्यम से $S \subset \mathcal{A}_g$ पर प्रिसिपेली पोलराइज्ड एबेलियन वैराइटीज़ के यूनिवर्सल फैमिली का प्रतिनिधित्व करता है।
2. ओ-मिनिमलिटी और डिफिनेबिलिटी (O-minimality and Definability): सीगल अपर हाफ-स्पेस $\mathbb{H}_g \times \mathbb{C}^g$ द्वारा यूनिवर्सल फैमिली के यूनिफॉर्माइजेशन का उपयोग करते हुए, लेखक $C$ के प्रीइमेज (preimage) पर विचार करते हैं। एक सीगल फंडामेंटल डोमेन तक प्रतिबंध लगाकर, यह प्रीइमेज $\mathbb{R}_{an, \exp}$ में एक डिफिनेबल सेट बन जाता है।
3. पॉइंट काउंटिंग (Point Counting): लेखक हैबगेगर और पिला के एक प्रमेय को लागू करते हैं ताकि इस डिफिनेबल सेट पर उन बिंदुओं की संख्या को बाउंड (bound) किया जा सके जो सीमित अरिथमेटिक कॉम्प्लेक्सिटी वाले एलब्राइक सबवेराइटीज़ पर स्थित हैं। इसके लिए यह स्थापित करना आवश्यक है कि इंटरसेक्शन्स को परिभाषित करने वाले एलब्राइक संबंध नियंत्रित हाइट (height) रखते हैं।
4. अरिथमेटिक बाउंड्स (Arithmetic Bounds): अरिथमेटिक तर्क का मुख्य भाग फाइबर की फाल्टिंग हाइट (Faltings height) और डेफिनिशन फील्ड की डिग्री के संदर्भ में बिंदुओं की कैनोनिकल हाइट के लिए स्पष्ट सीमाएं प्राप्त करने में निहित है। महत्वपूर्ण रूप से, यह बिंदु $P$ पर शून्य होने वाले एक गैर-शून्य एंडोमॉर्फिज्म के निर्माण पर निर्भर करता है।
5. स्पष्ट हाइट कंट्रोल (Explicit Height Control): कार्य का एक महत्वपूर्ण हिस्सा एंडोमॉर्फिज्म के तहत कैनोनिकल हाइट के लिए स्पष्ट सीमाएं प्रदान करने के लिए समर्पित है। लेखक $\gamma_1, \gamma_2$ जैसे स्थिरांक निर्धारित करते हैं कि $\gamma_1 \hat{h}(P) \leq \hat{h}(f(P)) \leq \gamma_2 \hat{h}(P)$, जहाँ ये स्थिरांक $f^\dagger f$ (जहाँ $\dagger$ रोसटी इनवोल्यूशन है) के एनालिटिक रिप्रेजेंटेशन के आइगेनवैल्यूज़ से प्राप्त होते हैं।

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

• मुख्य प्रमेय (Theorem 1.1): एक गैर-आइसोट्रिवियल कर्व $C$ के एबेलियन स्कीमा में CM फाइबर्स के प्रॉपर एलब्राइक सबग्रुप्स के साथ प्रतिच्छेदन की परिमितता को सिद्ध करता है, बशर्ते $C$ एक निश्चित फाइबर या एक फ्लैट सबग्रुप स्कीमा के ट्रांसलेट में निहित न हो। यह बैरोएरो (2019) के पिछले परिणाम का सामान्यीकरण है जो एलिप्टिक स्कीम्स के फाइबर्ड पावर्स तक सीमित था।
• स्पष्ट कैनोनिकल हाइट बाउंड्स (Theorem 1.4 / Theorem 7.3): यह पेपर एंडोमॉर्फिज्म के तहत कैनोनिकल हाइट के लिए एक सामान्य असमानता स्थापित करता है:
  $$\alpha_D^-(f) \cdot \hat{h}_{A,D}(P) \leq \hat{h}_{A,D}(f(P)) \leq \alpha_D^+(f) \cdot \hat{h}_{A,D}(P)$$
  यहाँ, $\alpha_D^\pm(f)$ एनालिटिक रिप्रेजेंटेशन $f^\dagger f$ के न्यूनतम और अधिकतम आइगेनवैल्यूज़ हैं। लेखक सिद्ध करते हैं कि ये स्थिरांक इष्टतम (optimal) हैं और इनके लिए स्पष्ट सूत्र प्रदान करते हैं। यह परिणाम शास्त्रीय पहचान $\hat{h}([n]P) = n^2 \hat{h}(P)$ का सामान्यीकरण है।
• अरिथमेटिक कॉम्प्लेक्सिटी बाउंड्स: लेखक बिंदु $P$ से जुड़े पीरियड मैट्रिक्स और एंडोमॉर्फिज्म की हाइट के लिए स्पष्ट सीमाएं प्राप्त करते हैं। विशेष रूप से, वे दिखाते हैं कि $P$ पर शून्य होने वाले एंडोमॉर्फिज्म का रोसटी नॉर्म (Rosati norm), $[k(P):k]$ की डिग्री के बहुपद (polynomial) द्वारा सीमित है।
• एंडोमॉर्फिज्म के लिए मैट्रिक्स बाउंड्स (Section 5): पेपर रोसटी नॉर्म और उसके रेशनल रिप्रेजेंटेशन मैट्रिक्स के सुप्रा-नॉर्म (sup-norm) के बीच प्रभावी संबंध प्रदान करता है, जो पीरियड मैट्रिक्स और पोलराइजेशन टाइप पर निर्भर करता है।

महत्व और दावे
यह पेपर दावा करता है कि यह गैर-आइसोट्रिवियल एबेलियन स्कीम्स में कर्व्स के लिए ज़िलबर-पिंक अनुमान के विशिष्ट संदर्भ में (CM फाइबर्स के साथ इंटरसेक्शन के मामले में) इसे हल करता है। लेखक उल्लेख करते हैं कि जबकि गैर-आइसोट्रिवियल एबेलियन स्कीम्स में कर्व्स के लिए पूर्ण ज़िलबर-पिंक अनुमान पहले केवल एलिप्टिक स्कीम्स के फाइबर्ड पावर्स (बैरोएरो, कैपुआनो और अन्य के कार्य के माध्यम से) के लिए ज्ञात था, यह परिणाम सामान्य एबेलियन स्कीम्स तक इसका दायरा बढ़ाता है।

इस कार्य का महत्व दो क्षेत्रों में है:

1. सामान्यीकरण (Generalization): यह एलिप्टिक स्कीम्स के विशिष्ट परिवेश से आगे बढ़कर मनमाने एबेलियन स्कीम्स तक जाता है, जिसके लिए एंडोमॉर्फिज्म और हाइट्स के अधिक परिष्कृत उपचार की आवश्यकता होती है।
2. स्पष्टता (Explicitness): कई परिणामों के विपरीत जो बिना स्पष्ट मान के स्थिरांकों के अस्तित्व पर निर्भर करते हैं, यह पेपर एंडोमॉर्फिज्म के तहत कैनोनिकल हाइट और प्रासंगिक एलब्राइक संबंधों की अरिथमेटिक कॉम्प्लेक्सिटी के लिए स्पष्ट सीमाएं प्रदान करता है। यह स्पष्ट नियंत्रण एक प्रमुख घटक है, जो लेखकों को अरिथमेटिक लोअर बाउंड (एंडोमॉर्फिज्म के अस्तित्व से प्राप्त) की तुलना ज्यामितीय अपर बाउंड (पिला-ज़ैनियर रणनीति से प्राप्त) से करने और परिमितता निष्कर्ष निकालने की अनुमति देता है।

लेखक स्वीकार करते हैं कि यह परिणाम व्यापक ज़िलबर-पिंक अनुमान का एक विशेष मामला है और उपयोग किए गए कार्यात्मक ट्रांसेंडेंस टूल्स (विशेष रूप से एक्स-शैनुएल प्रकार के परिणाम) वर्तमान में इसे बताए गए रूप तक सीमित करते हैं, विशेष रूप से उन सेक्शन्स के संबंध में जो स्थिर (constant) नहीं हैं। यह कार्य अनलाइक्ली इंटरसेक्शन्स और एबेलियन वैराइटीज़ के अरिथमेटिक की समझ में एक योगदान के रूप में प्रस्तुत किया गया है, जो मैसर, ज़ैनियर, पिला और अन्य के आधारभूत कार्यों पर निर्मित है।