A Note on the Peter-Weyl Theorem

यहाँ बवुमा, रूसो और स्टीवेन्सन के शोध पत्र "A Note on the Peter-Weyl Theorem" का विस्तृत तकनीकी सारांश दिया गया है।

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

शास्त्रीय पीटर-वेइल प्रमेय (Peter-Weyl Theorem) प्रतिनिधित्व सिद्धांत (representation theory) का एक आधार स्तंभ है, जो यह बताता है कि एक कॉम्पैक्ट समूह (compact group) $G$ के लिए, प्रतिनिधि फलनों (representative functions) $R(G, \mathbb{K})$ का स्थान (जिनका समूह क्रिया के तहत ऑर्बिट एक परिमित-आयामी स्थान को स्पैन करता है), निरंतर फलनों $C(G, \mathbb{K})$ और हिल्बर्ट स्पेस $L^2(G, \mathbb{K})$ में सघन (dense) होता है। यह वृत्त समूह (circle group) से लेकर अनन्य कॉम्पैक्ट समूहों तक फूरियर श्रृंखला (Fourier series) का सामान्यीकरण करता है।

हालाँकि, यह प्रमेय उन स्थानीय कॉम्पैक्ट समूहों (locally compact groups) पर सीधे लागू नहीं होता जो कॉम्पैक्ट नहीं हैं। लेखक इस विशिष्ट समस्या को संबोधित करते हैं कि एक गैर-तुच्छ कॉम्पैक्ट ओपन सबग्रुप (nontrivial compact open subgroup) रखने वाले स्थानीय कॉम्पैक्ट समूहों तक पीटर-वेइल प्रमेय की सन्निकटन क्षमताओं (approximation capabilities) का विस्तार कैसे किया जाए। ऐसे समूहों में $p$-आदिक क्षेत्र (जैसे, $\mathbb{Q}_p$) शामिल हैं, लेकिन इसमें जुड़े हुए गैर-कॉम्पैक्ट समूह (जैसे, $\mathbb{R}^n$) शामिल नहीं हैं, क्योंकि उनमें ऐसे सबग्रुप का अभाव होता है।

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

लेखक समूह की टोपोलॉजिकल संरचना पर आधारित एक "लोकल-टू-ग्लोबल" (local-to-global) सन्निकटन रणनीति का उपयोग करते हैं:

• कोसेट अपघटन (Coset Decomposition): यदि एक स्थानीय कॉम्पैक्ट समूह $G$ में एक कॉम्पैक्ट ओपन सबग्रुप $H$ है, तो समूह को विलगित कोसेट्स (disjoint cosets) $\{Hg_i\}_{i \in I}$ में विभाजित किया जा सकता है। चूँकि $H$ ओपन है, ये कोसेट्स भी ओपन हैं। चूँकि $H$ कॉम्पैक्ट है, प्रत्येक कोसेट एक कॉम्पैक्ट समूह के टोपोलॉजिकल रूप से समरूप (isomorphic) है।
• लिफ्टिंग ऑपरेटर (Lifting Operator): लेखक एक लिफ्टिंग ऑपरेटर $\ell_G$ को परिभाषित करते हैं जो सबग्रुप $H$ पर परिभाषित फलन $k$ को पूरे समूह $G$ पर एक फलन में मैप करता है। लिफ्ट किया गया फलन $\ell_G(k)$, $H$ पर $k$ के मानों को बनाए रखता है और शेष भाग ($G \setminus H$) में शून्य होता है।
• शिफ़्टेड लिफ्ट्स (Shifted Lifts): पूरे समूह को कवर करने के लिए, वे इन लिफ्ट किए गए फलनों के शिफ्ट्स (shifts) पर विचार करते हैं। एक "लिफ्टेड प्रतिनिधि फलन" को शिफ्ट्स $g \cdot \ell_G(k)$ के रैखिक संयोजन (linear combination) के रूप में परिभाषित किया जाता है, जहाँ $k$ सबग्रुप $H$ पर एक प्रतिनिधि फलन है।
• माप सामान्यीकरण (Measure Normalization): एक महत्वपूर्ण तकनीकी चरण में $G$ पर हॉर मेजर (Haar measure) $\lambda$ को सामान्यीकृत करना शामिल है ताकि सबग्रुप $H$ का माप 1 हो ($\int \chi_H d\lambda = 1$)। यह सुनिश्चित करता है कि $G$ में लिफ्ट किए जाने पर $H$ पर किसी फलन का $L^2$-मान संरक्षित रहता है।
• सन्निकटन एल्गोरिदम (Approximation Algorithm):
  1. $G$ पर एक कॉम्पैक्ट सपोर्ट वाला एक निरंतर फलन $f$ लें।
  2. $f$ को फलनों के एक परिमित योग $f_i$ में विभाजित करें, जिनमें से प्रत्येक का सपोर्ट एक एकल कोसेट $Hg_i$ पर है।
  3. प्रत्येक $f_i$ को सबग्रुप $H$ पर शिफ्ट करें।
  4. $H$ पर शास्त्रीय पीटर-वेइल प्रमेय का उपयोग करके शिफ्ट किए गए फलन को एक प्रतिनिधि फलन $k_N \in R(H, \mathbb{K})$ के साथ सन्निकट (approximate) करें।
  5. $k_N$ को वापस $G$ में लिफ्ट करें और मूल कोसेट पर शिफ्ट करें।
  6. इन सन्निकटनों को जोड़कर एक अनुक्रम (sequence) बनाएँ जो $L^2$-नॉर्म में $f$ की ओर अभिसरित (converge) होता है।

3. मुख्य योगदान (Key Contributions)

• लिफ्टेड प्रतिनिधि फलनों की परिभाषा: यह शोध पत्र $\hat{R}(G, \mathbb{K})$ को परिभाषित करता है, जिसे एक कॉम्पैक्ट ओपन सबग्रुप $H$ के प्रतिनिधि फलनों के शिफ्ट किए गए लिफ्ट्स के स्पैन (span) के रूप में परिभाषित किया गया है:
  $$\hat{R}(G, \mathbb{K}) := \text{span} \{ g \ell_G(k) \mid k \in R(H, \mathbb{K}), g \in G \}$$
• मानों का संरक्षण (Preservation of Norms): लेखक सिद्ध करते हैं (लेम्मा 3.5) कि $G$ पर हॉर मेजर के एक विशिष्ट सामान्यीकरण के तहत, $H$ पर किसी फलन का $L^2$-मान उसके $G$ में लिफ्ट के $L^2$-मान के समान होता है। यह $L^2$ टोपोलॉजी में अभिसरण स्थापित करने के लिए आवश्यक है।
• घनत्व का सामान्यीकरण (Generalization of Density): यह शोध पत्र सिद्ध करता है कि किसी भी ऐसे स्थानीय कॉम्पैक्ट समूह $G$ के लिए जिसमें एक गैर-तुच्छ कॉम्पैक्ट ओपन सबग्रुप $H$ है, $\hat{R}(G, \mathbb{K})$ एक सघन उपसमष्टि (dense subspace) है।

4. मुख्य परिणाम (Main Results)

• प्रमेय 3.6 ($L^2(G, \mathbb{K})$ पर सन्निकटन): यदि $G$ एक स्थानीय कॉम्पैक्ट समूह है जिसमें एक गैर-तुच्छ कॉम्पैक्ट ओपन सबग्रुप $H$ है, तो लिफ्टेड प्रतिनिधि फलनों का स्थान $\hat{R}(G, \mathbb{K})$, $L^2(G, \mathbb{K})$ में सघन है।
  • प्रूफ स्केच (Proof Sketch): इसका प्रमाण $L^2(G, \mathbb{K})$ में $C_c(G, \mathbb{K})$ की सघनता पर निर्भर करता है। कॉम्पैक्टली सपोर्ट किए गए फलन को कोसेट्स पर समर्थित टुकड़ों में विभाजित करके, $H$ पर शास्त्रीय पीटर-वेइल प्रमेय के माध्यम से प्रत्येक टुकड़े को सन्निकट करके, और उन्हें पुनर्गठित करके, लेखक $\hat{R}(G, \mathbb{K})$ में एक अनुक्रम का निर्माण करते हैं जो लक्षित फलन की ओर अभिसरित होता है।
• सीमाएँ (Limitations): लेखक स्पष्ट रूप से नोट करते हैं कि यह परिणाम जुड़े हुए गैर-कॉम्पैक्ट समूहों (जैसे, $\mathbb{R}^n$) पर लागू नहीं होता है। ऐसे समूह एक गैर-तुच्छ कॉम्पैक्ट ओपन सबग्रुप नहीं रख सकते क्योंकि ऐसे सबग्रुप की उपस्थिति यह संकेत देगी कि समूह असंबद्ध (disconnected) है (सबग्रुप और उसका पूरक एक विलगित ओपन कवर बनाएंगे)।

5. महत्व और अनुप्रयोग (Significance and Applications)

• हार्मोनिक विश्लेषण का विस्तार: यह कार्य कॉम्पैक्ट समूहों के प्रतिनिधित्व सिद्धांत और स्थानीय कॉम्पैक्ट समूहों के बीच के अंतर को पाटता है। यह "स्थानीय" फूरियर-जैसे श्रृंखलाओं का उपयोग करके समूहों जैसे कि $p$-आदिक संख्याओं ($\mathbb{Q}_p$) पर फलनों को सन्निकट करने के लिए एक कठोर ढांचा प्रदान करता है।
• $p$-आदिक विश्लेषण: यह शोध पत्र $\mathbb{Q}_p$ ($\mathbb{Q}_p$ के क्षेत्र) को एक प्राथमिक अनुप्रयोग के रूप में रेखांकित करता है, जहाँ $\mathbb{Z}_p$ ($p$-आदिक पूर्णांक) कॉम्पैक्ट ओपन सबग्रुप के रूप में कार्य करता है। यह संख्या सिद्धांत और $p$-आदिक ली ग्रुप विश्लेषण के लिए प्रासंगिक है।
• संरचनात्मक अंतर्दृष्टि: यह शोध पत्र सन्निकटन के लिए आवश्यक टोपोलॉजिकल बाधाओं को स्पष्ट करता है। यह प्रदर्शित करता है कि ओपन सबग्रुप द्वारा प्रदान की गई "स्थानीय कॉम्पैक्टनेस" गैर-कॉम्पैक्ट परिवेश में भी पीटर-वेइल प्रमेय के घनत्व गुणों को पुनः प्राप्त करने के लिए पर्याप्त है।
• मध्यवर्ती मामले (Intermediate Cases): यह परिणाम मिश्रित संरचनाओं पर भी लागू होता है, जैसे कि $G = \mathbb{T} \times \mathbb{Q}_p$ (जहाँ $\mathbb{T}$ वृत्त समूह है और $\mathbb{Q}_p$ $p$-आदिक है), जो गैर-संयुक्त, गैर-कॉम्पैक्ट अबेलियन समूहों में प्रमेय की उपयोगिता को दर्शाता है।

संक्षेप में, यह शोध पत्र लिफ्टेड प्रतिनिधि फलनों को पेश करके पीटर-वेल प्रमेय का सफलतापूर्वक सामान्यीकरण करता है, और यह सिद्ध करता है कि कॉम्पैक्ट समूहों के समृद्ध सन्निकटन सिद्धांत को कॉम्पैक्ट ओपन सबग्रुप द्वारा अभिलक्षित व्यापक श्रेणी के स्थानीय कॉम्पैक्ट समूहों तक विस्तारित किया जा सकता है।