Complete and cocomplete Lie algebras with injective- and projective-type properties

तकनीकी सारांश: पूर्ण (Complete) और पूर्ण-अपूर्ण (Cocomplete) ली बीजगणित: इंजेक्टिव- और प्रोजेक्टिव-प्रकार के गुण

समस्या विवरण
यह शोध पत्र शून्य अभिलक्षण वाले क्षेत्र (field of characteristic zero) पर परिमित-विमीय ली बीजगणित (Lie algebras) के संरचनात्मक गुणों की जांच करता है, विशेष रूप से मॉड्यूल श्रेणी में पाए जाने वाले इंजेक्टिव (injective) और प्रोजेक्टिव (projective) वस्तुओं के अनुरूप अवधारणाओं की खोज करता है। मॉड्यूल सिद्धांत में, इंजेक्टिव और प्रोजेक्टिव वस्तुएं लघु सटीक अनुक्रमों (short exact sequences) के विभाजन द्वारा अभिलक्षित होती हैं। लेखक इस बात पर विचार करते हैं कि क्या ली बीजगणित की श्रेणी में समान अभिलक्षण मौजूद हैं। एक मौलिक जटिलता यह उत्पन्न होती है क्योंकि ली बीजगणित की श्रेणी अबबेलियन (abelian) नहीं है; फलस्वरूप, विस्तार (extensions) दो अलग-अलग प्रकार के विभाजन को स्वीकार करते हैं:

1. अर्ध-तुच्छ विभाजन (Semi-trivial splitting): विस्तार $0 \to A \to B \to C \to 0$ एक अर्ध-प्रत्यक्ष योग (semidirect sum) के रूप में विभाजित होता है $B \cong A \rtimes_\rho C$, जहाँ $\rho$ एक क्रिया है।
2. तुच्छ विभाजन (Trivial splitting): विस्तार एक प्रत्यक्ष योग (direct sum) के रूप में विभाजित होता है $B \cong A \oplus_{\text{Lie}} C$।

केंद्रीय प्रश्न ये हैं: $A$ पर किन शर्तों के तहत $A$ द्वारा किया गया प्रत्येक विस्तार तुच्छ रूप से विभाजित होता है? $C$ पर किन शर्तों के तहत $C$ का प्रत्येक विस्तार तुच्छ रूप से विभाजित होता है?

कार्यप्रणाली
लेखक संरचनात्मक ली बीजगणित सिद्धांत, होमोलॉजिकल बीजगणित (homological algebra), और एल्गोरिद्मिक गणना के संयोजन का उपयोग करते हैं।

• संरचनात्मक विश्लेषण: शोध पत्र विस्तार गुणों का विश्लेषण करने के लिए लेवी के प्रमेय (Levi's theorem) और अडो के प्रमेय (Ado's theorem) का उपयोग करता है। यह सामान्य विस्तारों और केंद्रीय विस्तारों (जहाँ कर्ण/kernel कुल बीजगणित के केंद्र में स्थित होता है) के बीच अंतर करता है।
• होमोलॉजिकल अभिलक्षण: अध्ययन ली बीजगणित कोहोमोलॉजी (cohomology) का लाभ उठाता है, विशेष रूप से दूसरे कोहोमोलॉजी समूह $H^2(C, K)$ का उपयोग करके विभाजन गुणों को अभिलक्षित करता है। लेखक विभाजन होमोमोर्फिज्म (homomorphisms) के अस्तित्व के लिए कोहोमोलॉजी समूहों के शून्य होने को जोड़ते हैं।
• लिफ्टिंग गुण (Lifting Properties): शोध पत्र विभाजन की शर्तों को होमोमोर्फिज्म के लिफ्टिंग गुणों के रूप में पुनर्गठित करता है, जो मॉड्यूल की परिभाषाओं के समानांतर है, लेकिन ली बीजगणित के विशिष्ट बाधाओं (जैसे कि आदर्श और व्युत्पन्न/derivations) के अनुकूल है।
• एल्गोरिद्मिक कार्यान्वयन: लेखक पूर्णता और पूर्ण-अपूर्णता को सत्यापित करने के लिए संरचना स्थिरांकों (structure constants) पर आधारित स्पष्ट एल्गोरिदम विकसित करते हैं। ये एल्गोरिदम केंद्र, व्युत्पन्न (derivations), और 2-रूपों (2-forms) के कॉबाउंड्री ऑपरेटर (coboundary operator) की परिभाषाओं से प्राप्त रैखिक प्रणालियों को हल करते हैं।
• वर्गीकरण: इन विधियों को वास्तविक और जटिल क्षेत्रों पर विमा 4 तक के पूर्ण और पूर्ण-अपूर्ण ली बीजगणितों को वर्गीकृत करने के लिए लागू किया गया है।

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

1. इंजेक्टिव-प्रकार के गुण और पूर्ण ली बीजगणित (प्रमेय 1):
   शोध पत्र जैकोबसन के शास्त्रीय प्रमेय के विलोम को स्थापित करता है। यह सिद्ध करता है कि एक ली बीजगणित $A$ पूर्ण (complete) (तुच्छ केंद्र और केवल आंतरिक व्युत्पन्न) है यदि और केवल यदि किसी भी ली बीजगणित $C$ द्वारा $A$ का प्रत्येक विस्तार तुच्छ रूप से विभाजित होता है।

• यह पूर्णता को एक "इंजेक्टिव-प्रकार" के गुण के रूप में पहचानता है।
• लेखक चार समतुल्य अभिलक्षण प्रदान करते हैं, जिसमें एक होमोमोर्फिज्म-लिफ्टिंग गुण शामिल है। महत्वपूर्ण रूप से, वे प्रदर्शित करते हैं कि यह लिफ्टिंग गुण यह आवश्यक बनाता है कि स्रोत मानचित्र (source map) का प्रतिबिंब लक्ष्य (target) का एक प्रत्यक्ष ली उपखंड (direct Lie summand) हो, जो कि पूर्ण श्रेणीगत इंजेक्टिविटी (categorical injectivity) की तुलना में कड़ाई से कमजोर स्थिति है (जैसा कि उदाहरण 3.5 में दिखाया गया है)।
• पूर्णता को सत्यापित करने के लिए एक एल्गोरिदम (एल्गोरिदम 1) प्रदान किया गया है जो यह जाँचता है कि क्या केंद्र तुच्छ है और क्या व्युत्पन्न बीजगणित की विमा ली बीजगणित की विमा के बराबर है।

2. वैश्विक प्रोजेक्टिव वस्तुओं का अस्तित्व न होना (प्रमेय 2):
   शोध पत्र सिद्ध करता है कि कोई भी गैर-तुच्छ ली बीजगणित वैश्विक "प्रोजेक्टिव-प्रकार" का गुण नहीं रखता है। विशेष रूप से, प्रत्येक गैर-तुच्छ ली बीजगणित $C$ के लिए, $A$ नामक किसी ली बीजगणित द्वारा एक ऐसा विस्तार मौजूद है जो तुच्छ रूप से विभाजित नहीं होता है। यह ली बीजगणित की श्रेणी में इंजेक्टिव और प्रोजेक्टिव पहलुओं के बीच एक संरचनात्मक विषमता को प्रकट करता है।

3. पूर्ण-अपूर्ण (Cocomplete) ली बीजगणित और केंद्रीय विस्तार (प्रमेय 3 और 4):
   एक प्रोजेक्टिव समानांतर को पुनः प्राप्त करने के लिए, लेखक केंद्रीय विस्तारों (central extensions) के दायरे को सीमित करते हैं।

• वे $C$ को पूर्ण-अपूर्ण (cocomplete) के रूप में परिभाषित करते हैं यदि $C$ का प्रत्येक केंद्रीय विस्तार तुच्छ रूप से विभाजित होता है।
• प्रमेय 3 पूर्ण-अपूर्णता के लिए समतुल्य अभिलक्षण प्रदान करता है, जिसमें $C$ से होमोमोर्फिज्म के लिए लिफ्टिंग गुण शामिल है जहाँ लक्ष्य मानचित्र का कर्ण (kernel) केंद्रीय होता है।
• प्रस्ताव 4.6 कोहोमोलॉजिकल मानदंड स्थापित करता है: $C$ पूर्ण-अपूर्ण है यदि और केवल यदि $H^2(C, K) = 0$। यह दर्शाता है कि सभी अर्ध-सरल (semisimple) ली बीजगणित पूर्ण-अपूर्ण हैं।
• प्रस्ताव 4.8 प्रत्यक्ष योगों के तहत पूर्ण-अपूर्णता की स्थिरता का विश्लेषण करता है, यह दिखाते हुए कि एक प्रत्यक्ष योग पूर्ण-अपूर्ण है यदि और केवल यदि सभी घटक पूर्ण-अपूर्ण हैं और उनमें से कम से कम $m-1$ पूर्ण (perfect) हैं।

4. लगभग अबेलियन मामला (प्रमेय 4):
   शोध पत्र एक 'लगभग अबेलियन' ली बीजगणित (एक व्युत्पन्न $D$ द्वारा एक अबेलियन आदर्श के 1-विमीय विस्तार) के पूर्ण-अपूर्ण होने के लिए एक आवश्यक और पर्याप्त स्पेक्ट्रल स्थिति प्रदान करता है। बीजगणित पूर्ण-अपूर्ण है यदि और केवल यदि $D$ एक ऑटोमोर्फिज्म (automorphism) है और $\lambda, \mu$ का कोई जोड़ा ऐसा नहीं है कि $D$ के आइगेन मान (eigenvalues) $\lambda + \mu = 0$ को संतुष्ट करते हों।

5. संगणनात्मक परिणाम:
   विकसित एल्गोरिदम का उपयोग करते हुए, लेखक वास्तविक और जटिल क्षेत्रों पर विमा $\le 4$ के सभी पूर्ण और पूर्ण-अपूर्ण ली बीजगणितों को सूचीबद्ध करते हैं। वे नोट करते हैं कि जबकि अर्ध-सरल बीजगणित पूर्ण और पूर्ण-अपूर्ण दोनों हैं, पूर्ण-अपूर्ण बीजगणितों का वर्ग स्पष्ट रूप से बड़ा है (उदाहरण के लिए, इसमें एफाइन ली बीजगणित शामिल है)। इसके विपरीत, कोई भी गैर-अबेलियन निलबेंट (nilpotent) ली बीजगणित पूर्ण-अपूर्ण नहीं है।

महत्व
शोध पत्र यह दावा करता है कि वह ली बीजगणित की श्रेणी में इंजेक्टिव और प्रोजेक्टिव समानांतरों के प्रश्न को वैश्विक और प्रतिबंधित (केंद्रीय) संदर्भों के बीच अंतर करके हल करता है।

• यह स्पष्ट करता है कि पूर्णता (completeness) सामान्य विस्तारों के तुच्छ विभाजन के संबंध में "इंजेक्टिव-प्रकार" के व्यवहार के लिए सटीक संरचनात्मक स्थिति है, हालांकि यह पूर्ण श्रेणीगत इंजेक्टिविटी से कड़ाई से कमजोर है।
• यह प्रदर्शित करता है कि एक वैश्विक "प्रोजेक्टिव-प्रकार" वस्तु का अस्तित्व नहीं है, जिसके लिए केंद्रीय विस्तारों तक सीमित एक द्वैत अवधारणा, पूर्ण-अपूर्णता (cocompleteness) को पेश करना आवश्यक है।
• यह कार्य संरचनात्मक ली सिद्धांत को होमोलॉजिकल बीजगणित के साथ जोड़ता है, स्पष्ट कोहोमोलॉजिकल मानदंड ($H^2(C, K)=0$) और इन वर्गों की पहचान करने के लिए व्यावहारिक एल्गोरिदम प्रदान करता है।
• निम्न-विमीय उदाहरणों का वर्गीकरण आगे के अध्ययन के लिए एक आधारभूत डेटासेट के रूप में कार्य करता है, जो अर्ध-सरलता, निलबेंटता और विस्तारों के विभाजन के बीच परस्पर क्रिया को उजागर करता है।