कासिमिर तत्व: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Distinguished element of a Lie algebra's center}} गणित में, एक कासिमिर तत्व (कैसिमिर इनवेर...")
 
No edit summary
 
(18 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Distinguished element of a Lie algebra's center}}
{{Short description|Distinguished element of a Lie algebra's center}}
गणित में, एक कासिमिर तत्व (कैसिमिर इनवेरिएंट या कासिमिर ऑपरेटर के रूप में भी जाना जाता है) एक लाई बीजगणित के [[सार्वभौमिक लिफाफा बीजगणित]] के केंद्र (रिंग थ्योरी) का एक विशिष्ट तत्व है। एक प्रोटोटाइपिकल उदाहरण स्क्वायर [[कोणीय गति ऑपरेटर]] है, जो त्रि-आयामी [[रोटेशन समूह SO(3)]] का कासिमिर तत्व है।
गणित में '''कासिमिर तत्व''' एक लाई बीजगणित के [[सार्वभौमिक लिफाफा बीजगणित|सार्वभौमिक आवरण]] के केंद्र (रिंग थ्योरी) का एक विशिष्ट तत्व है। जिसे कासिमिर इनवेरिएंट या कासिमिर ऑपरेटर के रूप में भी जाना जाता है। एक प्रोटोटाइपिकल उदाहरण स्क्वायर [[कोणीय गति ऑपरेटर]] है। जो त्रि-आयामी [[रोटेशन समूह SO(3)]] का '''कासिमिर तत्व''' है।


अधिक आम तौर पर, कासिमिर तत्वों का उपयोग सार्वभौमिक लिफाफा बीजगणित के केंद्र के ''किसी भी'' तत्व को संदर्भित करने के लिए किया जा सकता है। इन तत्वों के [[एक क्षेत्र पर बीजगणित]] को [[हरीश-चंद्र समरूपता]] के माध्यम से एक [[बहुपद बीजगणित]] के लिए समरूपता के रूप में जाना जाता है।
सामान्यतः कासिमिर तत्वों का उपयोग सार्वभौमिक आवरण बीजगणित के केंद्र के किसी भी तत्व को संदर्भित करने के लिए किया जा सकता है। इन तत्वों के [[एक क्षेत्र पर बीजगणित]] को [[हरीश-चंद्र समरूपता]] के माध्यम से [[बहुपद बीजगणित]] के लिए समरूपता के रूप में भी जाना जाता है।


कासिमिर तत्व का नाम [[हेंड्रिक कासिमिर]] के नाम पर रखा गया है, जिन्होंने 1931 में [[कठोर शरीर की गतिशीलता]] के अपने विवरण में उनकी पहचान की थी।<ref>{{Cite book | publisher = Springer | isbn = 978-0-387-40307-6 | last = Oliver | first = David | title = The shaggy steed of physics: mathematical beauty in the physical world | url = https://archive.org/details/shaggysteedphysi00oliv_960 | url-access = limited | year = 2004 | page = [https://archive.org/details/shaggysteedphysi00oliv_960/page/n92 81] }}</ref>
कासिमिर तत्व का नाम वैज्ञानिक [[हेंड्रिक कासिमिर]] के नाम पर रखा गया है। जिन्होंने 1931 में [[कठोर शरीर की गतिशीलता]] के अपने विवरण में उनकी पहचान का विवरण दिया था।<ref>{{Cite book | publisher = Springer | isbn = 978-0-387-40307-6 | last = Oliver | first = David | title = The shaggy steed of physics: mathematical beauty in the physical world | url = https://archive.org/details/shaggysteedphysi00oliv_960 | url-access = limited | year = 2004 | page = [https://archive.org/details/shaggysteedphysi00oliv_960/page/n92 81] }}</ref>




== परिभाषा ==
== परिभाषा ==


सबसे अधिक इस्तेमाल किया जाने वाला कासिमिर इनवेरिएंट द्विघात इनवेरिएंट है। यह परिभाषित करने के लिए सबसे आसान है, और इसलिए पहले दिया गया है। हालांकि, किसी के पास उच्च क्रम के कासिमिर इनवेरिएंट भी हो सकते हैं, जो उच्च क्रम के सजातीय सममित बहुपदों के अनुरूप होते हैं।
सबसे अधिकत प्रयोग किया जाने वाला कासिमिर इनवेरिएंट द्विघात इनवेरिएंट है। यह परिभाषित करने के लिए सबसे सरल है और इसलिए पहले दिया गया है। चूंकि किसी के पास उच्च क्रम के कासिमिर इनवेरिएंट भी पाये जा सकते हैं। जो उच्च क्रम के सजातीय सममित बहुपदों के समान होते हैं।


=== द्विघात कासिमिर तत्व ===
=== द्विघात कासिमिर तत्व ===


लगता है कि <math>\mathfrak{g}</math> एक <math>n</math>-आयामी झूठ बीजगणित। बता दें कि B एक नॉनडिजेनरेट [[ द्विरेखीय रूप ]] है <math>\mathfrak{g}</math> जो कि Adjoint_representation_of_a_Lie_algebra के अंतर्गत अपरिवर्तनीय है <math>\mathfrak{g}</math> अपने आप पर, जिसका अर्थ है <math>B(\operatorname{ad}_XY, Z) + B(Y, \operatorname{ad}_X Z) = 0</math> सभी एक्स, वाई, जेड इन के लिए <math>\mathfrak{g}</math>. (बी की सबसे आम पसंद [[ मारक रूप ]] है <math>\mathfrak{g}</math> सेमीसिंपल झूठ बीजगणित है।)
माना कि <math>\mathfrak{g}</math> एक <math>n</math>-आयामी लाई बीजगणित है। माना कि B एक नॉनडिजेनरेट <math>\mathfrak{g}</math> पर[[ द्विरेखीय रूप | द्विरेखीय रूप]] है। जो की <math>\mathfrak{g}</math> पर आसन्न क्रिया के अनुसार अपरिवर्तनीय है। जिसका अर्थ यह है कि <math>B(\operatorname{ad}_XY, Z) + B(Y, \operatorname{ad}_X Z) = 0</math>, <math>\mathfrak{g}</math> में सभी ''X'', ''Y'', ''Z के लिये'' . (''B'' का सबसे सामान्य पसंद [[ मारक रूप |किलिंग रूप]] है। यदि <math>\mathfrak{g}</math> सेमीसिंपल लाई बीजगणित है।)
होने देना
 
माना कि-
:<math>\{X_i\}_{i=1}^n</math>
:<math>\{X_i\}_{i=1}^n</math>
का कोई भी [[आधार (रैखिक बीजगणित)]] हो <math>\mathfrak{g}</math>, और
का कोई भी [[आधार (रैखिक बीजगणित)]] <math>\mathfrak{g}</math> हो, और
:<math>\{X^i\}_{i=1}^n</math>
:<math>\{X^i\}_{i=1}^n</math>
का दोहरा आधार हो <math>\mathfrak{g}</math> बी के संबंध में 'कासिमिर तत्व' <math>\Omega</math> बी के लिए सार्वभौमिक लिफाफा बीजगणित का तत्व है <math>U(\mathfrak{g})</math> सूत्र द्वारा दिया गया
का B के संबंध में दोहरा आधार <math>\mathfrak{g}</math> के साथ हो। 'कासिमिर तत्व' <math>\Omega</math> लिए सार्वभौमिक आवरण बीजगणित B का तत्व है। जो कि <math>U(\mathfrak{g})</math> सूत्र द्वारा दिया गया है।
:<math>\Omega = \sum_{i=1}^n X_i X^i.</math>
:<math>\Omega = \sum_{i=1}^n X_i X^i.</math>
हालांकि परिभाषा झूठ बीजगणित के आधार के विकल्प पर निर्भर करती है, यह दिखाना आसान है कि Ω इस पसंद से स्वतंत्र है। दूसरी ओर, Ω द्विरेखीय रूप B पर निर्भर करता है। B के व्युत्क्रम का अर्थ है कि कासिमिर तत्व लाई बीजगणित के सभी तत्वों के साथ संचार करता है। <math>\mathfrak{g}</math>, और इसलिए सार्वभौमिक आवरण बीजगणित के एक वलय के केंद्र में स्थित है <math>U(\mathfrak{g})</math>.<ref>{{harvnb|Hall|2015}} Proposition 10.5</ref>
चूंकि परिभाषा लाई बीजगणित के आधार के विकल्प पर निर्भर करती है। यह प्रदर्शित करना सरल है कि Ω इस पसंद से स्वतंत्र है। दूसरी ओर Ω द्विरेखीय रूप B पर निर्भर करता है। B के व्युत्क्रम का अर्थ है कि कासिमिर तत्व लाई बीजगणित <math>\mathfrak{g}</math> के सभी तत्वों के साथ संचार करता है और इसलिए सार्वभौमिक आवरण बीजगणित <math>U(\mathfrak{g})</math> के एक वलय के केंद्र में स्थित है।<ref>{{harvnb|Hall|2015}} Proposition 10.5</ref>




=== एक रेखीय प्रतिनिधित्व और एक चिकनी कार्रवाई === के द्विघात Casimir अपरिवर्तनीय


लाई बीजगणित निरूपण ρ दिया गया है <math>\mathfrak{g}</math> सदिश स्थान V पर, संभवतः अनंत-आयामी, ρ का 'कैसिमिर इनवेरिएंट' ρ(Ω) के रूप में परिभाषित किया गया है, सूत्र द्वारा दिए गए V पर रैखिक संचालिका
'''<big><u>एक रेखीय प्रतिनिधित्व और एक सुचारू क्रिया का द्विघात कासिमिर इनवेरिएंट</u></big>'''
 
लाई बीजगणित निरूपण ρ का <math>\mathfrak{g}</math> सदिश स्थान V पर दिया गया है। संभवतः अनंत-आयामी ρ का 'कैसिमिर इनवेरिएंट' ρ(Ω) के रूप में परिभाषित किया गया है। सूत्र द्वारा दिए गए V पर रैखिक संचालिका-


:<math>\rho(\Omega) = \sum_{i=1}^n \rho(X_i)\rho(X^i).</math>
:<math>\rho(\Omega) = \sum_{i=1}^n \rho(X_i)\rho(X^i).</math>
इस निर्माण का एक विशिष्ट रूप अंतर ज्यामिति और वैश्विक विश्लेषण में महत्वपूर्ण भूमिका निभाता है। मान लीजिए कि लाई बीजगणित के साथ एक जुड़ा लाई समूह जी <math>\mathfrak{g}</math> अलग-अलग कई गुना एम पर समूह कार्रवाई करें। एम पर चिकनी कार्यों के स्थान पर जी के संबंधित प्रतिनिधित्व ρ पर विचार करें। फिर के तत्व <math>\mathfrak{g}</math> एम पर पहले क्रम के डिफरेंशियल ऑपरेटर्स द्वारा प्रतिनिधित्व किया जाता है। इस स्थिति में, ρ का कासिमिर इनवेरिएंट उपरोक्त सूत्र द्वारा परिभाषित एम पर जी-इनवेरिएंट सेकेंड ऑर्डर डिफरेंशियल ऑपरेटर है।
इस निर्माण का एक विशिष्ट रूप अंतर ज्यामिति और वैश्विक विश्लेषण में महत्वपूर्ण भूमिका प्रदर्शित करता है। माना कि लाई बीजगणित <math>\mathfrak{g}</math> के साथ एक जुड़ा लाई समूह ''G'' अलग-अलग कई गुना ''M'' पर समूह कार्रवाई करें। ''M'' पर सरल फलन के स्थान पर ''G'' के संबंधित प्रतिनिधित्व ρ पर विचार करें। फिर <math>\mathfrak{g}</math> के तत्व ''M'' पर पहले क्रम के डिफरेंशियल ऑपरेटर्स द्वारा प्रतिनिधित्व किया जाता है। इस स्थिति में ρ का कासिमिर इनवेरिएंट उपरोक्त सूत्र द्वारा परिभाषित ''M'' पर ''G''-इनवेरिएंट सेकेंड ऑर्डर डिफरेंशियल ऑपरेटर है।


आगे विशेषज्ञता, अगर ऐसा होता है कि एम में एक [[रिमेंनियन मीट्रिक]] है जिस पर जी आइसोमेट्रीज़ और स्टेबलाइज़र उपसमूह जी द्वारा सकर्मक रूप से कार्य करता है<sub>''x''</sub> एक बिंदु एक्स पर एम के स्पर्शरेखा स्थान पर अनियमित रूप से कार्य करता है, फिर ρ का कासिमिर इनवेरिएंट मीट्रिक से आने वाले [[लाप्लासियन ऑपरेटर]] का एक अदिश गुणक है।
आगे विशेषज्ञता यदि ऐसा प्रतीत होता है कि ''M'' में एक [[रिमेंनियन मीट्रिक]] है। जिस पर ''G'' आइसोमेट्रीज़ और स्टेबलाइज़र उपसमूह ''G<sub>x</sub>'' द्वारा सकर्मक रूप से कार्य करता है। एक बिंदु ''x'' पर ''M'' के स्पर्शरेखा स्थान पर अनियमित रूप से कार्य करता है। फिर ρ का कासिमिर इनवेरिएंट मीट्रिक से आने वाले [[लाप्लासियन ऑपरेटर]] का एक अदिश गुणक है।


अधिक सामान्य कासिमिर आक्रमणकारियों को भी परिभाषित किया जा सकता है, जो आमतौर पर [[फ्रेडहोम सिद्धांत]] में छद्म-विभेदक संचालकों के अध्ययन में होता है।
अधिक सामान्य कासिमिर आक्रमणकारियों को भी परिभाषित किया जा सकता है। जो सामान्यतः [[फ्रेडहोम सिद्धांत]] में छद्म-विभेदक संचालकों के अध्ययन में होता है।


=== उच्च क्रम के कासिमिर तत्व ===
=== उच्च क्रम के कासिमिर तत्व ===


यूनिवर्सल लिफाफा बीजगणित पर लेख कासिमिर ऑपरेटरों की एक विस्तृत, सटीक परिभाषा और उनके कुछ गुणों का एक विवरण देता है। सभी कासिमिर ऑपरेटर एक लाई बीजगणित के आसन्न प्रतिनिधित्व के [[सममित बीजगणित]] में सममित [[सजातीय बहुपद]]ों के अनुरूप हैं <math>\operatorname{ad}_\mathfrak{g}.</math>:
यूनिवर्सल आवरण बीजगणित पर लेख कासिमिर ऑपरेटरों की एक विस्तृत, सटीक परिभाषा और उनके कुछ गुणों का एक विवरण देता है। सभी कासिमिर ऑपरेटर लाई बीजगणित के आसन्न प्रतिनिधित्व के [[सममित बीजगणित]] में सममित [[सजातीय बहुपद|सजातीय बहुपदों]] <math>\operatorname{ad}_\mathfrak{g}.</math> के अनुरूप हैं:


:<math>C_{(m)} = \kappa^{ij\cdots k} X_i \otimes X_j \otimes \cdots\otimes X_k</math>
:<math>C_{(m)} = \kappa^{ij\cdots k} X_i \otimes X_j \otimes \cdots\otimes X_k</math>
कहाँ {{math|''m''}} सममित टेंसर का क्रम है <math>\kappa^{ij\cdots k}</math> और यह <math>X_i</math> का एक सदिश स्थान आधार बनाते हैं <math>\mathfrak{g}.</math> यह एक सममित सजातीय बहुपद के अनुरूप है
जहाँ {{math|''m''}} सममित टेंसर <math>\kappa^{ij\cdots k}</math> का क्रम है और यह <math>X_i</math> का एक सदिश स्थान <math>\mathfrak{g}.</math> आधार बनाते हैं। यह एक सममित सजातीय बहुपद के अनुरूप है।


:<math>c_{(m)} = \kappa^{ij\cdots k} t_i t_j \cdots t_k</math>
:<math>c_{(m)} = \kappa^{ij\cdots k} t_i t_j \cdots t_k</math>
में {{math|''m''}} अनिश्चित चर <math>t_i</math> बहुपद बीजगणित में <math>K[t_i, t_j, \cdots ,t_k]</math> एक मैदान के ऊपर {{math|''K''.}समरूपता का कारण [[पीबीडब्ल्यू प्रमेय]] से आता है और सार्वभौमिक लिफाफा बीजगणित पर आलेख में अधिक विस्तार से चर्चा की गई है।
में {{math|''m''}} अनिश्चित चर <math>t_i</math> बहुपद बीजगणित में <math>K[t_i, t_j, \cdots ,t_k]</math> एक सतह के ऊपर स्थित हैं। समरूपता का कारण [[पीबीडब्ल्यू प्रमेय]] से निकलकर प्रदर्शित होता है और सार्वभौमिक आवरण बीजगणित पर आलेख में अधिक विस्तार से चर्चा की गई है।


इसके अलावा, एक कासिमिर तत्व को सार्वभौमिक आवरण वाले बीजगणित के केंद्र से संबंधित होना चाहिए, अर्थात इसका पालन करना चाहिए
इसके अतिरिक्त एक कासिमिर तत्व को सार्वभौमिक आवरण वाले बीजगणित के केंद्र से संबंधित होना चाहिए अर्थात इसका पालन करना चाहिए।


:<math>[C_{(m)}, X_i] = 0</math>
:<math>[C_{(m)}, X_i] = 0</math>
सभी आधार तत्वों के लिए <math>X_i.</math> इसी सममित टेंसर के संदर्भ में <math>\kappa^{ij\cdots k}</math>, यह स्थिति टेंसर के अपरिवर्तनीय होने के बराबर है:
सभी आधार तत्वों <math>X_i.</math> के लिए इसी सममित टेंसर <math>\kappa^{ij\cdots k}</math> के संदर्भ में ज्ञात है। यह स्थिति टेंसर के अपरिवर्तनीय होने के बराबर है:
:<math>f_{ij}^{\;\; k}  \kappa^{jl\cdots m}  
:<math>f_{ij}^{\;\; k}  \kappa^{jl\cdots m}  
+ f_{ij}^{\;\; l}  \kappa^{kj\cdots m} + \cdots
+ f_{ij}^{\;\; l}  \kappa^{kj\cdots m} + \cdots
+ f_{ij}^{\;\; m}  \kappa^{kl\cdots j} = 0
+ f_{ij}^{\;\; m}  \kappa^{kl\cdots j} = 0
</math>
</math>
कहाँ <math>f_{ij}^{\;\; k}</math> झूठ बीजगणित यानी की [[संरचना स्थिरांक]] है <math>[X_i,X_j]=f_{ij}^{\;\; k}X_k</math>.
जहाँ <math>f_{ij}^{\;\; k}</math> लाई बीजगणित अर्थात [[संरचना स्थिरांक]] है। जो कि- <math>[X_i,X_j]=f_{ij}^{\;\; k}X_k</math>.


== गुण ==
== गुण ==
Line 58: Line 60:
=== द्विघात कासिमिर तत्व की विशिष्टता ===
=== द्विघात कासिमिर तत्व की विशिष्टता ===


चूंकि एक साधारण लाई बीजगणित के लिए प्रत्येक अपरिवर्तनीय बिलिनियर फॉर्म किलिंग फॉर्म का एक बहु है, संबंधित कासिमिर तत्व विशिष्ट रूप से एक स्थिरांक तक परिभाषित होता है। एक सामान्य अर्धसरल लाई बीजगणित के लिए, अपरिवर्तनीय द्विरेखीय रूपों के स्थान में प्रत्येक सरल घटक के लिए एक आधार वेक्टर होता है, और इसलिए यह संबंधित कासिमिर ऑपरेटरों के स्थान के लिए भी सही है।
चूंकि एक साधारण लाई बीजगणित के लिए प्रत्येक अपरिवर्तनीय बिलिनियर फॉर्म किलिंग फॉर्म का एक बहुपद है। संबंधित कासिमिर तत्व विशिष्ट रूप से एक स्थिरांक तक परिभाषित होता है। सामान्य अर्धसरल लाई बीजगणित के लिए अपरिवर्तनीय द्विरेखीय रूपों के स्थान में प्रत्येक सरल घटक के लिए एक आधार वेक्टर होता है और इसलिए यह संबंधित कासिमिर ऑपरेटरों के स्थान के लिए भी सही है।


=== जी === पर लाप्लासियन से संबंध
'''<big><math>G</math> पर लाप्लासियन से संबंध</big>'''


अगर <math>G</math> झूठ बीजगणित वाला एक झूठ समूह है <math>\mathfrak{g}</math>, पर एक अपरिवर्तनीय बिलिनियर फॉर्म का विकल्प <math>\mathfrak{g}</math> द्वि-अपरिवर्तनीय [[ रीमैनियन कई गुना ]] ऑन के विकल्प से मेल खाता है <math>G</math>. फिर की सार्वभौमिक आवरण बीजगणित की पहचान के तहत <math>\mathfrak{g}</math> बाएं अपरिवर्तनीय अंतर ऑपरेटरों के साथ <math>G</math>, बिलिनियर रूप का कासिमिर तत्व <math>\mathfrak{g}</math> के लाप्लास-बेल्ट्रामी ऑपरेटर के नक्शे <math>G</math> (इसी द्वि-अपरिवर्तनीय मीट्रिक के संबंध में)
यदि <math>G</math> लाई बीजगणित <math>\mathfrak{g}</math> वाला एक लाई समूह है। अपरिवर्तनीय बिलिनियर फॉर्म का विकल्प <math>\mathfrak{g}</math> द्वि-अपरिवर्तनीय रीमैनियन मीट्रिक के विकल्प <math>G</math> से मेल खाता है। फिर सार्वभौमिक आवरण बीजगणित <math>\mathfrak{g}</math> की पहचान के अनुसार बाएं अपरिवर्तनीय अंतर ऑपरेटरों <math>G</math> के साथ, बिलिनियर रूप का कासिमिर तत्व <math>\mathfrak{g}</math> के लाप्लास-बेल्ट्रामी ऑपरेटर <math>G</math> के मानचित्र हैं। (इसी द्वि-अपरिवर्तनीय मीट्रिक के संबंध में दर्शाया गया है।)


=== कासिमिर तत्व और प्रतिनिधित्व सिद्धांत ===
=== कासिमिर तत्व और प्रतिनिधित्व सिद्धांत ===


[[Giulio Racah]] के प्रमेय द्वारा,<ref>{{cite book|last1=Racah|first1=Giulio|title=समूह सिद्धांत और स्पेक्ट्रोस्कोपी|date=1965|publisher=Springer Berlin Heidelberg}}</ref> एक अर्धसरल झूठ बीजगणित के लिए सार्वभौमिक आवरण बीजगणित के केंद्र का आयाम इसके अर्धसरल झूठ बीजगणित#रैंक के बराबर है। कासिमिर संचालिका [[लाप्लासियन]] की अवधारणा को एक सामान्य अर्ध-सरल [[झूठ समूह]] पर देती है; लेकिन रैंक> 1 के लिए लाप्लासियन का कोई अनूठा एनालॉग नहीं है।
[[Giulio Racah|ग्यूलियो रेकैच]] के प्रमेय द्वारा<ref>{{cite book|last1=Racah|first1=Giulio|title=समूह सिद्धांत और स्पेक्ट्रोस्कोपी|date=1965|publisher=Springer Berlin Heidelberg}}</ref> एक अर्धसरल लाई बीजगणित के लिए सार्वभौमिक आवरण बीजगणित के केंद्र का आयाम इसके अर्धसरल लाई बीजगणित रैंक के बराबर है। कासिमिर संचालिका [[लाप्लासियन]] की अवधारणा को एक सामान्य अर्ध-सरल [[झूठ समूह|लाई समूह]] पर जोर देती है। किन्तु रैंक> 1 के लिए लाप्लासियन का कोई विशेष एनालॉग नहीं है।


परिभाषा के अनुसार सार्वभौमिक आवरण वाले बीजगणित के केंद्र का कोई भी सदस्य बीजगणित के अन्य सभी तत्वों के साथ आवागमन करता है। शूर के लेम्मा के अनुसार, लाइ बीजगणित के किसी भी अप्रासंगिक प्रतिनिधित्व में, कोई भी कासिमिर तत्व इस प्रकार पहचान के समानुपाती होता है। सभी कासिमिर तत्वों के eigenvalues ​​​​का उपयोग लाई बीजगणित (और इसलिए, इसके लाई समूह के भी) के प्रतिनिधित्व को वर्गीकृत करने के लिए किया जा सकता है।<ref>Xavier Bekaert, "[http://www.ulb.ac.be/sciences/ptm/pmif/Rencontres/ModaveI/Xavier.pdf Universal enveloping algebras and some applications in physics]" (2005) ''Lecture, Modave Summer School in Mathematical Physics''.</ref> {{Clarify|date=January 2023}}
परिभाषा के अनुसार सार्वभौमिक आवरण वाले बीजगणित के केंद्र का कोई भी सदस्य बीजगणित के अन्य सभी तत्वों के साथ आवागमन करता है। शूर के लेम्मा के अनुसार लाइ बीजगणित के किसी भी अप्रासंगिक प्रतिनिधित्व में कोई भी कासिमिर तत्व इस प्रकार पहचान के समानुपाती होता है। सभी कासिमिर तत्वों के इंगेन वैल्यू ​​​​का उपयोग लाई बीजगणित (और इसलिए इसके लाई समूह के भी) के प्रतिनिधित्व को वर्गीकृत करने के लिए किया जा सकता है।<ref>Xavier Bekaert, "[http://www.ulb.ac.be/sciences/ptm/pmif/Rencontres/ModaveI/Xavier.pdf Universal enveloping algebras and some applications in physics]" (2005) ''Lecture, Modave Summer School in Mathematical Physics''.</ref>  


भौतिक द्रव्यमान और स्पिन इन ईजेनवैल्यू के उदाहरण हैं, जैसा कि [[क्वांटम यांत्रिकी]] में पाए जाने वाले कई अन्य [[ सांख्यिक अंक ]] हैं। सतही तौर पर, [[टोपोलॉजिकल क्वांटम संख्या]]एं इस पैटर्न के लिए एक अपवाद हैं; हालांकि गहरे सिद्धांत संकेत देते हैं कि ये एक ही घटना के दो पहलू हैं।{{According to whom|date=December 2013}}.
भौतिक द्रव्यमान और स्पिन इन ईजेनवैल्यू के उदाहरण हैं। जैसा कि [[क्वांटम यांत्रिकी]] में पाए जाने वाले कई अन्य[[ सांख्यिक अंक | सांख्यिक अंक]] हैं। सामान्यतः [[टोपोलॉजिकल क्वांटम संख्या]]एं इस पैटर्न के लिए एक अपवाद हैं। चूंकि गहरे सिद्धांत संकेत देते हैं कि ये एक ही घटना के दो रूप हैं।.


होने देना <math>L(\lambda)</math> वजन का परिमित आयामी उच्चतम वजन मॉड्यूल हो <math>\lambda</math>. फिर द्विघात कासिमिर तत्व <math>\Omega</math> पर कार्य करता है <math>L(\lambda)</math> निरंतर द्वारा
माना कि <math>L(\lambda)</math> भार का परिमित आयामी उच्चतम भार मॉड्यूल <math>\lambda</math> हो। फिर द्विघात कासिमिर तत्व <math>\Omega</math> पर <math>L(\lambda)</math> निरंतर द्वारा कार्य करता है।
:<math>\langle \lambda, \lambda + 2 \rho \rangle=\langle\lambda+\rho,\lambda+\rho\rangle - \langle\rho,\rho\rangle ,</math> कहाँ <math>\rho</math> वजन सकारात्मक जड़ों के आधे योग द्वारा परिभाषित किया गया है।<ref>{{harvnb|Hall|2015}} Proposition 10.6</ref> अगर <math>L(\lambda)</math> गैर तुच्छ है (यानी अगर <math>\lambda\neq 0</math>), तो यह स्थिरांक अशून्य है। आखिर, जब से <math>\lambda</math> प्रमुख है, अगर <math>\lambda\neq 0</math>, तब <math>\langle\lambda,\lambda\rangle>0</math> और <math>\langle\lambda,\rho\rangle\geq 0</math>, दिखा रहा है <math>\langle\lambda,\lambda+2\rho\rangle >0</math>. पूर्ण न्यूनीकरण पर वेइल के प्रमेय के प्रमाण में यह अवलोकन एक महत्वपूर्ण भूमिका निभाता है। ईगेनवैल्यू के गैर-लुप्त होने को अधिक अमूर्त तरीके से साबित करना भी संभव है - ईजेनवेल्यू के लिए एक स्पष्ट सूत्र का उपयोग किए बिना - कार्टन की कसौटी का उपयोग करना; हम्फ्रीज़ की पुस्तक में खंड 4.3 और 6.2 देखें।
:<math>\langle \lambda, \lambda + 2 \rho \rangle=\langle\lambda+\rho,\lambda+\rho\rangle - \langle\rho,\rho\rangle ,</math> जहाँ <math>\rho</math> भार सकारात्मक जड़ों के आधे योग द्वारा परिभाषित किया गया है।<ref>{{harvnb|Hall|2015}} Proposition 10.6</ref> यदि <math>L(\lambda)</math> अगणनीय है (अर्थात यदि <math>\lambda\neq 0</math>), तो यह स्थिरांक अशून्य है। जब से <math>\lambda</math> प्रमुख है। यदि <math>\lambda\neq 0</math>, तब <math>\langle\lambda,\lambda\rangle>0</math> और <math>\langle\lambda,\rho\rangle\geq 0</math>। यह प्रदर्शित हो रहा है कि <math>\langle\lambda,\lambda+2\rho\rangle >0</math>. पूर्ण न्यूनीकरण पर वेइल के प्रमेय के प्रमाण में यह अवलोकन एक महत्वपूर्ण भूमिका प्रदर्शित करतार है। ईगेनवैल्यू के गैर-लुप्त होने को अधिक अमूर्त प्रकारों से सिद्द करना भी संभव है। ईजेनवेल्यू के लिए एक स्पष्ट सूत्र का उपयोग किए बिना कार्टन की कसौटी का उपयोग करना उचित है। हम्फ्रीज़ की पुस्तक में खंड 4.3 और 6.2 देखें।


== सरल झूठ बीजगणित == के सममित अपरिवर्तनीय टेंसर
<big>'''<u>सरल लाई बीजगणित के सममित अपरिवर्तनीय टेंसर</u>'''</big>


आदेश का एक कासिमिर तत्व <math>m</math> के माध्यम से एक ही क्रम के एक सममित अपरिवर्तनीय टेंसर से मेल खाती है <math>C_{(m)} = \kappa^{i_1i_2\cdots i_m} X_{i_1}X_{i_2}\cdots X_{i_m}</math>. कासिमिर तत्वों का निर्माण और संबंध सममित अपरिवर्तनीय टेंसरों के लिए समान करने के बराबर है।
एक <math>m</math> श्रेणी के कासिमिर तत्व के माध्यम से एक ही क्रम के एक सममित अपरिवर्तनीय टेंसर <math>C_{(m)} = \kappa^{i_1i_2\cdots i_m} X_{i_1}X_{i_2}\cdots X_{i_m}</math> से मिलती है। कासिमिर तत्वों का निर्माण और संबंध सममित अपरिवर्तनीय टेंसरों के लिए समान करने के बराबर है।


=== सममित अपरिवर्तनीय टेन्सर का निर्माण ===
=== <u>सममित अपरिवर्तनीय टेन्सर का निर्माण</u> ===


सममित अपरिवर्तनीय टेंसरों को परिभाषित प्रतिनिधित्व में सममित निशान के रूप में बनाया जा सकता है<ref name="mou98"/>  
सममित अपरिवर्तनीय टेंसरों को परिभाषित प्रतिनिधित्व में सममित चिन्ह के रूप में बनाया जा सकता है।<ref name="mou98"/>  
:<math>
:<math>
k^{(m)}_{i_1i_2\cdots i_m} = \text{Tr}\left(X_{(i_1}X_{i_2}\cdots X_{i_m)}\right)
k^{(m)}_{i_1i_2\cdots i_m} = \text{Tr}\left(X_{(i_1}X_{i_2}\cdots X_{i_m)}\right)
</math>
</math>
जहां सूचकांकों को किलिंग फॉर्म द्वारा ऊपर और नीचे किया जाता है, और सभी क्रमपरिवर्तनों के तहत सममित किया जाता है।
जहां सूचकांकों को किलिंग फॉर्म द्वारा ऊपर और नीचे किया जाता है और सभी क्रमपरिवर्तनों के अनुसार सममित किया जाता है।


प्रकार के एंटीसिमेट्रिक इनवेरिएंट टेंसर से सममित अपरिवर्तनीय टेंसरों का निर्माण करना भी संभव है
इस प्रकार के एंटीसिमेट्रिक इनवेरिएंट टेंसर से सममित अपरिवर्तनीय टेंसरों का निर्माण करना भी संभव है। जो कि हैं-
:<math>
:<math>
\Omega^{(2m-1)}_{i_1i_2\cdots i_{2m-1}} = f_{i_1[i_2}^{j_1} \cdots f^{j_{m-1}}_{i_{2m-3}i_{2m-2}]} k^{(m)}_{j_1\cdots j_{m-1}i_{2m-1}}
\Omega^{(2m-1)}_{i_1i_2\cdots i_{2m-1}} = f_{i_1[i_2}^{j_1} \cdots f^{j_{m-1}}_{i_{2m-3}i_{2m-2}]} k^{(m)}_{j_1\cdots j_{m-1}i_{2m-1}}
Line 95: Line 97:
t_{i_1i_2\cdots i_m}^{(m)} = \Omega^{(2m-1)}_{j_1j_2\cdots j_{2m-2} i_m} f_{i_1}^{j_1j_2}\cdots f_{i_{m-1}}^{j_{2m-2}j_{2m-3}}
t_{i_1i_2\cdots i_m}^{(m)} = \Omega^{(2m-1)}_{j_1j_2\cdots j_{2m-2} i_m} f_{i_1}^{j_1j_2}\cdots f_{i_{m-1}}^{j_{2m-2}j_{2m-3}}
</math>
</math>
के लिए अनुपयोगी है <math>m>2</math>. ऐसे अपरिवर्तनीय टेन्सर एक दूसरे के लिए इस अर्थ में ओर्थोगोनल हैं कि <math>t^{(m)}_{i_1i_2\cdots i_m} \left(t^{(n)}\right)^{i_1i_2\cdots i_m i_{m+1}\cdots i_n} = 0 </math> अगर <math>n>m</math>.
<math>m>2</math> के लिए अनुपयोगी है। ऐसे अपरिवर्तनीय टेन्सर एक दूसरे के लिए इस अर्थ में ओर्थोगोनल हैं कि <math>t^{(m)}_{i_1i_2\cdots i_m} \left(t^{(n)}\right)^{i_1i_2\cdots i_m i_{m+1}\cdots i_n} = 0 </math> यदि <math>n>m</math>.
 
साधारण लाई बीजगणित की स्थिति में <math>A_l=\mathfrak{sl}_{l+1}</math>,


साधारण झूठ बीजगणित के मामले में <math>A_l=\mathfrak{sl}_{l+1}</math>,
माना कि हम क्रम तीन के पूर्ण सममित टेंसर <math>d_{ijk}</math> का परिचय दें। ऐसा है कि परिभाषित प्रतिनिधित्व में,
आइए हम क्रम तीन के पूर्ण सममित टेंसर का परिचय दें <math>d_{ijk}</math> ऐसा है कि, परिभाषित प्रतिनिधित्व में,
:<math>
:<math>
X_iX_j = \frac{2}{\ell+1} \delta_{ij} + f_{ij}^k X_k + d_{ij}^k X_k
X_iX_j = \frac{2}{\ell+1} \delta_{ij} + f_{ij}^k X_k + d_{ij}^k X_k
</math>
</math>
फिर सडबेरी सममित अपरिवर्तनीय टेंसर हैं<ref name="mou98"/> :<math>
फिर सडबेरी सममित अपरिवर्तनीय टेंसर हैं।<ref name="mou98" />:
 
<math>
d^{(2)}_{i_1i_2} = \delta_{i_1i_2}
d^{(2)}_{i_1i_2} = \delta_{i_1i_2}
</math>
</math>
Line 116: Line 121:




=== सममित अपरिवर्तनीय टेंसर === के बीच संबंध


रैंक के एक साधारण झूठ बीजगणित के लिए <math>r</math>, वहाँ हैं <math>r</math> बीजीय रूप से स्वतंत्र सममित अपरिवर्तनीय टेंसर। इसलिए, ऐसे किसी टेंसर को के संदर्भ में व्यक्त किया जा सकता है <math>r</math> दिए गए टेंसर। सममित अपरिवर्तनीय टेंसरों के बीच पहचान के पूर्ण सेट प्राप्त करने के लिए एक व्यवस्थित विधि है।<ref name="mou98"/>
'''<big><u>सममित अपरिवर्तनीय टेंसर के बीच संबंध</u></big>'''
 
रैंक <math>r</math> के एक साधारण लाई बीजगणित के लिए, वहाँ <math>r</math> बीजीय रूप से स्वतंत्र सममित अपरिवर्तनीय टेंसर हैं। इसलिए ऐसे किसी टेंसर को के संदर्भ में <math>r</math> दिए गए टेंसर को व्यक्त किया जा सकता है। सममित अपरिवर्तनीय टेंसरों के बीच पहचान के पूर्ण समुच्चय प्राप्त करने के लिए एक व्यवस्थित विधि है।<ref name="mou98" />
 
लाई बीजगणित की स्थिति में <math>A_l</math>, सममित अपरिवर्तनीय टेंसर <math>t^{(m)}</math>, <math>t^{(m>l+1)}=0</math> की विधि का पालन करता है।<ref name="ammb97" />  


झूठ बीजगणित के मामले में <math>A_l</math>, सममित अपरिवर्तनीय टेंसर <math>t^{(m)}</math> आज्ञा का पालन करना <math>t^{(m>l+1)}=0</math>.<ref name="ammb97"/>
अन्य समुच्चयों के संदर्भ में इन टेंसरों को पुनः व्यक्त करना जैसे <math>d^{(m)}</math> या <math>k^{(m)}</math> इन अन्य परिवारों के अन्दर गैर-तुच्छ संबंधों को उत्पन्न करता है। उदाहरण के लिए सडबेरी टेंसर <math>d^{(m>l+1)}</math> के रूप में <math>d^{(2)},\cdots , d^{(l+1)}</math> को व्यक्त किया जा सकता है। दिये गये इस प्रकार के संबंधों के साथ-<ref name="ammb97" />  
अन्य परिवारों के संदर्भ में इन टेंसरों को पुनः व्यक्त करना जैसे <math>d^{(m)}</math> या <math>k^{(m)}</math> इन अन्य परिवारों के भीतर गैर-तुच्छ संबंधों को जन्म देता है। उदाहरण के लिए, सडबेरी टेंसर <math>d^{(m>l+1)}</math> के रूप में व्यक्त किया जा सकता है <math>d^{(2)},\cdots , d^{(l+1)}</math>, प्रकार के संबंधों के साथ<ref name="ammb97"/>  
:<math>  
:<math>  
d^{(4)}_{i_1i_2i_3i_4}\ \underset{l=2}{=}\ \frac13\delta_{(i_1i_2}\delta_{i_3i_4)}
d^{(4)}_{i_1i_2i_3i_4}\ \underset{l=2}{=}\ \frac13\delta_{(i_1i_2}\delta_{i_3i_4)}
Line 131: Line 138:
d^{(5)}_{i_1i_2i_3i_4i_5}\ \underset{l=3}{=}\ \frac23 d_{(i_1i_2i_3}\delta_{i_4i_5)}
d^{(5)}_{i_1i_2i_3i_4i_5}\ \underset{l=3}{=}\ \frac23 d_{(i_1i_2i_3}\delta_{i_4i_5)}
</math>
</math>
संरचना स्थिरांक भी उन पहचानों का पालन करते हैं जो सीधे सममित अपरिवर्तनीय टेंसर से संबंधित नहीं हैं, उदाहरण के लिए<ref name="hab19"/>:<math>
संरचना स्थिरांक भी उन पहचानों का पालन करते हैं। जो सीधे सममित अपरिवर्तनीय टेंसर से संबंधित नहीं हैं। उदाहरण के लिए<ref name="hab19" />:<math>
3d_{ab}{}^{e}d_{cde}-f_{ac}{}^{e}f_{bde}-f_{ad}{}^{e}f_{bce}\ \underset{l=2}{=}\ \delta_{ac}\delta_{bd}+\delta_{ad}\delta_{bc}-\delta_{ab}\delta_{cd}
3d_{ab}{}^{e}d_{cde}-f_{ac}{}^{e}f_{bde}-f_{ad}{}^{e}f_{bce}\ \underset{l=2}{=}\ \delta_{ac}\delta_{bd}+\delta_{ad}\delta_{bc}-\delta_{ab}\delta_{cd}
</math>
</math>




== उदाहरण ==
== उदाहरण ==


=== का मामला {{Math|sl(2)}} ===
=== {{Math|sl(2)}} की स्थिति ===


झूठ बीजगणित <math>\mathfrak{sl}_2 \mathbb{C}</math> शून्य ट्रेस के साथ दो-दो-दो जटिल मैट्रिसेस होते हैं। तीन मानक आधार तत्व हैं, <math>e</math>,<math>f</math>, और <math>h</math>, साथ
लाई बीजगणित <math>\mathfrak{sl}_2 \mathbb{C}</math> शून्य ट्रेस के साथ दो-दो-दो जटिल मैट्रिसेस होते हैं। तीन मानक आधार तत्व <math>e</math>,<math>f</math>, और <math>h</math> हैं।


:<math>\begin{align}
:<math>\begin{align}
Line 156: Line 165:
\end{bmatrix}.
\end{bmatrix}.
\end{align}</math>
\end{align}</math>
कम्यूटेटर हैं
कम्यूटेटर हैं-


:<math>\begin{align}[]
:<math>\begin{align}[]
Line 163: Line 172:
   [h, e] &=  2e.
   [h, e] &=  2e.
\end{align}</math>
\end{align}</math>
कोई दिखा सकता है कि कासिमिर तत्व है
यह कोई प्रदर्शित कर सकता है कि कासिमिर तत्व है।


<math display="block">\Omega = ef + fe + \frac{1}{2}h^2 = \frac{1}{2}h^2 + h + 2fe = \frac{3}{2}I_2.</math>
<math display="block">\Omega = ef + fe + \frac{1}{2}h^2 = \frac{1}{2}h^2 + h + 2fe = \frac{3}{2}I_2.</math>


'''<big><br />{{Math|so(3)}} की स्थिति</big>'''


=== का मामला {{Math|so(3)}} ===
लाई बीजगणित <math>\mathfrak{so}(3)</math> का लाई बीजगणित [[SO(3)]] है। त्रि-आयामी [[यूक्लिडियन अंतरिक्ष]] के लिए घूर्णन समूह है। यह रैंक 1 का सरल रूप है और इसलिए इसमें एक स्वतंत्र कासिमिर है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ [[क्रोनकर डेल्टा]] है और इसलिए कासिमिर इनवेरिएंट <math>L_x,\, L_y,\, L_z</math> बीजगणित का केवल जनरेटर के वर्गों का योग है। यह है कि कासिमिर इनवेरिएंट द्वारा दिया गया है।
 
झूठ बीजगणित <math>\mathfrak{so}(3)</math> [[SO(3)]] का झूठा बीजगणित है, त्रि-आयामी [[यूक्लिडियन अंतरिक्ष]] के लिए घूर्णन समूह। यह रैंक 1 का सरल है, और इसलिए इसमें एक स्वतंत्र कासिमिर है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ [[क्रोनकर डेल्टा]] है, और इसलिए कासिमिर इनवेरिएंट केवल जनरेटर के वर्गों का योग है <math>L_x,\, L_y,\, L_z</math> बीजगणित का। यही है, कासिमिर इनवेरिएंट द्वारा दिया गया है


:<math>L^2 = L_x^2 + L_y^2 + L_z^2.</math>
:<math>L^2 = L_x^2 + L_y^2 + L_z^2.</math>
के अलघुकरणीय प्रतिनिधित्व पर विचार करें <math>\mathfrak{so}(3)</math> जिसमें का सबसे बड़ा eigenvalue है <math>L_z</math> है <math>\ell</math>, जहां के संभावित मान <math>\ell</math> हैं <math display="inline">0,\, \frac{1}{2},\, 1,\, \frac{3}{2},\, \ldots</math>. Casimir संकारक के व्युत्क्रमण का तात्पर्य है कि यह पहचान संकारक का गुणक है <math>I</math>. निम्नलिखित परिणाम देते हुए, इस स्थिरांक की स्पष्ट रूप से गणना की जा सकती है<ref>{{harvnb|Hall|2013}} Proposition 17.8</ref>
<math>\mathfrak{so}(3)</math> के अलघुकरणीय प्रतिनिधित्व पर विचार करें। जिसमें <math>L_z</math> का सबसे बड़ा इगेन वैल्यू <math>\ell</math> है। जहां <math>\ell</math> के संभावित मान <math display="inline">0,\, \frac{1}{2},\, 1,\, \frac{3}{2},\, \ldots</math> हैं। कासिमिर संकारक के व्युत्क्रमण का तात्पर्य है कि यह पहचान संकारक <math>I</math> का गुणक है। निम्नलिखित परिणाम देते हुए इस स्थिरांक की स्पष्ट रूप से गणना की जा सकती है।<ref>{{harvnb|Hall|2013}} Proposition 17.8</ref>
:<math>L^2 = L_x^2 + L_y^2 + L_z^2 = \ell(\ell + 1)I.</math>
:<math>L^2 = L_x^2 + L_y^2 + L_z^2 = \ell(\ell + 1)I.</math>
क्वांटम यांत्रिकी में, स्केलर मान <math>\ell</math> [[कुल कोणीय गति]] के रूप में जाना जाता है। रोटेशन समूह के परिमित-आयामी मैट्रिक्स-मूल्यवान [[समूह प्रतिनिधित्व]] के लिए, <math>\ell</math> हमेशा पूर्णांक मान ([[बोसॉन]] के लिए) या आधा-पूर्णांक मान ([[फर्मियन]] के लिए) लेता है।
क्वांटम यांत्रिकी में स्केलर मान <math>\ell</math> [[कुल कोणीय गति]] के रूप में प्रदर्शित किया गया है। रोटेशन समूह के परिमित-आयामी मैट्रिक्स-मूल्यवान [[समूह प्रतिनिधित्व]] के लिए <math>\ell</math> सदैव पूर्णांक मान ([[बोसॉन]] के लिए) या आधा-पूर्णांक मान ([[फर्मियन]] के लिए) लेता है।


दिए गए मूल्य के लिए <math>\ell</math>, मैट्रिक्स प्रतिनिधित्व है <math>(2\ell + 1)</math>-आयामी। इस प्रकार, उदाहरण के लिए, त्रि-आयामी प्रतिनिधित्व के लिए <math>\mathfrak{so}(3)</math> से मेल खाती है <math>\ell = 1</math>, और जनरेटर द्वारा दिया जाता है
दिए गए मूल्य <math>\ell</math> के लिए मैट्रिक्स प्रतिनिधित्व <math>(2\ell + 1)</math>-आयामी है। इस प्रकार उदाहरण के लिए त्रि-आयामी प्रतिनिधित्व <math>\ell = 1</math> के लिए <math>\mathfrak{so}(3)</math> से मिलती है और जनरेटर द्वारा दिया जाता है।


:<math>\begin{align}
:<math>\begin{align}
Line 199: Line 207:
\end{pmatrix},
\end{pmatrix},
\end{align}</math>
\end{align}</math>
जहां के कारक <math>i</math> भौतिकी सम्मेलन (यहाँ प्रयुक्त) के साथ समझौते के लिए आवश्यक हैं कि जनरेटर को तिरछा-स्व-आसन्न ऑपरेटर होना चाहिए।<ref>{{harvnb|Hall|2013}} Proposition 17.3</ref>
जहां <math>i</math> के कारक भौतिकी सम्मेलन (यहाँ प्रयुक्त) के साथ समझौते के लिए आवश्यक हैं कि जनरेटर को तिरछा-स्व-आसन्न ऑपरेटर होना चाहिए।<ref>{{harvnb|Hall|2013}} Proposition 17.3</ref>
द्विघात Casimir अपरिवर्तनीय परिणाम के साथ हाथ से आसानी से गणना की जा सकती है
 
द्विघात कासिमिर अपरिवर्तनीय परिणाम के साथ स्वयं सरलता से गणना की जा सकती है-


:<math>L^2 = L_x^2 + L_y^2 + L_z^2 = 2
:<math>L^2 = L_x^2 + L_y^2 + L_z^2 = 2
Line 209: Line 218:
\end{pmatrix}
\end{pmatrix}
</math>
</math>
जैसा <math>\ell(\ell + 1) = 2</math> कब <math>\ell = 1</math>. इसी तरह, दो आयामी प्रतिनिधित्व का आधार [[पॉल मैट्रिसेस]] द्वारा दिया गया है, जो [[स्पिन (भौतिकी)]] के अनुरूप है। {{frac|1|2}}, और एक बार फिर प्रत्यक्ष संगणना द्वारा कासिमिर के सूत्र की जाँच कर सकते हैं।
जैसा <math>\ell(\ell + 1) = 2</math> जब <math>\ell = 1</math>. इसी प्रकार दो आयामी प्रतिनिधित्व का आधार [[पॉल मैट्रिसेस]] द्वारा दिया गया है। जो [[स्पिन (भौतिकी)]] के अनुरूप है। {{frac|1|2}} और एक बार फिर प्रत्यक्ष संगणना द्वारा कासिमिर के सूत्र की जाँच कर सकते हैं।


== यह भी देखें ==
== यह भी देखें ==
Line 232: Line 241:
* {{cite book | last=Jacobson | first=Nathan | title=Lie algebras | url=https://archive.org/details/liealgebras00jaco | url-access=limited | publisher=Dover Publications | year=1979 | isbn=0-486-63832-4 | pages=[https://archive.org/details/liealgebras00jaco/page/n254 243]–249 }}
* {{cite book | last=Jacobson | first=Nathan | title=Lie algebras | url=https://archive.org/details/liealgebras00jaco | url-access=limited | publisher=Dover Publications | year=1979 | isbn=0-486-63832-4 | pages=[https://archive.org/details/liealgebras00jaco/page/n254 243]–249 }}
* https://mathoverflow.net/questions/74689/motivating-the-casimir-element
* https://mathoverflow.net/questions/74689/motivating-the-casimir-element
[[Category: झूठ समूहों का प्रतिनिधित्व सिद्धांत]] [[Category: बीजगणित झूठ बोलो]]


[[Category: Machine Translated Page]]
[[Category:Created On 29/03/2023]]
[[Category:Created On 29/03/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:झूठ समूहों का प्रतिनिधित्व सिद्धांत]]
[[Category:बीजगणित झूठ बोलो]]

Latest revision as of 16:53, 3 May 2023

गणित में कासिमिर तत्व एक लाई बीजगणित के सार्वभौमिक आवरण के केंद्र (रिंग थ्योरी) का एक विशिष्ट तत्व है। जिसे कासिमिर इनवेरिएंट या कासिमिर ऑपरेटर के रूप में भी जाना जाता है। एक प्रोटोटाइपिकल उदाहरण स्क्वायर कोणीय गति ऑपरेटर है। जो त्रि-आयामी रोटेशन समूह SO(3) का कासिमिर तत्व है।

सामान्यतः कासिमिर तत्वों का उपयोग सार्वभौमिक आवरण बीजगणित के केंद्र के किसी भी तत्व को संदर्भित करने के लिए किया जा सकता है। इन तत्वों के एक क्षेत्र पर बीजगणित को हरीश-चंद्र समरूपता के माध्यम से बहुपद बीजगणित के लिए समरूपता के रूप में भी जाना जाता है।

कासिमिर तत्व का नाम वैज्ञानिक हेंड्रिक कासिमिर के नाम पर रखा गया है। जिन्होंने 1931 में कठोर शरीर की गतिशीलता के अपने विवरण में उनकी पहचान का विवरण दिया था।[1]


परिभाषा

सबसे अधिकत प्रयोग किया जाने वाला कासिमिर इनवेरिएंट द्विघात इनवेरिएंट है। यह परिभाषित करने के लिए सबसे सरल है और इसलिए पहले दिया गया है। चूंकि किसी के पास उच्च क्रम के कासिमिर इनवेरिएंट भी पाये जा सकते हैं। जो उच्च क्रम के सजातीय सममित बहुपदों के समान होते हैं।

द्विघात कासिमिर तत्व

माना कि एक -आयामी लाई बीजगणित है। माना कि B एक नॉनडिजेनरेट पर द्विरेखीय रूप है। जो की पर आसन्न क्रिया के अनुसार अपरिवर्तनीय है। जिसका अर्थ यह है कि , में सभी X, Y, Z के लिये . (B का सबसे सामान्य पसंद किलिंग रूप है। यदि सेमीसिंपल लाई बीजगणित है।)

माना कि-

का कोई भी आधार (रैखिक बीजगणित) हो, और

का B के संबंध में दोहरा आधार के साथ हो। 'कासिमिर तत्व' लिए सार्वभौमिक आवरण बीजगणित B का तत्व है। जो कि सूत्र द्वारा दिया गया है।

चूंकि परिभाषा लाई बीजगणित के आधार के विकल्प पर निर्भर करती है। यह प्रदर्शित करना सरल है कि Ω इस पसंद से स्वतंत्र है। दूसरी ओर Ω द्विरेखीय रूप B पर निर्भर करता है। B के व्युत्क्रम का अर्थ है कि कासिमिर तत्व लाई बीजगणित के सभी तत्वों के साथ संचार करता है और इसलिए सार्वभौमिक आवरण बीजगणित के एक वलय के केंद्र में स्थित है।[2]


एक रेखीय प्रतिनिधित्व और एक सुचारू क्रिया का द्विघात कासिमिर इनवेरिएंट

लाई बीजगणित निरूपण ρ का सदिश स्थान V पर दिया गया है। संभवतः अनंत-आयामी ρ का 'कैसिमिर इनवेरिएंट' ρ(Ω) के रूप में परिभाषित किया गया है। सूत्र द्वारा दिए गए V पर रैखिक संचालिका-

इस निर्माण का एक विशिष्ट रूप अंतर ज्यामिति और वैश्विक विश्लेषण में महत्वपूर्ण भूमिका प्रदर्शित करता है। माना कि लाई बीजगणित के साथ एक जुड़ा लाई समूह G अलग-अलग कई गुना M पर समूह कार्रवाई करें। M पर सरल फलन के स्थान पर G के संबंधित प्रतिनिधित्व ρ पर विचार करें। फिर के तत्व M पर पहले क्रम के डिफरेंशियल ऑपरेटर्स द्वारा प्रतिनिधित्व किया जाता है। इस स्थिति में ρ का कासिमिर इनवेरिएंट उपरोक्त सूत्र द्वारा परिभाषित M पर G-इनवेरिएंट सेकेंड ऑर्डर डिफरेंशियल ऑपरेटर है।

आगे विशेषज्ञता यदि ऐसा प्रतीत होता है कि M में एक रिमेंनियन मीट्रिक है। जिस पर G आइसोमेट्रीज़ और स्टेबलाइज़र उपसमूह Gx द्वारा सकर्मक रूप से कार्य करता है। एक बिंदु x पर M के स्पर्शरेखा स्थान पर अनियमित रूप से कार्य करता है। फिर ρ का कासिमिर इनवेरिएंट मीट्रिक से आने वाले लाप्लासियन ऑपरेटर का एक अदिश गुणक है।

अधिक सामान्य कासिमिर आक्रमणकारियों को भी परिभाषित किया जा सकता है। जो सामान्यतः फ्रेडहोम सिद्धांत में छद्म-विभेदक संचालकों के अध्ययन में होता है।

उच्च क्रम के कासिमिर तत्व

यूनिवर्सल आवरण बीजगणित पर लेख कासिमिर ऑपरेटरों की एक विस्तृत, सटीक परिभाषा और उनके कुछ गुणों का एक विवरण देता है। सभी कासिमिर ऑपरेटर लाई बीजगणित के आसन्न प्रतिनिधित्व के सममित बीजगणित में सममित सजातीय बहुपदों के अनुरूप हैं:

जहाँ m सममित टेंसर का क्रम है और यह का एक सदिश स्थान आधार बनाते हैं। यह एक सममित सजातीय बहुपद के अनुरूप है।

में m अनिश्चित चर बहुपद बीजगणित में एक सतह के ऊपर स्थित हैं। समरूपता का कारण पीबीडब्ल्यू प्रमेय से निकलकर प्रदर्शित होता है और सार्वभौमिक आवरण बीजगणित पर आलेख में अधिक विस्तार से चर्चा की गई है।

इसके अतिरिक्त एक कासिमिर तत्व को सार्वभौमिक आवरण वाले बीजगणित के केंद्र से संबंधित होना चाहिए अर्थात इसका पालन करना चाहिए।

सभी आधार तत्वों के लिए इसी सममित टेंसर के संदर्भ में ज्ञात है। यह स्थिति टेंसर के अपरिवर्तनीय होने के बराबर है:

जहाँ लाई बीजगणित अर्थात संरचना स्थिरांक है। जो कि- .

गुण

द्विघात कासिमिर तत्व की विशिष्टता

चूंकि एक साधारण लाई बीजगणित के लिए प्रत्येक अपरिवर्तनीय बिलिनियर फॉर्म किलिंग फॉर्म का एक बहुपद है। संबंधित कासिमिर तत्व विशिष्ट रूप से एक स्थिरांक तक परिभाषित होता है। सामान्य अर्धसरल लाई बीजगणित के लिए अपरिवर्तनीय द्विरेखीय रूपों के स्थान में प्रत्येक सरल घटक के लिए एक आधार वेक्टर होता है और इसलिए यह संबंधित कासिमिर ऑपरेटरों के स्थान के लिए भी सही है।

पर लाप्लासियन से संबंध

यदि लाई बीजगणित वाला एक लाई समूह है। अपरिवर्तनीय बिलिनियर फॉर्म का विकल्प द्वि-अपरिवर्तनीय रीमैनियन मीट्रिक के विकल्प से मेल खाता है। फिर सार्वभौमिक आवरण बीजगणित की पहचान के अनुसार बाएं अपरिवर्तनीय अंतर ऑपरेटरों के साथ, बिलिनियर रूप का कासिमिर तत्व के लाप्लास-बेल्ट्रामी ऑपरेटर के मानचित्र हैं। (इसी द्वि-अपरिवर्तनीय मीट्रिक के संबंध में दर्शाया गया है।)

कासिमिर तत्व और प्रतिनिधित्व सिद्धांत

ग्यूलियो रेकैच के प्रमेय द्वारा[3] एक अर्धसरल लाई बीजगणित के लिए सार्वभौमिक आवरण बीजगणित के केंद्र का आयाम इसके अर्धसरल लाई बीजगणित रैंक के बराबर है। कासिमिर संचालिका लाप्लासियन की अवधारणा को एक सामान्य अर्ध-सरल लाई समूह पर जोर देती है। किन्तु रैंक> 1 के लिए लाप्लासियन का कोई विशेष एनालॉग नहीं है।

परिभाषा के अनुसार सार्वभौमिक आवरण वाले बीजगणित के केंद्र का कोई भी सदस्य बीजगणित के अन्य सभी तत्वों के साथ आवागमन करता है। शूर के लेम्मा के अनुसार लाइ बीजगणित के किसी भी अप्रासंगिक प्रतिनिधित्व में कोई भी कासिमिर तत्व इस प्रकार पहचान के समानुपाती होता है। सभी कासिमिर तत्वों के इंगेन वैल्यू ​​​​का उपयोग लाई बीजगणित (और इसलिए इसके लाई समूह के भी) के प्रतिनिधित्व को वर्गीकृत करने के लिए किया जा सकता है।[4]

भौतिक द्रव्यमान और स्पिन इन ईजेनवैल्यू के उदाहरण हैं। जैसा कि क्वांटम यांत्रिकी में पाए जाने वाले कई अन्य सांख्यिक अंक हैं। सामान्यतः टोपोलॉजिकल क्वांटम संख्याएं इस पैटर्न के लिए एक अपवाद हैं। चूंकि गहरे सिद्धांत संकेत देते हैं कि ये एक ही घटना के दो रूप हैं।.

माना कि भार का परिमित आयामी उच्चतम भार मॉड्यूल हो। फिर द्विघात कासिमिर तत्व पर निरंतर द्वारा कार्य करता है।

जहाँ भार सकारात्मक जड़ों के आधे योग द्वारा परिभाषित किया गया है।[5] यदि अगणनीय है (अर्थात यदि ), तो यह स्थिरांक अशून्य है। जब से प्रमुख है। यदि , तब और । यह प्रदर्शित हो रहा है कि . पूर्ण न्यूनीकरण पर वेइल के प्रमेय के प्रमाण में यह अवलोकन एक महत्वपूर्ण भूमिका प्रदर्शित करतार है। ईगेनवैल्यू के गैर-लुप्त होने को अधिक अमूर्त प्रकारों से सिद्द करना भी संभव है। ईजेनवेल्यू के लिए एक स्पष्ट सूत्र का उपयोग किए बिना कार्टन की कसौटी का उपयोग करना उचित है। हम्फ्रीज़ की पुस्तक में खंड 4.3 और 6.2 देखें।

सरल लाई बीजगणित के सममित अपरिवर्तनीय टेंसर

एक श्रेणी के कासिमिर तत्व के माध्यम से एक ही क्रम के एक सममित अपरिवर्तनीय टेंसर से मिलती है। कासिमिर तत्वों का निर्माण और संबंध सममित अपरिवर्तनीय टेंसरों के लिए समान करने के बराबर है।

सममित अपरिवर्तनीय टेन्सर का निर्माण

सममित अपरिवर्तनीय टेंसरों को परिभाषित प्रतिनिधित्व में सममित चिन्ह के रूप में बनाया जा सकता है।[6]

जहां सूचकांकों को किलिंग फॉर्म द्वारा ऊपर और नीचे किया जाता है और सभी क्रमपरिवर्तनों के अनुसार सममित किया जाता है।

इस प्रकार के एंटीसिमेट्रिक इनवेरिएंट टेंसर से सममित अपरिवर्तनीय टेंसरों का निर्माण करना भी संभव है। जो कि हैं-

सममित अपरिवर्तनीय टेंसर[7]

के लिए अनुपयोगी है। ऐसे अपरिवर्तनीय टेन्सर एक दूसरे के लिए इस अर्थ में ओर्थोगोनल हैं कि यदि .

साधारण लाई बीजगणित की स्थिति में ,

माना कि हम क्रम तीन के पूर्ण सममित टेंसर का परिचय दें। ऐसा है कि परिभाषित प्रतिनिधित्व में,

फिर सडबेरी सममित अपरिवर्तनीय टेंसर हैं।[6]:


सममित अपरिवर्तनीय टेंसर के बीच संबंध

रैंक के एक साधारण लाई बीजगणित के लिए, वहाँ बीजीय रूप से स्वतंत्र सममित अपरिवर्तनीय टेंसर हैं। इसलिए ऐसे किसी टेंसर को के संदर्भ में दिए गए टेंसर को व्यक्त किया जा सकता है। सममित अपरिवर्तनीय टेंसरों के बीच पहचान के पूर्ण समुच्चय प्राप्त करने के लिए एक व्यवस्थित विधि है।[6]

लाई बीजगणित की स्थिति में , सममित अपरिवर्तनीय टेंसर , की विधि का पालन करता है।[7]

अन्य समुच्चयों के संदर्भ में इन टेंसरों को पुनः व्यक्त करना जैसे या इन अन्य परिवारों के अन्दर गैर-तुच्छ संबंधों को उत्पन्न करता है। उदाहरण के लिए सडबेरी टेंसर के रूप में को व्यक्त किया जा सकता है। दिये गये इस प्रकार के संबंधों के साथ-[7]

संरचना स्थिरांक भी उन पहचानों का पालन करते हैं। जो सीधे सममित अपरिवर्तनीय टेंसर से संबंधित नहीं हैं। उदाहरण के लिए[8]:



उदाहरण

sl(2) की स्थिति

लाई बीजगणित शून्य ट्रेस के साथ दो-दो-दो जटिल मैट्रिसेस होते हैं। तीन मानक आधार तत्व ,, और हैं।

कम्यूटेटर हैं-

यह कोई प्रदर्शित कर सकता है कि कासिमिर तत्व है।


so(3) की स्थिति

लाई बीजगणित का लाई बीजगणित SO(3) है। त्रि-आयामी यूक्लिडियन अंतरिक्ष के लिए घूर्णन समूह है। यह रैंक 1 का सरल रूप है और इसलिए इसमें एक स्वतंत्र कासिमिर है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ क्रोनकर डेल्टा है और इसलिए कासिमिर इनवेरिएंट बीजगणित का केवल जनरेटर के वर्गों का योग है। यह है कि कासिमिर इनवेरिएंट द्वारा दिया गया है।

के अलघुकरणीय प्रतिनिधित्व पर विचार करें। जिसमें का सबसे बड़ा इगेन वैल्यू है। जहां के संभावित मान हैं। कासिमिर संकारक के व्युत्क्रमण का तात्पर्य है कि यह पहचान संकारक का गुणक है। निम्नलिखित परिणाम देते हुए इस स्थिरांक की स्पष्ट रूप से गणना की जा सकती है।[9]

क्वांटम यांत्रिकी में स्केलर मान कुल कोणीय गति के रूप में प्रदर्शित किया गया है। रोटेशन समूह के परिमित-आयामी मैट्रिक्स-मूल्यवान समूह प्रतिनिधित्व के लिए सदैव पूर्णांक मान (बोसॉन के लिए) या आधा-पूर्णांक मान (फर्मियन के लिए) लेता है।

दिए गए मूल्य के लिए मैट्रिक्स प्रतिनिधित्व -आयामी है। इस प्रकार उदाहरण के लिए त्रि-आयामी प्रतिनिधित्व के लिए से मिलती है और जनरेटर द्वारा दिया जाता है।

जहां के कारक भौतिकी सम्मेलन (यहाँ प्रयुक्त) के साथ समझौते के लिए आवश्यक हैं कि जनरेटर को तिरछा-स्व-आसन्न ऑपरेटर होना चाहिए।[10]

द्विघात कासिमिर अपरिवर्तनीय परिणाम के साथ स्वयं सरलता से गणना की जा सकती है-

जैसा जब . इसी प्रकार दो आयामी प्रतिनिधित्व का आधार पॉल मैट्रिसेस द्वारा दिया गया है। जो स्पिन (भौतिकी) के अनुरूप है। 12 और एक बार फिर प्रत्यक्ष संगणना द्वारा कासिमिर के सूत्र की जाँच कर सकते हैं।

यह भी देखें

  • हरीश-चंद्र समरूपता
  • पाउली-लुबांस्की स्यूडोवेक्टर
  • क्लेबश-गॉर्डन गुणांक

संदर्भ

  1. Oliver, David (2004). The shaggy steed of physics: mathematical beauty in the physical world. Springer. p. 81. ISBN 978-0-387-40307-6.
  2. Hall 2015 Proposition 10.5
  3. Racah, Giulio (1965). समूह सिद्धांत और स्पेक्ट्रोस्कोपी. Springer Berlin Heidelberg.
  4. Xavier Bekaert, "Universal enveloping algebras and some applications in physics" (2005) Lecture, Modave Summer School in Mathematical Physics.
  5. Hall 2015 Proposition 10.6
  6. 6.0 6.1 6.2 Mountain, Arthur J. (1998). "Invariant tensors and Casimir operators for simple compact Lie groups". Journal of Mathematical Physics. 39 (10): 5601–5607. arXiv:physics/9802012. Bibcode:1998JMP....39.5601M. doi:10.1063/1.532552. ISSN 0022-2488. S2CID 16436468.
  7. 7.0 7.1 7.2 Azcarraga, de; Macfarlane, A. J.; Mountain, A. J.; Bueno, J. C. Perez (1997-06-03). "Invariant tensors for simple groups". Nuclear Physics B. 510 (3): 657–687. arXiv:physics/9706006. doi:10.1016/S0550-3213(97)00609-3. S2CID 14665950.
  8. Haber, Howard E. (2019-12-31). "Useful relations among the generators in the defining and adjoint representations of SU(N)". SciPost Physics Lecture Notes. arXiv:1912.13302v2. doi:10.21468/SciPostPhysLectNotes.21. S2CID 42081451.
  9. Hall 2013 Proposition 17.8
  10. Hall 2013 Proposition 17.3


अग्रिम पठन