लाई अधि-बीजगणित

गणित में, लाई सुपरबीजगणित Z₂‑श्रेणीबद्ध बीजगणित को सम्मिलित करने के लिए लाई बीजगणित का सामान्यीकरण है। सैद्धांतिक भौतिकी में सुपरएलजेब्रा महत्वपूर्ण हैं जहां उनका उपयोग अतिसममिति के गणित का वर्णन करने के लिए किया जाता है। इनमें से अधिकांश सिद्धांतों में, सुपरबीजगणित के सम अवयव बोसॉन के अनुरूप होते हैं और विषम अवयव फरमिओन्स के अनुरूप होते हैं (किन्तु यह सदैव सत्य नहीं होता है; उदाहरण के लिए, सर्वोत्तम सुपरसममेट्री इसकी दूसरी विधि है)।

परिभाषा

औपचारिक रूप से, लाई सुपरबीजगणित गैर-सहयोगी Z₂-श्रेणीबद्ध बीजगणित, या सुपरबीजगणित है, जो एक क्रमविनिमेय वलय (सामान्यतः 'आर' या 'सी') पर होता है, जिसका उत्पाद [···], जिसे 'लाइ सुपरब्रैकेट' या सुपरकम्यूटेटर कहा जाता है,दो स्थितियों (सामान्य के अनुरूप) को संतुष्ट करता है श्रेणीकरण के साथ बीजगणित स्वयंसिद्ध लाई):

सुपर परोक्ष-समरूपता:

$[x,y]=-(-1)^{|x||y|}[y,x].\$

सुपर जैकोबी पहचान:

$(-1)^{|x||z|}[x,[y,z]]+(-1)^{|y||x|}[y,[z,x]]+(-1)^{|z||y|}[z,[x,y]]=0,$

जहां 'Z'₂-श्रेणीकरण में x, y, और z शुद्ध हैं। जहाँ, |x| x की डिग्री को दर्शाता है (या तो 0 या 1)। [x,y] की डिग्री x और y मॉड्यूलो 2 की डिग्री का योग है।

कोई कभी-कभी |x|= 0 के लिए स्वयंसिद्ध $[x,x]=0$ भी जोड़ता है (यदि 2 विपरीत है तो यह स्वचालित रूप से अनुसरण करता है) और |x|= 1 के लिए $[[x,x],x]=0$ (यदि 3 विपरीत है तो यह स्वचालित रूप से अनुसरण करता है)। जब क्षेत्र वलय पूर्णांक होती है या लाई सुपरएल्जेब्रा स्वतंत्र मॉड्यूल होता है, तो ये स्थितियाँ उस स्थिति के समान होती हैं जो पोंकारे-बिरखॉफ़-विट प्रमेय रखती हैं (और, सामान्य रूप पर, वे प्रमेय को धारण करने के लिए आवश्यक नियम हैं)।

इस प्रकार से लाई बीजगणित की ही तरह, लाई सुपरबीजगणित के सार्वभौमिक आवरण बीजगणित को हॉपफ बीजगणित संरचना दी जा सकती है।

एक श्रेणीबद्ध लाई बीजगणित (मान लीजिए, 'Z' या 'N' द्वारा वर्गीकृत) जो कि एंटीकम्यूटेटिव है और श्रेणीबद्ध अर्थ में जैकोबी $Z_{2}$ के पास भी है श्रेणीकरण (जिसे बीजगणित को विषम और सम भागों में "रोलिंग अप" कहा जाता है), किन्तु इसे "सुपर" नहीं कहा जाता है। किन्तु विचार के लिए श्रेणीबद्ध लाई बीजगणित पर नोट-0 देखें।

गुण

मान लीजिये ${\mathfrak {g}}={\mathfrak {g}}_{0}\oplus {\mathfrak {g}}_{1}$ लाई सुपरबीजगणित बनें। जैकोबी पहचान का निरीक्षण करने पर, कोई यह देख सकता है कि आठ स्तिथि हैं जो इस तथ्य पर निर्भर करते हैं कि तर्क सम या विषम हैं । ये चार वर्गों में आते हैं, जिन्हें विषम अवयवो की संख्या के आधार पर अनुक्रमित किया जाता है:

1. कोई विषम अवयव नहीं. कथन केवल इतना ही है कि ${\mathfrak {g}}_{0}$ एक सामान्य लाई बीजगणित है.
2. एक विषम अवयव . तब ${\mathfrak {g}}_{1}$क्रिया ${\mathfrak {g}}_{0}$ के लिए $\mathrm {ad} _{a}:b\rightarrow [a,b],\quad a\in {\mathfrak {g}}_{0},\quad b,[a,b]\in {\mathfrak {g}}_{1}$ मॉड्यूल है .
3. दो विषम अवयव . जैकोबी पहचान कहती है कि ब्रैकेट ${\mathfrak {g}}_{1}\otimes {\mathfrak {g}}_{1}\rightarrow {\mathfrak {g}}_{0}$ एक सममित ${\mathfrak {g}}_{1}$-मानचित्र है।
4. तीन विषम अवयव . सभी के लिए $b\in {\mathfrak {g}}_{1}$, $[b,[b,b]]=0$.

इस प्रकार एक लाई सुपरबीजगणित का सम उपबीजगणित ${\mathfrak {g}}_{0}$ एक (सामान्य) लाई बीजगणित बनाता है क्योंकि सभी चिह्न विलुप्त हो जाते हैं, और सुपरब्रैकेट एक सामान्य लाई ब्रैकेट बन जाता है, जबकि ${\mathfrak {g}}_{1}$, ${\mathfrak {g}}_{0}$ का एक रैखिक प्रतिनिधित्व है और एक सममित ${\mathfrak {g}}_{0}$-समतुल्य रेखीय मानचित्र $\{\cdot ,\cdot \}:{\mathfrak {g}}_{1}\otimes {\mathfrak {g}}_{1}\rightarrow {\mathfrak {g}}_{0}$ उपस्तिथ है। वह,

$[\left\{x,y\right\},z]+[\left\{y,z\right\},x]+[\left\{z,x\right\},y]=0,\quad x,y,z\in {\mathfrak {g}}_{1}.$

स्थितियाँ (1)-(3) रैखिक हैं और सभी को सामान्य लाई बीजगणित के संदर्भ में समझा जा सकता है। नियम (4) अरैखिक है, और सामान्य लाई बीजगणित (${\mathfrak {g}}_{0}$) और प्रतिनिधित्व (${\mathfrak {g}}_{1}$) से प्रारंभ करके लाई सुपरबीजगणित का निर्माण करते समय इसे सत्यापित करना सबसे कठिन है।

आक्रमण

A^∗ लाई सुपरएल्जेब्रा सम्मिश्र लाई सुपरएल्जेब्रा है जो अपने आप में इनवोल्यूशन (गणित) प्रतिरेखीय मानचित्र से सुसज्जित है जो Z₂ श्रेणीकरण का सम्मान करता है और लाई सुपरबीजगणित में सभी x और y के लिए [x,y]* = [y*,x*] को संतुष्ट करता है। (कुछ लेखक सम्मेलन को पसंद करते हैं [x,y]^*=(−1)^|x||y|[y^*,x^*]; परिवर्तन * को −* दो सम्मेलनों के बीच स्विच करता है।) इसका सार्वभौमिक आवरण बीजगणित एक साधारण *-बीजगणित होगा।

उदाहरण

इस प्रकार से किसी भी सहयोगी सुपरबीजगणित $A$ को देखते हुए कोई सजातीय अवयवो के सुपर कंप्यूटर को परिभाषित कर सकता है

$[x,y]=xy-(-1)^{|x||y|}yx\$

और फिर सभी अवयवो तक रैखिकता द्वारा विस्तार करना। बीजगणित $A$ सुपरकम्यूटेटर के साथ मिलकर यह लाई सुपरबीजगणित बन जाता है। इस प्रक्रिया का सबसे सरल उदाहरण शायद तब है जब $A$ अपने आप में एक सुपर सदिश स्थान $V$ के सभी रैखिक कार्यों $\mathbf {End} (V)$ का स्थान है। जब $V=\mathbb {K} ^{p|q}$ होता है तो इस स्थान को $M^{p|q}$ या $M(p|q)$ द्वारा दर्शाया जाता है, ऊपर दिए गए लाई ब्रैकेट के साथ, स्थान को ${\mathfrak {gl}}(p|q)$ दर्शाया जाता है

होमोटॉपी समूहों पर व्हाइटहेड उत्पाद पूर्णांकों पर लाई सुपरएल्जेब्रा के कई उदाहरण देता है।

सुपर-पोंकारे बीजगणित फ्लैट सुपरस्पेस की आइसोमेट्री उत्पन्न करता है।

वर्गीकरण

सरल सम्मिश्र परिमित-आयामी लाई सुपरएलजेब्रा को विक्टर काक द्वारा वर्गीकृत किया गया था।

वे (लाई बीजगणित को छोड़कर) हैं:

विशेष रैखिक लाई सुपरबीजगणित ${\mathfrak {sl}}(m|n)$.

लाई सुपरबीजगणित ${\mathfrak {sl}}(m|n)$ का उपबीजगणित है ${\mathfrak {gl}}(m|n)$ सुपर ट्रेस शून्य के साथ मैट्रिक्स से मिलकर। यह सरल है जब $m\not =n$. अगर $m=n$, फिर पहचान मैट्रिक्स $I_{2m}$एक आदर्श उत्पन्न करता है. इस आदर्श ${\mathfrak {sl}}(m|m)/\langle I_{2m}\rangle$ को उद्धृत करने से पता चलता है जो $m\geq 2$ के लिए सरल है .

ऑर्थोसिम्पलेक्टिक लाई सुपरबीजगणित ${\mathfrak {osp}}(m|2n)$.

एक सम, गैर-पतित, सुपरसिमेट्रिक बिलिनियर रूप $\langle \cdot ,\cdot \rangle$ , $\mathbb {C} ^{m|2n}$ पर विचार करें फिर ऑर्थोसिम्पलेक्टिक लाई सुपरएलजेब्रा ${\mathfrak {gl}}(m|2n)$ का उपबीजगणित है जो की ऐसे मैट्रिक्स से मिलकर जो इस रूप को अपरिवर्तनीय छोड़ देते हैं:

$${\mathfrak {osp}}(m|2n)=\{X\in {\mathfrak {gl}}(m|2n)\mid \langle Xu,v\rangle +(-1)^{|X||u|}\langle u,Xv\rangle =0{\text{ for all }}u,v\in \mathbb {C} ^{m|2n}\}.$$

इसका सम भाग ${\mathfrak {so}}(m)\oplus {\mathfrak {sp}}(2n)$ द्वारा दिया गया है? .

असाधारण लाई सुपरबीजगणित $D(2,1;\alpha )$.

एक पैरामीटर $\alpha$ के आधार पर (9∣8)-आयामी लाई सुपरएल्जेब्रा का वर्ग है . ये $D(2,1)={\mathfrak {osp}}(4|2)$ की विकृतियाँ हैं . यदि $\alpha \not =0$ और $\alpha \not =-1$, तो D(2,1,α) सरल है। इसके अतिरिक्त $D(2,1;\alpha )\cong D(2,1;\beta )$ यदि मानचित्र $\alpha$ और $\alpha \mapsto -1-\alpha$ के अंतर्गत $\beta$ और $\alpha \mapsto \alpha ^{-1}$ एक ही कक्षा में हैं

असाधारण लाई सुपरबीजगणित $F(4)$.

इसका आयाम (24|16) है। इसका सम भाग ${\mathfrak {sl}}(2)\oplus {\mathfrak {so}}(7)$ किसके द्वारा दिया गया है? .

असाधारण लाई सुपरबीजगणित $G(3)$.

इसका आयाम (17|14) है। इसका सम भाग ${\mathfrak {sl}}(2)\oplus G_{2}$ किसके द्वारा दिया गया है? .

जहाँ ${\mathfrak {pe}}(n)$ और ${\mathfrak {q}}(n)$ नाम की दो तथाकथित विषम श्रृंखला कहलाती है.

कार्टन प्रकार. इन्हें चार वर्गों में विभाजित किया जा सकता है: $W(n)$, $S(n)$, ${\widetilde {S}}(2n)$ और $H(n)$. कार्टन प्रकार के सरल लाई सुपरएलजेब्रा के लिए, विषम भाग अब सम भाग की क्रिया के अधीन पूरी तरह से कम करने योग्य नहीं है।

अनंत-आयामी सरल रैखिक रूप से कॉम्पैक्ट लाई सुपरएल्जेब्रा का वर्गीकरण

वर्गीकरण में 10 श्रृंखलाएँ सम्मिलित हैं W(m, n), S(m, n) ((m, n) ≠ (1, 1)), H(2m, n), K(2m + 1, n), HO(m, m) (m ≥ 2), SHO(m, m) (m ≥ 3), KO(m, m + 1), SKO(m, m + 1; β) (m ≥ 2), SHO ∼ (2m, 2m), SKO ∼ (2m + 1, 2m + 3) और पांच असाधारण बीजगणित:

E(1, 6), E(5, 10), E(4, 4), E(3, 6), E(3, 8)

अंतिम दो विशेष रूप से दिलचस्प हैं (Kac के अनुसार) क्योंकि उनके पास मानक मॉडल गेज समूह SU(3)×SU(2)×U(1) उनके शून्य स्तर बीजगणित के रूप में है। सुपरस्ट्रिंग सिद्धांत में अनंत-आयामी (एफ़िन) लाई सुपरबीजगणित महत्वपूर्ण समरूपताएं हैं। विशेष रूप से, ${\mathcal {N}}$ सुपरसिमेट्री वाले विरासोरो बीजगणित $K(1,{\mathcal {N}})$ होते हैं जिनका केवल ${\mathcal {N}}=4$ केंद्रीय विस्तार होता है।

श्रेणी-सैद्धांतिक परिभाषा

श्रेणी सिद्धांत में, लाई सुपरबीजगणित को गैर-सहयोगी सुपरबीजगणित के रूप में परिभाषित किया जा सकता है जिसका उत्पाद संतुष्ट करता है

• $[\cdot ,\cdot ]\circ ({\operatorname {id} }+\tau _{A,A})=0$
• $[\cdot ,\cdot ]\circ ([\cdot ,\cdot ]\otimes {\operatorname {id} }\circ ({\operatorname {id} }+\sigma +\sigma ^{2})=0$

जहां σ चक्रीय क्रमपरिवर्तन ब्रेडिंग $({\operatorname {id} }\otimes \tau _{A,A})\circ (\tau _{A,A}\otimes {\operatorname {id} })$ है . आरेखीय रूप में:

यह भी देखें

• गेरस्टेनहाबर बीजगणित
• एनीओनिक लाई बीजगणित
• ग्रासमैन बीजगणित
• एक लाई सुपरबीजगणित का प्रतिनिधित्व
• सुपरस्पेस
• सुपरग्रुप (भौतिकी)
• सार्वभौमिक आवरण बीजगणित

संदर्भ

• Cheng, S.-J.; Wang, W. (2012). Dualities and Representations of Lie Superalgebras. Graduate Studies in Mathematics. Vol. 144. pp. 302pp. ISBN 978-0-8218-9118-6.
• Freund, P. G. O. (1983). Introduction to supersymmetry. Cambridge Monographs on Mathematical Physics. Cambridge University Press. doi:10.1017/CBO9780511564017. ISBN 978-0521-356-756.
• Grozman, P.; Leites, D.; Shchepochkina, I. (2005). "Lie Superalgebras of String Theories". Acta Mathematica Vietnamica. 26 (2005): 27–63. arXiv:hep-th/9702120. Bibcode:1997hep.th....2120G.
• Kac, V. G. (1977). "Lie superalgebras". Advances in Mathematics. 26 (1): 8–96. doi:10.1016/0001-8708(77)90017-2.
• Kac, V. G. (2010). "Classification of Infinite-Dimensional Simple Groups of Supersymmetries and Quantum Field Theory". Visions in Mathematics. pp. 162–183. arXiv:math/9912235. doi:10.1007/978-3-0346-0422-2_6. ISBN 978-3-0346-0421-5. S2CID 15597378.
• Manin, Y. I. (1997). Gauge Field Theory and Complex Geometry ((2nd ed.) ed.). Berlin: Springer. ISBN 978-3-540-61378-7.
• Musson, I. M. (2012). Lie Superalgebras and Enveloping Algebras. Graduate Studies in Mathematics. Vol. 131. pp. 488 pp. ISBN 978-0-8218-6867-6.
• Varadarajan, V. S. (2004). Supersymmetry for Mathematicians: An Introduction. Courant Lecture Notes in Mathematics. Vol. 11. American Mathematical Society. ISBN 978-0-8218-3574-6.

ऐतिहासिक

• Frölicher, A.; Nijenhuis, A. (1956). "वेक्टर मूल्यवान विभेदक रूपों का सिद्धांत। भाग I". Indagationes Mathematicae. 59: 338–350. doi:10.1016/S1385-7258(56)50046-7..
• Gerstenhaber, M. (1963). "एक साहचर्य वलय की सहसंरचना संरचना". Annals of Mathematics. 78 (2): 267–288. doi:10.2307/1970343. JSTOR 1970343.
• Gerstenhaber, M. (1964). "वलयों और बीजगणित की विकृति पर". Annals of Mathematics. 79 (1): 59–103. doi:10.2307/1970484. JSTOR 1970484.
• Milnor, J. W.; Moore, J. C. (1965). "हॉपफ बीजगणित की संरचना पर". Annals of Mathematics. 81 (2): 211–264. doi:10.2307/1970615. JSTOR 1970615.

बाहरी संबंध

• Irving Kaplansky + Lie Superalgebras