सामान्यीकृत ध्वज विविधता: Difference between revisions
(Created page with "गणित में, एक सामान्यीकृत ध्वज विविधता (या बस ध्वज विविधता) एक सजाती...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, | गणित में, सामान्यीकृत ध्वज विविधता (या बस ध्वज विविधता) [[सजातीय स्थान]] है जिसके बिंदु [[फ़ील्ड (गणित)]] एफ पर परिमित-आयामी वेक्टर स्थान ''वी'' में [[ध्वज (रैखिक बीजगणित)]] होते हैं। जब एफ वास्तविक या जटिल संख्या होती है, तो सामान्यीकृत ध्वज विविधता चिकनी मैनिफोल्ड या जटिल मैनिफोल्ड होती है, जिसे वास्तविक या जटिल [[चिकनी कई गुना]] कहा जाता है। ध्वज की किस्में स्वाभाविक रूप से प्रक्षेपी किस्म हैं। | ||
ध्वज की किस्मों को व्यापकता के विभिन्न स्तरों में परिभाषित किया जा सकता है। | ध्वज की किस्मों को व्यापकता के विभिन्न स्तरों में परिभाषित किया जा सकता है। प्रोटोटाइप फ़ील्ड F के ऊपर [[ सदिश स्थल ]] ''V'' में पूर्ण झंडों की विविधता है, जो कि F के ऊपर [[विशेष रैखिक समूह]] के लिए ध्वज किस्म है। अन्य ध्वज किस्में आंशिक झंडों पर विचार करके, या विशेष रैखिक समूह से उपसमूहों जैसे [[सहानुभूति समूह]] पर प्रतिबंध लगाकर उत्पन्न होती हैं। आंशिक झंडों के लिए, किसी को विचाराधीन झंडों के आयामों का क्रम निर्दिष्ट करना होगा। रैखिक समूह के उपसमूहों के लिए, झंडों पर अतिरिक्त शर्तें लगाई जानी चाहिए। | ||
सबसे सामान्य अर्थ में, | सबसे सामान्य अर्थ में, सामान्यीकृत ध्वज विविधता को प्रक्षेप्य सजातीय विविधता के रूप में परिभाषित किया गया है, अर्थात, क्षेत्र एफ पर चिकनी योजना प्रक्षेप्य विविधता '' एक्स'' [[रिडक्टिव समूह]] '' जी '' (और चिकनी स्टेबलाइजर उपसमूह) की सकर्मक कार्रवाई के साथ; यह [[विशेषता (बीजगणित)]] शून्य के एफ के लिए कोई प्रतिबंध नहीं है)। यदि ''X'' में F-[[तर्कसंगत बिंदु]] है, तो यह ''G'' के कुछ [[परवलयिक उपसमूह]] ''P'' के लिए ''G''/''P'' के समरूपी है। प्रक्षेपी सजातीय विविधता को ''जी'' के प्रक्षेपित [[समूह प्रतिनिधित्व]] में उच्चतम भार वेक्टर की कक्षा के रूप में भी महसूस किया जा सकता है। जटिल प्रक्षेप्य सजातीय किस्में कार्टन कनेक्शन के लिए [[ सघन स्थान ]] फ्लैट मॉडल स्पेस हैं#पैराबॉलिक प्रकार के पैराबॉलिक कार्टन कनेक्शन। वे ''जी'' के किसी भी अधिकतम कॉम्पैक्ट उपसमूह के तहत सजातीय [[रीमैनियन मैनिफोल्ड]] हैं, और वे सटीक रूप से कॉम्पैक्ट लाई समूहों की सह-संयुक्त कक्षाएँ हैं। | ||
ध्वज मैनिफ़ोल्ड [[सममित स्थान]] हो सकते हैं। जटिल संख्याओं पर, संबंधित ध्वज मैनिफोल्ड [[हर्मिटियन सममित स्थान]] हैं। वास्तविक संख्याओं पर, ''आर''-स्पेस वास्तविक ध्वज मैनिफ़ोल्ड का | ध्वज मैनिफ़ोल्ड [[सममित स्थान]] हो सकते हैं। जटिल संख्याओं पर, संबंधित ध्वज मैनिफोल्ड [[हर्मिटियन सममित स्थान]] हैं। वास्तविक संख्याओं पर, ''आर''-स्पेस वास्तविक ध्वज मैनिफ़ोल्ड का पर्याय है और संबंधित सममित रिक्त स्थान को सममित ''आर''-स्पेस कहा जाता है। | ||
== | ==सदिश स्थान में झंडे== | ||
{{main|flag (linear algebra)}} | {{main|flag (linear algebra)}} | ||
फ़ील्ड 'F' के ऊपर | फ़ील्ड 'F' के ऊपर परिमित आयामी वेक्टर स्पेस V में ध्वज रैखिक उप-स्थानों का बढ़ता हुआ क्रम है, जहां बढ़ने का मतलब है कि प्रत्येक अगले का उचित उप-स्थान है ([[निस्पंदन (अमूर्त बीजगणित)]] देखें): | ||
:<math>\{0\} = V_0 \sub V_1 \sub V_2 \sub \cdots \sub V_k = V.</math> | :<math>\{0\} = V_0 \sub V_1 \sub V_2 \sub \cdots \sub V_k = V.</math> | ||
यदि हम मंद V लिखते हैं<sub>''i''</sub> =डी<sub>''i''</sub> तो हमारे पास हैं | यदि हम मंद V लिखते हैं<sub>''i''</sub> =डी<sub>''i''</sub> तो हमारे पास हैं | ||
:<math>0 = d_0 < d_1 < d_2 < \cdots < d_k = n,</math> | :<math>0 = d_0 < d_1 < d_2 < \cdots < d_k = n,</math> | ||
जहां n, V का [[आयाम (रैखिक बीजगणित)]] है। इसलिए, हमारे पास k ≤ n होना चाहिए। | जहां n, V का [[आयाम (रैखिक बीजगणित)]] है। इसलिए, हमारे पास k ≤ n होना चाहिए। ध्वज को पूर्ण ध्वज कहा जाता है यदि d<sub>''i''</sub> = i सभी i के लिए, अन्यथा इसे आंशिक ध्वज कहा जाता है। ध्वज का हस्ताक्षर अनुक्रम है (d)<sub>1</sub>, ..., डी<sub>''k''</sub>). | ||
कुछ उप-स्थानों को हटाकर पूर्ण ध्वज से आंशिक ध्वज प्राप्त किया जा सकता है। इसके विपरीत, किसी भी आंशिक ध्वज को उपयुक्त उप-स्थान डालकर (कई अलग-अलग तरीकों से) पूरा किया जा सकता है। | कुछ उप-स्थानों को हटाकर पूर्ण ध्वज से आंशिक ध्वज प्राप्त किया जा सकता है। इसके विपरीत, किसी भी आंशिक ध्वज को उपयुक्त उप-स्थान डालकर (कई अलग-अलग तरीकों से) पूरा किया जा सकता है। | ||
Line 21: | Line 21: | ||
==प्रोटोटाइप: संपूर्ण ध्वज विविधता== | ==प्रोटोटाइप: संपूर्ण ध्वज विविधता== | ||
रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड 'F' के ऊपर n-आयामी वेक्टर स्पेस V में कोई भी दो पूर्ण झंडे ज्यामितीय दृष्टिकोण से | रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड 'F' के ऊपर n-आयामी वेक्टर स्पेस V में कोई भी दो पूर्ण झंडे ज्यामितीय दृष्टिकोण से दूसरे से अलग नहीं हैं। कहने का तात्पर्य यह है कि, [[सामान्य रैखिक समूह]] [[समूह क्रिया (गणित)]] सभी पूर्ण झंडों के सेट पर सकर्मक रूप से। | ||
V के लिए | V के लिए क्रमबद्ध [[आधार (रैखिक बीजगणित)]] तय करें, इसे 'F' से पहचानें<sup>n</sup>, जिसका सामान्य रैखिक समूह n × n व्युत्क्रमणीय आव्यूहों का समूह GL(n,'F') है। इस आधार से जुड़ा मानक ध्वज वह है जहां ith उपस्थान को आधार के पहले i वैक्टर द्वारा फैलाया जाता है। इस आधार के सापेक्ष, मानक ध्वज का [[स्टेबलाइज़र (समूह सिद्धांत)]] नॉनसिंगुलर निचले त्रिकोणीय मैट्रिक्स का [[समूह (गणित)]] है, जिसे हम बी द्वारा दर्शाते हैं<sub>''n''</sub>. इसलिए संपूर्ण ध्वज विविधता को सजातीय स्थान GL(n,'F') / B के रूप में लिखा जा सकता है<sub>''n''</sub>, जो विशेष रूप से दर्शाता है कि इसका 'F' के ऊपर आयाम n(n−1)/2 है। | ||
ध्यान दें कि पहचान के गुणक सभी झंडों पर तुच्छ रूप से कार्य करते हैं, और इसलिए कोई व्यक्ति निर्धारक वाले आव्यूहों के विशेष रैखिक समूह SL(n,'F') पर ध्यान केंद्रित कर सकता है, जो | ध्यान दें कि पहचान के गुणक सभी झंडों पर तुच्छ रूप से कार्य करते हैं, और इसलिए कोई व्यक्ति निर्धारक वाले आव्यूहों के विशेष रैखिक समूह SL(n,'F') पर ध्यान केंद्रित कर सकता है, जो अर्धसरल बीजगणितीय समूह है; सारणिक के निचले त्रिकोणीय मैट्रिक्स का सेट [[बोरेल उपसमूह]] है। | ||
यदि फ़ील्ड 'एफ' वास्तविक या जटिल संख्या है तो हम वी पर | यदि फ़ील्ड 'एफ' वास्तविक या जटिल संख्या है तो हम वी पर आंतरिक उत्पाद पेश कर सकते हैं जैसे कि चुना गया आधार [[ऑर्थोनॉर्मल]] है। कोई भी पूर्ण ध्वज ऑर्थोगोनल पूरक लेकर एक-आयामी उप-स्थानों के प्रत्यक्ष योग में विभाजित हो जाता है। इससे यह निष्कर्ष निकलता है कि जटिल संख्याओं पर पूरा ध्वज कई गुना सजातीय स्थान है | ||
:<math>U(n)/T^n</math> | :<math>U(n)/T^n</math> | ||
जहां U(n) [[एकात्मक समूह]] है और T<sup>n</sup>विकर्ण एकात्मक आव्यूहों का n-टोरस है। वास्तविक संख्याओं पर | जहां U(n) [[एकात्मक समूह]] है और T<sup>n</sup>विकर्ण एकात्मक आव्यूहों का n-टोरस है। वास्तविक संख्याओं पर समान विवरण है जिसमें U(n) को ऑर्थोगोनल समूह O(n) और T द्वारा प्रतिस्थापित किया गया है<sup>n</sup>विकर्ण ऑर्थोगोनल मैट्रिक्स द्वारा (जिसमें विकर्ण प्रविष्टियाँ ±1 हैं)। | ||
==आंशिक ध्वज किस्में== | ==आंशिक ध्वज किस्में== | ||
Line 37: | Line 37: | ||
हस्ताक्षर के सभी झंडों का स्थान है (d)<sub>1</sub>, डी<sub>2</sub>, ... डी<sub>''k''</sub>) आयाम n = d के सदिश समष्टि V में<sub>''k''</sub> एफ के ऊपर। संपूर्ण ध्वज विविधता वह विशेष मामला है जो ''डी''<sub>''i''</sub> = मैं सबके लिए मैं. जब k=2, यह d का [[ग्रासमैनियन]] है<sub>1</sub>वी के -आयामी उप-स्थान। | हस्ताक्षर के सभी झंडों का स्थान है (d)<sub>1</sub>, डी<sub>2</sub>, ... डी<sub>''k''</sub>) आयाम n = d के सदिश समष्टि V में<sub>''k''</sub> एफ के ऊपर। संपूर्ण ध्वज विविधता वह विशेष मामला है जो ''डी''<sub>''i''</sub> = मैं सबके लिए मैं. जब k=2, यह d का [[ग्रासमैनियन]] है<sub>1</sub>वी के -आयामी उप-स्थान। | ||
यह 'एफ' के ऊपर वी के सामान्य रैखिक समूह जी के लिए | यह 'एफ' के ऊपर वी के सामान्य रैखिक समूह जी के लिए सजातीय स्थान है। स्पष्ट होने के लिए, V = 'F' लें<sup>n</sup> ताकि G = GL(n,'F'). नेस्टेड उपस्थानों के ध्वज का स्टेबलाइज़र वी<sub>''i''</sub> आयाम का डी<sub>''i''</sub> गैर-एकवचन [[ब्लॉक मैट्रिक्स]] निचले त्रिकोणीय मैट्रिक्स के समूह के रूप में लिया जा सकता है, जहां ब्लॉक के आयाम n हैं<sub>''i''</sub> :=डी<sub>''i''</sub> − डी<sub>''i''−1</sub> (डी के साथ)<sub>0</sub> = 0). | ||
निर्धारक | निर्धारक के आव्यूहों तक सीमित, यह SL(n,'F') का परवलयिक उपसमूह P है, और इस प्रकार आंशिक ध्वज विविधता सजातीय स्थान SL(n,'F')/P के लिए समरूपी है। | ||
यदि 'एफ' वास्तविक या जटिल संख्या है, तो किसी भी ध्वज को सीधे योग में विभाजित करने के लिए | यदि 'एफ' वास्तविक या जटिल संख्या है, तो किसी भी ध्वज को सीधे योग में विभाजित करने के लिए आंतरिक उत्पाद का उपयोग किया जा सकता है, और इसलिए आंशिक ध्वज विविधता भी सजातीय स्थान के लिए आइसोमोर्फिक है | ||
:<math> U(n)/U(n_1)\times\cdots \times U(n_k)</math> | :<math> U(n)/U(n_1)\times\cdots \times U(n_k)</math> | ||
जटिल मामले में, या | जटिल मामले में, या | ||
Line 48: | Line 48: | ||
== [[अर्धसरल समूह]]ों का सामान्यीकरण == | == [[अर्धसरल समूह]]ों का सामान्यीकरण == | ||
निर्धारक के ऊपरी त्रिकोणीय मैट्रिक्स एसएल (एन, 'एफ') के बोरेल उपसमूह हैं, और इसलिए आंशिक झंडे के स्टेबलाइजर्स परवलयिक उपसमूह हैं। इसके अलावा, | निर्धारक के ऊपरी त्रिकोणीय मैट्रिक्स एसएल (एन, 'एफ') के बोरेल उपसमूह हैं, और इसलिए आंशिक झंडे के स्टेबलाइजर्स परवलयिक उपसमूह हैं। इसके अलावा, आंशिक ध्वज परवलयिक उपसमूह द्वारा निर्धारित किया जाता है जो इसे स्थिर करता है। | ||
इसलिए, अधिक सामान्यतः, यदि G | इसलिए, अधिक सामान्यतः, यदि G अर्धसरल समूह [[रैखिक बीजगणितीय समूह]] या Lie समूह है, तो G के लिए (सामान्यीकृत) ध्वज विविधता G/P है जहां P, G का परवलयिक उपसमूह है। परवलयिक उपसमूहों और सामान्यीकृत ध्वज किस्मों के बीच पत्राचार प्रत्येक को दूसरे के संदर्भ में समझने की अनुमति देता है। | ||
शब्दावली ध्वज विविधता का विस्तार उचित है, क्योंकि जी/पी के बिंदुओं को अभी भी झंडे का उपयोग करके वर्णित किया जा सकता है। जब G | शब्दावली ध्वज विविधता का विस्तार उचित है, क्योंकि जी/पी के बिंदुओं को अभी भी झंडे का उपयोग करके वर्णित किया जा सकता है। जब G शास्त्रीय [[झूठ समूह]] है, जैसे कि सहानुभूति समूह या [[ऑर्थोगोनल समूह]], तो यह विशेष रूप से पारदर्शी होता है। यदि (V, ω) सहानुभूतिपूर्ण सदिश समष्टि है तो V में आंशिक ध्वज [[समदैशिक]] है यदि ध्वज में V के उचित उप-स्थानों पर सहानुभूतिपूर्ण रूप गायब हो जाता है। आइसोट्रोपिक ध्वज का स्टेबलाइज़र सिम्प्लेक्टिक समूह Sp(V,ω) का परवलयिक उपसमूह है। ऑर्थोगोनल समूहों के लिए कुछ जटिलताओं के साथ समान तस्वीर है। सबसे पहले, यदि 'एफ' बीजगणितीय रूप से बंद नहीं है, तो आइसोट्रोपिक उप-स्थान मौजूद नहीं हो सकते हैं: सामान्य सिद्धांत के लिए, किसी को [[विभाजित ऑर्थोगोनल समूह]]ों का उपयोग करने की आवश्यकता होती है। दूसरा, सम आयाम 2m के सदिश स्थानों के लिए, आयाम m के आइसोट्रोपिक उप-स्थान दो स्वादों (स्व-दोहरे और विरोधी-दोहरे) में आते हैं और सजातीय स्थान प्राप्त करने के लिए इन्हें अलग करने की आवश्यकता होती है। | ||
==सहसंरचना== | ==सहसंरचना== | ||
यदि G | यदि G कॉम्पैक्ट, कनेक्टेड Lie समूह है, तो इसमें [[अधिकतम टोरस]] T होता है और [[भागफल टोपोलॉजी]] के साथ बाएं कोसेट का स्थान G/T कॉम्पैक्ट वास्तविक मैनिफोल्ड होता है। यदि H, T युक्त G का कोई अन्य बंद, जुड़ा हुआ उपसमूह है, तो G/H अन्य सघन वास्तविक मैनिफोल्ड है। (दोनों वास्तव में कॉम्प्लेक्सिफिकेशन (झूठ समूह) के माध्यम से विहित तरीके से जटिल सजातीय स्थान हैं #सजातीय स्थानों पर जटिल संरचनाएं।) | ||
जटिल संरचना और [[सेलुलर समरूपता]] की उपस्थिति|सेलुलर (सह)होमोलॉजी यह देखना आसान बनाती है कि जी/एच की [[ कोहोमोलोजी रिंग ]] सम डिग्री में केंद्रित है, लेकिन वास्तव में, कुछ अधिक मजबूत कहा जा सकता है। क्योंकि G → G/H प्रमुख बंडल है | प्रिंसिपल एच-बंडल, वर्गीकरण स्थान बीएच को लक्षित करने के साथ वर्गीकृत मानचित्र जी/एच → बीएच मौजूद है। यदि हम G/H को इक्विवेरिएंट कोहोमोलॉजी#होमोटोपी भागफल G से प्रतिस्थापित करते हैं<sub>''H''</sub> अनुक्रम G → G/H → BH में, हम प्रमुख G-बंडल प्राप्त करते हैं जिसे G पर H की सही गुणन क्रिया का इक्विवेरिएंट कोहोमोलॉजी#होमोटोपी भागफल कहा जाता है, और हम फाइबर-प्रतिबंध होमोमोर्फिज्म H*(G/H) → H*(G) को समझने के लिए इस बंडल के कोहोमोलॉजिकल [[सेरे वर्णक्रमीय अनुक्रम]] का उपयोग कर सकते हैं। | |||
और विशेषता मानचित्र H*(BH) → H*(G/H), इसलिए कहा जाता है क्योंकि इसकी छवि, H*(G/H की विशेषता उप-वलय), मूल बंडल H → G → G/H की विशेषता कक्षाओं को वहन करती है। | और विशेषता मानचित्र H*(BH) → H*(G/H), इसलिए कहा जाता है क्योंकि इसकी छवि, H*(G/H की विशेषता उप-वलय), मूल बंडल H → G → G/H की विशेषता कक्षाओं को वहन करती है। | ||
आइए अब हम अपनी गुणांक रिंग को विशेषता शून्य के फ़ील्ड k तक सीमित रखें, ताकि, | आइए अब हम अपनी गुणांक रिंग को विशेषता शून्य के फ़ील्ड k तक सीमित रखें, ताकि, | ||
हॉपफ बीजगणित द्वारा#लाई समूहों की सहसंरचना|हॉपफ का प्रमेय, एच*(जी) विषम डिग्री के जनरेटर ([[आदिम तत्व (सह-बीजगणित)]] का उपस्थान) पर | हॉपफ बीजगणित द्वारा#लाई समूहों की सहसंरचना|हॉपफ का प्रमेय, एच*(जी) विषम डिग्री के जनरेटर ([[आदिम तत्व (सह-बीजगणित)]] का उपस्थान) पर [[बाहरी बीजगणित]] है। यह इस प्रकार है कि किनारे [[समरूपता]]एँ | ||
:<math>E_{r+1}^{0,r} \to E_{r+1}^{r+1,0}</math> | :<math>E_{r+1}^{0,r} \to E_{r+1}^{r+1,0}</math> | ||
वर्णक्रमीय अनुक्रम को अंततः पृष्ठ E के बाएँ स्तंभ H*(G) में आदिम तत्वों का स्थान लेना चाहिए<sub>2</sub> विशेष रूप से निचली पंक्ति H*(BH) में: हम जानते हैं कि G और H का कार्टन उपसमूह समान है, | वर्णक्रमीय अनुक्रम को अंततः पृष्ठ E के बाएँ स्तंभ H*(G) में आदिम तत्वों का स्थान लेना चाहिए<sub>2</sub> विशेष रूप से निचली पंक्ति H*(BH) में: हम जानते हैं कि G और H का कार्टन उपसमूह समान है, | ||
इसलिए यदि एज होमोमोर्फिज्म का संग्रह आदिम उप-स्थान पर पूर्ण रैंक नहीं था, तो अनुक्रम के अंतिम पृष्ठ एच * (जी/एच) में निचली पंक्ति एच * (बीएच) की छवि के-वेक्टर स्पेस के रूप में अनंत-आयामी होगी, जो असंभव है, उदाहरण के लिए सेलुलर होमोलॉजी द्वारा फिर से, क्योंकि | इसलिए यदि एज होमोमोर्फिज्म का संग्रह आदिम उप-स्थान पर पूर्ण रैंक नहीं था, तो अनुक्रम के अंतिम पृष्ठ एच * (जी/एच) में निचली पंक्ति एच * (बीएच) की छवि के-वेक्टर स्पेस के रूप में अनंत-आयामी होगी, जो असंभव है, उदाहरण के लिए सेलुलर होमोलॉजी द्वारा फिर से, क्योंकि कॉम्पैक्ट सजातीय स्थान परिमित [[सीडब्ल्यू कॉम्प्लेक्स]] को स्वीकार करता है। | ||
इस प्रकार रिंग मैप H*(G/H) → H*(G) इस मामले में तुच्छ है, और विशेषता मानचित्र विशेषण है, ताकि H*(G/H) H*(BH) का | इस प्रकार रिंग मैप H*(G/H) → H*(G) इस मामले में तुच्छ है, और विशेषता मानचित्र विशेषण है, ताकि H*(G/H) H*(BH) का भागफल हो। मानचित्र का कर्नेल किनारे समरूपता के तहत आदिम तत्वों की छवियों द्वारा उत्पन्न आदर्श है, जो कैनोनिकल मानचित्र एच * (बीजी) → एच * (बीएच) की छवि में सकारात्मक-डिग्री तत्वों द्वारा उत्पन्न आदर्श भी है जो जी में एच के समावेश से प्रेरित है। | ||
नक्शा H*(BG) → H*(BT) इंजेक्शन है, और इसी तरह H के लिए, छवि के साथ सबरिंग H*(BT)<sup>[[वेइल समूह]] की कार्रवाई के तहत तत्वों का डब्ल्यू (जी) अपरिवर्तनीय है, इसलिए अंततः संक्षिप्त विवरण प्राप्त होता है | नक्शा H*(BG) → H*(BT) इंजेक्शन है, और इसी तरह H के लिए, छवि के साथ सबरिंग H*(BT)<sup>[[वेइल समूह]] की कार्रवाई के तहत तत्वों का डब्ल्यू (जी) अपरिवर्तनीय है, इसलिए अंततः संक्षिप्त विवरण प्राप्त होता है | ||
:<math>H^*(G/H) \cong H^*(BT)^{W(H)}/\big(\widetilde{H}^*(BT)^{W(G)}\big),</math> | :<math>H^*(G/H) \cong H^*(BT)^{W(H)}/\big(\widetilde{H}^*(BT)^{W(G)}\big),</math> | ||
कहाँ <math>\widetilde H^*</math> सकारात्मक-डिग्री तत्वों और कोष्ठक | कहाँ <math>\widetilde H^*</math> सकारात्मक-डिग्री तत्वों और कोष्ठक आदर्श की पीढ़ी को दर्शाता है। उदाहरण के लिए, संपूर्ण जटिल ध्वज मैनिफोल्ड के लिए U(n)/T<sup>n</sup>, के पास है | ||
:<math>H^*\big(U(n)/T^n\big) \cong \mathbb{Q}[t_1,\ldots,t_n]/(\sigma_1,\ldots,\sigma_n),</math> | :<math>H^*\big(U(n)/T^n\big) \cong \mathbb{Q}[t_1,\ldots,t_n]/(\sigma_1,\ldots,\sigma_n),</math> | ||
जहां टी<sub>''j''</sub> डिग्री 2 और σ के हैं<sub>''j''</sub> चर t में पहले n [[प्राथमिक सममित बहुपद]] हैं<sub>''j''</sub>. अधिक ठोस उदाहरण के लिए, n = 2 लें, ताकि U(2)/[U(1) × U(1)] जटिल ग्रासमैनियन Gr(1) हो,<math>\mathbb{C}</math><sup>2</sup>) ≈ <math>\mathbb{C}</math>P<sup>1</sup>≈ एस<sup>2</sup>. फिर हम उम्मीद करते हैं कि कोहोमोलॉजी रिंग डिग्री दो ([[मौलिक वर्ग]]) के जनरेटर पर | जहां टी<sub>''j''</sub> डिग्री 2 और σ के हैं<sub>''j''</sub> चर t में पहले n [[प्राथमिक सममित बहुपद]] हैं<sub>''j''</sub>. अधिक ठोस उदाहरण के लिए, n = 2 लें, ताकि U(2)/[U(1) × U(1)] जटिल ग्रासमैनियन Gr(1) हो,<math>\mathbb{C}</math><sup>2</sup>) ≈ <math>\mathbb{C}</math>P<sup>1</sup>≈ एस<sup>2</sup>. फिर हम उम्मीद करते हैं कि कोहोमोलॉजी रिंग डिग्री दो ([[मौलिक वर्ग]]) के जनरेटर पर बाहरी बीजगणित होगी, और वास्तव में, | ||
:<math>H^*\big(U(2)/T^2\big) \cong \mathbb{Q}[t_1,t_2]/(t_1 + t_2, t_1 t_2) | :<math>H^*\big(U(2)/T^2\big) \cong \mathbb{Q}[t_1,t_2]/(t_1 + t_2, t_1 t_2) | ||
Line 84: | Line 84: | ||
==उच्चतम भार कक्षाएँ और प्रक्षेप्य सजातीय किस्में== | ==उच्चतम भार कक्षाएँ और प्रक्षेप्य सजातीय किस्में== | ||
यदि G | यदि G अर्धसरल बीजगणितीय समूह (या Lie समूह) है और V, G का (परिमित आयामी) उच्चतम भार प्रतिनिधित्व है, तो उच्चतम भार स्थान [[प्रक्षेप्य स्थान]] P(V) में बिंदु है और G की क्रिया के तहत इसकी कक्षा प्रक्षेप्य बीजगणितीय किस्म है। यह किस्म (सामान्यीकृत) ध्वज किस्म है, और इसके अलावा, जी के लिए प्रत्येक (सामान्यीकृत) ध्वज किस्म इस तरह से उत्पन्न होती है। | ||
[[आर्मंड बोरेल]] ने दिखाया{{Citation needed|reason=Need to cite the paper where Borel proves what follows|date=March 2021}} कि यह | [[आर्मंड बोरेल]] ने दिखाया{{Citation needed|reason=Need to cite the paper where Borel proves what follows|date=March 2021}} कि यह सामान्य अर्धसरल बीजगणितीय समूह जी की ध्वज किस्मों की विशेषता है: वे बिल्कुल जी की पूर्ण विविधता वाले सजातीय स्थान हैं, या समकक्ष (इस संदर्भ में), प्रक्षेप्य सजातीय जी-किस्में हैं। | ||
==सममित स्थान== | ==सममित स्थान== | ||
{{main|Symmetric space}} | {{main|Symmetric space}} | ||
मान लीजिए G अधिकतम सघन उपसमूह K के साथ | मान लीजिए G अधिकतम सघन उपसमूह K के साथ अर्धसरल Lie समूह है। तब K परवलयिक उपसमूहों के किसी भी संयुग्मन वर्ग पर संक्रमणीय रूप से कार्य करता है, और इसलिए सामान्यीकृत ध्वज विविधता G/P आइसोमेट्री समूह K के साथ सघन सजातीय रीमैनियन मैनिफोल्ड K/(K∩P) है। इसके अलावा, यदि G जटिल Lie समूह है, तो G/P सजातीय काहलर मैनिफोल्ड है। | ||
इसे चारों ओर घुमाते हुए, रीमैनियन सजातीय स्थान | इसे चारों ओर घुमाते हुए, रीमैनियन सजातीय स्थान | ||
Line 96: | Line 96: | ||
:एम = के/(के∩पी) | :एम = के/(के∩पी) | ||
परिवर्तनों के | परिवर्तनों के सख्ती से बड़े झूठ समूह को स्वीकार करें, अर्थात् जी। इस मामले में विशेषज्ञता कि एम सममित स्थान है, यह अवलोकन इतने बड़े समरूपता समूह को स्वीकार करने वाले सभी सममित स्थान उत्पन्न करता है, और इन स्थानों को कोबायाशी और नागानो द्वारा वर्गीकृत किया गया है। | ||
यदि G | यदि G जटिल झूठ समूह है, तो इस तरह से उत्पन्न होने वाले सममित स्थान M कॉम्पैक्ट हर्मिटियन सममित स्थान हैं: K आइसोमेट्री समूह है, और G, M का बिहोलोमोर्फिज्म समूह है। | ||
वास्तविक संख्याओं पर, | वास्तविक संख्याओं पर, वास्तविक ध्वज मैनिफोल्ड को आर-स्पेस भी कहा जाता है, और आर-स्पेस जो कि के के तहत रीमैनियन सममित स्थान हैं, सममित आर-स्पेस के रूप में जाने जाते हैं। सममित आर-स्पेस जो हर्मिटियन सममित नहीं हैं, जी को बायोलोमोर्फिज्म समूह जी का वास्तविक रूप मानकर प्राप्त किए जाते हैं।<sup>सी</sup>हर्मिटियन सममित स्थान जी का<sup>सी</sup>/पी<sup>c</sup> ऐसा कि P := P<sup>c</sup>∩G, G का परवलयिक उपसमूह है। उदाहरणों में प्रक्षेप्य स्थान (G के साथ [[प्रक्षेप्य परिवर्तन]]ों का समूह) और गोले (G के साथ [[अनुरूप परिवर्तन]]ों का समूह) शामिल हैं। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 11:17, 2 August 2023
गणित में, सामान्यीकृत ध्वज विविधता (या बस ध्वज विविधता) सजातीय स्थान है जिसके बिंदु फ़ील्ड (गणित) एफ पर परिमित-आयामी वेक्टर स्थान वी में ध्वज (रैखिक बीजगणित) होते हैं। जब एफ वास्तविक या जटिल संख्या होती है, तो सामान्यीकृत ध्वज विविधता चिकनी मैनिफोल्ड या जटिल मैनिफोल्ड होती है, जिसे वास्तविक या जटिल चिकनी कई गुना कहा जाता है। ध्वज की किस्में स्वाभाविक रूप से प्रक्षेपी किस्म हैं।
ध्वज की किस्मों को व्यापकता के विभिन्न स्तरों में परिभाषित किया जा सकता है। प्रोटोटाइप फ़ील्ड F के ऊपर सदिश स्थल V में पूर्ण झंडों की विविधता है, जो कि F के ऊपर विशेष रैखिक समूह के लिए ध्वज किस्म है। अन्य ध्वज किस्में आंशिक झंडों पर विचार करके, या विशेष रैखिक समूह से उपसमूहों जैसे सहानुभूति समूह पर प्रतिबंध लगाकर उत्पन्न होती हैं। आंशिक झंडों के लिए, किसी को विचाराधीन झंडों के आयामों का क्रम निर्दिष्ट करना होगा। रैखिक समूह के उपसमूहों के लिए, झंडों पर अतिरिक्त शर्तें लगाई जानी चाहिए।
सबसे सामान्य अर्थ में, सामान्यीकृत ध्वज विविधता को प्रक्षेप्य सजातीय विविधता के रूप में परिभाषित किया गया है, अर्थात, क्षेत्र एफ पर चिकनी योजना प्रक्षेप्य विविधता एक्स रिडक्टिव समूह जी (और चिकनी स्टेबलाइजर उपसमूह) की सकर्मक कार्रवाई के साथ; यह विशेषता (बीजगणित) शून्य के एफ के लिए कोई प्रतिबंध नहीं है)। यदि X में F-तर्कसंगत बिंदु है, तो यह G के कुछ परवलयिक उपसमूह P के लिए G/P के समरूपी है। प्रक्षेपी सजातीय विविधता को जी के प्रक्षेपित समूह प्रतिनिधित्व में उच्चतम भार वेक्टर की कक्षा के रूप में भी महसूस किया जा सकता है। जटिल प्रक्षेप्य सजातीय किस्में कार्टन कनेक्शन के लिए सघन स्थान फ्लैट मॉडल स्पेस हैं#पैराबॉलिक प्रकार के पैराबॉलिक कार्टन कनेक्शन। वे जी के किसी भी अधिकतम कॉम्पैक्ट उपसमूह के तहत सजातीय रीमैनियन मैनिफोल्ड हैं, और वे सटीक रूप से कॉम्पैक्ट लाई समूहों की सह-संयुक्त कक्षाएँ हैं।
ध्वज मैनिफ़ोल्ड सममित स्थान हो सकते हैं। जटिल संख्याओं पर, संबंधित ध्वज मैनिफोल्ड हर्मिटियन सममित स्थान हैं। वास्तविक संख्याओं पर, आर-स्पेस वास्तविक ध्वज मैनिफ़ोल्ड का पर्याय है और संबंधित सममित रिक्त स्थान को सममित आर-स्पेस कहा जाता है।
सदिश स्थान में झंडे
फ़ील्ड 'F' के ऊपर परिमित आयामी वेक्टर स्पेस V में ध्वज रैखिक उप-स्थानों का बढ़ता हुआ क्रम है, जहां बढ़ने का मतलब है कि प्रत्येक अगले का उचित उप-स्थान है (निस्पंदन (अमूर्त बीजगणित) देखें):
यदि हम मंद V लिखते हैंi =डीi तो हमारे पास हैं
जहां n, V का आयाम (रैखिक बीजगणित) है। इसलिए, हमारे पास k ≤ n होना चाहिए। ध्वज को पूर्ण ध्वज कहा जाता है यदि di = i सभी i के लिए, अन्यथा इसे आंशिक ध्वज कहा जाता है। ध्वज का हस्ताक्षर अनुक्रम है (d)1, ..., डीk).
कुछ उप-स्थानों को हटाकर पूर्ण ध्वज से आंशिक ध्वज प्राप्त किया जा सकता है। इसके विपरीत, किसी भी आंशिक ध्वज को उपयुक्त उप-स्थान डालकर (कई अलग-अलग तरीकों से) पूरा किया जा सकता है।
प्रोटोटाइप: संपूर्ण ध्वज विविधता
रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड 'F' के ऊपर n-आयामी वेक्टर स्पेस V में कोई भी दो पूर्ण झंडे ज्यामितीय दृष्टिकोण से दूसरे से अलग नहीं हैं। कहने का तात्पर्य यह है कि, सामान्य रैखिक समूह समूह क्रिया (गणित) सभी पूर्ण झंडों के सेट पर सकर्मक रूप से।
V के लिए क्रमबद्ध आधार (रैखिक बीजगणित) तय करें, इसे 'F' से पहचानेंn, जिसका सामान्य रैखिक समूह n × n व्युत्क्रमणीय आव्यूहों का समूह GL(n,'F') है। इस आधार से जुड़ा मानक ध्वज वह है जहां ith उपस्थान को आधार के पहले i वैक्टर द्वारा फैलाया जाता है। इस आधार के सापेक्ष, मानक ध्वज का स्टेबलाइज़र (समूह सिद्धांत) नॉनसिंगुलर निचले त्रिकोणीय मैट्रिक्स का समूह (गणित) है, जिसे हम बी द्वारा दर्शाते हैंn. इसलिए संपूर्ण ध्वज विविधता को सजातीय स्थान GL(n,'F') / B के रूप में लिखा जा सकता हैn, जो विशेष रूप से दर्शाता है कि इसका 'F' के ऊपर आयाम n(n−1)/2 है।
ध्यान दें कि पहचान के गुणक सभी झंडों पर तुच्छ रूप से कार्य करते हैं, और इसलिए कोई व्यक्ति निर्धारक वाले आव्यूहों के विशेष रैखिक समूह SL(n,'F') पर ध्यान केंद्रित कर सकता है, जो अर्धसरल बीजगणितीय समूह है; सारणिक के निचले त्रिकोणीय मैट्रिक्स का सेट बोरेल उपसमूह है।
यदि फ़ील्ड 'एफ' वास्तविक या जटिल संख्या है तो हम वी पर आंतरिक उत्पाद पेश कर सकते हैं जैसे कि चुना गया आधार ऑर्थोनॉर्मल है। कोई भी पूर्ण ध्वज ऑर्थोगोनल पूरक लेकर एक-आयामी उप-स्थानों के प्रत्यक्ष योग में विभाजित हो जाता है। इससे यह निष्कर्ष निकलता है कि जटिल संख्याओं पर पूरा ध्वज कई गुना सजातीय स्थान है
जहां U(n) एकात्मक समूह है और Tnविकर्ण एकात्मक आव्यूहों का n-टोरस है। वास्तविक संख्याओं पर समान विवरण है जिसमें U(n) को ऑर्थोगोनल समूह O(n) और T द्वारा प्रतिस्थापित किया गया हैnविकर्ण ऑर्थोगोनल मैट्रिक्स द्वारा (जिसमें विकर्ण प्रविष्टियाँ ±1 हैं)।
आंशिक ध्वज किस्में
आंशिक ध्वज किस्म
हस्ताक्षर के सभी झंडों का स्थान है (d)1, डी2, ... डीk) आयाम n = d के सदिश समष्टि V मेंk एफ के ऊपर। संपूर्ण ध्वज विविधता वह विशेष मामला है जो डीi = मैं सबके लिए मैं. जब k=2, यह d का ग्रासमैनियन है1वी के -आयामी उप-स्थान।
यह 'एफ' के ऊपर वी के सामान्य रैखिक समूह जी के लिए सजातीय स्थान है। स्पष्ट होने के लिए, V = 'F' लेंn ताकि G = GL(n,'F'). नेस्टेड उपस्थानों के ध्वज का स्टेबलाइज़र वीi आयाम का डीi गैर-एकवचन ब्लॉक मैट्रिक्स निचले त्रिकोणीय मैट्रिक्स के समूह के रूप में लिया जा सकता है, जहां ब्लॉक के आयाम n हैंi :=डीi − डीi−1 (डी के साथ)0 = 0).
निर्धारक के आव्यूहों तक सीमित, यह SL(n,'F') का परवलयिक उपसमूह P है, और इस प्रकार आंशिक ध्वज विविधता सजातीय स्थान SL(n,'F')/P के लिए समरूपी है।
यदि 'एफ' वास्तविक या जटिल संख्या है, तो किसी भी ध्वज को सीधे योग में विभाजित करने के लिए आंतरिक उत्पाद का उपयोग किया जा सकता है, और इसलिए आंशिक ध्वज विविधता भी सजातीय स्थान के लिए आइसोमोर्फिक है
जटिल मामले में, या
वास्तविक मामले में.
अर्धसरल समूहों का सामान्यीकरण
निर्धारक के ऊपरी त्रिकोणीय मैट्रिक्स एसएल (एन, 'एफ') के बोरेल उपसमूह हैं, और इसलिए आंशिक झंडे के स्टेबलाइजर्स परवलयिक उपसमूह हैं। इसके अलावा, आंशिक ध्वज परवलयिक उपसमूह द्वारा निर्धारित किया जाता है जो इसे स्थिर करता है।
इसलिए, अधिक सामान्यतः, यदि G अर्धसरल समूह रैखिक बीजगणितीय समूह या Lie समूह है, तो G के लिए (सामान्यीकृत) ध्वज विविधता G/P है जहां P, G का परवलयिक उपसमूह है। परवलयिक उपसमूहों और सामान्यीकृत ध्वज किस्मों के बीच पत्राचार प्रत्येक को दूसरे के संदर्भ में समझने की अनुमति देता है।
शब्दावली ध्वज विविधता का विस्तार उचित है, क्योंकि जी/पी के बिंदुओं को अभी भी झंडे का उपयोग करके वर्णित किया जा सकता है। जब G शास्त्रीय झूठ समूह है, जैसे कि सहानुभूति समूह या ऑर्थोगोनल समूह, तो यह विशेष रूप से पारदर्शी होता है। यदि (V, ω) सहानुभूतिपूर्ण सदिश समष्टि है तो V में आंशिक ध्वज समदैशिक है यदि ध्वज में V के उचित उप-स्थानों पर सहानुभूतिपूर्ण रूप गायब हो जाता है। आइसोट्रोपिक ध्वज का स्टेबलाइज़र सिम्प्लेक्टिक समूह Sp(V,ω) का परवलयिक उपसमूह है। ऑर्थोगोनल समूहों के लिए कुछ जटिलताओं के साथ समान तस्वीर है। सबसे पहले, यदि 'एफ' बीजगणितीय रूप से बंद नहीं है, तो आइसोट्रोपिक उप-स्थान मौजूद नहीं हो सकते हैं: सामान्य सिद्धांत के लिए, किसी को विभाजित ऑर्थोगोनल समूहों का उपयोग करने की आवश्यकता होती है। दूसरा, सम आयाम 2m के सदिश स्थानों के लिए, आयाम m के आइसोट्रोपिक उप-स्थान दो स्वादों (स्व-दोहरे और विरोधी-दोहरे) में आते हैं और सजातीय स्थान प्राप्त करने के लिए इन्हें अलग करने की आवश्यकता होती है।
सहसंरचना
यदि G कॉम्पैक्ट, कनेक्टेड Lie समूह है, तो इसमें अधिकतम टोरस T होता है और भागफल टोपोलॉजी के साथ बाएं कोसेट का स्थान G/T कॉम्पैक्ट वास्तविक मैनिफोल्ड होता है। यदि H, T युक्त G का कोई अन्य बंद, जुड़ा हुआ उपसमूह है, तो G/H अन्य सघन वास्तविक मैनिफोल्ड है। (दोनों वास्तव में कॉम्प्लेक्सिफिकेशन (झूठ समूह) के माध्यम से विहित तरीके से जटिल सजातीय स्थान हैं #सजातीय स्थानों पर जटिल संरचनाएं।)
जटिल संरचना और सेलुलर समरूपता की उपस्थिति|सेलुलर (सह)होमोलॉजी यह देखना आसान बनाती है कि जी/एच की कोहोमोलोजी रिंग सम डिग्री में केंद्रित है, लेकिन वास्तव में, कुछ अधिक मजबूत कहा जा सकता है। क्योंकि G → G/H प्रमुख बंडल है | प्रिंसिपल एच-बंडल, वर्गीकरण स्थान बीएच को लक्षित करने के साथ वर्गीकृत मानचित्र जी/एच → बीएच मौजूद है। यदि हम G/H को इक्विवेरिएंट कोहोमोलॉजी#होमोटोपी भागफल G से प्रतिस्थापित करते हैंH अनुक्रम G → G/H → BH में, हम प्रमुख G-बंडल प्राप्त करते हैं जिसे G पर H की सही गुणन क्रिया का इक्विवेरिएंट कोहोमोलॉजी#होमोटोपी भागफल कहा जाता है, और हम फाइबर-प्रतिबंध होमोमोर्फिज्म H*(G/H) → H*(G) को समझने के लिए इस बंडल के कोहोमोलॉजिकल सेरे वर्णक्रमीय अनुक्रम का उपयोग कर सकते हैं। और विशेषता मानचित्र H*(BH) → H*(G/H), इसलिए कहा जाता है क्योंकि इसकी छवि, H*(G/H की विशेषता उप-वलय), मूल बंडल H → G → G/H की विशेषता कक्षाओं को वहन करती है।
आइए अब हम अपनी गुणांक रिंग को विशेषता शून्य के फ़ील्ड k तक सीमित रखें, ताकि, हॉपफ बीजगणित द्वारा#लाई समूहों की सहसंरचना|हॉपफ का प्रमेय, एच*(जी) विषम डिग्री के जनरेटर (आदिम तत्व (सह-बीजगणित) का उपस्थान) पर बाहरी बीजगणित है। यह इस प्रकार है कि किनारे समरूपताएँ
वर्णक्रमीय अनुक्रम को अंततः पृष्ठ E के बाएँ स्तंभ H*(G) में आदिम तत्वों का स्थान लेना चाहिए2 विशेष रूप से निचली पंक्ति H*(BH) में: हम जानते हैं कि G और H का कार्टन उपसमूह समान है, इसलिए यदि एज होमोमोर्फिज्म का संग्रह आदिम उप-स्थान पर पूर्ण रैंक नहीं था, तो अनुक्रम के अंतिम पृष्ठ एच * (जी/एच) में निचली पंक्ति एच * (बीएच) की छवि के-वेक्टर स्पेस के रूप में अनंत-आयामी होगी, जो असंभव है, उदाहरण के लिए सेलुलर होमोलॉजी द्वारा फिर से, क्योंकि कॉम्पैक्ट सजातीय स्थान परिमित सीडब्ल्यू कॉम्प्लेक्स को स्वीकार करता है।
इस प्रकार रिंग मैप H*(G/H) → H*(G) इस मामले में तुच्छ है, और विशेषता मानचित्र विशेषण है, ताकि H*(G/H) H*(BH) का भागफल हो। मानचित्र का कर्नेल किनारे समरूपता के तहत आदिम तत्वों की छवियों द्वारा उत्पन्न आदर्श है, जो कैनोनिकल मानचित्र एच * (बीजी) → एच * (बीएच) की छवि में सकारात्मक-डिग्री तत्वों द्वारा उत्पन्न आदर्श भी है जो जी में एच के समावेश से प्रेरित है।
नक्शा H*(BG) → H*(BT) इंजेक्शन है, और इसी तरह H के लिए, छवि के साथ सबरिंग H*(BT)वेइल समूह की कार्रवाई के तहत तत्वों का डब्ल्यू (जी) अपरिवर्तनीय है, इसलिए अंततः संक्षिप्त विवरण प्राप्त होता है
कहाँ सकारात्मक-डिग्री तत्वों और कोष्ठक आदर्श की पीढ़ी को दर्शाता है। उदाहरण के लिए, संपूर्ण जटिल ध्वज मैनिफोल्ड के लिए U(n)/Tn, के पास है
जहां टीj डिग्री 2 और σ के हैंj चर t में पहले n प्राथमिक सममित बहुपद हैंj. अधिक ठोस उदाहरण के लिए, n = 2 लें, ताकि U(2)/[U(1) × U(1)] जटिल ग्रासमैनियन Gr(1) हो,2) ≈ P1≈ एस2. फिर हम उम्मीद करते हैं कि कोहोमोलॉजी रिंग डिग्री दो (मौलिक वर्ग) के जनरेटर पर बाहरी बीजगणित होगी, और वास्तव में,
जैसी कि आशा थी.
उच्चतम भार कक्षाएँ और प्रक्षेप्य सजातीय किस्में
यदि G अर्धसरल बीजगणितीय समूह (या Lie समूह) है और V, G का (परिमित आयामी) उच्चतम भार प्रतिनिधित्व है, तो उच्चतम भार स्थान प्रक्षेप्य स्थान P(V) में बिंदु है और G की क्रिया के तहत इसकी कक्षा प्रक्षेप्य बीजगणितीय किस्म है। यह किस्म (सामान्यीकृत) ध्वज किस्म है, और इसके अलावा, जी के लिए प्रत्येक (सामान्यीकृत) ध्वज किस्म इस तरह से उत्पन्न होती है।
आर्मंड बोरेल ने दिखाया[citation needed] कि यह सामान्य अर्धसरल बीजगणितीय समूह जी की ध्वज किस्मों की विशेषता है: वे बिल्कुल जी की पूर्ण विविधता वाले सजातीय स्थान हैं, या समकक्ष (इस संदर्भ में), प्रक्षेप्य सजातीय जी-किस्में हैं।
सममित स्थान
मान लीजिए G अधिकतम सघन उपसमूह K के साथ अर्धसरल Lie समूह है। तब K परवलयिक उपसमूहों के किसी भी संयुग्मन वर्ग पर संक्रमणीय रूप से कार्य करता है, और इसलिए सामान्यीकृत ध्वज विविधता G/P आइसोमेट्री समूह K के साथ सघन सजातीय रीमैनियन मैनिफोल्ड K/(K∩P) है। इसके अलावा, यदि G जटिल Lie समूह है, तो G/P सजातीय काहलर मैनिफोल्ड है।
इसे चारों ओर घुमाते हुए, रीमैनियन सजातीय स्थान
- एम = के/(के∩पी)
परिवर्तनों के सख्ती से बड़े झूठ समूह को स्वीकार करें, अर्थात् जी। इस मामले में विशेषज्ञता कि एम सममित स्थान है, यह अवलोकन इतने बड़े समरूपता समूह को स्वीकार करने वाले सभी सममित स्थान उत्पन्न करता है, और इन स्थानों को कोबायाशी और नागानो द्वारा वर्गीकृत किया गया है।
यदि G जटिल झूठ समूह है, तो इस तरह से उत्पन्न होने वाले सममित स्थान M कॉम्पैक्ट हर्मिटियन सममित स्थान हैं: K आइसोमेट्री समूह है, और G, M का बिहोलोमोर्फिज्म समूह है।
वास्तविक संख्याओं पर, वास्तविक ध्वज मैनिफोल्ड को आर-स्पेस भी कहा जाता है, और आर-स्पेस जो कि के के तहत रीमैनियन सममित स्थान हैं, सममित आर-स्पेस के रूप में जाने जाते हैं। सममित आर-स्पेस जो हर्मिटियन सममित नहीं हैं, जी को बायोलोमोर्फिज्म समूह जी का वास्तविक रूप मानकर प्राप्त किए जाते हैं।सीहर्मिटियन सममित स्थान जी कासी/पीc ऐसा कि P := Pc∩G, G का परवलयिक उपसमूह है। उदाहरणों में प्रक्षेप्य स्थान (G के साथ प्रक्षेप्य परिवर्तनों का समूह) और गोले (G के साथ अनुरूप परिवर्तनों का समूह) शामिल हैं।
यह भी देखें
संदर्भ
- Robert J. Baston and Michael G. Eastwood, The Penrose Transform: its Interaction with Representation Theory, Oxford University Press, 1989.
- Jürgen Berndt, Lie group actions on manifolds, Lecture notes, Tokyo, 2002.
- Jürgen Berndt, Sergio Console and Carlos Olmos, Submanifolds and Holonomy, Chapman & Hall/CRC Press, 2003.
- Michel Brion, Lectures on the geometry of flag varieties, Lecture notes, Varsovie, 2003.
- James E. Humphreys, Linear Algebraic Groups, Graduate Texts in Mathematics, 21, Springer-Verlag, 1972.
- S. Kobayashi and T. Nagano, On filtered Lie algebras and geometric structures I, II, J. Math. Mech. 13 (1964), 875–907, 14 (1965) 513–521.