Classification of Finite-Dimensional Simple Novikov Algebras and Their Irreducible Bimodules in Positive Characteristic

तकनीकी सारांश: धनात्मक अभिलक्षण में परिमित-विमीय सरल नोविकोव बीजगणित (Novikov Algebras) और उनके अपरिवर्तनीय द्विपक्षीय मॉड्यूल (Irreducible Bimodules) का वर्गीकरण

समस्या विवरण
यह शोध पत्र एक बीजगणितीय रूप से संवृत्त क्षेत्र $k$ के अभिलक्षण $p > 2$ पर परिमित-विमीय सरल नोविकोव बीजगणितों के वर्गीकरण को संबोधित करता है। जबकि ज़ेल्मानोव ने शून्य अभिलक्षण में स्थापित किया था कि ऐसे बीजगणित एक-विमीय होते हैं, धनात्मक अभिलक्षण में स्थिति अधिक जटिल है। ओसबोर्न [14] और जू [23] द्वारा किए गए पिछले वर्गीकरणों ने उन बीजगणितों को कवर किया जिनमें एक गैर-शून्य तत्समक (idempotent) मौजूद था, और उन विशिष्ट परिवारों के लिए अपरिवर्तनीय द्विपक्षीय मॉड्यूल का एक वर्गीकरण प्रदान किया। हालाँकि, लेखक नोट करते हैं कि वे पिछले वर्गीकरण $p^n$ विमाओं के लिए अपूर्ण हैं जहाँ $n \ge 2$ है। विशेष रूप से, टिप्पणी 4.9 एक $p^2$-विमीय सरल नोविकोव बीजगणित की पहचान करती है जो ओसबोर्न और जू द्वारा वर्णित परिवारों से बाहर है, जिससे एक पूर्ण वर्गीकरण की आवश्यकता उत्पन्न होती है जो गैर-शून्य तत्समक की धारणा पर निर्भर न हो।

कार्यप्रणाली
लेखक ज़ेलियाबिन और ज़खारोव [27] के संरचना प्रमेय पर आधारित कार्य करते हैं, जो यह बताता है कि प्रत्येक परिमित-विमीय सरल नोविकोव बीजगणित, एक ऐसे क्षेत्र पर, एक ट्विस्टेड गेलफंड-डोर्फमैन निर्माण $A(\partial, a)$ के आइसोमॉर्फिक है, जहाँ $A$ एक $\partial$-सरल ट्रंकेटेड पॉलिनॉमियल बीजगणित है।

कार्यप्रणाली तीन चरणों में आगे बढ़ती है:

1. डेरिवेशंस का सामान्यीकरण (Normalization of Derivations): समन्वय परिवर्तनों (coordinate changes) और इकाइयों (units) द्वारा गुणन का उपयोग करके, लेखक सामान्य डेरिवेशन $\partial$ को एक मानक रूप में कम करते हैं। डेरिवेशंस के जॉर्डन अपघटन (Jordan decomposition) के विश्लेषण और विभाजित-शक्ति बीजगणितों (divided-power algebras) $O(1; n)$ के गुणों का उपयोग करके, वे सिद्ध करते हैं कि किसी भी $\partial$-सरल बीजगणित को $O(1; n)(\delta, b)$ में रूपांतरित किया जा सकता है, जहाँ $\delta$ मानक लोअरिंग डेरिवेशन है और $b \in O(1; n)$ है।
2. सामान्य रूपों का वर्गीकरण (Classification of Normal Forms): लेखक एक अद्वितीय सामान्य रूप $b_{\alpha, \beta}$ तक पैरामीटर $b$ को कम करने के लिए "अनुमेय ऑटोमोर्फिज्म" (admissible automorphisms - वे ऑटोमोर्फिज्म जो विभाजित-शक्ति संरचना को संरक्षित करते हैं) का उपयोग करते हैं। इसमें $b$ के उन गुणांकों को हटाने की प्रक्रिया शामिल है जो विशिष्ट डिग्री ($p^j - 2$ और $p^n - 1$) से संबंधित नहीं हैं, और स्केलिंग के तहत इन मापदंडों के तुल्यता वर्गों (equivalence classes) को निर्धारित करना शामिल है।
3. द्विपक्षीय मॉड्यूल वर्गीकरण (Bimodule Classification): वर्गीकृत बीजगणितों के लिए, लेखक उनके गैर-तुच्छ अपरिवर्तनीय द्विपक्षीय मॉड्यूल का विश्लेषण करते हैं। वे दाईं ओर गुणन ऑपरेटरों के बीच बहुपद संबंधों का उपयोग करके अंतर्निहित साहचर्य बीजगणित (associative algebra) $O(1; n)$ की द्विपक्षीय मॉड्यूल पर एक क्रिया को पुनः प्राप्त करते हैं। यह सिद्ध करके कि ऐसे द्विपक्षीय मॉड्यूल परिमित-विमीय हैं और पहचान तत्व (identity element) की बाईं क्रिया के एक आइगेनवेक्टर (eigenvector) द्वारा जनित हैं, वे सभी अपरिवर्तनीय द्विपक्षीय मॉड्यूल के लिए स्पष्ट मॉडल का निर्माण करते हैं।

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

• बीजगणितों का पूर्ण वर्गीकरण (प्रमेय A):
  यह शोध पत्र स्थापित करता है कि $k$ पर प्रत्येक परिमित-विमीय सरल नोविकोव बीजगणित $N(\alpha, \beta)$ के आइसोमॉर्फिक है, जो ट्रंकेटेड विभाजित-शक्ति बीजगणित $O(1; n)$ पर परिभाषित है जिसका गुणन है:
  $$x \circ y = x(\delta(y) + b_{\alpha, \beta}y)$$
  जहाँ $b_{\alpha, \beta} = \sum_{j=1}^n \alpha_j x^{(p^j-2)} + \beta x^{(p^n-1)}$।
  आइसोमॉर्फिज्म मानदंड स्पष्ट है: $p^n$ विमा वाले दो ऐसे बीजगणित $N(\alpha, \beta)$ और $N(\alpha', \beta')$ आइसोमॉर्फिक हैं यदि और केवल यदि एक अदिश $c \in k^\times$ मौजूद है ताकि $\alpha'_j = c^{p^j-1}\alpha_j$ (जहाँ $1 \le j \le n$) और $\beta' = c^{p^n}\beta$ हो।
  यह परिणाम $n \ge 2$ विमाओं के लिए $[14]$ और $[23]$ में छूटे हुए परिवारों को शामिल करते हुए, विशेष रूप से उन मामलों को शामिल करके, पूर्ववर्ती कार्यों की अपूर्णता को सुधारता है जहाँ पैरामीटर $\alpha$ के घटक $j < n$ के लिए गैर-शून्य हैं।

• अपरिवर्तनीय द्विपक्षीय मॉड्यूल का वर्गीकरण (प्रमेय B):
  प्रत्येक बीजगणित $N(\alpha, \beta)$ के लिए, यह शोध पत्र सभी गैर-तुच्छ अपरिवर्तनीय द्विपक्षीय मॉड्यूल को वर्गीकृत करता है। यह दिखाया गया है कि प्रत्येक ऐसा द्विपक्षीय मॉड्यूल एक मॉड्यूल $M(\alpha, \beta, \lambda)$ के आइसोमॉर्फिक है जिसकी विमा $p^n$ है, जो एक अदिश $\lambda \in k$ द्वारा पैरामीटराइज्ड है। क्रियाएँ $O(1; n)$ के आधार के संदर्भ में स्पष्ट रूप से दी गई हैं। दो मॉड्यूल $M(\alpha, \beta, \lambda)$ और $M(\alpha, \beta, \lambda')$ आइसोमॉर्फिक हैं यदि और केवल यदि $\lambda = \lambda'$।

• ऑटोमॉर्फिज्म समूह और नोविकोव-पोइसोंन बीजगणित:
  लेखक वर्गीकृत किए गए बीजगणितों के ऑटोमॉर्फिज्म समूहों को निर्धारित करते हैं (उपप्रमेय 4.5), जो दिखाते हैं कि वे या तो तुच्छ, गुणक समूह (multiplicative group) $k^\times$, या मापदंडों पर निर्भर चक्रीय उपसमूह (cyclic subgroup) हैं। इसके अलावा, वे सरल नोविकोव भाग वाले परिमित-विमीय नोविकोव-पोइसोंन बीजगणितों के वर्गीकरण तक विस्तार करते हैं (उपप्रमेय 4.11), जिससे इन संरचनाओं की एक पूर्ण सूची प्राप्त होती है।

• पूर्ववर्ती न्यूनीकरणों का प्रति-उदाहरण (Counterexample to Previous Reductions):
  टिप्पणी 4.9 में, लेखक एक $p^2$-विमीय सरल नोविकोव बीजगणित का एक स्पष्ट उदाहरण प्रदान करते हैं जो ओसबोर्न या जू द्वारा प्रस्तावित परिवारों में से किसी के भी आइसोमॉर्फिक नहीं है। वे प्रदर्शित करते हैं कि पूर्ववर्ती कार्यों में प्रयुक्त न्यूनीकरण तर्क कुछ $\partial$-सरल संरचनाओं को शामिल करने में विफल रहते हैं, जिससे इस नए वर्गीकरण की आवश्यकता न्यायसंगत होती है।

महत्व
यह शोध पत्र दावा करता है कि यह धनात्मक अभिलक्षण में परिमित-विमीय सरल नोविकोव बीजगणितों का पहला पूर्ण वर्गीकरण प्रदान करता है, जो पूर्ववर्ती परिणामों के लिए आवश्यक प्रतिबंधात्मक गैर-शून्य तत्समक की धारणा को हटा देता है। स्पष्ट सामान्य रूप और आइसोमॉर्फिज्म मानदंडों को निर्धारित करके, यह कार्य $n \ge 2$ के लिए $p^n$ विमाओं में मौजूदा साहित्य के अंतराल को भरता है। इसके अतिरिक्त, अपरिवर्तनीय द्विपक्षीय मॉड्यूल का वर्गीकरण इन बीजगणितों की संरचनात्मक समझ को पूरा करता है, जो उनके प्रतिनिधित्व सिद्धांत (representation theory) के लिए आवश्यक है। परिणाम संबंधित संरचनाओं, जैसे नोविकोव-पोइसोंन बीजगणितों के वर्गीकरण की सुविधा भी प्रदान करते हैं, और इन बीजगणितों में डेरिवेशंस के न्यूनीकरण के संबंध में सैद्धांतिक आधारों को सुधारते हैं।