On Isotropy Groups of Quantum Weyl Algebras and Jordanian Plane

तकनीकी सारांश: क्वांटम वेइल बीजगणक और जोर्डनियन प्ले के आइसोट्रॉपी समूह

समस्या विवरण
यह शोध पत्र दो विशिष्ट गैर-क्रमविनिमेय बीजगणितों (non-commutative algebras): क्वांटम वेइल बीजगणक $A_1^q(k)$ और जोर्डनियन प्ले $\Lambda_2(k)$ पर व्युत्पन्न (derivations) के आइसोट्रॉपी समूहों (isotropy groups) की जांच करता है। अध्ययन का मुख्य विषय एक व्युत्पन्न $\delta$ का आइसोट्रॉपी समूह है, जिसे ऑटोमोर्फिज्म (automorphisms) $\rho$ के उपसमूह के रूप में परिभाषित किया गया है जो $\delta$ के साथ क्रमविनिमेय (commute) होते हैं (अर्थात $\rho \delta \rho^{-1} = \delta$), इस प्रतिबंध के अधीन कि $\rho$ को $\sigma$ के साथ भी क्रमविनिमेय होना चाहिए यदि $\delta$ एक $\sigma$-व्युत्पन्न है। लेखक इन समूहों की संरचना को स्पष्ट रूप से निर्धारित करने का लक्ष्य रखते हैं और इन दोनों बीजगणितों के बीच संरचनात्मक गुणों के अंतर को स्पष्ट करने के लिए इनका उपयोग करते हैं, जो दोनों ही दो-जनित द्विघात बीजगणित (two-generated quadratic algebras) होने के बावजूद, ज्ञात रूप से गैर-समरूप (non-isomorphic) हैं।

कार्यप्रणाली
लेखक वर्गीकरण प्रमेय (classification theorems), प्रत्यक्ष गणना (direct computation) और संरचनात्मक अपघटन (structural decomposition) के संयोजन का उपयोग करते हैं:

1. क्वांटम वेइल बीजगणक ($A_1^q(k)$):

   • वर्गीकरण: यह अध्ययन $A_1^q(k)$ के लिए ब्रज़िंस्की (Brzeziński) द्वारा किए गए $\sigma$-व्युत्पन्नों के वर्गीकरण पर निर्भर करता है जहाँ $q$ मूल इकाई (root of unity) नहीं है। इस बीजगणक का ऑटोमोर्फिज्म समूह विकर्णीय (diagonal) ऑटोमोर्फिज्म $\rho_\beta(x) = \beta^{-1}x, \rho_\beta(y) = \beta y$ तक सीमित है।
   • अपघटन: लेखक $\sigma$-व्युत्पन्नों के स्थान को उप-स्थानों के प्रत्यक्ष योग (direct sum) में विभाजित करते हैं: आंतरिक व्युत्पन्न ($Inn_\sigma$), $h=1-yx$में बहुपदों से जुड़े एक विशिष्ट गैर-आंतरिक व्युत्पन्नों का परिवार ($H_\mu$), और$x$तथा$y$ के मोनॉमियल्स (monomials) से जुड़े गैर-आंतरिक व्युत्पन्नों का एक परिवार ($P_\mu$)।
   • प्रतिच्छेदन सूत्र (Intersection Formula): एक सामान्य लेम्मा का उपयोग करते हुए, वे सिद्ध करते हैं कि किसी भी $\sigma$-व्युत्पन्न का आइसोट्रॉपी समूह उसके अपघटन में मौजूद गैर-शून्य घटकों के आइसोट्रॉपी समूहों का प्रतिच्छेदन (intersection) है।
   • अंकगणितीय विश्लेषण: प्रत्येक घटक के लिए, वे ऑटोमोर्फिज्म $\rho_\beta$ के पैरामीटर $\beta$ के लिए स्पष्ट स्थितियाँ प्राप्त करते हैं, जो अक्सर समस्या को मूल इकाई (roots of unity) और घातांकों के महत्तम समापवर्तक (gcd) से जुड़ी अंकगणितीय स्थितियों में बदल देता है।

2. जोर्डनियन प्ले ($\Lambda_2(k)$):

   • ऑटोमोर्फिज्म और व्युत्पन्न संरचना: लेखक इसके ऑटोमोर्फिज्म समूह (त्रिकोणीय प्रकार: $\phi(x) = \gamma x + g(y), \phi(y) = \gamma y$) और व्युत्पन्नों (आंतरिक और स्थानीय रूप से शून्यताशील (locally nilpotent) प्रकारों सहित) के ज्ञात विवरणों का उपयोग करते हैं।
   • क्रमविनिमेयता मानदंड: वे एक आंतरिक व्युत्पन्न के आइसोट्रॉपी समूह में एक ऑटोमोर्फिज्म के होने के लिए एक आवश्यक और पर्याप्त स्थिति स्थापित करते हैं: $\rho(w) - w \in k$।
   • स्पष्ट गणना: लेखक मोनॉमियल आंतरिक व्युत्पन्नों और स्थानीय रूप से शून्यताशील व्युत्पन्नों (परिभाषित $\delta(y)=0, \delta(x)=p(y)$ द्वारा) पर इस मानदंड को लागू करके उनके विशिष्ट आइसोट्रॉपी समूहों की गणना करते हैं।

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

• क्वांटम वेइल बीजगणक:

  • स्पष्ट आइसोट्रॉपी समूह: यह शोध पत्र $\sigma$-व्युत्पन्नों के सभी परिवारों के लिए अंकगणितीय विवरण प्रदान करता है।
    • प्रकार 2a (जिसमें $f(h)$ शामिल है) के गैर-आंतरिक व्युत्पन्नों के लिए, आइसोट्रॉपी समूह पूर्ण ऑटोमोर्फिज्म समूह $Aut(R)$ है यदि व्युत्पन्न आंतरिक है, या विशिष्ट मूल इकाई स्थितियों के आधार पर तुच्छ (trivial) या प्रतिबंधित है यदि वह गैर-आंतरिक है।
    • प्रकार 2b व्युत्पन्नों (जिसमें $h^d b(y)$ और $h^d a(x)$ शामिल हैं) के लिए, आइसोट्रॉपी समूह $Z_d$ के समरूप है, जहाँ $d$ बहुपदों $a(x)$ और $b(y)$ के घातांकों का महत्तम समापवर्तक (gcd) और एक है।
    • आंतरिक व्युत्पन्नों $ad_w$ के लिए, आइसोट्रॉपी समूह सेट $S = \{j-i \mid c_{i,j} \neq 0\}$ के gcd द्वारा निर्धारित होता है। यदि $\gcd(S) = 0$ है, तो समूह $k^*$ है; यदि $\gcd(S) = d > 1$ है, तो यह $Z_d$ है; यदि $\gcd(S) = 1$ है, तो यह तुच्छ (trivial) है।
  • प्रतिच्छेदन प्रमेय: लेखक सिद्ध करते हैं कि किसी भी $\sigma$-व्युत्पन्न $\delta$ के लिए, उसका आइसोट्रॉपी समूह $Der_\sigma(R) = Inn_\sigma(R) \oplus H_\mu \oplus P_\mu$ अपघटन में उसके गैर-शून्य घटकों के आइसोट्रॉपी समूहों का प्रतिच्छेदन है।

• जोर्डनियन प्ले:

  • मोनॉमियल आंतरिक व्युत्पन्न: $ad_{x^m y^n}$ का आइसोट्रॉपी समूह अभिलक्षणिक (characterized) किया गया है। $m \ge 1$ और $(m,n) \neq (1,0)$ के लिए, समूह $Z_{m+n}$ के समरूप है (जिसमें $\gamma^{m+n}=1$ और $g(y)=0$ शामिल हैं)।
  • स्थानीय रूप से शून्यताशील व्युत्पन्न: $\delta_p(y)=0$ और $\delta_p(x)=p(y)$ द्वारा परिभाषित व्युत्पन्नों के लिए, आइसोट्रॉपी समूह उन ऑटोमोर्फिज्म $\phi_{\gamma, g}$ से बना है जो $p(\gamma y) = \gamma p(y)$ को संतुष्ट करते हैं।
  • त्रिकोणीय उपसमूह: एक महत्वपूर्ण निष्कर्ष यह है कि स्थानीय रूप से शून्यताशील व्युत्पन्न $\delta_1$ (जहाँ $p(y)=1$) का आइसोट्रॉपी समूह $(k[y], +)$ के समरूप है, जो एक अनंत-आयामी त्रिकोणीय उपसमूह बनाता है।

महत्व और संरचनात्मक भिन्नता
यह शोध पत्र निष्कर्ष निकालता है कि आइसोट्रॉपी समूहों का संग्रह एक स्वाभाविक अपरिवर्तनीय (invariant) के रूप में कार्य करता है जो दोनों बीजगणितों के बीच संरचनात्मक अंतर को दर्शाता है:

• क्वांटम वेइल बीजगणक (जहाँ $q$ मूल इकाई नहीं है) में, ऑटोमोर्फिज्म समूह एक-आयामी (एक टोरस $k^*$) है। फलस्वरूप, व्युत्पन्नों के सभी आइसोट्रॉपी समूह इस टोरस के उपसमूहों तक सीमित हैं, जो आमतौर पर परिमित चक्रीय समूह या स्वयं टोरस होते हैं।
• जोर्डनियन प्ले में, ऑटोमोर्फिज्म समूह बड़ा है, जो "बड़े त्रिकोणीय उपसमूहों" की अनुमति देता है। लेखक प्रदर्शित करते हैं कि एक विशिष्ट स्थानीय रूप से शून्यताशील व्युत्पन्न का आइसोट्रॉपी समूह एक अनंत-आयामी त्रिकोणीय उपसमूह को समाहित करता है जो $(k[y], +)$ के समरूप है।

यह विषमता $A_1^q(k)$ और $\Lambda_2(k)$ की गैर-समरूपता को समझने के लिए एक नया दृष्टिकोण प्रदान करती है। यद्यपि उनकी गैर-समरूपता एक ज्ञात परिणाम है (शिरिकोव), यह कार्य सुझाव देता है कि आइसोट्रॉपी समूहों का व्यवहार—विशेष रूप से जोर्डनियन प्ले में अनंत-आयामी त्रिकोणीय उपसमूहों की उपस्थिति बनाम क्वांटम वेइल बीजगणक में उनकी अनुपस्थिति—गैर-क्रमविनिमेय बीजगणितों को अलग करने के लिए एक विशिष्ट अपरिवर्तनीय (invariant) प्रदान करता है। यह शोध पत्र $k[x]$ के ओर विस्तार (Ore extensions) के लिए आइसोट्रॉपी समूहों के लक्षण वर्णन के संबंध में एक व्यापक प्रश्न भी खड़ा करता है।