Right representations of Novikov algebras

तकनीकी सारांश: नोविकोव बीजगणित (Novikov Algebras) के दाएँ निरूपण

समस्या विवरण
यह शोध पत्र नोविकोव बीजगणितों के संरचनात्मक सिद्धांत में एक अंतराल को संबोधित करता है: दाएँ मॉड्यूल (right modules) और दाएँ निरूपणों (right representations) के संबंध में विकसित सिद्धांत का अभाव। जबकि ज़ेलमानोव, ओसबोर्न और ज़ू जैसे लेखकों द्वारा परिमित-विमीय नोविकोव बीजगणितों (विशेष रूप से विशेषता 0 और $p>0$ वाले क्षेत्रों पर सरल और अर्ध-सरल बीजगणितों के वर्गीकरण सहित) के सिद्धांत और सरल बीजगणितों पर द्विपक्षीय मॉड्यूल (bimodules) के अध्ययन को स्थापित किया जा चुका है, मनमाने नोविकोव बीजगणितों के लिए विशिष्ट दाएँ निरूपण और दाएँ मॉड्यूल की अवधारणाओं की पहले जांच नहीं की गई थी। लेखक का लक्ष्य दाएँ निरूपण सिद्धांत की नींव स्थापित करना, अपरिमेय निरूपणों (irreducible representations) को परिभाषित करना और इस संदर्भ में जैकोबसन रेडिकल (Jacobson radical) का लक्षण वर्णन करना है।

कार्यप्रणाली
यह अध्ययन 2 से भिन्न विशेषता वाले क्षेत्र $F$ पर संचालित है। कार्यप्रणाली निम्नलिखित संरचनात्मक दृष्टिकोणों पर निर्भर करती है:

1. दाएँ निरूपणों की परिभाषा: सामान्य बीजगणित श्रेणियों के लिए स्लिंको और शेस्टकोव के ढांचे का अनुसरण करते हुए, लेखक $R$-पहचानों (दाएँ गुणन ऑपरेटर की पहचान) के माध्यम से एक दाएँ निरूपण $\rho: A \to \text{End}(V)$ को परिभाषित करता है। इससे एक दाएँ $A$-मॉड्यूल $M$ की परिभाषा प्राप्त होती है जो नोविकोव अभिधारणाओं (axioms) से व्युत्पन्न विशिष्ट पहचानों का पालन करता है: $(ma)b = (mb)a$और$(m, a, b)c = (mc, a, b) = (m, ac, b)$।
2. अपरिमेय मॉड्यूल का वर्गीकरण: शोध पत्र साहचर्य (associative) और गैर-साहचर्य (non-associative) मामलों के बीच अंतर करके अपरिमेय मॉड्यूल का विश्लेषण करता है। यह क्वासी-कर्नेल (quasi-kernel) $K_\rho(A)$ की अवधारणा का उपयोग करता है, जिसे निरूपण $\rho$ के कर्नेल में निहित $A$ के सबसे बड़े आदर्श (ideal) के रूप में परिभाषित किया गया है।
3. माड्यूलर आदर्श (Modular Ideals): लेखक एक दाएँ माड्यूलर आदर्श की अवधारणा प्रस्तुत करता है। एक दायाँ आदर्श $I \neq A$ माड्यूलर है यदि:
   • $e, f \in A$ ऐसे मौजूद हैं कि सभी $a \in A$ के लिए $a - (a, e, f) \in I$ है (गैर-साहचर्य मामला); या
   • $I$ एक द्विपक्षीय आदर्श है जिससे $A/I$ एक इकाई (unit) वाला कॉम्यूटेटिव बीजगणित है (साहचर्य मामला)।
4. रेडिकल सिद्धांत: शोध पत्र उन नोविकोव बीजगणितों की एक रेडिकल श्रेणी $\mathcal{J}$ को परिभाषित करने के लिए कुरोश-एमिट्सुर रेडिकल सिद्धांत (Kurosh-Amitsur radical theory) के ढांचे का उपयोग करता, जिनमें कोई अपरिमेय मॉड्यूल नहीं होते हैं।

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

• अपरिमेय निरूपणों का विवरण:
  शोध पत्र यह सिद्ध करता है कि प्रत्येक नोविकोव बीजगणित $A$ का प्रत्येक अपरिमेय दायाँ निरूपण एक भागफल मॉड्यूल $A/I$ के समरूप (isomorphic) होता है, जहाँ $I$ एक अधिकतम दायाँ माड्यूलर आदर्श है। विशेष रूप से:

  • यदि मॉड्यूल साहचर्य है, तो $I$ एक अधिकतम द्विपक्षीय आदर्श है, और $A/I$ एक क्षेत्र (field) है।
  • यदि मॉड्यूल गैर-साहचर्य है, तो $I$ एक अधिकतम दायाँ आदर्श है, और $e, f \in A$ ऐसे तत्व मौजूद हैं कि सभी $a \in A$ के लिए $a - (a, e, f) \in I$ है।
  • शोध पत्र ओसबोर्न के कार्य पर आधारित एक उदाहरण प्रदान करता है कि एक परिमित-विमीय सरल नोविकोव बीजगणित के पास एक गैर-साहचर्य अपरिमेय मॉड्यूल हो सकता है, जो दर्शाता है कि इसकी संरचना साहचर्य या वैकल्पिक बीजगणितों से काफी भिन्न है।

• जैकोबसन रेडिकल:
  लेखक एक नोविकोव बीजगणित $A$ के जैकोबसन रेडिकल $J(A)$ को उन बीजगणितों की श्रेणी $\mathcal{J}$ के रूप में परिभाषित करता जिनमें कोई अपरिमेय निरूपण नहीं होते हैं।

  • प्रमेय: श्रेणी $\mathcal{J}$ एक रेडिकल श्रेणी है (होमोमोर्फिक इमेज, विस्तार और श्रृंखलाओं के संघ की शर्तों को पूरा करती है)।
  • लक्षण वर्णन: $J(A)$ को $A$ के सभी अपरिमेय निरूपणों के क्वासी-कर्नेल के प्रतिच्छेदन (intersection) के रूप में सिद्ध किया गया है।
  • शास्त्रीय मामलों से भिन्नता: शोध पत्र नोट करता है कि साहचर्य बीजगणितों के विपरीत, अपरिमेय निरूपणों के कर्नेल (न कि क्वासी-कर्नेल) का प्रतिच्छेदन एक आदर्श नहीं होता है, और न ही यह अनिवार्य रूप से रेडिकल के बराबर होता है।

• प्रिमिटिव बीजगणित (Primitive Algebras):
  एक नोविकोव बीजगणित को प्रिमिटिव कहा जाता है यदि उसके पास एक अधिकतम माड्यूलर दायाँ आदर्श है जिसमें कोई गैर-शून्य द्विपक्षीय आदर्श नहीं होता है।

  • तुल्यता: एक नोविकोव बीजगणित प्रिमिटिव है यदि और केवल यदि उसके पास एक लगभग निष्ठावान (almost faithful) अपरिमेय निरूपण है (जहाँ क्वासी-कर्नेल शून्य है)।
  • संरचना: प्रत्येक प्रिमिटिव नोविकोव बीजगणित प्राइम (prime) होता है।

• रेडिकल और प्रिमिटिव आदर्शों के बीच संबंध:
  शोध पत्र स्थापित करता है कि जैकोबसन रेडिकल बीजगणित के सभी प्रिमिटिव आदर्शों का प्रतिच्छेदन है। फलस्वरूप, प्रत्येक $J$-सेमीसिम्पल (semisimple) नोविकोव बीजगणित प्रिमिटिव बीजगणितों का एक सबडायरेक्ट उत्पाद (subdirect product) होता है।

• वंशानुगत गुण (Hereditary Property):
  नोविकोव बीजगणितों के जैकोबसन रेडिकल को वंशानुगत सिद्ध किया गया है। इसका अर्थ है कि किसी भी नोविकोव बीजगणित $A$ और किसी आदर्श $I \subseteq A$ के लिए, आदर्श का रेडिकल बीजगणित के रेडिकल और आदर्श के प्रतिच्छेदन के बराबर होता है: $J(I) = J(A) \cap I$।

• परिमित-विमीय मामला:
  परिमित-विमीय नोविकोव बीजगणितों के लिए, जैकोबसन रेडिकल सबसे बड़े विलेय (solvable) आदर्श के बराबर होता है।

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

1. नोविकोव बीजगणितों के संरचनात्मक सिद्धांत को मॉड्यूल सिद्धांत में विस्तारित करना, विशेष रूप से इन बीजगणितों की गैर-साहचर्य प्रकृति को संबोधित करना, जिसके लिए साहचर्य बीजगणितों की तुलना में एक अलग माड्यूलर आदर्श की परिभाषा की आवश्यकता होती है।
2. क्वासी-कर्नेल के प्रतिच्छेदन के बजाय, सरल कर्नेल के माध्यम से जैकोबसन रेडिकल की एक सुदृढ़ परिभाषा स्थापित करना।
3. यह सिद्ध करना कि बिना अपरिमेय निरूपण वाले बीजगणितों की श्रेणी एक वंशानुगत रेडिकल बनाती है, जिससे नोविकोव बीजगणित कुरोश-एमिट्सुर रेडिकल सिद्धांत के व्यापक ढांचे में एकीकृत होते हैं।
4. प्रिमिटिविटी और लगभग निष्ठावान अपरिमेय निरूपणों के अस्तित्व के बीच संबंध को स्पष्ट करना, जो साहचर्य बीजगणित सिद्धांत के शास्त्रीय परिणामों के समान है लेकिन नोविकोव श्रेणी के लिए अनुकूलित है।

लेखक स्पष्ट रूप से यह दावा करने से बचता है कि ये परिणाम तुरंत सभी संरचनात्मक प्रश्नों को हल कर देते हैं या वे बाएँ निरूपणों (left representations) पर लागू होते हैं (जो कि एंटी-आइसोमोर्फिज्म क्लोजर की कमी के कारण भिन्न हो सकते हैं)। कार्य को नोविकोव निरूपण सिद्धांत में एक आधारभूत कदम के रूप में प्रस्तुत किया गया है।