Notes on Leibniz $n$-algebras

तकनीकी सारांश: लेबनीज़ n-एल्जेब्रा पर नोट्स

समस्या विवरण
यह शोध पत्र लेबनीज़ $n$-एल्जेब्रा, लेबनीज़ एल्जेब्रा और नैम्बो (Nambu) एल्जेब्रा के सामान्यीकरण के रूप में लेबनीज़ $n$-एल्जेब्रा के संरचनात्मक और होमोलॉजिकल गुणों की जांच करता है। विशेष रूप से, लेखक विभिन्न अरिटी (arity) वाले लेबनीज़ एल्जेब्रा की श्रेणियों के बीच कार्य करने वाले दो मौलिक फंक्टर्स (functors)—सामान्यीकृत विस्मृति फंक्टर (generalized forgetful functor - $U_n^p$) और डलेत्स्की-ताख्तजान फंक्टर (Daletskii-Takhtajan functor - $D_q^p$)—के व्यवहार का विश्लेषण करते हैं। केंद्रीय समस्या यह निर्धारित करना है कि क्या ये फंक्टर्स "परफेक्ट" ऑब्जेक्ट्स (वे एल्जेब्रा जो अपने स्वयं के व्युत्पन्न उप-एल्जेब्रा के समान होते हैं), क्रियाओं (actions), और क्रॉस मॉड्यूल (crossed modules) को संरक्षित करते हैं। इसके अतिरिक्त, यह शोध पत्र लेबनीज़ $n$-एल्जेब्रा और उनके संबद्ध लेबनीज़ $p$-एल्जेब्रा (जहाँ $p = k(n-1) + 1$) के बीच होमोलॉजी और सार्वभौमिक केंद्रीय विस्तार (universal central extensions) के बीच संबंधों को स्थापित करने का प्रयास करता है।

कार्यप्रणाली
लेखक गैर-विषम-विषम (non-skew-symmetric) $n$-ary एल्जेब्रा के ढांचे के भीतर श्रेणी-सैद्धांतिक विधियों और स्पष्ट बीजगणितीय निर्माणों का उपयोग करते हैं।

1. फंक्टर विश्लेषण: अध्ययन एक सामान्यीकृत विस्मृति फंक्टर $U_n^p: n\text{Lb} \to p\text{Lb}$ को परिभाषित और विश्लेषित करता है, जो एक लेबनीज़ $n$-एल्जेब्रा $L$ को एक लेबनीज़ $p$-एल्जेब्रा प्रदान करता है जिसमें वही अंतर्निहित सदिश समष्टि (vector space) और एक पुनरावर्ती $p$-ary ब्रैकेट होता है। इसी प्रकार, एक सामान्यीकृत डलेत्स्की-ताख्तजान फंक्टर $D_q^p: q\text{Lb} \to p\text{Lb}$ को परिभाषित किया गया है, जो टेंसर शक्तियों ($L^{\otimes \kappa}$) के माध्यम से एक लेबनीज़ $q$-एल्जेब्रा को लेबनीज़ $p$-एल्जेब्रा में मैप करता है।
2. संरक्षण गुण: लेखक कठोरता से परीक्षण करते हैं कि क्या ये फंक्टर्स परफेक्ट ऑब्जेक्ट होने के गुण (परिभाषित है $L = [L^n]$) के साथ-साथ क्रियाओं और क्रॉस मॉड्यूल की संरचनाओं को संरक्षित करते हैं।
3. प्रति-उदाहरण निर्माण: डलेत्स्की-ताख्तजान फंक्टर की सीमाओं को संबोधित करने के लिए, लेखक पूर्णता (perfectness) के संरक्षण की विफलता को प्रदर्शित करने के लिए परिमित-आयामी ली (Lie) और लेबनीज़ एल्जेब्रा का उपयोग करके विशिष्ट प्रति-उदाहरणों का निर्माण करते हैं।
4. होमोलॉजिकल संबंध: शोध पत्र एक लेबनीज़ एल्जेब्रा $L$ की होमोलॉजी और $U_n(L)$ की लेबनीज़ $n$-होमोलॉजी के बीच चेन कॉम्प्लेक्स मॉर्फिज्म (chain complex morphisms) का निर्माण करता है।
5. सार्वभौमिक केंद्रीय विस्तार: गैर-अबेलियन टेंसर पावर निर्माण ($L^*_n$) का उपयोग करते हुए, लेखक परफेक्ट लेबनीज़ $n$-एल्जेब्रा के सार्वभौमिक केंद्रीय विस्तार का विश्लेषण करते हैं और लेबनीज़ $p$-एल्जेब्रा की श्रेणियों में उनके साथ तुलना करते हैं।

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

• विस्मृति फंक्टर्स द्वारा संरक्षण: शोध पत्र सिद्ध करता है कि सामान्यीकृत विस्मृति फंक्टर $U_n^p$ एक सटीक (exact) फंक्टर है जो परफेक्ट ऑब्जेक्ट्स को संरक्षित और प्रतिबिंबित करता है (प्रमेय 3.5)। फलस्वरूप, यदि एक लेबनीज़ $n$-एल्जेब्रा परफेक्ट है, तो $U_n^p$ के तहत उसका प्रतिबिंब एक परफेक्ट लेबनीज़ $p$-एल्जेब्रा होता है।
• क्रॉस मॉड्यूल तक विस्तार: लेखक प्रदर्शित करते हैं कि $U_n^p$ क्रॉस मॉड्यूल की श्रेणियों ($X_n\text{Lb} \to X_p\text{Lb}$) के बीच एक फंक्टर के रूप में विस्तारित होता है। वे सिद्ध करते हैं कि यदि $\mu: L \to P$ लेबनीज़ $n$-एल्जेब्रा का एक क्रॉस मॉड्यूल है, तो $U_n^p(\mu)$ लेबनीज़ $p$-एल्जेब्रा का एक क्रॉस मॉड्यूल होता है (प्रस्ताव 4.5)। इसमें क्रियाओं का संरक्षण भी शामिल है (लेम्मा 4.2)।
• डलेत्स्की-ताख्तजान संरक्षण की विफलता: विस्मृति फंक्टर के विपरीत, शोध पत्र स्थापित करता है कि डलेत्स्की-ताख्तजान फंक्टर $D_n$ (और इसका सामान्यीकरण $D_q^p$) सामान्यतः परफेक्ट ऑब्जेक्ट्स को संरक्षित नहीं करता है। लेखक एक परफेक्ट ली 3-एल्जेब्रा और विशिष्ट परफेक्ट लेबनीज़ एल्जेब्राओं को शामिल करते हुए स्पष्ट प्रति-उदाहरण (उदाहरण 5.1) प्रदान करते हैं जहाँ परिणामी टेंसर उत्पाद एल्जेब्रा परफेक्ट नहीं होता है।
• होमोलॉजिकल मॉर्फिज्म: एक ट्रिवियल को-रिप्रेजेंटेशन (trivial co-representation) में एक लेबनीज़ एल्जेब्रा $L$ की होमोलॉजी और एक लेबनीज़ $n$-एल्जेब्रा $U_n(L)$ की होमोलॉजी के बीच चेन कॉम्प्लेक्स का एक मॉर्फिज्म $h_*$ निर्मित किया गया है। लेखक दिखाते हैं कि यह मानचित्र आयाम 0 में एक आइसोमॉर्फिज्म (isomorphism) है और यदि $L$ परफेक्ट है तो एक एपिमॉर्फिज्म (epimorphism) है (प्रस्ताव 6.1)।
• सार्वभौमिक केंद्रीय विस्तार: शोध पत्र एक परफेक्ट लेबनीज़ $n$-एल्जेब्रा $L$ के सार्वभौमिक केंद्रीय विस्तार और लेबनीज़ $p$-एल्जेब्रा की श्रेणियों में उसके सार्वभौमिक केंद्रीय विस्तार के बीच संबंध का विश्लेषण करता है। यह दिखाया गया है कि $L$ के सार्वभौमिक केंद्रीय विस्तार पर $U_n^p$ लागू करने से $p\text{Lb}$ में एक केंद्रीय विस्तार प्राप्त होता है, जिससे एक अद्वितीय अधिरोपित (surjective) होमॉर्मोर्फिज्म $\phi: L^*_p \to L^*_n$ प्राप्त होता है (धारा 7)।

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

इसका महत्व होमोलॉजी और सार्वभौमिक केंद्रीय विस्तार में इन फंक्टर गुणों के अनुप्रयोग में निहित है। परिणाम स्पष्ट करते हैं कि गैर-अबेलियन टेंसर पावर (जो सार्वभौमिक केंद्रीय विस्तार का वर्णन करने के लिए एक प्रमुख उपकरण है) अरिटी में परिवर्तन के तहत कैसे व्यवहार करता है। विशेष रूप से, शोध पत्र $n$-एल्जेब्रा और $p$-एल्जेब्रा की श्रेणियों में एक परफेक्ट लेबनीज़ $n$-एल्जेब्रा के सार्वभौमिक केंद्रीय विस्तार के बीच संबंध का एक मूर्त विवरण प्रदान करता है, जो उनके संबंधित होमोलॉजी समूहों और टेंसर पावर को जोड़ने वाला एक कम्यूटेटिव डायग्राम (commutative diagram) प्रस्तुत करता है। यह कार्य लेबनीज़ $n$-एल्जेब्रा की संरचना सिद्धांत को स्थापित लेबनीज़ एल्जेब्रा और ली $n$-एल्जेब्रा के परिणामों के साथ एकीकृत करता है, जबकि लेबनीज़ संरचनाओं की गैर-विषम-विषम प्रकृति से उत्पन्न होने वाले विशिष्ट व्यवहारों को उजागर करता है।