सामान्यीकृत ध्वज विविधता: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणित में, '''सामान्यीकृत | गणित में, '''सामान्यीकृत फ्लैग विविधता''' (या बस '''फ्लैग विविधता''') [[सजातीय स्थान]] है जिसके बिंदु [[फ़ील्ड (गणित)]] '''F''' पर परिमित-आयामी वेक्टर स्थान '''''V''''' में [[ध्वज (रैखिक बीजगणित)|फ्लैग (रैखिक बीजगणित)]] होते हैं। जब '''F''' वास्तविक या जटिल संख्या होती है, तो सामान्यीकृत फ्लैग विविधता स्मूथ मैनिफोल्ड या जटिल मैनिफोल्ड होती है, जिसे वास्तविक या जटिल [[चिकनी कई गुना|फ्लैग मैनिफोल्ड]] कहा जाता है। फ्लैग की विविधतायें स्वाभाविक रूप से प्रक्षेपी विविधता हैं। | ||
फ्लैग की विविधताओं को व्यापकता के विभिन्न स्तरों में परिभाषित किया जा सकता है। प्रोटोटाइप फ़ील्ड '''F''' के ऊपर [[ सदिश स्थल |सदिश स्थल]] ''V'' में पूर्ण फ्लैग्स की विविधता है, जो कि '''F''' के ऊपर [[विशेष रैखिक समूह]] के लिए फ्लैग विविधता है। अन्य फ्लैग विविधतायें आंशिक फ्लैग्स पर विचार करके, या विशेष रैखिक समूह से उपसमूहों जैसे [[सहानुभूति समूह]] पर प्रतिबंध लगाकर उत्पन्न होती हैं। आंशिक फ्लैग्स के लिए, किसी को विचाराधीन फ्लैग्स के आयामों का क्रम निर्दिष्ट करना होगा। रैखिक समूह के उपसमूहों के लिए, फ्लैग्स पर अतिरिक्त शर्तें लगाई जानी चाहिए। | |||
सबसे सामान्य अर्थ में, सामान्यीकृत | सबसे सामान्य अर्थ में, सामान्यीकृत फ्लैग विविधता को एक '''प्रक्षेप्य सजातीय विविधता''' के रूप में परिभाषित किया गया है, अर्थात, क्षेत्र एफ पर स्मूथ योजना प्रक्षेप्य विविधता ''X हैं जिसमें एक'' [[रिडक्टिव समूह]] ''G'' (और स्मूथ स्टेबलाइज़र उपसमूह; यह [[विशेषता (बीजगणित)]] शून्य के '''F''' के लिए कोई प्रतिबंध नहीं है) की सकर्मक कार्रवाई के साथ है। यदि ''X'' में '''F'''-[[तर्कसंगत बिंदु]] है, तो यह ''G'' के कुछ [[परवलयिक उपसमूह]] ''P'' के लिए ''G''/''P'' के समरूपी है। प्रक्षेपी सजातीय विविधता को ''G'' के प्रक्षेपित [[समूह प्रतिनिधित्व]] में उच्चतम भार वेक्टर की समूह के रूप में भी अनुभव किया जा सकता है। जटिल प्रक्षेप्य सजातीय विविधतायें परवलयिक प्रकार के कार्टन ज्यामिति के लिए [[ सघन स्थान |कॉम्पैक्ट फ्लैट]] मॉडल स्थान हैं। वे ''G'' के किसी भी अधिकतम कॉम्पैक्ट उपसमूह के अनुसार सजातीय [[रीमैनियन मैनिफोल्ड]] हैं, और वे त्रुटिहीन रूप से कॉम्पैक्ट लाई समूहों की सह-संयुक्त समूह हैं। | ||
फ्लैग मैनिफ़ोल्ड [[सममित स्थान]] हो सकते हैं। जटिल संख्याओं पर, संबंधित फ्लैग मैनिफोल्ड [[हर्मिटियन सममित स्थान]] हैं। वास्तविक संख्याओं पर, एक ''R''-स्पेस वास्तविक फ्लैग मैनिफ़ोल्ड का पर्याय है और संबंधित सममित रिक्त स्थान को सममित ''R''-स्पेस कहा जाता है। | |||
==सदिश स्थान में | ==सदिश स्थान में फ्लैग== | ||
{{main| | {{main|फ्लैग (रैखिक बीजगणित)}} | ||
फ़ील्ड 'F' के ऊपर परिमित आयामी वेक्टर स्पेस V में | फ़ील्ड ''''F'''<nowiki/>' के ऊपर परिमित आयामी वेक्टर स्पेस 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> | ||
यदि हम | यदि हम dim V<sub>''i''</sub> = d<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 होना चाहिए। एक फ्लैग को पूर्ण फ्लैग कहा जाता है यदि सभी ''i'' के लिए d<sub>''i''</sub> = ''i'' हो, अन्यथा इसे आंशिक फ्लैग कहा जाता है। फ्लैग का हस्ताक्षर अनुक्रम (d<sub>1</sub>, ..., d<sub>k</sub>) है। | ||
कुछ उप-स्थानों को हटाकर पूर्ण | कुछ उप-स्थानों को हटाकर पूर्ण फ्लैग से आंशिक फ्लैग प्राप्त किया जा सकता है। इसके विपरीत, किसी भी आंशिक फ्लैग को उपयुक्त उप-स्थान डालकर (कई भिन्न-भिन्न विधियों से) पूरा किया जा सकता है। | ||
==प्रोटोटाइप: संपूर्ण | ==प्रोटोटाइप: संपूर्ण फ्लैग विविधता== | ||
रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड 'F' के ऊपर n-आयामी वेक्टर स्पेस V में कोई भी दो पूर्ण | रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड 'F' के ऊपर n-आयामी वेक्टर स्पेस V में कोई भी दो पूर्ण फ्लैग ज्यामितीय दृष्टिकोण से दूसरे से अलग नहीं हैं। कहने का तात्पर्य यह है कि, [[सामान्य रैखिक समूह]] [[समूह क्रिया (गणित)]] सभी पूर्ण फ्लैग्स के सेट पर सकर्मक रूप से। | ||
V के लिए क्रमबद्ध [[आधार (रैखिक बीजगणित)]] तय करें, इसे 'F' से पहचानें<sup>n</sup>, जिसका सामान्य रैखिक समूह n × n व्युत्क्रमणीय आव्यूहों का समूह GL(n,'F') है। इस आधार से जुड़ा मानक | 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') पर ध्यान केंद्रित कर सकता है, जो अर्धसरल बीजगणितीय समूह है; सारणिक के निचले त्रिकोणीय मैट्रिक्स का सेट [[बोरेल उपसमूह]] है। | ||
यदि फ़ील्ड 'एफ' वास्तविक या जटिल संख्या है तो हम वी पर आंतरिक उत्पाद पेश कर सकते हैं जैसे कि चुना गया आधार [[ऑर्थोनॉर्मल]] है। कोई भी पूर्ण | यदि फ़ील्ड 'एफ' वास्तविक या जटिल संख्या है तो हम वी पर आंतरिक उत्पाद पेश कर सकते हैं जैसे कि चुना गया आधार [[ऑर्थोनॉर्मल]] है। कोई भी पूर्ण फ्लैग ऑर्थोगोनल पूरक लेकर एक-आयामी उप-स्थानों के प्रत्यक्ष योग में विभाजित हो जाता है। इससे यह निष्कर्ष निकलता है कि जटिल संख्याओं पर पूरा फ्लैग कई गुना सजातीय स्थान है | ||
:<math>U(n)/T^n</math> | :<math>U(n)/T^n</math> | ||
जहां U(n) [[एकात्मक समूह]] है और T<sup>n</sup>विकर्ण एकात्मक आव्यूहों का n-टोरस है। वास्तविक संख्याओं पर समान विवरण है जिसमें U(n) को ऑर्थोगोनल समूह O(n) और T द्वारा प्रतिस्थापित किया गया है<sup>n</sup>विकर्ण ऑर्थोगोनल मैट्रिक्स द्वारा (जिसमें विकर्ण प्रविष्टियाँ ±1 हैं)। | जहां U(n) [[एकात्मक समूह]] है और T<sup>n</sup>विकर्ण एकात्मक आव्यूहों का n-टोरस है। वास्तविक संख्याओं पर समान विवरण है जिसमें U(n) को ऑर्थोगोनल समूह O(n) और T द्वारा प्रतिस्थापित किया गया है<sup>n</sup>विकर्ण ऑर्थोगोनल मैट्रिक्स द्वारा (जिसमें विकर्ण प्रविष्टियाँ ±1 हैं)। | ||
==आंशिक | ==आंशिक फ्लैग विविधतायें== | ||
आंशिक | आंशिक फ्लैग विविधता | ||
:<math> F(d_1,d_2,\ldots d_k, \mathbb F)</math> | :<math> F(d_1,d_2,\ldots d_k, \mathbb F)</math> | ||
हस्ताक्षर के सभी | हस्ताक्षर के सभी फ्लैग्स का स्थान है (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'). नेस्टेड उपस्थानों के | यह 'एफ' के ऊपर वी के सामान्य रैखिक समूह जी के लिए सजातीय स्थान है। स्पष्ट होने के लिए, 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 है, और इस प्रकार आंशिक फ्लैग विविधता सजातीय स्थान 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 अर्धसरल समूह [[रैखिक बीजगणितीय समूह]] या Lie समूह है, तो G के लिए (सामान्यीकृत) | इसलिए, अधिक सामान्यतः, यदि G अर्धसरल समूह [[रैखिक बीजगणितीय समूह]] या Lie समूह है, तो G के लिए (सामान्यीकृत) फ्लैग विविधता G/P है जहां P, G का परवलयिक उपसमूह है। परवलयिक उपसमूहों और सामान्यीकृत फ्लैग विविधताओं के बीच पत्राचार प्रत्येक को दूसरे के संदर्भ में समझने की अनुमति देता है। | ||
शब्दावली | शब्दावली फ्लैग विविधता का विस्तार उचित है, क्योंकि जी/पी के बिंदुओं को अभी भी फ्लैग का उपयोग करके वर्णित किया जा सकता है। जब G शास्त्रीय [[झूठ समूह]] है, जैसे कि सहानुभूति समूह या [[ऑर्थोगोनल समूह]], तो यह विशेष रूप से पारदर्शी होता है। यदि (V, ω) सहानुभूतिपूर्ण सदिश समष्टि है तो V में आंशिक फ्लैग [[समदैशिक]] है यदि फ्लैग में V के उचित उप-स्थानों पर सहानुभूतिपूर्ण रूप गायब हो जाता है। आइसोट्रोपिक फ्लैग का स्टेबलाइज़र सिम्प्लेक्टिक समूह Sp(V,ω) का परवलयिक उपसमूह है। ऑर्थोगोनल समूहों के लिए कुछ जटिलताओं के साथ समान तस्वीर है। सबसे पहले, यदि 'एफ' बीजगणितीय रूप से बंद नहीं है, तो आइसोट्रोपिक उप-स्थान मौजूद नहीं हो सकते हैं: सामान्य सिद्धांत के लिए, किसी को [[विभाजित ऑर्थोगोनल समूह]]ों का उपयोग करने की आवश्यकता होती है। दूसरा, सम आयाम 2m के सदिश स्थानों के लिए, आयाम m के आइसोट्रोपिक उप-स्थान दो स्वादों (स्व-दोहरे और विरोधी-दोहरे) में आते हैं और सजातीय स्थान प्राप्त करने के लिए इन्हें अलग करने की आवश्यकता होती है। | ||
==सहसंरचना== | ==सहसंरचना== | ||
| Line 73: | Line 73: | ||
:<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> | ||
| Line 84: | Line 84: | ||
==उच्चतम भार समूह और प्रक्षेप्य सजातीय विविधतायें== | ==उच्चतम भार समूह और प्रक्षेप्य सजातीय विविधतायें== | ||
यदि G अर्धसरल बीजगणितीय समूह (या Lie समूह) है और V, G का (परिमित आयामी) उच्चतम भार प्रतिनिधित्व है, तो उच्चतम भार स्थान [[प्रक्षेप्य स्थान]] P(V) में बिंदु है और 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 के साथ अर्धसरल Lie समूह है। तब K परवलयिक उपसमूहों के किसी भी संयुग्मन वर्ग पर संक्रमणीय रूप से कार्य करता है, और इसलिए सामान्यीकृत | मान लीजिए G अधिकतम सघन उपसमूह K के साथ अर्धसरल Lie समूह है। तब K परवलयिक उपसमूहों के किसी भी संयुग्मन वर्ग पर संक्रमणीय रूप से कार्य करता है, और इसलिए सामान्यीकृत फ्लैग विविधता G/P आइसोमेट्री समूह K के साथ सघन सजातीय रीमैनियन मैनिफोल्ड K/(K∩P) है। इसके अलावा, यदि G जटिल Lie समूह है, तो G/P सजातीय काहलर मैनिफोल्ड है। | ||
इसे चारों ओर घुमाते हुए, रीमैनियन सजातीय स्थान | इसे चारों ओर घुमाते हुए, रीमैनियन सजातीय स्थान | ||
| Line 100: | Line 100: | ||
यदि G जटिल झूठ समूह है, तो इस तरह से उत्पन्न होने वाले सममित स्थान M कॉम्पैक्ट हर्मिटियन सममित स्थान हैं: K आइसोमेट्री समूह है, और G, M का बिहोलोमोर्फिज्म समूह है। | यदि G जटिल झूठ समूह है, तो इस तरह से उत्पन्न होने वाले सममित स्थान M कॉम्पैक्ट हर्मिटियन सममित स्थान हैं: K आइसोमेट्री समूह है, और G, M का बिहोलोमोर्फिज्म समूह है। | ||
वास्तविक संख्याओं पर, वास्तविक | वास्तविक संख्याओं पर, वास्तविक फ्लैग मैनिफोल्ड को आर-स्पेस भी कहा जाता है, और आर-स्पेस जो कि के के तहत रीमैनियन सममित स्थान हैं, सममित आर-स्पेस के रूप में जाने जाते हैं। सममित आर-स्पेस जो हर्मिटियन सममित नहीं हैं, जी को बायोलोमोर्फिज्म समूह जी का वास्तविक रूप मानकर प्राप्त किए जाते हैं।<sup>सी</sup>हर्मिटियन सममित स्थान जी का<sup>सी</sup>/पी<sup>c</sup> ऐसा कि P := P<sup>c</sup>∩G, G का परवलयिक उपसमूह है। उदाहरणों में प्रक्षेप्य स्थान (G के साथ [[प्रक्षेप्य परिवर्तन]]ों का समूह) और गोले (G के साथ [[अनुरूप परिवर्तन]]ों का समूह) शामिल हैं। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 13:06, 2 August 2023
गणित में, सामान्यीकृत फ्लैग विविधता (या बस फ्लैग विविधता) सजातीय स्थान है जिसके बिंदु फ़ील्ड (गणित) F पर परिमित-आयामी वेक्टर स्थान V में फ्लैग (रैखिक बीजगणित) होते हैं। जब F वास्तविक या जटिल संख्या होती है, तो सामान्यीकृत फ्लैग विविधता स्मूथ मैनिफोल्ड या जटिल मैनिफोल्ड होती है, जिसे वास्तविक या जटिल फ्लैग मैनिफोल्ड कहा जाता है। फ्लैग की विविधतायें स्वाभाविक रूप से प्रक्षेपी विविधता हैं।
फ्लैग की विविधताओं को व्यापकता के विभिन्न स्तरों में परिभाषित किया जा सकता है। प्रोटोटाइप फ़ील्ड F के ऊपर सदिश स्थल V में पूर्ण फ्लैग्स की विविधता है, जो कि F के ऊपर विशेष रैखिक समूह के लिए फ्लैग विविधता है। अन्य फ्लैग विविधतायें आंशिक फ्लैग्स पर विचार करके, या विशेष रैखिक समूह से उपसमूहों जैसे सहानुभूति समूह पर प्रतिबंध लगाकर उत्पन्न होती हैं। आंशिक फ्लैग्स के लिए, किसी को विचाराधीन फ्लैग्स के आयामों का क्रम निर्दिष्ट करना होगा। रैखिक समूह के उपसमूहों के लिए, फ्लैग्स पर अतिरिक्त शर्तें लगाई जानी चाहिए।
सबसे सामान्य अर्थ में, सामान्यीकृत फ्लैग विविधता को एक प्रक्षेप्य सजातीय विविधता के रूप में परिभाषित किया गया है, अर्थात, क्षेत्र एफ पर स्मूथ योजना प्रक्षेप्य विविधता X हैं जिसमें एक रिडक्टिव समूह G (और स्मूथ स्टेबलाइज़र उपसमूह; यह विशेषता (बीजगणित) शून्य के F के लिए कोई प्रतिबंध नहीं है) की सकर्मक कार्रवाई के साथ है। यदि X में F-तर्कसंगत बिंदु है, तो यह G के कुछ परवलयिक उपसमूह P के लिए G/P के समरूपी है। प्रक्षेपी सजातीय विविधता को G के प्रक्षेपित समूह प्रतिनिधित्व में उच्चतम भार वेक्टर की समूह के रूप में भी अनुभव किया जा सकता है। जटिल प्रक्षेप्य सजातीय विविधतायें परवलयिक प्रकार के कार्टन ज्यामिति के लिए कॉम्पैक्ट फ्लैट मॉडल स्थान हैं। वे G के किसी भी अधिकतम कॉम्पैक्ट उपसमूह के अनुसार सजातीय रीमैनियन मैनिफोल्ड हैं, और वे त्रुटिहीन रूप से कॉम्पैक्ट लाई समूहों की सह-संयुक्त समूह हैं।
फ्लैग मैनिफ़ोल्ड सममित स्थान हो सकते हैं। जटिल संख्याओं पर, संबंधित फ्लैग मैनिफोल्ड हर्मिटियन सममित स्थान हैं। वास्तविक संख्याओं पर, एक R-स्पेस वास्तविक फ्लैग मैनिफ़ोल्ड का पर्याय है और संबंधित सममित रिक्त स्थान को सममित R-स्पेस कहा जाता है।
सदिश स्थान में फ्लैग
फ़ील्ड 'F' के ऊपर परिमित आयामी वेक्टर स्पेस V में फ्लैग रैखिक उप-स्थानों का बढ़ता हुआ क्रम है, जहां बढ़ने का अर्थ है कि प्रत्येक अगले (निस्पंदन (अमूर्त बीजगणित) देखें) का उचित उप-स्थान है:
यदि हम dim Vi = di लिखें तो हमारे पास है
जहां n, V का आयाम (रैखिक बीजगणित) है। इसलिए, हमारे पास k ≤ n होना चाहिए। एक फ्लैग को पूर्ण फ्लैग कहा जाता है यदि सभी i के लिए di = i हो, अन्यथा इसे आंशिक फ्लैग कहा जाता है। फ्लैग का हस्ताक्षर अनुक्रम (d1, ..., dk) है।
कुछ उप-स्थानों को हटाकर पूर्ण फ्लैग से आंशिक फ्लैग प्राप्त किया जा सकता है। इसके विपरीत, किसी भी आंशिक फ्लैग को उपयुक्त उप-स्थान डालकर (कई भिन्न-भिन्न विधियों से) पूरा किया जा सकता है।
प्रोटोटाइप: संपूर्ण फ्लैग विविधता
रैखिक बीजगणित के बुनियादी परिणामों के अनुसार, फ़ील्ड '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.
