सममित समष्टि: Difference between revisions
No edit summary |
m (Abhishekkshukla moved page सममित स्थान to सममित समष्टि without leaving a redirect) |
||
(5 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|A (pseudo-)Riemannian manifold whose geodesics are reversible.}} | {{Short description|A (pseudo-)Riemannian manifold whose geodesics are reversible.}} | ||
गणित में, '''सममित समष्टि''' स्यूडो- रीमानियन कई गुना (या अधिक सामान्यतः, छद्म-रीमानियन मैनिफोल्ड) होता है, जिसके समरूपता के समूह में प्रत्येक बिंदु के बारे में उलटा समरूपता होती है। इसका अध्ययन रीमानियन ज्यामिति के उपकरणों के साथ किया जा सकता है, जिससे होलोनोमी के सिद्धांत में परिणाम सामने आते हैं, या बीजगणितीय रूप से असत्य सिद्धांत के माध्यम से, जिसने एली कार्टन को पूर्ण वर्गीकरण देने की अनुमति दी जाती हैं। सममित समष्टि सामान्यतः अंतर ज्यामिति, [[प्रतिनिधित्व सिद्धांत]] और हार्मोनिक विश्लेषण में होते हैं। | |||
गणित में, सममित | |||
ज्यामितीय शब्दों में, पूर्ण, बस जुड़ा हुआ रीमानियन मैनिफोल्ड सममित | ज्यामितीय शब्दों में, पूर्ण, बस जुड़ा हुआ रीमानियन मैनिफोल्ड सममित समष्टि है यदि और केवल यदि इसका वक्रता टेंसर समानांतर परिवहन के अनुसार अपरिवर्तनीय है। अधिक सामान्यतः, रिमेंनियन मैनिफोल्ड (''एम'', ''जी'') को सममित कहा जाता है यदि और केवल यदि ''एम'' के प्रत्येक बिंदु ''पी'' के लिए, आइसोमेट्री सम्मिलित है। 'एम' 'पी' को ठीक करता है और स्पर्शरेखा समष्टि <math>T_pM</math> पर अभिनय करता है, इस प्रकार शून्य से पहचान के रूप में (प्रत्येक सममित समष्टि पूर्ण रूप से कई गुना है, क्योंकि किसी भी जियोडेसिक को समापन बिंदुओं के बारे में समरूपता के माध्यम से अनिश्चित काल तक बढ़ाया जा सकता है)। दोनों विवरणों को स्वाभाविक रूप से स्यूडो-रीमानियन मैनिफोल्ड्स की सेटिंग तक बढ़ाया जा सकता है। | ||
लाई सिद्धांत के दृष्टिकोण से, सममित | लाई सिद्धांत के दृष्टिकोण से, सममित समष्टि लाई उपसमूह एच द्वारा जुड़े लाई समूह जी का भागफल जी/एच है जो जी के समावेशन (गणित) के अपरिवर्तनीय समूह का (एक जुड़ा हुआ घटक) है। यह परिभाषा में रिमेंनियन परिभाषा से अधिक सम्मिलित है, और एच कॉम्पैक्ट होने पर इसे कम कर देता है। | ||
रीइमेन्नियन सममित समष्टि गणित और भौतिकी दोनों में विभिन्न प्रकार की स्थितियों में उत्पन्न होते हैं। होलोनॉमी के सिद्धांत में उनकी केंद्रीय भूमिका की खोज मार्सेल बर्जर ने की थी। वे प्रतिनिधित्व सिद्धांत और हार्मोनिक विश्लेषण के साथ-साथ अंतर ज्यामिति में अध्ययन की महत्वपूर्ण वस्तुएं हैं। | |||
== ज्यामितीय परिभाषा == | == ज्यामितीय परिभाषा == | ||
एम को जुड़ा हुआ रिमेंनियन मैनिफोल्ड और एम का बिंदु है। पी के | एम को जुड़ा हुआ रिमेंनियन मैनिफोल्ड और एम का बिंदु है। पी के समीप के भिन्नता एफ को 'जियोडेसिक समरूपता' कहा जाता है यदि यह बिंदु पी को ठीक करता है और उस बिंदु के माध्यम से भूगर्भ विज्ञान को उलट देता है, अर्ताथ यदि γ भूगर्भीय है <math> \gamma(0)=p</math> तब <math>f(\gamma(t))=\gamma(-t).</math> होता हैं। यह इस प्रकार है कि पी पर मानचित्र एफ का व्युत्पन्न पी के [[स्पर्शरेखा स्थान|स्पर्शरेखा समष्टि]] पर पहचान मानचित्र घटा है। सामान्य रीमानियन मैनिफोल्ड पर, f को आइसोमेट्रिक होने की आवश्यकता नहीं है, न ही इसे सामान्य रूप से, p के समीप से M के सभी तक बढ़ाया जा सकता है। | ||
M को ' | M को 'समष्टिीय रूप से रिमेंनियन सममित' कहा जाता है यदि इसकी भूगणित समरूपता वास्तव में सममितीय है। यह वक्रता टेंसर के सहसंयोजक व्युत्पन्न के लुप्त होने के बराबर है। | ||
एक | एक समष्टिीय रूप से सममित समष्टि को '(वैश्विक रूप से) सममित समष्टि' कहा जाता है, यदि इसके अतिरिक्त इसके जियोडेसिक समरूपता को सभी एम पर आइसोमेट्री तक बढ़ाया जा सकता है। | ||
=== मूल गुण === | === मूल गुण === | ||
कार्टन-एम्ब्रोस-हिक्स प्रमेय का अर्थ है कि एम | कार्टन-एम्ब्रोस-हिक्स प्रमेय का अर्थ है कि एम समष्टिीय रूप से रिमेंनियन सममित है यदि और केवल यदि इसका वक्रता टेंसर सहसंयोजक व्युत्पन्न है, और इसके अतिरिक्त यह कि प्रत्येक सरल रूप से जुड़ा हुआ, पूर्ण समष्टि समष्टिीय रूप से रीमानियन सममित समष्टि वास्तव में रीमानियन सममित है। | ||
प्रत्येक रिमेंनियन सममित | प्रत्येक रिमेंनियन सममित समष्टि M पूर्ण है और रीमानियन [[सजातीय स्थान|सजातीय समष्टि]] (जिसका अर्थ है कि M का आइसोमेट्री समूह M पर सकर्मक रूप से कार्य करता है)। वास्तव में, आइसोमेट्री समूह का पहले से ही पहचान घटक एम पर सकर्मक रूप से कार्य करता है (क्योंकि एम जुड़ा हुआ है)। | ||
समष्टिीय रूप से रिमेंनियन सममित रिक्त समष्टि जो रिमेंनियन सममित नहीं हैं, को रीमानियन सममित रिक्त समष्टि के भागफल के रूप में आइसोमेट्री के असतत समूहों द्वारा बिना किसी निश्चित बिंदु के, और (समष्टिीय रूप से) रीमानियन सममित रिक्त समष्टि के खुले उपसमुच्चय के रूप में बनाया जा सकता है। | |||
=== उदाहरण === | === उदाहरण === | ||
रिमेंनियन सममित रिक्त | रिमेंनियन सममित रिक्त समष्टि के मूल उदाहरण यूक्लिडियन समष्टि, गोले, प्रक्षेपी समष्टि और अतिपरवलयिक समष्टि हैं, जिनमें से प्रत्येक अपने मानक रीमानियन मैट्रिक्स के साथ हैं। अधिक उदाहरण कॉम्पैक्ट, अर्ध-सरल लाई समूहों द्वारा प्रदान किए जाते हैं जो द्वि-अपरिवर्तनीय रिमेंनियन मीट्रिक से लैस होते हैं। | ||
1 से अधिक जीनस की प्रत्येक कॉम्पैक्ट | 1 से अधिक जीनस की प्रत्येक कॉम्पैक्ट रीमैन सतह (निरंतर वक्रता -1 की अपनी सामान्य मीट्रिक के साथ) समष्टिीय रूप से सममित समष्टि है, लेकिन सममित समष्टि नहीं है। | ||
प्रत्येक | प्रत्येक लेंस समष्टि समष्टिीय रूप से सममित है लेकिन सममित नहीं है, इसके अपवाद के साथ <math>L(2,1)</math> जो सममित है। लेंस रिक्त समष्टि असतत आइसोमेट्री द्वारा 3-गोले के भागफल हैं जिनका कोई निश्चित बिंदु नहीं है। | ||
एक गैर-रिमेंनियन सममित | एक गैर-रिमेंनियन सममित समष्टि का उदाहरण एंटी-डी सिटर समष्टि है। | ||
== बीजगणितीय परिभाषा == | == बीजगणितीय परिभाषा == | ||
बता दें कि G कनेक्टेड लाइ ग्रुप है। फिर जी के लिए 'सममित | यहाँ पर बता दें कि G कनेक्टेड लाइ ग्रुप है। फिर जी के लिए 'सममित समष्टि' सजातीय समष्टि जी/एच है जहां विशिष्ट बिंदु का स्टेबलाइज़र एच ऑट (जी) में इनवॉल्यूशन (गणित) σ के निश्चित बिंदु सेट का खुला उपसमूह है। इस प्रकार σ σ के साथ G<sup>2</sup> = आईडी<sub>''G''</sub> का ऑटोमोर्फिज्म है, और एच अपरिवर्तनीय सेट का खुला उपसमूह है | ||
: <math> G^\sigma=\{ g\in G: \sigma(g) = g\}.</math> | : <math> G^\sigma=\{ g\in G: \sigma(g) = g\}.</math> | ||
क्योंकि H खुला है, यह G के घटकों का संघ है<sup>σ</sup> (बेशक, पहचान घटक सहित)। | क्योंकि H खुला है, यह G के घटकों का संघ है<sup>σ</sup> (बेशक, पहचान घटक सहित)। | ||
जी के ऑटोमोर्फिज्म के रूप में, σ पहचान तत्व को ठीक करता है, और इसलिए, पहचान में अंतर करके, यह लाई बीजगणित के ऑटोमोर्फिज्म को प्रेरित करता है। <math>\mathfrak g</math> G का, जिसे σ द्वारा भी निरूपित किया जाता है, जिसका वर्ग सर्वसमिका है। यह इस प्रकार है कि σ के eigenvalues ± 1 हैं। +1 | जी के ऑटोमोर्फिज्म के रूप में, σ पहचान तत्व को ठीक करता है, और इसलिए, पहचान में अंतर करके, यह लाई बीजगणित के ऑटोमोर्फिज्म को प्रेरित करता है। <math>\mathfrak g</math> G का, जिसे σ द्वारा भी निरूपित किया जाता है, जिसका वर्ग सर्वसमिका है। यह इस प्रकार है कि σ के eigenvalues ± 1 हैं। +1 आइगेनसमष्टि लाई बीजगणित है <math>\mathfrak h</math> एच का (चूंकि यह जी का असत्य बीजगणित है<sup>σ</sup>), और −1 आइगेनसमष्टि को दर्शाया जाएगा <math>\mathfrak m</math>. चूंकि σ का स्वाकारीकरण <math>\mathfrak g</math> है, यह असत्य बीजगणित अपघटन का प्रत्यक्ष योग देता है | ||
:<math> \mathfrak g = \mathfrak h\oplus\mathfrak m</math> | :<math> \mathfrak g = \mathfrak h\oplus\mathfrak m</math> | ||
साथ | इसके साथ | ||
:<math> [\mathfrak h,\mathfrak h]\subset \mathfrak h,\; [\mathfrak h,\mathfrak m]\subset \mathfrak m,\; [\mathfrak m,\mathfrak m]\subset \mathfrak h.</math> | :<math> [\mathfrak h,\mathfrak h]\subset \mathfrak h,\; [\mathfrak h,\mathfrak m]\subset \mathfrak m,\; [\mathfrak m,\mathfrak m]\subset \mathfrak h.</math> | ||
किसी भी सजातीय | किसी भी सजातीय समष्टि के लिए पहली स्थिति स्वचालित है: यह केवल अतिसूक्ष्म स्टेबलाइजर <math>\mathfrak h</math> का ले सबलजेब्रा <math>\mathfrak g</math> है, इस प्रकार इसकी दूसरी शर्त का अर्थ <math>\mathfrak m</math> <math>\mathfrak h</math>-अपरिवर्तनीय पूरक <math>\mathfrak h</math> में <math>\mathfrak g</math> से है, इस प्रकार कोई भी सममित समष्टि रिडक्टिव सजातीय समष्टि है, लेकिन कई रिडक्टिव सजातीय समष्टि हैं जो सममित समष्टि नहीं हैं। सममित रिक्त समष्टि की मुख्य विशेषता तीसरी शर्त है कि <math>\mathfrak m</math> कोष्ठक में <math>\mathfrak h</math> के समान हैं। | ||
इसके विपरीत, कोई | इसके विपरीत, कोई असत्य बीजगणित दिया गया है <math> \mathfrak g</math> इन तीन स्थितियों को संतुष्ट करने वाले प्रत्यक्ष योग अपघटन के साथ, रैखिक मानचित्र σ, पर पहचान के बराबर <math>\mathfrak h</math> और माइनस आइडेंटिटी ऑन <math>\mathfrak m</math>, समावेशी ऑटोमोर्फिज्म है। | ||
== रिमेंनियन सममित | ==== रिमेंनियन सममित समष्टि असत्य-सैद्धांतिक विशेषता को संतुष्ट करते हैं ==== | ||
यदि M रिमेंनियन सममित | यदि M रिमेंनियन सममित समष्टि है, तो M के आइसोमेट्री समूह का पहचान घटक G Lie समूह है जो M पर सकर्मक रूप से कार्य करता है (अर्थात, M रीइमेन्नियन सजातीय है)। इसलिए, यदि हम M के कुछ बिंदु p को ठीक करते हैं, तो M भागफल G/K के लिए भिन्न है, जहाँ K, P पर M पर G की क्रिया के समसमष्टििक समूह को दर्शाता है। p पर क्रिया को अवकलित करके हम T पर K की सममितीय क्रिया प्राप्त करते हैं<sub>''p''</sub>एम। यह क्रिया वफादार है (उदाहरण के लिए, कोस्टेंट के प्रमेय द्वारा, पहचान घटक में किसी भी आइसोमेट्री को इसके [[जेट बंडल]] द्वारा निर्धारित किया जाता है। किसी भी बिंदु पर 1-जेट) और इसलिए के टी के ऑर्थोगोनल समूह का उपसमूह है<sub>''p''</sub>एम, इसलिए कॉम्पैक्ट। इसके अतिरिक्त, यदि हम एस द्वारा निरूपित करते हैं<sub>''p''</sub>: M → M p पर M की जियोडेसिक समरूपता को मानचित्र से प्रदर्शित किया जा सकता हैं। | ||
:<math>\sigma: G \to G, h \mapsto s_p \circ h \circ s_p</math> | :<math>\sigma: G \to G, h \mapsto s_p \circ h \circ s_p</math> | ||
एक इनवोल्यूशन (गणित) | एक इनवोल्यूशन (गणित) असत्य समूह आटोमार्फिज्म है जैसे कि आइसोट्रॉपी समूह K निश्चित बिंदु समूह <math>G^\sigma</math> के बीच समाहित है और इसका पहचान घटक (इसलिए खुला उपसमूह) <math>(G^\sigma)_o\,,</math> अधिक जानकारी के लिए पृष्ठ 209, अध्याय IV, हेल्गसन की डिफरेंशियल ज्योमेट्री, लाई ग्रुप्स, और सिमेट्रिक समष्टिेस में सेक्शन 3 पर परिभाषा और निम्नलिखित प्रस्ताव देखें। | ||
संक्षेप में, M कॉम्पैक्ट आइसोट्रॉपी समूह K के साथ सममित | संक्षेप में, M कॉम्पैक्ट आइसोट्रॉपी समूह K के साथ सममित समष्टि G/K है। इसके विपरीत, कॉम्पैक्ट आइसोट्रॉपी समूह के साथ सममित समष्टि रीमानियन सममित समष्टि हैं, हालांकि यह अद्वितीय तरीके से जरूरी नहीं है। रिमेंनियन सममित समष्टि संरचना प्राप्त करने के लिए हमें पहचान कोसेट eK पर G/K के स्पर्शरेखा समष्टि पर K-इनवैरियेंट आंतरिक उत्पाद को ठीक करने की आवश्यकता है: ऐसा आंतरिक उत्पाद हमेशा औसत से सम्मिलित होता है, क्योंकि K कॉम्पैक्ट है, और G के साथ अभिनय करके , हम G/K पर G-इनवैरियेंट रीइमेन्नियन मीट्रिक g प्राप्त करते हैं। | ||
यह दिखाने के लिए कि G/K रीमानियन सममित है, किसी भी बिंदु p = hK (K का सहसमुच्चय, जहाँ h ∈ G) पर विचार करें और परिभाषित करें | यह दिखाने के लिए कि G/K रीमानियन सममित है, किसी भी बिंदु p = hK (K का सहसमुच्चय, जहाँ h ∈ G) पर विचार करें और परिभाषित करें | ||
:<math>s_p: M \to M,\quad h'K \mapsto h \sigma(h^{-1}h')K</math> | :<math>s_p: M \to M,\quad h'K \mapsto h \sigma(h^{-1}h')K</math> | ||
जहां σ जी फिक्सिंग के का समावेश है। फिर कोई उस एस की जांच कर सकता है<sub>''p''</sub> (स्पष्ट रूप से) एस के साथ आइसोमेट्री है<sub>''p''</sub>(पी) = पी और (अंतर करके) डीएस<sub>''p''</sub> टी पर पहचान घटा के बराबर<sub>''p''</sub>एम। इस प्रकार एस<sub>''p''</sub> जियोडेसिक समरूपता है और, चूंकि p मनमाना था, M रिमेंनियन सममित | जहां σ जी फिक्सिंग के का समावेश है। फिर कोई उस एस की जांच कर सकता है<sub>''p''</sub> (स्पष्ट रूप से) एस के साथ आइसोमेट्री है<sub>''p''</sub>(पी) = पी और (अंतर करके) डीएस<sub>''p''</sub> टी पर पहचान घटा के बराबर<sub>''p''</sub>एम। इस प्रकार एस<sub>''p''</sub> जियोडेसिक समरूपता है और, चूंकि p मनमाना था, M रिमेंनियन सममित समष्टि है। | ||
यदि कोई रिमेंनियन सममित | यदि कोई रिमेंनियन सममित समष्टि M से प्रारंभ करता है, और फिर इन दो निर्माणों को अनुक्रम में करता है, तो प्राप्त रिमेंनियन सममित समष्टि मूल के लिए सममितीय है। इससे पता चलता है कि बीजगणितीय डेटा (जी, के, σ, जी) पूरी तरह से एम की संरचना का वर्णन करता है। | ||
== रीमानियन सममित रिक्त | == रीमानियन सममित रिक्त समष्टि का वर्गीकरण== | ||
{{main| | {{main|सरल असत्य बोलने वाले समूहों की सूची}} | ||
1926 में | 1926 में रीमानियन सममित समष्टिों के बीजगणितीय विवरण ने एली कार्टन को उनका पूर्ण वर्गीकरण प्राप्त करने में सक्षम बनाया जाता हैं। | ||
किसी दिए गए | किसी दिए गए रीमानियन सममित समष्टि एम के लिए (जी, के, σ, जी) इससे जुड़े बीजगणितीय डेटा हो। एम के संभावित आइसोमेट्री वर्गों को वर्गीकृत करने के लिए पहले ध्यान दें कि रिमेंनियन सममित समष्टि का सार्वभौमिक कवर फिर से रीमानियन सममित है, और कवरिंग मैप को इसके केंद्र के उपसमूह द्वारा कवरिंग के जुड़े आइसोमेट्री समूह जी को विभाजित करके वर्णित किया गया है। इसलिए, हम व्यापकता के नुकसान के बिना मान सकते हैं कि एम बस जुड़ा हुआ है। (इसका अर्थ है कि के कंपन के लंबे सटीक अनुक्रम से जुड़ा हुआ है, क्योंकि जी धारणा से जुड़ा हुआ है।) | ||
=== वर्गीकरण योजना === | === वर्गीकरण योजना === | ||
एक साधारण रूप से जुड़े हुए रिमेंनियन सममित | एक साधारण रूप से जुड़े हुए रिमेंनियन सममित समष्टि को इरेड्यूसिबल कहा जाता है यदि यह दो या अधिक रीमानियन सममित समष्टिों का उत्पाद नहीं है। तब यह दिखाया जा सकता है कि कोई भी आसानी से जुड़ा हुआ रिमेंनियन सममित समष्टि इर्रिडिएबल का रिमेंनियन उत्पाद है। इसलिए, हम खुद को इरेड्यूसिबल, बस जुड़े हुए रिमेंनियन सममित समष्टिों को वर्गीकृत करने के लिए खुद को प्रतिबंधित कर सकते हैं। | ||
अगला कदम यह दिखाना है कि कोई भी अप्रासंगिक, बस जुड़ा हुआ रिमेंनियन सममित | अगला कदम यह दिखाना है कि कोई भी अप्रासंगिक, बस जुड़ा हुआ रिमेंनियन सममित समष्टि ''एम'' निम्नलिखित तीन प्रकारों में से है: | ||
1. यूक्लिडियन प्रकार: ''M'' की वक्रता गायब हो जाती है, और इसलिए यह यूक्लिडियन | 1. यूक्लिडियन प्रकार: ''M'' की वक्रता गायब हो जाती है, और इसलिए यह यूक्लिडियन समष्टि के लिए सममितीय है। | ||
2. कॉम्पैक्ट प्रकार: 'एम' में गैर- | 2. कॉम्पैक्ट प्रकार: 'एम' में गैर-ऋणात्मक (लेकिन समान रूप से शून्य नहीं) [[अनुभागीय वक्रता]] है। | ||
3. गैर-कॉम्पैक्ट प्रकार: 'एम' में गैर- | 3. गैर-कॉम्पैक्ट प्रकार: 'एम' में गैर-धनात्मक (लेकिन समान रूप से शून्य नहीं) अनुभागीय वक्रता है। | ||
एक अधिक परिष्कृत अपरिवर्तनीय रैंक है, जो स्पर्शरेखा | एक अधिक परिष्कृत अपरिवर्तनीय रैंक है, जो स्पर्शरेखा समष्टि (किसी भी बिंदु पर) के उप-समष्टि का अधिकतम आयाम है, जिस पर वक्रता समान रूप से शून्य है। रैंक हमेशा कम से कम है, समानता के साथ यदि अनुभागीय वक्रता धनात्मक या ऋणात्मक है। यदि वक्रता धनात्मक है, तो समष्टि सघन प्रकार का है, और यदि ऋणात्मक है, तो यह असंहत प्रकार का है। यूक्लिडियन प्रकार के रिक्त समष्टि उनके आयाम के बराबर रैंक रखते हैं और उस आयाम के यूक्लिडियन समष्टि के लिए आइसोमेट्रिक हैं। इसलिए, यह कॉम्पैक्ट और गैर-कॉम्पैक्ट प्रकार के इरेड्यूसिबल, बस जुड़े हुए रिमेंनियन सममित रिक्त समष्टि को वर्गीकृत करने के लिए बना हुआ है। दोनों ही स्थितियों में दो वर्ग हैं। | ||
ए ''जी'' (वास्तविक) | ए ''जी'' (वास्तविक) सरल असत्य समूह है; | ||
B. ''G'' या तो खुद के साथ कॉम्पैक्ट सिंपल लाइ ग्रुप (कॉम्पैक्ट टाइप) का उत्पाद है, या इस तरह के लाइ ग्रुप (नॉन-कॉम्पैक्ट टाइप) का जटिलता है। | B. ''G'' या तो खुद के साथ कॉम्पैक्ट सिंपल लाइ ग्रुप (कॉम्पैक्ट टाइप) का उत्पाद है, या इस तरह के लाइ ग्रुप (नॉन-कॉम्पैक्ट टाइप) का जटिलता है। | ||
कक्षा बी के उदाहरण पूरी तरह से सरल | कक्षा बी के उदाहरण पूरी तरह से सरल असत्य समूहों के वर्गीकरण द्वारा वर्णित हैं। कॉम्पैक्ट प्रकार के लिए, ''M'' कॉम्पैक्ट बस जुड़ा हुआ सरल लाइ समूह है, ''G'' ''M''×''M'' है और ''K'' विकर्ण उपसमूह है। गैर-कॉम्पैक्ट प्रकार के लिए, ''जी'' सरल रूप से जुड़ा हुआ जटिल सरल लाइ समूह है और ''के'' इसका अधिकतम कॉम्पैक्ट उपसमूह है। दोनों ही स्थितियों में, रैंक लाई ग्रुप की रैंक है|''G'' की रैंक है। | ||
कॉम्पैक्ट बस जुड़े हुए | कॉम्पैक्ट बस जुड़े हुए असत्य समूह शास्त्रीय असत्य समूहों <math>\mathrm{SO}(n)</math>, <math>\mathrm{SU}(n)</math>, <math>\mathrm{Sp}(n)</math> के सार्वभौमिक आवरण हैं और पांच असाधारण असत्य समूह ई<sub>6</sub>, और<sub>7</sub>, और<sub>8</sub>, एफ<sub>4</sub>, जी<sub>2</sub> असाधारण बीजगणित को प्रदर्शित करते हैं। | ||
कक्षा ए के उदाहरण पूरी तरह से गैर-कॉम्पैक्ट के वर्गीकरण द्वारा वास्तविक सरल | कक्षा ए के उदाहरण पूरी तरह से गैर-कॉम्पैक्ट के वर्गीकरण द्वारा वास्तविक सरल असत्य समूहों से जुड़े हुए हैं। गैर-कॉम्पैक्ट प्रकार के लिए, G ऐसा समूह है और K इसका अधिकतम कॉम्पैक्ट उपसमूह है। इस तरह के प्रत्येक उदाहरण में कॉम्पैक्ट प्रकार का समान उदाहरण है, जी के जटिलता के अधिकतम कॉम्पैक्ट उपसमूह पर विचार करके जिसमें के सम्मिलित है। संयुग्मन)। इस तरह के अंतर्विरोध G के जटिलीकरण के अंतर्वलन तक विस्तारित होते हैं, और ये बदले में G के गैर-कॉम्पैक्ट वास्तविक रूपों को वर्गीकृत करते हैं। | ||
कक्षा ए और कक्षा बी दोनों में कॉम्पैक्ट प्रकार और गैर-कॉम्पैक्ट प्रकार के सममित रिक्त | कक्षा ए और कक्षा बी दोनों में कॉम्पैक्ट प्रकार और गैर-कॉम्पैक्ट प्रकार के सममित रिक्त समष्टि के बीच पत्राचार होता है। यह रिमेंनियन सममित रिक्त समष्टि के लिए द्वैत के रूप में जाना जाता है। | ||
=== वर्गीकरण परिणाम === | === वर्गीकरण परिणाम === | ||
वर्ग ए और कॉम्पैक्ट प्रकार के रिमेंनियन सममित | वर्ग ए और कॉम्पैक्ट प्रकार के रिमेंनियन सममित समष्टिों के लिए विशेषज्ञता, कार्टन ने पाया कि निम्नलिखित सात अनंत श्रृंखलाएं और बारह असाधारण रीमानियन सममित समष्टि जी / के हैं। वे यहाँ G और K के संदर्भ में दिए गए हैं, साथ में ज्यामितीय व्याख्या के साथ, यदि आसानी से उपलब्ध हो। इन जगहों की लेबलिंग कार्टन द्वारा दी गई है। | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
! | ! लेबल | ||
! ''G'' | ! ''G'' | ||
! ''K'' | ! ''K'' | ||
! | ! दिशा | ||
! | ! रैंक | ||
! | ! ज्यामितीय व्याख्या | ||
|- | |- | ||
| AI | | AI | ||
Line 109: | Line 106: | ||
| width="120pt" |<math>(n-1)(n+2)/2</math> | | width="120pt" |<math>(n-1)(n+2)/2</math> | ||
| <math>n-1</math> | | <math>n-1</math> | ||
| | | वास्तविक संरचनाओं का समष्टि <math>\mathbb{C}^n</math> जो जटिल निर्धारक को असंबद्ध छोड़ देते हैं | ||
|- | |- | ||
| AII | | AII | ||
Line 116: | Line 113: | ||
| <math>(n-1)(2n+1) </math> | | <math>(n-1)(2n+1) </math> | ||
| <math>n-1</math> | | <math>n-1</math> | ||
| | | चतुष्कोणीय संरचनाओं का समष्टि <math>\mathbb{C}^{2n}</math> हर्मिटियन मीट्रिक के साथ संगत | ||
|- | |- | ||
| AIII | | AIII | ||
Line 123: | Line 120: | ||
| <math>2pq </math> | | <math>2pq </math> | ||
| <math>\min(p,q)</math> | | <math>\min(p,q)</math> | ||
| | | <math>\mathbb{C}^{p+q}</math> के जटिल पी-आयामी उप-समष्टिों का ग्रासमानियन | ||
|- | |- | ||
| BDI | | BDI | ||
Line 130: | Line 127: | ||
| <math> pq </math> | | <math> pq </math> | ||
|<math>\min(p,q)</math> | |<math>\min(p,q)</math> | ||
| | | उन्मुख वास्तविक पी-आयामी उप-समष्टिों का ग्रासमैनियन <math>\mathbb{R}^{p+q}</math> | ||
|- | |- | ||
| DIII | | DIII | ||
Line 137: | Line 134: | ||
| <math> n(n-1) </math> | | <math> n(n-1) </math> | ||
| <math>[n/2]</math> | | <math>[n/2]</math> | ||
| | | ओर्थोगोनल जटिल संरचनाओं का समष्टि <math>\mathbb{R}^{2n}</math> | ||
|- | |- | ||
| CI | | CI | ||
Line 144: | Line 141: | ||
| <math> n(n+1) </math> | | <math> n(n+1) </math> | ||
| <math>n</math> | | <math>n</math> | ||
| | | जटिल संरचनाओं का समष्टि <math>\mathbb{H}^n</math> आंतरिक उत्पाद के साथ संगत | ||
|- | |- | ||
| CII | | CII | ||
Line 151: | Line 148: | ||
| <math> 4pq </math> | | <math> 4pq </math> | ||
|<math>\min(p,q)</math> | |<math>\min(p,q)</math> | ||
| | | के क्वाटरनियोनिक पी-डायमेंशनल सबसमष्टि का ग्रासमैनियन <math>\mathbb{H}^{p+q}</math> | ||
|- | |- | ||
| EI | | EI | ||
Line 165: | Line 162: | ||
| 40 | | 40 | ||
| 4 | | 4 | ||
| | | के सममित उपसमष्टिों का समष्टि <math>(\mathbb C\otimes\mathbb O)P^2</math> आइसोमेट्रिक <math>(\mathbb C\otimes \mathbb H)P^2</math> से | ||
|- | |- | ||
| EIII | | EIII | ||
Line 172: | Line 169: | ||
| 32 | | 32 | ||
| 2 | | 2 | ||
| | | जटिल केली प्रक्षेपी विमान <math>(\mathbb C\otimes\mathbb O)P^2</math> | ||
|- | |- | ||
| EIV | | EIV | ||
Line 179: | Line 176: | ||
| 26 | | 26 | ||
| 2 | | 2 | ||
| | | के सममित उपसमष्टिों का समष्टि <math>(\mathbb C\otimes\mathbb O)P^2</math>आइसोमेट्रिक <math>\mathbb{OP}^2</math> से | ||
|- | |- | ||
| EV | | EV | ||
Line 193: | Line 190: | ||
| 64 | | 64 | ||
| 4 | | 4 | ||
| | | रोसेनफेल्ड प्रक्षेपी विमान <math>(\mathbb H\otimes\mathbb O)P^2</math> ऊपर <math>\mathbb H\otimes\mathbb O</math> | ||
|- | |- | ||
| EVII | | EVII | ||
Line 200: | Line 197: | ||
| 54 | | 54 | ||
| 3 | | 3 | ||
| | | के सममित उपसमष्टिों का समष्टि <math>(\mathbb{H}\otimes\mathbb O)P^2</math> आइसोमॉर्फिक से <math>(\mathbb{C}\otimes\mathbb O)P^2</math> | ||
|- | |- | ||
| EVIII | | EVIII | ||
Line 207: | Line 204: | ||
| 128 | | 128 | ||
| 8 | | 8 | ||
| [[Rosenfeld projective plane]] <math>(\mathbb O\otimes\mathbb O)P^2</math> | | [[Rosenfeld projective plane|रोसेनफेल्ड प्रक्षेपी विमान]] <math>(\mathbb O\otimes\mathbb O)P^2</math> | ||
|- | |- | ||
| EIX | | EIX | ||
Line 214: | Line 211: | ||
| 112 | | 112 | ||
| 4 | | 4 | ||
| | | <math>(\mathbb{O}\otimes\mathbb O)P^2</math> के सममित उपसमष्टिों का समष्टि आइसोमॉर्फिक से <math>(\mathbb{H}\otimes\mathbb O)P^2</math> | ||
|- | |- | ||
| FI | | FI | ||
Line 221: | Line 218: | ||
| 28 | | 28 | ||
| 4 | | 4 | ||
| | | के सममित उपसमष्टिों का समष्टि <math>\mathbb{O}P^2</math> आइसोमॉर्फिक से <math>\mathbb{H}P^2</math> | ||
|- | |- | ||
| FII | | FII | ||
Line 228: | Line 225: | ||
| 16 | | 16 | ||
| 1 | | 1 | ||
| [[Cayley projective plane]] <math>\mathbb{O}P^2</math> | | [[Cayley projective plane|केली प्रक्षेपी विमान]] <math>\mathbb{O}P^2</math> | ||
|- | |- | ||
| G | | G | ||
Line 235: | Line 232: | ||
| 8 | | 8 | ||
| 2 | | 2 | ||
| | | ऑक्टोनियन बीजगणित के सबलजेब्रस का समष्टि <math>\mathbb{O}</math> जो चतुष्कोणीय बीजगणित के लिए समरूप <math>\mathbb{H}</math> हैं | ||
|} | |} | ||
=== ग्रासमैनियन के रूप में === | === ग्रासमैनियन के रूप में === | ||
एक और आधुनिक वर्गीकरण {{Harv| | एक और आधुनिक वर्गीकरण {{Harv|हुआंग|लियुंग|2010}} फ्रायडेंथल जादू वर्ग निर्माण के माध्यम से समान रूप से कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों, रिमेंनियन सममित रिक्त समष्टि वर्गीकृत करता है। अलघुकरणीय कॉम्पैक्ट रीमानियन सममित रिक्त समष्टि, परिमित आवरण तक, या तो कॉम्पैक्ट सरल लाइ समूह, ग्रासमैनियन, [[Lagrangian Grassmannian|लैगरेंजियन ग्रासमैन्नियन]], या उप-समष्टिों का [[डबल Lagrangian Grassmannian|डबल लैगरेंजियन ग्रासमैन्नियन]] है। <math>(\mathbf A \otimes \mathbf B)^n,</math> नॉर्म्ड डिवीजन बीजगणित ए और बी के लिए किया जाता हैं। समान निर्माण इरेड्यूसिबल गैर-कॉम्पैक्ट रीमानियन सममित रिक्त समष्टि का उत्पादन करता है। | ||
== सामान्य सममित | == सामान्य सममित समष्टि == | ||
रिमेंनियन सममित रिक्त | रिमेंनियन सममित रिक्त समष्टि को सामान्य करने वाले सममित रिक्त समष्टि का महत्वपूर्ण वर्ग छद्म-रीमानियन सममित समष्टि है, जिसमें रीमानियन मीट्रिक को [[छद्म-रीमैनियन मीट्रिक|छद्म-रीमानियन मीट्रिक]] (प्रत्येक स्पर्शरेखा समष्टि पर धनात्मक निश्चित के अतिरिक्त नॉनजेनरेट) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, लोरेंत्ज़ियन सममित समष्टि, अर्ताथ, ''एन'' आयामी छद्म-रीमानियन हस्ताक्षर के सममित समष्टि (''एन'' - 1,1), [[सामान्य सापेक्षता]] में महत्वपूर्ण हैं, सबसे उल्लेखनीय उदाहरण मिंकोव्स्की समष्टि, डी सिटर हैं समष्टि और एंटी-[[डी सिटर स्पेस|डी सिटर समष्टि]] (क्रमशः शून्य, धनात्मक और ऋणात्मक वक्रता के साथ) रहता हैं। इस प्रकार आयाम ''n'' के डी सिटर समष्टि की पहचान आयाम ''n'' +1 के [[मिन्कोवस्की अंतरिक्ष|मिन्कोवस्की समष्टि]] में 1-शीट वाले हाइपरबोलॉइड से की जा सकती है। | ||
सममित और | सममित और समष्टिीय रूप से सममित रिक्त समष्टि को सामान्य रूप से सममित सममित समष्टि माना जा सकता है। यदि ''एम'' = ''जी''/''एच'' सममित समष्टि है, तो नोमिजु ने दिखाया कि ''जी''-अपरिवर्तनीय मरोड़-मुक्त संबंध संबंध है (अर्थात संबंध संबंध जिसका मरोड़ तनाव गायब हो जाता है) 'एम' पर जिसका कनेक्शन का वक्रता [[समानांतर परिवहन]] है। इसके विपरीत, इस तरह के कनेक्शन के साथ कई गुना समष्टिीय रूप से सममित है (अर्ताथ, इसका सार्वभौमिक आवरण सममित समष्टि है)। इस तरह के मैनिफोल्ड्स को उन एफाइन मैनिफोल्ड्स के रूप में भी वर्णित किया जा सकता है, जिनकी जियोडेसिक समरूपताएं विश्व स्तर पर परिभाषित एफिन डिफियोमोर्फिज्म हैं, जो रिमेंनियन और छद्म-रीमानियन स्थिति को सामान्य करती हैं। | ||
=== वर्गीकरण परिणाम === | === वर्गीकरण परिणाम === | ||
रीमानियन सममित रिक्त समष्टि का वर्गीकरण सामान्य कारण के लिए सामान्य स्थिति में आसानी से विस्तार नहीं करता है कि सममित समष्टि का कोई सामान्य विभाजन इरेड्यूसिबल्स के उत्पाद में नहीं होता है। यहाँ लाई बीजगणित के साथ सममित समष्टि G/H है | |||
:<math>\mathfrak g = \mathfrak h\oplus \mathfrak m</math> | :<math>\mathfrak g = \mathfrak h\oplus \mathfrak m</math> | ||
अप्रासंगिक कहा जाता है | अप्रासंगिक कहा जाता है यदि <math>\mathfrak m</math> का अलघुकरणीय प्रतिनिधित्व <math>\mathfrak h</math> है इस कारण तब से <math>\mathfrak h</math> सामान्य रूप से सेमीसिम्पल (या यहां तक कि रिडक्टिव) नहीं है, इसमें अविघटनीय मॉड्यूल अभ्यावेदन हो सकते हैं जो इरेड्यूसेबल नहीं हैं। | ||
हालांकि, अलघुकरणीय सममित रिक्त | हालांकि, अलघुकरणीय सममित रिक्त समष्टि वर्गीकृत किया जा सकता है। जैसा कि और अपरिष्कृत पानी द्वारा दिखाया गया है, द्विभाजन है: अलघुकरणीय सममित समष्टि G/H या तो समतल है (अर्थात, सजातीय समष्टि) या <math>\mathfrak g</math> अर्धसरल है। यह यूक्लिडियन रिक्त समष्टि और कॉम्पैक्ट या गैर-कॉम्पैक्ट प्रकार के बीच रिमेंनियन द्विभाजन का एनालॉग है, और इसने एम. बर्जर को सेमीसिम्पल सममित रिक्त समष्टि (अर्ताथ, वाले) को वर्गीकृत करने के लिए प्रेरित किया <math>\mathfrak g</math> सेमीसिंपल) और निर्धारित करें कि इनमें से कौन सा अलघुकरणीय है। बाद वाला प्रश्न रीमानियन स्थिति की तुलना में अधिक सूक्ष्म है: भले ही <math>\mathfrak g</math> सरल है, G/H अलघुकरणीय नहीं हो सकता है। | ||
जैसा कि रीमानियन स्थिति में जी = एच × एच के साथ अर्ध-सरल सममित | जैसा कि रीमानियन स्थिति में जी = एच × एच के साथ अर्ध-सरल सममित समष्टि हैं। कोई भी अर्ध-सरल सममित समष्टि सममित रिक्त समष्टि के साथ इस रूप के सममित रिक्त समष्टि का उत्पाद है जैसे कि <math>\mathfrak g</math> साधारण है। यह बाद के स्थिति का वर्णन करने के लिए बनी हुई है। इसके लिए, (वास्तविक) सरल लाई बीजगणित के इनवोल्यूशन σ को वर्गीकृत करने की आवश्यकता है, इस प्रकार <math>\mathfrak g</math> यदि <math>\mathfrak g^c</math> सरल नहीं है, तो <math>\mathfrak g</math> जटिल सरल लाई बीजगणित है, और संबंधित सममित रिक्त समष्टि का रूप G/H है, जहां H, G का वास्तविक रूप है: ये रीइमेन्नियन सममित रिक्त समष्टि G/K के अनुरूप हैं, जिसमें G जटिल सरल लाई समूह है, और K अधिकतम कॉम्पैक्ट उपसमूह प्रकट करता हैं। | ||
इस प्रकार हम मान सकते हैं <math>\mathfrak g^c</math> साधारण है। असली सबलजेब्रा <math>\mathfrak g</math> के जटिल | इस प्रकार हम मान सकते हैं <math>\mathfrak g^c</math> साधारण है। असली सबलजेब्रा <math>\mathfrak g</math> के जटिल एंटीलाइनर इनवोल्यूशन τ के निश्चित बिंदु सेट के रूप में देखा जा सकता है <math>\mathfrak g^c</math>, जबकि σ जटिल एंटीलाइनर इनवोल्यूशन तक फैला हुआ है <math>\mathfrak g^c</math> τ के साथ आ रहा है और इसलिए जटिल रैखिक आक्रमण σ∘τ भी है। | ||
इसलिए वर्गीकरण जटिल लाई बीजगणित के एंटीलाइनियर इन्वोल्यूशन के आने वाले जोड़े के वर्गीकरण को कम कर देता है। समग्र σ∘τ जटिल सममित | इसलिए वर्गीकरण जटिल लाई बीजगणित के एंटीलाइनियर इन्वोल्यूशन के आने वाले जोड़े के वर्गीकरण को कम कर देता है। समग्र σ∘τ जटिल सममित समष्टि निर्धारित करता है, जबकि τ वास्तविक रूप निर्धारित करता है। इससे किसी दिए गए के लिए सममित रिक्त समष्टि की सारणी से <math>\mathfrak g^c</math> बनाना सरल है , और इसके अतिरिक्त, σ और τ का आदान-प्रदान करके स्पष्ट द्वैत दिया जाता है। यह रिमेंनियन स्थिति से कॉम्पैक्ट/गैर-कॉम्पैक्ट द्वंद्व को बढ़ाता है, जहां या तो σ या τ कार्टन इनवोल्यूशन है, अर्ताथ, इसका निश्चित बिंदु सेट अधिकतम कॉम्पैक्ट सबलजेब्रा है। | ||
=== टेबल्स === | === टेबल्स === | ||
निम्न तालिका प्रत्येक शास्त्रीय और असाधारण जटिल सरल | निम्न तालिका प्रत्येक शास्त्रीय और असाधारण जटिल सरल असत्य समूह के लिए जटिल सममित रिक्त समष्टि और वास्तविक रूपों द्वारा वास्तविक सममित रिक्त समष्टि को अनुक्रमित करती है। | ||
{| class="wikitable" style="text-align:center" | {| class="wikitable" style="text-align:center" | ||
Line 316: | Line 313: | ||
| ''G''/U(''k'',''ℓ''), ''k'' + ''ℓ'' = ''n'' <br/> or ''G''/GL(''n'','''R''') | | ''G''/U(''k'',''ℓ''), ''k'' + ''ℓ'' = ''n'' <br/> or ''G''/GL(''n'','''R''') | ||
|} | |} | ||
असाधारण सरल | असाधारण सरल असत्य समूहों के लिए, रिमेंनियन स्थिति को स्पष्ट रूप से नीचे सम्मिलित किया गया है, जिससे σ को पहचान का समावेश (डैश द्वारा इंगित) किया जा सके। उपरोक्त तालिकाओं में यह स्पष्ट रूप से केस kl = 0 द्वारा कवर किया गया है। | ||
{| class="wikitable" style="text-align:center" | {| class="wikitable" style="text-align:center" | ||
Line 458: | Line 455: | ||
== कमजोर सममित रीमानियन रिक्त | == कमजोर सममित रीमानियन रिक्त समष्टि == | ||
{{main| | {{main|कमजोर सममित स्थान}} | ||
1950 के दशक में [[एटले सेलबर्ग]] ने कार्टन की सममित | 1950 के दशक में [[एटले सेलबर्ग]] ने कार्टन की सममित समष्टि की परिभाषा को कमजोर सममित रिमेंनियन समष्टि या वर्तमान शब्दावली में कमजोर सममित समष्टि तक विस्तारित किया। इन्हें रीइमेन्नियन manifolds ''M'' के रूप में परिभाषित किया गया है, जो कि आइसोमैट्रिक ''G'' के सकर्मक जुड़े हुए समूह के साथ है और isometry σ normalizing ''G'' जैसे कि ''x'', ''y'' में दिया गया है। 'M'' ''G'' में आइसोमेट्री ''s'' है जैसे कि ''sx'' = σ''y'' और ''sy'' = σ''x''। (सेलबर्ग की धारणा है कि σ<sup>2</sup> जी का तत्व होना चाहिए जिसे बाद में [[अर्नेस्ट विनबर्ग]] द्वारा अनावश्यक दिखाया गया था।) सेलबर्ग ने प्रमाणित किया कि कमजोर सममित समष्टि गेलफैंड जोड़े को जन्म देते हैं, इसलिए विशेष रूप से एल पर जी का [[एकात्मक प्रतिनिधित्व]]<sup>2</sup>(M) बहुलता मुक्त है।'' | ||
सेल्बर्ग की परिभाषा को जियोडेसिक समरूपता के सामान्यीकरण के संदर्भ में समान रूप से अभिव्यक्त किया जा सकता है। यह आवश्यक है कि M में प्रत्येक बिंदु x और x पर स्पर्शरेखा सदिश X के लिए, x और X पर निर्भर करते हुए, M की आइसोमेट्री s है, जैसे कि | सेल्बर्ग की परिभाषा को जियोडेसिक समरूपता के सामान्यीकरण के संदर्भ में समान रूप से अभिव्यक्त किया जा सकता है। यह आवश्यक है कि M में प्रत्येक बिंदु x और x पर स्पर्शरेखा सदिश X के लिए, x और X पर निर्भर करते हुए, M की आइसोमेट्री s है, जैसे कि | ||
Line 467: | Line 464: | ||
*x पर s का डेरिवेटिव X को –X को भेजता है। | *x पर s का डेरिवेटिव X को –X को भेजता है। | ||
जब s, X से स्वतंत्र होता है, तो M सममित | जब s, X से स्वतंत्र होता है, तो M सममित समष्टि होता है। | ||
जटिल सेमीसिंपल लाई बीजगणित के आवधिक ऑटोमोर्फिज्म के वर्गीकरण के आधार पर, अख़ीज़र और विनबर्ग द्वारा कमजोर सममित रिक्त | जटिल सेमीसिंपल लाई बीजगणित के आवधिक ऑटोमोर्फिज्म के वर्गीकरण के आधार पर, अख़ीज़र और विनबर्ग द्वारा कमजोर सममित रिक्त समष्टि और उनके वर्गीकरण का विवरण दिया गया है। {{harvtxt|Wolf|2007}}. | ||
== गुण == | == गुण == | ||
सममित | सममित समष्टिों के कुछ गुणों और रूपों पर ध्यान दिया जा सकता है। | ||
=== [[मीट्रिक टेंसर]] उठाना === | === [[मीट्रिक टेंसर]] उठाना === | ||
रीमानियन मैनिफोल्ड पर मीट्रिक टेंसर <math>M</math> स्केलर उत्पाद पर उठाया जा सकता है <math>G</math> इसे [[ मारक रूप |मारक रूप]] के साथ जोड़कर यह परिभाषित करके किया जाता है | |||
:<math>\langle X,Y\rangle_\mathfrak{g}=\begin{cases} | :<math>\langle X,Y\rangle_\mathfrak{g}=\begin{cases} | ||
Line 482: | Line 479: | ||
0 & \mbox{otherwise} | 0 & \mbox{otherwise} | ||
\end{cases} </math> | \end{cases} </math> | ||
यहाँ, <math>\langle\cdot,\cdot\rangle_p</math> रिमेंनियन मीट्रिक पर परिभाषित किया गया है <math>T_pM</math>, और <math>B(X,Y)=\operatorname{trace} ( \operatorname{ad} X \circ \operatorname{ad} Y)</math> संहार रूप है। माइनस साइन दिखाई देता है क्योंकि किलिंग फॉर्म नेगेटिव-डेफिनेट ऑन है <math>\mathfrak{h}~;</math> यह बनाता है <math> \langle \cdot,\cdot\rangle_\mathfrak{g}</math> | यहाँ, <math>\langle\cdot,\cdot\rangle_p</math> रिमेंनियन मीट्रिक पर परिभाषित किया गया है <math>T_pM</math>, और <math>B(X,Y)=\operatorname{trace} ( \operatorname{ad} X \circ \operatorname{ad} Y)</math> संहार का रूप है। इस प्रकार माइनस साइन दिखाई देता है क्योंकि किलिंग फॉर्म नेगेटिव-डेफिनेट ऑन है <math>\mathfrak{h}~;</math> यह बनाता है <math> \langle \cdot,\cdot\rangle_\mathfrak{g}</math> धनात्मक रूप से निश्चित हैं। | ||
=== गुणनखंड === | === गुणनखंड === | ||
स्पर्शरेखा | स्पर्शरेखा समष्टि <math>\mathfrak{m}</math> किलिंग फॉर्म द्वारा वर्गीकृत ईजेनसमष्टि में आगे फैक्टर किया जा सकता है।<ref>Jurgen Jost, (2002) "Riemannian Geometry and Geometric Analysis", Third edition, Springer ''(See section 5.3, page 256)''</ref> यह निकटवर्ती मानचित्र को परिभाषित करके पूरा किया जाता है <math>\mathfrak{m}\to\mathfrak{m}</math> ले रहा <math>Y\mapsto Y^\#</math> जैसा | ||
:<math>\langle X,Y^\# \rangle = B(X,Y)</math> | :<math>\langle X,Y^\# \rangle = B(X,Y)</math> | ||
कहाँ <math>\langle \cdot,\cdot \rangle</math> रिमेंनियन मीट्रिक चालू है <math>\mathfrak{m}</math> और <math>B(\cdot,\cdot)</math> संहार रूप है। इस मानचित्र को कभी-कभी सामान्यीकृत | कहाँ <math>\langle \cdot,\cdot \rangle</math> रिमेंनियन मीट्रिक चालू है <math>\mathfrak{m}</math> और <math>B(\cdot,\cdot)</math> संहार रूप है। इस प्रकार इस मानचित्र को कभी-कभी सामान्यीकृत समष्टिांतरण कहा जाता है, जैसा कि ऑर्थोगोनल समूहों के लिए समष्टिांतरण और एकात्मक समूहों के लिए हर्मिटियन संयुग्म से मेल खाता है। यह रेखीय कार्यात्मक है, और यह स्व-संलग्न है, और इसलिए कोई यह निष्कर्ष निकालता है कि अलौकिक आधार है <math>Y_1,\ldots,Y_n</math> का <math>\mathfrak{m}</math> साथ उक्त समीकरण देता हैं। | ||
:<math>Y^\#_i=\lambda_iY_i</math> | :<math>Y^\#_i=\lambda_iY_i</math> | ||
इसमें मीट्रिक के संबंध में ये ऑर्थोगोनल हैं | इसमें मीट्रिक के संबंध में ये ऑर्थोगोनल हैं | ||
:<math>\langle Y^\#_i,Y_j \rangle = \lambda_i \langle Y_i,Y_j \rangle = B(Y_i,Y_j) = \langle Y^\#_j,Y_i \rangle = \lambda_j \langle Y_j,Y_i \rangle</math> | :<math>\langle Y^\#_i,Y_j \rangle = \lambda_i \langle Y_i,Y_j \rangle = B(Y_i,Y_j) = \langle Y^\#_j,Y_i \rangle = \lambda_j \langle Y_j,Y_i \rangle</math> | ||
चूंकि किलिंग फॉर्म सममित है। यह | चूंकि किलिंग फॉर्म सममित है। यह <math>\mathfrak{m}</math> ईजेनसमष्टि में गुणनखंड करता है | ||
:<math>\mathfrak{m}=\mathfrak{m}_1\oplus\cdots\oplus\mathfrak{m}_d</math> | :<math>\mathfrak{m}=\mathfrak{m}_1\oplus\cdots\oplus\mathfrak{m}_d</math> | ||
साथ | इसके साथ | ||
:<math>[\mathfrak{m}_i,\mathfrak{m}_j]=0</math> | :<math>[\mathfrak{m}_i,\mathfrak{m}_j]=0</math> | ||
जिसके लिए <math>i\ne j</math>. के स्थिति के लिए <math>\mathfrak{g}</math> सेमीसिंपल, जिससे कि किलिंग फॉर्म नॉन-डिजनरेट हो, मेट्रिक इसी प्रकार फ़ैक्टराइज़ करता है: | |||
:<math>\langle\cdot,\cdot\rangle=\frac{1}{\lambda_1}\left.B\right|_{\mathfrak{m}_1}+\cdots +\frac{1}{\lambda_d}\left.B\right|_{\mathfrak{m}_d}</math> | :<math>\langle\cdot,\cdot\rangle=\frac{1}{\lambda_1}\left.B\right|_{\mathfrak{m}_1}+\cdots +\frac{1}{\lambda_d}\left.B\right|_{\mathfrak{m}_d}</math> | ||
कुछ व्यावहारिक अनुप्रयोगों में, इस गुणनखंड की व्याख्या ऑपरेटरों के स्पेक्ट्रम के रूप में की जा सकती है, | कुछ व्यावहारिक अनुप्रयोगों में, इस गुणनखंड की व्याख्या ऑपरेटरों के स्पेक्ट्रम के रूप में की जा सकती है, इस प्रकार उदाहरण के लिए हाइड्रोजन परमाणु का स्पेक्ट्रम, कक्षीय के कोणीय गति के विभिन्न मूल्यों के अनुरूप किलिंग फॉर्म के eigenvalues के साथ (अर्ताथ किलिंग फॉर्म [[कासिमिर संचालक]] है जो विभिन्न अभ्यावेदन को वर्गीकृत कर सकता है जिसके अनुसार विभिन्न ऑर्बिटल्स रूपांतरित होते हैं।) | ||
सिमिट्रिक | सिमिट्रिक समष्टि का वर्गीकरण इस आधार पर आगे बढ़ता है कि किलिंग फॉर्म धनात्मक/ऋणात्मक निश्चित है या नहीं इस बात का ध्यान रखा जाता हैं। | ||
== अनुप्रयोग और विशेष स्थिति == | == अनुप्रयोग और विशेष स्थिति == | ||
=== सममित | === सममित समष्टि और समरूपता === | ||
{{main| | {{main|हर्मिटियन स्थिति}} | ||
यदि बिंदु पर होलोनॉमी समूह का पहचान घटक | यदि बिंदु पर होलोनॉमी समूह का पहचान घटक रीमानियन मैनिफोल्ड का रीमानियन होलोनॉमी टेंगेंट समष्टि पर इरेड्यूसिव रूप से कार्य करता है, तो या तो मैनिफोल्ड समष्टिीय रूप से रिमेंनियन सममित समष्टि है, या यह होलोनॉमी समूह द बर्जर वर्गीकरण में से है। | ||
=== हर्मिटियन सममित | === हर्मिटियन सममित समष्टि === | ||
{{main| | {{main|हर्मिटियन सममित स्थान}} | ||
एक रिमेंनियन सममित | एक रिमेंनियन सममित समष्टि जो अतिरिक्त रूप से रीमानियन मीट्रिक के साथ संगत समानांतर जटिल संरचना से सुसज्जित है, [[हर्मिटियन सममित स्थान|हर्मिटियन सममित समष्टि]] कहलाता है। कुछ उदाहरण जटिल सदिश समष्टि और जटिल प्रक्षेपी समष्टि हैं, दोनों अपने सामान्य रिमेंनियन मीट्रिक के साथ, और उपयुक्त मीट्रिक के साथ जटिल इकाई गेंदें जिससे कि वे पूर्ण और रीमानियन सममित हो जाते हैं। | ||
एक अलघुकरणीय सममित | एक अलघुकरणीय सममित समष्टि G/K हर्मिटियन है यदि और केवल यदि K में केंद्रीय वृत्त है। इस प्रकार इस वृत्त द्वारा चौथाई मोड़ पहचान कोसेट पर स्पर्शरेखा समष्टि पर i से गुणा के रूप में कार्य करता है। इस प्रकार हर्मिटियन सममित समष्टि वर्गीकरण से आसानी से पढ़े जाते हैं। कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों स्थितियों में यह पता चला है कि चार अनंत श्रृंखलाएं हैं, अर्थात् AIII, BDI p = 2, DIII और CI के साथ, और दो असाधारण समष्टि, अर्थात् EIII और EVII। गैर-कॉम्पैक्ट हर्मिटियन सममित रिक्त समष्टि को जटिल वेक्टर रिक्त समष्टि में बंधे हुए सममित डोमेन के रूप में महसूस किया जा सकता है। | ||
=== क्वाटरनियन-कहलर सममित | === क्वाटरनियन-कहलर सममित समष्टि === | ||
{{main| | {{main|क्वाटरनियोन कैहलर सममित स्थान}} | ||
एक रिमेंनियन सममित | एक रिमेंनियन सममित समष्टि जो प्रत्येक बिंदु पर काल्पनिक चतुर्भुजों के लिए एंड (टीएम) आइसोमोर्फिक के समानांतर सबबंडल से सुसज्जित है, और रीमानियन मीट्रिक के साथ संगत है, जिसे क्वाटरनियन-कहलर सममित समष्टि कहा जाता है। | ||
एक अलघुकरणीय सममित | एक अलघुकरणीय सममित समष्टि G/K चतुष्कोणीय-कहलर है यदि और केवल यदि K के समदैशिक निरूपण में Sp(1) योग होता है और चतुर्भुज सदिश समष्टि पर [[इकाई चतुष्कोण|इकाई चतुष्कोणों]] की तरह कार्य करता है। इस प्रकार चतुष्कोणीय-कहलर सममित समष्टि वर्गीकरण से आसानी से पढ़े जाते हैं। कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों स्थितियों में यह पता चला है कि प्रत्येक जटिल सरल लाई समूह के लिए बिल्कुल है, अर्थात् पी = 2 या क्यू = 2 के साथ एआई (ये आइसोमोर्फिक हैं), पी = 4 या क्यू = 4 के साथ बीडीआई , सीआईआई पी = 1 या क्यू = 1, ईआईआई, ईवीआई, ईआईएक्स, एफआई और जी के साथ देता हैं। | ||
=== बॉटल आवधिकता प्रमेय === | === बॉटल आवधिकता प्रमेय === | ||
{{main| | {{main|बॉटल आवधिकता प्रमेय}} | ||
[[बॉटल आवधिकता प्रमेय]] में, स्थिर [[ऑर्थोगोनल समूह]] के लूप रिक्त | [[बॉटल आवधिकता प्रमेय]] में, स्थिर [[ऑर्थोगोनल समूह]] के लूप रिक्त समष्टि को रिडक्टिव सममित रिक्त समष्टि के रूप में व्याख्या किया जा सकता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
*ओर्थोगोनल सिमेट्रिक ले बीजगणित | *ओर्थोगोनल सिमेट्रिक ले बीजगणित | ||
* सटेक आरेख | * सटेक आरेख | ||
* कार्टन इनवोल्यूशन | * कार्टन इनवोल्यूशन | ||
Line 544: | Line 540: | ||
* {{citation|first=Élie|last= Cartan| title= Sur une classe remarquable d'espaces de Riemann, II|journal= Bulletin de la Société Mathématique de France|volume=55|year=1927|pages=114–134|doi= 10.24033/bsmf.1113|doi-access=free}} | * {{citation|first=Élie|last= Cartan| title= Sur une classe remarquable d'espaces de Riemann, II|journal= Bulletin de la Société Mathématique de France|volume=55|year=1927|pages=114–134|doi= 10.24033/bsmf.1113|doi-access=free}} | ||
* {{citation|first=Mogens|last= Flensted-Jensen|title= Analysis on Non-Riemannian Symmetric Spaces|series= CBMS Regional Conference|publisher= American Mathematical Society| year= 1986|isbn=978-0-8218-0711-8}} | * {{citation|first=Mogens|last= Flensted-Jensen|title= Analysis on Non-Riemannian Symmetric Spaces|series= CBMS Regional Conference|publisher= American Mathematical Society| year= 1986|isbn=978-0-8218-0711-8}} | ||
*{{citation|first=Sigurdur|last=Helgason|title=Differential geometry, Lie groups and symmetric spaces|year=1978|publisher=Academic Press|isbn=0-12-338460-5}} The standard book on | *{{citation|first=Sigurdur|last=Helgason|title=Differential geometry, Lie groups and symmetric spaces|year=1978|publisher=Academic Press|isbn=0-12-338460-5}} The standard book on रीइमेन्नियन symmetric spaces. | ||
*{{citation|first=Sigurdur|last=Helgason|title=Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions|year=1984|publisher=Academic Press|isbn=0-12-338301-3|url-access=registration|url=https://archive.org/details/groupsgeometrica0000helg}} | *{{citation|first=Sigurdur|last=Helgason|title=Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions|year=1984|publisher=Academic Press|isbn=0-12-338301-3|url-access=registration|url=https://archive.org/details/groupsgeometrica0000helg}} | ||
* {{Cite journal | last1 = Huang | first1 = Yongdong | last2 = Leung | first2 = Naichung Conan | doi = 10.1007/s00208-010-0549-8 | title = A uniform description of compact symmetric spaces as Grassmannians using the magic square | journal = Mathematische Annalen | volume = 350 | issue = 1 | pages = 79–106 | date = 2010 | url = http://www.ims.cuhk.edu.hk/~leung/PhD%20students/Thesis%20Yong%20Dong%20Huang.pdf}} | * {{Cite journal | last1 = Huang | first1 = Yongdong | last2 = Leung | first2 = Naichung Conan | doi = 10.1007/s00208-010-0549-8 | title = A uniform description of compact symmetric spaces as Grassmannians using the magic square | journal = Mathematische Annalen | volume = 350 | issue = 1 | pages = 79–106 | date = 2010 | url = http://www.ims.cuhk.edu.hk/~leung/PhD%20students/Thesis%20Yong%20Dong%20Huang.pdf}} | ||
* {{citation|first=Shoshichi|last= Kobayashi|first2= Katsumi|last2= Nomizu|title=Foundations of Differential Geometry, Volume II|publisher= Wiley Classics Library edition|year= 1996|isbn= 0-471-15732-5|title-link= Foundations of Differential Geometry}} Chapter XI contains a good introduction to | * {{citation|first=Shoshichi|last= Kobayashi|first2= Katsumi|last2= Nomizu|title=Foundations of Differential Geometry, Volume II|publisher= Wiley Classics Library edition|year= 1996|isbn= 0-471-15732-5|title-link= Foundations of Differential Geometry}} Chapter XI contains a good introduction to रीइमेन्नियन symmetric spaces. | ||
* {{citation|first=Ottmar|last= Loos|title=Symmetric spaces I: General Theory|publisher= Benjamin|year= 1969}} | * {{citation|first=Ottmar|last= Loos|title=Symmetric spaces I: General Theory|publisher= Benjamin|year= 1969}} | ||
* {{citation|first=Ottmar|last= Loos|title=Symmetric spaces II: Compact Spaces and Classification|publisher= Benjamin|year= 1969}} | * {{citation|first=Ottmar|last= Loos|title=Symmetric spaces II: Compact Spaces and Classification|publisher= Benjamin|year= 1969}} | ||
Line 555: | Line 551: | ||
*{{citation|title=Harmonic Analysis on Commutative Spaces|first=Joseph A.|last= Wolf|publisher=American Mathematical Society|year= 2007 | *{{citation|title=Harmonic Analysis on Commutative Spaces|first=Joseph A.|last= Wolf|publisher=American Mathematical Society|year= 2007 | ||
|isbn=978-0-8218-4289-8}} | |isbn=978-0-8218-4289-8}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Created On 05/04/2023]] | [[Category:Created On 05/04/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:झूठ बोलने वाले समूह]] | |||
[[Category:रिमानियन ज्यामिति]] | |||
[[Category:विभेदक ज्यामिति]] | |||
[[Category:सजातीय रिक्त स्थान]] |
Latest revision as of 14:56, 26 October 2023
गणित में, सममित समष्टि स्यूडो- रीमानियन कई गुना (या अधिक सामान्यतः, छद्म-रीमानियन मैनिफोल्ड) होता है, जिसके समरूपता के समूह में प्रत्येक बिंदु के बारे में उलटा समरूपता होती है। इसका अध्ययन रीमानियन ज्यामिति के उपकरणों के साथ किया जा सकता है, जिससे होलोनोमी के सिद्धांत में परिणाम सामने आते हैं, या बीजगणितीय रूप से असत्य सिद्धांत के माध्यम से, जिसने एली कार्टन को पूर्ण वर्गीकरण देने की अनुमति दी जाती हैं। सममित समष्टि सामान्यतः अंतर ज्यामिति, प्रतिनिधित्व सिद्धांत और हार्मोनिक विश्लेषण में होते हैं।
ज्यामितीय शब्दों में, पूर्ण, बस जुड़ा हुआ रीमानियन मैनिफोल्ड सममित समष्टि है यदि और केवल यदि इसका वक्रता टेंसर समानांतर परिवहन के अनुसार अपरिवर्तनीय है। अधिक सामान्यतः, रिमेंनियन मैनिफोल्ड (एम, जी) को सममित कहा जाता है यदि और केवल यदि एम के प्रत्येक बिंदु पी के लिए, आइसोमेट्री सम्मिलित है। 'एम' 'पी' को ठीक करता है और स्पर्शरेखा समष्टि पर अभिनय करता है, इस प्रकार शून्य से पहचान के रूप में (प्रत्येक सममित समष्टि पूर्ण रूप से कई गुना है, क्योंकि किसी भी जियोडेसिक को समापन बिंदुओं के बारे में समरूपता के माध्यम से अनिश्चित काल तक बढ़ाया जा सकता है)। दोनों विवरणों को स्वाभाविक रूप से स्यूडो-रीमानियन मैनिफोल्ड्स की सेटिंग तक बढ़ाया जा सकता है।
लाई सिद्धांत के दृष्टिकोण से, सममित समष्टि लाई उपसमूह एच द्वारा जुड़े लाई समूह जी का भागफल जी/एच है जो जी के समावेशन (गणित) के अपरिवर्तनीय समूह का (एक जुड़ा हुआ घटक) है। यह परिभाषा में रिमेंनियन परिभाषा से अधिक सम्मिलित है, और एच कॉम्पैक्ट होने पर इसे कम कर देता है।
रीइमेन्नियन सममित समष्टि गणित और भौतिकी दोनों में विभिन्न प्रकार की स्थितियों में उत्पन्न होते हैं। होलोनॉमी के सिद्धांत में उनकी केंद्रीय भूमिका की खोज मार्सेल बर्जर ने की थी। वे प्रतिनिधित्व सिद्धांत और हार्मोनिक विश्लेषण के साथ-साथ अंतर ज्यामिति में अध्ययन की महत्वपूर्ण वस्तुएं हैं।
ज्यामितीय परिभाषा
एम को जुड़ा हुआ रिमेंनियन मैनिफोल्ड और एम का बिंदु है। पी के समीप के भिन्नता एफ को 'जियोडेसिक समरूपता' कहा जाता है यदि यह बिंदु पी को ठीक करता है और उस बिंदु के माध्यम से भूगर्भ विज्ञान को उलट देता है, अर्ताथ यदि γ भूगर्भीय है तब होता हैं। यह इस प्रकार है कि पी पर मानचित्र एफ का व्युत्पन्न पी के स्पर्शरेखा समष्टि पर पहचान मानचित्र घटा है। सामान्य रीमानियन मैनिफोल्ड पर, f को आइसोमेट्रिक होने की आवश्यकता नहीं है, न ही इसे सामान्य रूप से, p के समीप से M के सभी तक बढ़ाया जा सकता है।
M को 'समष्टिीय रूप से रिमेंनियन सममित' कहा जाता है यदि इसकी भूगणित समरूपता वास्तव में सममितीय है। यह वक्रता टेंसर के सहसंयोजक व्युत्पन्न के लुप्त होने के बराबर है। एक समष्टिीय रूप से सममित समष्टि को '(वैश्विक रूप से) सममित समष्टि' कहा जाता है, यदि इसके अतिरिक्त इसके जियोडेसिक समरूपता को सभी एम पर आइसोमेट्री तक बढ़ाया जा सकता है।
मूल गुण
कार्टन-एम्ब्रोस-हिक्स प्रमेय का अर्थ है कि एम समष्टिीय रूप से रिमेंनियन सममित है यदि और केवल यदि इसका वक्रता टेंसर सहसंयोजक व्युत्पन्न है, और इसके अतिरिक्त यह कि प्रत्येक सरल रूप से जुड़ा हुआ, पूर्ण समष्टि समष्टिीय रूप से रीमानियन सममित समष्टि वास्तव में रीमानियन सममित है।
प्रत्येक रिमेंनियन सममित समष्टि M पूर्ण है और रीमानियन सजातीय समष्टि (जिसका अर्थ है कि M का आइसोमेट्री समूह M पर सकर्मक रूप से कार्य करता है)। वास्तव में, आइसोमेट्री समूह का पहले से ही पहचान घटक एम पर सकर्मक रूप से कार्य करता है (क्योंकि एम जुड़ा हुआ है)।
समष्टिीय रूप से रिमेंनियन सममित रिक्त समष्टि जो रिमेंनियन सममित नहीं हैं, को रीमानियन सममित रिक्त समष्टि के भागफल के रूप में आइसोमेट्री के असतत समूहों द्वारा बिना किसी निश्चित बिंदु के, और (समष्टिीय रूप से) रीमानियन सममित रिक्त समष्टि के खुले उपसमुच्चय के रूप में बनाया जा सकता है।
उदाहरण
रिमेंनियन सममित रिक्त समष्टि के मूल उदाहरण यूक्लिडियन समष्टि, गोले, प्रक्षेपी समष्टि और अतिपरवलयिक समष्टि हैं, जिनमें से प्रत्येक अपने मानक रीमानियन मैट्रिक्स के साथ हैं। अधिक उदाहरण कॉम्पैक्ट, अर्ध-सरल लाई समूहों द्वारा प्रदान किए जाते हैं जो द्वि-अपरिवर्तनीय रिमेंनियन मीट्रिक से लैस होते हैं।
1 से अधिक जीनस की प्रत्येक कॉम्पैक्ट रीमैन सतह (निरंतर वक्रता -1 की अपनी सामान्य मीट्रिक के साथ) समष्टिीय रूप से सममित समष्टि है, लेकिन सममित समष्टि नहीं है।
प्रत्येक लेंस समष्टि समष्टिीय रूप से सममित है लेकिन सममित नहीं है, इसके अपवाद के साथ जो सममित है। लेंस रिक्त समष्टि असतत आइसोमेट्री द्वारा 3-गोले के भागफल हैं जिनका कोई निश्चित बिंदु नहीं है।
एक गैर-रिमेंनियन सममित समष्टि का उदाहरण एंटी-डी सिटर समष्टि है।
बीजगणितीय परिभाषा
यहाँ पर बता दें कि G कनेक्टेड लाइ ग्रुप है। फिर जी के लिए 'सममित समष्टि' सजातीय समष्टि जी/एच है जहां विशिष्ट बिंदु का स्टेबलाइज़र एच ऑट (जी) में इनवॉल्यूशन (गणित) σ के निश्चित बिंदु सेट का खुला उपसमूह है। इस प्रकार σ σ के साथ G2 = आईडीG का ऑटोमोर्फिज्म है, और एच अपरिवर्तनीय सेट का खुला उपसमूह है
क्योंकि H खुला है, यह G के घटकों का संघ हैσ (बेशक, पहचान घटक सहित)।
जी के ऑटोमोर्फिज्म के रूप में, σ पहचान तत्व को ठीक करता है, और इसलिए, पहचान में अंतर करके, यह लाई बीजगणित के ऑटोमोर्फिज्म को प्रेरित करता है। G का, जिसे σ द्वारा भी निरूपित किया जाता है, जिसका वर्ग सर्वसमिका है। यह इस प्रकार है कि σ के eigenvalues ± 1 हैं। +1 आइगेनसमष्टि लाई बीजगणित है एच का (चूंकि यह जी का असत्य बीजगणित हैσ), और −1 आइगेनसमष्टि को दर्शाया जाएगा . चूंकि σ का स्वाकारीकरण है, यह असत्य बीजगणित अपघटन का प्रत्यक्ष योग देता है
इसके साथ
किसी भी सजातीय समष्टि के लिए पहली स्थिति स्वचालित है: यह केवल अतिसूक्ष्म स्टेबलाइजर का ले सबलजेब्रा है, इस प्रकार इसकी दूसरी शर्त का अर्थ -अपरिवर्तनीय पूरक में से है, इस प्रकार कोई भी सममित समष्टि रिडक्टिव सजातीय समष्टि है, लेकिन कई रिडक्टिव सजातीय समष्टि हैं जो सममित समष्टि नहीं हैं। सममित रिक्त समष्टि की मुख्य विशेषता तीसरी शर्त है कि कोष्ठक में के समान हैं।
इसके विपरीत, कोई असत्य बीजगणित दिया गया है इन तीन स्थितियों को संतुष्ट करने वाले प्रत्यक्ष योग अपघटन के साथ, रैखिक मानचित्र σ, पर पहचान के बराबर और माइनस आइडेंटिटी ऑन , समावेशी ऑटोमोर्फिज्म है।
रिमेंनियन सममित समष्टि असत्य-सैद्धांतिक विशेषता को संतुष्ट करते हैं
यदि M रिमेंनियन सममित समष्टि है, तो M के आइसोमेट्री समूह का पहचान घटक G Lie समूह है जो M पर सकर्मक रूप से कार्य करता है (अर्थात, M रीइमेन्नियन सजातीय है)। इसलिए, यदि हम M के कुछ बिंदु p को ठीक करते हैं, तो M भागफल G/K के लिए भिन्न है, जहाँ K, P पर M पर G की क्रिया के समसमष्टििक समूह को दर्शाता है। p पर क्रिया को अवकलित करके हम T पर K की सममितीय क्रिया प्राप्त करते हैंpएम। यह क्रिया वफादार है (उदाहरण के लिए, कोस्टेंट के प्रमेय द्वारा, पहचान घटक में किसी भी आइसोमेट्री को इसके जेट बंडल द्वारा निर्धारित किया जाता है। किसी भी बिंदु पर 1-जेट) और इसलिए के टी के ऑर्थोगोनल समूह का उपसमूह हैpएम, इसलिए कॉम्पैक्ट। इसके अतिरिक्त, यदि हम एस द्वारा निरूपित करते हैंp: M → M p पर M की जियोडेसिक समरूपता को मानचित्र से प्रदर्शित किया जा सकता हैं।
एक इनवोल्यूशन (गणित) असत्य समूह आटोमार्फिज्म है जैसे कि आइसोट्रॉपी समूह K निश्चित बिंदु समूह के बीच समाहित है और इसका पहचान घटक (इसलिए खुला उपसमूह) अधिक जानकारी के लिए पृष्ठ 209, अध्याय IV, हेल्गसन की डिफरेंशियल ज्योमेट्री, लाई ग्रुप्स, और सिमेट्रिक समष्टिेस में सेक्शन 3 पर परिभाषा और निम्नलिखित प्रस्ताव देखें।
संक्षेप में, M कॉम्पैक्ट आइसोट्रॉपी समूह K के साथ सममित समष्टि G/K है। इसके विपरीत, कॉम्पैक्ट आइसोट्रॉपी समूह के साथ सममित समष्टि रीमानियन सममित समष्टि हैं, हालांकि यह अद्वितीय तरीके से जरूरी नहीं है। रिमेंनियन सममित समष्टि संरचना प्राप्त करने के लिए हमें पहचान कोसेट eK पर G/K के स्पर्शरेखा समष्टि पर K-इनवैरियेंट आंतरिक उत्पाद को ठीक करने की आवश्यकता है: ऐसा आंतरिक उत्पाद हमेशा औसत से सम्मिलित होता है, क्योंकि K कॉम्पैक्ट है, और G के साथ अभिनय करके , हम G/K पर G-इनवैरियेंट रीइमेन्नियन मीट्रिक g प्राप्त करते हैं।
यह दिखाने के लिए कि G/K रीमानियन सममित है, किसी भी बिंदु p = hK (K का सहसमुच्चय, जहाँ h ∈ G) पर विचार करें और परिभाषित करें
जहां σ जी फिक्सिंग के का समावेश है। फिर कोई उस एस की जांच कर सकता हैp (स्पष्ट रूप से) एस के साथ आइसोमेट्री हैp(पी) = पी और (अंतर करके) डीएसp टी पर पहचान घटा के बराबरpएम। इस प्रकार एसp जियोडेसिक समरूपता है और, चूंकि p मनमाना था, M रिमेंनियन सममित समष्टि है।
यदि कोई रिमेंनियन सममित समष्टि M से प्रारंभ करता है, और फिर इन दो निर्माणों को अनुक्रम में करता है, तो प्राप्त रिमेंनियन सममित समष्टि मूल के लिए सममितीय है। इससे पता चलता है कि बीजगणितीय डेटा (जी, के, σ, जी) पूरी तरह से एम की संरचना का वर्णन करता है।
रीमानियन सममित रिक्त समष्टि का वर्गीकरण
1926 में रीमानियन सममित समष्टिों के बीजगणितीय विवरण ने एली कार्टन को उनका पूर्ण वर्गीकरण प्राप्त करने में सक्षम बनाया जाता हैं।
किसी दिए गए रीमानियन सममित समष्टि एम के लिए (जी, के, σ, जी) इससे जुड़े बीजगणितीय डेटा हो। एम के संभावित आइसोमेट्री वर्गों को वर्गीकृत करने के लिए पहले ध्यान दें कि रिमेंनियन सममित समष्टि का सार्वभौमिक कवर फिर से रीमानियन सममित है, और कवरिंग मैप को इसके केंद्र के उपसमूह द्वारा कवरिंग के जुड़े आइसोमेट्री समूह जी को विभाजित करके वर्णित किया गया है। इसलिए, हम व्यापकता के नुकसान के बिना मान सकते हैं कि एम बस जुड़ा हुआ है। (इसका अर्थ है कि के कंपन के लंबे सटीक अनुक्रम से जुड़ा हुआ है, क्योंकि जी धारणा से जुड़ा हुआ है।)
वर्गीकरण योजना
एक साधारण रूप से जुड़े हुए रिमेंनियन सममित समष्टि को इरेड्यूसिबल कहा जाता है यदि यह दो या अधिक रीमानियन सममित समष्टिों का उत्पाद नहीं है। तब यह दिखाया जा सकता है कि कोई भी आसानी से जुड़ा हुआ रिमेंनियन सममित समष्टि इर्रिडिएबल का रिमेंनियन उत्पाद है। इसलिए, हम खुद को इरेड्यूसिबल, बस जुड़े हुए रिमेंनियन सममित समष्टिों को वर्गीकृत करने के लिए खुद को प्रतिबंधित कर सकते हैं।
अगला कदम यह दिखाना है कि कोई भी अप्रासंगिक, बस जुड़ा हुआ रिमेंनियन सममित समष्टि एम निम्नलिखित तीन प्रकारों में से है:
1. यूक्लिडियन प्रकार: M की वक्रता गायब हो जाती है, और इसलिए यह यूक्लिडियन समष्टि के लिए सममितीय है।
2. कॉम्पैक्ट प्रकार: 'एम' में गैर-ऋणात्मक (लेकिन समान रूप से शून्य नहीं) अनुभागीय वक्रता है।
3. गैर-कॉम्पैक्ट प्रकार: 'एम' में गैर-धनात्मक (लेकिन समान रूप से शून्य नहीं) अनुभागीय वक्रता है।
एक अधिक परिष्कृत अपरिवर्तनीय रैंक है, जो स्पर्शरेखा समष्टि (किसी भी बिंदु पर) के उप-समष्टि का अधिकतम आयाम है, जिस पर वक्रता समान रूप से शून्य है। रैंक हमेशा कम से कम है, समानता के साथ यदि अनुभागीय वक्रता धनात्मक या ऋणात्मक है। यदि वक्रता धनात्मक है, तो समष्टि सघन प्रकार का है, और यदि ऋणात्मक है, तो यह असंहत प्रकार का है। यूक्लिडियन प्रकार के रिक्त समष्टि उनके आयाम के बराबर रैंक रखते हैं और उस आयाम के यूक्लिडियन समष्टि के लिए आइसोमेट्रिक हैं। इसलिए, यह कॉम्पैक्ट और गैर-कॉम्पैक्ट प्रकार के इरेड्यूसिबल, बस जुड़े हुए रिमेंनियन सममित रिक्त समष्टि को वर्गीकृत करने के लिए बना हुआ है। दोनों ही स्थितियों में दो वर्ग हैं।
ए जी (वास्तविक) सरल असत्य समूह है;
B. G या तो खुद के साथ कॉम्पैक्ट सिंपल लाइ ग्रुप (कॉम्पैक्ट टाइप) का उत्पाद है, या इस तरह के लाइ ग्रुप (नॉन-कॉम्पैक्ट टाइप) का जटिलता है।
कक्षा बी के उदाहरण पूरी तरह से सरल असत्य समूहों के वर्गीकरण द्वारा वर्णित हैं। कॉम्पैक्ट प्रकार के लिए, M कॉम्पैक्ट बस जुड़ा हुआ सरल लाइ समूह है, G M×M है और K विकर्ण उपसमूह है। गैर-कॉम्पैक्ट प्रकार के लिए, जी सरल रूप से जुड़ा हुआ जटिल सरल लाइ समूह है और के इसका अधिकतम कॉम्पैक्ट उपसमूह है। दोनों ही स्थितियों में, रैंक लाई ग्रुप की रैंक है|G की रैंक है।
कॉम्पैक्ट बस जुड़े हुए असत्य समूह शास्त्रीय असत्य समूहों , , के सार्वभौमिक आवरण हैं और पांच असाधारण असत्य समूह ई6, और7, और8, एफ4, जी2 असाधारण बीजगणित को प्रदर्शित करते हैं।
कक्षा ए के उदाहरण पूरी तरह से गैर-कॉम्पैक्ट के वर्गीकरण द्वारा वास्तविक सरल असत्य समूहों से जुड़े हुए हैं। गैर-कॉम्पैक्ट प्रकार के लिए, G ऐसा समूह है और K इसका अधिकतम कॉम्पैक्ट उपसमूह है। इस तरह के प्रत्येक उदाहरण में कॉम्पैक्ट प्रकार का समान उदाहरण है, जी के जटिलता के अधिकतम कॉम्पैक्ट उपसमूह पर विचार करके जिसमें के सम्मिलित है। संयुग्मन)। इस तरह के अंतर्विरोध G के जटिलीकरण के अंतर्वलन तक विस्तारित होते हैं, और ये बदले में G के गैर-कॉम्पैक्ट वास्तविक रूपों को वर्गीकृत करते हैं।
कक्षा ए और कक्षा बी दोनों में कॉम्पैक्ट प्रकार और गैर-कॉम्पैक्ट प्रकार के सममित रिक्त समष्टि के बीच पत्राचार होता है। यह रिमेंनियन सममित रिक्त समष्टि के लिए द्वैत के रूप में जाना जाता है।
वर्गीकरण परिणाम
वर्ग ए और कॉम्पैक्ट प्रकार के रिमेंनियन सममित समष्टिों के लिए विशेषज्ञता, कार्टन ने पाया कि निम्नलिखित सात अनंत श्रृंखलाएं और बारह असाधारण रीमानियन सममित समष्टि जी / के हैं। वे यहाँ G और K के संदर्भ में दिए गए हैं, साथ में ज्यामितीय व्याख्या के साथ, यदि आसानी से उपलब्ध हो। इन जगहों की लेबलिंग कार्टन द्वारा दी गई है।
लेबल | G | K | दिशा | रैंक | ज्यामितीय व्याख्या |
---|---|---|---|---|---|
AI | वास्तविक संरचनाओं का समष्टि जो जटिल निर्धारक को असंबद्ध छोड़ देते हैं | ||||
AII | चतुष्कोणीय संरचनाओं का समष्टि हर्मिटियन मीट्रिक के साथ संगत | ||||
AIII | के जटिल पी-आयामी उप-समष्टिों का ग्रासमानियन | ||||
BDI | उन्मुख वास्तविक पी-आयामी उप-समष्टिों का ग्रासमैनियन | ||||
DIII | ओर्थोगोनल जटिल संरचनाओं का समष्टि | ||||
CI | जटिल संरचनाओं का समष्टि आंतरिक उत्पाद के साथ संगत | ||||
CII | के क्वाटरनियोनिक पी-डायमेंशनल सबसमष्टि का ग्रासमैनियन | ||||
EI | 42 | 6 | |||
EII | 40 | 4 | के सममित उपसमष्टिों का समष्टि आइसोमेट्रिक से | ||
EIII | 32 | 2 | जटिल केली प्रक्षेपी विमान | ||
EIV | 26 | 2 | के सममित उपसमष्टिों का समष्टि आइसोमेट्रिक से | ||
EV | 70 | 7 | |||
EVI | 64 | 4 | रोसेनफेल्ड प्रक्षेपी विमान ऊपर | ||
EVII | 54 | 3 | के सममित उपसमष्टिों का समष्टि आइसोमॉर्फिक से | ||
EVIII | 128 | 8 | रोसेनफेल्ड प्रक्षेपी विमान | ||
EIX | 112 | 4 | के सममित उपसमष्टिों का समष्टि आइसोमॉर्फिक से | ||
FI | 28 | 4 | के सममित उपसमष्टिों का समष्टि आइसोमॉर्फिक से | ||
FII | 16 | 1 | केली प्रक्षेपी विमान | ||
G | 8 | 2 | ऑक्टोनियन बीजगणित के सबलजेब्रस का समष्टि जो चतुष्कोणीय बीजगणित के लिए समरूप हैं |
ग्रासमैनियन के रूप में
एक और आधुनिक वर्गीकरण (हुआंग & लियुंग 2010) फ्रायडेंथल जादू वर्ग निर्माण के माध्यम से समान रूप से कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों, रिमेंनियन सममित रिक्त समष्टि वर्गीकृत करता है। अलघुकरणीय कॉम्पैक्ट रीमानियन सममित रिक्त समष्टि, परिमित आवरण तक, या तो कॉम्पैक्ट सरल लाइ समूह, ग्रासमैनियन, लैगरेंजियन ग्रासमैन्नियन, या उप-समष्टिों का डबल लैगरेंजियन ग्रासमैन्नियन है। नॉर्म्ड डिवीजन बीजगणित ए और बी के लिए किया जाता हैं। समान निर्माण इरेड्यूसिबल गैर-कॉम्पैक्ट रीमानियन सममित रिक्त समष्टि का उत्पादन करता है।
सामान्य सममित समष्टि
रिमेंनियन सममित रिक्त समष्टि को सामान्य करने वाले सममित रिक्त समष्टि का महत्वपूर्ण वर्ग छद्म-रीमानियन सममित समष्टि है, जिसमें रीमानियन मीट्रिक को छद्म-रीमानियन मीट्रिक (प्रत्येक स्पर्शरेखा समष्टि पर धनात्मक निश्चित के अतिरिक्त नॉनजेनरेट) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, लोरेंत्ज़ियन सममित समष्टि, अर्ताथ, एन आयामी छद्म-रीमानियन हस्ताक्षर के सममित समष्टि (एन - 1,1), सामान्य सापेक्षता में महत्वपूर्ण हैं, सबसे उल्लेखनीय उदाहरण मिंकोव्स्की समष्टि, डी सिटर हैं समष्टि और एंटी-डी सिटर समष्टि (क्रमशः शून्य, धनात्मक और ऋणात्मक वक्रता के साथ) रहता हैं। इस प्रकार आयाम n के डी सिटर समष्टि की पहचान आयाम n +1 के मिन्कोवस्की समष्टि में 1-शीट वाले हाइपरबोलॉइड से की जा सकती है।
सममित और समष्टिीय रूप से सममित रिक्त समष्टि को सामान्य रूप से सममित सममित समष्टि माना जा सकता है। यदि एम = जी/एच सममित समष्टि है, तो नोमिजु ने दिखाया कि जी-अपरिवर्तनीय मरोड़-मुक्त संबंध संबंध है (अर्थात संबंध संबंध जिसका मरोड़ तनाव गायब हो जाता है) 'एम' पर जिसका कनेक्शन का वक्रता समानांतर परिवहन है। इसके विपरीत, इस तरह के कनेक्शन के साथ कई गुना समष्टिीय रूप से सममित है (अर्ताथ, इसका सार्वभौमिक आवरण सममित समष्टि है)। इस तरह के मैनिफोल्ड्स को उन एफाइन मैनिफोल्ड्स के रूप में भी वर्णित किया जा सकता है, जिनकी जियोडेसिक समरूपताएं विश्व स्तर पर परिभाषित एफिन डिफियोमोर्फिज्म हैं, जो रिमेंनियन और छद्म-रीमानियन स्थिति को सामान्य करती हैं।
वर्गीकरण परिणाम
रीमानियन सममित रिक्त समष्टि का वर्गीकरण सामान्य कारण के लिए सामान्य स्थिति में आसानी से विस्तार नहीं करता है कि सममित समष्टि का कोई सामान्य विभाजन इरेड्यूसिबल्स के उत्पाद में नहीं होता है। यहाँ लाई बीजगणित के साथ सममित समष्टि G/H है
अप्रासंगिक कहा जाता है यदि का अलघुकरणीय प्रतिनिधित्व है इस कारण तब से सामान्य रूप से सेमीसिम्पल (या यहां तक कि रिडक्टिव) नहीं है, इसमें अविघटनीय मॉड्यूल अभ्यावेदन हो सकते हैं जो इरेड्यूसेबल नहीं हैं।
हालांकि, अलघुकरणीय सममित रिक्त समष्टि वर्गीकृत किया जा सकता है। जैसा कि और अपरिष्कृत पानी द्वारा दिखाया गया है, द्विभाजन है: अलघुकरणीय सममित समष्टि G/H या तो समतल है (अर्थात, सजातीय समष्टि) या अर्धसरल है। यह यूक्लिडियन रिक्त समष्टि और कॉम्पैक्ट या गैर-कॉम्पैक्ट प्रकार के बीच रिमेंनियन द्विभाजन का एनालॉग है, और इसने एम. बर्जर को सेमीसिम्पल सममित रिक्त समष्टि (अर्ताथ, वाले) को वर्गीकृत करने के लिए प्रेरित किया सेमीसिंपल) और निर्धारित करें कि इनमें से कौन सा अलघुकरणीय है। बाद वाला प्रश्न रीमानियन स्थिति की तुलना में अधिक सूक्ष्म है: भले ही सरल है, G/H अलघुकरणीय नहीं हो सकता है।
जैसा कि रीमानियन स्थिति में जी = एच × एच के साथ अर्ध-सरल सममित समष्टि हैं। कोई भी अर्ध-सरल सममित समष्टि सममित रिक्त समष्टि के साथ इस रूप के सममित रिक्त समष्टि का उत्पाद है जैसे कि साधारण है। यह बाद के स्थिति का वर्णन करने के लिए बनी हुई है। इसके लिए, (वास्तविक) सरल लाई बीजगणित के इनवोल्यूशन σ को वर्गीकृत करने की आवश्यकता है, इस प्रकार यदि सरल नहीं है, तो जटिल सरल लाई बीजगणित है, और संबंधित सममित रिक्त समष्टि का रूप G/H है, जहां H, G का वास्तविक रूप है: ये रीइमेन्नियन सममित रिक्त समष्टि G/K के अनुरूप हैं, जिसमें G जटिल सरल लाई समूह है, और K अधिकतम कॉम्पैक्ट उपसमूह प्रकट करता हैं।
इस प्रकार हम मान सकते हैं साधारण है। असली सबलजेब्रा के जटिल एंटीलाइनर इनवोल्यूशन τ के निश्चित बिंदु सेट के रूप में देखा जा सकता है , जबकि σ जटिल एंटीलाइनर इनवोल्यूशन तक फैला हुआ है τ के साथ आ रहा है और इसलिए जटिल रैखिक आक्रमण σ∘τ भी है।
इसलिए वर्गीकरण जटिल लाई बीजगणित के एंटीलाइनियर इन्वोल्यूशन के आने वाले जोड़े के वर्गीकरण को कम कर देता है। समग्र σ∘τ जटिल सममित समष्टि निर्धारित करता है, जबकि τ वास्तविक रूप निर्धारित करता है। इससे किसी दिए गए के लिए सममित रिक्त समष्टि की सारणी से बनाना सरल है , और इसके अतिरिक्त, σ और τ का आदान-प्रदान करके स्पष्ट द्वैत दिया जाता है। यह रिमेंनियन स्थिति से कॉम्पैक्ट/गैर-कॉम्पैक्ट द्वंद्व को बढ़ाता है, जहां या तो σ या τ कार्टन इनवोल्यूशन है, अर्ताथ, इसका निश्चित बिंदु सेट अधिकतम कॉम्पैक्ट सबलजेब्रा है।
टेबल्स
निम्न तालिका प्रत्येक शास्त्रीय और असाधारण जटिल सरल असत्य समूह के लिए जटिल सममित रिक्त समष्टि और वास्तविक रूपों द्वारा वास्तविक सममित रिक्त समष्टि को अनुक्रमित करती है।
Gc = SL(n,C) | Gc/SO(n,C) | Gc/S(GL(k,C)×GL(ℓ,C)), k + ℓ = n | Gc/Sp(n,C), n even |
---|---|---|---|
G = SL(n,R) | G/SO(k,l) | G/S(GL(k,R)×GL(l,R)) or G/GL(n/2,C), n even |
G/Sp(n,R), n even |
G = SU(p,q), p + q = n | G/SO(p,q) or SU(p,p)/Sk(p,H) |
G/S(U(kp,kq)×U(lp,lq)) or SU(p,p)/GL(p,C) |
G/Sp(p/2,q/2), p,q even or SU(p,p)/Sp(2p,R) |
G=SL(n/2,H), n even | G/Sk(n/2,H) | G/S(GL(k/2,H)×GL(ℓ/2,H)), k,ℓ even or G/GL(n/2,C) |
G/Sp(k/2,ℓ/2), k,ℓ even, k + ℓ = n |
Gc=SO(n,C) | Gc/SO(k,C)×SO(ℓ,C), k + ℓ = n | Gc/GL(n/2,C), n even |
---|---|---|
G=SO(p,q) | G/SO(kp,kq)×SO(ℓp,lq) or SO(n,n)/SO(n,C) |
G/U(p/2,q/2), p,q even or SO(n,n)/GL(n,R) |
G = Sk(n/2,H), n even | G/Sk(k/2,ℓ/2), k,ℓ even or G/SO(n/2,C) |
G/U(k/2,ℓ/2), k,ℓ even or G/SL(n/4,H) |
Gc = Sp(2n,C) | Gc/Sp(2k,C)×Sp(2ℓ,C), k + ℓ = n | Gc/GL(n,C) |
---|---|---|
G = Sp(p,q), p + q = n | G/Sp(kp,kq)×Sp(ℓp,ℓq) or Sp(n,n)/Sp(n,C) |
G/U(p,q) or Sp(p,p)/GL(p,H) |
G = Sp(2n,R) | G/Sp(2k,R)×Sp(2l,R) or G/Sp(n,C) |
G/U(k,ℓ), k + ℓ = n or G/GL(n,R) |
असाधारण सरल असत्य समूहों के लिए, रिमेंनियन स्थिति को स्पष्ट रूप से नीचे सम्मिलित किया गया है, जिससे σ को पहचान का समावेश (डैश द्वारा इंगित) किया जा सके। उपरोक्त तालिकाओं में यह स्पष्ट रूप से केस kl = 0 द्वारा कवर किया गया है।
G2c | – | G2c/SL(2,C)× SL(2,C) |
---|---|---|
G2 | – | G2/SU(2)×SU(2) |
G2(2) | G2(2)/SU(2)×SU(2) | G2(2)/SL(2,R)× SL(2,R) |
F4c | – | F4c/Sp(6,C)×Sp(2,C) | F4c/SO(9,C) |
---|---|---|---|
F4 | – | F4/Sp(3)×Sp(1) | F4/SO(9) |
F4(4) | F4(4)/Sp(3)×Sp(1) | F4(4)/Sp(6,R)×Sp(2,R) or F4(4)/Sp(2,1)×Sp(1) |
F4(4)/SO(5,4) |
F4(−20) | F4(−20)/SO(9) | F4(−20)/Sp(2,1)×Sp(1) | F4(−20)/SO(8,1) |
E6c | – | E6c/Sp(8,C) | E6c/SL(6,C)×SL(2,C) | E6c/SO(10,C)×SO(2,C) | E6c/F4c |
---|---|---|---|---|---|
E6 | – | E6/Sp(4) | E6/SU(6)×SU(2) | E6/SO(10)×SO(2) | E6/F4 |
E6(6) | E6(6)/Sp(4) | E6(6)/Sp(2,2) or E6(6)/Sp(8,R) |
E6(6)/SL(6,R)×SL(2,R) or E6(6)/SL(3,H)×SU(2) |
E6(6)/SO(5,5)×SO(1,1) | E6(6)/F4(4) |
E6(2) | E6(2)/SU(6)×SU(2) | E6(2)/Sp(3,1) or E6(2)/Sp(8,R) |
E6(2)/SU(4,2)×SU(2) or E6(2)/SU(3,3)×SL(2,R) |
E6(2)/SO(6,4)×SO(2) or E6(2)/Sk(5,H)×SO(2) |
E6(2)/F4(4) |
E6(−14) | E6(−14)/SO(10)×SO(2) | E6(−14)/Sp(2,2) | E6(−14)/SU(4,2)×SU(2) or E6(−14)/SU(5,1)×SL(2,R) |
E6(−14)/SO(8,2)×SO(2) or Sk(5,H)×SO(2) |
E6(−14)/F4(−20) |
E6(−26) | E6(−26)/F4 | E6(−26)/Sp(3,1) | E6(−26)/SL(3,H)×Sp(1) | E6(−26)/SO(9,1)×SO(1,1) | E6(−26)/F4(−20) |
E7c | – | E7c/SL(8,C) | E7c/SO(12,C)×Sp(2,C) | E7c/E6c×SO(2,C) |
---|---|---|---|---|
E7 | – | E7/SU(8) | E7/SO(12)× Sp(1) | E7/E6× SO(2) |
E7(7) | E7(7)/SU(8) | E7(7)/SU(4,4) or E7(7)/SL(8,R) or E7(7)/SL(4,H) |
E7(7)/SO(6,6)×SL(2,R) or E7(7)/Sk(6,H)×Sp(1) |
E7(7)/E6(6)×SO(1,1) or E7(7)/E6(2)×SO(2) |
E7(−5) | E7(−5)/SO(12)× Sp(1) | E7(−5)/SU(4,4) or E7(−5)/SU(6,2) |
E7(−5)/SO(8,4)×SU(2) or E7(−5)/Sk(6,H)×SL(2,R) |
E7(−5)/E6(2)×SO(2) or E7(−5)/E6(−14)×SO(2) |
E7(−25) | E7(−25)/E6× SO(2) | E7(−25)/SL(4,H) or E7(−25)/SU(6,2) |
E7(−25)/SO(10,2)×SL(2,R) or E7(−25)/Sk(6,H)×Sp(1) |
E7(−25)/E6(−14)×SO(2) or E7(−25)/E6(−26)×SO(1,1) |
E8c | – | E8c/SO(16,C) | E8c/E7c×Sp(2,C) |
---|---|---|---|
E8 | – | E8/SO(16) | E8/E7×Sp(1) |
E8(8) | E8(8)/SO(16) | E8(8)/SO(8,8) or E8(8)/Sk(8,H) | E8(8)/E7(7)×SL(2,R) or E8(8)/E7(−5)×SU(2) |
E8(−24) | E8(−24)/E7×Sp(1) | E8(−24)/SO(12,4) or E8(−24)/Sk(8,H) | E8(−24)/E7(−5)×SU(2) or E8(−24)/E7(−25)×SL(2,R) |
कमजोर सममित रीमानियन रिक्त समष्टि
1950 के दशक में एटले सेलबर्ग ने कार्टन की सममित समष्टि की परिभाषा को कमजोर सममित रिमेंनियन समष्टि या वर्तमान शब्दावली में कमजोर सममित समष्टि तक विस्तारित किया। इन्हें रीइमेन्नियन manifolds M के रूप में परिभाषित किया गया है, जो कि आइसोमैट्रिक G के सकर्मक जुड़े हुए समूह के साथ है और isometry σ normalizing G जैसे कि x, y में दिया गया है। 'M G में आइसोमेट्री s है जैसे कि sx = σy और sy = σx। (सेलबर्ग की धारणा है कि σ2 जी का तत्व होना चाहिए जिसे बाद में अर्नेस्ट विनबर्ग द्वारा अनावश्यक दिखाया गया था।) सेलबर्ग ने प्रमाणित किया कि कमजोर सममित समष्टि गेलफैंड जोड़े को जन्म देते हैं, इसलिए विशेष रूप से एल पर जी का एकात्मक प्रतिनिधित्व2(M) बहुलता मुक्त है।
सेल्बर्ग की परिभाषा को जियोडेसिक समरूपता के सामान्यीकरण के संदर्भ में समान रूप से अभिव्यक्त किया जा सकता है। यह आवश्यक है कि M में प्रत्येक बिंदु x और x पर स्पर्शरेखा सदिश X के लिए, x और X पर निर्भर करते हुए, M की आइसोमेट्री s है, जैसे कि
- एस फिक्स एक्स;
- x पर s का डेरिवेटिव X को –X को भेजता है।
जब s, X से स्वतंत्र होता है, तो M सममित समष्टि होता है।
जटिल सेमीसिंपल लाई बीजगणित के आवधिक ऑटोमोर्फिज्म के वर्गीकरण के आधार पर, अख़ीज़र और विनबर्ग द्वारा कमजोर सममित रिक्त समष्टि और उनके वर्गीकरण का विवरण दिया गया है। Wolf (2007).
गुण
सममित समष्टिों के कुछ गुणों और रूपों पर ध्यान दिया जा सकता है।
मीट्रिक टेंसर उठाना
रीमानियन मैनिफोल्ड पर मीट्रिक टेंसर स्केलर उत्पाद पर उठाया जा सकता है इसे मारक रूप के साथ जोड़कर यह परिभाषित करके किया जाता है
यहाँ, रिमेंनियन मीट्रिक पर परिभाषित किया गया है , और संहार का रूप है। इस प्रकार माइनस साइन दिखाई देता है क्योंकि किलिंग फॉर्म नेगेटिव-डेफिनेट ऑन है यह बनाता है धनात्मक रूप से निश्चित हैं।
गुणनखंड
स्पर्शरेखा समष्टि किलिंग फॉर्म द्वारा वर्गीकृत ईजेनसमष्टि में आगे फैक्टर किया जा सकता है।[1] यह निकटवर्ती मानचित्र को परिभाषित करके पूरा किया जाता है ले रहा जैसा
कहाँ रिमेंनियन मीट्रिक चालू है और संहार रूप है। इस प्रकार इस मानचित्र को कभी-कभी सामान्यीकृत समष्टिांतरण कहा जाता है, जैसा कि ऑर्थोगोनल समूहों के लिए समष्टिांतरण और एकात्मक समूहों के लिए हर्मिटियन संयुग्म से मेल खाता है। यह रेखीय कार्यात्मक है, और यह स्व-संलग्न है, और इसलिए कोई यह निष्कर्ष निकालता है कि अलौकिक आधार है का साथ उक्त समीकरण देता हैं।
इसमें मीट्रिक के संबंध में ये ऑर्थोगोनल हैं
चूंकि किलिंग फॉर्म सममित है। यह ईजेनसमष्टि में गुणनखंड करता है
इसके साथ
जिसके लिए . के स्थिति के लिए सेमीसिंपल, जिससे कि किलिंग फॉर्म नॉन-डिजनरेट हो, मेट्रिक इसी प्रकार फ़ैक्टराइज़ करता है:
कुछ व्यावहारिक अनुप्रयोगों में, इस गुणनखंड की व्याख्या ऑपरेटरों के स्पेक्ट्रम के रूप में की जा सकती है, इस प्रकार उदाहरण के लिए हाइड्रोजन परमाणु का स्पेक्ट्रम, कक्षीय के कोणीय गति के विभिन्न मूल्यों के अनुरूप किलिंग फॉर्म के eigenvalues के साथ (अर्ताथ किलिंग फॉर्म कासिमिर संचालक है जो विभिन्न अभ्यावेदन को वर्गीकृत कर सकता है जिसके अनुसार विभिन्न ऑर्बिटल्स रूपांतरित होते हैं।)
सिमिट्रिक समष्टि का वर्गीकरण इस आधार पर आगे बढ़ता है कि किलिंग फॉर्म धनात्मक/ऋणात्मक निश्चित है या नहीं इस बात का ध्यान रखा जाता हैं।
अनुप्रयोग और विशेष स्थिति
सममित समष्टि और समरूपता
यदि बिंदु पर होलोनॉमी समूह का पहचान घटक रीमानियन मैनिफोल्ड का रीमानियन होलोनॉमी टेंगेंट समष्टि पर इरेड्यूसिव रूप से कार्य करता है, तो या तो मैनिफोल्ड समष्टिीय रूप से रिमेंनियन सममित समष्टि है, या यह होलोनॉमी समूह द बर्जर वर्गीकरण में से है।
हर्मिटियन सममित समष्टि
एक रिमेंनियन सममित समष्टि जो अतिरिक्त रूप से रीमानियन मीट्रिक के साथ संगत समानांतर जटिल संरचना से सुसज्जित है, हर्मिटियन सममित समष्टि कहलाता है। कुछ उदाहरण जटिल सदिश समष्टि और जटिल प्रक्षेपी समष्टि हैं, दोनों अपने सामान्य रिमेंनियन मीट्रिक के साथ, और उपयुक्त मीट्रिक के साथ जटिल इकाई गेंदें जिससे कि वे पूर्ण और रीमानियन सममित हो जाते हैं।
एक अलघुकरणीय सममित समष्टि G/K हर्मिटियन है यदि और केवल यदि K में केंद्रीय वृत्त है। इस प्रकार इस वृत्त द्वारा चौथाई मोड़ पहचान कोसेट पर स्पर्शरेखा समष्टि पर i से गुणा के रूप में कार्य करता है। इस प्रकार हर्मिटियन सममित समष्टि वर्गीकरण से आसानी से पढ़े जाते हैं। कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों स्थितियों में यह पता चला है कि चार अनंत श्रृंखलाएं हैं, अर्थात् AIII, BDI p = 2, DIII और CI के साथ, और दो असाधारण समष्टि, अर्थात् EIII और EVII। गैर-कॉम्पैक्ट हर्मिटियन सममित रिक्त समष्टि को जटिल वेक्टर रिक्त समष्टि में बंधे हुए सममित डोमेन के रूप में महसूस किया जा सकता है।
क्वाटरनियन-कहलर सममित समष्टि
एक रिमेंनियन सममित समष्टि जो प्रत्येक बिंदु पर काल्पनिक चतुर्भुजों के लिए एंड (टीएम) आइसोमोर्फिक के समानांतर सबबंडल से सुसज्जित है, और रीमानियन मीट्रिक के साथ संगत है, जिसे क्वाटरनियन-कहलर सममित समष्टि कहा जाता है।
एक अलघुकरणीय सममित समष्टि G/K चतुष्कोणीय-कहलर है यदि और केवल यदि K के समदैशिक निरूपण में Sp(1) योग होता है और चतुर्भुज सदिश समष्टि पर इकाई चतुष्कोणों की तरह कार्य करता है। इस प्रकार चतुष्कोणीय-कहलर सममित समष्टि वर्गीकरण से आसानी से पढ़े जाते हैं। कॉम्पैक्ट और गैर-कॉम्पैक्ट दोनों स्थितियों में यह पता चला है कि प्रत्येक जटिल सरल लाई समूह के लिए बिल्कुल है, अर्थात् पी = 2 या क्यू = 2 के साथ एआई (ये आइसोमोर्फिक हैं), पी = 4 या क्यू = 4 के साथ बीडीआई , सीआईआई पी = 1 या क्यू = 1, ईआईआई, ईवीआई, ईआईएक्स, एफआई और जी के साथ देता हैं।
बॉटल आवधिकता प्रमेय
बॉटल आवधिकता प्रमेय में, स्थिर ऑर्थोगोनल समूह के लूप रिक्त समष्टि को रिडक्टिव सममित रिक्त समष्टि के रूप में व्याख्या किया जा सकता है।
यह भी देखें
- ओर्थोगोनल सिमेट्रिक ले बीजगणित
- सटेक आरेख
- कार्टन इनवोल्यूशन
संदर्भ
- ↑ Jurgen Jost, (2002) "Riemannian Geometry and Geometric Analysis", Third edition, Springer (See section 5.3, page 256)
- Akhiezer, D. N.; Vinberg, E. B. (1999), "Weakly symmetric spaces and spherical varieties", Transf. Groups, 4: 3–24, doi:10.1007/BF01236659
- van den Ban, E. P.; Flensted-Jensen, M.; Schlichtkrull, H. (1997), Harmonic analysis on semisimple symmetric spaces: A survey of some general results, in Representation Theory and Automorphic Forms: Instructional Conference, International Centre for Mathematical Sciences, March 1996, Edinburgh, Scotland, American Mathematical Society, ISBN 978-0-8218-0609-8
- Berger, Marcel (1957), "Les espaces symétriques noncompacts", Annales Scientifiques de l'École Normale Supérieure, 74 (2): 85–177, doi:10.24033/asens.1054
- Besse, Arthur Lancelot (1987), Einstein Manifolds, Springer-Verlag, ISBN 0-387-15279-2 Contains a compact introduction and many tables.
- Borel, Armand (2001), Essays in the History of Lie Groups and Algebraic Groups, American Mathematical Society, ISBN 0-8218-0288-7
- Cartan, Élie (1926), "Sur une classe remarquable d'espaces de Riemann, I", Bulletin de la Société Mathématique de France, 54: 214–216, doi:10.24033/bsmf.1105
- Cartan, Élie (1927), "Sur une classe remarquable d'espaces de Riemann, II", Bulletin de la Société Mathématique de France, 55: 114–134, doi:10.24033/bsmf.1113
- Flensted-Jensen, Mogens (1986), Analysis on Non-Riemannian Symmetric Spaces, CBMS Regional Conference, American Mathematical Society, ISBN 978-0-8218-0711-8
- Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5 The standard book on रीइमेन्नियन symmetric spaces.
- Helgason, Sigurdur (1984), Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions, Academic Press, ISBN 0-12-338301-3
- Huang, Yongdong; Leung, Naichung Conan (2010). "A uniform description of compact symmetric spaces as Grassmannians using the magic square" (PDF). Mathematische Annalen. 350 (1): 79–106. doi:10.1007/s00208-010-0549-8.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Volume II, Wiley Classics Library edition, ISBN 0-471-15732-5 Chapter XI contains a good introduction to रीइमेन्नियन symmetric spaces.
- Loos, Ottmar (1969), Symmetric spaces I: General Theory, Benjamin
- Loos, Ottmar (1969), Symmetric spaces II: Compact Spaces and Classification, Benjamin
- Nomizu, K. (1954), "Invariant affine connections on homogeneous spaces", Amer. J. Math., 76 (1): 33–65, doi:10.2307/2372398, JSTOR 2372398
- Selberg, Atle (1956), "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series", J. Indian Math. Society, 20: 47–87
- Wolf, Joseph A. (1999), Spaces of constant curvature (5th ed.), McGraw–Hill
- Wolf, Joseph A. (2007), Harmonic Analysis on Commutative Spaces, American Mathematical Society, ISBN 978-0-8218-4289-8