Commutative algebras satisfying univariate identities with vanishing Peirce polynomial

तकनीकी सारांश: लुप्त पीयर्स बहुपदों (Vanishing Peirce Polynomials) वाले एकचर सर्वसमिकाओं (Univariate Identities) से संतुष्ट होने वाले क्रमविनिमेय बीजगणित (Commutative Algebras)

समस्या विवरण
यह शोध पत्र एक विशिष्ट प्रकार के क्रमविनिमेय गैर-साहचर्य बीजगणितों (commutative nonassociative algebras) की जांच करता है जो एकचर बहुपद सर्वसमिकाओं $P=0$ द्वारा परिभाषित होते हैं। ऐसे बीजगणितों के विश्लेषण के लिए मानक विधियाँ 'आइडम्पोटेंट' (idempotent) से जुड़े पीयर्स अपघटन (Peirce decomposition) पर निर्भर करती हैं। यह विधि सर्वसमिका के रैखिकीकरण (linearization) से प्राप्त "पीयर्स बहुपद" $\rho(P; q)$ का उपयोग करती है। इस बहुपद के मूल (roots) किसी भी आइडम्पोटेंट $c$ के लिए गुणन ऑपरेटर $L(c)$ के आइगेन मानों (eigenvalues) पर पूर्व-निर्धारित बाधाएं लगाते हैं।

हालाँकि, उन सर्वसमिकाओं के लिए सिद्धांत में एक महत्वपूर्ण अंतराल मौजूद है जहाँ पीयर्स बहुपद पूर्णतः शून्य ($\rho(P; q) \equiv 0$) हो जाता है। ऐसी सर्वसमिकाओं को लुप्त (evanescent) कहा जाता है, जो अमूर्त पीयर्स स्पेक्ट्रम (abstract Peirce spectrum) को संपूर्ण क्षेत्र $k$ बना देती हैं, जिससे मानक स्पेक्ट्रल बाधाएं समाप्त हो जाती हैं। लेखक 6 की घात वाले सबसे सरल गैर-तुच्छ समरूप लुप्त सर्वसमिका पर ध्यान केंद्रित करते हैं:
$$E_1 := (x^3)^2 - (x^2)^3 = 0$$
इस सर्वसमिका को संतुष्ट करने वाले बीजगणितों को (2, 3)-पलिंट्रोपिक ((2, 3)-palintropic) कहा जाता है। केंद्रीय समस्या इन बीजगणितों के लिए एक संरचनात्मक सिद्धांत विकसित करना है, जबकि प्रथम-क्रम पीयर्स बहुपद द्वारा प्रदान किए गए स्पेक्ट्रल प्रतिबंधों का अभाव है।

कार्यप्रणाली
लेखक रैखिकीकरण और गैर-साहचर्य मोनोमियल्स (nonassociative monomials) के संयोजन पर केंद्रित एक कठोर बीजगणितीय ढांचे का उपयोग करते हैं:

1. पीयर्स ऑपरेटर और बहुपद: वे पीयर्स ऑपरेटर $\rho: k(\{x\}) \to k[q]$ का उपयोग करते हैं, जो एक गैर-साहचर्य बहुपद को एक साहचर्य बहुपद में मैप करता है। एक मोनोमियल $x^\alpha$ के लिए, जो एक बाइनरी रूटेड ट्री $T$ के अनुरूप है, $\rho(x^\alpha; q) = \sum_{v \in L(T)} q^{\text{ht}(v)}$, जहाँ $\text{ht}(v)$ एक लीफ (leaf) की ऊँचाई है।
2. लुप्त सर्वसमिकाएँ (Evanescent Identities): एक सर्वसमिका लुप्त कहलाती है यदि $\rho(P; q) \equiv 0$ हो। लेखक स्थापित करते हैं कि लुप्त सर्वसमिकाओं का स्थान एक आइडियल (ideal) बनाता है। वे पहचानते हैं कि गैर-तुच्छ समरूप लुप्त सर्वसमिकाओं की न्यूनतम घात 6 है, जो $E_1$ और एक दूसरी सर्वसमिका $E_2$ द्वारा व्याप्त है।
3. द्वितीय-क्रम रैखिकीकरण: प्रथम-क्रम पीयर्स बहुपद की कमी को दूर करने के लिए, लेखक द्वितीय-क्रम पीयर्स ऑपरेटर $D(P; q, r, s)$ को पेश करते हैं। यह ऑपरेटर सर्वसमिका के दूसरे रैखिकीकरण से प्राप्त होता है और आइडम्पोटेंट्स पर मूल्यांकन करके "फ्यूजन नियम" (fusion rules) निर्धारित करता है (कि कैसे पीयर्स आइगेनस्पेस का गुणन अपघटित होता है)।
4. मेडियल बीजगणित संबंध: शोध पत्र (2, 3)-पलिंट्रोपिक बीजगणितों और मेडियल बीजगणितों (जो $[x,y,z,w] = (xy)(zw) - (xz)(yw) = 0$को संतुष्ट करते हैं) के बीच समानताएं खींचता है। यह स्थापित करता है कि पीयर्स ऑपरेटर$k[q]$ पर एक विशिष्ट मेडियल बीजगणित संरचना पर गैर-साहचर्य बहुपदों के बीजगणित से एक होमोमोर्फिज्म (homomorphism) है।

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

• (2, 3)-पलिंट्रोपिक बीजगणितों का अभिलक्षण: यह शोध पत्र (2, 3)-पलिंट्रोपिक बीजगणितों को परिभाषित करता है जो $(x^3)^2 = (x^2)^3$ को संतुष्ट करते हैं। यह प्रदर्शित करता है कि यह वर्ग व्यापक है, जिसमें जॉर्डन बीजगणित (Jordan algebras), पावर-एसोसिएटिव बीजगणित और मेडियल बीजगणित शामिल हैं।
• $\lambda \neq 1/2$ के लिए फ्यूजन नियम: प्रथम-क्रम पीयर्स बहुपद की तुच्छता के बावजूद, लेखक सिद्ध करते हैं कि किसी भी (2, 3)-पलिंट्रोपिक बीजगणित में आइडम्पोटेंट $c$ के लिए, $E_1$ का द्वितीय-क्रम पीयर्स बहुपद पहले चर में रैखिक है। यह एक अत्यंत सरल फ्यूजन नियम की ओर ले जाता है:
  $$A_c(\lambda) A_c(\mu) \subseteq A_c(\lambda\mu)$$
  यह गुणनात्मक संरचना दर्शाती है कि $A_c(0)$ और $A_c(1)$ उप-बीजगणित (subalgebras) हैं, और यदि $c$ गैर-विलक्षण (nonsingular) है (अर्थात $1/2 \notin \sigma(c)$), तो $A_c(0)$ एक आइडियल है।
• होमोमोर्फिज्म गुण: एक प्रमुख परिणाम यह है कि किसी (2, 3)-पलिंट्रोपिक बीजगणित में किसी भी गैर-विलक्षण आइडम्पोटेंट $c$ के लिए, गुणन ऑपरेटर $L(c)$ एक बीजगणित होमोमोर्फिज्म है। यह मेडियल बीजगणितों के ज्ञात गुण को इस व्यापक वर्ग तक विस्तारित करता है।
• पावर एसोसिएटिविटी (Power Associativity): लेखक सिद्ध करते हैं कि 30 को विभाजित न करने वाले क्षेत्र पर कोई भी यूनिटल (unital) (2, 3)-पलिंट्रोपिक बीजगणित पावर-एसोसिएटिव है। इसके अतिरिक्त, एक गैर-विलक्षण आइडम्पोटेंट का पीयर्स सबस्पेस $A_c(1)$ हमेशा एक पावर-एसोसिएटिव उप-बीजगणित होता है।
• तृतीय-क्रम रैखिकीकरण: शोध पत्र पीयर्स आइगेनस्पेस के तत्वों के लिए तृतीय-क्रम रैखिकीकरण सूत्र व्युत्पन्न करता है। यह दिखाता है कि एक विशिष्ट अपवाद सेट $\Lambda$ के आइगेनवैल्यू $\lambda$ के लिए, तत्व $x \in A_c(\lambda)$ का कोई भी मोनोमियल पावर $x^\alpha$, मुख्य पावर $x^{\deg(\alpha)}$ के समानुपाती होता है।
• पॉलीनोमियल मैपिंग पर अनुप्रयोग: लेखक इन बीजगणितीय संरचनाओं को गतिशील प्रणालियों (dynamical systems) से जोड़ते हैं। वे दिखाते हैं कि (2, 3)-पलिंट्रोपिक बीजगणित क्रमविनिमेय बहुपद मानचित्र $\Phi_\alpha$ और $\Phi_\beta$ (मोनोमियल पावर्स द्वारा प्रेरित) उत्पन्न करते हैं। यदि मोनोमियल्स की घात सह-अभाज्य (coprime) है, तो ये मानचित्र वेसेलोव (Veselov) के अर्थ में इंटीग्रेबल पॉलीनोमियल मैपिंग (integrable polynomial mappings) बनाते हैं।

महत्व

शोध पत्र निम्नलिखित क्षेत्रों में महत्व का दावा करता है:

1. संरचनात्मक सिद्धांत: यह उन बीजगणितों के अध्ययन के लिए एक व्यवस्थित कार्यप्रणाली प्रदान करता है जो लुप्त सर्वसमिकाओं द्वारा परिभाषित होते हैं, जो स्पेक्ट्रल बाधाओं की कमी के कारण पहले कठिन श्रेणी थी। यह प्रदर्शित करता है कि द्वितीय-क्रम रैखिकीकरण संरचनात्मक कठोरता (फ्यूजन नियम) को पुनः प्राप्त कर सकता है, भले ही प्रथम-क्रम विधियाँ विफल हो जाएं।
2. एकीकरण (Unification): यह (2, 3)-पलिंट्रोपिक बीजगणितों को पावर-एसोसिएटिव बीजगणितों के एक स्वाभाविक सामान्यीकरण के रूप में स्थापित करता है, ठीक वैसे ही जैसे मेडियल बीजगणित साहचर्य बीजगणितों से संबंधित हैं। समावेशन श्रृंखलाएं (Associative $\subset$ Jordan $\subset$ Power-associative $\subset$ (2, 3)-palintropic) और (Medial $\subset$ J-Medial $\subset$ (2, 3)-palintropic) इन संरचनाओं के पदानुक्रम को स्पष्ट करती हैं।
3. स्पष्ट उदाहरण: शोध पत्र (2, 3)-पलिंट्रोपिक बीजगणितों के मूर्त निर्माण प्रदान करता है, जिसमें बहुपद रिंगों के आइसोटोप और स्पष्ट रूप से गणना किए गए पीयर्स स्पेक्ट्रा के साथ विशिष्ट परिमित-आयामी उदाहरण शामिल हैं, जो इस वर्ग की विविधता को प्रदर्शित करते हैं।
4. इंटीग्रिबिलिटी (Integrability): यह इंटीग्रेबल बहुपद मानचित्रों के लिए एक नया बीजगणितीय निर्माण प्रदान करता है, जो गैर-साहचर्य बीजगणितीय सर्वसमिकाओं को क्रमविनिमेय मानचित्रों और गतिशील प्रणालियों के सिद्धांत से जोड़ता है।

लेखक सामान्य (2, 3)-पलिंट्रोपिक बीजगणितों के वर्गीकरण के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि हालांकि सरल और निल (nilpotent) मामले संभवतः सुलभ हैं, पूर्ण वर्गीकरण एक खुला प्रश्न बना हुआ है। यह कार्य मुख्य रूप से इन बीजगणितों के अध्ययन को शुरू करने और उनके मौलिक गुणों को स्थापित करने के लिए है।