Product of Rankin-Selberg convolutions and a new proof of Jacquet's local converse conjecture

तकनीकी सारांश: रेंकिन-सेल्बर्ग संवलनों (Rankin-Selberg Convolutions) का गुणनफल और जैक्वेट के स्थानीय व्युत्क्रम अनुमान (Jacquet's Local Converse Conjecture) का एक नया प्रमाण

समस्या विवरण
यह शोध पत्र वैश्विक और स्थानीय क्षेत्रों (global and local fields) पर सामान्य रैखिक समूहों (general linear groups) के लिए ऑटोमॉर्फिक प्रतिनिधित्व (automorphic representations) और $L$-फंक्शन्स के सिद्धांत में दो परस्पर जुड़े हुए विषयों को संबोधित करता है।

1. समाकलों का सामान्यीकरण (Generalization of Integrals): लेखक दो रेंकिन-सेल्बर्ग $L$-फंक्शन्स के गुणनफल, विशेष रूप से $L(s_1, \pi \times \tau_1)L(s_2, \tilde{\pi} \times \tilde{\tau}_2)$ को निरूपित करने वाले रेंकिन-सेल्बर्ग प्रकार के समाकलों (integrals) के एक परिवार का निर्माण करना चाहते हैं, जहाँ $\pi$, $GL_l$ का एक कस्पिडल ऑटोमॉर्फिक प्रतिनिधित्व है और $\tau_1, \tau_2$ क्रमशः $GL_m$ और $GL_n$ के कस्पिडल प्रतिनिधित्व हैं, इस प्रतिबंध के तहत कि $m+n < l$। जब $n=0$ हो, तो ये शास्त्रीय जैक्वेट-पिएटस्की-शालिका-शालिका (JPSS) समाकलों में परिवर्तित हो जाने चाहिए।
2. जैक्वेट का स्थानीय व्युत्क्रम अनुमान (Jacquet's Local Converse Conjecture): यह शोध पत्र जैक्वेट के स्थानीय व्युत्क्रम अनुमान का एक नया प्रमाण प्रदान करने का लक्ष्य रखता है। यह अनुमान यह दावा करता है कि $GL_l(F)$ (जहाँ $F$ एक गैर-आर्किमिडियन स्थानीय क्षेत्र है) के दो अपरिमित जेनेरिक (irreducible generic) प्रतिनिधित्व $\pi_1, \pi_2$ (समान सेंट्रल कैरेक्टर के साथ), यदि उनके ट्विस्टेड गामा फैक्टर्स $\gamma(s, \pi \times \tau, \psi)$ सभी $1 \le m \le [l/2]$ के लिए अपरिमिट जेनेरिक प्रतिनिधित्व $\tau$ के लिए समान हैं, तो $\pi_1 \cong \pi_2$ होता है। हालांकि इसे पहले चाई (Chai, 2019) और जैक्वेट-लैपिड (Jacquet–Lapid, 2018) द्वारा सिद्ध किया जा चुका है, लेखक अपने नव-निर्मित समाकलों के परिवार का उपयोग करके इसे सिद्ध करने का प्रयास करते हैं, जो संभावित रूप से वैश्विक व्युत्क्रम समस्याओं (global converse problems) के लिए लागू होने वाला एक ढांचा प्रदान कर सकता है।

कार्यप्रणाली (Methodology)
लेखक वैश्विक समाकल निर्माण, स्थानीय ज़ेटा समाकल विश्लेषण और आंशिक बेसेल फलनों (partial Bessel functions) के सिद्धांत का संयोजन उपयोग करते हैं।

• वैश्विक निर्माण (Global Construction): वे $GL_l(\mathbb{A})$ पर एक कस्प फॉर्म $\phi \in \pi$ और $GL_{m+n}(\mathbb{A})$ पर एक आइजन सीरीज़ (Eisenstein series) $E(h, f_s)$ से जुड़े एक वैश्विक समाकल $I_j(\phi, f_s)$ को परिभाषित करते हैं। यह समाकल $GL_{m+n}(F) \backslash GL_{m+n}(\mathbb{A})$ पर लिया जाता है और इसमें $Y_j \subset GL_l$ के एक उपसमूह के अनुदिश $\phi$ का एक विशिष्ट फूरियर गुणांक शामिल है। अनफोल्डिंग प्रक्रिया को सुगम बनाने के लिए $\iota_j: GL_{m+n} \to GL_l$ का एम्बेडिंग सावधानीपूर्वक चुना गया है।
• अनफोल्डिंग और यूलर उत्पाद (Unfolding and Euler Product): कस्प फॉर्म्स के फूरियर विस्तार (पिएटस्की-शालिका के कार्य का सामान्यीकरण) का उपयोग करते हुए, वे वैश्विक समाकल को एक यूलर उत्पाद में अनफोल्ड करते हैं। इसमें स्थानीय $L$-फैक्टर्स के गुणनफल को दर्शाने वाले स्थानीय ज़ेटा समाकल $\Psi(W_v, \xi_{f_s, v}; j)$ की गणना शामिल है।
• स्थानीय सिद्धांत (Local Theory): स्थानीय सेटिंग में, वे स्थानीय ज़ेटा समाकलों को परिभाषित करते हैं और एक इंटरट्विनिंग ऑपरेटर के माध्यम से एक कार्यात्मक समीकरण (functional equation) के माध्यम से एक स्थानीय गामा फैक्टर $\Gamma(s, \pi \times (\tau_1, \tau_2), \psi; j)$ की उपस्थिति स्थापित करते हैं। वे लिटिलवुड-रिचर्डसन गुणांकों के लिए 'हाइव मॉडल' (hive model) (जो नटसन और ताओ द्वारा विकसित किया गया है) का उपयोग करके अनरैम्फाइड (unramified) मामले की गणना स्पष्ट रूप से करते हैं ताकि यह दिखाया जा सके कि स्थानीय समाकल $L$-फंक्शन्स के अनुपात के बराबर है:
  $$\Psi(W^0, \xi^0; j) = \frac{L(s_1 + \frac{k-j}{2}, \pi \times \tau_1)L(s_2 - \frac{k-j}{2}, \tilde{\pi} \times \tilde{\tau}_2)}{L(s_1+s_2, \tau_1 \times \tilde{\tau}_2)}$$
  जहाँ $k = l - m - n - 1 - j$ है।
• व्युत्क्रम प्रमेय का प्रमाण (Proof of Converse Theorem): स्थानीय व्युत्क्रम प्रमेय को सिद्ध करने के लिए, लेखक हाउवे वेक्टर्स (Howe vectors) से जुड़े आंशिक बेसेल फलनों (partial Bessel functions) (कोगडे, शाहिदी और त्साई द्वारा विकसित) का उपयोग करते हैं। वे दो प्रतिनिधित्वों $\pi_1, \pi_2$ के लिए एक आंशिक बेसेल फलन का अंतर $B_i(g, f_1) - B_i(g, f_2)$ निर्मित करते हैं। यह मानते हुए कि गामा फैक्टर्स समान हैं (स्थिति $C(m)$), वे दिखाते हैं कि यह अंतर विशिष्ट ब्रुहट सेल्स (Bruhat cells) पर शून्य हो जाता है।
  • वे $m$ और $n$ मापदंडों पर दोहरे इंडक्शन (double induction) का उपयोग करते हैं।
  • वे बेसेल मॉडल्स की विशिष्टता (uniqueness) का लाभ उठाते हैं ताकि समाकल के शून्य होने को आंशिक बेसेल फलनों के अंतर के शून्य होने से जोड़ा जा सके।
  • उस स्थिति के लिए जहाँ $l$ सम है ($l=2r$) और $m=n=r$, वे सीमा मामले (boundary case) को संभालने के लिए यूनिटरी समूहों के लिए स्थानीय गामा फैक्टर्स ([BAS09] और [Mor25] के अनुसार) को शामिल करते हैं।

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

1. समाकलों का नया परिवार: यह शोध पत्र JPSS समाकलों का सामान्यीकरण करने वाले समाकलों के एक परिवार $I_j$ का निर्माण करता है। ये समाकल दो रेंकिन-सेल्बर्ग $L$-फंक्शन्स के गुणनफल को निरूपित करते हैं।
2. अनरैम्फाइड गणना (Unramified Calculation): लेखक शूर बहुपदों (Schur polynomials) और लिटिलवुड-रिचर्डसन गुणांकों की कॉम्बिनेटरिक्स को संभालने के लिए हाइव मॉडल का उपयोग करते हुए इन समाकलों की विस्तृत अनरैम्फाइड गणना प्रदान करते हैं। यह $GL_l \times GL_m$ और यूनिटरी समूहों के पिछले अनरैम्फाइड गणनाओं का सामान्यीकरण है।
3. स्थानीय गामा फैक्टर्स: वे स्थानीय गामा फैक्टर्स $\Gamma(s, \pi \times (\tau_1, \tau_2), \psi; j)$ को परिभाषित करते हैं और सिद्ध करते हैं कि वे शिफ्ट्स और ट्विस्ट्स (shifts and twists) के साथ मानक JPSS गामा फैक्टर्स के गुणनफल हैं।
4. जैक्वेट के स्थानीय व्युत्क्रम अनुमान का नया प्रमाण: जैक्वेट के स्थानीय व्युक्रम अनुमान के लिए एक नया प्रमाण इस शोध पत्र का प्राथमिक अनुप्रयोग है।
   • यह प्रमाण स्थापित करता है कि यदि $0 \le m, n \le [l/2]$ के लिए सभी $\tau_1, \tau_2$ के लिए $\Gamma(s, \pi_1 \times (\tau_1, \tau_2), \psi; 0) = \Gamma(s, \pi_2 \times (\tau_1, \tau_2), \psi; 0)$ है, तो $\pi_1 \cong \pi_2$।
   • लेखक नोट करते हैं कि यह स्थिति एकल ट्विस्ट $\gamma(s, \pi \times \tau, \psi)$ के लिए मानक स्थिति के समकक्ष है जहाँ $1 \le m \le [l/2]$।
5. तकनीकी भिन्नताएं: पिछले प्रमाणों (जैसे [Cha19] जो केवल ओपन ब्रुहट सेल पर आंशिक बेसेल फलनों का उपयोग करता था, या [JL18] जो किलिरोव मॉडल्स पर निर्भर था) के विपरीत, यह प्रमाण:
   • आंशिक बेसेल फलनों के सभी ब्रुहट सेल्स पर समानता को सिद्ध करता है, जिससे यह परिमित क्षेत्रों (finite fields) के लिए भी लागू होता है (जहाँ टोपोलॉजी विविक्त/discrete होती है)।
   • $GL_l$ को एक शास्त्रीय समूह के रूप में मानता है, जिससे किलिरोव मॉडल की उपस्थिति पर निर्भरता समाप्त हो जाती है।
   • एक मजबूत परिणाम (प्रमेय 5.1) प्रदान करता है जो किसी भी $m \le [l/2]$ के लिए $GL_m$ तक ट्विस्ट किए गए गामा फैक्टर्स द्वारा निर्धारित प्रतिनिधित्वों को अभिलक्षणित (characterize) करता है।

महत्व और दावे
लेखक दावा करते हैं कि उनके समाकलों का नया परिवार स्थानीय व्युक्रम समस्या पर एक नया दृष्टिकोण प्रदान करता है। हालांकि अनुमान पहले से ही सत्य ज्ञात था, यह नया प्रमाण:

• दृष्टिकोणों को एकीकृत करता है: यह $L$-फंक्शन्स के गुणनफल को सीधे व्युक्रम समस्या से जोड़ता है, जो यह सुझाव देता है कि "गुणनफल" संरचना वैश्विक अनुप्रयोगों के लिए अधिक सुदृढ़ हो सकती है।
• वैश्विक व्युत्क्रम के लिए क्षमता: लेखक स्पष्ट रूप से कहते हैं कि उन्हें उम्मीद है कि ये समाकल वैश्विक व्युक्रम अनुमान (Conjecture 1.3) पर प्रहार करने के लिए उपयोगी होंगे, जो यह खोजने का प्रयास करता है कि एक वैश्विक ऑटोमॉर्फिक प्रतिनिधित्व को निर्धारित करने के लिए आवश्यक ट्विस्ट की संख्या को कैसे कम किया जाए। उनके गामा फैक्टर्स की विशेषता (1.1) समानताओं का एक नया परिवार प्रदान करती है जो वैश्विक सेटिंग्स में मौजूदा JPSS समाकलों के पूरक के रूप में कार्य कर सकती है।
• व्यापकता: विधि परिमित क्षेत्रों के लिए भी पर्याप्त मजबूत है और किलिरोव मॉडल्स से स्वतंत्र है, जो इसे अन्य शास्त्रीय समूहों और परिमित क्षेत्रों पर $G_2$ जैसे समूहों के कार्यों (संदर्भों के संकेतानुसार) के लिए अनुकूल बनाने योग्य बनाती है।

शोध पत्र इस बात के साथ समाप्त होता है कि वर्तमान निर्माण $m+n < l$ के मामले तक सीमित है, और $m+n \ge l$ तक इसका सामान्यीकरण भविष्य के कार्य का विषय है।