कासिमिर तत्व

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

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

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

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

द्विघात कासिमिर तत्व
लगता है कि $$\mathfrak{g}$$ एक $$n$$-आयामी झूठ बीजगणित। बता दें कि B एक नॉनडिजेनरेट द्विरेखीय रूप  है $$\mathfrak{g}$$ जो कि Adjoint_representation_of_a_Lie_algebra के अंतर्गत अपरिवर्तनीय है $$\mathfrak{g}$$ अपने आप पर, जिसका अर्थ है $$B(\operatorname{ad}_XY, Z) + B(Y, \operatorname{ad}_X Z) = 0$$ सभी एक्स, वाई, जेड इन के लिए $$\mathfrak{g}$$. (बी की सबसे आम पसंद मारक रूप  है $$\mathfrak{g}$$ सेमीसिंपल झूठ बीजगणित है।) होने देना
 * $$\{X_i\}_{i=1}^n$$

का कोई भी आधार (रैखिक बीजगणित) हो $$\mathfrak{g}$$, और
 * $$\{X^i\}_{i=1}^n$$

का दोहरा आधार हो $$\mathfrak{g}$$ बी के संबंध में 'कासिमिर तत्व' $$\Omega$$ बी के लिए सार्वभौमिक लिफाफा बीजगणित का तत्व है $$U(\mathfrak{g})$$ सूत्र द्वारा दिया गया
 * $$\Omega = \sum_{i=1}^n X_i X^i.$$

चूंकि परिभाषा झूठ बीजगणित के आधार के विकल्प पर निर्भर करती है, यह दिखाना आसान है कि Ω इस पसंद से स्वतंत्र है। दूसरी ओर, Ω द्विरेखीय रूप B पर निर्भर करता है। B के व्युत्क्रम का अर्थ है कि कासिमिर तत्व लाई बीजगणित के सभी तत्वों के साथ संचार करता है। $$\mathfrak{g}$$, और इसलिए सार्वभौमिक आवरण बीजगणित के एक वलय के केंद्र में स्थित है $$U(\mathfrak{g})$$.

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

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


 * $$\rho(\Omega) = \sum_{i=1}^n \rho(X_i)\rho(X^i).$$

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

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

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

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


 * $$C_{(m)} = \kappa^{ij\cdots k} X_i \otimes X_j \otimes \cdots\otimes X_k$$

कहाँ $m$ सममित टेंसर का क्रम है $$\kappa^{ij\cdots k}$$ और यह $$X_i$$ का एक सदिश स्थान आधार बनाते हैं $$\mathfrak{g}.$$ यह एक सममित सजातीय बहुपद के अनुरूप है


 * $$c_{(m)} = \kappa^{ij\cdots k} t_i t_j \cdots t_k$$

में $m$ अनिश्चित चर $$t_i$$ बहुपद बीजगणित में $$K[t_i, t_j, \cdots ,t_k]$$ एक मैदान के ऊपर K.}समरूपता का कारण पीबीडब्ल्यू प्रमेय से आता है और सार्वभौमिक लिफाफा बीजगणित पर आलेख में अधिक विस्तार से चर्चा की गई है।

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


 * $$[C_{(m)}, X_i] = 0$$

सभी आधार तत्वों के लिए $$X_i.$$ इसी सममित टेंसर के संदर्भ में $$\kappa^{ij\cdots k}$$, यह स्थिति टेंसर के अपरिवर्तनीय होने के बराबर है:
 * $$f_{ij}^{\;\; k} \kappa^{jl\cdots m}

+ f_{ij}^{\;\; l} \kappa^{kj\cdots m} + \cdots + f_{ij}^{\;\; m} \kappa^{kl\cdots j} = 0 $$ कहाँ $$f_{ij}^{\;\; k}$$ झूठ बीजगणित यानी की संरचना स्थिरांक है $$[X_i,X_j]=f_{ij}^{\;\; k}X_k$$.

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

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

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

कासिमिर तत्व और प्रतिनिधित्व सिद्धांत
Giulio Racah के प्रमेय द्वारा, एक अर्धसरल झूठ बीजगणित के लिए सार्वभौमिक आवरण बीजगणित के केंद्र का आयाम इसके अर्धसरल झूठ बीजगणित#रैंक के बराबर है। कासिमिर संचालिका लाप्लासियन की अवधारणा को एक सामान्य अर्ध-सरल झूठ समूह पर देती है; लेकिन रैंक> 1 के लिए लाप्लासियन का कोई अनूठा एनालॉग नहीं है।

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

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

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

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

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

सममित अपरिवर्तनीय टेन्सर का निर्माण
सममित अपरिवर्तनीय टेंसरों को परिभाषित प्रतिनिधित्व में सममित निशान के रूप में बनाया जा सकता है

k^{(m)}_{i_1i_2\cdots i_m} = \text{Tr}\left(X_{(i_1}X_{i_2}\cdots X_{i_m)}\right) $$ जहां सूचकांकों को किलिंग फॉर्म द्वारा ऊपर और नीचे किया जाता है, और सभी क्रमपरिवर्तनों के तहत सममित किया जाता है।

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

\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}} $$ सममित अपरिवर्तनीय टेंसर

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}} $$ के लिए अनुपयोगी है $$m>2$$. ऐसे अपरिवर्तनीय टेन्सर एक दूसरे के लिए इस अर्थ में ओर्थोगोनल हैं कि $$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 $$ अगर $$n>m$$.

साधारण झूठ बीजगणित के मामले में $$A_l=\mathfrak{sl}_{l+1}$$, आइए हम क्रम तीन के पूर्ण सममित टेंसर का परिचय दें $$d_{ijk}$$ ऐसा है कि, परिभाषित प्रतिनिधित्व में,

X_iX_j = \frac{2}{\ell+1} \delta_{ij} + f_{ij}^k X_k + d_{ij}^k X_k $$ फिर सडबेरी सममित अपरिवर्तनीय टेंसर हैं :$$ d^{(2)}_{i_1i_2} = \delta_{i_1i_2} $$

d^{(3)}_{i_1i_2i_3} = d_{i_1i_2i_3} $$

d^{(4)}_{i_1i_2i_3i_4} = d_{(i_1i_2}{}^j d_{i_3i_4)j} $$

d^{(5)}_{i_1i_2i_3i_4i_5} = d_{(i_1i_2}{}^j d^j{}_{i_3}{}^kd_{i_4i_5)k} $$

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

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

झूठ बीजगणित के मामले में $$A_l$$, सममित अपरिवर्तनीय टेंसर $$t^{(m)}$$ आज्ञा का पालन करना $$t^{(m>l+1)}=0$$. अन्य परिवारों के संदर्भ में इन टेंसरों को पुनः व्यक्त करना जैसे $$d^{(m)}$$ या $$k^{(m)}$$ इन अन्य परिवारों के भीतर गैर-तुच्छ संबंधों को जन्म देता है। उदाहरण के लिए, सडबेरी टेंसर $$d^{(m>l+1)}$$ के रूप में व्यक्त किया जा सकता है $$d^{(2)},\cdots, d^{(l+1)}$$, प्रकार के संबंधों के साथ

d^{(4)}_{i_1i_2i_3i_4}\ \underset{l=2}{=}\ \frac13\delta_{(i_1i_2}\delta_{i_3i_4)} $$

d^{(5)}_{i_1i_2i_3i_4i_5}\ \underset{l=2}{=}\ \frac13 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)} $$ संरचना स्थिरांक भी उन पहचानों का पालन करते हैं जो सीधे सममित अपरिवर्तनीय टेंसर से संबंधित नहीं हैं, उदाहरण के लिए :$$ 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} $$

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


 * $$\begin{align}

e &= \begin{bmatrix} 0 & 1\\ 0 & 0 \end{bmatrix}, & f &= \begin{bmatrix} 0 & 0\\ 1 & 0 \end{bmatrix}, & h &= \begin{bmatrix} 1 & 0\\  0 & -1 \end{bmatrix}. \end{align}$$ कम्यूटेटर हैं


 * $$\begin{align}[]

[e, f] &=  h, & [h, f] &= -2f, & [h, e] &= 2e. \end{align}$$ कोई दिखा सकता है कि कासिमिर तत्व है

$$\Omega = ef + fe + \frac{1}{2}h^2 = \frac{1}{2}h^2 + h + 2fe = \frac{3}{2}I_2.$$

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


 * $$L^2 = L_x^2 + L_y^2 + L_z^2.$$

के अलघुकरणीय प्रतिनिधित्व पर विचार करें $$\mathfrak{so}(3)$$ जिसमें का सबसे बड़ा eigenvalue है $$L_z$$ है $$\ell$$, जहां के संभावित मान $$\ell$$ हैं $0,\, \frac{1}{2},\, 1,\, \frac{3}{2},\, \ldots$. Casimir संकारक के व्युत्क्रमण का तात्पर्य है कि यह पहचान संकारक का गुणक है $$I$$. निम्नलिखित परिणाम देते हुए, इस स्थिरांक की स्पष्ट रूप से गणना की जा सकती है
 * $$L^2 = L_x^2 + L_y^2 + L_z^2 = \ell(\ell + 1)I.$$

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

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


 * $$\begin{align}

L_x &= i\begin{pmatrix} 0& 0& 0\\ 0& 0& -1\\ 0& 1&  0 \end{pmatrix}; & L_y &= i\begin{pmatrix} 0& 0& 1\\ 0& 0& 0\\ -1& 0& 0 \end{pmatrix}; & L_z &= i\begin{pmatrix} 0& -1& 0\\ 1& 0& 0\\ 0&  0& 0 \end{pmatrix}, \end{align}$$ जहां के कारक $$i$$ भौतिकी सम्मेलन (यहाँ प्रयुक्त) के साथ समझौते के लिए आवश्यक हैं कि जनरेटर को तिरछा-स्व-आसन्न ऑपरेटर होना चाहिए। द्विघात Casimir अपरिवर्तनीय परिणाम के साथ हाथ से आसानी से गणना की जा सकती है


 * $$L^2 = L_x^2 + L_y^2 + L_z^2 = 2

\begin{pmatrix} 1& 0& 0\\ 0& 1& 0\\ 0& 0& 1 \end{pmatrix} $$ जैसा $$\ell(\ell + 1) = 2$$ कब $$\ell = 1$$. इसी तरह, दो आयामी प्रतिनिधित्व का आधार पॉल मैट्रिसेस द्वारा दिया गया है, जो स्पिन (भौतिकी) के अनुरूप है। $1/2$, और एक बार फिर प्रत्यक्ष संगणना द्वारा कासिमिर के सूत्र की जाँच कर सकते हैं।

यह भी देखें

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

अग्रिम पठन

 * https://mathoverflow.net/questions/74689/motivating-the-casimir-element
 * https://mathoverflow.net/questions/74689/motivating-the-casimir-element
 * https://mathoverflow.net/questions/74689/motivating-the-casimir-element