स्पिन समूह: Difference between revisions
No edit summary |
No edit summary |
||
Line 35: | Line 35: | ||
<math>\operatorname{Cl}^\text{even}=\operatorname{Cl}^0 \oplus \operatorname{Cl}^2 \oplus \operatorname{Cl}^4 \oplus \cdots</math> | <math>\operatorname{Cl}^\text{even}=\operatorname{Cl}^0 \oplus \operatorname{Cl}^2 \oplus \operatorname{Cl}^4 \oplus \cdots</math> | ||
उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल | उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल हैं अर्थात्, स्पिन (V) में ऊपर दिए गए पिन (V) के सभी तत्व सम्मिलित हैं, जिसमें k एक सम संख्या है। नीचे निर्मित दो-घटक (वेइल) स्पिनरों के गठन के लिए भी उप-स्थान पर प्रतिबंध महत्वपूर्ण है। | ||
यदि सेट <math>\{e_i\}</math> (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है: | यदि सेट <math>\{e_i\}</math> (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है: | ||
Line 78: | Line 78: | ||
जहां समानता <math>\sim</math> पहचानता {{nowrap|(''a'', ''u'')}} साथ {{nowrap|(−''a'', −''u'')}}. | जहां समानता <math>\sim</math> पहचानता {{nowrap|(''a'', ''u'')}} साथ {{nowrap|(−''a'', −''u'')}}. | ||
इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिन<sup>C</sup> समूह का उपयोग [[ विद्युत |विद्युत]] आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस | इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिन<sup>C</sup> समूह का उपयोग [[ विद्युत |विद्युत]] आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस परिस्थिति में, यू (1) समरूपता विशेष रूप से विद्युत चुंबकत्व का [[ गेज समूह |गेज समूह]] है। | ||
== [[ असाधारण समरूपता ]] == | == [[ असाधारण समरूपता ]] == | ||
Line 144: | Line 144: | ||
निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं। | निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं। | ||
अनिश्चितकालीन संकेत में, स्पिन ( | अनिश्चितकालीन संकेत में, स्पिन (p, q) आवश्यक रूप से जुड़ा नहीं है, और सामान्यतः [[ पहचान घटक |पहचान घटक]], Spin<sub>0</sub>(p, q), केवल जुड़ा नहीं है, इस प्रकार यह एक सार्वभौमिक आवरण नहीं है। [[ मौलिक समूह |मौलिक समूह]] को SO(p, q) के [[ अधिकतम कॉम्पैक्ट उपसमूह |अधिकतम कॉम्पैक्ट उपसमूह]] पर विचार करके सबसे आसानी से समझा जा सकता है, जो SO(p) ×SO(q) है, और ध्यान दें कि 2-गुना आवरण का उत्पाद होने के बजाय (इसलिए a 4-गुना आवरण), स्पिन (p, q) विकर्ण 2-गुना आवरण है, यह 4-गुना आवरण का 2-गुना भागफल है। स्पष्ट रूप से, स्पिन (p, q) का अधिकतम कॉम्पैक्ट कनेक्टेड उपसमूह है | ||
: | :Spin(p) × Spin(q)/{(1, 1), (−1, −1)}. | ||
यह हमें | यह हमें Spin (p, q) के मौलिक समूहों की गणना करने की अनुमति देता है, p ≥ q लेते हुए: | ||
:<math>\pi_1(\mbox{Spin}(p,q)) = \begin{cases} | :<math>\pi_1(\mbox{Spin}(p,q)) = \begin{cases} | ||
Line 158: | Line 158: | ||
\mathrm{Z}_2 & p, q >2\\ | \mathrm{Z}_2 & p, q >2\\ | ||
\end{cases}</math> | \end{cases}</math> | ||
इस प्रकार एक बार {{nowrap|''p'', ''q'' > 2}} मौलिक समूह Z | इस प्रकार एक बार {{nowrap|''p'', ''q'' > 2}} मौलिक समूह Z<sub>2</sub> है, क्योंकि यह दो सार्वभौमिक आवरणों के उत्पाद का 2 गुना भागफल है। | ||
मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। | मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। जिसके लिए {{nowrap|''p'', ''q'' > 2}}, इसका तात्पर्य है कि मैप {{nowrap|π<sub>1</sub>(Spin(''p'', ''q'')) → π<sub>1</sub>(SO(''p'', ''q''))}} द्वारा दिया गया है, {{nowrap|1 ∈ Z<sub>2</sub>}} {{nowrap|(1, 1) ∈ Z<sub>2</sub> × Z<sub>2</sub>}}. के लिए {{nowrap|1=''p'' = 2, ''q'' > 2}}, यह नक्शा द्वारा दिया गया है {{nowrap|1 ∈ '''Z''' → (1,1) ∈ '''Z''' × Z<sub>2</sub>}}. और अंत में, के लिए {{nowrap|1=''p'' = ''q'' = 2}}, {{nowrap|(1, 0) ∈ '''Z''' × '''Z'''}} को भेजा जाता है {{nowrap|(1,1) ∈ '''Z''' × '''Z'''}} और {{nowrap|(0, 1)}} को {{nowrap|(1, −1)}} भेजा जाता है। | ||
== केंद्र == | == केंद्र == | ||
स्पिन समूहों | स्पिन समूहों के केंद्र के लिए {{nowrap|''n'' ≥ 3}}, (जटिल और वास्तविक) इस प्रकार दिए गए हैं:<ref name=":0" />{{rp|208}} | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\operatorname{Z}(\operatorname{Spin}(n,\mathbf{C})) &= \begin{cases} | \operatorname{Z}(\operatorname{Spin}(n,\mathbf{C})) &= \begin{cases} | ||
Line 179: | Line 179: | ||
== भागफल समूह == | == भागफल समूह == | ||
केंद्र के एक उपसमूह द्वारा | केंद्र के एक उपसमूह द्वारा उद्धरण समूह प्राप्त किया जा सकता है, स्पिन समूह के साथ परिणामी भागफल का एक आवरणिंग समूह होता है, और दोनों समूहों में एक ही लाई बीजगणित होता है। | ||
पूरे केंद्र द्वारा भाग लेने से न्यूनतम ऐसे समूह का उत्पादन होता है, जैसे कि प्रक्षेपी विशेष ऑर्थोगोनल समूह, जो [[ केंद्रहीन |केंद्रहीन]] होता है, जबकि {±1} द्वारा भाग निकालने से विशेष ऑर्थोगोनल समूह प्राप्त होता है, यदि केंद्र {±1} के बराबर होता है (अर्थात् विषम आयाम में), ये दो भागफल समूह सहमत हैं। यदि स्पिन समूह बस जुड़ा हुआ है (जैसा कि स्पिन (n) के लिए है {{nowrap|''n'' > 2}}), तो स्पिन अनुक्रम में अधिकतम समूह है, और एक के पास तीन समूहों का अनुक्रम है, | |||
:Spin(n) → SO(n) → PSO(n), | |||
समता उपज द्वारा विभाजन: | समता उपज द्वारा विभाजन: | ||
: | :Spin(2n) → SO(2n) → PSO(2n), | ||
: | :Spin(2n+1) → SO(2n+1) = PSO(2n+1), | ||
जो तीन [[ कॉम्पैक्ट वास्तविक रूप |कॉम्पैक्ट वास्तविक रूप]] हैं (या दो, यदि {{nowrap|1=SO = PSO}}) कॉम्पैक्ट लाई बीजगणित का <math>\mathfrak{so} (n, \mathbf{R}).</math> | जो तीन [[ कॉम्पैक्ट वास्तविक रूप |कॉम्पैक्ट वास्तविक रूप]] हैं (या दो, यदि {{nowrap|1=SO = PSO}}) कॉम्पैक्ट लाई बीजगणित का <math>\mathfrak{so} (n, \mathbf{R}).</math> | ||
आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे निर्धारित अनुक्रम से संबंधित होते हैं, असतत फाइबर (कर्नेल होने वाला फाइबर) के साथ | आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे निर्धारित अनुक्रम से संबंधित होते हैं, असतत फाइबर (कर्नेल होने वाला फाइबर) के साथ इस प्रकार सभी होमोटोपी समूह {{nowrap|''k'' > 1}} बराबर हैं, लेकिन π<sub>0</sub> और π<sub>1</sub> अलग हो सकता है। | ||
{{nowrap|''n'' > 2}} के लिए , स्पिन (n) बस जुड़ा हुआ है ({{nowrap|1=π<sub>0</sub> = π<sub>1</sub> = Z<sub>1</sub>}} तुच्छ है), इसलिए SO(n) जुड़ा हुआ है और इसका मूलभूत समूह Z<sub>2</sub> है जबकि PSO (n) जुड़ा हुआ है और स्पिन (n) के केंद्र के बराबर मौलिक समूह है। | |||
अनिश्चितकालीन संकेत में आवरण और होमोटॉपी समूह अधिक जटिल होते हैं | अनिश्चितकालीन संकेत में आवरण और होमोटॉपी समूह अधिक जटिल होते हैं, स्पिन (p, q) केवल जुड़ा नहीं होता है, और भागफल भी जुड़े हुए घटकों को प्रभावित करता है। यदि कोई अधिकतम (जुड़ा हुआ) कॉम्पैक्ट मानता है तो विश्लेषण सरल होता है {{nowrap|SO(''p'') × SO(''q'') ⊂ SO(''p'', ''q'')}} और [[ घटक समूह |घटक समूह]] {{nowrap|Spin(''p'', ''q'')}}. | ||
== [[ व्हाइटहेड टॉवर ]] == | == [[ व्हाइटहेड टॉवर | व्हाइटहेड स्तम्भ]] == | ||
स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है: | स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है: | ||
:<math>\ldots\rightarrow \text{Fivebrane}(n) \rightarrow \text{String}(n)\rightarrow \text{Spin}(n)\rightarrow \text{SO}(n) \rightarrow \text{O}(n) </math> | :<math>\ldots\rightarrow \text{Fivebrane}(n) \rightarrow \text{String}(n)\rightarrow \text{Spin}(n)\rightarrow \text{SO}(n) \rightarrow \text{O}(n) </math> | ||
बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर | बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर स्तम्भ प्राप्त किया जाता है। यह होमोटॉपी समूह को हटाए जाने के लिए एलेनबर्ग-मैकलेन स्थान से प्रारम्भ होने वाले छोटे निर्धारित अनुक्रमों का निर्माण करके किया जाता है। {{pi}}<sub>3</sub> स्पिन (n) में होमोटोपी समूह, अनंत-आयामी [[ स्ट्रिंग समूह |स्ट्रिंग समूह]] स्ट्रिंग (n) प्राप्त करता है। | ||
== असतत उपसमूह == | == असतत उपसमूह == | ||
स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी [[ बिंदु समूह |बिंदु समूह]] ) के असतत उपसमूहों से संबंधित करके समझा जा सकता है। | स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी [[ बिंदु समूह |बिंदु समूह]]) के असतत उपसमूहों से संबंधित करके समझा जा सकता है। | ||
डबल आवरण दिया {{nowrap|Spin(''n'') → SO(''n'')}}, [[ जाली प्रमेय |जाली प्रमेय]] द्वारा, स्पिन (n) के उपसमूहों और SO (n) (घूर्णी बिंदु समूहों) के उपसमूहों के बीच [[ गाल्वा कनेक्शन |गाल्वा कनेक्शन]] है: स्पिन (n) के एक उपसमूह की छवि एक घूर्णी बिंदु समूह है, और प्रीइमेज एक बिंदु समूह स्पिन (n) का एक उपसमूह है, और स्पिन (n) के उपसमूहों पर [[ बंद करने वाला ऑपरेटर |बंद करने वाला ऑपरेटर]] {±1} से गुणा है। इन्हें बाइनरी पॉइंट ग्रुप कहा जा सकता है; सबसे परिचित 3-आयामी परिस्थिति है, जिसे [[ बाइनरी पॉलीहेड्रल समूह |बाइनरी पॉलीहेड्रल समूह]] के रूप में जाना जाता है। | |||
ठोस रूप से, प्रत्येक बाइनरी बिंदु समूह या तो एक बिंदु समूह का प्रीइमेज है (इसलिए बिंदु समूह G के लिए 2G को दर्शाया गया है), या एक बिंदु समूह के प्रीइमेज का एक इंडेक्स 2 उपसमूह है जो बिंदु समूह पर मैप करता है, (आइसोमॉर्फिक रूप से) बाद के परिस्थिति में पूर्ण बाइनरी समूह सारगर्भित है। | |||
<math>\mathrm{C}_2 \times G</math> (चूंकि {±1} केंद्रीय है) | |||
इन उत्तरार्द्धों के उदाहरण के रूप में, विषम क्रम का चक्रीय समूह दिया गया है, | |||
<math>\mathrm{Z}_{2k+1}</math> SO(n) में, इसकी पूर्व छवि दो बार क्रम का एक चक्रीय समूह है, | |||
<math>\mathrm{C}_{4k+2} \cong \mathrm{Z}_{2k+1} \times \mathrm{Z}_2,</math> और उपसमूह {{nowrap|Z<sub>2''k''+1</sub> < Spin(''n'')}} आइसोमॉर्फिक {{nowrap|Z<sub>2''k''+1</sub> < SO(''n'')}} रूप से मैप करता है। | |||
विशेष नोट की दो श्रृंखलाएँ हैं: | विशेष नोट की दो श्रृंखलाएँ हैं: | ||
* उच्च [[ बाइनरी टेट्राहेड्रल समूह |बाइनरी टेट्राहेड्रल समूह]], एन-सिम्प्लेक्स के समरूपता के 2 गुना आवरण के अनुरूप; इस समूह को वैकल्पिक और सममित समूहों के | * उच्च [[ बाइनरी टेट्राहेड्रल समूह |बाइनरी टेट्राहेड्रल समूह]], एन-सिम्प्लेक्स के समरूपता के 2 गुना आवरण के अनुरूप; इस समूह को वैकल्पिक और सममित समूहों के कवरिंग समूह के रूप में भी माना जा सकता है, {{nowrap|2⋅A<sub>''n''</sub> → A<sub>''n''</sub>}}, वैकल्पिक समूह के साथ n-सिम्प्लेक्स का (घूर्णी) समरूपता समूह है। | ||
* उच्च [[ बाइनरी ऑक्टाहेड्रल समूह |बाइनरी ऑक्टाहेड्रल समूह]], [[ हाइपरऑक्टाहेड्रल समूह |हाइपरऑक्टाहेड्रल समूह]] के 2-गुना आवरण ([[ अतिविम | अतिविम]] की समरूपता, या इसके दोहरे, [[ क्रॉस-पॉलीटॉप |क्रॉस-पॉलीटॉप]] के समतुल्य) के | * उच्च [[ बाइनरी ऑक्टाहेड्रल समूह |बाइनरी ऑक्टाहेड्रल समूह]], [[ हाइपरऑक्टाहेड्रल समूह |हाइपरऑक्टाहेड्रल समूह]] के 2-गुना आवरण ([[ अतिविम |अतिविम]] की समरूपता, या इसके दोहरे, [[ क्रॉस-पॉलीटॉप |क्रॉस-पॉलीटॉप]] के समतुल्य) के अनुरूप प्रकृति प्रदर्शित करते हैं। | ||
बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं। | बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, उनकी स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 219: | Line 229: | ||
* स्पिनर बंडल | * स्पिनर बंडल | ||
* स्पिन संरचना | * स्पिन संरचना | ||
* [[ | * [[ लाई समूहों की तालिका ]] | ||
* कोई भी | * कोई भी | ||
* [[ अभिविन्यास उलझाव ]] | * [[ अभिविन्यास उलझाव ]] | ||
Line 226: | Line 236: | ||
=== संबंधित समूह === | === संबंधित समूह === | ||
* पिन ग्रुप पिन (n) - ऑर्थोगोनल ग्रुप का दो गुना आवरण, | * पिन ग्रुप पिन (n) - ऑर्थोगोनल ग्रुप का दो गुना आवरण, O(n) | ||
* [[ मेटाप्लेक्टिक समूह | मेटाप्लेक्टिक समूह]] Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n) | * [[ मेटाप्लेक्टिक समूह |मेटाप्लेक्टिक समूह]] Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n) | ||
* स्ट्रिंग समूह स्ट्रिंग (n) - व्हाइटहेड | * स्ट्रिंग समूह स्ट्रिंग (n) - व्हाइटहेड स्तम्भ में अगला समूह | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 01:17, 7 January 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
गणित में स्पिन समूह स्पिन(n)[1][2] विशेष ऑर्थोगोनल समूह SO(n) = SO(n, R) का दोहरा आवरण स्थान है, जैसे कि लाई समूह का एक संक्षिप्त निर्धारित क्रम अवस्थित है (जब n ≠ 2)
लाई समूह के रूप में, स्पिन (n) इसलिए अपने आयाम, एन (एन - 1)/2, और विशेष ओर्थोगोनल समूह के साथ अपने लाई बीजगणित को स्थानांतरित करता है।
n > 2 के लिए, स्पिन (n) मुख्य रूप से संयोजित होता है इसलिए विशेष ऑर्थोगोनल समूह SO(n) के सार्वभौमिक आवरण के साथ समानता रखता है।
कर्नेल (समूह सिद्धांत) के गैर-तुच्छ तत्व को -1 के रूप में दर्शाया गया है, जिसे उत्पत्ति के माध्यम से प्रतिबिंब के ऑर्थोगोनल परिवर्तन के साथ भ्रमित नहीं होना चाहिए, जिसे सामान्यतः -I द्वारा निरूपित किया जाता है .
क्लिफर्ड बीजगणित Cl (n) में उल्टे तत्वों के उपसमूह के रूप में स्पिन (n) का निर्माण किया जा सकता है। एक अलग लेख स्पिन अभ्यावेदन पर चर्चा करता है।
प्रेरणा और संरचनात्मक व्याख्या
स्पिन समूह का उपयोग भौतिकी में (विद्युत रूप से तटस्थ, अपरिवर्तित) फर्मों की समरूपता का वर्णन करने के लिए किया जाता है। इसकी जटिलता और स्पिन का उपयोग विद्युत रूप से आवेशित फर्मियन, विशेष रूप से इलेक्ट्रॉन का वर्णन करने के लिए किया जाता है। सार्वभौमिक कथित रूप से, स्पिन समूह शून्य-आयामी अंतरिक्ष में एक फ़र्मियन का वर्णन करता है; लेकिन निश्चित रूप से, अंतरिक्ष शून्य-आयामी नहीं है, और इसलिए स्पिन समूह का उपयोग (आभासी) रीमैनियन मैनिफोल्ड्स पर स्पिन संरचनाओं को परिभाषित करने के लिए किया जाता है, स्पिन समूह एक स्पिनर बंडल का संरचना समूह है। स्पिनर बंडल पर अफ्फीन (affine) कनेक्शन स्पिन कनेक्शन है; स्पिन कनेक्शन उपयोगी है क्योंकि यह सामान्य सापेक्षता में कई जटिल गणनाओं को सरल बना सकता है और सुगमता ला सकता है। परिणामतः स्पिन कनेक्शन डायराक समीकरण को वक्राकार स्पेसटाइम (प्रभावी रूप से टेट्राड (सामान्य सापेक्षता) निर्देशांक में) में लिखने में सक्षम बनाता है, जो बदले में क्वांटम गुरुत्वाकर्षण बल के लिए एक आधार प्रदान करता है, साथ ही हॉकिंग विकिरण (जहां एक विखंडित हुए, आभासी फ़र्मियन की जोड़ी घटना क्षितिज से आगे निकल जाती है, और दूसरा नहीं)। संक्षेप में, स्पिन समूह एक महत्वपूर्ण आधारशिला है, जो आधुनिक सैद्धांतिक भौतिकी में उन्नत अवधारणाओं को समझने के लिए केंद्रीय रूप से महत्वपूर्ण है। गणित में, स्पिन समूह अपने आप में दिलचस्प है: न केवल इन कारणों से, बल्कि और भी कई कारणों से प्रमुख है।
निर्माण
स्पिन समूह का निर्माण प्रायः एक निश्चित द्विघात रूप q के साथ एक वास्तविक सदिश स्थान V पर क्लिफर्ड बीजगणित के निर्माण के साथ प्रारम्भ होता है।[3] क्लिफर्ड बीजगणित द्वि-स्तरीय आदर्श द्वारा V के टेंसर बीजगणित टीवी का भागफल है। टेंसर बीजगणित (वास्तविक से अधिक) को इस रूप में लिखा जा सकता है
क्लिफर्ड बीजगणित Cl (V) तब भागफल साहचर्य बीजगणित है
जहाँ सदिश पर लागू होने वाला द्विघात रूप है . परिणामी स्थान परिमित आयामी, स्वाभाविक रूप से वर्गीकृत (गणित) (एक वेक्टर स्थान के रूप में) है, और इसे इस रूप में लिखा जा सकता है
जहाँ , का आयाम है , और . स्पिन बीजगणित की तरह परिभाषित किया गया है
जहां अंतिम V वास्तविक आयाम n का वास्तविक सदिश स्थान होने के लिए एक शार्ट-हैंड है। यह एक लाई बीजगणित है, यह V पर एक प्राकृतिक क्रिया है, और इस तरह विशेष ऑर्थोगोनल समूह की लाई बीजगणित के लिए आइसोमोर्फिक दिखाया जा सकता है।
पिन समूह का एक उपसमूह है प्रपत्र के सभी तत्वों का क्लिफोर्ड समूह
- जहां प्रत्येक इकाई लंबाई की है:
स्पिन समूह के रूप में परिभाषित किया गया है
जहाँ
उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल हैं अर्थात्, स्पिन (V) में ऊपर दिए गए पिन (V) के सभी तत्व सम्मिलित हैं, जिसमें k एक सम संख्या है। नीचे निर्मित दो-घटक (वेइल) स्पिनरों के गठन के लिए भी उप-स्थान पर प्रतिबंध महत्वपूर्ण है।
यदि सेट (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है:
- के लिए
जो विचार करके के लिए अनुसरण करता है। यह एंटी-कम्यूटेशन भौतिकी में महत्वपूर्ण हो जाता है, क्योंकि यह पाउली अपवर्जन सिद्धांत की भावना को फर्मों के लिए पकड़ लेता है। एक निर्धारित सूत्रीकरण यहाँ दायरे से बाहर है, लेकिन इसमें मिन्कोव्स्की स्पेसटाइम पर एक स्पिनर बंडल का निर्माण सम्मिलित है; परिणामी स्पिनर क्षेत्रों को क्लिफर्ड बीजगणित निर्माण के उप-उत्पाद के रूप में विरोधी-आवागमन के रूप में देखा जा सकता है। यह एंटी-कम्यूटेशन गुण सुपरसिमेट्री के निर्माण के लिए भी महत्वपूर्ण है। क्लिफर्ड बीजगणित और स्पिन समूह में कई दिलचस्प गुण हैं, जिनमें से कुछ नीचे सूचीबद्ध हैं।
डबल कवरिंग
द्विघात स्थान V के लिए, स्पिन (V) द्वारा SO(V) का दोहरा आवरण स्पष्ट रूप से निम्नानुसार दिया जा सकता है। V के लिए एक असामान्य आधार बनें। एक एंटीऑटोमोरफिस्म को परिभाषित करें द्वारा
इसे के सभी तत्वों तक बढ़ाया जा सकता है रैखिकता द्वारा। यह तब से एक एंटीहोमोमोर्फिज्म है
ध्यान दें कि पिन(V) को तब सभी तत्वों के रूप में परिभाषित किया जा सकता है जिसके लिए
अब ऑटोमोर्फिज्म को परिभाषित कीजिए जो डिग्री 1 तत्वों द्वारा दिया जाता है
और निरूपित , जो Cl(V) का एक एंटीऑटोमोर्फिज्म है। इस संकेतन के साथ, एक स्पष्ट दोहरा आवरण समाकारिता है के द्वारा दिया गया
जहाँ . जब a के पास डिग्री 1 हो (अर्थात ), हाइपरप्लेन ऑर्थोगोनल में एक प्रतिबिंब से समानता रखती है; यह क्लिफोर्ड बीजगणित की एंटी-कम्यूटिंग से निर्मित होती है।
यह पिन (V) द्वारा O(V) और स्पिन (V) द्वारा SO(V) दोनों का दोहरा आवरण देता है क्योंकि के समान परिवर्तन देता है।
स्पिनर स्पेस
इस औपचारिकता को देखते हुए, स्पिनर स्पेस और वेइल स्पिनर का निर्माण कैसे किया जाता है, इसकी समीक्षा करना उचित है। आयाम की एक वास्तविक सदिश समष्टि V दी गई है n = 2m एक सम संख्या, इसकी जटिलता है . इसे एक उपसमष्टि के प्रत्यक्ष योग के रूप में लिखा जा सकता है स्पिनरों और एक उप-स्थान की विरोधी स्पिनरों की:
अंतरिक्ष स्पिनरों द्वारा फैलाया जाता है के लिए और जटिल संयुग्मी स्पिनर स्पैन . यह देखना सीधा है कि स्पिनर एंटी-कम्यूट करते हैं, और स्पिनर और एंटी-स्पिनर का उत्पाद एक सदिश है।
स्पिनर स्पेस को बाहरी बीजगणित के रूप में परिभाषित किया गया है। क्लिफोर्ड बीजगणित स्वाभाविक रूप से इस स्थान पर कार्य करता है, (जटिल) स्पिन समूह लंबाई-संरक्षण एंडोमोर्फिज्म से समानता रखता है। बाहरी बीजगणित पर एक प्राकृतिक ग्रेडिंग है, विषम संख्या में प्रतियों का गुणनफल फर्मिऑन्स की भौतिकी धारणा के अनुरूप सम उपसमष्टि बोसोन के अनुरूप है। स्पिनर स्पेस पर स्पिन समूह की कार्रवाई का प्रतिनिधित्व अपेक्षाकृत सरल फैशन में बनाया जा सकता है।[3]
जटिल परिस्थिति
द स्पिन समूह को निर्धारित अनुक्रम द्वारा परिभाषित किया गया है
यह जटिलता का गुणक उपसमूह है क्लिफर्ड बीजगणित का, और विशेष रूप से, यह स्पिन (V) और 'C' में यूनिट सर्कल द्वारा उत्पन्न उपसमूह है। वैकल्पिक रूप से, यह भागफल है
जहां समानता पहचानता (a, u) साथ (−a, −u).
इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिनC समूह का उपयोग विद्युत आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस परिस्थिति में, यू (1) समरूपता विशेष रूप से विद्युत चुंबकत्व का गेज समूह है।
असाधारण समरूपता
कम आयामों में, असाधारण समाकृतिकता कहे जाने वाले मानक लाई समूहों के बीच समरूपताएं हैं। उदाहरण के लिए, साधारण लाई बीजगणित के विभिन्न परिवारों के मूल प्रक्रिया (और डायनकिन आरेख के संगत समरूपता) के बीच निम्न-आयामी समरूपता के कारण निम्न-आयामी स्पिन समूहों और कुछ मानक लाई समूहों के बीच समरूपताएं हैं। वास्तविक के लिए 'R' लिखना, जटिल संख्याओं के लिए 'C', चतुष्कोणों के लिए 'h' और सामान्य समझ है कि Cl (n) Cln ('R' के लिए एक संक्षिप्त पक्ष है) और वह स्पिन (n) स्पिन('R') के लिए शॉर्ट-हैंड हैn) और इसी तरह, एक के पास वह समूह है[3]
- Clसम(1) = R वास्तविक संख्याएँ
- Pin(1) = {+i, -i, +1, -1}
- Spin(1) = O(1) = {+1, −1} लंबकोणीय समूह,
- आयाम शून्य का लंबकोणीय समूह।
--
- Clसम(2) = C सम्मिश्र संख्याएँ
- Spin(2) = U (1) = विशेष ऑर्थोगोनल समूह,
- SO (2), जो R2 में 'Z' पर कार्य करता है डबल फेज रोटेशन द्वारा z ↦ u2z. dim = 1
--
- Clसम(3) = चतुष्कोण H
- Spin (3) = कोरसपोंडेंस समूह,
- Sp (1) = विशेष एकात्मक समूह,
- SU (2), इसके अनुरूप . dim = 3
--
- Clसम(4) = H ⊕ H
- Spin(4) = SU(2) × SU(2), इसके अनुरूप . dim = 6
--
- Clसम(5)= M(2, H) चतुर्थ गुणांक वाले दो-दो आव्यूह
- Spin (5) = कोरसपोंडेंस समूह,
- Sp (2), इसके अनुरूप . dim = 10
--
- Clसम(6)= M(4, C) जटिल गुणांक वाले चार गुणा चार आव्यूह
- Spin (6) = विशेष एकात्मक समूह,
- SU (4), इसके अनुरूप . dim = 15
इन समरूपताओं के कुछ अवशेषों के लिए n = 7, 8 छोड़ दिया गया है (अधिक विवरण के लिए स्पिन(8) (8) देखें)। उच्च n के लिए, ये समरूपता पूरी तरह से अदृश्य हो जाती है।
अनिश्चितकालीन संकेत
संकेत (द्विघात रूप) में, स्पिन समूह Spin(p, q) क्लिफर्ड बीजगणित के माध्यम से मानक स्पिन समूहों के समान बनाया गया है। यह एक SO0(p, q) आवरण समूह है, अनिश्चितकालीन ऑर्थोगोनल समूह की पहचान का जुड़ा हुआ घटक SO(p, q). जिसके लिए p + q > 2, Spin(p, q) जुड़ा हुआ है; जिसके लिए (p, q) = (1, 1) दो जुड़े हुए घटक हैं।[4]: 193 निश्चित संकेत के रूप में, निम्न आयामों में कुछ आकस्मिक समरूपताएँ हैं:
- Spin(1, 1) = GL(1, R)
- Spin(2, 1) = SL(2, R)
- Spin(3, 1) = SL(2, C)
- Spin(2, 2) = SL(2, R) × SL(2, R)
- Spin(4, 1) = Sp(1, 1)
- Spin(3, 2) = Sp(4, R)
- Spin(5, 1) = SL(2, H)
- Spin(4, 2) = SU(2, 2)
- Spin(3, 3) = SL(4, R)
- Spin(6, 2) = SU(2, 2, H)
ध्यान दें कि Spin(p, q) = Spin(q, p).
सामयिक विचार
जुड़ा हुआ स्थान और बस कनेक्टेड लाइ ग्रुप्स को उनके ले बीजगणित द्वारा वर्गीकृत किया जाता है। इसलिए यदि G एक साधारण लाई बीजगणित के साथ जुड़ा हुआ लाई समूह है, G के सार्वभौमिक आवरण G के साथ, इसमें एक समावेश है
Z(G′) के साथ G′ का केंद्र (समूह सिद्धांत) यह समावेशन और लाई बीजगणित G पूरी तरह से निर्धारित करता है (ध्यान दें कि ऐसा नहीं है कि और π1(जी) पूरी तरह से जी का निर्धारण; उदाहरण के लिए SL(2, 'R') और PSL(2, 'R') में समान लाई बीजगणित और समान मौलिक समूह 'Z' है, लेकिन आइसोमॉर्फिक नहीं हैं)।
निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं।
अनिश्चितकालीन संकेत में, स्पिन (p, q) आवश्यक रूप से जुड़ा नहीं है, और सामान्यतः पहचान घटक, Spin0(p, q), केवल जुड़ा नहीं है, इस प्रकार यह एक सार्वभौमिक आवरण नहीं है। मौलिक समूह को SO(p, q) के अधिकतम कॉम्पैक्ट उपसमूह पर विचार करके सबसे आसानी से समझा जा सकता है, जो SO(p) ×SO(q) है, और ध्यान दें कि 2-गुना आवरण का उत्पाद होने के बजाय (इसलिए a 4-गुना आवरण), स्पिन (p, q) विकर्ण 2-गुना आवरण है, यह 4-गुना आवरण का 2-गुना भागफल है। स्पष्ट रूप से, स्पिन (p, q) का अधिकतम कॉम्पैक्ट कनेक्टेड उपसमूह है
- Spin(p) × Spin(q)/{(1, 1), (−1, −1)}.
यह हमें Spin (p, q) के मौलिक समूहों की गणना करने की अनुमति देता है, p ≥ q लेते हुए:
इस प्रकार एक बार p, q > 2 मौलिक समूह Z2 है, क्योंकि यह दो सार्वभौमिक आवरणों के उत्पाद का 2 गुना भागफल है।
मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। जिसके लिए p, q > 2, इसका तात्पर्य है कि मैप π1(Spin(p, q)) → π1(SO(p, q)) द्वारा दिया गया है, 1 ∈ Z2 (1, 1) ∈ Z2 × Z2. के लिए p = 2, q > 2, यह नक्शा द्वारा दिया गया है 1 ∈ Z → (1,1) ∈ Z × Z2. और अंत में, के लिए p = q = 2, (1, 0) ∈ Z × Z को भेजा जाता है (1,1) ∈ Z × Z और (0, 1) को (1, −1) भेजा जाता है।
केंद्र
स्पिन समूहों के केंद्र के लिए n ≥ 3, (जटिल और वास्तविक) इस प्रकार दिए गए हैं:[4]: 208
भागफल समूह
केंद्र के एक उपसमूह द्वारा उद्धरण समूह प्राप्त किया जा सकता है, स्पिन समूह के साथ परिणामी भागफल का एक आवरणिंग समूह होता है, और दोनों समूहों में एक ही लाई बीजगणित होता है।
पूरे केंद्र द्वारा भाग लेने से न्यूनतम ऐसे समूह का उत्पादन होता है, जैसे कि प्रक्षेपी विशेष ऑर्थोगोनल समूह, जो केंद्रहीन होता है, जबकि {±1} द्वारा भाग निकालने से विशेष ऑर्थोगोनल समूह प्राप्त होता है, यदि केंद्र {±1} के बराबर होता है (अर्थात् विषम आयाम में), ये दो भागफल समूह सहमत हैं। यदि स्पिन समूह बस जुड़ा हुआ है (जैसा कि स्पिन (n) के लिए है n > 2), तो स्पिन अनुक्रम में अधिकतम समूह है, और एक के पास तीन समूहों का अनुक्रम है,
- Spin(n) → SO(n) → PSO(n),
समता उपज द्वारा विभाजन:
- Spin(2n) → SO(2n) → PSO(2n),
- Spin(2n+1) → SO(2n+1) = PSO(2n+1),
जो तीन कॉम्पैक्ट वास्तविक रूप हैं (या दो, यदि SO = PSO) कॉम्पैक्ट लाई बीजगणित का आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे निर्धारित अनुक्रम से संबंधित होते हैं, असतत फाइबर (कर्नेल होने वाला फाइबर) के साथ इस प्रकार सभी होमोटोपी समूह k > 1 बराबर हैं, लेकिन π0 और π1 अलग हो सकता है।
n > 2 के लिए , स्पिन (n) बस जुड़ा हुआ है (π0 = π1 = Z1 तुच्छ है), इसलिए SO(n) जुड़ा हुआ है और इसका मूलभूत समूह Z2 है जबकि PSO (n) जुड़ा हुआ है और स्पिन (n) के केंद्र के बराबर मौलिक समूह है।
अनिश्चितकालीन संकेत में आवरण और होमोटॉपी समूह अधिक जटिल होते हैं, स्पिन (p, q) केवल जुड़ा नहीं होता है, और भागफल भी जुड़े हुए घटकों को प्रभावित करता है। यदि कोई अधिकतम (जुड़ा हुआ) कॉम्पैक्ट मानता है तो विश्लेषण सरल होता है SO(p) × SO(q) ⊂ SO(p, q) और घटक समूह Spin(p, q).
व्हाइटहेड स्तम्भ
स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है:
बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर स्तम्भ प्राप्त किया जाता है। यह होमोटॉपी समूह को हटाए जाने के लिए एलेनबर्ग-मैकलेन स्थान से प्रारम्भ होने वाले छोटे निर्धारित अनुक्रमों का निर्माण करके किया जाता है। π3 स्पिन (n) में होमोटोपी समूह, अनंत-आयामी स्ट्रिंग समूह स्ट्रिंग (n) प्राप्त करता है।
असतत उपसमूह
स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी बिंदु समूह) के असतत उपसमूहों से संबंधित करके समझा जा सकता है।
डबल आवरण दिया Spin(n) → SO(n), जाली प्रमेय द्वारा, स्पिन (n) के उपसमूहों और SO (n) (घूर्णी बिंदु समूहों) के उपसमूहों के बीच गाल्वा कनेक्शन है: स्पिन (n) के एक उपसमूह की छवि एक घूर्णी बिंदु समूह है, और प्रीइमेज एक बिंदु समूह स्पिन (n) का एक उपसमूह है, और स्पिन (n) के उपसमूहों पर बंद करने वाला ऑपरेटर {±1} से गुणा है। इन्हें बाइनरी पॉइंट ग्रुप कहा जा सकता है; सबसे परिचित 3-आयामी परिस्थिति है, जिसे बाइनरी पॉलीहेड्रल समूह के रूप में जाना जाता है।
ठोस रूप से, प्रत्येक बाइनरी बिंदु समूह या तो एक बिंदु समूह का प्रीइमेज है (इसलिए बिंदु समूह G के लिए 2G को दर्शाया गया है), या एक बिंदु समूह के प्रीइमेज का एक इंडेक्स 2 उपसमूह है जो बिंदु समूह पर मैप करता है, (आइसोमॉर्फिक रूप से) बाद के परिस्थिति में पूर्ण बाइनरी समूह सारगर्भित है।
(चूंकि {±1} केंद्रीय है)
इन उत्तरार्द्धों के उदाहरण के रूप में, विषम क्रम का चक्रीय समूह दिया गया है,
SO(n) में, इसकी पूर्व छवि दो बार क्रम का एक चक्रीय समूह है,
और उपसमूह Z2k+1 < Spin(n) आइसोमॉर्फिक Z2k+1 < SO(n) रूप से मैप करता है।
विशेष नोट की दो श्रृंखलाएँ हैं:
- उच्च बाइनरी टेट्राहेड्रल समूह, एन-सिम्प्लेक्स के समरूपता के 2 गुना आवरण के अनुरूप; इस समूह को वैकल्पिक और सममित समूहों के कवरिंग समूह के रूप में भी माना जा सकता है, 2⋅An → An, वैकल्पिक समूह के साथ n-सिम्प्लेक्स का (घूर्णी) समरूपता समूह है।
- उच्च बाइनरी ऑक्टाहेड्रल समूह, हाइपरऑक्टाहेड्रल समूह के 2-गुना आवरण (अतिविम की समरूपता, या इसके दोहरे, क्रॉस-पॉलीटॉप के समतुल्य) के अनुरूप प्रकृति प्रदर्शित करते हैं।
बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, उनकी स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं।
यह भी देखें
- क्लिफर्ड बीजगणित
- क्लिफोर्ड विश्लेषण
- स्पिनर
- स्पिनर बंडल
- स्पिन संरचना
- लाई समूहों की तालिका
- कोई भी
- अभिविन्यास उलझाव
संबंधित समूह
- पिन ग्रुप पिन (n) - ऑर्थोगोनल ग्रुप का दो गुना आवरण, O(n)
- मेटाप्लेक्टिक समूह Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n)
- स्ट्रिंग समूह स्ट्रिंग (n) - व्हाइटहेड स्तम्भ में अगला समूह
संदर्भ
- ↑ Lawson, H. Blaine; Michelsohn, Marie-Louise (1989). स्पिन ज्यामिति. Princeton University Press. ISBN 978-0-691-08542-5. page 14
- ↑ Friedrich, Thomas (2000), Dirac Operators in Riemannian Geometry, American Mathematical Society, ISBN 978-0-8218-2055-1 page 15
- ↑ 3.0 3.1 3.2 Jürgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer Verlag ISBN 3-540-42627-2 (See Chapter 1.)
- ↑ 4.0 4.1 Varadarajan, V. S. (2004). गणितज्ञों के लिए सुपरसिममेट्री: एक परिचय. Providence, R.I.: American Mathematical Society. ISBN 0821835742. OCLC 55487352.
बाहरी कड़ियाँ
- The essential dimension of sपिन groups is OEIS:A280191.
- Grothendieck's "torsion index" is OEIS:A096336.
आगे की पढाई
- Karoubi, Max (2008). K-Theory. Springer. pp. 210–214. ISBN 978-3-540-79889-7.