स्पिन निरूपण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Particular projective representations of the orthogonal or special orthogonal groups}}
{{Short description|Particular projective representations of the orthogonal or special orthogonal groups}}
गणित में, स्पिन  निरूपण  आर्बिटरी [[आयाम]] और [[मीट्रिक हस्ताक्षर|हस्ताक्षर]] (अर्थात, अनिश्चित [[ऑर्थोगोनल समूह]] सहित) में ऑर्थोगोनल समूह या [[विशेष ऑर्थोगोनल समूह]] के विशेष प्रक्षेपी  निरूपण हैं। अधिक स्पष्ट रूप से, वह [[स्पिन समूह]] के लाई समूह के दो समकक्ष  निरूपण हैं, जो विशेष ऑर्थोगोनल समूहों के दोहरा आवरण समूह हैं। इनका अध्ययन सामान्यतः [[वास्तविक संख्या]] या [[जटिल संख्या|सम्मिश्र संख्या]]ओं पर किया जाता है, किन्तु इन्हें अन्य क्षेत्रों (गणित) पर परिभाषित किया जा सकता है।
गणित में, '''स्पिन  निरूपण''' आर्बिटरी [[आयाम]] और [[मीट्रिक हस्ताक्षर|हस्ताक्षर]] (अर्थात, अनिश्चित [[ऑर्थोगोनल समूह]] सहित) में ऑर्थोगोनल समूह या [[विशेष ऑर्थोगोनल समूह]] के विशेष प्रक्षेपी  निरूपण हैं। अधिक स्पष्ट रूप से, वह [[स्पिन समूह]] के लाई समूह के दो समकक्ष  निरूपण हैं, जो विशेष ऑर्थोगोनल समूहों के दोहरा आवरण समूह हैं। इस प्रकार इनका अध्ययन सामान्यतः [[वास्तविक संख्या]] या [[जटिल संख्या|सम्मिश्र संख्या]]ओं पर किया जाता है, किन्तु इन्हें अन्य क्षेत्रों (गणित) पर परिभाषित किया जा सकता है।


स्पिन  निरूपण के घटको को [[स्पिनर]] कहा जाता है। वह [[इलेक्ट्रॉन]] जैसे [[फरमिओन्स]] के भौतिकी विवरण में महत्वपूर्ण भूमिका निभाते हैं।
स्पिन  निरूपण के घटको को [[स्पिनर]] कहा जाता है। वह [[इलेक्ट्रॉन]] जैसे [[फरमिओन्स]] के भौतिकी विवरण में महत्वपूर्ण भूमिका निभाते हैं।


स्पिन  निरूपण का निर्माण विभिन्न विधियों से किया जा सकता है, किन्तु सामान्यतः निर्माण में समूह के सदिश  निरूपण में अधिकतम आइसोट्रोपिक उप-समष्टि का विकल्प सम्मिलित होता है (संभवतः केवल अप्रत्यक्ष रूप से)। वास्तविक संख्याओं के अतिरिक्त, इसके लिए सामान्यतः सदिश  निरूपण के सम्मिश्रता का उपयोग करने की आवश्यकता होती है। इस कारण से, पहले सम्मिश्र संख्याओं पर स्पिन  निरूपण को परिभाषित करना और [[वास्तविक संरचना]]ओं को प्रस्तुत करके [[वास्तविक प्रतिनिधित्व|वास्तविक]]  निरूपण प्राप्त करना सुविधाजनक है।
इस प्रकार स्पिन  निरूपण का निर्माण विभिन्न विधियों से किया जा सकता है, किन्तु सामान्यतः निर्माण में समूह के सदिश  निरूपण में अधिकतम आइसोट्रोपिक उप-समष्टि का विकल्प सम्मिलित होता है (संभवतः केवल अप्रत्यक्ष रूप से)। इस प्रकार वास्तविक संख्याओं के अतिरिक्त, इसके लिए सामान्यतः सदिश  निरूपण के सम्मिश्रता का उपयोग करने की आवश्यकता होती है। इस कारण से, पहले सम्मिश्र संख्याओं पर स्पिन  निरूपण को परिभाषित करना और [[वास्तविक संरचना]]ओं को प्रस्तुत करके [[वास्तविक प्रतिनिधित्व|वास्तविक]]  निरूपण प्राप्त करना सुविधाजनक है।


स्पिन  निरूपण के गुण, सूक्ष्म विधि से, ऑर्थोगोनल समूह के आयाम और हस्ताक्षर पर निर्भर करते हैं। विशेष रूप से, स्पिन  निरूपण अधिकांशतः [[अपरिवर्तनीय (गणित)]] [[द्विरेखीय रूप]] को स्वीकार करते हैं, जिनका उपयोग स्पिन समूहों को [[शास्त्रीय झूठ समूह|क्लासिकल लाई समूह]] में m्बेड करने के लिए किया जा सकता है। निम्न आयामों में, यह [[एम्बेडिंग|m्बेडिंग]] [[विशेषण]] होते हैं और स्पिन समूहों और अधिक परिचित लाई समूहों के मध्य विशेष समरूपता निर्धारित करते हैं; यह इन आयामों में स्पिनरों के गुणों को स्पष्ट करता है।
इस प्रकार स्पिन  निरूपण के गुण, सूक्ष्म विधि से, ऑर्थोगोनल समूह के आयाम और हस्ताक्षर पर निर्भर करते हैं। विशेष रूप से, स्पिन  निरूपण अधिकांशतः [[अपरिवर्तनीय (गणित)]] [[द्विरेखीय रूप]] को स्वीकार करते हैं, जिनका उपयोग स्पिन समूहों को [[शास्त्रीय झूठ समूह|क्लासिकल लाई समूह]] में एम्बेड करने के लिए किया जा सकता है। निम्न आयामों में, यह एम्बेडिंग [[विशेषण]] होते हैं और स्पिन समूहों और अधिक परिचित लाई समूहों के मध्य विशेष समरूपता निर्धारित करते हैं; यह इन आयामों में स्पिनरों के गुणों को स्पष्ट करता है।


==सेट-अप==
==सेट-अप==


मान लीजिए कि {{math|''V''}} एक परिमित आयामी वास्तविक या सम्मिश्र सदिश समष्टि है जिसका गैर अपक्षयी द्विघात रूप {{math|''Q''}} है। इस प्रकार {{math|''Q''}} को संरक्षित करने वाले (वास्तविक या सम्मिश्र) रैखिक मानचित्र ओर्थोगोनल समूह {{math|O(''V'', ''Q'')}} बनाते हैं। समूह के पहचान घटक को विशेष ऑर्थोगोनल समूह {{math|SO(''V'', ''Q'')}} कहा जाता है। (अनिश्चित द्विघात रूप के साथ {{math|''V''}} वास्तविक के लिए, यह शब्दावली मानक नहीं है: विशेष ऑर्थोगोनल समूह को सामान्यतः इस स्थिति में दो घटकों के साथ एक उपसमूह के रूप में परिभाषित किया जाता है।) समूह समरूपता तक, {{math|SO(''V'', ''Q'')}} में एक अद्वितीय जुड़ा हुआ है स्पिन समूह {{math|Spin(''V'', ''Q'')}} को दोहरा आवरण करें। इस प्रकार एक समूह समरूपता {{math|''h'': Spin(''V'', ''Q'') → SO(''V'', ''Q'')}} है  जिसके कर्नेल में दो घटक {{math|<nowiki>{1, −1}</nowiki>}} दर्शाए गए हैं, जहां {{math|1}} पहचान घटक है। इस प्रकार, {{math|Spin(''V'', ''Q'')}} के समूह घटक {{math|''g''}} और {{math|''−g''}}, {{math|SO(''V'', ''Q'')}} की समरूपता के पश्चात् समतुल्य हैं; अर्थात, {{math|Spin(''V'', ''Q'')}} में किसी भी {{math|''g''}} के लिए {{math|1=''h''(''g'') = ''h''(''−g'')}} उपयोग किया जाता है।
मान लीजिए कि {{math|''V''}} एक परिमित आयामी वास्तविक या सम्मिश्र सदिश समष्टि है जिसका गैर अपक्षयी द्विघात रूप {{math|''Q''}} है। इस प्रकार {{math|''Q''}} को संरक्षित करने वाले (वास्तविक या सम्मिश्र) रैखिक मानचित्र ओर्थोगोनल समूह {{math|O(''V'', ''Q'')}} बनाते हैं। इस प्रकार समूह के पहचान घटक को विशेष ऑर्थोगोनल समूह {{math|SO(''V'', ''Q'')}} कहा जाता है। (अनिश्चित द्विघात रूप के साथ {{math|''V''}} वास्तविक के लिए, यह शब्दावली मानक नहीं है: विशेष ऑर्थोगोनल समूह को सामान्यतः इस स्थिति में दो घटकों के साथ एक उपसमूह के रूप में परिभाषित किया जाता है।) समूह समरूपता तक, {{math|SO(''V'', ''Q'')}} में एक अद्वितीय जुड़ा हुआ है स्पिन समूह {{math|Spin(''V'', ''Q'')}} को दोहरा आवरण करें। इस प्रकार एक समूह समरूपता {{math|''h'': Spin(''V'', ''Q'') → SO(''V'', ''Q'')}} है  जिसके कर्नेल में दो घटक {{math|<nowiki>{1, −1}</nowiki>}} दर्शाए गए हैं, जहां {{math|1}} पहचान घटक है। इस प्रकार, {{math|Spin(''V'', ''Q'')}} के समूह घटक {{math|''g''}} और {{math|''−g''}}, {{math|SO(''V'', ''Q'')}} की समरूपता के पश्चात् समतुल्य हैं; अर्थात, {{math|Spin(''V'', ''Q'')}} में किसी भी {{math|''g''}} के लिए {{math|1=''h''(''g'') = ''h''(''−g'')}} उपयोग किया जाता है।


समूह {{math|O(''V'', ''Q''), SO(''V'', ''Q'')}} और {{math|Spin(''V'', ''Q'')}} सभी लाई समूह हैं और निश्चित {{math|(''V'', ''Q'')}} के लिए उनके निकट समान लाई बीजगणित है, इसलिए {{math|'''so'''(''V'', ''Q'')}} यदि {{math|''V''}} वास्तविक है तो {{math|''V''}} इसकी सम्मिश्रता {{math|''V''<sub>'''C'''</sub> {{=}} ''V'' ⊗<sub>'''R'''</sub> '''C'''}} का एक वास्तविक सदिश उपसमष्टि है और द्विघात रूप {{math|''Q''}} स्वाभाविक रूप से {{math|''V''<sub>'''C'''</sub>}} पर द्विघात रूप {{math|''Q''<sub>'''C'''</sub>}} तक विस्तारित होता है। यह {{math|SO(''V'', ''Q'')}} को {{math|SO(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} के उपसमूह के रूप में m्बेड करता है और इसलिए हम {{math|Spin(''V'', ''Q'')}} को {{math|Spin(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} के उपसमूह के रूप में अनुभव कर सकते हैं। इसके अतिरिक्त {{math|'''so'''(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} {{math|'''so'''(''V'', ''Q'')}} का सम्मिश्रता है।
इस प्रकार समूह {{math|O(''V'', ''Q''), SO(''V'', ''Q'')}} और {{math|Spin(''V'', ''Q'')}} सभी लाई समूह हैं और निश्चित {{math|(''V'', ''Q'')}} के लिए उनके निकट समान लाई बीजगणित है, इसलिए {{math|'''so'''(''V'', ''Q'')}} यदि {{math|''V''}} वास्तविक है तो {{math|''V''}} इसकी सम्मिश्रता {{math|''V''<sub>'''C'''</sub> {{=}} ''V'' ⊗<sub>'''R'''</sub> '''C'''}} का एक वास्तविक सदिश उपसमष्टि है और द्विघात रूप {{math|''Q''}} स्वाभाविक रूप से {{math|''V''<sub>'''C'''</sub>}} पर द्विघात रूप {{math|''Q''<sub>'''C'''</sub>}} तक विस्तारित होता है। यह {{math|SO(''V'', ''Q'')}} को {{math|SO(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} के उपसमूह के रूप में m्बेड करता है और इसलिए हम {{math|Spin(''V'', ''Q'')}} को {{math|Spin(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} के उपसमूह के रूप में अनुभव कर सकते हैं। इसके अतिरिक्त {{math|'''so'''(''V''<sub>'''C'''</sub>, ''Q''<sub>'''C'''</sub>)}} {{math|'''so'''(''V'', ''Q'')}} का सम्मिश्रता है।


सम्मिश्र स्थिति में द्विघात रूपों को {{math|''V''}} के आयाम {{math|''n''}} द्वारा समरूपता तक विशिष्ट रूप से निर्धारित किया जाता है। सामान्यतः, हम {{math|''V'' {{=}} '''C'''<sup>''n''</sup>}} मान सकते हैं और
इस प्रकार सम्मिश्र स्थिति में द्विघात रूपों को {{math|''V''}} के आयाम {{math|''n''}} द्वारा समरूपता तक विशिष्ट रूप से निर्धारित किया जाता है। सामान्यतः, हम {{math|''V'' {{=}} '''C'''<sup>''n''</sup>}} मान सकते हैं और
:<math>Q(z_1,\ldots, z_n) = z_1^2+ z_2^2+\cdots+z_n^2.</math>
:<math>Q(z_1,\ldots, z_n) = z_1^2+ z_2^2+\cdots+z_n^2.</math>
संबंधित लाई समूहों {{math|O(''n'', '''C'''), SO(''n'', '''C'''), Spin(''n'', '''C''')}}  और उनके लाई बीजगणित {{math|'''so'''(''n'', '''C''')}} के रूप में दर्शाया गया है .
इस प्रकार संबंधित लाई समूहों {{math|O(''n'', '''C'''), SO(''n'', '''C'''), Spin(''n'', '''C''')}}  और उनके लाई बीजगणित {{math|'''so'''(''n'', '''C''')}} के रूप में दर्शाया गया है .


 
इस प्रकार वास्तविक स्थिति में द्विघात रूपों को गैर-ऋणात्मक पूर्णांकों {{math|(''p'', ''q'')}} की एक जोड़ी द्वारा समरूपता तक निर्धारित किया जाता है, जहां {{math|''n'' {{=}} ''p'' + ''q''}} {{math|''V''}} का आयाम है और {{math|''p'' − ''q''}} हस्ताक्षर है। सामान्यतः, हम {{math|''V'' {{=}} '''R'''<sup>''n''</sup>}} और मान सकते हैं
वास्तविक स्थिति में द्विघात रूपों को गैर-ऋणात्मक पूर्णांकों {{math|(''p'', ''q'')}} की एक जोड़ी द्वारा समरूपता तक निर्धारित किया जाता है, जहां {{math|''n'' {{=}} ''p'' + ''q''}} {{math|''V''}} का आयाम है और {{math|''p'' − ''q''}} हस्ताक्षर है। सामान्यतः, हम {{math|''V'' {{=}} '''R'''<sup>''n''</sup>}} और मान सकते हैं
:<math>Q(x_1,\ldots, x_n) = x_1^2+ x_2^2+\cdots+x_p^2-(x_{p+1}^2+\cdots +x_{p+q}^2).</math>
:<math>Q(x_1,\ldots, x_n) = x_1^2+ x_2^2+\cdots+x_p^2-(x_{p+1}^2+\cdots +x_{p+q}^2).</math>
संगत लाई समूह और लाई बीजगणित को  {{math|O(''p'', ''q''), SO(''p'', ''q''), Spin(''p'', ''q'')}} और {{math|'''so'''(''p'', ''q'')}} से दर्शाया जाता है। हम हस्ताक्षर को स्पष्ट करने के लिए {{math|'''R'''<sup>''n''</sup>}} के समष्टि पर {{math|'''R'''<sup>''p'',''q''</sup>}} लिखते हैं।
इस प्रकार संगत लाई समूह और लाई बीजगणित को  {{math|O(''p'', ''q''), SO(''p'', ''q''), Spin(''p'', ''q'')}} और {{math|'''so'''(''p'', ''q'')}} से दर्शाया जाता है। हम हस्ताक्षर को स्पष्ट करने के लिए {{math|'''R'''<sup>''n''</sup>}} के समष्टि पर {{math|'''R'''<sup>''p'',''q''</sup>}} लिखते हैं।


स्पिन निरूपण एक अर्थ में  {{math|Spin(''n'', '''C''')}} और {{math|Spin(''p'', ''q'')}} का सबसे सरल निरूपण है जो  {{math|SO(''n'', '''C''')}} और {{math|SO(''p'', ''q'')}} के निरूपण से नहीं आता है। एक स्पिन निरूपण, इसलिए, एक वास्तविक या सम्मिश्र सदिश समष्टि {{math|''S''}} है, जिसमें {{math|Spin(''n'', '''C''')}} या {{math|Spin(''p'', ''q'')}} से सामान्य रैखिक समूह {{math|GL(''S'')}} तक एक समूह समरूपता {{math|''ρ''}} सम्मिलित है, जैसे कि घटक {{math|−1}} नहीं है
इस प्रकार स्पिन निरूपण एक अर्थ में  {{math|Spin(''n'', '''C''')}} और {{math|Spin(''p'', ''q'')}} का सबसे सरल निरूपण है जो  {{math|SO(''n'', '''C''')}} और {{math|SO(''p'', ''q'')}} के निरूपण से नहीं आता है। एक स्पिन निरूपण, इसलिए, एक वास्तविक या सम्मिश्र सदिश समष्टि {{math|''S''}} है, जिसमें {{math|Spin(''n'', '''C''')}} या {{math|Spin(''p'', ''q'')}} से सामान्य रैखिक समूह {{math|GL(''S'')}} तक एक समूह समरूपता {{math|''ρ''}} सम्मिलित है, जैसे कि घटक {{math|−1}} नहीं है


यदि {{math|''S''}} एक ऐसा निरूपण है तो लाई समूहों और लाई बीजगणित के मध्य संबंध के अनुसार, यह एक लाई बीजगणित निरूपण को प्रेरित करता है अर्थात {{math|'''so'''(''n'', ''C'')}} या {{math|'''so'''(''p'', ''q'')}} से लाई बीजगणित {{math|'''gl'''(''S'')}} तक एक लाई बीजगणित समरूपता कम्यूटेटर ब्रैकेट के साथ {{math|''S''}} के एंडोमोर्फिज्म का उपयोग किया जाता है।
यदि {{math|''S''}} एक ऐसा निरूपण है तो लाई समूहों और लाई बीजगणित के मध्य संबंध के अनुसार, यह एक लाई बीजगणित निरूपण को प्रेरित करता है अर्थात {{math|'''so'''(''n'', ''C'')}} या {{math|'''so'''(''p'', ''q'')}} से लाई बीजगणित {{math|'''gl'''(''S'')}} तक एक लाई बीजगणित समरूपता कम्यूटेटर ब्रैकेट के साथ {{math|''S''}} के एंडोमोर्फिज्म का उपयोग किया जाता है।


स्पिन निरूपण का विश्लेषण निम्नलिखित रणनीति के अनुसार किया जा सकता है यदि {{math|''S''}} {{math|Spin(''p'', ''q'')}} का एक वास्तविक स्पिन निरूपण है तो इसका सम्मिश्रता {{math|Spin(''p'', ''q'')}} का एक सम्मिश्र स्पिन निरूपण है जो {{math|'''so'''(''p'', ''q'')}} के निरूपण के रूप में है। इसलिए {{math|'''so'''(''n'', '''C''')}} के सम्मिश्र निरूपण तक विस्तारित है। इसलिए विपरीत दिशा में आगे बढ़ते हुए हम पहले {{math|Spin(''n'', '''C''')}} और {{math|'''so'''(''n'', '''C''')}} के सम्मिश्र स्पिन निरूपण का निर्माण करते हैं, फिर उन्हें {{math|'''so'''(''p'', ''q'')}} और {{math|Spin(''p'', ''q'')}} के सम्मिश्र स्पिन निरूपण तक सीमित करते हैं, फिर अंत में संभावित कमी का विश्लेषण करते हैं।  
इस प्रकार स्पिन निरूपण का विश्लेषण निम्नलिखित रणनीति के अनुसार किया जा सकता है यदि {{math|''S''}} {{math|Spin(''p'', ''q'')}} का एक वास्तविक स्पिन निरूपण है तो इसका सम्मिश्रता {{math|Spin(''p'', ''q'')}} का एक सम्मिश्र स्पिन निरूपण है जो {{math|'''so'''(''p'', ''q'')}} के निरूपण के रूप में है। इसलिए {{math|'''so'''(''n'', '''C''')}} के सम्मिश्र निरूपण तक विस्तारित है। इसलिए विपरीत दिशा में आगे बढ़ते हुए हम पहले {{math|Spin(''n'', '''C''')}} और {{math|'''so'''(''n'', '''C''')}} के सम्मिश्र स्पिन निरूपण का निर्माण करते हैं, फिर उन्हें {{math|'''so'''(''p'', ''q'')}} और {{math|Spin(''p'', ''q'')}} के सम्मिश्र स्पिन निरूपण तक सीमित करते हैं, फिर अंत में संभावित कमी का विश्लेषण करते हैं।  


==सम्मिश्र स्पिन  निरूपण==
==सम्मिश्र स्पिन  निरूपण==
Line 33: Line 32:
मान लीजिए कि मानक द्विघात रूप {{math|''Q''}} के साथ {{math|1=''V'' = '''C'''<sup>''n''</sup>}} है
मान लीजिए कि मानक द्विघात रूप {{math|''Q''}} के साथ {{math|1=''V'' = '''C'''<sup>''n''</sup>}} है
:<math>\mathfrak{so}(V,Q) = \mathfrak{so}(n,\mathbb C).</math>
:<math>\mathfrak{so}(V,Q) = \mathfrak{so}(n,\mathbb C).</math>
ध्रुवीकरण द्वारा {{math|''Q''}} से जुड़े {{math|''V''}} पर सममित द्विरेखीय रूप को {{math|{{langle}}.,.{{rangle}}}} दर्शाया जाता है।
इस प्रकार ध्रुवीकरण द्वारा {{math|''Q''}} से जुड़े {{math|''V''}} पर सममित द्विरेखीय रूप को {{math|{{langle}}.,.{{rangle}}}} दर्शाया जाता है।


===आइसोट्रोपिक उपसमष्टि और मूल प्रक्रिया सिस्टम===
===आइसोट्रोपिक उपसमष्टि और मूल प्रक्रिया सिस्टम===


{{math|'''so'''(''n'', '''C''')}} के स्पिन निरूपण का एक मानक निर्माण {{math|''W'' ∩ ''W''<sup>∗</sup> {{=}} 0}} के साथ {{math|''V''}} के अधिकतम पूर्णतया आइसोट्रोपिक उप-समष्टि ({{math|''Q''}} के संबंध में) की एक जोड़ी {{math|(''W'', ''W''<sup>∗</sup>)}} की पसंद से प्रारंभ होता है। आइए हम ऐसा चयन करे. यदि {{math|''n'' {{=}} 2''m''}} या {{math|''n'' {{=}} 2''m'' + 1}}, तो {{math|''W''}} और {{math|''W''<sup>∗</sup>}} दोनों का आयाम {{math|''m''}} है। यदि {{math|''n'' {{=}} 2''m''}}, तो {{math|''V'' {{=}} ''W'' ⊕ ''W''<sup>∗</sup>}}, जबकि यदि {{math|''n'' {{=}} 2''m'' + 1}}, तो {{math|''V'' {{=}} ''W'' ⊕ ''U'' ⊕ ''W''<sup>∗</sup>}}, जहां {{math|''U''}}, {{math|''W'' ⊕ ''W''<sup>∗</sup>}} का 1-आयामी ऑर्थोगोनल पूरक है। {{math|''Q''}} से जुड़ा द्विरेखीय रूप {{math|{{langle}}.,.{{rangle}}}}  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} के मध्य एक युग्मन उत्पन्न करता है, जो अविघटित होना चाहिए क्योंकि  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} पूरी तरह से आइसोट्रोपिक उपसमष्टि हैं और {{math|''Q''}} अविघटित है। इसलिए  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} दोहरे सदिश समष्टि हैं।
इस प्रकार {{math|'''so'''(''n'', '''C''')}} के स्पिन निरूपण का एक मानक निर्माण {{math|''W'' ∩ ''W''<sup>∗</sup> {{=}} 0}} के साथ {{math|''V''}} के अधिकतम पूर्णतया आइसोट्रोपिक उप-समष्टि ({{math|''Q''}} के संबंध में) की एक जोड़ी {{math|(''W'', ''W''<sup>∗</sup>)}} की पसंद से प्रारंभ होता है। आइए हम ऐसा चयन करे. यदि {{math|''n'' {{=}} 2''m''}} या {{math|''n'' {{=}} 2''m'' + 1}}, तो {{math|''W''}} और {{math|''W''<sup>∗</sup>}} दोनों का आयाम {{math|''m''}} है। यदि {{math|''n'' {{=}} 2''m''}}, तो {{math|''V'' {{=}} ''W'' ⊕ ''W''<sup>∗</sup>}}, जबकि यदि {{math|''n'' {{=}} 2''m'' + 1}}, तो {{math|''V'' {{=}} ''W'' ⊕ ''U'' ⊕ ''W''<sup>∗</sup>}}, जहां {{math|''U''}}, {{math|''W'' ⊕ ''W''<sup>∗</sup>}} का 1-आयामी ऑर्थोगोनल पूरक है। इस प्रकार {{math|''Q''}} से जुड़ा द्विरेखीय रूप {{math|{{langle}}.,.{{rangle}}}}  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} के मध्य एक युग्मन उत्पन्न करता है, जो अविघटित होना चाहिए क्योंकि  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} पूरी तरह से आइसोट्रोपिक उपसमष्टि हैं और {{math|''Q''}} अविघटित है। इसलिए  {{math|''W''}} और {{math|''W''<sup>∗</sup>}} दोहरे सदिश समष्टि हैं।


अधिक स्पष्ट रूप से मान लीजिए कि {{math|''a''<sub>1</sub>, &hellip; ''a''<sub>''m''</sub>}}, {{math|''W''}} के लिए एक आधार है। फिर {{math|''W''<sup>∗</sup>}} का एक अद्वितीय आधार {{math|''&alpha;''<sub>1</sub>, ... ''&alpha;''<sub>''m''</sub>}} है, जैसे कि
अधिक स्पष्ट रूप से मान लीजिए कि {{math|''a''<sub>1</sub>, &hellip; ''a''<sub>''m''</sub>}}, {{math|''W''}} के लिए एक आधार है। फिर {{math|''W''<sup>∗</sup>}} का एक अद्वितीय आधार {{math|''&alpha;''<sub>1</sub>, ... ''&alpha;''<sub>''m''</sub>}} है, जैसे कि
Line 43: Line 42:
यदि {{math|''A''}} एक {{math|''m'' &times; ''m''}} आव्यूह है तो {{math|''A''}} इस आधार के संबंध में {{math|''W''}} के एक एंडोमोर्फिज्म को प्रेरित करता है और {{math|''A''<sup>T</sup>}} का समष्टिांतरण {{math|''W''<sup>∗</sup>}} के परिवर्तन को प्रेरित करता है
यदि {{math|''A''}} एक {{math|''m'' &times; ''m''}} आव्यूह है तो {{math|''A''}} इस आधार के संबंध में {{math|''W''}} के एक एंडोमोर्फिज्म को प्रेरित करता है और {{math|''A''<sup>T</sup>}} का समष्टिांतरण {{math|''W''<sup>∗</sup>}} के परिवर्तन को प्रेरित करता है
:<math> \langle Aw, w^* \rangle = \langle w,A^\mathrm{T} w^*\rangle</math>
:<math> \langle Aw, w^* \rangle = \langle w,A^\mathrm{T} w^*\rangle</math>
{{math|''W''}} में सभी {{math|''w''}} और  {{math|''w''<sup>∗</sup>}} में {{math|''W''<sup>∗</sup>}} के लिए। यह इस प्रकार है कि {{math|''V''}} का एंडोमोर्फिज्म {{math|''&rho;''<sub>''A''</sub>}}, {{math|''W''}} पर {{math|''A''}} के बराबर, W∗ पर {{math|&minus;''A''<sup>T</sup>}} और {{math|''U''}} पर शून्य (यदि {{math|''n''}} विषम है) विषम है
इस प्रकार {{math|''W''}} में सभी {{math|''w''}} और  {{math|''w''<sup>∗</sup>}} में {{math|''W''<sup>∗</sup>}} के लिए। यह इस प्रकार है कि {{math|''V''}} का एंडोमोर्फिज्म {{math|''&rho;''<sub>''A''</sub>}}, {{math|''W''}} पर {{math|''A''}} के बराबर, W∗ पर {{math|&minus;''A''<sup>T</sup>}} और {{math|''U''}} पर शून्य (यदि {{math|''n''}} विषम है) विषम है
:<math> \langle  \rho_A u, v \rangle = -\langle u,\rho_A v\rangle</math>
:<math> \langle  \rho_A u, v \rangle = -\langle u,\rho_A v\rangle</math>
सभी {{math|''u'', ''v''}} में {{math|''V''}} के लिए, और इसलिए (मौलिक समूह देखें) {{math|'''so'''(''n'', '''C''') ⊂ End(''V'')}} का एक घटक है
सभी {{math|''u'', ''v''}} में {{math|''V''}} के लिए, और इसलिए (मौलिक समूह देखें) {{math|'''so'''(''n'', '''C''') ⊂ End(''V'')}} का एक घटक है
Line 66: Line 65:
यदि {{math|''n'' {{=}} 2''m'' + 1}} अद्वितीय है।
यदि {{math|''n'' {{=}} 2''m'' + 1}} अद्वितीय है।


धनात्मक [[सकारात्मक जड़|मूल प्रक्रिया]] की एक प्रणाली {{math|''ε''<sub>''i''</sub> + ''ε''<sub>''j''</sub> (''i'' ≠ ''j''), ''ε''<sub>''i''</sub> &minus; ''ε''<sub>''j''</sub> (''i'' < ''j'')}} और ({{math|''n''}} विषम के लिए) {{math|''ε''<sub>''i''</sub>}} द्वारा दी गई है। संबंधित सरल मूल प्रक्रिया हैं
इस प्रकार धनात्मक [[सकारात्मक जड़|मूल प्रक्रिया]] की एक प्रणाली {{math|''ε''<sub>''i''</sub> + ''ε''<sub>''j''</sub> (''i'' ≠ ''j''), ''ε''<sub>''i''</sub> &minus; ''ε''<sub>''j''</sub> (''i'' < ''j'')}} और ({{math|''n''}} विषम के लिए) {{math|''ε''<sub>''i''</sub>}} द्वारा दी गई है। संबंधित सरल मूल प्रक्रिया हैं
:<math>\varepsilon_1-\varepsilon_2, \varepsilon_2-\varepsilon_3, \ldots, \varepsilon_{m-1}-\varepsilon_m, \left\{\begin{matrix}
:<math>\varepsilon_1-\varepsilon_2, \varepsilon_2-\varepsilon_3, \ldots, \varepsilon_{m-1}-\varepsilon_m, \left\{\begin{matrix}
\varepsilon_{m-1}+\varepsilon_m& n=2m\\
\varepsilon_{m-1}+\varepsilon_m& n=2m\\
Line 75: Line 74:
===स्पिन  निरूपण और उनका भार===
===स्पिन  निरूपण और उनका भार===


{{math|'''so'''(''n'', '''C''')}} के स्पिन निरूपण का एक निर्माण बाहरी बीजगणित का उपयोग करता है
इस प्रकार {{math|'''so'''(''n'', '''C''')}} के स्पिन निरूपण का एक निर्माण बाहरी बीजगणित का उपयोग करता है
:<math>S=\wedge^\bullet W</math> और/या <math>S'=\wedge^\bullet W^*.</math>
:<math>S=\wedge^\bullet W</math> और/या <math>S'=\wedge^\bullet W^*.</math>
{{math|''S''}} पर {{math|''V''}} की एक क्रिया इस प्रकार है कि {{math|''W'' ⊕ ''W''<sup>∗</sup>}} में किसी भी घटक {{math|1=''v'' = ''w'' + ''w''<sup>∗</sup>}} और {{math|''S''}} में किसी भी {{math|''&psi;''}} के लिए क्रिया इस प्रकार दी गई है:
इस प्रकार {{math|''S''}} पर {{math|''V''}} की एक क्रिया इस प्रकार है कि {{math|''W'' ⊕ ''W''<sup>∗</sup>}} में किसी भी घटक {{math|1=''v'' = ''w'' + ''w''<sup>∗</sup>}} और {{math|''S''}} में किसी भी {{math|''&psi;''}} के लिए क्रिया इस प्रकार दी गई है:
:<math>  v\cdot \psi = 2^{\frac{1}{2}}(w\wedge\psi+\iota(w^*)\psi), </math>
:<math>  v\cdot \psi = 2^{\frac{1}{2}}(w\wedge\psi+\iota(w^*)\psi), </math>
जहां दूसरा पद एक संकुचन (आंतरिक गुणन) है जिसे द्विरेखीय रूप का उपयोग करके परिभाषित किया गया है, जो {{math|''W''}} और {{math|''W''<sup>∗</sup>}} को जोड़ता है। यह क्रिया क्लिफोर्ड संबंधों {{math|1=''v''<sup>2</sup> = ''Q''(''v'')'''1'''}} का सम्मान करती है और इसलिए {{math|''V''}} के क्लिफोर्ड बीजगणित {{math|Cl<sub>''n''</sub>'''C'''}} से {{math|End(''S'')}} तक एक समरूपता उत्पन्न करती है। एक समान क्रिया को {{math|''S''&prime;}} पर परिभाषित किया जा सकता है ताकि  {{math|''S''}} और {{math|''S''&prime;}}' दोनों क्लिफोर्ड मॉड्यूल हों।
जहां दूसरा पद एक संकुचन (आंतरिक गुणन) है जिसे द्विरेखीय रूप का उपयोग करके परिभाषित किया गया है, जो {{math|''W''}} और {{math|''W''<sup>∗</sup>}} को जोड़ता है। यह क्रिया क्लिफोर्ड संबंधों {{math|1=''v''<sup>2</sup> = ''Q''(''v'')'''1'''}} का सम्मान करती है और इसलिए {{math|''V''}} के क्लिफोर्ड बीजगणित {{math|Cl<sub>''n''</sub>'''C'''}} से {{math|End(''S'')}} तक एक समरूपता उत्पन्न करती है। एक समान क्रिया को {{math|''S''&prime;}} पर परिभाषित किया जा सकता है ताकि  {{math|''S''}} और {{math|''S''&prime;}}' दोनों क्लिफोर्ड मॉड्यूल हों।
Line 88: Line 87:
:<math> (\alpha_i\wedge a_i) \cdot \psi = \tfrac14 (2^{\tfrac12})^{2} ( \iota(\alpha_i)(a_i\wedge\psi)-a_i\wedge(\iota(\alpha_i)\psi))
:<math> (\alpha_i\wedge a_i) \cdot \psi = \tfrac14 (2^{\tfrac12})^{2} ( \iota(\alpha_i)(a_i\wedge\psi)-a_i\wedge(\iota(\alpha_i)\psi))
= \tfrac12 \psi - a_i\wedge(\iota(\alpha_i)\psi).</math>
= \tfrac12 \psi - a_i\wedge(\iota(\alpha_i)\psi).</math>
{{math|''S''}} के लिए आधार रूप के घटको द्वारा दिया गया है
इस प्रकार {{math|''S''}} के लिए आधार रूप के घटको द्वारा दिया गया है
:<math> a_{i_1}\wedge a_{i_2}\wedge\cdots\wedge a_{i_k}</math>
:<math> a_{i_1}\wedge a_{i_2}\wedge\cdots\wedge a_{i_k}</math>
{{math|0 ≤ ''k'' ≤ ''m''}} और {{math|''i''<sub>1</sub> < ... < ''i''<sub>''k''</sub>}} के लिए ये स्पष्ट रूप से {{math|'''h'''}} {{math|''&alpha;''<sub>''i''</sub> ∧ ''a''<sub>''i''</sub>}} की क्रिया के लिए भार रिक्त समष्टि का विस्तार करते हैं, दिए गए आधार सदिश पर इगेनवैल्यू -{{math|1/2}} है यदि {{math|1=''i'' = ''i''<sub>''j''</sub>}} कुछ {{math|''j''}} के लिए है और इगेनवैल्यू {{math|1/2}} है
इस प्रकार {{math|0 ≤ ''k'' ≤ ''m''}} और {{math|''i''<sub>1</sub> < ... < ''i''<sub>''k''</sub>}} के लिए ये स्पष्ट रूप से {{math|'''h'''}} {{math|''&alpha;''<sub>''i''</sub> ∧ ''a''<sub>''i''</sub>}} की क्रिया के लिए भार रिक्त समष्टि का विस्तार करते हैं, दिए गए आधार सदिश पर इगेनवैल्यू -{{math|1/2}} है यदि {{math|1=''i'' = ''i''<sub>''j''</sub>}} कुछ {{math|''j''}} के लिए है और इगेनवैल्यू {{math|1/2}} है


यह इस प्रकार है कि [[वजन (प्रतिनिधित्व सिद्धांत)|भार ( निरूपण सिद्धांत)]] का {{math|''S''}} के सभी संभावित संयोजन हैं
यह इस प्रकार है कि [[वजन (प्रतिनिधित्व सिद्धांत)|भार ( निरूपण सिद्धांत)]] का {{math|''S''}} के सभी संभावित संयोजन हैं
Line 98: Line 97:
जब {{math|''n''}} सम है, तो {{math|''S''}} एक अप्रासंगिक निरूपण नहीं है इस प्रकार <math>S_+=\wedge^{\mathrm{even}} W</math> और <math>S_-=\wedge^{\mathrm{odd}} W</math>  अपरिवर्तनीय उप-समष्टि हैं। भार को सम संख्या में ऋण चिह्न वाले और विषम संख्या में ऋण चिह्न वाले में विभाजित किया जाता है। S+ और S− दोनों आयाम 2m−1 के अपरिवर्तनीय निरूपण हैं जिनके घटकों को वेइल स्पिनर कहा जाता है। उन्हें चिरल स्पिन निरूपण या अर्ध-स्पिन निरूपण के रूप में भी जाना जाता है। उपरोक्त धनात्मक मूल प्रणाली के संबंध में, S+ और S− का भार सबसे अधिक है
जब {{math|''n''}} सम है, तो {{math|''S''}} एक अप्रासंगिक निरूपण नहीं है इस प्रकार <math>S_+=\wedge^{\mathrm{even}} W</math> और <math>S_-=\wedge^{\mathrm{odd}} W</math>  अपरिवर्तनीय उप-समष्टि हैं। भार को सम संख्या में ऋण चिह्न वाले और विषम संख्या में ऋण चिह्न वाले में विभाजित किया जाता है। S+ और S− दोनों आयाम 2m−1 के अपरिवर्तनीय निरूपण हैं जिनके घटकों को वेइल स्पिनर कहा जाता है। उन्हें चिरल स्पिन निरूपण या अर्ध-स्पिन निरूपण के रूप में भी जाना जाता है। उपरोक्त धनात्मक मूल प्रणाली के संबंध में, S+ और S− का भार सबसे अधिक है
:<math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, \tfrac12\bigr)</math> और <math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, -\tfrac12\bigr)</math>
:<math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, \tfrac12\bigr)</math> और <math>\bigl(\tfrac12,\tfrac12, \ldots\tfrac12, -\tfrac12\bigr)</math>
क्रमशः क्लिफ़ोर्ड क्रिया Cl<sub>''n''</sub>'''C''' को End(''S'') के साथ पहचानती है और सम उपबीजगणित को ''S''<sub>+</sub> और ''S''<sub>−</sub> को संरक्षित करने वाले एंडोमोर्फिज्म के साथ पहचाना जाता है। इस स्थिति में अन्य क्लिफोर्ड मॉड्यूल S', S के समरूपी है।
इस प्रकार क्रमशः क्लिफ़ोर्ड क्रिया Cl<sub>''n''</sub>'''C''' को End(''S'') के साथ पहचानती है और सम उपबीजगणित को ''S''<sub>+</sub> और ''S''<sub>−</sub> को संरक्षित करने वाले एंडोमोर्फिज्म के साथ पहचाना जाता है। इस स्थिति में अन्य क्लिफोर्ड मॉड्यूल S', S के समरूपी है।


जब n विषम है, तो S आयाम 2<sup>m</sup> के so(n,C) का एक अघुलनशील प्रतिनिधित्व है, एक इकाई सदिश u ∈ U की क्लिफोर्ड क्रिया द्वारा दी गई है
जब n विषम है, तो S आयाम 2<sup>m</sup> के so(n,C) का एक अघुलनशील प्रतिनिधित्व है, एक इकाई सदिश u ∈ U की क्लिफोर्ड क्रिया द्वारा दी गई है
Line 108: Line 107:
:<math>\bigl(\tfrac12,\tfrac12, \ldots \tfrac12\bigr).</math>
:<math>\bigl(\tfrac12,\tfrac12, \ldots \tfrac12\bigr).</math>


 
इस प्रकार क्लिफोर्ड की कार्रवाई S पर विश्वसनीय नहीं है Cl<sub>''n''</sub>'''C''' को End(''S'') ⊕ End(''S''′) के साथ पहचाना जा सकता है, जहां ''u'' ''S'' ′ पर विपरीत चिह्न के साथ कार्य करता है। अधिक स्पष्ट रूप से दोनों निरूपण Cl<sub>''n''</sub>'''C''' (जिसे प्रमुख ऑटोमोर्फिज्म के रूप में भी जाना जाता है) के समता समावेशन α से संबंधित हैं, जो कि सम उपबीजगणित पर पहचान है और Cl<sub>''n''</sub>'''C''' के विषम भाग पर पहचान घटा है। दूसरे शब्दों में, S से S' तक एक रैखिक समरूपता है, जो S' पर Cl<sub>''n''</sub>'''C''' में A की क्रिया को S' पर α(A) की क्रिया से पहचानती है।
क्लिफोर्ड की कार्रवाई S पर विश्वसनीय नहीं है Cl<sub>''n''</sub>'''C''' को End(''S'') ⊕ End(''S''′) के साथ पहचाना जा सकता है, जहां ''u'' ''S'' ′ पर विपरीत चिह्न के साथ कार्य करता है। अधिक स्पष्ट रूप से दोनों निरूपण Cl<sub>''n''</sub>'''C''' (जिसे प्रमुख ऑटोमोर्फिज्म के रूप में भी जाना जाता है) के समता समावेशन α से संबंधित हैं, जो कि सम उपबीजगणित पर पहचान है और Cl<sub>''n''</sub>'''C''' के विषम भाग पर पहचान घटा है। दूसरे शब्दों में, S से S' तक एक रैखिक समरूपता है, जो S' पर Cl<sub>''n''</sub>'''C''' में A की क्रिया को S' पर α(A) की क्रिया से पहचानती है।


===द्विरेखीय रूप===
===द्विरेखीय रूप===
Line 120: Line 118:
: <math>\beta(\xi\cdot\varphi,\psi) + \beta(\varphi,\xi\cdot\psi) = 0</math>
: <math>\beta(\xi\cdot\varphi,\psi) + \beta(\varphi,\xi\cdot\psi) = 0</math>


 
इस प्रकार so(n,C) में सभी ξ और S में φ ψ के लिए - दूसरे शब्दों में ξ की क्रिया β के संबंध में विषम है। वास्तव में अधिक सही है S∗ विपरीत क्लिफोर्ड बीजगणित का प्रतिनिधित्व करता है और इसलिए चूंकि Cl<sub>''n''</sub>'''C''' में केवल दो गैर-सामान्य सरल मॉड्यूल S और S ′ हैं, जो समता इन्वॉल्यूशन α से संबंधित हैं, Cl<sub>''n''</sub>'''C''' का एक एंटीऑटोमोर्फिज्म τ है जैसे कि
so(n,C) में सभी ξ और S में φ ψ के लिए - दूसरे शब्दों में ξ की क्रिया β के संबंध में विषम है। वास्तव में अधिक सही है S∗ विपरीत क्लिफोर्ड बीजगणित का प्रतिनिधित्व करता है और इसलिए चूंकि Cl<sub>''n''</sub>'''C''' में केवल दो गैर-सामान्य सरल मॉड्यूल S और S ′ हैं, जो समता इन्वॉल्यूशन α से संबंधित हैं, Cl<sub>''n''</sub>'''C''' का एक एंटीऑटोमोर्फिज्म τ है जैसे कि
: <math>\quad\beta(A\cdot\varphi,\psi) = \beta(\varphi,\tau(A)\cdot\psi)\qquad (1)</math>
: <math>\quad\beta(A\cdot\varphi,\psi) = \beta(\varphi,\tau(A)\cdot\psi)\qquad (1)</math>
वास्तव में सीएलएनसी में किसी भी A के लिए τ m सम के लिए प्रत्यावर्तन (V पर पहचान से प्रेरित एंटीऑटोमोर्फिज्म) है और m विषम के लिए संयुग्मन (V पर पहचान को घटाकर प्रेरित एंटीऑटोमोर्फिज्म) है। यह दो एंटीऑटोमोर्फिज्म समता इनवोलुशन α से संबंधित हैं, जो कि V पर पहचान को घटाकर प्रेरित ऑटोमोर्फिज्म है। दोनों so(n,C) में ξ के लिए τ(ξ) = −ξ को संतुष्ट करते हैं।
वास्तव में सीएलएनसी में किसी भी A के लिए τ m सम के लिए प्रत्यावर्तन (V पर पहचान से प्रेरित एंटीऑटोमोर्फिज्म) है और m विषम के लिए संयुग्मन (V पर पहचान को घटाकर प्रेरित एंटीऑटोमोर्फिज्म) है। यह दो एंटीऑटोमोर्फिज्म समता इनवोलुशन α से संबंधित हैं, जो कि V पर पहचान को घटाकर प्रेरित ऑटोमोर्फिज्म है। दोनों so(n,C) में ξ के लिए τ(ξ) = −ξ को संतुष्ट करते हैं।


जब n = 2m, स्थिति अधिक संवेदनशील रूप से m की समता पर निर्भर करती है। m के लिए भी एक भार λ में ऋण चिह्नों की एक समान संख्या होती है यदि और केवल यदि −λ तो यह इस प्रकार है कि भिन्न-भिन्न समरूपताएँ हैं ''B''<sub>±</sub>: ''S''<sub>±</sub> → ''S''<sub>±</sub><sup>∗</sup> प्रत्येक अर्ध-स्पिन प्रतिनिधित्व के साथ इसके दोहरे प्रत्येक को विशिष्ट रूप से निर्धारित किया जाता है। इन्हें एक समरूपता B: S → S∗ में जोड़ा जा सकता है। m विषम के लिए, λ S+ का भार है यदि और केवल यदि −λ S− का भार है तो इस प्रकार S<sub>+</sub> से S<sub>&minus;</sub><sup>∗</sup> तक एक समरूपता होती है जो फिर से मापदंड तक अद्वितीय होती है, और इसका स्थानान्तरण S<sub>&minus;</sub> से S<sub>+</sub><sup>∗</sup> तक एक समरूपता प्रदान करता है ∗ इन्हें फिर से एक समरूपता B: S → S∗ में जोड़ा जा सकता है।
जब n = 2m, स्थिति अधिक संवेदनशील रूप से m की समता पर निर्भर करती है। m के लिए भी एक भार λ में ऋण चिह्नों की एक समान संख्या होती है यदि और केवल यदि −λ तो यह इस प्रकार है कि भिन्न-भिन्न समरूपताएँ हैं ''B''<sub>±</sub>: ''S''<sub>±</sub> → ''S''<sub>±</sub><sup>∗</sup> प्रत्येक अर्ध-स्पिन प्रतिनिधित्व के साथ इसके दोहरे प्रत्येक को विशिष्ट रूप से निर्धारित किया जाता है। इस प्रकार इन्हें एक समरूपता B: S → S∗ में जोड़ा जा सकता है। m विषम के लिए, λ S+ का भार है यदि और केवल यदि −λ S− का भार है तो इस प्रकार S<sub>+</sub> से S<sub>&minus;</sub><sup>∗</sup> तक एक समरूपता होती है जो फिर से मापदंड तक अद्वितीय होती है, और इसका स्थानान्तरण S<sub>&minus;</sub> से S<sub>+</sub><sup>∗</sup> तक एक समरूपता प्रदान करता है ∗ इन्हें फिर से एक समरूपता B: S → S∗ में जोड़ा जा सकता है।


m सम और m विषम दोनों के लिए, B की पसंद में स्वतंत्रता को इस तथ्य पर बल देकर समग्र मापदंड तक सीमित किया जा सकता है कि B के अनुरूप बिलिनियर फॉर्म β संतुष्ट करता है , जहां τ निश्चित एंटीऑटोमोर्फिज्म (या तो प्रत्यावर्तन या संयुग्मन) है।
इस प्रकार m सम और m विषम दोनों के लिए, B की पसंद में स्वतंत्रता को इस तथ्य पर बल देकर समग्र मापदंड तक सीमित किया जा सकता है कि B के अनुरूप बिलिनियर फॉर्म β संतुष्ट करता है , जहां τ निश्चित एंटीऑटोमोर्फिज्म (या तो प्रत्यावर्तन या संयुग्मन) है।


===समरूपता और टेंसर वर्ग===
===समरूपता और टेंसर वर्ग===


β: S ⊗ S → C के समरूपता गुण क्लिफोर्ड बीजगणित या प्रतिनिधित्व सिद्धांत का उपयोग करके निर्धारित किए जा सकते हैं। वास्तव में और भी बहुत कुछ कहा जा सकता है: टेंसर वर्ग S ⊗ S को विभिन्न k के लिए V पर k-रूपों के प्रत्यक्ष योग में विघटित होना चाहिए क्योंकि इसके भार h∗ के सभी घटक हैं जिनके घटक {−1,0,1} से संबंधित हैं . अब समतुल्य रैखिक मानचित्र ''S'' ⊗ ''S'' → ∧<sup>''k''</sup>''V''<sup>∗</sup> विशेष रूप से अपरिवर्तनीय मानचित्रों ∧<sup>''k''</sup>''V'' ⊗ ''S'' ⊗ ''S'' → '''C''' से मेल खाते हैं और गैर-शून्य ऐसे मानचित्र ∧<sup>''k''</sup>''V'' को क्लिफोर्ड बीजगणित में सम्मिलित करके बनाए जा सकते हैं। इसके अतिरिक्त, यदि ''β''(''φ'',''ψ'') = ''ε'' ''β''(''ψ'',''φ'') और τ का ∧<sup>''k''</sup>''V'' पर चिन्ह ''ε<sub>k</sub>'' है तो
इस प्रकार β: S ⊗ S → C के समरूपता गुण क्लिफोर्ड बीजगणित या प्रतिनिधित्व सिद्धांत का उपयोग करके निर्धारित किए जा सकते हैं। वास्तव में और भी बहुत कुछ कहा जा सकता है: टेंसर वर्ग S ⊗ S को विभिन्न k के लिए V पर k-रूपों के प्रत्यक्ष योग में विघटित होना चाहिए क्योंकि इसके भार h∗ के सभी घटक हैं जिनके घटक {−1,0,1} से संबंधित हैं . अब समतुल्य रैखिक मानचित्र ''S'' ⊗ ''S'' → ∧<sup>''k''</sup>''V''<sup>∗</sup> विशेष रूप से अपरिवर्तनीय मानचित्रों ∧<sup>''k''</sup>''V'' ⊗ ''S'' ⊗ ''S'' → '''C''' से मेल खाते हैं और गैर-शून्य ऐसे मानचित्र ∧<sup>''k''</sup>''V'' को क्लिफोर्ड बीजगणित में सम्मिलित करके बनाए जा सकते हैं। इसके अतिरिक्त, यदि ''β''(''φ'',''ψ'') = ''ε'' ''β''(''ψ'',''φ'') और τ का ∧<sup>''k''</sup>''V'' पर चिन्ह ''ε<sub>k</sub>'' है तो
:<math>\beta(A\cdot\varphi,\psi) = \varepsilon\varepsilon_k \beta(A\cdot\psi,\varphi)</math>
:<math>\beta(A\cdot\varphi,\psi) = \varepsilon\varepsilon_k \beta(A\cdot\psi,\varphi)</math>


Line 145: Line 142:
:<math> \beta(\phi,\psi)=(-1)^{\frac12 m(m+1)}\beta(\psi,\phi),</math> और
:<math> \beta(\phi,\psi)=(-1)^{\frac12 m(m+1)}\beta(\psi,\phi),</math> और
:<math> \beta(v\cdot\phi,\psi) = (-1)^m(-1)^{\frac12 m(m+1)}\beta(v\cdot\psi,\phi) = (-1)^m \beta(\phi,v\cdot\psi)</math>
:<math> \beta(v\cdot\phi,\psi) = (-1)^m(-1)^{\frac12 m(m+1)}\beta(v\cdot\psi,\phi) = (-1)^m \beta(\phi,v\cdot\psi)</math>
v ∈ V के लिए (जो ∧<sup>2''m''</sup>''V'' के लिए समरूपी है) यह पुष्टि करता है कि τ m सम के लिए प्रत्यावर्तन है और m विषम के लिए संयुग्मन है।
इस प्रकार v ∈ V के लिए (जो ∧<sup>2''m''</sup>''V'' के लिए समरूपी है) यह पुष्टि करता है कि τ m सम के लिए प्रत्यावर्तन है और m विषम के लिए संयुग्मन है।


यदि n = 2m सम है, तो विश्लेषण अधिक सम्मिलित है, लेकिन परिणाम अधिक परिष्कृत अपघटन S<sup>2</sup>S<sub>±</sub>, ∧<sup>2</sup>S<sub>±</sub> और S<sub>+</sub> ⊗ S<sub>&minus;</sub> है  प्रत्येक को k-रूपों के प्रत्यक्ष योग के रूप में विघटित किया जा सकता है (जहां k = m के लिए स्वद्वैत और प्रतिस्वद्वैत m-रूपों में और अपघटन होता है)।
यदि n = 2m सम है, तो विश्लेषण अधिक सम्मिलित है, लेकिन परिणाम अधिक परिष्कृत अपघटन S<sup>2</sup>S<sub>±</sub>, ∧<sup>2</sup>S<sub>±</sub> और S<sub>+</sub> ⊗ S<sub>&minus;</sub> है  प्रत्येक को k-रूपों के प्रत्यक्ष योग के रूप में विघटित किया जा सकता है (जहां k = m के लिए स्वद्वैत और प्रतिस्वद्वैत m-रूपों में और अपघटन होता है)।


मुख्य परिणाम निम्न टेबल के अनुसार, n मॉड्यूलो 8 के आधार पर, S पर मौलिक लाई बीजगणित के उपबीजगणित के रूप में 'so'(n,'C') की प्राप्ति है:
इस प्रकार मुख्य परिणाम निम्न तालिका के अनुसार, n मॉड्यूलो 8 के आधार पर, S पर मौलिक लाई बीजगणित के उपबीजगणित के रूप में 'so'(n,'C') की प्राप्ति है:
{| class="wikitable"
{| class="wikitable"
|- style="text-align:center"
|- style="text-align:center"
Line 173: Line 170:
|}
|}


 
इस प्रकार n ≤ 6 के लिए ये एम्बेडिंग समरूपताएं हैं (n = 6 के लिए gl के अतिरिक्त sl पर):
n ≤ 6 के लिए ये एम्बेडिंग समरूपताएं हैं (n = 6 के लिए gl के अतिरिक्त sl पर):
:<math> \mathfrak{so}(2,\mathbb C) \cong \mathfrak{gl}(1,\mathbb C)\qquad(=\mathbb C)</math>
:<math> \mathfrak{so}(2,\mathbb C) \cong \mathfrak{gl}(1,\mathbb C)\qquad(=\mathbb C)</math>
:<math> \mathfrak{so}(3,\mathbb C) \cong \mathfrak{sp}(2,\mathbb C)\qquad(=\mathfrak{sl}(2,\mathbb C))</math>
:<math> \mathfrak{so}(3,\mathbb C) \cong \mathfrak{sp}(2,\mathbb C)\qquad(=\mathfrak{sl}(2,\mathbb C))</math>
Line 184: Line 180:
==वास्तविक  निरूपण==
==वास्तविक  निरूपण==


so(n,C) के सम्मिश्र स्पिन निरूपण क्रिया को वास्तविक उपबीजगणित तक सीमित करके so(p,q) का वास्तविक प्रतिनिधित्व S उत्पन्न करते हैं। चूंकि, अतिरिक्त "वास्तविकता" संरचनाएँ हैं जो वास्तविक लाई बीजगणित की कार्रवाई के अनुसार अपरिवर्तनीय हैं। यह तीन प्रकार में आते हैं.
इस प्रकार so(n,C) के सम्मिश्र स्पिन निरूपण क्रिया को वास्तविक उपबीजगणित तक सीमित करके so(p,q) का वास्तविक प्रतिनिधित्व S उत्पन्न करते हैं। चूंकि, अतिरिक्त "वास्तविकता" संरचनाएँ हैं जो वास्तविक लाई बीजगणित की कार्रवाई के अनुसार अपरिवर्तनीय हैं। यह तीन प्रकार में आते हैं.
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र r: S → S है जिसमें  ''r''<sup>2</sup> = id<sub>''S''</sub> है। आर का निश्चित बिंदु सेट तब ''S''<sub>'''R'''</sub>  ⊗ '''C''' = ''S'' के साथ एस का एक वास्तविक सदिश उप-स्थान ''S''<sub>'''R'''</sub> है। इसे वास्तविक संरचना कहा जाता है।
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र r: S → S है जिसमें  ''r''<sup>2</sup> = id<sub>''S''</sub> है। आर का निश्चित बिंदु सेट तब ''S''<sub>'''R'''</sub>  ⊗ '''C''' = ''S'' के साथ S का एक वास्तविक सदिश उप-स्थान ''S''<sub>'''R'''</sub> है। इसे वास्तविक संरचना कहा जाता है।
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र j: S → S है जिसमें ''j''<sup>2</sup> = −id<sub>''S''</sub> है। यह इस प्रकार है कि त्रिक i, j और ''k'':=''ij''  S को एक चतुर्धातुक सदिश समष्टि S<sub>'''H'''</sub> में बनाते हैं। इसे चतुर्धातुक संरचना कहा जाता है।
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र j: S → S है जिसमें ''j''<sup>2</sup> = −id<sub>''S''</sub> है। यह इस प्रकार है कि त्रिक i, j और ''k'':=''ij''  S को एक चतुर्धातुक सदिश समष्टि S<sub>'''H'''</sub> में बनाते हैं। इसे चतुर्धातुक संरचना कहा जाता है।
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र b: S → S<sup>∗</sup> है जो विपरीत है। यह एस पर एक स्यूडोहर्मिटियन बिलिनियर रूप को परिभाषित करता है और इसे हर्मिटियन संरचना कहा जाता है।
#एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र b: S → S<sup>∗</sup> है जो विपरीत है। यह S पर एक स्यूडोहर्मिटियन बिलिनियर रूप को परिभाषित करता है और इसे हर्मिटियन संरचना कहा जाता है।




so(p,q) के अंतर्गत अपरिवर्तनीय संरचना का प्रकार केवल हस्ताक्षर p - q मॉड्यूलो 8 पर निर्भर करता है और निम्नलिखित तालिका द्वारा दिया गया है।
इस प्रकार so(p,q) के अंतर्गत अपरिवर्तनीय संरचना का प्रकार केवल हस्ताक्षर p - q मॉड्यूलो 8 पर निर्भर करता है और निम्नलिखित तालिका द्वारा दिया गया है।
{| class="wikitable"
{| class="wikitable"
|- style="text-align:center"
|- style="text-align:center"
Line 213: Line 209:
| '''R'''
| '''R'''
|}
|}
यहां '''R''', '''C''' और '''H''' क्रमशः वास्तविक, हर्मिटियन और चतुर्धातुक संरचनाओं को दर्शाते हैं, और '''R''' + '''R''' और '''H''' + '''H''' इंगित करते हैं कि अर्ध-स्पिन  निरूपण दोनों क्रमशः वास्तविक या चतुर्धातुक संरचनाओं को स्वीकार करते हैं।
इस प्रकार यहां '''R''', '''C''' और '''H''' क्रमशः वास्तविक, हर्मिटियन और चतुर्धातुक संरचनाओं को दर्शाते हैं, और '''R''' + '''R''' और '''H''' + '''H''' इंगित करते हैं कि अर्ध-स्पिन  निरूपण दोनों क्रमशः वास्तविक या चतुर्धातुक संरचनाओं को स्वीकार करते हैं।


===विवरण और टेबलएँ===
===विवरण और तालिकाएँ===
वास्तविक  निरूपण के विवरण को पूरा करने के लिए, हमें यह वर्णन करना होगा कि ये संरचनाएं अपरिवर्तनीय द्विरेखीय रूपों के साथ कैसे तथ्यचीत करती हैं। चूँकि n = p + q ≅ p - q mod 2, दो स्थिति हैं: आयाम और हस्ताक्षर दोनों सम हैं, और आयाम और हस्ताक्षर दोनों विषम हैं।
इस प्रकार वास्तविक  निरूपण के विवरण को पूरा करने के लिए, हमें यह वर्णन करना होगा कि ये संरचनाएं अपरिवर्तनीय द्विरेखीय रूपों के साथ कैसे इंटरेक्शन करती हैं। चूँकि n = p + q ≅ p - q मॉड 2, दो स्थिति हैं: आयाम और हस्ताक्षर दोनों सम हैं, और आयाम और हस्ताक्षर दोनों विषम हैं।


अद्वितीय मामला सरल है, केवल सम्मिश्र स्पिन निरूपण S है, और हर्मिटियन संरचनाएं नहीं होती हैं। सामान्य स्थिति n = 1 के अतिरिक्त, S हमेशा सम-आयामी होता है, मान लीजिए dim S = 2N। 'so'(2N,'C') के वास्तविक रूप 'so'(K,L) हैं, K + L = 2N और 'so' के साथ<sup>∗</sup>(N,'H'), जबकि 'sp'(2N,'C') के वास्तविक रूप 'sp'(2N,'R') और K के साथ 'sp'(K,L) हैं + एल = एन। S पर V की क्लिफोर्ड कार्रवाई की उपस्थिति दोनों मामलों में के = एल को मजबूर करती है जब तक कि पीक्यू = 0 नहीं, उस स्थिति में केएल = 0, जिसे बस 'तो' (2 एन) या 'Sपी' (एन) द्वारा दर्शाया जाता है ). इसलिए विषम स्पिन निरूपण को निम्नलिखित टेबल में संक्षेपित किया जा सकता है।
अद्वितीय स्थिति सरल है, केवल एक सम्मिश्र स्पिन प्रतिनिधित्व S है और हर्मिटियन संरचनाएं नहीं होती हैं। सामान्य स्थिति के अतिरिक्त n = 1 S सदैव सम-आयामी होता है, मान लीजिए dim S = 2N so(2N,C) के वास्तविक रूप so(K,L) हैं जिनमें K + L = 2N और so∗(N,H) हैं जबकि sp(2N,C) के वास्तविक रूप sp(2N,R) और हैं इस प्रकार 'sp'(K,L) ''K'' + ''L'' = ''N'' के साथ S पर V की क्लिफोर्ड कार्रवाई की उपस्थिति दोनों स्थितियों में ''K'' = ''L'' को विवश करती है जब तक कि ''pq'' = 0 नहीं होती है, जिस स्थिति में ''KL''=0 जिसे '''so'''(2''N'') or '''sp'''(''N'') द्वारा दर्शाया जाता है इसलिए विषम स्पिन अभ्यावेदन को निम्नलिखित तालिका में संक्षेपित किया जा सकता है।
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="text-align:center"
|-
|-
!
!
! ''n'' mod 8
! ''n'' मॉड 8
! 1, 7
! 1, 7
! 3, 5
! 3, 5
|-
|-
! ''p''−''q'' mod 8
! ''p''−''q'' मॉड 8
!
!
! '''so'''(2''N'','''C''')
! '''so'''(2''N'','''C''')
Line 241: Line 237:
| '''sp'''(''N''/2,''N''/2)<sup>†</sup> or '''sp'''(''N'')
| '''sp'''(''N''/2,''N''/2)<sup>†</sup> or '''sp'''(''N'')
|}
|}
(†) {{math|''N''}} के लिए भी है {{math|''n'' > 3}} और के लिए {{math|1=''n'' = 3}}, यह है {{math|'''sp'''(1)}}.
इस प्रकार (†) {{math|''n'' > 3}} के लिए {{math|''N''}} सम है और {{math|1=''n'' = 3}} के लिए यह {{math|'''sp'''(1)}} है।


सम-आयामी मामला समान है। के लिए {{math|''n'' > 2}}, सम्मिश्र अर्ध-स्पिन निरूपण सम-आयामी हैं। हमें अतिरिक्त रूप से हर्मिटियन संरचनाओं और वास्तविक रूपों से निपटना होगा {{math|'''sl'''(2''N'', '''C''')}}, जो हैं {{math|'''sl'''(2''N'', '''R''')}}, {{math|'''su'''(''K'', ''L'')}} साथ {{math|1=''K'' + ''L'' = 2''N''}}, और {{math|'''sl'''(''N'', '''H''')}}. परिणामी सम स्पिन निरूपण को निम्नानुसार संक्षेपित किया गया है।
इस प्रकार सम-आयामी स्थिति समान है। {{math|''n'' > 2}} के लिए सम्मिश्र अर्ध-स्पिन निरूपण सम-आयामी हैं। हमें अतिरिक्त रूप से हर्मिटियन संरचनाओं और {{math|'''sl'''(2''N'', '''C''')}} के वास्तविक रूपों से निपटना होगा जो कि {{math|'''sl'''(2''N'', '''R''')}}, {{math|'''su'''(''K'', ''L'')}} के साथ {{math|1=''K'' + ''L'' = 2''N''}}, और {{math|'''sl'''(''N'', '''H''')}} हैं। परिणामी सम स्पिन अभ्यावेदन को निम्नानुसार संक्षेपित किया गया है।
{| class="wikitable" style="text-align:center"
{| class="wikitable" style="text-align:center"
|-
|-
!
!
! ''n'' mod 8
! ''n'' मॉड 8
! 0
! 0
! 2, 6
! 2, 6
! 4
! 4
|-
|-
! ''p''-''q'' mod 8
! ''p''-''q'' मॉड 8
!
!
! '''so'''(2''N'','''C''')+'''so'''(2''N'','''C''')
! '''so'''(2''N'','''C''')+'''so'''(2''N'','''C''')
Line 276: Line 272:
| '''sp'''(''N''/2,''N''/2)+'''sp'''(''N''/2,''N''/2)<sup>†</sup>
| '''sp'''(''N''/2,''N''/2)+'''sp'''(''N''/2,''N''/2)<sup>†</sup>
|}
|}
(*) के लिए {{math|1=''pq'' = 0}}, हमारे निकट इसके अतिरिक्त है {{math|'''so'''(2''N'') + '''so'''(2''N'')}}
इस प्रकार (*) {{math|1=''pq'' = 0}} के लिए, हमारे निकट {{math|'''so'''(2''N'') + '''so'''(2''N'')}} है


(†) {{math|''N''}} के लिए भी है {{math|''n'' > 4}} और के लिए {{math|1=''pq'' = 0}} (जो भी सम्मिलित है {{math|1=''n'' = 4}} साथ {{math|1=''N'' = 1}}), इसके अतिरिक्त हमारे निकट है {{math|'''sp'''(''N'') + '''sp'''(''N'')}}
इस प्रकार (†) {{math|''n'' > 4}} के लिए {{math|''N''}} सम है और {{math|1=''pq'' = 0}} के लिए (जिसमें {{math|1=''n'' = 4}} के साथ {{math|1=''N'' = 1}} सम्मिलित है), हमारे निकट इसके अतिरिक्त {{math|'''sp'''(''N'') + '''sp'''(''N'')}} है


सम्मिश्र स्थिति में निम्न-आयामी समरूपता के निम्नलिखित वास्तविक रूप हैं।
सम्मिश्र स्थिति में निम्न-आयामी समरूपता के निम्नलिखित वास्तविक रूप हैं।
{| class="wikitable"
{| class="wikitable"
|- style="text-align:center"
|- style="text-align:center"
| Euclidean signature
| यूक्लिडियन हस्ताक्षर
| Minkowskian signature
| मिन्कोव्स्की हस्ताक्षर
| colspan=2 | Other signatures
| colspan=2 | अन्य हस्ताक्षर
|-
|-
| <math>\mathfrak{so}(2)\cong \mathfrak{u}(1)</math>
| <math>\mathfrak{so}(2)\cong \mathfrak{u}(1)</math>
Line 310: Line 306:
| <math>\mathfrak{so}(3,3)\cong \mathfrak{sl}(4,\mathbb R)</math>
| <math>\mathfrak{so}(3,3)\cong \mathfrak{sl}(4,\mathbb R)</math>
|}
|}
वास्तविक लाई बीजगणित की एकमात्र विशेष समरूपताएँ इस टेबल से गायब हैं
इस तालिका से विलुप्त वास्तविक लाई बीजगणित की एकमात्र विशेष समरूपताएँ <math>\mathfrak{so}^*(3,\mathbb H) \cong \mathfrak{su}(3,1)</math> और <math>\mathfrak{so}^*(4,\mathbb H)\cong\mathfrak{so}(6,2).</math> हैं
<math>\mathfrak{so}^*(3,\mathbb H) \cong \mathfrak{su}(3,1)</math> और <math>\mathfrak{so}^*(4,\mathbb H)\cong\mathfrak{so}(6,2).</math>
 
 
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}

Revision as of 00:00, 1 December 2023

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

स्पिन निरूपण के घटको को स्पिनर कहा जाता है। वह इलेक्ट्रॉन जैसे फरमिओन्स के भौतिकी विवरण में महत्वपूर्ण भूमिका निभाते हैं।

इस प्रकार स्पिन निरूपण का निर्माण विभिन्न विधियों से किया जा सकता है, किन्तु सामान्यतः निर्माण में समूह के सदिश निरूपण में अधिकतम आइसोट्रोपिक उप-समष्टि का विकल्प सम्मिलित होता है (संभवतः केवल अप्रत्यक्ष रूप से)। इस प्रकार वास्तविक संख्याओं के अतिरिक्त, इसके लिए सामान्यतः सदिश निरूपण के सम्मिश्रता का उपयोग करने की आवश्यकता होती है। इस कारण से, पहले सम्मिश्र संख्याओं पर स्पिन निरूपण को परिभाषित करना और वास्तविक संरचनाओं को प्रस्तुत करके वास्तविक निरूपण प्राप्त करना सुविधाजनक है।

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

सेट-अप

मान लीजिए कि V एक परिमित आयामी वास्तविक या सम्मिश्र सदिश समष्टि है जिसका गैर अपक्षयी द्विघात रूप Q है। इस प्रकार Q को संरक्षित करने वाले (वास्तविक या सम्मिश्र) रैखिक मानचित्र ओर्थोगोनल समूह O(V, Q) बनाते हैं। इस प्रकार समूह के पहचान घटक को विशेष ऑर्थोगोनल समूह SO(V, Q) कहा जाता है। (अनिश्चित द्विघात रूप के साथ V वास्तविक के लिए, यह शब्दावली मानक नहीं है: विशेष ऑर्थोगोनल समूह को सामान्यतः इस स्थिति में दो घटकों के साथ एक उपसमूह के रूप में परिभाषित किया जाता है।) समूह समरूपता तक, SO(V, Q) में एक अद्वितीय जुड़ा हुआ है स्पिन समूह Spin(V, Q) को दोहरा आवरण करें। इस प्रकार एक समूह समरूपता h: Spin(V, Q) → SO(V, Q) है जिसके कर्नेल में दो घटक {1, −1} दर्शाए गए हैं, जहां 1 पहचान घटक है। इस प्रकार, Spin(V, Q) के समूह घटक g और −g, SO(V, Q) की समरूपता के पश्चात् समतुल्य हैं; अर्थात, Spin(V, Q) में किसी भी g के लिए h(g) = h(−g) उपयोग किया जाता है।

इस प्रकार समूह O(V, Q), SO(V, Q) और Spin(V, Q) सभी लाई समूह हैं और निश्चित (V, Q) के लिए उनके निकट समान लाई बीजगणित है, इसलिए so(V, Q) यदि V वास्तविक है तो V इसकी सम्मिश्रता VC = VR C का एक वास्तविक सदिश उपसमष्टि है और द्विघात रूप Q स्वाभाविक रूप से VC पर द्विघात रूप QC तक विस्तारित होता है। यह SO(V, Q) को SO(VC, QC) के उपसमूह के रूप में m्बेड करता है और इसलिए हम Spin(V, Q) को Spin(VC, QC) के उपसमूह के रूप में अनुभव कर सकते हैं। इसके अतिरिक्त so(VC, QC) so(V, Q) का सम्मिश्रता है।

इस प्रकार सम्मिश्र स्थिति में द्विघात रूपों को V के आयाम n द्वारा समरूपता तक विशिष्ट रूप से निर्धारित किया जाता है। सामान्यतः, हम V = Cn मान सकते हैं और

इस प्रकार संबंधित लाई समूहों O(n, C), SO(n, C), Spin(n, C) और उनके लाई बीजगणित so(n, C) के रूप में दर्शाया गया है .

इस प्रकार वास्तविक स्थिति में द्विघात रूपों को गैर-ऋणात्मक पूर्णांकों (p, q) की एक जोड़ी द्वारा समरूपता तक निर्धारित किया जाता है, जहां n = p + q V का आयाम है और pq हस्ताक्षर है। सामान्यतः, हम V = Rn और मान सकते हैं

इस प्रकार संगत लाई समूह और लाई बीजगणित को O(p, q), SO(p, q), Spin(p, q) और so(p, q) से दर्शाया जाता है। हम हस्ताक्षर को स्पष्ट करने के लिए Rn के समष्टि पर Rp,q लिखते हैं।

इस प्रकार स्पिन निरूपण एक अर्थ में Spin(n, C) और Spin(p, q) का सबसे सरल निरूपण है जो SO(n, C) और SO(p, q) के निरूपण से नहीं आता है। एक स्पिन निरूपण, इसलिए, एक वास्तविक या सम्मिश्र सदिश समष्टि S है, जिसमें Spin(n, C) या Spin(p, q) से सामान्य रैखिक समूह GL(S) तक एक समूह समरूपता ρ सम्मिलित है, जैसे कि घटक −1 नहीं है

यदि S एक ऐसा निरूपण है तो लाई समूहों और लाई बीजगणित के मध्य संबंध के अनुसार, यह एक लाई बीजगणित निरूपण को प्रेरित करता है अर्थात so(n, C) या so(p, q) से लाई बीजगणित gl(S) तक एक लाई बीजगणित समरूपता कम्यूटेटर ब्रैकेट के साथ S के एंडोमोर्फिज्म का उपयोग किया जाता है।

इस प्रकार स्पिन निरूपण का विश्लेषण निम्नलिखित रणनीति के अनुसार किया जा सकता है यदि S Spin(p, q) का एक वास्तविक स्पिन निरूपण है तो इसका सम्मिश्रता Spin(p, q) का एक सम्मिश्र स्पिन निरूपण है जो so(p, q) के निरूपण के रूप में है। इसलिए so(n, C) के सम्मिश्र निरूपण तक विस्तारित है। इसलिए विपरीत दिशा में आगे बढ़ते हुए हम पहले Spin(n, C) और so(n, C) के सम्मिश्र स्पिन निरूपण का निर्माण करते हैं, फिर उन्हें so(p, q) और Spin(p, q) के सम्मिश्र स्पिन निरूपण तक सीमित करते हैं, फिर अंत में संभावित कमी का विश्लेषण करते हैं।

सम्मिश्र स्पिन निरूपण

मान लीजिए कि मानक द्विघात रूप Q के साथ V = Cn है

इस प्रकार ध्रुवीकरण द्वारा Q से जुड़े V पर सममित द्विरेखीय रूप को ⟨.,.⟩ दर्शाया जाता है।

आइसोट्रोपिक उपसमष्टि और मूल प्रक्रिया सिस्टम

इस प्रकार so(n, C) के स्पिन निरूपण का एक मानक निर्माण WW = 0 के साथ V के अधिकतम पूर्णतया आइसोट्रोपिक उप-समष्टि (Q के संबंध में) की एक जोड़ी (W, W) की पसंद से प्रारंभ होता है। आइए हम ऐसा चयन करे. यदि n = 2m या n = 2m + 1, तो W और W दोनों का आयाम m है। यदि n = 2m, तो V = WW, जबकि यदि n = 2m + 1, तो V = WUW, जहां U, WW का 1-आयामी ऑर्थोगोनल पूरक है। इस प्रकार Q से जुड़ा द्विरेखीय रूप ⟨.,.⟩ W और W के मध्य एक युग्मन उत्पन्न करता है, जो अविघटित होना चाहिए क्योंकि W और W पूरी तरह से आइसोट्रोपिक उपसमष्टि हैं और Q अविघटित है। इसलिए W और W दोहरे सदिश समष्टि हैं।

अधिक स्पष्ट रूप से मान लीजिए कि a1, … am, W के लिए एक आधार है। फिर W का एक अद्वितीय आधार α1, ... αm है, जैसे कि

यदि A एक m × m आव्यूह है तो A इस आधार के संबंध में W के एक एंडोमोर्फिज्म को प्रेरित करता है और AT का समष्टिांतरण W के परिवर्तन को प्रेरित करता है

इस प्रकार W में सभी w और w में W के लिए। यह इस प्रकार है कि V का एंडोमोर्फिज्म ρA, W पर A के बराबर, W∗ पर AT और U पर शून्य (यदि n विषम है) विषम है

सभी u, v में V के लिए, और इसलिए (मौलिक समूह देखें) so(n, C) ⊂ End(V) का एक घटक है

इस निर्माण में विकर्ण आव्यूहों का उपयोग करके so(n, C) के कार्टन उपबीजगणित h को परिभाषित किया जाता है, so(n, C) की रैंक m है और विकर्ण n × n आव्यूह एक m-आयामी एबेलियन उपबीजगणित निर्धारित करते हैं।


मान लीजिए ε1, … εm h का आधार है, जैसे कि, एक विकर्ण मैट्रिक्स A के लिए A, εk(ρA) की kवीं विकर्ण प्रविष्टि है। स्पष्ट रूप से यह h के लिए एक आधार है क्योंकि द्विरेखीय रूप so(n, C) की पहचान करता है स्पष्ट रूप से के साथ है

[1]

अब h से संबंधित मूल प्रक्रिया का निर्माण करना आसान है। मूल समष्टि (h की क्रिया के लिए एक साथ इगेनस्पेस) निम्नलिखित घटकों द्वारा विस्तृत हैं:

मूल प्रक्रिया के साथ (एक साथ इगेनवैल्यू)
(जो h में है यदि i = j)) मूल प्रक्रिया के साथ
मूल प्रक्रिया के साथ

और यदि n अद्वितीय है, और u का अशून्य घटक U है ,

मूल प्रक्रिया के साथ
मूल प्रक्रिया के साथ

इस प्रकार, आधार के संबंध में ε1, … εm, मूल प्रक्रियाें सदिश h हैं जो कि क्रमपरिवर्तन हैं

के क्रमपरिवर्तन के साथ

यदि n = 2m + 1 अद्वितीय है।

इस प्रकार धनात्मक मूल प्रक्रिया की एक प्रणाली εi + εj (ij), εiεj (i < j) और (n विषम के लिए) εi द्वारा दी गई है। संबंधित सरल मूल प्रक्रिया हैं

धनात्मक मूल प्रक्रियाें सरल मूल प्रक्रियाों के गैर-ऋणात्मक पूर्णांक रैखिक संयोजन हैं।

स्पिन निरूपण और उनका भार

इस प्रकार so(n, C) के स्पिन निरूपण का एक निर्माण बाहरी बीजगणित का उपयोग करता है

और/या

इस प्रकार S पर V की एक क्रिया इस प्रकार है कि WW में किसी भी घटक v = w + w और S में किसी भी ψ के लिए क्रिया इस प्रकार दी गई है:

जहां दूसरा पद एक संकुचन (आंतरिक गुणन) है जिसे द्विरेखीय रूप का उपयोग करके परिभाषित किया गया है, जो W और W को जोड़ता है। यह क्रिया क्लिफोर्ड संबंधों v2 = Q(v)1 का सम्मान करती है और इसलिए V के क्लिफोर्ड बीजगणित ClnC से End(S) तक एक समरूपता उत्पन्न करती है। एक समान क्रिया को S पर परिभाषित किया जा सकता है ताकि S और S' दोनों क्लिफोर्ड मॉड्यूल हों।

ली बीजगणित so(n, C) Spin(n) → SO(n) को आवरण करने से प्रेरित मैपिंग spinnC के माध्यम से ClnC में सम्मिश्र ली बीजगणित स्पिनसी के लिए आइसोमोर्फिक है।[2]

इससे यह निष्कर्ष निकलता है कि S और S दोनों so(n, C) का प्रतिनिधित्व करते हैं। वह वास्तव में समकक्ष प्रतिनिधित्व हैं, इसलिए हम S पर ध्यान केंद्रित करते हैं।

स्पष्ट विवरण से पता चलता है कि कार्टन उपबीजगणित के घटक αiai h द्वारा S पर कार्य करते हैं

इस प्रकार S के लिए आधार रूप के घटको द्वारा दिया गया है

इस प्रकार 0 ≤ km और i1 < ... < ik के लिए ये स्पष्ट रूप से h αiai की क्रिया के लिए भार रिक्त समष्टि का विस्तार करते हैं, दिए गए आधार सदिश पर इगेनवैल्यू -1/2 है यदि i = ij कुछ j के लिए है और इगेनवैल्यू 1/2 है

यह इस प्रकार है कि भार ( निरूपण सिद्धांत) का S के सभी संभावित संयोजन हैं

और प्रत्येक भार समष्टि ( निरूपण सिद्धांत) एक-आयामी है। घटक S डिराक स्पिनर कहलाते हैं।

जब n सम है, तो S एक अप्रासंगिक निरूपण नहीं है इस प्रकार और अपरिवर्तनीय उप-समष्टि हैं। भार को सम संख्या में ऋण चिह्न वाले और विषम संख्या में ऋण चिह्न वाले में विभाजित किया जाता है। S+ और S− दोनों आयाम 2m−1 के अपरिवर्तनीय निरूपण हैं जिनके घटकों को वेइल स्पिनर कहा जाता है। उन्हें चिरल स्पिन निरूपण या अर्ध-स्पिन निरूपण के रूप में भी जाना जाता है। उपरोक्त धनात्मक मूल प्रणाली के संबंध में, S+ और S− का भार सबसे अधिक है

और

इस प्रकार क्रमशः क्लिफ़ोर्ड क्रिया ClnC को End(S) के साथ पहचानती है और सम उपबीजगणित को S+ और S को संरक्षित करने वाले एंडोमोर्फिज्म के साथ पहचाना जाता है। इस स्थिति में अन्य क्लिफोर्ड मॉड्यूल S', S के समरूपी है।

जब n विषम है, तो S आयाम 2m के so(n,C) का एक अघुलनशील प्रतिनिधित्व है, एक इकाई सदिश u ∈ U की क्लिफोर्ड क्रिया द्वारा दी गई है

और इसलिए u∧w या u∧w∗ रूप के so(n,C) के घटक W के बाहरी बीजगणित के सम और विषम भागों को संरक्षित नहीं करते हैं। इस प्रकार S का उच्चतम भार है

इस प्रकार क्लिफोर्ड की कार्रवाई S पर विश्वसनीय नहीं है ClnC को End(S) ⊕ End(S′) के साथ पहचाना जा सकता है, जहां u S ′ पर विपरीत चिह्न के साथ कार्य करता है। अधिक स्पष्ट रूप से दोनों निरूपण ClnC (जिसे प्रमुख ऑटोमोर्फिज्म के रूप में भी जाना जाता है) के समता समावेशन α से संबंधित हैं, जो कि सम उपबीजगणित पर पहचान है और ClnC के विषम भाग पर पहचान घटा है। दूसरे शब्दों में, S से S' तक एक रैखिक समरूपता है, जो S' पर ClnC में A की क्रिया को S' पर α(A) की क्रिया से पहचानती है।

द्विरेखीय रूप

यदि λ, S का भार है, तो −λ भी है। इससे यह निष्कर्ष निकलता है कि S दोहरे निरूपण S का समरूपी है.

जब n = 2m + 1 विषम होता है, तो समरूपता B: S → S शूर के लेम्मा द्वारा स्केल तक अद्वितीय है, क्योंकि S अपरिवर्तनीय है, और यह S के माध्यम से गैर-अपरिवर्तनीय अपरिवर्तनीय बिलिनियर फॉर्म β को परिभाषित करता है

यहाँ अपरिवर्तनशीलता का अर्थ यह है

इस प्रकार so(n,C) में सभी ξ और S में φ ψ के लिए - दूसरे शब्दों में ξ की क्रिया β के संबंध में विषम है। वास्तव में अधिक सही है S∗ विपरीत क्लिफोर्ड बीजगणित का प्रतिनिधित्व करता है और इसलिए चूंकि ClnC में केवल दो गैर-सामान्य सरल मॉड्यूल S और S ′ हैं, जो समता इन्वॉल्यूशन α से संबंधित हैं, ClnC का एक एंटीऑटोमोर्फिज्म τ है जैसे कि

वास्तव में सीएलएनसी में किसी भी A के लिए τ m सम के लिए प्रत्यावर्तन (V पर पहचान से प्रेरित एंटीऑटोमोर्फिज्म) है और m विषम के लिए संयुग्मन (V पर पहचान को घटाकर प्रेरित एंटीऑटोमोर्फिज्म) है। यह दो एंटीऑटोमोर्फिज्म समता इनवोलुशन α से संबंधित हैं, जो कि V पर पहचान को घटाकर प्रेरित ऑटोमोर्फिज्म है। दोनों so(n,C) में ξ के लिए τ(ξ) = −ξ को संतुष्ट करते हैं।

जब n = 2m, स्थिति अधिक संवेदनशील रूप से m की समता पर निर्भर करती है। m के लिए भी एक भार λ में ऋण चिह्नों की एक समान संख्या होती है यदि और केवल यदि −λ तो यह इस प्रकार है कि भिन्न-भिन्न समरूपताएँ हैं B±: S±S± प्रत्येक अर्ध-स्पिन प्रतिनिधित्व के साथ इसके दोहरे प्रत्येक को विशिष्ट रूप से निर्धारित किया जाता है। इस प्रकार इन्हें एक समरूपता B: S → S∗ में जोड़ा जा सकता है। m विषम के लिए, λ S+ का भार है यदि और केवल यदि −λ S− का भार है तो इस प्रकार S+ से S तक एक समरूपता होती है जो फिर से मापदंड तक अद्वितीय होती है, और इसका स्थानान्तरण S से S+ तक एक समरूपता प्रदान करता है ∗ इन्हें फिर से एक समरूपता B: S → S∗ में जोड़ा जा सकता है।

इस प्रकार m सम और m विषम दोनों के लिए, B की पसंद में स्वतंत्रता को इस तथ्य पर बल देकर समग्र मापदंड तक सीमित किया जा सकता है कि B के अनुरूप बिलिनियर फॉर्म β संतुष्ट करता है , जहां τ निश्चित एंटीऑटोमोर्फिज्म (या तो प्रत्यावर्तन या संयुग्मन) है।

समरूपता और टेंसर वर्ग

इस प्रकार β: S ⊗ S → C के समरूपता गुण क्लिफोर्ड बीजगणित या प्रतिनिधित्व सिद्धांत का उपयोग करके निर्धारित किए जा सकते हैं। वास्तव में और भी बहुत कुछ कहा जा सकता है: टेंसर वर्ग S ⊗ S को विभिन्न k के लिए V पर k-रूपों के प्रत्यक्ष योग में विघटित होना चाहिए क्योंकि इसके भार h∗ के सभी घटक हैं जिनके घटक {−1,0,1} से संबंधित हैं . अब समतुल्य रैखिक मानचित्र SS → ∧kV विशेष रूप से अपरिवर्तनीय मानचित्रों ∧kVSSC से मेल खाते हैं और गैर-शून्य ऐसे मानचित्र ∧kV को क्लिफोर्ड बीजगणित में सम्मिलित करके बनाए जा सकते हैं। इसके अतिरिक्त, यदि β(φ,ψ) = ε β(ψ,φ) और τ का ∧kV पर चिन्ह εk है तो


kV में A के लिए

यदि n = 2m+1 विषम है तो यह शूर लेम्मा से अनुसरण करता है

(दोनों पक्षों का आयाम 22m है और दाईं ओर का प्रतिनिधित्व असमान है)। क्योंकि समरूपता एक इनवोलुशन τ द्वारा नियंत्रित होती है जो या तो संयुग्मन या प्रत्यावर्तन है, ∧2jV घटक की समरूपता j के साथ वैकल्पिक होती है। प्राथमिक कॉम्बिनेटरिक्स देता है

और चिह्न यह निर्धारित करता है कि कौन से प्रतिनिधित्व S2S में होते हैं और कौन से ∧2S में विशेष रूप से होते हैं [3]

और

इस प्रकार v ∈ V के लिए (जो ∧2mV के लिए समरूपी है) यह पुष्टि करता है कि τ m सम के लिए प्रत्यावर्तन है और m विषम के लिए संयुग्मन है।

यदि n = 2m सम है, तो विश्लेषण अधिक सम्मिलित है, लेकिन परिणाम अधिक परिष्कृत अपघटन S2S±, ∧2S± और S+ ⊗ S है प्रत्येक को k-रूपों के प्रत्यक्ष योग के रूप में विघटित किया जा सकता है (जहां k = m के लिए स्वद्वैत और प्रतिस्वद्वैत m-रूपों में और अपघटन होता है)।

इस प्रकार मुख्य परिणाम निम्न तालिका के अनुसार, n मॉड्यूलो 8 के आधार पर, S पर मौलिक लाई बीजगणित के उपबीजगणित के रूप में 'so'(n,'C') की प्राप्ति है:

n मॉड 8 0 1 2 3 4 5 6 7
स्पिनर बीजगणित

इस प्रकार n ≤ 6 के लिए ये एम्बेडिंग समरूपताएं हैं (n = 6 के लिए gl के अतिरिक्त sl पर):


वास्तविक निरूपण

इस प्रकार so(n,C) के सम्मिश्र स्पिन निरूपण क्रिया को वास्तविक उपबीजगणित तक सीमित करके so(p,q) का वास्तविक प्रतिनिधित्व S उत्पन्न करते हैं। चूंकि, अतिरिक्त "वास्तविकता" संरचनाएँ हैं जो वास्तविक लाई बीजगणित की कार्रवाई के अनुसार अपरिवर्तनीय हैं। यह तीन प्रकार में आते हैं.

  1. एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र r: S → S है जिसमें r2 = idS है। आर का निश्चित बिंदु सेट तब SRC = S के साथ S का एक वास्तविक सदिश उप-स्थान SR है। इसे वास्तविक संरचना कहा जाता है।
  2. एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र j: S → S है जिसमें j2 = −idS है। यह इस प्रकार है कि त्रिक i, j और k:=ij S को एक चतुर्धातुक सदिश समष्टि SH में बनाते हैं। इसे चतुर्धातुक संरचना कहा जाता है।
  3. एक अपरिवर्तनीय सम्मिश्र एंटीलीनियर मानचित्र b: S → S है जो विपरीत है। यह S पर एक स्यूडोहर्मिटियन बिलिनियर रूप को परिभाषित करता है और इसे हर्मिटियन संरचना कहा जाता है।


इस प्रकार so(p,q) के अंतर्गत अपरिवर्तनीय संरचना का प्रकार केवल हस्ताक्षर p - q मॉड्यूलो 8 पर निर्भर करता है और निम्नलिखित तालिका द्वारा दिया गया है।

p−q मॉड 8 0 1 2 3 4 5 6 7
संरचना R + R R C H H + H H C R

इस प्रकार यहां R, C और H क्रमशः वास्तविक, हर्मिटियन और चतुर्धातुक संरचनाओं को दर्शाते हैं, और R + R और H + H इंगित करते हैं कि अर्ध-स्पिन निरूपण दोनों क्रमशः वास्तविक या चतुर्धातुक संरचनाओं को स्वीकार करते हैं।

विवरण और तालिकाएँ

इस प्रकार वास्तविक निरूपण के विवरण को पूरा करने के लिए, हमें यह वर्णन करना होगा कि ये संरचनाएं अपरिवर्तनीय द्विरेखीय रूपों के साथ कैसे इंटरेक्शन करती हैं। चूँकि n = p + q ≅ p - q मॉड 2, दो स्थिति हैं: आयाम और हस्ताक्षर दोनों सम हैं, और आयाम और हस्ताक्षर दोनों विषम हैं।

अद्वितीय स्थिति सरल है, केवल एक सम्मिश्र स्पिन प्रतिनिधित्व S है और हर्मिटियन संरचनाएं नहीं होती हैं। सामान्य स्थिति के अतिरिक्त n = 1 S सदैव सम-आयामी होता है, मान लीजिए dim S = 2N so(2N,C) के वास्तविक रूप so(K,L) हैं जिनमें K + L = 2N और so∗(N,H) हैं जबकि sp(2N,C) के वास्तविक रूप sp(2N,R) और हैं इस प्रकार 'sp'(K,L) K + L = N के साथ S पर V की क्लिफोर्ड कार्रवाई की उपस्थिति दोनों स्थितियों में K = L को विवश करती है जब तक कि pq = 0 नहीं होती है, जिस स्थिति में KL=0 जिसे so(2N) or sp(N) द्वारा दर्शाया जाता है । इसलिए विषम स्पिन अभ्यावेदन को निम्नलिखित तालिका में संक्षेपित किया जा सकता है।

n मॉड 8 1, 7 3, 5
pq मॉड 8 so(2N,C) sp(2N,C)
1, 7 R so(N,N) or so(2N) sp(2N,R)
3, 5 H so(N,H) sp(N/2,N/2) or sp(N)

इस प्रकार (†) n > 3 के लिए N सम है और n = 3 के लिए यह sp(1) है।

इस प्रकार सम-आयामी स्थिति समान है। n > 2 के लिए सम्मिश्र अर्ध-स्पिन निरूपण सम-आयामी हैं। हमें अतिरिक्त रूप से हर्मिटियन संरचनाओं और sl(2N, C) के वास्तविक रूपों से निपटना होगा जो कि sl(2N, R), su(K, L) के साथ K + L = 2N, और sl(N, H) हैं। परिणामी सम स्पिन अभ्यावेदन को निम्नानुसार संक्षेपित किया गया है।

n मॉड 8 0 2, 6 4
p-q मॉड 8 so(2N,C)+so(2N,C) sl(2N,C) sp(2N,C)+sp(2N,C)
0 R+R so(N,N)+so(N,N) sl(2N,R) sp(2N,R)+sp(2N,R)
2, 6 C so(2N,C) su(N,N) sp(2N,C)
4 H+H so(N,H)+so(N,H) sl(N,H) sp(N/2,N/2)+sp(N/2,N/2)

इस प्रकार (*) pq = 0 के लिए, हमारे निकट so(2N) + so(2N) है

इस प्रकार (†) n > 4 के लिए N सम है और pq = 0 के लिए (जिसमें n = 4 के साथ N = 1 सम्मिलित है), हमारे निकट इसके अतिरिक्त sp(N) + sp(N) है

सम्मिश्र स्थिति में निम्न-आयामी समरूपता के निम्नलिखित वास्तविक रूप हैं।

यूक्लिडियन हस्ताक्षर मिन्कोव्स्की हस्ताक्षर अन्य हस्ताक्षर

इस तालिका से विलुप्त वास्तविक लाई बीजगणित की एकमात्र विशेष समरूपताएँ और हैं

टिप्पणियाँ

  1. Fulton & Harris 1991 Chapter 20, p.303. The factor 2 is not important, it is there to agree with the Clifford algebra construction.
  2. since if is the covering, then , so and since is a scalar, we get
  3. This sign can also be determined from the observation that if φ is a highest weight vector for S then φφ is a highest weight vector for ∧mV ≅ ∧m+1V, so this summand must occur in S2S.


संदर्भ

  • Brauer, Richard; Weyl, Hermann (1935), "Spinors in n dimensions", American Journal of Mathematics, American Journal of Mathematics, Vol. 57, No. 2, 57 (2): 425–449, doi:10.2307/2371218, JSTOR 2371218.
  • Cartan, Élie (1966), The theory of spinors, Paris, Hermann (reprinted 1981, Dover Publications), ISBN 978-0-486-64070-9.
  • Chevalley, Claude (1954), The algebraic theory of spinors and Clifford algebras, Columbia University Press (reprinted 1996, Springer), ISBN 978-3-540-57063-9.
  • Deligne, Pierre (1999), "Notes on spinors", in P. Deligne; P. Etingof; D. S. Freed; L. C. Jeffrey; D. Kazhdan; J. W. Morgan; D. R. Morrison; E. Witten (eds.), Quantum Fields and Strings: A Course for Mathematicians, Providence: American Mathematical Society, pp. 99–135. See also the programme website for a preliminary version.
  • Fulton, William; Harris, Joe (1991), Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics, vol. 129, New York: Springer-Verlag, ISBN 0-387-97495-4, MR 1153249.
  • Harvey, F. Reese (1990), Spinors and Calibrations, Academic Press, ISBN 978-0-12-329650-4.
  • Lawson, H. Blaine; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton University Press, ISBN 0-691-08542-0.
  • Weyl, Hermann (1946), The Classical Groups: Their Invariants and Representations (2nd ed.), Princeton University Press (reprinted 1997), ISBN 978-0-691-05756-9.