Wedderburn decomposition of the rational group algebras of $\operatorname{SL}_2(q)$ and $\operatorname{PSL}_2(q)$

यहाँ राम करण चौधरी और सैकत पांजा के शोध पत्र "Wedderburn Decomposition of the Rational Group Algebras of $SL_2(q)$ and $PSL_2(q)$" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र शास्त्रीय बीजगणितीय प्रतिनिधित्व सिद्धांत (algebraic representation theory) की एक समस्या को संबोधित करता है: लिथ प्रकार के परिमित समूहों (finite groups of Lie type), विशेष रूप से विशेष रैखिक समूह $SL_2(q)$ और प्रोजेक्टिव विशेष रैखिक समूह $PSL_2(q)$ के लिए परिमेय समूह बीजगणित (rational group algebra) $\mathbb{Q}G$ का स्पष्ट वेडरबर्न अपघटन (Wedderburn decomposition) निर्धारित करना, जहाँ $q = p^m$ एक अभाज्य घात (prime power) है।

जबकि बीजगणितीय रूप से बंद क्षेत्रों (algebraically closed fields) पर समूह बीजगणित का अपघटन कैरेक्टर थ्योरी (character theory) के माध्यम से अच्छी तरह से समझा गया है, परिमेय क्षेत्र $\mathbb{Q}$ पर इसका अपघटन काफी जटिल है। इसके लिए निम्नलिखित को निर्धारित करने की आवश्यकता होती है:

1. सरल घटकों (simple components) की संख्या।
2. मैट्रिक्स बीजगणितों का आयाम ($n_i$)।
3. उनके केंद्रों (centers) पर विभाजन रिंगों (division rings) की संरचना ($D_i$)।
4. अपरिमेय कैरेक्टर्स (irreducible characters) के शूर सूचकांक (Schur indices)।

मौजूदा विधियाँ अक्सर कम्प्यूटेशनल टूल्स (जैसे GAP का WEDDERGA) पर निर्भर करती हैं या विशिष्ट वर्गों के समूहों (जैसे मोनॉमियल समूहों) तक सीमित होती हैं। यह शोध पत्र इन मूलभूत समूहों के लिए केवल $q$ पर निर्भर रहने वाले स्पष्ट कॉम्बिनेटोरियल सूत्रों (explicit combinatorial formulas) प्रदान करने का लक्ष्य रखता है, जो $q$ के सभी मामलों (2 की घात और विषम अभाज्य की घात) को कवर करता है।

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

लेखक अपने परिणामों को प्राप्त करने के लिए कैरेक्टर थ्योरी, गैलॉइस थ्योरी (Galois theory) और शूर सूचकांक सिद्धांत (Schur index theory) के संयोजन का उपयोग करते हैं। कार्यप्रणाली इस प्रकार है:

• कैरेक्टर टेबल्स (Character Tables): लेखक $SL_2(q)$ और $PSL_2(q)$ के ज्ञात जटिल कैरेक्टर टेबल्स का उपयोग करते हैं (संदर्भ [11])। वे अपरिमेय कैरेक्टर्स $\chi$ के मानों का विश्लेषण करते हैं ताकि उनके कैरेक्टर फील्ड $\mathbb{Q}(\chi)$ को निर्धारित किया जा सके।
• गैलॉइस संयुग्मन (Galois Conjugacy): वे अपरिमेय जटिल कैरेक्टर्स को $\mathbb{Q}$ पर गैलॉइस संयुग्मन वर्गों (Galois conjugacy classes) में समूहित करते हैं। शूर सिद्धांत के अनुसार, प्रत्येक विशिष्ट गैलॉइस संयुग्मन वर्ग एक अद्वितीय अपरिमेय परिमेय प्रतिनिधित्व (irreducible rational representation) के अनुरूप होता है।
• शूर सूचकांक ($m_{\mathbb{Q}}(\chi)$): $\mathbb{Q}$ पर प्रत्येक कैरेक्टर के शूर सूचकांक को निर्धारित करना एक महत्वपूर्ण चरण है।
  • $PSL_2(q)$ के लिए, वे उन परिणामों का उल्लेख करते हैं जो दर्शाते हैं कि सभी $\chi$ के लिए $m_{\mathbb{Q}}(\chi) = 1$ है।
  • $SL_2(q)$ के लिए, वे एक ज्ञात तालिका (लेम्मा 4.1) का उपयोग करते है जहाँ शूर सूचकांक $q$ की समता (parity) और विशिष्ट कैरेक्टर के आधार पर 1 या 2 हो सकते हैं।
• वेडरबर्न घटक (Wedderburn Components): एक कैरेक्टर $\chi$ से जुड़े सरल घटक के आयाम के सूत्र का उपयोग करते हुए:
  $$\text{dim}(A_{\mathbb{Q}(\chi)}) = m_{\mathbb{Q}}(\chi)^2 \cdot [\mathbb{Q}(\chi):\mathbb{Q}] \cdot \chi(1)^2$$
  लेखक मैट्रिक्स आकार $n$ और विभाजन बीजगणित (division algebra) का केंद्र $Z(D) = \mathbb{Q}(\chi)$ की गणना करते हैं।
• विभाजन बीजगणित की पहचान (Division Algebra Identification): उन मामलों के लिए जहाँ शूर सूचकांक 2 है, सरल घटक एक गैर-कोम्यूटेटिव विभाजन रिंग (विशेष रूप से एक क्वार्टरनियन बीजगणित) पर मैट्रिक्स बीजगणित है। लेखक साइक्लिक बीजगणित नोटेशन (cyclic algebra notation) और हिल्बर्ट सिम्बल्स (Hilbert symbols) का उपयोग करके इन विभाजन बीजगणितों को स्पष्ट रूप से पहचानते हैं, और विशिष्ट पैरामीटर $(a, b)$ निर्धारित करते हैं जिससे बीजगणित $(a, b)_F$ के समरूप (isomorphic) हो।

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

यह शोध पत्र साहित्य में कई विशिष्ट योगदान देता है:

1. स्पष्ट सूत्र (Explicit Formulas): यह सभी $q$ के लिए $\mathbb{Q}SL_2(q)$ और $\mathbb{Q}PSL_2(q)$ के वेडरबर्न अपघटन के लिए क्लोज्ड-फॉर्म कॉम्बिनेटोरियल सूत्र प्रदान करता है। पिछले कार्यों में अक्सर केस-दर-केस गणना की आवश्यकता होती थी या वे विशिष्ट $q$ तक सीमित थे।
2. सरल मॉड्यूल का वर्गीकरण (Classification of Simple Modules): यह प्रत्येक संभव आयाम के लिए युग्म-असह रूप से गैर-समरूप (pairwise non-isomorphic) सरल $\mathbb{Q}G$-मॉड्यूल्स की सटीक संख्या निर्धारित करता है।
3. क्वार्टरनियन बीजगणित की पहचान (Quaternion Algebra Identification): $q$ विषम होने पर $SL_2(q)$ के लिए, लेखक उन क्वार्टरनियन बीजगणितों की स्पष्ट पहचान करते हैं जो अपघटन में दिखाई देते हैं, और लेजेंड्रे सिंबल (Legendre symbol) तथा अभाज्य $p$ के आधार पर स्प्लिट बीजगणित (मैट्रिक्स रिंग्स के समरूप) और विभाजन बीजगणित के बीच अंतर करते हैं।
4. $PSL_2(q)$ बनाम $SL_2(q)$ का प्रबंधन: शोध पत्र प्रोजेक्टिव समूह (जहाँ $Z(SL_2(q))$ को हटा दिया जाता है) के अपघटन को विशेष रैखिक समूह से सावधानीपूर्वक अलग करता है, विशेष रूप से यह उजागर करते हुए कि $PSL_2$ से $SL_2$ पर जाने पर शूर सूचकांक कैसे बदलते हैं।

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

A. मामला: $q$, 2 की घात है

इस मामले में, $SL_2(q) \cong PSL_2(q)$।

• अपघटन: बीजगणित साइक्लोटोमिक फील्ड $\mathbb{Q}(\zeta_d + \zeta_d^{-1})$ और परिमेय क्षेत्र $\mathbb{Q}$ पर मैट्रिक्स बीजगणितों के प्रत्यक्ष योग (direct sum) में विभाजित होता है।
• संरचना:
  $$\mathbb{Q}G \cong \mathbb{Q} \oplus M_q(\mathbb{Q}) \oplus \bigoplus_{d \in A} M_{q-1}(\mathbb{Q}(\zeta_d + \zeta_d^{-1})) \oplus \bigoplus_{d \in B} M_{q+1}(\mathbb{Q}(\zeta_d + \zeta_d^{-1}))$$
  जहाँ $A$ और $B$ क्रमशः $q+1$ और $q-1$ के विभाजकों के सेट हैं। सभी शूर सूचकांक 1 हैं।

B. मामला: $q$, एक विषम अभाज्य $p$ की घात है

यहाँ, $SL_2(q) \neq PSL_2(q)$, और परिणाम काफी भिन्न हैं।

1. $PSL_2(q)$ के लिए:

• सभी शूर सूचकांक 1 हैं।
• अपघटन में $\mathbb{Q}$, $\mathbb{Q}(\sqrt{\pm q})$, और साइक्लोटोमिक फील्ड्स पर मैट्रिक्स बीजगणित शामिल हैं।
• विशेष मामले:
  • यदि $q \equiv 3 \pmod 4$: एक घटक $M_{\frac{q-1}{2}}(\mathbb{Q}(\sqrt{-q}))$ दिखाई देता है।
  • यदि $q \equiv 1 \pmod 4$:
    • यदि $q$ एक वर्ग (square) नहीं है: $M_{\frac{q+1}{2}}(\mathbb{Q}(\sqrt{q}))$ दिखाई देता है।
    • यदि $q$ एक वर्ग है: $M_{\frac{q+1}{2}}(\mathbb{Q})$ की दो प्रतियां दिखाई देती हैं।

2. $SL_2(q)$ के लिए:

• शूर सूचकांक 1 या 2 हो सकते हैं।
• अपघटन अधिक जटिल है, जिसमें शूर सूचकांक 2 होने पर क्वार्टरनियन विभाजन बीजगणित (quaternion division algebras) शामिल हैं।
• $PSL_2(q)$ से मुख्य संरचनात्मक अंतर:
  • सेट $A, B$ को $A, A'$ और $B, B'$ में विभाजित किया गया है, इस आधार पर कि विभाजक $q \pm 1$ या $(q \pm 1)/2$ को विभाजित करता है या नहीं।
  • क्वार्टरनियन बीजगणित:
    • विषम सूचकांकों वाले कैरेक्टर्स के लिए, विभाजन बीजगणित $(\zeta_d - \zeta_d^{-1}, -q)_{\mathbb{Q}(\zeta_d + \zeta_d^{-1})}$ या इसी तरह के रूप में होते हैं।
    • "अपवाद संबंधी" कैरेक्टर्स (प्रिंसिपल और कॉम्प्लीमेंट्री सीरीज़) के लिए, विभाजन बीजगणित $q \pmod 4$ और $q$ के वर्ग होने पर निर्भर करते हैं।
    • उदाहरण: यदि $q \equiv 1 \pmod 4$ और $q$ एक वर्ग है, तो डिग्री $(q-1)/2$ वाले कैरेक्टर के संगत घटक में एक क्वार्टरनियन बीजगणित $D''$ शामिल है, जो $p$ पर निर्भर पैरामीटर्स (जैसे $(-1, -p)_{\mathbb{Q}}$ या $(-\ell, -p)_{\mathbb{Q}}$) द्वारा परिभाषित है।

5. महत्व (Significance)

• सैद्धांतिक पूर्णता (Theoretical Completeness): यह शोध पत्र $SL_2(q)$ और $PSL_2(q)$ जैसे मूलभूत समूहों के लिए परिमेय समूह बीजगणित के वर्गीकरण को पूरा करता है, जो लिथ प्रकार के सभी समूहों के निर्माण खंड (building blocks) हैं।
• कम्प्यूटेशनल उपयोगिता (Computational Utility): स्पष्ट सूत्र प्रदान करके, यह शोध पत्र इन विशिष्ट समूहों के लिए भारी कम्प्यूटेशनल बीजगणित प्रणालों की आवश्यकता को समाप्त करता है, जिससे उनके प्रतिनिधित्व सिद्धांत के तत्काल सैद्धांतिक विश्लेषण की अनुमति मिलती है।
• शूर सूचकांकों में अंतर्दृष्टि (Insight into Schur Indices): यह कार्य $SL_2(q)$ में शूर सूचकांकों के सूक्ष्म व्यवहार को उजागर करता है, यह प्रदर्शित करता है कि कैसे समूह का केंद्र परिमेय प्रतिनिधित्व सिद्धांत को प्रभावित करता है, जिससे गैर-तुच्छ विभाजन बीजगणित (क्वार्टरनियन बीजगणित) का उदय होता है जो प्रोजेक्टिव मामले में दिखाई नहीं देते हैं।
• आगे के अनुसंधान के लिए आधार (Foundation for Further Research): उपयोग की गई कॉम्बिनेटोरियल तकनीकें और विभाजन बीजगणितों की स्पष्ट पहचान अन्य लिथ प्रकार के समूहों के परिमेय समूह बीजगणितों के अध्ययन के लिए एक टेम्पलेट के रूप में कार्य करती हैं।

संक्षेप में, चौधरी और पांजा ने $SL_2(q)$ और $PSL_2(q)$ के जटिल कैरेक्टर डेटा को उनके परिमेय समूह बीजगणित के सटीक, कॉम्बिनेटोरियल विवरणों में सफलतापूर्वक अनुवादित किया है, उनके सरल घटकों की संरचना और संबंधित विभाजन रिंगों को हल किया है।