Non-isomorphic restricted Lie algebras with isomorphic restricted enveloping algebras

तकनीकी सारांश: समरूपी (Isomorphic) प्रतिबंधित नहीं होने वाले प्रतिबंधित ली बीजगणित (Non-Isomorphic Restricted Lie Algebras) जिनका प्रतिबंधित एनवेलपिंग बीजगणित समरूपी है

समस्या विवरण
यह शोध पत्र प्रतिबंधित समरूपता समस्या (Restricted Isomorphism Problem) को संबोधित करता है, जो समूह बीजगणित (group algebras) के शास्त्रीय मॉडुलर समरूपता समस्या का एक मॉडुलर अनुरूप है। यह समस्या पूछती है कि क्या एक $F$ विशेषता वाले क्षेत्र (field) $p > 0$ के ऊपर एक परिमित-आयामी प्रतिबंधित ली बीजगणित $L$ अपने प्रतिबंधित एनवेलपिंग बीजगणित $u(L)$ द्वारा अद्वितीय रूप से निर्धारित होता है। विशेष रूप से, यदि $u(L) \cong u(H)$ $F$-बीजगणित के रूप में है, तो क्या $L \cong H$ प्रतिबंधित ली बीजगणित के रूप में है?

जबकि इस समस्या को विशिष्ट वर्गों (जैसे कि पूर्ण क्षेत्रों पर अबेलियन, मेटासाइक्लिक, या $p$-nilpotent बीजगणित) के लिए सकारात्मक रूप से हल किया गया है, और अभाज्य विशेषता में साधारण सार्वभौमिक एनवेलपिंग बीजगणित $U(g)$ के लिए नकारात्मक रूप से, प्रतिबंधित ली बीजगणित के सामान्य मामले के लिए स्थिति खुली रही थी। लेखक नोट करते हैं कि $p$-nilpotent बीजगणितों के लिए पिछले सकारात्मक परिणामों ने इस वर्ग के लिए एक संभावित सकारात्मक उत्तर का सुझाव दिया था, विशेष रूप से पूर्ण क्षेत्रों (perfect fields) पर।

कार्यप्रणाली (Methodology)
लेखक किसी भी धनात्मक विशेषता वाले क्षेत्र पर स्पष्ट प्रति-उदाहरणों (counterexamples) का निर्माण करते हैं। कार्यप्रणाली में शामिल हैं:

1. मामला-दर-मामला निर्माण:
   • विशेषता 2: $\mathbb{F}_2$ पर बीजगणितों का एक पैरामीट्रिक परिवार $L_k$ और $H_k$ निर्मित किया गया है। ये बीजगणित विशिष्ट आधारों (bases), $p$-मैप्स (2-मैप्स), और गैर-शून्य ब्रैकेट द्वारा परिभाषित किए गए हैं। निर्माण विशिष्ट विशेषता 2 की पहचानों पर निर्भर करता है, जैसे कि $(x+y)^2 = x^2 + y^2 + [x,y]$।
   • विषम विशेषता (Odd Characteristic): विषम अभाज्य संख्याओं $p$ के लिए $\mathbb{F}_p$ पर एक भिन्न परिवार $L_{p,k}$ और $H_{p,k}$ निर्मित किया गया है। यह निर्माण विशेषता 2 के मामले के तंत्र को अनुकूलित करता है लेकिन इसके लिए अलग ब्रैकेट परिभाषाओं की आवश्यकता होती है और विशिष्ट केंद्रीय तत्वों को परिभाषित करने के लिए 2 की व्युत्क्रमणीयता (invertibility) का उपयोग करता है।
2. समरूपता सत्यापन: प्रत्येक युग्म के लिए, लेखक $u(L)$ के जनरेटरों पर एक मानचित्र $\phi$ को $u(H)$ के जनरेटरों के शब्दों पर परिभाषित करते हैं। यह कठोरता से सत्यापित किया जाता है कि उनके चित्र $u(L)$ के परिभाषित संबंधों (कम्यूटेटर्स और $p$-पावर संबंध) को संतुष्ट करते हैं, जिससे एक सुपरिभाषित बीजगणित होमोमोर्फिज्म स्थापित होता है। अधिरोपण (Surjectivity) को यह दिखाकर सिद्ध किया जाता है कि $u(H)$ के जनरेटर $u(L)$ के चित्र में हैं, और आच्छादन (Injectivity) पोंकारे-बर्कहॉफ-ब्रॉड (Poincaré–Birkhoff–Witt) प्रमेय द्वारा गारंटीकृत आयामों की समानता से सिद्ध होता है।
3. सामान्यीकरण: इस गुण का उपयोग करते हुए कि प्रतिबंधित एनवेलपिंग बीजगणित अदला-बदली (scalar extensions) के साथ कम्यूट करते हैं ($u(L \otimes_{\mathbb{F}_p} F) \cong u(L) \otimes_{\mathbb{F}_p} F$), परिणामों को अभाज्य क्षेत्रों से किसी भी विशेषता $p$ वाले क्षेत्र $F$ तक विस्तारित किया जाता है।
4. खोज प्रक्रिया: लेखक नोट करते हैं कि प्रारंभिक उदाहरणों की खोज "निर्धारित इनवेरिएंट्स" (जैसे कि आयाम-उप-बीजगणित कोशिएंट्स) द्वारा निर्देशित एक कंप्यूटर खोज के माध्यम से की गई थी, जिसमें विशेष रूप से उन युग्मों की तलाश की गई जहाँ व्युत्पन्न उप-बीजगणित (derived subalgebra) के आयाम भिन्न थे ($\dim L' \neq \dim H'$) जबकि अन्य श्रेणीबद्ध इनवेरिएंट्स मेल खाते थे।

मुख्य योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 5.2 है, जो कहता है:
माना $F$ विशेषता $p > 0$ वाला एक क्षेत्र है। प्रत्येक पूर्णांक $n \geq p + 5$ के लिए, $F$ के ऊपर $p$-nilpotent प्रतिबंधित ली बीजगणित $L$ और $H$ मौजूद हैं जैसे कि:

• $\dim L = \dim H = n$।
• $u(L) \cong u(H)$ $F$-बीजगणित के रूप में।
• $\dim L' = p$ और $\dim H' = p + 1$।

फलतः, $L$ और $H$ प्रतिबंधित ली बीजगणित के रूप में (और साधारण ली बीजगणित के रूप में भी नहीं) समरूपी नहीं हैं क्योंकि उनके व्युत्पन्न उप-बीजगणित के आयाम भिन्न हैं।

महत्व और दावे
यह शोध पत्र प्रत्येक धनात्मक विशेषता वाले क्षेत्र पर प्रतिबंधित समरूपता समस्या के लिए एक नकारात्मक समाधान प्रदान करने का दावा करता है। इस परिणाम का महत्व तीन गुना है:

1. खुले प्रश्नों का समाधान: यह Usefi के सर्वेक्षण [17] से समस्या 6 (प्रति-उदाहरण का अस्तित्व) और समस्या 9 (क्या पूर्ण क्षेत्रों पर $p$-nilpotent बीजगणितों के लिए उत्तर सकारात्मक है) को नकारात्मक रूप से हल करता है।
2. निर्धारण की सीमा (Limit of Determinacy): परिणाम प्रदर्शित करते हैं कि प्रतिबंधित एनवेलपिंग बीजगणित $u(L)$, व्युत्पन्न उप-बीजगणित $L'$ के आयाम, अथवा $L$ के निम्नतम केंद्रीय श्रृंखला (lower central series) को निर्धारित नहीं करता है, यहाँ तक कि $p$-nilpotent बीजगणितों के वर्ग के भीतर भी। यह $u(L)$ द्वारा कैप्चर किए गए इनवेरिएंट्स के लिए एक तीक्ष्ण सीमा स्थापित करता है; जबकि यह संबद्ध श्रेणीबद्ध प्रतिबंधित ली बीजगणित $\text{gr } L$ और $L/(L'^p + \gamma_3(L))$ जैसे कोशिएंट्स को निर्धारित करता है, यह व्युत्पन्न उप-बीजगणित के आयाम को पकड़ने में विफल रहता है।
3. साधारण एनवेलपिंग बीजगणित से भिन्नता: शोध पत्र स्पष्ट करता है कि यह घटना प्रतिबंधित सेटिंग के लिए विशिष्ट है। एक साधारण सार्वभौमिक एनवेलपिंग बीजगणित $U(g)$ के लिए, समरूपता $U(L) \cong U(H)$ यह निहित करेगी कि $\dim(L/L') = \dim(H/H')$। चूंकि निर्मित युग्मों में $\dim(L/L') \neq \dim(H/H')$ है, इसलिए यह निष्कर्ष निकलता है कि $U(L) \not\cong U(H)$। अतः, प्रति-उदाहरण प्रतिबंधित एनवेलपिंग बीजगणित के कम्यूटेटिव कोशिएंट में व्युत्पन्न उप-बीजगणित के $p$-क्लोजर के पतन (collapse) पर महत्वपूर्ण रूप से निर्भर करते हैं।

लेखक निष्कर्ष निकालते हैं कि प्रतिबंधित समरूपता समस्या का उत्तर पूर्ण क्षेत्रों पर $p$-nilpotent बीजगणितों के लिए भी नकारात्मक है, जो प्रतिबंधित ली बीजगणित के प्रतिनिधित्व सिद्धांत (representation theory) में एक लंबे समय से खुले प्रश्न को सुलझाता है।