Algorithms for determination of t-module structures on some extension groups

तकनीकी सारांश: कुछ विस्तार समूहों (Extension Groups) पर $t$-मॉड्यूल संरचनाओं के निर्धारण के लिए एल्गोरिदम

समस्या विवरण
यह शोध पत्र $A = \mathbb{F}_q[t]$ बहुपद वलय (polynomial ring) पर एंडरसन $t$-मॉड्यूल $\Phi$ और $\Psi$ के विस्तार समूह $\text{Ext}^1_\tau(\Phi, \Psi)$ पर $t$-मॉड्यूल संरचना निर्धारित करने की समस्या को संबोधित करता है। यद्यपि $t$-मॉड्यूल की श्रेणी योज्य (additive) है, इस श्रेणी के भीतर विस्तार समूहों की संरचना जटिल है। लेखकों और अन्यों (विशेष रूप से पपाोनिकोलस, रामाचंद्रन और लेखकों के पूर्व प्रकाशन [11, 17]) द्वारा विशिष्ट प्रकार के $t$-मॉड्यूल के लिए इन संरचनाओं की गणना करने की विधियाँ स्थापित की गई थीं, जो अक्सर $\deg_\tau \Phi > \deg_\tau \Psi$ की स्थिति पर निर्भर करती थीं। हालाँकि, मौजूदा दृष्टिकोण विशिष्ट मामलों (जैसे कि ड्रिंकलड मॉड्यूल या कारलिट्ज मॉड्यूल्स के टेंसर उत्पाद) तक ही सीमित थे और व्यापक वर्ग के $t$-मॉड्यूल के लिए लागू होने वाले एक एकीकृत, सामान्य एल्गोरिदम का अभाव था। इसके अतिरिक्त, यह पहचान की गई थी कि $\deg_\tau \Phi > \deg_\tau \Psi$ की स्थिति अकेले गणना के लिए आवश्यक रिडक्शन स्टेप्स (reduction steps) के निष्पादन योग्य होने की गारंटी देने के लिए अपर्याप्त है।

कार्यप्रणाली (Methodology)
लेखक "बाइडेरिवेशन" (biderivation) दृष्टिकोण का सामान्यीकरण करते हैं, जो विस्तार समूह $\text{Ext}^1_\tau(\Phi, \Psi)$ को बाइडेरिवेशंस के स्थान $\text{Der}(\Phi, \Psi)$ और आंतरिक बाइडेरिवेशंस के उप-स्थान $\text{Der}_{\text{in}}(\Phi, \Psi)$ के भागफल (quotient) के रूप में निरूपित करता है। मुख्य कार्यप्रणाली में एक $t$-रिडक्शन एल्गोरिदम का विकास शामिल है।

1. निरूपण (Representation): $\text{Ext}^1_\tau(\Phi, \Psi)$ के तत्वों को $\text{Mat}_{e \times d}(K\{\tau\})$ (जहाँ $K$ आधार क्षेत्र है) के मैट्रिसेस के वर्गों के रूप में पहचाना जाता है।
2. आधार निर्माण (Basis Construction): एल्गोरिदम आंतरिक बाइडेरिवेशंस के एक आधार की खोज करता है जो मनमाने बाइडेरिवेशंस को एक विशिष्ट उप-स्थान $\text{Mat}_{e \times d}(K\{\tau\})_{<N}$ में रिड्यूस करने की अनुमति देता है, जहाँ $N$ डिग्री बाउंड्स का एक मैट्रिक्स है।
3. रिडक्शन प्रक्रिया (Reduction Process): एल्गोरिदम बाइडे डेरिवेशन के मैट्रिक्स निरूपण में $\tau$-पॉलीनोमियल्स की डिग्री को उपयुक्त आंतरिक बाइडेरिवेशंस को घटाकर पुनरावृत्ति (iteratively) के माध्यम से कम करता है। यह प्रक्रिया $\Phi$ के उच्चतम $\tau$-डिग्री पर अग्रणी गुणांक मैट्रिक्स (leading coefficient matrix) की व्युत्क्रमणीयता (invertibility) पर निर्भर करती है।
4. संरचना निर्धारण (Structure Determination): एक बार जब स्थान (space) रिड्यूस हो जाता है, तो $t$ द्वारा गुणन (जो $t$-मॉड्यूल संरचना है) की क्रिया को रिड्यूस्ड स्पेस के जनरेटरों पर कंप्यूट किया जाता है। परिणामी मैट्रिक्स $\Pi_t$ विस्तार समूह पर $t$-मॉड्यूल संरचना को परिभाषित करता है।

शोध पत्र में $t$-मॉड्यूल्स के लिए $\tau$-कंपोजिशन सीरीज़ ($\tau$-composition series) की अवधारणा भी पेश की गई है। यह लेखकों को उन $t$-मॉड्यूल्स तक अपने एल्गोरिदम का विस्तार करने की अनुमति देता है जो अनिवार्य रूप से सरल (simple) नहीं हैं, लेकिन उन्हें $\tau$-सरल उप-भागों (विशेष रूप से ड्रिंकलड मॉड्यूल्स) के एक अनुक्रम में विघटित किया जा सकता है जो कुछ डिग्री और होमोमोर्फिज्म शर्तों को पूरा करते हैं।

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

• सामान्यीकृत $t$-रिडक्शन एल्गोरिदम: शोध पत्र $\deg_\tau \Phi > \deg_\tau \Psi$ की स्थिति के तहत $\text{Ext}^1_\tau(\Phi, \Psi)$ पर $t$-मॉड्यूल संरचना की गणना के लिए एक पूर्ण एल्गोरिदम (एल्गोरिदम 1–4) प्रस्तुत करता है।
• निष्पादन हेतु पर्याप्त स्थितियाँ: लेखक प्रदर्शित करते हैं कि केवल डिग्री की स्थिति अपर्याप्त है। वे सिद्ध करते हैं कि यदि $\Phi_t$ में उच्चतम $\tau$-घात पर मैट्रिक्स $A_n$ व्युत्क्रमणीय (invertible) है, तो एल्गोरिदम निष्पादन योग्य है, और परिणामी संरचना एक वैध $t$-मॉड्यूल है (प्रमेय 4.1)।
• कंपोजिशन सीरीज़ के माध्यम से विस्तार: $\tau$-सरलता और $\tau$-कंपोजिशन सीरीज़ को परिभाषित करके, लेखक दिखाते हैं कि यदि $\Phi$ और $\Psi$ विशिष्ट डिग्री बाधाओं ($\deg_\tau \sigma_i > \deg_\tau \bar{\sigma}_j$) और शून्य होने वाली Hom-शर्तों को पूरा करने वाले ड्रिंकलड मॉड्यूल उप-भागों के साथ कंपोजिशन सीरीज़ रखते हैं, तो $t$-रिडक्शन एल्गोरिदम निष्पादन योग्य रहता है (प्रमेय 5.2, कोरोलरी 5.3)। यह कंप्यूट करने योग्य $t$-मॉड्यूल्स के वर्ग को महत्वपूर्ण रूप से बढ़ाता है।
• सटीक सूत्र (Exact Formulas): दो ड्रिंकलड मॉड्यूल्स $\phi$ और $\psi$ के विशिष्ट मामले के लिए, जहाँ $\deg_\tau \phi > \deg_\tau \psi$ है, लेखक मैट्रिक्स $\Pi_t$ के लिए स्पष्ट, हालांकि जटिल, सूत्र प्राप्त करते हैं (अनुभाग 6)। ये सूत्र पुनरावृत्ति रिडक्शन स्टेप्स चलाने के बिना सीधे गुणांकों की गणना करने की अनुमति देते हैं।
• पूर्णांक गुणांक और डिग्री: सटीक सूत्रों का उपयोग करते हुए, शोध पत्र उन स्थितियों को निकालता है जिनके तहत परिणामी $t$-मॉड्यूल के गुणांक पूर्णांक होते हैं (प्रपोजिशन 6.1) और $\phi$ तथा $\psi$ की डिग्री के आधार पर विस्तार समूह $\text{Ext}^1_\tau(\phi, \psi)$ की सटीक डिग्री की गणना करता है (प्रपोजिशन 6.2)।
• कार्यान्वयन (Implementation): शोध पत्र में एल्गोरिदम के लिए स्यूडो-कोड (pseudo-code) शामिल है और कंप्यूट किए गए उदाहरणों के साथ मैथेमैटिका (Mathematica) 13.2 में एक कार्यान्वयन का उल्लेख किया गया है (परिशिष्ट)।

महत्व और दावे
शोध पत्र का दावा है कि वह विस्तार समूहों पर $t$-मॉड्यूल संरचनाओं को निर्धारित करने के लिए एक व्यवस्थित और सामान्यीकरण योग्य ढांचा प्रदान करता है, जो पिछले साहित्य में हैंडल किए गए विशिष्ट मामलों से आगे बढ़ता है। $t$-रिडक्शन एल्गोरिदम और $\tau$-कंपोजिशन सीरीज़ अवधारणा की शुरूआत इन संरचनाओं को पहले की तुलना में व्यापक वर्ग के $t$-मॉड्यूल्स के लिए प्रभावी ढंग से कंप्यूट करने की अनुमति देती है। लेखक इस बात पर जोर देते हैं कि जबकि सटीक सूत्रों का सामान्य मामला अक्सर बहुत अधिक विस्तृत (tedious) होता है, उनका एल्गोरिथम दृष्टिकोण गणना के लिए एक व्यावहारिक विधि प्रदान करता है। यह कार्य $t$-मॉड्यूल्स की योज्य श्रेणी में एक तकनीकी प्रगति के रूप में कार्य करता है, जो ड्रिंकलड मॉड्यूल्स और $t$-मॉड्यूल्स के व्यापक सिद्धांत के लिए महत्वपूर्ण बुनियादी संरचनाओं जैसे विस्तार समूहों की जांच करने के उपकरण प्रदान करता है। शोध पत्र के अंत में एक सुधार (Corrigendum) जोड़ा गया है, जो मूल पाठ के विशिष्ट तकनीकी सुधारों को संबोधित करता है।