वेइल समूह: Difference between revisions
No edit summary |
No edit summary |
||
| Line 47: | Line 47: | ||
इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई का फलन है। [[वेइल समूह तत्व की लंबाई]] इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक प्रमुख सबसे लंबा तत्व है। जो ब्रुहट क्रम में पहचानने के विपरीत है। | इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई का फलन है। [[वेइल समूह तत्व की लंबाई]] इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक प्रमुख सबसे लंबा तत्व है। जो ब्रुहट क्रम में पहचानने के विपरीत है। | ||
== बीजगणितीय, समूह-सैद्धांतिक | == बीजगणितीय, समूह-सैद्धांतिक और ज्यामितीय सेटिंग्स में वेइल समूह == | ||
ऊपरोक्त, वेइल समूह को रूट प्रणाली के आइसोमेट्री समूह के उपसमूह के रूप में परिभाषित किया गया था। विभिन्न समूह-सैद्धांतिक और ज्यामितीय संदर्भों (लाई बीजगणित, लाइ समूह, [[सममित स्थान]], आदि) के लिए विशिष्ट वेइल समूहों की विभिन्न परिभाषाएँ भी दी गयी हैं। वेइल समूहों को परिभाषित करने के इन प्रकारों में से प्रत्येक के लिए यह एक (सामान्यतः नॉन-ट्रिवियल) प्रमेय है कि यह इस आलेख के शीर्ष पर परिभाषा के अर्थ में एक वेइल समूह है। अर्थात् ऑब्जेक्ट से जुड़े कुछ रूट प्रणाली का वेइल समूह होते हैं। ऐसे वेइल समूह का एक ठोस अनुभूति सामान्यतः एक विकल्प पर निर्भर करता है। लाई बीजगणित के लिए [[यह सबलजेब्रा परीक्षण]] का लाई समूह के लिए [[अधिकतम टोरस]] का उदाहरण है।<ref name="springer">{{Harvnb|Popov|Fedenko|2001}}</ref> | |||
'''<u><big>कनेक्टेड कॉम्पैक्ट लाइ ग्रुप का वेइल समूह-</big></u>''' | |||
माना कि <math>K</math> कनेक्टेड कॉम्पैक्ट लाइ ग्रुप हो और . इसके बाद हम नॉर्मलाइज़र का परिचय देते हैं <math>T</math> में <math>K</math>, निरूपित <math>N(T)</math> और के रूप में परिभाषित किया गया है | |||
:<math>N(T)=\{x\in K|xtx^{-1}\in T,\,\text{for all }t\in T\}</math>. | :<math>N(T)=\{x\in K|xtx^{-1}\in T,\,\text{for all }t\in T\}</math>. | ||
हम के केंद्रक को भी परिभाषित करते हैं <math>T</math> में <math>K</math>, निरूपित <math>Z(T)</math> और के रूप में परिभाषित किया गया है | हम के केंद्रक को भी परिभाषित करते हैं <math>T</math> में <math>K</math>, निरूपित <math>Z(T)</math> और के रूप में परिभाषित किया गया है | ||
| Line 61: | Line 63: | ||
:<math>W=N(T)/Z(T)</math>. | :<math>W=N(T)/Z(T)</math>. | ||
अब, कोई रूट प्रणाली को परिभाषित कर सकता है <math>\Phi</math> जोड़ी से जुड़ा हुआ है <math>(K,T)</math>; जड़ें गैर-शून्य [[वजन (प्रतिनिधित्व सिद्धांत)]] की आसन्न क्रिया हैं <math>T</math> झूठ बीजगणित पर <math>K</math>. प्रत्येक के लिए <math>\alpha\in\Phi</math>, कोई एक तत्व बना सकता है <math>x_\alpha</math> का <math>N(T)</math> जिसकी कार्रवाई चल रही है <math>T</math> प्रतिबिंब का रूप है।<ref>{{harvnb|Hall|2015}} Propositions 11.35</ref> थोड़े और प्रयास से कोई यह दिखा सकता है कि ये प्रतिबिंब सभी को उत्पन्न करते हैं <math>N(T)/Z(T)</math>.<ref name="Hall 2015"/>इस प्रकार, अंत में, वेइल समूह के रूप में परिभाषित किया गया <math>N(T)/T</math> या <math>N(T)/Z(T)</math> रूट प्रणाली के वेइल समूह के लिए आइसोमोर्फिक है <math>\Phi</math>. | अब, कोई रूट प्रणाली को परिभाषित कर सकता है <math>\Phi</math> जोड़ी से जुड़ा हुआ है <math>(K,T)</math>; जड़ें गैर-शून्य [[वजन (प्रतिनिधित्व सिद्धांत)]] की आसन्न क्रिया हैं <math>T</math> झूठ बीजगणित पर <math>K</math>. प्रत्येक के लिए <math>\alpha\in\Phi</math>, कोई एक तत्व बना सकता है <math>x_\alpha</math> का <math>N(T)</math> जिसकी कार्रवाई चल रही है <math>T</math> प्रतिबिंब का रूप है।<ref>{{harvnb|Hall|2015}} Propositions 11.35</ref> थोड़े और प्रयास से कोई यह दिखा सकता है कि ये प्रतिबिंब सभी को उत्पन्न करते हैं <math>N(T)/Z(T)</math>.<ref name="Hall 2015" />इस प्रकार, अंत में, वेइल समूह के रूप में परिभाषित किया गया <math>N(T)/T</math> या <math>N(T)/Z(T)</math> रूट प्रणाली के वेइल समूह के लिए आइसोमोर्फिक है <math>\Phi</math>. | ||
=== अन्य सेटिंग्स में === | === अन्य सेटिंग्स में === | ||
| Line 70: | Line 72: | ||
:<math>W(T,G) := N(T)/Z(T).\ </math> | :<math>W(T,G) := N(T)/Z(T).\ </math> | ||
समूह W परिमित है - Z, N में एक उपसमूह के परिमित सूचकांक का है। यदि T = T है<sub>0</sub> एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक के बराबर है: <math>Z(T_0) = T_0</math>) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल [[ टोरस्र्स ]]# | समूह W परिमित है - Z, N में एक उपसमूह के परिमित सूचकांक का है। यदि T = T है<sub>0</sub> एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक के बराबर है: <math>Z(T_0) = T_0</math>) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल [[ टोरस्र्स ]]#वेइल समूह कहा जाता है, और W(G) को निरूपित किया जाता है। ध्यान दें कि विशिष्ट भागफल सेट अधिकतम टोरस की पसंद पर निर्भर करता है, किन्तु परिणामी समूह सभी आइसोमोर्फिक (जी के एक आंतरिक ऑटोमोर्फिज्म द्वारा) होते हैं, क्योंकि अधिकतम टोरी संयुग्मित होते हैं। | ||
यदि जी कॉम्पैक्ट और जुड़ा हुआ है, और टी एक अधिकतम टोरस है, तो जी का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है, जैसा कि ऊपर चर्चा की गई है। | यदि जी कॉम्पैक्ट और जुड़ा हुआ है, और टी एक अधिकतम टोरस है, तो जी का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है, जैसा कि ऊपर चर्चा की गई है। | ||
Revision as of 12:31, 2 May 2023
| Lie groups |
|---|
गणित में विशेष रूप से लाई बीजगणित का सिद्धांत, मूल प्रक्रिया Φ का वेइल समूह (हरमन वेइल के नाम पर) उस रूट प्रणाली के आइसोमेट्री समूह का एक उपसमूह है। विशेष रूप से यह उपसमूह है, जो जड़ों के लिए हाइपरप्लेन ओर्थोगोनल के माध्यम से प्रतिबिंबों द्वारा उत्पन्न होता है, और जैसे कि एक परिमित प्रतिबिंब समूह है। वस्तुतः यह जानकारी प्राप्त हुई है कि अधिकांशतः परिमित प्रतिबिंब समूह वेइल समूह होते हैं।[1] संक्षेप में वेइल समूह परिमित कॉक्सेटर समूह हैं और इनके महत्वपूर्ण उदाहरण हैं।
अर्ध-सरल झूठ समूह का वेइल ग्रुप, सेमीसिम्पल लाई बीजगणित, सेमीसिंपल लीनियर बीजगणितीय ग्रुप आदि सेमी-सिंपल लाई बीजगणित के रूट प्रणाली का वेइल ग्रुप है। अर्ध-सरल लाई समूह का वेइल समूह, सेमीसिम्पल लाई बीजगणित, सेमीसिम्पल लीनियर बीजगणितीय समूह आदि उस समूह या सेमी-सिम्पल लाई बीजगणित की रूट प्रणाली का वेइल समूह है।
परिभाषा और उदाहरण
माना कि यूक्लिडियन स्पेस में एक रूट प्रणाली हो। प्रत्येक रूट के लिए , माना कि हाइपरप्लेन के लंब के में प्रतिबिंब को निरूपित करें। जो स्पष्ट रूप से दिया गया है-
- ,
जहाँ आंतरिक उत्पाद है। सभी द्वारा उत्पन्न वेइल समूह का ऑर्थोगोनल समूह का उपसमूह O(V) है। रूट प्रणाली की परिभाषा के अनुसार प्रत्येक , को संरक्षित रखता है। जिससे यह अनुसरण करता है कि एक फाइनाइट समूह है।
रूट प्रणाली की स्थिति में, उदाहरण के लिए, रूट्स के लंबवत हाइपरप्लेन केवल रेखाएं होती हैं और वेइल समूह एक समबाहु त्रिभुज का समरूपता समूह है। जैसा कि चित्र में दिखाया गया है। एक समूह के रूप में, तीन तत्वों पर क्रमचय समूह के लिए समरूपी है। जिसे त्रिभुज के शीर्ष के रूप में माना जा सकता हैं। ध्यान दें कि इस स्थिति में रूट प्रणाली का पूर्ण सिमिट्रिक समूह नहीं है। एक 60 डिग्री का रोटेशन संरक्षित करता है। किन्तु का भाग नहीं है।
हम मूल प्रणाली पर विचार कर सकते हैं। इस स्थिति में, में सभी सदिशों का स्थान है। जिनकी प्रविष्टियों का योग शून्य है। रूट्स में फॉर्म के वैक्टर होते हैं। जहाँ , वें मानक आधार तत्व के लिए है। ऐसी रूट से जुड़ा प्रतिबिंब का परिवर्तन है। जिसे और प्रत्येक सदिश की प्रविष्टियों के परिवर्तन बाद प्राप्त किया। वेइल समूह के लिए तब क्रमचय समूह तत्व प्रारम्भ है।
वेइल चेंबर्स
यदि एक रूट प्रणाली है। जिससे हम हाइपरप्लेन को प्रत्येक रूट के लंबवत मान सकते हैं। याद रखें कि हाइपरप्लेन के विषय में प्रतिबिंब को प्रदर्शित कर सकते हैं और सभी द्वारा उत्पन्न वेइल समूह के परिवर्तनों का समूह है। हाइपरप्लेन के समूह का पूरक डिस्कनेक्ट हो जाता है और प्रत्येक जुड़े घटक को वेइल कक्ष कहते हैं। यदि हम सरल रूट्स का एक विशेष समुच्चय Δ निर्धारित करते हैं। जिससे हम Δ से जुड़े मुख्य वेइल कक्ष को बिंदुओं के समुच्चय के रूप में परिभाषित कर सकते हैं। ऐसा है कि सभी वेइल समूह के लिए निर्धारित है।
प्रतिबिंब के बाद से को संरक्षित करना, वे रूट्स के लंबवत हाइपरप्लेन के समूहों को भी संरक्षित करते हैं। इस प्रकार प्रत्येक वेइल समूह तत्व वेइल कक्षों को अनुमति है।
यह फीगर A2 रूट प्रणाली के स्थिति को प्रदर्शित करता है। रूट्स के लिए हाइपरप्लेन (इस स्थिति में एक आयामी) ऑर्थोगोनल को डैस्ड रेखाओं के द्वारा निर्देशित किया जाता है। छह 60-डिग्री क्षेत्र वाले वेइल कक्ष हैं और छायांकित क्षेत्र संकेतित आधार से जुड़ा हुआ मौलिक वेइल कक्ष है।
वेइल चेम्बर्स के बारे में एक मूलभूत सामान्य प्रमेय यह है कि:[2]
- प्रमेय: वेइल समूह वेइल कक्षों पर स्वतंत्र रूप से और सक्रिय रूप से कार्य करता है। इस प्रकार वेइल समूह का क्रम वेइल कक्षों की संख्या के बराबर होता है।
एक संबंधित परिणाम यह है:[3]
- प्रमेय: एक वेइल कक्ष को ठीक करें। फिर सभी के लिए की वेइल-ऑर्बिट बंद होने में बिल्कुल एक बिंदु का होता है।
कॉक्सेटर समूह संरचना
जनरेटिंग सेट-
वेइल समूह के बारे में एक महत्वपूर्ण परिणाम यह है:[4]
- प्रमेय: यदि के लिए आधार है, तब वेइल समूह साथ में प्रतिबिंबों द्वारा उत्पन्न होता है।
अर्थात् प्रतिबिम्बों से उत्पन्न समूह प्रतिबिंबों द्वारा उत्पन्न समूह के समान है।
संबंध
इस बीच यदि और में हैं। फिर डायनकिन आरेख के लिए आधार के सापेक्ष के बारे में हमें कुछ बताता है कि कैसे जोड़ी व्यवहार करता है। विशेष रूप से माना कि और डायनकिन आरेख में संगत शीर्ष हैं। तब हमारे पास निम्नलिखित परिणाम होते हैं:
- यदि और के बीच में एक बंधन नहीं है। तब और परिवर्तित करते हैं। तब और प्रत्येक के पास दो क्रम हैं। तब हम कह सकते हैं कि दिया गया निम्न संबंध बराबर है-
- यदि और के बीच में एक बंधन है। तब .
- यदि और के बीच में दो बंधन हैं। तब .
- यदि और के बीच में तीन बंधन हैं। तब .
पूर्ववर्ती प्रमाण को सत्यापित करना कठिन नहीं है। यदि हम याद रखें कि डायनकिन आरेख हमें रूट्स की प्रत्येक जोड़ी के बीच के कोण के विषय में क्या दर्शाता है। उदाहरण के लिए यदि दो शीर्षों के बीच कोई बंधन नहीं है। तब और ऑर्थोगोनल हैं। जिससे यह सरलता से अनुसरण करता है कि संबंधित प्रतिबिंब कम्यूट करते हैं। सामान्यतः बांड की संख्या रूट्स के बीच कोण को निर्धारित करती है। दो प्रतिबिंबों का उत्पाद तब कोण द्वारा फैलाए गए सतह में और द्वारा घूर्णन होता है। जैसा कि पढने वाला यह सत्यापित कर सकते हैं, जिससे उपरोक्त प्रमाण का सरलता से अनुसरण हो सके।
एक कॉक्सेटर समूह के रूप में
वेइल समूह परिमित प्रतिबिंब समूहों के उदाहरण को दर्शाते हैं क्योंकि वे प्रतिबिंबों द्वारा उत्पन्न होते हैं। एब्सट्रैक्ट समूह (एक रेखीय समूह के उपसमूह के रूप में नहीं माना जाता है) क्रमशः कॉक्सेटर समूह हैं। जो उन्हें उनके कॉक्सेटर-डाइनकिन आरेख द्वारा वर्गीकृत करने की अनुमति प्रदान करता है। एक कॉक्सेटर समूह होने का अर्थ यह है कि एक वेइल समूह में समूह की एक विशेष प्रकार की प्रस्तुति होती है। जिसमें प्रत्येक जनरेटर xi क्रम दो का है और तब xi2=1 के अतिरिक्त अन्य संबंध (xixj)mij=1 रूप के हैं। जनरेटर सरल रूट्स द्वारा दिए गए प्रतिबिंब हैं और mij is 2, 3, 4, या 6 है। जो इस विषय पर निर्भर करता है कि रूट्स i और j 90, 120, 135, या 150 डिग्री का कोण निर्मित करती हैं। अर्थात् क्या डायनकिन आरेख में वे असंबद्ध हैं, एक साधारण किनारे से जुड़े हुए हैं, एक डबल एज से जुड़े हुए हैं या ट्रिपल एज से जुड़ा हुआ है। इन संबंधों को हम पहले ही ऊपर बुलेट बिंदुओं में नोट कर चुके हैं। किन्तु हम कह सकते हैं कि एक कॉक्सेटर समूह है। हम जानते हैं कि वे ही में एकमात्र संबंध हैं।
इस प्रस्तुति के संदर्भ में वेइल समूहों में ब्रुहट ऑर्डर और लम्बाई का फलन है। वेइल समूह तत्व की लंबाई इन मानक जेनरेटर के संदर्भ में उस तत्व का प्रतिनिधित्व करने वाले सबसे छोटे शब्द की लंबाई है। कॉक्सेटर समूह का एक प्रमुख सबसे लंबा तत्व है। जो ब्रुहट क्रम में पहचानने के विपरीत है।
बीजगणितीय, समूह-सैद्धांतिक और ज्यामितीय सेटिंग्स में वेइल समूह
ऊपरोक्त, वेइल समूह को रूट प्रणाली के आइसोमेट्री समूह के उपसमूह के रूप में परिभाषित किया गया था। विभिन्न समूह-सैद्धांतिक और ज्यामितीय संदर्भों (लाई बीजगणित, लाइ समूह, सममित स्थान, आदि) के लिए विशिष्ट वेइल समूहों की विभिन्न परिभाषाएँ भी दी गयी हैं। वेइल समूहों को परिभाषित करने के इन प्रकारों में से प्रत्येक के लिए यह एक (सामान्यतः नॉन-ट्रिवियल) प्रमेय है कि यह इस आलेख के शीर्ष पर परिभाषा के अर्थ में एक वेइल समूह है। अर्थात् ऑब्जेक्ट से जुड़े कुछ रूट प्रणाली का वेइल समूह होते हैं। ऐसे वेइल समूह का एक ठोस अनुभूति सामान्यतः एक विकल्प पर निर्भर करता है। लाई बीजगणित के लिए यह सबलजेब्रा परीक्षण का लाई समूह के लिए अधिकतम टोरस का उदाहरण है।[5]
कनेक्टेड कॉम्पैक्ट लाइ ग्रुप का वेइल समूह-
माना कि कनेक्टेड कॉम्पैक्ट लाइ ग्रुप हो और . इसके बाद हम नॉर्मलाइज़र का परिचय देते हैं में , निरूपित और के रूप में परिभाषित किया गया है
- .
हम के केंद्रक को भी परिभाषित करते हैं में , निरूपित और के रूप में परिभाषित किया गया है
- .
वेइल समूह का (दिए गए अधिकतम टोरस के सापेक्ष ) तो प्रारंभ में परिभाषित किया गया है
- .
आखिरकार, यह साबित होता है ,[6] किस बिंदु पर वेइल समूह का एक वैकल्पिक विवरण है
- .
अब, कोई रूट प्रणाली को परिभाषित कर सकता है जोड़ी से जुड़ा हुआ है ; जड़ें गैर-शून्य वजन (प्रतिनिधित्व सिद्धांत) की आसन्न क्रिया हैं झूठ बीजगणित पर . प्रत्येक के लिए , कोई एक तत्व बना सकता है का जिसकी कार्रवाई चल रही है प्रतिबिंब का रूप है।[7] थोड़े और प्रयास से कोई यह दिखा सकता है कि ये प्रतिबिंब सभी को उत्पन्न करते हैं .[6]इस प्रकार, अंत में, वेइल समूह के रूप में परिभाषित किया गया या रूट प्रणाली के वेइल समूह के लिए आइसोमोर्फिक है .
अन्य सेटिंग्स में
एक जटिल अर्ध-सरल लाई बीजगणित के लिए, वेइल समूह को केवल जड़ों में प्रतिबिंबों द्वारा उत्पन्न प्रतिबिंब समूह के रूप में परिभाषित किया जाता है - मूल प्रणाली का विशिष्ट अहसास सेमीसिंपल लाई बीजगणित#कार्टन सबलजेब्रस और रूट प्रणाली की पसंद पर निर्भर करता है।
कुछ शर्तों को पूरा करने वाले झूठ समूह G के लिए,[note 1] एक टोरस टी <जी (जो अधिकतम होने की आवश्यकता नहीं है), उस टोरस के संबंध में वेइल समूह को टोरस एन = एन (टी) = एन के नॉर्मलाइज़र के भागफल के रूप में परिभाषित किया गया हैG(टी) टोरस जेड = जेड (टी) = जेड के केंद्रीकरण द्वाराG(टी),
समूह W परिमित है - Z, N में एक उपसमूह के परिमित सूचकांक का है। यदि T = T है0 एक अधिकतम टोरस है (इसलिए यह अपने स्वयं के केंद्रक के बराबर है: ) तब परिणामी भागफल N/Z = N/T को G का मैक्सिमल टोरस्र्स #वेइल समूह कहा जाता है, और W(G) को निरूपित किया जाता है। ध्यान दें कि विशिष्ट भागफल सेट अधिकतम टोरस की पसंद पर निर्भर करता है, किन्तु परिणामी समूह सभी आइसोमोर्फिक (जी के एक आंतरिक ऑटोमोर्फिज्म द्वारा) होते हैं, क्योंकि अधिकतम टोरी संयुग्मित होते हैं।
यदि जी कॉम्पैक्ट और जुड़ा हुआ है, और टी एक अधिकतम टोरस है, तो जी का वेइल समूह अपने लाइ बीजगणित के वेइल ग्रुप के लिए आइसोमॉर्फिक है, जैसा कि ऊपर चर्चा की गई है।
उदाहरण के लिए, सामान्य रैखिक समूह जीएल के लिए, एक अधिकतम टोरस व्युत्क्रमणीय विकर्ण आव्यूहों का उपसमूह डी है, जिसका सामान्यकारक सामान्यीकृत क्रमपरिवर्तन आव्यूह है (क्रमपरिवर्तन आव्यूहों के रूप में आव्यूह, किन्तु 'के स्थान पर किसी भी गैर-शून्य संख्या के साथ) 1s), और जिसका वेइल समूह सममित समूह है। इस स्थिति में भागफल मानचित्र N → N/T विभाजित होता है (क्रमपरिवर्तन मेट्रिसेस के माध्यम से), इसलिए नॉर्मलाइज़र N टोरस और वेइल समूह का एक अर्ध-प्रत्यक्ष उत्पाद है, और वेइल समूह को G के उपसमूह के रूप में व्यक्त किया जा सकता है। सामान्य तौर पर यह हमेशा स्थिति नहीं होता है - भागफल हमेशा विभाजित नहीं होता है, सामान्य एन हमेशा डब्ल्यू और जेड का अर्ध-प्रत्यक्ष उत्पाद नहीं होता है, और वेइल समूह को हमेशा जी के उपसमूह के रूप में महसूस नहीं किया जा सकता है।[5]
ब्रुहत अपघटन
यदि B, G का एक बोरेल उपसमूह है, अर्थात्, एक अधिकतम जुड़ा हुआ स्थान हल करने योग्य समूह उपसमूह और एक अधिकतम टोरस T = T0 को B में स्थित होने के लिए चुना जाता है, तो हमें Bruhat अपघटन प्राप्त होता है
जो फ्लैग किस्म जी/बी के 'शुबर्ट कोशिकाओं' में अपघटन को जन्म देता है (ग्रासमानियन देखें)।
समूह के हस्से आरेख की संरचना ज्यामितीय रूप से कई गुना (बल्कि, समूह के वास्तविक और जटिल रूपों) के कोहोलॉजी से संबंधित है, जो पोंकारे द्वंद्व से विवश है। इस प्रकार वेइल समूह के बीजगणितीय गुण मैनिफोल्ड्स के सामान्य सामयिक गुणों के अनुरूप हैं। उदाहरण के लिए, पोंकारे द्वैत आयाम k और आयाम n-k में कोशिकाओं के बीच एक युग्मन देता है (जहाँ n कई गुना का आयाम है): निचला (0) आयामी सेल वेइल समूह के पहचान तत्व से मेल खाता है, और दोहरी शीर्ष-आयामी कोशिका कॉक्सेटर समूह के सबसे लंबे तत्व से मेल खाती है।
बीजगणितीय समूहों के साथ सादृश्य
बीजगणितीय समूहों और वेइल समूहों के बीच कई समानताएँ हैं - उदाहरण के लिए, सममित समूह के तत्वों की संख्या n! है, और एक परिमित क्षेत्र पर सामान्य रैखिक समूह के तत्वों की संख्या q-फैक्टोरियल से संबंधित है। क्यू-फैक्टोरियल ; इस प्रकार सममित समूह व्यवहार करता है जैसे कि यह एक तत्व के साथ क्षेत्र पर एक रैखिक समूह था। यह क्षेत्र द्वारा एक तत्व के साथ औपचारिक रूप दिया गया है, जो वेइल समूहों को एक तत्व के साथ क्षेत्र पर सरल बीजगणितीय समूह मानता है।
कोहोलॉजी
एक गैर-अबेलियन कनेक्टेड कॉम्पैक्ट लाई ग्रुप जी के लिए, वेइल ग्रुप डब्ल्यू का पहला समूह कॉहोलॉजी अधिकतम टोरस टी में गुणांक के साथ इसे परिभाषित करता था,[note 2] नॉर्मलाइज़र के बाहरी ऑटोमोर्फिज़्म समूह से संबंधित है जैसा:[8]
समूह आउट (जी) के बाहरी ऑटोमोर्फिज़्म अनिवार्य रूप से डायनकिन आरेख के आरेख ऑटोमोर्फिज़्म हैं, जबकि समूह कोहोलॉजी की गणना की जाती है Hämmerli, Matthey & Suter 2004 और एक परिमित प्राथमिक एबेलियन 2-समूह है (); साधारण झूठ समूहों के लिए इसका क्रम 1, 2, या 4 है। 0वें और दूसरे समूह के कोहोलॉजी भी नॉर्मलाइज़र से निकटता से संबंधित हैं।[8]
यह भी देखें
- अफिन वेइल समूह
- अर्धसरल झूठ बीजगणित#Cartan subalgebras और रूट प्रणाली
- अधिकतम टोरस
- एक अर्ध-सरल झूठ बीजगणित की जड़ प्रणाली
- हस्से आरेख
फुटनोट्स
टिप्पणियाँ
- ↑ Different conditions are sufficient – most simply if G is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an algebraically closed field, but a relative Weyl group can be defined for a split Lie group.
- ↑ W acts on T – that is how it is defined – and the group means "with respect to this action".
उद्धरण
संदर्भ
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3-319-13466-6
- Knapp, Anthony W. (2002), Lie Groups: Beyond an Introduction, Progress in Mathematics, vol. 140 (2nd ed.), Birkhaeuser, ISBN 978-0-8176-4259-4
- Popov, V.L.; Fedenko, A.S. (2001) [1994], "Weyl group", Encyclopedia of Mathematics, EMS Press
- Hämmerli, J.-F.; Matthey, M.; Suter, U. (2004), "Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups" (PDF), Journal of Lie Theory, Heldermann Verlag, 14: 583–617, Zbl 1092.22004
अग्रिम पठन
- Bourbaki, Nicolas (2002), Lie Groups and Lie Algebras: Chapters 4-6, Elements of Mathematics, Springer, ISBN 978-3-540-42650-9, Zbl 0983.17001
- Björner, Anders; Brenti, Francesco (2005), Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, vol. 231, Springer, ISBN 978-3-540-27596-1, Zbl 1110.05001
- Coxeter, H. S. M. (1934), "Discrete groups generated by reflections", Ann. of Math., 35 (3): 588–621, CiteSeerX 10.1.1.128.471, doi:10.2307/1968753, JSTOR 1968753
- Coxeter, H. S. M. (1935), "The complete enumeration of finite groups of the form ", J. London Math. Soc., 1, 10 (1): 21–25, doi:10.1112/jlms/s1-10.37.21
- Davis, Michael W. (2007), The Geometry and Topology of Coxeter Groups (PDF), ISBN 978-0-691-13138-2, Zbl 1142.20020
- Grove, Larry C.; Benson, Clark T. (1985), Finite Reflection Groups, Graduate texts in mathematics, vol. 99, Springer, ISBN 978-0-387-96082-1
- Hiller, Howard (1982), Geometry of Coxeter groups, Research Notes in Mathematics, vol. 54, Pitman, ISBN 978-0-273-08517-1, Zbl 0483.57002
- Howlett, Robert B. (1988), "On the Schur Multipliers of Coxeter Groups", J. London Math. Soc., 2, 38 (2): 263–276, doi:10.1112/jlms/s2-38.2.263, Zbl 0627.20019
- Humphreys, James E. (1992) [1990], Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, ISBN 978-0-521-43613-7, Zbl 0725.20028
- Ihara, S.; Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of finite reflection groups" (PDF), J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 155–171, Zbl 0136.28802
- Kane, Richard (2001), Reflection Groups and Invariant Theory, CMS Books in Mathematics, Springer, ISBN 978-0-387-98979-2, Zbl 0986.20038
- Vinberg, E. B. (1984), "Absence of crystallographic groups of reflections in Lobachevski spaces of large dimension", Trudy Moskov. Mat. Obshch., 47
- Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of infinite discrete reflection groups", J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 173–186, hdl:2261/6049, Zbl 0136.28803