Iwasawa invariants of Bertolini--Darmon Theta Elements

तकनीकी सारांश: बर्टोलिनी-डार्मोन थीटा तत्वों के इवासावा इनवेरियंट्स (Iwasawa Invariants)

समस्या विवरण
यह लेख एक काल्पनिक द्विघाती क्षेत्र (imaginary quadratic field) $K$ के एंटीसाइक्लोटोमिक $\mathbb{Z}_p$-विस्तार के भीतर भार दो वाले मॉड्यूलर रूपों $f \in S_2(\Gamma_0(N))$ से जुड़े बर्टोलिनी-डार्मोन (Bertolini–Darmon) थीटा तत्वों के इवासावा इनवेरियंट्स ($\mu$ और $\lambda$) की जांच करता है। यह अध्ययन एक अभाज्य $p \geq 5$ के लिए दो अलग-अलग रिडक्शन परिदृश्यों को संबोधित करता है: ऑर्डिनरी (ordinary) मामला और नॉन-ऑर्डिनरी (non-ordinary) मामला।

इस कार्य का उद्देश्य साइक्लोटोमिक सेटिंग (विशेष रूप से पोलक-वेस्टन और लियोनार्ड-ले के कार्यों) को एंटीसाइक्लोटोमिक सेटिंग में विस्तारित करना है। साइक्लोटोमिक संदर्भ में, माज़ुर-टेट तत्वों के इवासावा इनवेरियंट्स $p$-एडिक $L$-फंक्शन्स के इनवेरियंट्स से संबंधित होने के लिए जाने जाते हैं। यह शोध बर्टोलिनी-डार्मोन थीटा तत्वों ($L_{f,n}$) और संबंधित एंटीसाइक्लोटोमिक $p$-एडिक $L$-फंक्शन्स ($L_p(f, K_\infty)$ या $L_p(f, K)^\ast$) के लिए ऐसे ही एनालॉग स्थापित करने का प्रयास करता है।

कार्यप्रणाली
लेखक बीजगणितीय इवासावा सिद्धांत (algebraic Iwasawa theory) और निश्चित क्वाटर्नियन अल्जेब्रा (definite quaternion algebras) पर मॉड्यूलर रूपों के अंकगणित के संयोजन का उपयोग करते हैं।

1. सेटअप और परिभाषाएँ:

   • लेखक एक काल्पनिक द्विघाती क्षेत्र $K$ और एक अभाज्य $p$ को निर्धारित करते हैं जो $K$ में अनरैम्ड (unramified) है। स्तर $N$ को $N = N^+ N^-$ में विभाजित किया गया है, जहाँ $N^+$ को विभाजित करने वाले अभाज्य $K$ में स्प्लिट (split) होते हैं और $N^-$ को विभाजित करने वाले अभाज्य इनर्ट (inert) होते हैं। $N^-$ को स्क्वायर-फ्री (square-free) और विषम संख्या में अभाज्य का गुणनफल माना गया है।
   • बर्टोलिनी-डार्मोन थीटा तत्व $L_{f,n} \in \mathcal{O}[Gal(K_n/K)]$ एक निश्चित क्वाटर्नियन अल्जेब्रा के डिस्क्रीमिनेंट $N^-$ से जुड़े ब्रुअट-टिट्स ट्री (Bruhat–Tits tree) से जुड़े जैक्वेट-लैंगलैंड्स पत्राचार (Jacquet–Langlands correspondence) के माध्यम से परिभाषित किए गए हैं, जो मॉड्यूलर रूप $f$ को एक फलन के रूप में पहचानते हैं।
   • ये तत्व हीके आइगेनवैल्यू (Hecke eigenvalue) $a_p(f)$ और नॉर्म मैप्स (norm maps) को शामिल करते हुए एक तीन-पदों वाले पुनरावृत्ति संबंध (three-term recurrence relation) का पालन करते हैं।

2. ऑर्डिनरी मामला (Ordinary Case):

   • जब $f$, $p$ पर ऑर्डिनरी होता है, तो लेखक एंटीसाइक्लोटोमिक $p$-एडिक $L$-फंक्शन $L_p(f/K_\infty)$ को एक प्रोजेक्टिव लिमिट के रूप में परिभाषित करने के लिए $p$-स्टेबलाइज्ड (p-stabilized) थीटा तत्वों ($L_{f\alpha, n}$) का उपयोग करते हैं।
   • वे परिमित-स्तर के तत्वों $L_{f,n}$ और अनंत-स्तर के $L$-फंक्शन के बीच के संबंध का विश्लेषण करने के लिए इवासावा बीजगणित $\Lambda \cong \mathcal{O}[[T]]$ के गुणों और प्रोजेक्शन तथा नॉर्म मैप्स के व्यवहार के संबंध में विशिष्ट लेम्मा का उपयोग करते हैं।

3. नॉन-ऑर्डिनरी मामला (Non-Ordinary Case):

   • इस सेटिंग में, लेखक मानते हैं कि $p$, $K$ में स्प्लिट होता है। वे थीटा तत्वों को इंटीग्रल $\sharp/\flat$ $p$-एडिक $L$-फंक्शन्स ($L_p^\sharp(f, K_\infty)$ और $L_p^\flat(f, K_\infty)$) से जोड़ने के लिए "स्प्रंग-टाइप" (Sprung-type) लॉगरिदम मैट्रिसेस ($M_{f,n}$) का निर्माण करते हैं।
   • एक प्रमुख तकनीकी चरण $\omega_n$ (जहाँ $\omega_n = (1+T)^{p^n}-1$) के सापेक्ष $\theta$ तत्वों की कंजुएंस (congruence) का विश्लेषण करना है, जो $\sharp/\flat$ $L$-फंक्शन्स के संदर्भ में है। यह लेखकों को $L_{f,n}$ को एक साइक्लोटोमिक बहुपद कारक ($\omega_n^\pm$) और $L$-फंक्शन तत्वों के उत्पाद के रूप में व्यक्त करने की अनुमति देता है।
   • लेखक $a_p(f) = 0$ या $a_p(f) \not\equiv 0 \pmod{\varpi}$ के मामलों के बीच अंतर करते हैं, क्योंकि नॉन-ऑर्डिनरी सेटिंग में $a_p(f) \equiv 0 \pmod{\varpi}$ का उपयोग मैट्रिक्स संबंधों को सरल बनाने के लिए किया जाता है।

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

• ऑर्डिनरी मामला (थ्योरम A / थ्योरम 4.1):
  लेखक एंटीसाइक्लोटोमिक सेटिंग के लिए पोलक-वेस्टन के परिणाम का एक एनालॉग सिद्ध करते हैं। यह मानते हुए कि $f$ का गुड ऑर्डिनरी रिडक्शन है और $\mu(L_p(f/K_\infty)) = 0$, वे स्थापित करते हैं कि पर्याप्त बड़े $n$ के लिए:

  1. $\mu(L_{f,n}) = 0$।
  2. $2\lambda(L_{f,n}) = \lambda(L_p(f/K_\infty))$।
     यह पुष्टि करता है कि थीटा तत्व का $\lambda$-इनवेरिएंट $p$-एडिक $L$-फंक्शन के $\lambda$-इनवेरिएंट का ठीक आधा है, जबकि यदि $L$-फंक्शन का $\mu$-इनवेरिएंट शून्य है, तो $\mu$-इनवेरिएंट भी शून्य होता है।

• नॉन-ऑर्डिनरी मामला (थ्योरम B / थ्योरम 5.10):
  लेखक लियोनार्ड-ले के परिणामों को एंटीसाइक्लोटोमिक सेटिंग में विस्तारित करते हैं। यह मानते हुए कि $p$, $K$ में स्प्लिट होता है और $\mu(L_p^\sharp) = \mu(L_p^\flat) \neq \infty$, वे $L_{f,n}$ के इनवेरियंट्स को $\sharp/\flat$ $L$-फंक्शन्स ($L_p(f, K)^\ast$) के इनवेरियंट्स से जोड़ते हैं।
  पर्याप्त बड़े $n$ के लिए (जहाँ $n$ की समता/parity यह निर्धारित करती है कि $\sharp$ या $\flat$ शाखा सक्रिय है):

  1. $\mu(L_p(f, K)^\ast) = 2\mu(L_{f,n})$।
  2. $\lambda(L_p(f, K)^\ast) = 2\lambda(L_{f,n}) = 2\lambda(L^\ast_f) + 2q_n$।
     यहाँ, $q_n$ $p$ में एक विशिष्ट बहुपद है जो $n$ की समता पर निर्भर करता है (उदाहरण के लिए, सम $n$ के लिए $p^{n-1} - p^{n-2} + \dots - 1$)।

महत्व और दावे
लेख का दावा है कि इसने सफलतापूर्वक पोलक-वेस्टन और लियोनार्ड-ले के ज्ञात साइक्लोटोमिक परिणामों को एक काल्पनिक द्विघाती क्षेत्र के एंटीसाइक्लोटोमिक विस्तार में सामान्यीकृत किया है। $L_{f,n}$ केों के इनवेरियंट्स को उनके संगत $p$-एडिक $L$-फंक्शन्स के इनवेरियंट्स से जोड़ने वाले सटीक सूत्रों को स्थापित करके, यह कार्य नॉन-ऑर्डिनरी मामले में इन तत्वों के अंकगणितीय गुणों की गहरी समझ प्रदान करता है।

लेखक नोट करते हैं कि प्रमाण रणनीति स्प्रंग-टाइप मैट्रिसेस का उपयोग करके $\sharp/\flat$ $L$-फंक्शन्स के संदर्भ में थीटा तत्वों को व्यक्त करने पर निर्भर करती है, जिससे $L$-फंक्शन्स से इनवेरियंट गुणों को स्थानांतरित करना संभव होता है।

भविष्य की दिशाएं
लेखक स्पष्ट रूप से कहते हैं कि उस मामले के लिए थ्योरम B का एनालॉग जहाँ $p$, $K$ में इनर्ट (inert) है, एक प्रगतिशील कार्य (work in progress) है और इस लेख में कवर नहीं किया गया है।