किलिंग फॉर्म: Difference between revisions

From Vigyanwiki
(Created page with "{{Lie groups |Algebras}} गणित में, विल्हेम हत्या के नाम पर रखा गया किलिंग फॉर्म ए...")
 
m (7 revisions imported from alpha:किलिंग_फॉर्म)
 
(6 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{Lie groups |Algebras}}
गणित में, [[विल्हेम हत्या]] के नाम पर रखा गया '''किलिंग फॉर्म''' [[सममित द्विरेखीय रूप]] है जो [[झूठ समूह|असत्य समूहों]] और [[झूठ बीजगणित|असत्य बीजगणित]] के सिद्धांतों में मौलिक भूमिका निभाता है। कार्टन की कसौटी मुख्य रूप से कार्टन के मानदंड (सॉल्वेबिलिटी की कसौटी और अर्ध-सरलता की कसौटी) से पता चलता है कि किलिंग फॉर्म का लाई बीजगणित के सेमीसिम्पल लाई बीजगणित से घनिष्ठ संबंध है।{{sfn|Kirillov|2008|p=102}}
 
गणित में, [[विल्हेम हत्या]] के नाम पर रखा गया किलिंग फॉर्म एक [[सममित द्विरेखीय रूप]] है जो [[झूठ समूह]]ों और [[झूठ बीजगणित]] के सिद्धांतों में एक बुनियादी भूमिका निभाता है। कार्टन की कसौटी | कार्टन के मानदंड (सॉल्वेबिलिटी की कसौटी और अर्ध-सरलता की कसौटी) से पता चलता है कि किलिंग फॉर्म का लाई बीजगणित के सेमीसिम्पल लाई बीजगणित से घनिष्ठ संबंध है।{{sfn|Kirillov|2008|p=102}}


== इतिहास और नाम ==
== इतिहास और नाम ==
किलिंग फॉर्म अनिवार्य रूप से लाई बीजगणित सिद्धांत में किसके द्वारा पेश किया गया था? {{harvs|txt |author-link=Élie Cartan |first=Élie |last=Cartan |year=1894}} उनकी थीसिस में। झूठ सिद्धांत के एक ऐतिहासिक सर्वेक्षण में, {{harvtxt|Borel|2001}} ने वर्णन किया है कि किस तरह से किलिंग फॉर्म शब्द पहली बार 1951 में सेमिनायर बोरबाकी के लिए अपनी खुद की एक रिपोर्ट के दौरान आया था; यह एक [[मिथ्या नाम]] के रूप में उत्पन्न हुआ, क्योंकि पहले से ही झूठ सिद्धांतकारों द्वारा प्रपत्र का उपयोग किया गया था, बिना किसी नाम के जुड़ा हुआ था। कुछ अन्य लेखक अब [[कार्टन-किलिंग फॉर्म]] शब्द का प्रयोग करते हैं।<ref name=Borelp5>{{harvnb|Borel|2001|page=5}}</ref> 19वीं शताब्दी के अंत में, किलिंग ने नोट किया था कि लाई बीजगणित के एक नियमित अर्ध-सरल तत्व के विशेषता समीकरण के गुणांक आसन्न समूह के तहत अपरिवर्तनीय हैं, जिससे यह पता चलता है कि किलिंग फॉर्म (यानी डिग्री 2 गुणांक) है अपरिवर्तनीय, लेकिन उन्होंने इस तथ्य का अधिक उपयोग नहीं किया। एक मूल परिणाम जो कार्टन ने उपयोग किया, वह कार्टन की कसौटी थी, जिसमें कहा गया है कि किलिंग फॉर्म गैर-पतित है अगर और केवल अगर झूठ बीजगणित एक अर्ध-सरल झूठ बीजगणित है।<ref name=Borelp5/>
'''किलिंग फॉर्म''' अनिवार्य रूप से लाई बीजगणित सिद्धांत में किसके द्वारा प्रस्तुत किया गया था? {{harvs|txt |author-link=ऐली कार्टन |first=ऐली |last=कार्टन |year=1894}} उनकी थीसिस में असत्य सिद्धांत के ऐतिहासिक सर्वेक्षण में, {{harvtxt|बोरेल|2001}} ने वर्णन किया है कि किस तरह से किलिंग फॉर्म शब्द पहली बार 1951 में सेमिनायर बोरबाकी के लिए अपनी खुद की रिपोर्ट के समय आया था, यह [[मिथ्या नाम]] के रूप में उत्पन्न हुआ, क्योंकि पहले से ही असत्य सिद्धांतकारों द्वारा प्रपत्र का उपयोग किया गया था, इस कारण बिना किसी नाम के जुड़ा हुआ था। कुछ अन्य लेखक अब [[कार्टन-किलिंग फॉर्म]] शब्द का प्रयोग करते हैं।<ref name=Borelp5>{{harvnb|Borel|2001|page=5}}</ref> इस प्रकार 19वीं शताब्दी के अंत में, किलिंग ने नोट किया था कि लाई बीजगणित के नियमित अर्ध-सरल तत्व के विशेषता समीकरण के गुणांक आसन्न समूह के अनुसार अपरिवर्तनीय हैं, जिससे यह पता चलता है कि किलिंग फॉर्म (अर्ताथ डिग्री 2 गुणांक) है अपरिवर्तनीय, अपितु उन्होंने इस तथ्य का अधिक उपयोग नहीं किया था। इस प्रकार मूल परिणाम जो कार्टन ने उपयोग किया, वह कार्टन की कसौटी थी, जिसमें कहा गया है कि किलिंग फॉर्म गैर-पतित है यदि असत्य बीजगणित अर्ध-सरल असत्य बीजगणित है।<ref name=Borelp5/>
 
 
== परिभाषा ==
== परिभाषा ==


एक झूठ बीजगणित पर विचार करें <math>\mathfrak g</math> एक क्षेत्र पर (गणित) {{math|''K''}}. हर तत्व {{math|''x''}} का <math>\mathfrak g</math> [[आसन्न एंडोमोर्फिज्म]] को परिभाषित करता है {{math|ad(''x'')}} (के रूप में भी लिखा गया है {{math|ad<sub>''x''</sub>}}) का <math>\mathfrak g</math> लेट ब्रैकेट की मदद से, जैसे
एक असत्य बीजगणित पर विचार करें <math>\mathfrak g</math> क्षेत्र पर (गणित) {{math|''K''}}. हर तत्व {{math|''x''}} का <math>\mathfrak g</math> [[आसन्न एंडोमोर्फिज्म]] को {{math|ad(''x'')}} द्वारा परिभाषित करता है, (जिसके रूप में भी लिखा गया है {{math|ad<sub>''x''</sub>}}) का <math>\mathfrak g</math> लेट ब्रैकेट की सहायता से किया जाता हैं, जैसे


:<math>\operatorname{ad}(x)(y) = [x, y].</math>
:<math>\operatorname{ad}(x)(y) = [x, y].</math>
अब, मान लीजिए <math>\mathfrak g</math> परिमित आयाम का है, दो ऐसे एंडोमोर्फिज्म की संरचना के [[एक मैट्रिक्स का निशान]] एक सममित द्विरेखीय रूप को परिभाषित करता है
अब, मान लीजिए <math>\mathfrak g</math> परिमित आयाम का है, दो ऐसे एंडोमोर्फिज्म की संरचना के [[एक मैट्रिक्स का निशान|आव्यूह का निशान]] सममित द्विरेखीय रूप को परिभाषित करता है


:<math>B(x, y) = \operatorname{trace}(\operatorname{ad}(x) \circ \operatorname{ad}(y)),</math>
:<math>B(x, y) = \operatorname{trace}(\operatorname{ad}(x) \circ \operatorname{ad}(y)),</math>
मूल्यों के साथ {{math|''K''}}, किलिंग फॉर्म ऑन <math>\mathfrak g</math>.
मूल्यों के साथ {{math|''K''}}, किलिंग फॉर्म ऑन <math>\mathfrak g</math> के रूप में प्रकट होता हैं।


== गुण ==
== गुण ==
Line 21: Line 17:


* संहार रूप {{math|''B''}} बिलिनियर और सममित है।
* संहार रूप {{math|''B''}} बिलिनियर और सममित है।
* किलिंग फॉर्म एक अपरिवर्तनीय रूप है, जैसा कि [[कासिमिर संचालक]] से प्राप्त अन्य सभी रूप हैं। कासिमिर ऑपरेटरों की [[व्युत्पत्ति (अंतर बीजगणित)]] गायब हो जाती है; किलिंग फॉर्म के लिए, इस गायब होने को इस रूप में लिखा जा सकता है
* किलिंग फॉर्म अपरिवर्तनीय रूप है, जैसा कि [[कासिमिर संचालक]] से प्राप्त अन्य सभी रूप हैं। कासिमिर ऑपरेटरों की [[व्युत्पत्ति (अंतर बीजगणित)]] विलुप्त हो जाती है; किलिंग फॉर्म के लिए, इस विलुप्त होने को इस रूप में लिखा जा सकता है
   
   
::<math>B([x, y], z) = B(x, [y, z])</math> : जहां [ , ] लाई बीजगणित# परिभाषा और प्रथम गुण है।
::<math>B([x, y], z) = B(x, [y, z])</math> : जहां [ , ] लाई बीजगणित# परिभाषा और प्रथम गुण है।


* अगर <math>\mathfrak g</math> एक साधारण लाई बीजगणित है तो किसी भी अपरिवर्तनीय सममित द्विरेखीय रूप पर <math>\mathfrak g</math> किलिंग फॉर्म का एक स्केलर मल्टीपल है।
* यदि <math>\mathfrak g</math> साधारण लाई बीजगणित है तो किसी भी अपरिवर्तनीय सममित द्विरेखीय रूप पर <math>\mathfrak g</math> किलिंग फॉर्म का स्केलर मल्टीपल है।
* [[automorphism]] के तहत किलिंग फॉर्म भी अपरिवर्तनीय है {{math|''s''}} बीजगणित का <math>\mathfrak g</math>, वह है,
* [[automorphism|आटोमौर्फिज्म]] के अनुसार किलिंग फॉर्म {{math|''s''}} बीजगणित का <math>\mathfrak g</math> भी अपरिवर्तनीय है, यह इस प्रकार हैं,


::<math>B(s(x), s(y)) = B(x, y)</math>
::<math>B(s(x), s(y)) = B(x, y)</math>
:के लिए {{math|''s''}} में <math>\mathfrak g</math>.
:के लिए {{math|''s''}} में <math>\mathfrak g</math>.


* कार्टन कसौटी में कहा गया है कि एक झूठ बीजगणित अर्धसरल झूठ बीजगणित है अगर और केवल अगर किलिंग फॉर्म [[पतित रूप]] है। गैर-पतित।
* कार्टन कसौटी में कहा गया है कि असत्य बीजगणित अर्धसरल असत्य बीजगणित है यदि और केवल यदि किलिंग फॉर्म [[पतित रूप]] है। गैर-पतित।
* [[निलपोटेंट ले बीजगणित]] का किलिंग फॉर्म समान रूप से शून्य है।
* [[निलपोटेंट ले बीजगणित]] का किलिंग फॉर्म समान रूप से शून्य है।
* अगर {{math|''I'', ''J''}} झूठ बीजगणित में झूठ बीजगणित के दो आदर्श हैं <math>\mathfrak g</math> शून्य चौराहे के साथ, फिर {{math|''I''}} और {{math|''J''}} किलिंग फॉर्म के संबंध में [[ओर्थोगोनल]] सबस्पेस हैं।
* यदि {{math|''I'', ''J''}} असत्य बीजगणित में असत्य बीजगणित के दो आदर्श हैं <math>\mathfrak g</math> शून्य अंतःखण्ड के साथ, फिर {{math|''I''}} और {{math|''J''}} किलिंग फॉर्म के संबंध में [[ओर्थोगोनल]] सबस्पेस हैं।
* ऑर्थोगोनल पूरक के संबंध में {{math|''B''}एक आदर्श का} फिर से एक आदर्श है।<ref>{{Fulton-Harris}} See page 207.</ref>
* ऑर्थोगोनल पूरक के संबंध में {{math|''B''}एक आदर्श का} फिर से आदर्श है।<ref>{{Fulton-Harris}} See page 207.</ref>
* यदि कोई दिया गया बीजगणित <math>\mathfrak g</math> इसके आदर्शों का प्रत्यक्ष योग है {{math|''I''<sub>1</sub>,...,''I<sub>n</sub>''}}, फिर की हत्या का रूप <math>\mathfrak g</math> अलग-अलग योगों के किलिंग रूपों का प्रत्यक्ष योग है।
* यदि कोई दिया गया बीजगणित <math>\mathfrak g</math> इसके आदर्शों का प्रत्यक्ष योग है {{math|''I''<sub>1</sub>,...,''I<sub>n</sub>''}}, फिर की हत्या का रूप <math>\mathfrak g</math> अलग-अलग योगों के किलिंग रूपों का प्रत्यक्ष योग है।


== मैट्रिक्स तत्व ==
== आव्यूह तत्व ==


एक आधार दिया {{math|''e<sub>i</sub>''}झूठ बीजगणित का } <math>\mathfrak g</math>, किलिंग फॉर्म के मैट्रिक्स तत्व द्वारा दिए गए हैं
<nowiki>एक आधार दिया {{math|</nowiki>''e<sub>i</sub>''}असत्य बीजगणित का } <math>\mathfrak g</math>, किलिंग फॉर्म के आव्यूह तत्व द्वारा दिए गए हैं


:<math>B_{ij}= \mathrm{trace}(\mathrm{ad}(e_i) \circ \mathrm{ad}(e_j)).</math>
:<math>B_{ij}= \mathrm{trace}(\mathrm{ad}(e_i) \circ \mathrm{ad}(e_j)).</math>
Line 45: Line 41:


:<math>\left(\textrm{ad}(e_i) \circ \textrm{ad}(e_j)\right)(e_k)=  [e_i, [e_j, e_k]] = [e_i, {c_{jk}}^{m}e_m] = {c_{im}}^{n} {c_{jk}}^{m} e_n</math>
:<math>\left(\textrm{ad}(e_i) \circ \textrm{ad}(e_j)\right)(e_k)=  [e_i, [e_j, e_k]] = [e_i, {c_{jk}}^{m}e_m] = {c_{im}}^{n} {c_{jk}}^{m} e_n</math>
[[आइंस्टीन योग अंकन]] में, जहां {{math|''c''<sub>''ij''</sub><sup>''k''</sup>}} झूठ बीजगणित के [[संरचना स्थिरांक]] हैं। अनुक्रमणिका {{math|''k''}} कॉलम इंडेक्स और इंडेक्स के रूप में कार्य करता है {{math|''n''}} मैट्रिक्स में पंक्ति अनुक्रमणिका के रूप में {{math|ad(''e''<sub>''i''</sub>)ad(''e''<sub>''j''</sub>)}}. ट्रेस लेना डालने के समान है {{math|''k'' {{=}} ''n''}} और योग, और इसलिए हम लिख सकते हैं
[[आइंस्टीन योग अंकन]] में, जहां {{math|''c''<sub>''ij''</sub><sup>''k''</sup>}} असत्य बीजगणित के [[संरचना स्थिरांक]] हैं। अनुक्रमणिका {{math|''k''}} कॉलम इंडेक्स और इंडेक्स के रूप में कार्य करता है {{math|''n''}} आव्यूह में पंक्ति अनुक्रमणिका के रूप में {{math|ad(''e''<sub>''i''</sub>)ad(''e''<sub>''j''</sub>)}}. ट्रेस लेना डालने के समान है, इस प्रकार {{math|''k'' {{=}} ''n''}} और योग हैं और इसलिए हम लिख सकते हैं-


:<math>B_{ij} = {c_{im}}^{n} {c_{jn}}^{m}</math>
:<math>B_{ij} = {c_{im}}^{n} {c_{jn}}^{m}</math>
किलिंग फॉर्म सबसे सरल 2-[[ टेन्सर ]] है जिसे संरचना स्थिरांक से बनाया जा सकता है। रूप ही तो है <math>B=B_{ij} e^i \otimes e^j.</math>
किलिंग फॉर्म सबसे सरल 2-[[ टेन्सर | टेन्सर]] है जिसे संरचना स्थिरांक से बनाया जा सकता है। <math>B=B_{ij} e^i \otimes e^j.</math> रूप ही तो है जिसे उपरोक्त अनुक्रमित परिभाषा में, हम ऊपरी और निचले सूचकांकों (को- और कॉन्ट्रा-वैरिएंट इंडेक्स) में अंतर करने के लिए सावधान हैं। ऐसा इसलिए है, क्योंकि कई स्थितियों में, किलिंग फॉर्म को मैनिफोल्ड पर [[मीट्रिक टेंसर]] के रूप में उपयोग किया जा सकता है, इस मामले में टेंसर के परिवर्तन गुणों के लिए भेद महत्वपूर्ण बन जाता है। जब लाई बीजगणित शून्य-विशेषता वाले क्षेत्र पर सेमिसिम्पल लाई बीजगणित होता है, तो इसका किलिंग फॉर्म नॉनडिजेनरेट होता है, और इसलिए सूचकांक को बढ़ाने और कम करने के लिए मीट्रिक टेन्सर के रूप में उपयोग किया जा सकता है। इस मामले में, इसके लिए आधार चुनना सदैव <math>\mathfrak g</math> के रूप में संभव होता है, इस प्रकार जैसे कि सभी ऊपरी सूचकांकों के साथ संरचना स्थिरांक [[एंटीसिमेट्रिक टेंसर]] हैं।
उपरोक्त अनुक्रमित परिभाषा में, हम ऊपरी और निचले सूचकांकों (को- और कॉन्ट्रा-वैरिएंट इंडेक्स) में अंतर करने के लिए सावधान हैं। ऐसा इसलिए है, क्योंकि कई मामलों में, किलिंग फॉर्म को मैनिफोल्ड पर [[मीट्रिक टेंसर]] के रूप में इस्तेमाल किया जा सकता है, इस मामले में टेंसर के परिवर्तन गुणों के लिए भेद एक महत्वपूर्ण बन जाता है। जब लाई बीजगणित एक शून्य-विशेषता वाले क्षेत्र पर सेमिसिम्पल लाई बीजगणित होता है, तो इसका किलिंग फॉर्म नॉनडिजेनरेट होता है, और इसलिए सूचकांक को बढ़ाने और कम करने के लिए मीट्रिक टेन्सर के रूप में इस्तेमाल किया जा सकता है। इस मामले में, इसके लिए आधार चुनना हमेशा संभव होता है <math>\mathfrak g</math> जैसे कि सभी ऊपरी सूचकांकों के साथ संरचना स्थिरांक [[एंटीसिमेट्रिक टेंसर]] हैं।


कुछ झूठ बीजगणित के लिए हत्या का रूप <math>\mathfrak g</math> इसलिए है {{math|''X'', ''Y''}} में <math>\mathfrak g</math> उनके मौलिक मैट्रिक्स प्रतिनिधित्व में देखा गया):{{Citation needed|date=January 2023}}
कुछ असत्य बीजगणित के लिए हत्या का रूप <math>\mathfrak g</math> हैं इसलिए {{math|''X'', ''Y''}} में <math>\mathfrak g</math> उनके मौलिक आव्यूह प्रतिनिधित्व में देखा गया):{{Citation needed|date=January 2023}}
{| class="wikitable"
{| class="wikitable"
|-
|-
! <math>\mathfrak g</math> || <math>B(X,Y)</math> || Classification || Dual coxeter number
! <math>\mathfrak g</math> || <math>B(X,Y)</math> || वर्गीकरण || द्वैत कोक्सीटर संख्या
|-
|-
| <math>\mathfrak{gl}(n, \mathbb{R})</math>  
| <math>\mathfrak{gl}(n, \mathbb{R})</math>  
Line 94: Line 89:


== वास्तविक रूपों के साथ संबंध ==
== वास्तविक रूपों के साथ संबंध ==
{{main|Real form (Lie theory)}}
{{main|वास्तविक प्रारूप}}


लगता है कि <math>\mathfrak g</math> वास्तविक संख्याओं के क्षेत्र पर एक अर्ध-सरल झूठ बीजगणित है <math>\mathbb R</math>. कार्टन की कसौटी के अनुसार, किलिंग फॉर्म नॉनडिजेनरेट है, और विकर्ण प्रविष्टियों के साथ उपयुक्त आधार पर विकर्ण किया जा सकता है {{math|±1}}. सिल्वेस्टर के जड़त्व के नियम के अनुसार, धनात्मक प्रविष्टियों की संख्या बिलिनियर फॉर्म का एक अपरिवर्तनीय है, यानी यह विकर्ण आधार की पसंद पर निर्भर नहीं करता है, और इसे लाई बीजगणित का सूचकांक कहा जाता है <math>\mathfrak g</math>. यह बीच की संख्या है {{math|0}} और का आयाम <math>\mathfrak g</math> जो वास्तविक झूठ बीजगणित का एक महत्वपूर्ण आविष्कार है। विशेष रूप से, एक वास्तविक झूठ बीजगणित <math>\mathfrak g</math> कॉम्पैक्ट कहा जाता है यदि किलिंग फॉर्म ऋणात्मक निश्चित है (या ऋणात्मक अर्ध निश्चित है यदि झूठ बीजगणित अर्धसरल नहीं है)। ध्यान दें कि यह दो असमान परिभाषाओं में से एक है जो आमतौर पर झूठ बीजगणित की कॉम्पैक्टनेस के लिए उपयोग की जाती है; दूसरा कहता है कि एक झूठ बीजगणित कॉम्पैक्ट होता है यदि यह एक कॉम्पैक्ट लाइ समूह से मेल खाता है। किलिंग फॉर्म की [[नकारात्मक निश्चित]]ता के संदर्भ में कॉम्पैक्टनेस की परिभाषा अधिक प्रतिबंधात्मक है, क्योंकि इस परिभाषा का उपयोग करके यह दिखाया जा सकता है कि लाई पत्राचार के तहत, कॉम्पैक्ट लाई बीजगणित कॉम्पैक्ट लाई समूहों के अनुरूप है।
इस प्रकार लगता है कि <math>\mathfrak g</math> वास्तविक संख्याओं के क्षेत्र पर अर्ध-सरल असत्य बीजगणित <math>\mathbb R</math> है, जो कार्टन की कसौटी के अनुसार, किलिंग फॉर्म नॉनडिजेनरेट है, और विकर्ण प्रविष्टियों के साथ उपयुक्त आधार पर {{math|±1}} विकर्ण द्वारा प्रदर्शित किया जा सकता है, इस कारण सिल्वेस्टर के जड़त्व के नियम के अनुसार, धनात्मक प्रविष्टियों की संख्या बिलिनियर फॉर्म का अपरिवर्तनीय है, अर्ताथ यह विकर्ण आधार की पसंद पर निर्भर नहीं करता है, और इसे लाई बीजगणित का सूचकांक <math>\mathfrak g</math> कहा जाता है, यह बीच की संख्या है {{math|0}} और का आयाम <math>\mathfrak g</math> जो वास्तविक असत्य बीजगणित का महत्वपूर्ण आविष्कार है। विशेष रूप से, वास्तविक असत्य बीजगणित <math>\mathfrak g</math> कॉम्पैक्ट कहा जाता है यदि किलिंग फॉर्म ऋणात्मक निश्चित है (या ऋणात्मक अर्ध निश्चित है यदि असत्य बीजगणित अर्धसरल नहीं है)। ध्यान दें कि यह दो असमान परिभाषाओं में से है जो सामान्यतः असत्य बीजगणित की कॉम्पैक्टनेस के लिए उपयोग की जाती है; दूसरा कहता है कि असत्य बीजगणित कॉम्पैक्ट होता है यदि यह कॉम्पैक्ट लाइ समूह से मेल खाता है। किलिंग फॉर्म की [[नकारात्मक निश्चित|ऋणात्मक निश्चित]]ता के संदर्भ में कॉम्पैक्टनेस की परिभाषा अधिक प्रतिबंधात्मक है, क्योंकि इस परिभाषा का उपयोग करके यह दिखाया जा सकता है कि लाई पत्राचार के अनुसार, कॉम्पैक्ट लाई बीजगणित कॉम्पैक्ट लाई समूहों के अनुरूप है।


अगर <math>\mathfrak g_{\mathbb C}</math> सम्मिश्र संख्याओं पर एक अर्धसरल झूठ बीजगणित है, तो कई गैर-समरूपी वास्तविक बीजगणित हैं जिनका जटिलीकरण है <math>\mathfrak g_{\mathbb C}</math>जो उसके वास्तविक रूप कहलाते हैं। यह पता चला है कि प्रत्येक जटिल अर्धसरल झूठ बीजगणित एक अद्वितीय (समरूपता तक) कॉम्पैक्ट वास्तविक रूप को स्वीकार करता है <math>\mathfrak g</math>. दिए गए जटिल अर्धसरल लाई बीजगणित के वास्तविक रूपों को अक्सर उनके किलिंग फॉर्म की जड़ता के सकारात्मक सूचकांक द्वारा लेबल किया जाता है।
यदि <math>\mathfrak g_{\mathbb C}</math> सम्मिश्र संख्याओं पर अर्धसरल असत्य बीजगणित है, तो कई गैर-समरूपी वास्तविक बीजगणित हैं जिनका जटिलीकरण है <math>\mathfrak g_{\mathbb C}</math>जो उसके वास्तविक रूप कहलाते हैं। यह पता चला है कि प्रत्येक जटिल अर्धसरल असत्य बीजगणित अद्वितीय (समरूपता तक) कॉम्पैक्ट वास्तविक रूप <math>\mathfrak g</math> को स्वीकार करता है, इस कारण दिए गए जटिल अर्धसरल लाई बीजगणित के वास्तविक रूपों को अधिकांशतः उनके किलिंग फॉर्म की जड़ता के धनात्मक सूचकांक द्वारा लेबल किया जाता है।


उदाहरण के लिए, जटिल [[विशेष रैखिक समूह]] <math>\mathfrak {sl}(2, \mathbb C)</math> दो वास्तविक रूप हैं, वास्तविक विशेष रेखीय बीजगणित, निरूपित <math>\mathfrak {sl}(2, \mathbb R)</math>, और [[विशेष एकात्मक समूह]], निरूपित <math>\mathfrak {su}(2)</math>. पहला नॉनकॉम्पैक्ट है, तथाकथित स्प्लिट रियल फॉर्म, और इसके किलिंग फॉर्म में हस्ताक्षर हैं {{math|(2, 1)}}. दूसरा सघन वास्तविक रूप है और इसका संहार रूप नकारात्मक निश्चित है, अर्थात् हस्ताक्षर है {{math|(0, 3)}}. संबंधित झूठ समूह गैर-कॉम्पैक्ट समूह हैं <math>\mathrm {SL}(2, \mathbb R)</math> का {{math|2 × 2}} इकाई निर्धारक और विशेष एकात्मक समूह के साथ वास्तविक मैट्रिक्स <math>\mathrm {SU}(2)</math>, जो कॉम्पैक्ट है।
उदाहरण के लिए, जटिल [[विशेष रैखिक समूह]] <math>\mathfrak {sl}(2, \mathbb C)</math> दो वास्तविक रूप हैं, वास्तविक विशेष रेखीय बीजगणित, निरूपित <math>\mathfrak {sl}(2, \mathbb R)</math>, और [[विशेष एकात्मक समूह]], निरूपित <math>\mathfrak {su}(2)</math>. पहला नॉनकॉम्पैक्ट है, तथाकथित स्प्लिट रियल फॉर्म, और इसके किलिंग फॉर्म में हस्ताक्षर हैं {{math|(2, 1)}}. दूसरा सघन वास्तविक रूप है और इसका संहार रूप ऋणात्मक निश्चित है, अर्थात् हस्ताक्षर {{math|(0, 3)}} से संबंधित है, इस कारण असत्य समूह गैर-कॉम्पैक्ट समूह हैं, तथा इस प्रकार <math>\mathrm {SL}(2, \mathbb R)</math> का {{math|2 × 2}} इकाई निर्धारक और विशेष एकात्मक समूह के साथ वास्तविक आव्यूह <math>\mathrm {SU}(2)</math>, जो कॉम्पैक्ट है।


== ट्रेस फॉर्म ==
== ट्रेस फॉर्म ==
होने देना <math>\mathfrak{g}</math> क्षेत्र के ऊपर एक परिमित-आयामी झूठ बीजगणित बनें <math>K</math>, और <math>\rho:\mathfrak{g}\rightarrow \text{End}(V)</math> एक झूठ बीजगणित प्रतिनिधित्व हो। होने देना <math>\text{Tr}_{V}:\text{End}(V)\rightarrow K</math> ट्रेस कार्यात्मक हो <math>V</math>. तब हम प्रतिनिधित्व के लिए ट्रेस फॉर्म को परिभाषित कर सकते हैं <math>\rho</math> जैसा
यहाँ पर <math>\mathfrak{g}</math> क्षेत्र के ऊपर परिमित-आयामी असत्य बीजगणित बनें <math>K</math>, और <math>\rho:\mathfrak{g}\rightarrow \text{End}(V)</math> असत्य बीजगणित प्रतिनिधित्व करता हैं। इस प्रकार <math>\text{Tr}_{V}:\text{End}(V)\rightarrow K</math> ट्रेस कार्यात्मक हो <math>V</math>. तब हम प्रतिनिधित्व के लिए ट्रेस फॉर्म को <math>\rho</math> द्वारा परिभाषित कर सकते हैं  जैसा
:<math>\text{Tr}_\rho:\mathfrak{g}\times\mathfrak{g}\rightarrow K,</math>
:<math>\text{Tr}_\rho:\mathfrak{g}\times\mathfrak{g}\rightarrow K,</math>
:<math>\text{Tr}_\rho(X,Y) = \text{Tr}_V(\rho(X)\rho(Y)).</math>
:<math>\text{Tr}_\rho(X,Y) = \text{Tr}_V(\rho(X)\rho(Y)).</math>
फिर किलिंग फॉर्म विशेष मामला है कि प्रतिनिधित्व आसन्न प्रतिनिधित्व है, <math>\text{Tr}_\text{ad} = B</math>.
फिर किलिंग फॉर्म विशेष मामला है कि प्रतिनिधित्व आसन्न प्रतिनिधित्व है, <math>\text{Tr}_\text{ad} = B</math>.


यह दिखाना आसान है कि यह किसी भी प्रतिनिधित्व के लिए सममित, द्विरेखीय और अपरिवर्तनीय है <math>\rho</math>.
यह दिखाना सरल है कि यह किसी भी प्रतिनिधित्व के लिए सममित, द्विरेखीय और अपरिवर्तनीय है <math>\rho</math>.


अगर इसके अलावा <math>\mathfrak{g}</math> सरल और है <math>\rho</math> अप्रासंगिक है, तो इसे दिखाया जा सकता है <math>\text{Tr}_\rho = I(\rho)B</math> कहाँ <math>I(\rho)</math> प्रतिनिधित्व का सूचकांक है।
यदि इसके अतिरिक्त <math>\mathfrak{g}</math> सरल और है <math>\rho</math> अप्रासंगिक है, तो इसे दिखाया जा सकता है <math>\text{Tr}_\rho = I(\rho)B</math> कहाँ <math>I(\rho)</math> प्रतिनिधित्व का सूचकांक है।


== यह भी देखें ==
== यह भी देखें ==
Line 136: Line 131:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 18/04/2023]]
[[Category:Created On 18/04/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 06:57, 19 October 2023

गणित में, विल्हेम हत्या के नाम पर रखा गया किलिंग फॉर्म सममित द्विरेखीय रूप है जो असत्य समूहों और असत्य बीजगणित के सिद्धांतों में मौलिक भूमिका निभाता है। कार्टन की कसौटी मुख्य रूप से कार्टन के मानदंड (सॉल्वेबिलिटी की कसौटी और अर्ध-सरलता की कसौटी) से पता चलता है कि किलिंग फॉर्म का लाई बीजगणित के सेमीसिम्पल लाई बीजगणित से घनिष्ठ संबंध है।[1]

इतिहास और नाम

किलिंग फॉर्म अनिवार्य रूप से लाई बीजगणित सिद्धांत में किसके द्वारा प्रस्तुत किया गया था? ऐली कार्टन (1894) उनकी थीसिस में असत्य सिद्धांत के ऐतिहासिक सर्वेक्षण में, बोरेल (2001) ने वर्णन किया है कि किस तरह से किलिंग फॉर्म शब्द पहली बार 1951 में सेमिनायर बोरबाकी के लिए अपनी खुद की रिपोर्ट के समय आया था, यह मिथ्या नाम के रूप में उत्पन्न हुआ, क्योंकि पहले से ही असत्य सिद्धांतकारों द्वारा प्रपत्र का उपयोग किया गया था, इस कारण बिना किसी नाम के जुड़ा हुआ था। कुछ अन्य लेखक अब कार्टन-किलिंग फॉर्म शब्द का प्रयोग करते हैं।[2] इस प्रकार 19वीं शताब्दी के अंत में, किलिंग ने नोट किया था कि लाई बीजगणित के नियमित अर्ध-सरल तत्व के विशेषता समीकरण के गुणांक आसन्न समूह के अनुसार अपरिवर्तनीय हैं, जिससे यह पता चलता है कि किलिंग फॉर्म (अर्ताथ डिग्री 2 गुणांक) है अपरिवर्तनीय, अपितु उन्होंने इस तथ्य का अधिक उपयोग नहीं किया था। इस प्रकार मूल परिणाम जो कार्टन ने उपयोग किया, वह कार्टन की कसौटी थी, जिसमें कहा गया है कि किलिंग फॉर्म गैर-पतित है यदि असत्य बीजगणित अर्ध-सरल असत्य बीजगणित है।[2]

परिभाषा

एक असत्य बीजगणित पर विचार करें क्षेत्र पर (गणित) K. हर तत्व x का आसन्न एंडोमोर्फिज्म को ad(x) द्वारा परिभाषित करता है, (जिसके रूप में भी लिखा गया है adx) का लेट ब्रैकेट की सहायता से किया जाता हैं, जैसे

अब, मान लीजिए परिमित आयाम का है, दो ऐसे एंडोमोर्फिज्म की संरचना के आव्यूह का निशान सममित द्विरेखीय रूप को परिभाषित करता है