On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

यहाँ अलेस्सांद्रो अर्लैंडिनी और डेविड लोफ़्लर के शोध पत्र "On the Factorisation of the p-adic Rankin–Selberg L-function in the Supersingular Case" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

इस शोध पत्र में संबोधित मुख्य समस्या ordinary (साधारण) मामले से supersingular (अति-असाधारण) मामले में $p$-adic $L$-functions के एक ज्ञात गुणनखंड सूत्र (factorization formula) का सामान्यीकरण करना है।

• शास्त्रीय संदर्भ (Classical Context): एक मॉड्यूलर रूप $f$ के लिए, रैनकिन–सेल्बर्ग कॉन्वोल्यूशन (Rankin–Selberg convolution) $L(f \otimes f, s)$, सिमेट्रिक स्क्वायर $L$-फंक्शन और एक डिरिचलेट $L$-फंक्शन के गुणनफल में विभाजित होता है:
  $$L(f \otimes f, s) = L(\text{Sym}^2 f, s) L(\psi, s - k - 1)$$
• Ordinary Case: दासगुप्ता (2016) ने तब इस गुणनखंड के $p$-adic संस्करण को सिद्ध किया जब $f$, $p$ पर ordinary हो। उनका प्रमाण हिडा परिवारों (Hida families) में शास्त्रीय भारों (classical weights) के घनत्व और यूनिट समूहों (विशेष रूप से साइक्लोटोमिक यूनिट्स) पर ब्लॉक-काटो (Bloch–Kato) एक्सपोनेंशियल मैप्स के उपयोग पर आधारित था।
• Supersingular Obstacle (असाधारण बाधा): जब $f$, $p$ पर supersingular होता है (अर्थात $a_p(f)$ का $p$-adic मूल्यांकन धनात्मक होता है), तो मानक $p$-adic $L$-functions 'measures' नहीं बल्कि 'unbounded distributions' होते हैं। इसके अतिरिक्त, कोलमैन परिवारों (Coleman families - जो supersingular रूपों से गुजरने वाले $p$-adic परिवार हैं) में शास्त्रीय भार, हिडा परिवारों की तरह सघन (dense) नहीं होते हैं। फलस्वरूप, दासगुप्ता की विधि, जो परिमित-क्रम के कैरेक्टर्स (finite-order characters) से इंटरपोलेशन (interpolation) करने पर आधारित थी, विफल हो जाती है क्योंकि इन कैरेक्टर्स पर उनके मान वितरण (distribution) को अद्वितीय रूप से निर्धारित नहीं करते, और "यूनिट ग्रुप" दृष्टिकोण $p$-adic $L$-फंक्शन को स्थिर करने के लिए पर्याप्त घनत्व प्रदान नहीं करता है।

2. कार्यप्रणाली (Methodology)

लेखक गैर-ordinary बाधाओं को दूर करने के लिए अपने सैद्धांतिक ढांचे को यूनिट समूहों से बदलकर उच्च $K$-थ्योरी (higher $K$-theory) और मोटिविक कोहोमोलॉजी (motivic cohomology) की ओर ले जाते हैं। उनकी रणनीति तीन मुख्य स्तंभों पर आधारित है:

A. उच्च $K$-थ्योरी और मोटिविक क्लासेस (Higher $K$-Theory and Motivic Classes)

साइक्लोटोमिक यूनिट्स (जो $K_1$ में रहते हैं) के बजाय, लेखक उच्च मोटिविक कोहोमोलॉजी समूहों ($H^1_M$) में बेइन्सोन-फ्लैच $K$-एलिमेंट्स ($bf,j$) का निर्माण करते हैं।

• ये तत्व, कॉम्पैक्टिफाइड बेइन्सोन-फ्लैच क्लासेस (जो मॉड्यूलर कर्व्स पर आइजनस्टीन क्लासेस से प्राप्त होते हैं) को विशिष्ट डिफरेंशियल फॉर्म्स के साथ युग्मित (pairing) करके बनाए जाते हैं।
• यह निर्माण कुगा-साटो वेरिएटीज़ ($W_k$) और उनके कोहोमोलॉजी का उपयोग करता है ताकि इन क्लासेस को एक ज्यामितीय सेटिंग में लिफ्ट किया जा सके जहाँ उन्हें कस्प फॉर्म्स (cusp forms) के साथ युग्मित किया जा सके।

B. कोलमैन परिवारों के माध्यम से एनालिटिक कंटीन्यूएशन (Analytic Continuation via Coleman Families)

भार चर (weight variable) में घनत्व की कमी को दूर करने के लिए:

• लेखक एक कोलमैन परिवार $\mathcal{F}$ के भीतर कार्य करते हैं जो supersingular रूप के $p$-stabilization से गुजरता है।
• वे इस तथ्य का उपयोग करते हैं कि यद्यपि शास्त्रीय भार सघन नहीं हैं, फिर भी $(k, j)$ (भार और ट्विस्ट) के जोड़ों का सेट, जहाँ मोटिविक क्लासेस गैर-तुच्छ (non-trivial) हैं और विशिष्ट रेगुलेटर फॉर्मूला का पालन करती हैं, पर्याप्त रूप से सघन है ताकि वे एनालिटिक कंटीन्यूएशन के माध्यम से $p$-adic $L$-functions को अद्वितीय रूप से निर्धारित कर सकें।

C. रेगुलेटर फॉर्मुला (Regulator Formulae)

सिद्ध करने के लिए कि ये मोटिविक क्लासेस दो अलग-अलग रेगुलेटर्स के तहत क्या परिणाम देती हैं, प्रमाण का मूल इन दो रेगुलेटर्स के बीच संबंध स्थापित करने पर निर्भर करता है:

1. कॉम्प्लेक्स रेगुलेटर ($r_D$): यह मोटिविक क्लास को कॉम्प्लेक्स रैनकिन-सेल्बर्ग $L$-फंक्शन, $L'(f \otimes f, j+1)$ के डेरिवेटिव से जोड़ता है।
2. सिंटोटिक/एतले रेगुलेटर ($r_{syn}$): यह मोटिविक क्लास को ज्यामितीय $p$-adic रैनकिन-सेल्बर्ग $L$-फंक्शन, $L_p^{geom}(f, f)$ से जोड़ता है।

इन दोनों रेगुलेटर्स के बीच मोटिविक क्लास के माध्यम से संबंध स्थापित करके, लेखक जटिल (complex) और $p$-adic $L$-वैल्यूज़ के बीच के अंतर को पाटते हैं।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

Theorem A: 2-वेरिएबल $p$-adic सिमेट्रिक स्क्वायर $L$-फंक्शन का निर्माण

लेखक एक 2-वेरिएबल मेरोमॉर्फिक (meromorphic) $p$-adic $L$-फंक्शन का निर्माण करते हैं, जिसे $L_p^{imp}(\text{Sym}^2 \mathcal{F})$ द्वारा दर्शाया गया है, जो वेट स्पेस और कैरेक्टर स्पेस ($U \times W$) के उत्पाद पर परिभाषित है।

• इंटरपोलेशन: यह फंक्शन कोलमैन परिवार $\mathcal{F}$ के शास्त्रीय भारों $t$ और ट्विस्ट $j$ पर विशिष्टता (specialization) के लिए इमप्रिमिटिव (imprimitive) कॉम्प्लेक्स सिमेट्रिक स्क्वायर $L$-फंक्शन्स के मानों को इंटरपोलेट करता है।
• महत्व: यह supersingular मामले में कोलमैन परिवारों के लिए प्रथम निर्माण है, जो साहित्य में मौजूद एक रिक्तता को भरता है जहाँ ऐसा निर्माण पहले अनुपस्थित था।

Theorem B: $p$-adic गुणनखंड सूत्र ($p$-adic Factorization Formula)

मुख्य परिणाम supersingular मामले में ज्यामितीय $p$-adic रैनकिन-सेल्बर्ग $L$-फंक्शन के गुणनखंड को स्थापित करता है:
$$L_p^{geom}(\mathcal{F}, \mathcal{F})(\kappa, \kappa, \sigma) = L_p^{imp}(\text{Sym}^2 \mathcal{F})(\kappa, \sigma) \cdot L_p(\psi, \sigma - \kappa - 1)$$

• यह दासगुप्ता के परिणाम का supersingular सेटिंग में सामान्यीकरण करता है।
• प्रमाण इस बात से आगे बढ़ता है कि मोटिविक क्लास $bf,j$, साइक्लोटोमिक फील्ड्स की मोटिविक कोहोमोलॉजी में$\phi_{\psi}$ के समानुपाती है। इस समानुपातिकता में शामिल स्थिरांक (constant of proportionality) $L(\text{Sym}^2 f, j+1)$ है। रेगुलेटर्स को इस समानुपातिकता पर लागू करने से $p$-adic $L$-वैल्यूज़ का गुणनखंड प्राप्त होता है।

Theorem C: फंक्शनल इक्वेशन (Functional Equation)

इस धारणा के तहत कि कैरेक्टर $\psi$ और उसका वर्ग $\psi^2$ प्रिमिटिव (primitive) हैं, लेखक सिद्ध करते हैं कि नव-निर्मित $L_p^{imp}(\text{Sym}^2 \mathcal{F})$ एक फंक्शनल इक्वेशन का पालन करता है:
$$L_p^{imp}(\text{Sym}^2 \mathcal{F})(\kappa, 2\kappa + 3 - \sigma) = \varepsilon(\text{Sym}^2 \mathcal{F})(\kappa, \sigma) \cdot L_p^{imp}(\text{Sym}^2 \mathcal{F}^*)(\kappa, \sigma)$$
यह इंटरपोलेशन प्रॉपर्टी को क्रिटिकल स्ट्रिप के "बाएँ आधे" भाग (जहाँ मोटिविक निर्माण प्रत्यक्ष है) से फंक्शनल इक्वेशन के माध्यम से "दाएँ आधे" भाग तक विस्तारित करने की अनुमति देता है।

4. तकनीकी नवाचार (Technical Innovations)

• उच्च $K$-थ्योरी का उपयोग: $K_1$ (यूनिट्स) से उच्च $K$-ग्रुप्स (मोटिविक कोहोमोलॉजी) की ओर बदलाव महत्वपूर्ण है। यह लेखकों को $\otimes$ के $\wedge^2$ घटक तक पहुँचने की अनुमति देता है जो गैलवाइज़ रिप्रेजेंटेशन के टेंसर उत्पाद के अनुरूप है, और ऐसे क्लासेस प्रदान करता है जो supersingular मामले में भी गैर-तुच्छ होते हैं।
• कॉम्पैक्टिफाइड बेइन्सोन-फ्लैच क्लासेस: लेखक ओपन मॉड्यूलर कर्व्स से कॉम्पैक्टिफाइड कुगा-साटो वेरिएटीज़ में संक्रमण को सावधानीपूर्वक संभालते हैं। वे "कॉम्पैक्टिफाइड" बेइन्सोन-फ्लैच क्लासेस ($\Xi_{k,k,j}$) को परिभाषित करते हैं ताकि डिफरेंशियल फॉर्म्स के साथ उनका युग्मन सुव्यवस्थित रहे और "कस्पिडल डिफेक्ट" (वे पद जो कस्प फॉर्म्स के साथ युग्मित होने पर शून्य हो जाते हैं) को नियंत्रित किया जा सके।
• एनालिटिक कंटीन्यूएशन रणनीति: वेट वेरिएबल में शास्त्रीय भारों के घनत्व पर निर्भर रहने के बजाय (जो कोलमैन परिवारों के लिए विफल रहता है), वे उत्पाद स्थान (product space) में $(k, j)$ के जोड़ों के घनत्व पर भरोसा करते हैं, जो $p$-adic एनालिटिक फंक्शन्स की कठोरता (rigidity) का लाभ उठाता है।

5. महत्व (Significance)

• एक बड़ी रिक्ति का समाधान: यह कार्य रैनकिन-सेल्बर्ग कॉन्वोल्यूशन के संदर्भ में supersingular मॉड्यूलर फॉर्म्स के लिए $p$-adic $L$-फंक्शन्स को परिभाषित करने और गुणनखंडित करने की दीर्घकालिक कठिनाई को हल करता है।
• इवासावा सिद्धांत (Iwasawa Theory) का आधार: 2-वेरिएबल $p$-adic सिमेट्रिक स्क्वायर $L$-फंक्शन का निर्माण supersingular मामले में सिमेट्रिक स्क्वायर मोटिव्स के लिए इवासावा मुख्य अनुमानों (Iwasawa main conjectures) को तैयार करने और सिद्ध करने के लिए एक पूर्व शर्त है।
• पद्धतिगत प्रगति: यह पेपर प्रदर्शित करता है कि मोटिविक कोहोमोलॉजी और उच्च $K$-थ्योरी एक मजबूत ढांचा प्रदान करती है जो साधारण मामले की सीमाओं से परे जाता है, जो अन्य गैर-ordinary $p$-adic $L$-फंक्शन्स के लिए भविष्य के कार्य हेतु एक ब्लूप्रिंट प्रदान करता है।
• अनुमानों का सत्यापन: यह अपेक्षित $p$-adic गुणनखंड संरचना की पुष्टि करता है, जो $p$-adic सिद्धांत को शास्त्रीय कॉम्प्लेक्स गुणनखंड और अंतर्निहित गैलवाइज़ रिप्रेजेंटेशन के ज्यामितीय गुणों के साथ संरेखित करता है।