Non-existence of Shimura curves of Mumford type generically in the non-hyperelliptic locus

तकनीकी सारांश: गैर-हाइपरएलिप्टिक लोकस में जेनेरिक रूप से मुमफोर्ड प्रकार के शिमुरा कर्व्स का अस्तित्व न होना

समस्या विवरण
यह शोध पत्र बीजगणितीय वक्रों (algebraic curves) के तोरेली लोकस (Torelli locus) के साथ शिमुरा कर्व्स (Shimura curves) के प्रतिच्छेदन की जांच करता है। विशेष रूप से, यह "मुमफोर्ड प्रकार" के (PEL प्रकार के नहीं, बल्कि Hodge प्रकार के शिमुरा कर्व्स का एक विशिष्ट वर्ग) शिमुरा कर्व्स के अस्तित्व की जांच करता है जो गैर-हाइपरएलिप्टिक वक्रों के तोरेली लोकस में जेनेरिक रूप से समाहित हैं।

लेखक ओर्ट (Oort) द्वारा $g=4$ के लिए पूछे गए प्रश्न पर ध्यान केंद्रित करते हैं: क्या मुमफोर्ड प्रकार का कोई भी शिमुरा कर्व $T_4$ के तोरेली लोकस में जेनेरिक रूप से समाहित है? अधिक सामान्य रूप से, यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि क्या ऐसे कर्व्स गैर-हाइपरएलिप्टिक लोकस में किसी भी जनक (genus) $g \ge 4$ के लिए अस्तित्व में हैं। यह जांच कोलमैन-ओर्ट अनुमान (Coleman-Oort conjecture) के व्यापक संदर्भ में स्थित है, जो भविष्यवाणी करता है कि पर्याप्त बड़े $g$ के लिए, तोरेली लोकस में कोई धनात्मक-विमीय विशेष उप-विविधताएं (special subvarieties/Shimura curves) मौजूद नहीं होती हैं।

कार्यप्रणाली (Methodology)
प्रमाण Hodge सिद्धांत, वक्रों के सेमी-स्टेबल परिवारों (semi-stable families) की ज्यामिति, और स्लोप असमानताओं (slope inequalities) के संयोजन पर आधारित है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. Higgs Bundles के माध्यम से लक्षण वर्णन: लेखक Viehweg और Zuo द्वारा स्थापित शिमुरा कर्व्स के लक्षण वर्णन का उपयोग करते हैं। एक कर्व $C_0 \subseteq \mathcal{A}_g$ मुमफोर्ड प्रकार का शिमुरा कर्व है यदि और केवल यदि संबद्ध लॉगरिदमिक Higgs bundle एक strictly maximal Higgs field को स्वीकार करता है। यह स्थिति Hodge bundle के डिग्री के लिए Arakelov समानता के समान है: $\deg E^{1,0}_C = \frac{g}{2} \deg \Omega^1_C(\log \Delta_C)$।

2. Semi-Stable परिवारों में लिफ्टिंग: एक शिमुरा कर्व $C_0$ के लिए जो जेनेरिक रूप से तोरेली लोकस में समाहित है, लेखक तोरेली मोर्फिज्म के माध्यम से $C_0$ का प्रतिनिधित्व करने वाले सेमी-स्टेबल वक्रों के एक परिवार $f: S \to B$ का निर्माण करते हैं।

   • यदि $C_0$ हाइपरएलिप्टिक लोकस में समाहित नहीं है, तो कर्व के मॉडुलि स्पेस ऑफ कर्व्स में व्युत्क्रम छवि (inverse image) के नॉर्मलाइजेशन से कर्व तक का मानचित्र या तो एक समरूपता (isomorphism) है या एक दोहरा आवरण (double cover) है।
   • वह मामला जहाँ मानचित्र एक समरूपता है, उसे पिछले परिणामों (LZ19) द्वारा खारिज कर दिया गया है। अतः, विश्लेषण उस मामले पर केंद्रित है जहाँ मानचित्र $\pi: B \to C$ एक दोहरा आवरण है जिसका रामिफिकेशन लोकस $\Lambda$ है।

3. Slope Inequality का व्युत्पन्न: मुख्य तकनीकी योगदान $f: S \to B$ के लिए एक परिष्कृत स्लोप असमानता (refined slope inequality) व्युत्पन्न करना है।

   • लेखक एक विशिष्ट अनरैमिफाइड बेस चेंज $\psi: \tilde{B} \to B$ का निर्माण करते हैं जो दोहरा आवरण और सिंगुलर फाइबर्स पर हाइपरएलिप्टिक इनवोल्यूशन (involution) से जुड़े इनवोल्यूशंस को लिफ्ट करता है।
   • इन इनवोल्यूशंस के आधार पर परिवार के कोटिएंट (quotient) का विश्लेषण करके, वे $\omega^2_{S/B}$ के स्व-प्रतिच्छेदन संख्या (self-intersection number) के लिए एक निचला स्तर (lower bound) प्राप्त करते हैं (Theorem 3.1)। इस बाउंड में रामिफिकेशन लोकस $\Lambda$ और सिंगुलर फाइबर्स की ज्यामिति (विशेष रूप से विशिष्ट वंश/genera के अपरिमेय घटकों की संख्या) पर निर्भर पद शामिल हैं।

4. Upper Bounds के माध्यम से विरोधाभास: लेखक अपने पिछले कार्य (LZ19, Theorem 4.3) में स्थापित एक मौजूदा ऊपरी सीमा (upper bound) के साथ व्युत्पन्न निचली सीमा (lower bound) की तुलना करते हैं।

   • ऊपरी सीमा Hodge bundle के डिग्री और सिंगुलर फाइबर्स के विन्यास पर निर्भर करती है।
   • Hodge bundle के डिग्री के संबंध में strictly maximal Higgs field की स्थिति और स्लोप असमानताओं को मिलाकर, वे विशिष्ट प्रकार के सिंगुलर फाइबर्स ($\Delta_{ct,b}$) की संख्या से संबंधित एक असमानता व्युत्पन्न करते हैं।

मुख्य परिणाम

• Theorem 1.2: गैर-हाइपरएलिप्टिक वक्रों के जनक $g=4$ के लिए तोरेली लोकस में जेनेरिक रूप से समाहित मुमफोर्ड प्रकार के किसी भी शिमुरा कर्व का अस्तित्व नहीं है।
• Theorem 1.4: किसी भी जनक $g \ge 4$ के लिए गैर-हाइपरएलिप्टिक वक्रों के तोरेली लोकस में जेनेरिक रूप से समाहित, strictly maximal Higgs field वाले किसी भी शिमुरा कर्व का अस्तित्व नहीं है।
• Corollary 1.5: यदि $g > 4$ है, तो strictly maximal Higgs field वाला कोई भी शिमुरा कर्व $T_g$ के तोरेली लोकस में जेनेरिक रूप से समाहित नहीं है।

Theorem 1.4 का प्रमाण विरोधाभास द्वारा चलता है। ऐसी कर्व के अस्तित्व को मान लेने से एक असमानता प्राप्त होती है:
$$\frac{7-g}{6} |\Delta_{ct,b}| > \deg f^*\omega_{S/B} \ge \frac{(g-1)^2}{2g+1} |\Delta_{ct,b}|$$
$g \ge 4$ के लिए, बाईं ओर का गुणांक गैर-धनात्मक हो जाता है या दाईं ओर के धनात्मक निचली सीमा के विरुद्ध असमानता को संतुष्ट करने के लिए अपर्याप्त होता है, जिससे एक विरोधाभास उत्पन्न होता है।

महत्व और दावे
यह शोध पत्र ओर्ट (Oort) द्वारा $g=4$ के लिए पूछे गए प्रश्न 1.1 को गैर-हाइपरएलिप्टिक लोकस में ऐसे कर्व्स के अस्तित्व को सिद्ध करके हल करने का दावा करता है। इसके अलावा, यह सभी जनकों $g \ge 4$ के लिए इस परिणाम को सामान्यीकृत करता है।

इसका महत्व निम्नलिखित है:

• पिछले कार्य का विस्तार: लेखकों ने पहले $g \ge 8$ के लिए हाइपरएलिप्टिक लोकस में ऐसे कर्व्स के गैर-अस्तित्व को सिद्ध किया था (LZ17) और सुपरएलिप्टिक कर्व्स के लिए परिमितता (finiteness) के परिणाम स्थापित किए थे (CLZ21)। यह शोध पत्र सभी $g \ge 4$ के लिए गैर-हाइपरएलिप्टिक लोकस में इस गैर-अस्तित्व के परिणाम को विस्तारित करता है।
• कोलमैन-ओर्ट अनुमान का समर्थन: ये परिणाम कोलमैन-ओर्ट अनुमान के लिए मजबूत साक्ष्य प्रदान करते हैं, विशेष रूप से गैर-हाइपरएलिप्टिक तोरेली लोकस में संभावित प्रति उदाहरणों (counterexamples) के एक प्रमुख वर्ग (मुमफोर्ड प्रकार के शिमुरा कर्व्स) को खारिज करके।
• Methodological Refinement: यह शोध पत्र एक परिष्कृत स्लोप असमानता (Theorem 3.1) पेश करता है जो मुमफोर्ड प्रकार के शिमुरा कर्व्स का प्रतिनिधित्व करने वाले परिवारों की विशिष्ट ज्यामिति को ध्यान में रखता है, विशेष रूप से दोहरा आवरण के रामिफिकेशन और सिंगुलर फाइबर्स की संरचना को संभालते हुए।

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