On some constancy of Hecke eigensystems for Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$

तकनीकी सारांश: ड्रिंफेल्ड कस्पफॉर्म्स के लिए हेके आइगेनसिस्टम की स्थिरता (Constancy of Hecke Eigensystems for Drinfeld Cuspforms)

समस्या विवरण (Problem Statement)
यह शोध पत्र ड्रिंफेल्ड कस्पफॉर्म्स के स्थान के भीतर हेके आइगेनसिस्टम (Hecke eigensystems) के व्यवहार की जांच करता है, विशेष रूप से इस बात पर ध्यान केंद्रित करता है कि जब मॉड्यूलर फॉर्म का स्तर (level) बढ़ता है तो ये सिस्टम कैसे परिवर्तित होते हैं। शास्त्रीय एलिप्टिक मॉड्यूलर फॉर्म के सिद्धांत में, परिमित $p$-स्लोप वाले हेके आइगेनसिस्टम भार (weight) और स्तर के $p$-एडिक मान में परिवर्तन के साथ $p$-एडिक विश्लेतिक परिवारों (analytic families) में परिवर्तित होते पाए जाते हैं। लेखक ड्रिंफेल्ड परिवेश के साथ इसकी तुलना करते हैं, जहाँ पिछले कार्य (विशेष रूप से [Hat2]) ने स्तर $\Gamma_1(t^r)$ के $t$-ऑर्डिनरी भाग वाले कस्पफॉर्म्स पर हेके क्रिया की एक अप्रत्याशित "तुच्छता" (triviality) प्रदर्शित की थी। यहाँ संबोधित मुख्य समस्या यह है कि क्या स्तर $\Gamma_1(n\wp^r)$ के लिए अधिक सामान्य स्तरों (जहाँ $n$ बहुपद वलय $A = \mathbb{F}_q[t]$ में एक गैर-शून्य तत्व है, $\wp$ एक मोनिक इर्रेड्यूसिबल बहुपद है, और $r \geq 1$) में दिखाई देने वाले परिमित $\wp$-स्लोप भाग को सामान्यीकृत किया जा सकता है। विशिष्ट प्रश्न यह है कि क्या उच्च स्तर $\Gamma_1(n\wp^r)$ में दिखने वाले परिमित $\wp$-स्लोप के हेके आइगेनसिस्टम केवल आधार स्तर $\Gamma_1(n\wp)$ में पाए जाने वाले प्रणालियों की पुनरावृत्ति मात्र हैं।

कार्यप्रणाली (Methodology)
लेखक ड्रिंफेल्ड मॉड्यूलर फॉर्म्स के लिए एक कॉम्बिनेटरियल दृष्टिकोण का उपयोग करते हैं, जो $SL_2(K_\infty)$ के ब्रुअट-टिट्स ट्री (Bruhat–Tits tree) $T$ पर हार्मोनिक कोसाइकिल (harmonic cocycles) के माध्यम से कस्पफॉर्म्स के वर्णन का उपयोग करता है, जो टेइटलम ([Tei]) और बोकल ([Böc]) के कार्य का अनुसरण करता है।

1. कॉम्बिनेटरियल ढांचा (Combinatorial Framework): कस्पफॉर्म्स के स्थान $S_k(\Gamma)$ को हार्मोनिक कोसाइकिल $\text{Char}_k(\Gamma)$ के स्थान के रूप में पहचाना जाता है, जो स्टाइनबर्ग मॉड्यूल (Steinberg module) और होमोजेनियस पॉलिनोमियल के स्थान के टेंसर उत्पाद के रूप में समरूप है। यह इस समस्या को कॉंग्रुएंस सबग्रुप $\Gamma$ पर समूह मॉड्यूल (group modules) की भाषा में अनुवादित करने की अनुमति देता है।
2. डायमंड ऑपरेटर्स और ग्रुप रिंग्स (Diamond Operators and Group Rings): शोध पत्र डायमंड ऑपरेटर्स के माध्यम से कस्पफॉर्म्स के स्थान पर समूह $\Theta_r = 1 + \wp(A/\wp^r A)$ (एक कम्यूटेटिव $p$-ग्रुप) की क्रिया का विश्लेषण करता है। कस्पफॉर्म स्पेस $S_k(\Gamma_1(n\wp^r))$ को ग्रुप रिंग $C_\infty[\Theta_r]$ के मॉड्यूल के रूप में देखा जाता है।
3. मॉड्यूल्स की स्वतंत्रता (Freeness of Modules): एक महत्वपूर्ण तकनीकी चरण यह सिद्ध करना है कि $S_k(\Gamma_1(n\wp^r))$, स्थानीय वलय (local ring) $C_\infty[\Theta_r]$ पर एक परिमित रैंक का फ्री मॉड्यूल है। यह इस तथ्य पर निर्भर करता है कि $C_\infty$ का अभिलक्षण (characteristic) $p$ है, जिससे $C_\infty[\Theta_r]$ एक स्थानीय वलय बन जाता है जहाँ प्रोजेक्टिव मॉड्यूल्स फ्री होते हैं। यह प्रमाण ट्री के चेन कॉम्प्लेक्स से स्टाइनबर्ग मॉड्यूल से संबंधित सटीक अनुक्रम (exact sequence) और प्रेरित मॉड्यूल्स (induced modules) की स्वतंत्रता का उपयोग करता है।
4. परिमित स्लोप भागों का समरूपता (Isomorphism of Finite Slope Parts): लेखक स्तर $\Gamma_1(n\wp)$ और $\Gamma_1^\wp(n, \wp^r)$ (एक विशिष्ट मध्यवर्ती स्तर) के कस्पफॉर्म स्पेस के बीच एक हेके-इक्विवैरिएंट आइसोमॉर्फिज्म (Hecke-equivariant isomorphism) स्थापित करते हैं। यह दोनों स्थानों के बीच एक मानचित्र (map) का निर्माण करके और यह दिखाकर प्राप्त किया जाता है कि $U_\wp$ ऑपरेटर के गैर-शून्य आइगेनवैल्यू के लिए कोकर्नेल (cokernel) शून्य हो जाता है।

मुख्य योगदान और परिणाम (Key Contributions and Results)
प्राथमिक परिणाम थ्योरम 1.1 (Theorem 1.1) है, जो ड्रिंफेल्ड कस्पफॉर्म्स के लिए हेके आइगेनसिस्टम्स की "स्थिरता" (constancy) को स्थापित करता है। विशेष रूप से:

• गुणनत्व सूत्र (Multiplicity Formula): ऑपरेटर $U_\wp$ के किसी भी गैर-शून्य आइगेनवैल्यू $\alpha$ और किसी स्लोप $a$ के लिए, $S_k(\Gamma_1(n\wp^r))$ में $\alpha$ की बहुलता (या स्लोप $a$ उप-स्थान का आयाम) $S_k(\Gamma_1(n\wp))$ में बहुलता का ठीक $q^{(r-1)\deg(\wp)}$ गुना है।
  $$m(\Gamma_1(n\wp^r), k, \wp, \alpha) = q^{(r-1)\deg(\wp)} m(\Gamma_1(n\wp), k, \wp, \alpha)$$
• आइगेनसिस्टम्स की स्थिरता (Constancy of Eigensystems): एक हेके आइगेनसिस्टम $\lambda = (\lambda_Q)_{Q \in \Pi}$ जिसमें $\lambda_\wp \neq 0$ है, $S_k(\Gamma_1(n\wp^r))$ के स्थान में तभी दिखाई देता है जब वह $S_k(\Gamma_1(n\wp))$ में दिखाई देता है।

यह परिणाम यह निहित करता है कि गैर-शून्य $U_\wp$-आइगेनवैल्यू का सेट और परिमित स्लोप का सेट स्तर के घातांक (exponent) $r$ के बढ़ने पर नहीं बदलता है; वे केवल बहुलता (multiplicity) में स्केल होते हैं।

महत्व और दावे (Significance and Claims)
शोध पत्र का दावा है कि यह परिणाम एलिप्टिक मॉड्यूलर फॉर्म के सिद्धांत के साथ एक "तीव्र विरोधाभास" (stark contrast) को उजागर करता है। एलिप्टिक मामले में, स्तर को बदलने से आमतौर पर $p$-एडिक विश्लेतिक परिवार प्राप्त होते हैं। ड्रिंफेल्ड मामले में, जैसा कि इस थ्योरम द्वारा प्रदर्शित किया गया है, स्तर (विशेष रूप से $\wp$ की घात) को बदलने से केवल "स्थिर परिवार" (constant families) उत्पन्न होते हैं, जो मौजूदा आइगेनसिस्टम्स को बढ़ी हुई बहुलता के साथ दोहराते हैं।

यह कार्य लेखक के पिछले निष्कर्षों का सामान्यीकरण करता है जो $t$-ऑर्डिनरी भाग (जहाँ क्रिया तुच्छ थी) पर आधारित थे, इसे व्यापक परिमित स्लोप के संदर्भ में ले जाता है, जो स्तर परिवर्तन के संबंध में ड्रिंफेल्ड मॉड्यूलर फॉर्म के अंकगणित में एक मौलिक कठोरता (rigidity) का सुझाव देता है। इसका प्रमाण भारी रूप से समूह रिंग $C_\infty[\Theta_r]$ के संरचनात्मक गुणों और कस्पफॉर्म्स के कॉम्बिनेटरियल विवरण पर निर्भर करता है, जो स्तर चर (level variable) में $p$-एडिक विश्लेतिक परिवारों की आवश्यकता को टाल देता है।