🔢 mathematics

Free Reductive Lie Algebra Pairs of Lie-Yamaguti algebras

यह शोध पत्र एनवेलपिंग अलजेब्रा (enveloping algebra) निर्माण की गैर-फंक्टोरियलिटी (non-functoriality) को संबोधित करने के लिए रिडक्टिव ली अलजेब्रा युग्मों (reductive Lie algebra pairs) से ली-यामागूटी अलजेब्रा (Lie-Yamaguti algebras) तक के रिस्ट्रिक्शन फंकटर (restriction functor) के लिए एक लेफ्ट एडजॉइंट (left adjoint) स्थापित करता है, जबकि यह प्रदर्शित करता है कि यह निर्माण सर्जेक्टिव मोरफिज्म्स (surjective morphisms) तक प्रतिबंधित होने पर एक राइट एडजॉइंट (right adjoint) बन जाता है।

मूल लेखक: Saïd Benayadii, Martin Bordemann, Friedrich Wagemann

प्रकाशित 2026-06-05

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Saïd Benayadii, Martin Bordemann, Friedrich Wagemann

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक ही जटिल ज्यामितीय आकार (जैसे कि एक मुड़ा हुआ पर्वत श्रृंखला) का वर्णन करने के दो अलग-अलग तरीकों को समझने की कोशिश कर रहे हैं।

दो भाषाएँ
यह शोध पत्र इन आकारों का वर्णन करने के लिए उपयोग की जाने वाली दो विशिष्ट "भाषाओं" के बीच अनुवाद के बारे में है:

"रिडक्टिव ली अल्जेब्रा पेयर" (RLP) भाषा: इसे इस तरह सोचें कि आप पूरे पर्वत को देखकर पहाड़ का वर्णन कर रहे हैं। आपके पास एक बड़ा पहाड़ (एक ली अल्जेब्रा), एक विशिष्ट शिखर (एक सब-अल्जेब्रा), और एक आस-पास की घाटी का तल (एक पूरक स्थान) है। यहाँ नियम सख्त हैं: घाटी का तल शिखर के चारों ओर घूमते समय अच्छी तरह से व्यवहार करना चाहिए।
"ली-यामागुती अल्जेब्रा" (LY) भाषा: यह एक अधिक अमूर्त (abstract) वर्णन है। पूरे पहाड़ को देखने के बजाय, आप केवल घाटी के तल को देखते हैं। आप इसे दो उपकरणों का उपयोग करके वर्णित करते हैं:
- एक मरोड़ (twist) (एक द्विपद संक्रिया/bilinear operation, जैसे कि दो रास्तों का एक-दूसरे को काटना)।
- एक वक्र (curve) (एक त्रिपद संक्रिया/trilinear operation, जैसे कि तीन रास्तों की अंतःक्रिया से एक मोड़ बनना)।
- यह सुनिश्चित करने के लिए कि ज्यामिति समझ में आए, इन उपकरणों को छह विशिष्ट नियमों (ट्रैफिक कानूनों की तरह) का पालन करना चाहिए।

समस्या: एकतरफा रास्ता
गणितज्ञ लंबे समय से पहाड़ के दृश्य (RLP) से घाटी के दृश्य (LY) में अनुवाद करने के बारे में जानते रहे हैं। यह आसान है: आप बस घाटी के तल को लेते हैं और मरोड़ (twist) और वक्र (curve) के नियम लिख देते हैं। यह एक सुचारू, विश्वसनीय अनुवाद है।

हालाँकि, दूसरे तरीके से जाना—अर्थात, घाटी के नियमों (LY) से शुरू करके पहाड़ (RLP) बनाना—एक दुस्वप्न रहा है।

पुरानी विधि ("एनवेलपिंग अल्जेब्रा"): घाटी से पहाड़ बनाने का एक प्रसिद्ध नुस्खा था। लेकिन लेखकों ने पाया कि इसमें एक घातक दोष है: यह एक अनुवादक के रूप में काम नहीं करता है। यदि आपके पास दो घाटियाँ हैं जो एक मानचित्र द्वारा जुड़ी हुई हैं, तो उस पुराने नुस्खे का उपयोग करके उनसे बनाए गए पहाड़ अक्सर उस संबंध को तोड़ देते हैं। यह ऐसा है जैसे आप ब्लूप्रिंट के आधार पर दो घर बनाते हैं, लेकिन भले ही ब्लूप्रिंट संगत (compatible) हों, फिर भी उनके दरवाजे आपस में मेल नहीं खाते। यह शोध पत्र एक विशिष्ट प्रति-उदाहरण (मैट्रिक्स से संबंधित) के साथ सिद्ध करता है कि पुराना तरीका "फंक्टोरियल" (गणितीय भाषा में "सुसंगत अनुवाद") होने में विफल रहता है।

समाधान 1: "फ्री" पर्वत (लेफ्ट एडजॉइंट)
चूंकि पुराना नुस्खा विफल रहा, इसलिए लेखकों ने घाटी से पर्वत में अनुवाद करने के लिए एक बिल्कुल नई, कस्टम मशीन बनाई।

निर्माण: वे घाटी को लेते हैं और एक "फ्री रिडक्टिव ली अल्जेब्रा पेयर" बनाते हैं। कल्पना करें कि आप घाटी को लेते हैं और उसके चारों ओर एक विशाल, अस्थायी मचान (scaffolding) बनाते हैं। वे अतिरिक्त "ब्रेसिंग" (गणितीय आइडियल्स) जोड़ते हैं ताकि जब आप इस नए पहाड़ को किसी अन्य पहाड़ के साथ मैप करने का प्रयास करें, तो दरवाजे हमेशा पूरी तरह से मेल खाएं।
परिणाम: यह नई मशीन एक लेफ्ट एडजॉइंट (Left Adjoint) है। सरल शब्दों में, यह घाटी के नियमों के लिए सबसे "जेनेरिक" या "यूनिवर्सल" पर्वत बनाती है। यह वह "शुद्धतम" पर्वत है जिसे आप उन नियमों से बना सकते हैं, जिसमें कोई अनावश्यक अतिरिक्त विशेषताएं नहीं हैं। यह अमूर्त घाटी से एक ठोस पर्वत संरचना तक एक आदर्श, एकतरफा पुल है।

समाधान 2: "सरजेक्टिव" सुधार (राइट एडजॉइंट)
लेखकों ने महसूस किया कि पुराना, टूटा हुआ नुस्खा (एनवेलपिंग अल्जेब्रा) पूरी तरह से बेकार नहीं था; बस इसे सख्त नियमों की आवश्यकता थी।

प्रतिबंध: उन्होंने केवल "सरजेक्टिव" (surjective) मानचित्रों की अनुमति देने का निर्णय लिया। इसे ऐसे सोचें कि आप केवल उन अनुवादों की अनुमति दे रहे हैं जहाँ कोई जानकारी खोई नहीं जाती है—गंतव्य का प्रत्येक हिस्सा स्रोत द्वारा कवर किया जाना चाहिए।
परिणाम: जब वे केवल इन "पूर्ण कवरेज" वाले मानचित्रों तक दुनिया को सीमित करते हैं, तो वह पुराना, टूटा हुआ नुस्खा अचानक काम करने लगता है! यह एक राइट एडजॉइंट (Right Adjoint) बन जाता है। अब, पुराना तरीका एक वैध अनुवादक है, लेकिन यह तभी काम करता है जब आप हर एक विवरण को बरकरार रखने का वादा करते हैं।

बड़ी तस्वीर
यह शोध पत्र इन दो दुनियाओं के बीच एक पूर्ण गणितीय संबंध स्थापित करता है:

घाटी से पर्वत तक: आप एक "फ्री पर्वत" (एक यूनिवर्सल निर्माण) बना सकते हैं जो नियमों का पूरी तरह से सम्मान करता है।
पर्वत से घाटी तक: आप हमेशा एक पर्वत को उसके घाटी के तल तक उतार सकते हैं।
संबंध: ये दोनों प्रक्रियाएं "एडजॉइंट्स" (adjoints) हैं। इसका अर्थ है कि ये एक ही सिक्के के दो पहलू हैं। यदि आप एक घाटी से एक फ्री पर्वत बनाते हैं, और फिर उसे वापस घाटी में उतार देते हैं, तो आपको वही मिलता है जिससे आपने शुरुआत की थी।

एक अंतिम नोट: "हाइजेनबर्ग" मरोड़
शोध पत्र उनके नए "फ्री पर्वत" और पुराने "एनवेलपिंग पर्वत" के बीच एक दिलचस्प अंतर की ओर इशारा करता है।

यदि आप एक "सपाट" घाटी (जहाँ कोई मरोड़ या वक्र नहीं है) से शुरू करते हैं, तो पुराना तरीका एक सपाट, उबाऊ पर्वत बनाता है।
हालाँकि, नया तरीका एक छिपा हुआ "हाइजेनबर्ग" संरचना (एक विशिष्ट प्रकार का मरोड़) वाला पर्वत बनाता है। यह एक सपाट कागज लेने और उसे एक जटिल 3D आकार में मोड़ने जैसा है ताकि अनुवाद के नियम बने रहें।

सारांश में
लेखकों ने दो गणितीय भाषाओं के बीच एक टूटे हुए अनुवाद उपकरण को ठीक किया है। उन्होंने अमूर्त नियमों से ठोस संरचनाओं तक जाने के लिए एक नया, सार्वभौमिक मशीन बनाया, और उन्होंने दिखाया कि पुराने, टूटे हुए मशीन को बचाया जा सकता है यदि आप सभी विवरणों को सुरक्षित रखने का वादा करते हैं। यह गणितज्ञों को सोचने के इन दो तरीकों के बीच स्वतंत्र रूप से घूमने की अनुमति देता है, यह जानते हुए कि उनका संबंध सुदृढ़ है।

तकनीकी सारांश: ली-यामागुती बीजगणक के मुक्त रिडक्टिव ली बीजगणक युग्म (Free Reductive Lie Algebra Pairs of Lie-Yamaguti Algebras)

समस्या विवरण
यह शोध पत्र दो प्रकार के बीजगणितीय ढांचों के बीच एक मौलिक श्रेणीगत विसंगति (categorical disconnect) को संबोधित करता है: रिडक्टिव ली बीजगणक युग्म (RLP) और ली-यामागुती (LY) बीजगणक। जबकि एक सुप्रसिद्ध निर्माण मौजूद है, जिसे $G'$ द्वारा दर्शाया गया है, जो एक RLP $(\mathfrak{g}, \mathfrak{h}, \mathfrak{m})$ को एक LY बीजगणक $(\mathfrak{m}, T, R)$ में मैप करता है, इसका विपरीत दिशा में कार्य करना समस्याग्रस्त है। विशेष रूप से, दिए गए LY बीजगणक $E$ के लिए "एनवेलपिंग ली बीजगणक" $\hat{\mathfrak{g}}(E)$ का शास्त्रीय निर्माण फंक्टोरियल (functorial) होने में विफल रहता है। लेखक प्रदर्शित करते हैं कि यह असाइनमेंट LY बीजगणकों से RLPs तक एक फंक्टर के रूप में विस्तारित नहीं किया जा सकता है क्योंकि यह सामान्य मामलों में मोर्फिज्म (morphisms) को संरक्षित नहीं करता है। केंद्रीय समस्या यह है कि इन श्रेणियों के बीच एक कठोर फंक्टोरियल संबंध स्थापित करना और एनवेलपिंग बीजगणक निर्माण की गैर-फंक्टोरियलिटी (non-functoriality) को हल करना।

कार्यप्रणाली
लेखक श्रेणी सिद्धांत (category theory), विशेष रूप से एडजॉइंट फंक्टर्स (adjoint functors) के सिद्धांत का उपयोग करते हुए, इन बीजगणितीय श्रेणियों के बीच के संबंध को पुनर्गठित करते हैं। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

प्रति-उदाहरण निर्माण (Counter-Example Construction): लेखक पहले एक स्पष्ट प्रति-उदाहरण (उदाहरण 4) प्रदान करते हैं जो यह दर्शाता है कि असाइनमेंट $E \mapsto \hat{\mathfrak{g}}(E)$ फंक्टोरियल नहीं है। वे ली ट्रिपल सिस्टम (LY बीजगणक का एक विशिष्ट प्रकार) का एक आरेख (diagram) निर्मित करते हैं जहाँ एक मोर्फिज्म $i$ और एक सुरजेक्शन (surjection) $p$ इस प्रकार संतुष्ट करते हैं कि $p \circ i = \text{id}$ । हालाँकि, इस आरेख पर एनवेलपिंग बीजगणक निर्माण लागू करने पर प्रेरित मानचित्रों (induced maps) की इंजेक्टिविटी (injectivity) और सरजेक्टिविटी (surjectivity) के संबंध में एक विरोधाभास उत्पन्न होता है, जो यह सिद्ध करता है कि ऐसा कोई फंक्टर $H: \text{LY} \to \text{RLP}$ मौजूद नहीं है।
एक लेफ्ट एडजॉइंट (मुक्त ऑब्जेक्ट) का निर्माण: सीधे फंक्टर के अभाव को दूर करने के लिए, लेखक एक LY बीजगणक द्वारा जनित एक "मुक्त" रिडक्टिव ली बीजगणक युग्म का निर्माण करते हैं।
- वे एक LY बीजगणक $(E, T, R)$ से प्रारंभ करते हैं और एक प्रारंभिक गैर-एसोसिएटिव बीजगणक $\tilde{\mathfrak{g}}(E) = E \oplus \Lambda^2 E$ का निर्माण करते हैं।
- $\tilde{\mathfrak{g}}(E)$ पर ब्रैकेट को LY ऑपरेशन्स $T$ और $R$ का उपयोग करके परिभाषित किया जाता है। यह दिखाया गया है कि यह ब्रैकेट लीबनीज पहचान (Leibniz identity) को संतुष्ट करता है लेकिन आवश्यक रूप से एंटी-सिमेट्रिक (antisymmetric) नहीं है।
- लेखक ली बीजगणक के अभिगृयों (axioms) के लिए विशिष्ट बाधाओं की पहचान करने के लिए लीबनीज बीजगणक के सिद्धांत का उपयोग करते हैं। वे दो-पक्षीय आइडियल्स (two-sided ideals) $\tilde{I}_1$ (एंटी-सिमेट्री की विफलता द्वारा जनित) और $\tilde{I}_2$ (LY अभिगृयों से प्राप्त विशिष्ट चक्रीय योग पहचानों द्वारा जनित) को परिभाषित करते हैं।
- $\tilde{\mathfrak{g}}(E)$ को आइडियल $\tilde{I}(E) = \tilde{I}_1 + \tilde{I}_2$ द्वारा कोटिएंट (quotient) करके, वे एक ली बीजगणक $\mathfrak{g}(E)$ प्राप्त करते हैं। इससे एक रिडक्टिव पेयर $(\mathfrak{g}(E), \mathfrak{h}(E), E)$ प्राप्त होता है, जहाँ $\mathfrak{h}(E) = \tilde{\mathfrak{g}}(E)/\tilde{I}(E)$ है।
- यह निर्माण एक फंक्टर $F: \text{LY} \to \text{mRLP}$ (जहाँ mRLP, $m$ -जनरेटेड RLPs की उपश्रेणी है) को परिभाषित करता है।
सुर젝टिव मोर्फिज्म तक प्रतिबंध: शास्त्रीय एनवेलपिंग बीजगणक $\hat{\mathfrak{g}}(E)$ को एक फंक्टर के रूप में पुनः प्राप्त करने के लिए, लेखक केवल सुर젝टिव मोर्फिज्म (surjective morphisms) वाले उपवर्गों ( $\text{LY}_s$ और $\text{mRLP}_s$ ) तक श्रेणियों को प्रतिबंधित करते हैं। वे प्रदर्शित करते हैं कि इस प्रतिबंध के तहत, शास्त्रीय असाइनमेंट एक सुपरिभाषित कोवेरिएंट फंक्टर (covariant functor) बन जाता है।

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

लेफ्ट एडजॉइंट फंक्टर ( $F$ ): मुख्य परिणाम (प्रमेय 9) एक फंक्टर $F: \text{LY} \to \text{mRLP}$ का स्पष्ट निर्माण है जो $G: \text{mRLP} \to \text{LY}$ का लेफ्ट एडजॉइंट है। यह स्थापित करता है कि किसी भी LY बीजगणक $E$ के लिए, एक सार्वभौमिक "मुक्त" रिडक्टिव ली बीजगणक युग्म $F(E)$ मौजूद है, जिससे $F(E)$ से किसी भी $m$ -जनरेटेड RLP तक के मोर्फिज्म, उस RLP के अंतर्निहित LY बीजगणक से $E$ तक के मोर्फिज्म के अनुरूप होते हैं।
- निर्माण ली बीजगणक सिद्धांत से प्राप्त विशिष्ट आइडियल्स द्वारा $E \oplus \Lambda^2 E$ के कोटिएंट पर निर्भर करता है।
- इस एडजंक्शन (adjunction) की यूनिट एक नेचुरल आइसोमोर्फिज्म है, जबकि कौनीट (counit) एक सुरजेक्शन है।
राइट एडजॉइंट फंक्टर ( $\hat{g}$ ): दूसरा मुख्य परिणाम (प्रमेय 10) शास्त्रीय एनवेलपिंग ली बीजगणक $\hat{\mathfrak{g}}(E)$ को एक श्रेणीगत ढांचे के भीतर स्थापित करता है। सुरजेक्टिव मोर्फिज्म तक सीमित करके, असाइनमेंट $E \mapsto \hat{\mathfrak{g}}(E)$ , $\text{LY}_s \to \text{mRLP}_s$ के लिए एक कोवेरिएंट फंक्टर $\hat{g}$ बन जाता है।
- यह फंक्टर $\hat{g}$ , सुरजेक्टिव मोर्फिज्म की उपश्रेणी पर $G$ के प्रतिबंध का राइट एडजॉइंट है।
- इस दूसरे एडजंक्शन की कौनीट एक आइसोमोर्फिज्म है, और यूनिट एक सुरजेक्शन है।
$F$ और $\hat{g}$ के बीच संबंध: शोध पत्र $F(E)$ और शास्त्रीय एनवेलपिंग बीजगणक $\hat{\mathfrak{g}}(E)$ के बीच के अंतर को स्पष्ट करता है। एक एबेलियन (abelian) LY बीजगणक $E$ के लिए, $F(E)$ एक गैर-एबेलियन हाइजेनबर्ग-प्रकार का ली बीजगणक ( $E \oplus \Lambda^2 E$ ) देता है, जबकि $\hat{\mathfrak{g}}(E)$ एबेलियन ही रहता है। शोध पत्र किसी भी $m$ -जनरेटेड RLP के लिए इन वस्तुओं को जोड़ने वाले सेंट्रल एक्सटेंशन (central extensions) की एक श्रृंखला स्थापित करता है:
$\mathfrak{g}(m) \xrightarrow{\epsilon_g} \mathfrak{g} \xrightarrow{\eta_{sg}} \hat{\mathfrak{g}}(m)$
जहाँ इन मानचित्रों के कर्नेल (kernels) सेंट्रल आइडियल्स हैं।

महत्व
यह शोध पत्र दावा करता है कि इसका महत्व श्रेणी सिद्धांत के दृष्टिकोण से एनवेलपिंग बीजगणक निर्माण की गैर-फंक्टोरियलिटी को हल करने में निहित है। सही एडजॉइंट्स की पहचान करके, लेखक एक "सार्वभौमिक निर्माण" (मुक्त RLP) प्रदान करते हैं जो LY बीजगणकों और RLPs के बीच गुणों के अनुवाद की अनुमति देता है।

यह कार्य ली ट्रिपल सिस्टम (जो LY बीजगणकों का एक विशेष मामला है) के पिछले रेखाचित्रों को पूर्ण ली-यामागुती बीजगणकों के लिए सामान्यीकृत करता है। इसके अतिरिक्त, यह प्रदर्शित करता है कि जबकि शास्त्रीय एनवेलपिंग बीजगणक सामान्य श्रेणी में एक फंक्टर नहीं है, यह सुरजेक्शन्स तक मोर्फिज्म को प्रतिबंधित करने पर फंक्टोरियलिटी पुनः प्राप्त कर लेता है और एक राइट एडजॉइंट बन जाता है। यह रिडक्टिव होमोजेनियस स्पेस (जिसे RLPs द्वारा मॉडल किया जाता है) के डिफरेंशियल ज्योमेट्री और उनके बीजगणकीय टेंजेंट स्पेस विवरणों (LY बीजगणकों द्वारा मॉडल किए गए) के बीच संबंध के लिए एक कठोर श्रेणीगत आधार प्रदान करता है।

इसी तरह के और पेपर