Stability of the smooth Casselman-Jacquet functor

तकनीकी सारांश: स्मूथ कैसलमैन-जैकक्वेट फंक्टर की स्थिरता (Stability of the Smooth Casselman-Jacquet Functor)

समस्या विवरण (Problem Statement)
यह शोध पत्र वास्तविक रिडक्टिव समूहों (real reductive groups), विशेष रूप से सामान्य रैखिक समूहों $GL_n(\mathbb{R})$ और $GL_n(\mathbb{C})$ के लिए 'मॉडरेट ग्रोथ रेट' (moderate growth rate) वाले स्मूथ फ्रेचेट प्रतिनिधित्वों (smooth Fréchet representations) के लिए बर्नस्टीन-ज़ेलेविंस्की (BZ) फिल्ट्रेशन के एक व्यापक सिद्धांत के विकास को संबोधित करता है। जबकि BZ फिल्ट्रेशन $p$-adic समूहों के लिए सुस्थापित है, वास्तविक मामले में इसका विस्तार करने में महत्वपूर्ण टोपोलॉजिकल बाधाएं आती हैं। शास्त्रीय कैसलमैन-जैकक्वेट फंक्टर, जो मूल रूप से हारिश-चंद्र मॉड्यूल के लिए परिभाषित किया गया था, स्मूथ फ्रेक्टेच प्रतिनिधित्वों के संदर्भ में अलग तरह से व्यवहार करता है क्योंकि इसमें वास्तविक समूहों की 'टोटल डिस्कनेक्टेडनेस' (total disconnectedness) का अभाव होता है और टोपोलॉजिकल क्लोजर (topological closures) को संभालने की आवश्यकता होती है। प्राथमिक चुनौती मॉडरेट ग्रोथ प्रतिनिधित्वों ($Rep^{\infty, F}(G)$) के भीतर इन फंक्टर्स की सटीकता (exactness), अधिसमतता (surjectivity), और स्थिरता (stability) गुणों को स्थापित करना है, जो कि क्वासी-एबेलियन (quasi-abelian) तो है लेकिन एबेलियन (abelian) नहीं है।

कार्यप्रणाली (Methodology)
लेखक कार्यात्मक विश्लेषण (functional analysis) और प्रतिनिधित्व सिद्धांत (representation theory) के संयोजन का उपयोग करते हैं, जो उनके हारिश-चंद्र मॉड्यूल या जैक्वेट मॉड्यूल के पिछले अध्ययनों (जैसे [AGS15a, AGS15b]) से अलग दृष्टिकोण है। मुख्य कार्यप्रणाली घटक निम्नलिखित हैं:

1. टोपोलॉजिकल परिशोधन (Topological Refinements): लेखक कैसलमैन-जैकक्वेट फंक्टर्स को स्पष्ट टोपोलॉजिकल क्लोजर के साथ परिभाषित करते हैं ताकि परिणामी कोटिएंट स्पेस (quotient spaces) हाउज़डॉर्फ (Hausdorff) सुनिश्चित हों। वे फ्रेचेट स्पेस के कोटिएंट टोपोलॉजी और प्रोजेक्टिव टेंसर उत्पाद (projective tensor products) का उपयोग करके इन फंक्टर्स की संरचना का विश्लेषण करते हैं।
2. श्वार्ट्ज बीजगणक क्रिया (Schwartz Algebra Actions): एक केंद्रीय तकनीक $S(\mathfrak{n})$ (जहाँ $\mathfrak{n}$ अनिपोटेंट रेडिकल का ली बीजगणक है) की मॉडरेट ग्रोथ वाले प्रतिनिधित्वों पर निरंतर क्रिया है। डिक्समियर-मैलियाविन प्रमेय (Dixmier-Malliavin theorem) का लाभ उठाते हुए, लेखक क्रिया मानचित्र $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$ की अधिसमतता (surjectivity) स्थापित करते हैं।
3. सेमी-नॉर्म्स और स्थिरता (Semi-norms and Stability): शोध पत्र कैसलमैन-जैकक्वेट मॉड्यूल पर विशिष्ट सेमी-नॉर्म्स के परिवारों का निर्माण करता है। इन सेमी-नॉर्म्स का उपयोग "स्थिरता" गुणों को सिद्ध करने के लिए किया जाता है, विशेष रूप से यह कि उप-स्थानों $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ का प्रतिच्छेदन $\mathfrak{n}$ की क्रिया के तहत स्थिर है (अर्थात, $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$)।
4. आर्टिन-रीज़ लेम्मा (Artin-Rees Lemma): कैसलमैन-वाक (Casselman-Wallach) प्रतिनिधित्वों के उपश्रेणी के लिए, लेखक एक टोपोलॉजिकल संस्करण वाले आर्टिन-रीज़ लेम्मा को सिद्ध करते हैं। यह लेम्मा फंक्टर्स की सटीकता (exactness) स्थापित करने के लिए महत्वपूर्ण है, जो यह सुनिश्चित करता है कि उप-मॉड्यूल के प्रतिच्छेदन निलिप्त आदर्श (nilpotent ideal) की घातों के संबंध में अनुमानित व्यवहार करते हैं।
5. इम्प्रिमिटिविटी प्रमेय (Imprimitivity Theorem): मिराबोलिक उपसमूहों (mirabolic subgroups) के संदर्भ में, लेखक श्वार्ट्ज इंडक्शन और फंक्टर्स $\Phi^+$ और $\Phi^-$ की संरचना का विश्लेषण करने के लिए इम्प्रिमिटिविटी प्रमेय ([dCl91] से) लागू करते हैं।

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

• फंक्टर्स की परिभाषा और गुण: लेखक एक पैराबोलिक उपसमूह $P$ (जिसका अनिपोटेंट रेडिकल $N$ और ली बीजगणक $\mathfrak{n}$ है) के लिए दो फंक्टर्स परिभाषित करते हैं:

  • सबमॉड्यूल फंक्टर: $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$।
  • कोटिएंट फंक्टर: $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$।
    वे सिद्ध करते हैं कि स्वाभाविक मानचित्र $\pi \to CJ^\infty_P(\pi)$ अधिसमत (surjective) है, जिससे एक लघु सटीक अनुक्रम (short exact sequence) प्राप्त होता है: $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$।

• स्थिरता और एपिनेस (Stability and Epiness): एक प्रमुख परिणाम सबमॉड्यूल फंक्टर की स्थिरता है: $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$। इसके अतिरिक्त, यह दिखाया गया है कि फंक्टर $CJ^\infty_{s,P}$ "एपिक" (epi) है (क्वासी-एबेलियन अर्थ में अधिसमतता बनाए रखता है), जिसका अर्थ है कि यह एपिमॉर्फिज्म (epimorphisms) को एपिमॉर्फिज्म में मैप करता है।

• कैसलमैन-वाक प्रतिनिधित्वों के लिए सटीकता: कैसलमैन-वाक प्रतिनिधित्वों (एडमिसिबल, परिमित लंबाई, मॉडरेट ग्रोथ) के लिए प्रतिबंधित होने पर, दोनों $CJ^\infty_P$ और $CJ^\infty_{s,P}$ को सटीक फंक्टर्स के रूप में सिद्ध किया गया है। यह टोपोलॉजिकल आर्टिन-रीज़ लेम्मा और इस तथ्य पर निर्भर करता है कि इस प्रतिबंधित सेटिंग में शामिल श्रेणियाँ अब एबेलियन हो जाती हैं।

• वास्तविक बर्नस्टीन-ज़ेलेविंस्की फिल्ट्रेशन: एक प्राथमिक अनुप्रयोग के रूप में, यह शोध पत्र $GL_n$ के स्मूथ फ्रेचेट प्रतिनिधित्वों के लिए एक पूर्ण बर्नस्टीन-ज़ेलेविंस्की फिल्ट्रेशन का निर्माण करता है। इसमें $\Phi^-$ (एक जैक्वेट फंक्टर का संस्करण) और $\Phi^+$ (एक पैराबोलिक इंडक्शन का संस्करण) फंक्टर्स को परिभाषित करना और उन्हें एडजॉइंट (adjoint) सिद्ध करना शामिल है। लेखक स्थापित करते हैं कि किसी भी प्रतिनिधित्व $\pi$ में एक फिल्ट्रेशन $0 = \pi_n \subset \dots \subset \pi_0 = \pi$ होता है जहाँ क्रमिक उप-कोटीयंट (successive subquotients) इन फंक्टर्स के प्रतिबिंबों से संबंधित होते हैं और हाउज़डॉर्फ होते हैं।

• ग्लोबलाइजेशन (Globalization): शोध पत्र एक ग्लोबलाइजेशन परिणाम स्थापित करता है, जो यह दर्शाता है कि स्मूथ फ्रेचेट प्रतिनिधित्वों के लिए कैसलमैन-जैकक्वेट मॉड्यूल, संगत हारिश-चंद्र मॉड्यूल के कैसलमैन-वाक ग्लोबलाइजेशन के समरूप (isomorphic) हैं।

महत्व और दावे (Significance and Claims)
शोध पत्र का दावा है कि यह मॉडरेट ग्रोथ प्रतिनिधित्वों के ढांचे के भीतर वास्तविक जनरल लीनियर समूहों के लिए बर्नस्टीन-ज़ेलेविंस्की फिल्ट्रेशन का पहला व्यापक गणितीय प्रमाण प्रदान करता है। लेखक इस बात पर जोर देते हैं कि उनके परिणाम पिछले कार्यों (जैसे [AGS15a, AGS15b]) के पूरक हैं और उन टोपोलॉजिकल कठिनाइयों को संबोधित करते हैं जो वास्तविक समूहों में मौजूद हैं, जो $p$-adic मामले में अनुपस्थित थीं।

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

1. अंतराल को पाटना: $p$-adic BZ फिल्ट्रेशन मशीनरी को वास्तविक दुनिया में सफलतापूर्वक अनुकूलित करना, जो टोपोलॉजिकल अंतरों (टोटल डिस्कनेक्टेडनेस बनाम कनेक्टिविटी) को दूर करता है।
2. टोपोलॉजिकल कठोरता: जैक्वेट मॉड्यूल की टोपोलॉजी का एक कठोर उपचार प्रदान करना, यह सुनिश्चित करना कि वे हाउज़डॉर्फ हैं और श्रेणी के संचालन के तहत सुव्यवस्थित हैं।
3. ब्रांचिंग लॉज़ का आधार: यह कार्य $p$-adic समूहों द्वारा स्थापित ब्लूप्रिंट का अनुसरण करते हुए, वास्तविक जनरल लीनियर समूहों के लिए ब्रांचिंग लॉज़ के व्यापक प्रमाण की दिशा में एक आधारभूत कदम के रूप में प्रस्तुत किया गया है। लेखक नोट करते हैं कि स्थिरता और सटीकता के परिणाम भविष्य के कार्यों (जैसे [CW26, CP25+]) में उच्च संरचनाओं और सरल कोटिएंटों की गणना के लिए पूर्व-आवश्यकता हैं।

शोध पत्र अपने तत्काल गणनात्मक अनुप्रयोगों के संबंध में विनम्र रहता है, यह उल्लेख करते हुए कि हालांकि सैद्धांतिक ढांचा स्थापित किया गया है, वास्तविक गणना (जैसे सरल कोटिएंट और उच्च संरचनाओं की गणना) आगामी कार्यों में $p$-adic समूहों के उपकरणों द्वारा सुलभ होगी।