Weak representability of actions of non-associative algebras

तकनीकी सारांश: गैर-साहचर्य बीजगणकीय क्रियाओं की दुर्बल प्रतिनिधित्व क्षमता (Weak Representability of Actions of Non-Associative Algebras)

समस्या विवरण
यह शोध पत्र एक क्षेत्र (field) के ऊपर गैर-साहचर्य बीजगणक (non-associative algebras) की किस्मों (varieties) के भीतर कैटेगोरिकल-बीजगणकीय स्थिति दुर्बल क्रिया प्रतिनिधित्व (weak representability of actions - WRA) की जांच करता है। अर्ध-एबेलियन श्रेणियों (semi-abelian categories) में, आंतरिक क्रियाएं (internal actions) विभाजित विस्तारों (split extensions) के अनुरूप होती हैं। एक श्रेणी 'क्रिया प्रतिनिधित्व योग्य' (action representable) तब होती है जब, प्रत्येक वस्तु $X$ के लिए, विभाजित विस्तारों का फंक्टर $\text{SplExt}(-, X)$, किसी वस्तु $[X]$ (अभिनेता/actor) के लिए $\text{Hom}(-, [X])$ के स्वाभाविक रूप से समाकृतिक (naturally isomorphic) हो। जबकि ली बीजगणक (Lie algebras) और समूह (groups) क्रिया प्रतिनिधित्व योग्य हैं, कई अन्य किस्में (जैसे साहचर्य बीजगणक/associative algebras) नहीं हैं।

लेखक दुर्बल प्रतिनिधित्व (weak representability) की एक मध्यवर्ती अवधारणा पर ध्यान केंद्रित करते हैं, जिसे जी. जेनालिजे (G. Janelidze) द्वारा पेश किया गया था। एक श्रेणी WRA है यदि, प्रत्येक वस्तु $X$ के लिए, एक वस्तु $T$ (एक दुर्बल अभिनेता/weak actor) मौजूद है और फंक्टरों का एक मोनोमोर्फिज्म (monomorphism) $\tau: \text{SplExt}(-, X) \hookrightarrow \text{Hom}(-, T)$ उपलब्ध है। इस शोध का उद्देश्य है:

1. यह लक्षण वर्णन करना कि कौन सी ऑपेरेटिक, द्विघाती किस्में (operadic, quadratic varieties) विशेष रूप से डिग्री-2 पहचानों (identities) वाली गैर-साहचर्य बीजगणकीय किस्में WRA हैं।
2. इन किस्मों के लिए एक विशिष्ट "बाह्य दुर्बल अभिनेता" (external weak actor) $E(X)$ का निर्माण करना, जो एक आंशिक बीजगणक संरचना (partial algebra structure) प्रदान करता है जो $U(-), E(X)$ के $\text{Hom}$ में एक मोनोमोर्फिज्म के माध्यम से क्रियाओं का प्रतिनिधित्व करता है, जहाँ $U$ विस्मरण फंक्टर (forgetful functor) है।

कार्यप्रणाली
लेखक अर्ध-एबेलियन श्रेणियों और बहुपद पहचानों (polynomial identities) द्वारा परिभाषित गैर-साहचर्य बीजगणकों की किस्मों के ढांचे के भीतर कार्य करते हैं। उनकी कार्यप्रणाली में शामिल है:

• $\lambda/\mu$-नियमों के माध्यम से वर्गीकरण: वे साहचर्य सुलभ (action accessible) किस्मों (जो WRA के लिए आवश्यक हैं) के वर्गीकरण के लिए विशिष्ट रैखिक पहचानों ($\lambda/\mu$-नियमों) का उपयोग करते हैं जो एसोसिएटर (associator) को चरों के क्रमपरिवर्तन (permutations of variables) से संबंधित करती हैं।
• व्युत्पन्न क्रियाओं (Derived Actions) का विश्लेषण: वे विशिष्ट किस्म की पहचानों को संतुष्ट करने वाले द्विपद मानचित्रों (bilinear maps) $l: B \times X \to X$ और $r: X \times B \to X$ का अध्ययन करके विभाजित विस्तारों $0 \to X \to A \to B \to 0$ का विश्लेषण करते हैं।
• बाह्य दुर्बल अभिनेताओं का निर्माण: एक दी गई किस्म $V$ और वस्तु $X$ के लिए, वे $\text{End}(X)^2$ के भीतर एक सदिश स्थान (vector space) $E(X)$ को उन मानचित्रों के युग्मों $(f \cdot -, - \cdot f)$ के रूप में परिभाषित करते हैं जो $X$ के तत्वों पर लागू होने पर किस्म की पहचानों को संतुष्ट करते हैं।
• आंशिक बीजगणक संरचना: वे $\lambda/\mu$-नियमों द्वारा प्रेरित एक द्विपद आंशिक संक्रिया (bilinear partial operation) $\langle -, - \rangle$ के साथ $E(X)$ को सुसज्जित करते हैं। यह संरचना उन्हें विभाजित विस्तारों को आंशिक बीजगणकों के होमोमोर्फिज्म में मैप करने की अनुमति देती है।
• संयोजन गुण (Amalgamation Properties): क्रमविनिमेय साहचर्य बीजगणकों (commutative associative algebras) के मामले में, वे संयोजन गुण (AP) से संबंध स्थापित करते हैं, विशेष रूप से यह सिद्ध करते हुए कि यदि मल्टीप्लायर बीजगणक $M(X)$ के क्रमविनिमेय उप-बीजगणकों का एक आरेख साहचर्य बीजगणकों की श्रेणी में एक अमलग (amalgam) स्वीकार करता है, तो वह भी स्वीकार करेगा।
• द्विघाती मामले के लिए एल्गोरिदम: द्विघाती किस्मों के लिए, वे डिग्री-3 पहचानों के मैट्रिक्स के रिड्यूस्ड रो एचेलोन फॉर्म (reduced row echelon form) का उपयोग करके $E(X)$ पर प्रतिबंधों और संभावित रूप से आंशिक गुणन की परिभाषाओं को निर्धारित करने के लिए एक व्यवस्थित एल्गोरिदम का उपयोग करते हैं।

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

1. द्विघाती किस्मों का वर्गीकरण:
   शोध पत्र क्रिया सुलभ, ऑपेरेटिक, द्विघाती किस्मों का पूर्ण वर्गीकरण प्रदान करता है जिनके पास डिग्री-2 पहचानें हैं। यह सिद्ध करता है कि निम्नलिखित दुर्बल क्रिया प्रतिनिधित्व योग्य (weakly action representable) हैं:

   • क्रमविनिमेय साहचर्य बीजगणक ($\text{CAssoc}$)।
   • दो-चरणीय निलिप्त क्रमविनिमेय बीजगणक ($\text{Nil}_2(\text{Com})$)।
   • दो-चरणीय निलिप्त प्रति-क्रमविनिमेय बीजगणक ($\text{Nil}_2(\text{ACom})$)।
   • यह दिखाया गया है कि जैकोबी-जोर्डन बीजगणक ($\text{JJord}$) एंटी-डेरिवेशंस के आंशिक बीजगणक के माध्यम से दुर्बल रूप से प्रतिनिधित्व योग्य है।

2. क्रमविनिमेय साहचर्य बीजगणक और संयोजन:
   लेखक सिद्ध करते हैं कि $\text{CAssoc}$ WRA है। वे एक आवश्यक और पर्याप्त शर्त स्थापित करते हैं: एक दुर्बल प्रतिनिधित्व तभी मौजूद होता है जब मल्टीप्लायर बीजगणक $M(X)$ के क्रमविनिसीय उप-बीजगणकों का एक आरेख $\text{CAssoc}$ में अमलग स्वीकार करता है। वे सिद्ध करते हैं कि यदि ऐसा अमलग साहचर्य बीजगणकों ($\text{Assoc}$) की बड़ी श्रेणी में मौजूद है, तो वह $\text{CAssoc}$ में भी अनिवार्य रूप से मौजूद होगा।

3. बाह्य दुर्बल अभिनेता $E(X)$ का निर्माण:
   शोध पत्र एक बाह्य दुर्बल अभिनेता $E(X)$ को प्रस्तुत करता है, जो किस्म की पहचानों को संतुष्ट करने वाले एंडोमोर्फिज्म के युग्मों के सदिश स्थान से निर्मित एक आंशिक बीजगणक है।

   • वे फंक्टरों का एक मोनोमोर्फिज्म $\text{SplExt}(-, X) \hookrightarrow \text{Hom}_{\text{PAlg}}(U(-), E(X))$ सिद्ध करते हैं।
   • यदि $E(X)$ किस्म $V$ की एक वस्तु है (अर्थात, आंशिक संक्रिया पूर्ण है और पहचानों को संतुष्ट करती है), तो $E(X)$ $V$ में एक दुर्बल अभिनेता के रूप में कार्य करता है।
   • वे इसे यूनिवर्सल स्ट्रिक्ट जनरल एक्टर (USGA) से जोड़ते हैं, यह नोट करते हुए कि $E(X)$ को बनाना अक्सर आसान होता है और इसे विशिष्ट संदर्भों में USGA के "बीजगणकीय क्लोजर" (algebraic closure) के रूप में देखा जा सकता है।

4. विशिष्ट उदाहरण और गणनाएँ:

   • ली बीजगणक (Lie Algebras): $E(X) \cong \text{Der}(X)$ (अभिनेता)।
   • लेबनिज बीजगणक (Leibniz Algebras): $E(X) \cong \text{Bider}(X)$ (दुर्बल अभिनेता)।
   • वैकल्पिक बीजगणक (Alternative Algebras): यूनिटल वैकल्पिक बीजगणकों (जैसे ऑक्टोनियन्स) के लिए, $E(X) \cong X$, जो दर्शाता है कि वे क्रिया प्रतिनिधित्व योग्य हैं।
   • निलिप्त बीजगणक (Nilpotent Algebras): $k$-चरणीय निलिप्त साहचर्य बीजगणकों (जहाँ $k \ge 3$) के लिए, $E(X)$ एक साहचर्य बीजगणक है लेकिन सामान्यतः $k$-चरणीय निलिप्त नहीं है, जो सुझाव देता है कि ये उप-किस्में शायद WRA नहीं हैं (एक खुला प्रश्न)।
   • द्विघाती किस्में: लेखक $E(X)$ की संरचना और उसके गुणन के मापदंडों को निर्धारित करने के लिए एक एल्गोरिथम दृष्टिकोण प्रदान करते हैं, जिसे सिमेट्रिक लेबनिज बीजगणक और पॉइसन बीजगणक जैसे उदाहरणों के साथ स्पष्ट किया गया है।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह ली बीजगणक और समूहों की सख्त स्थिति से परे क्रिया प्रतिनिधित्व की समझ को आगे बढ़ाता है। बाह्य दुर्बल अभिनेता $E(X)$ को पेश करके, लेखक उन किस्मों में क्रियाओं का अध्ययन करने के लिए एक ठोस, गणनीय उपकरण प्रदान करते हैं जहाँ एक सख्त अभिनेता मौजूद नहीं होता है।

इसका महत्व यहाँ है:

• दायरे का विस्तार: महत्वपूर्ण गैर-साहचर्य किस्मों, जैसे कि क्रमविनिमेय साहचर्य बीजगणकों को दुर्बल क्रिया प्रतिनिधित्व योग्य सिद्ध करना, जो सख्त स्थिति (action representability) में विफल रहते हैं।
• अवधारणाओं को जोड़ना: अमूर्त कैटेगोरिकल परिभाषाओं और ठोस बीजगणकीय निर्माणों (आंशिक बीजगणक, मल्टीप्लायर, और संयोजन) के बीच के अंतर को पाटना।
• व्यवस्थित दृष्टिकोण: किसी भी ऑपेरेटिक द्विघाती किस्म के लिए क्रियाओं के प्रतिनिधित्व का विश्लेषण करने के लिए एक सामान्य विधि ($\lambda/\mu$-नियमों और मैट्रिक्स रिडक्शन के माध्यम से) प्रदान करना।

लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि उन्होंने कई द्विघाती मामलों का वर्गीकरण किया है, लेकिन उप-किस्मों (विशेष रूप से उच्च-डिग्री पहचानों के लिए) के तहत WRA का व्यवहार और ऐसी क्रिया सुलभ किस्मों का अस्तित्व जो दुर्बल रूप से क्रिया प्रतिनिधित्व योग्य नहीं हैं, अभी भी खुले प्रश्न हैं। वे आदर्श रूप से सटीक श्रेणियों (ideally exact categories) में यूनिटरी बीजगणकों के अध्ययन के लिए अपने निर्माण की क्षमता को भी रेखांकित करते हैं।