सम्मिश्र लाई समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Lie group whose manifold is complex and whose group operation is holomorphic}}
{{Short description|Lie group whose manifold is complex and whose group operation is holomorphic}}


[[ज्यामिति]] में, जटिल लाई समूह जटिल संख्याओं पर [[झूठ समूह]] है; यानी, यह जटिल विविधता है | कॉम्प्लेक्स-एनालिटिक मैनिफोल्ड जो इस तरह से ग्रुप_(गणित) भी है <math>G \times G \to G, (x, y) \mapsto x y^{-1}</math> [[ होलोमार्फिक |होलोमार्फिक]] है. बुनियादी उदाहरण हैं <math>\operatorname{GL}_n(\mathbb{C})</math>, [[जटिल संख्या]]ओं पर [[सामान्य रैखिक समूह]]जुड़ा हुआ कॉम्पैक्ट कॉम्प्लेक्स लाई समूह वास्तव में [[जटिल टोरस]] है (जटिल लाई समूह के साथ भ्रमित नहीं होना चाहिए <math>\mathbb C^*</math>). किसी भी परिमित समूह को जटिल झूठ समूह की संरचना दी जा सकती है। जटिल अर्धसरल लाई समूह [[रैखिक बीजगणितीय समूह]] है।
[[ज्यामिति]] में, '''कॉम्प्लेक्स लाई समूह''' कॉम्प्लेक्स संख्याओं पर [[झूठ समूह|लाई समूह]] है; अर्थात, यह कॉम्प्लेक्स विविधता है | कॉम्प्लेक्स-एनालिटिक मैनिफोल्ड जो इस तरह से समूह (गणित) भी है इस प्रकार <math>G \times G \to G, (x, y) \mapsto x y^{-1}</math> [[ होलोमार्फिक |होलोमार्फिक]] है. मूल उदाहरण <math>\operatorname{GL}_n(\mathbb{C})</math> हैं , [[जटिल संख्या|कॉम्प्लेक्स संख्या]]ओं पर [[सामान्य रैखिक समूह]] जुड़ा हुआ सघन कॉम्प्लेक्स लाई समूह वास्तव में [[जटिल टोरस|कॉम्प्लेक्स टोरस]] है (कॉम्प्लेक्स लाई समूह <math>\mathbb C^*</math> के साथ भ्रमित नहीं होना चाहिए ). किसी भी परिमित समूह को कॉम्प्लेक्स लाई समूह की संरचना दी जा सकती है। कॉम्प्लेक्स अर्धसरल लाई समूह [[रैखिक बीजगणितीय समूह]] है। कॉम्प्लेक्स लाई समूह का लाई बीजगणित कॉम्प्लेक्स लाई बीजगणित है।
जटिल लाई समूह का लाई बीजगणित जटिल लाई बीजगणित है।


== उदाहरण ==
== उदाहरण ==
{{see also|Table of Lie groups}}
{{see also|लाई समूहों की सारणी}}
*संमिश्र संख्याओं (विशेष रूप से, जटिल लाई बीजगणित) पर परिमित-आयामी वेक्टर स्थान स्पष्ट रूप से जटिल लाई समूह है।
*संमिश्र संख्याओं (विशेष रूप से, कॉम्प्लेक्स लाई बीजगणित) पर परिमित-आयामी सदिश समिष्ट स्पष्ट रूप से कॉम्प्लेक्स लाई समूह है।
*आयाम g का जुड़ा हुआ कॉम्पैक्ट कॉम्प्लेक्स झूठ समूह A के रूप का है <math>\mathbb{C}^g/L</math>, जटिल टोरस, जहां L रैंक 2g का अलग उपसमूह है। वास्तव में, यह झूठ बीजगणित है <math>\mathfrak{a}</math> एबेलियन और फिर दिखाया जा सकता है <math>\operatorname{exp}: \mathfrak{a} \to A</math> जटिल झूठ समूहों का आक्षेप रूपवाद है, जो दर्शाता है कि वर्णित रूप का है।
*आयाम g का जुड़ा हुआ सघन कॉम्प्लेक्स लाई समूह A <math>\mathbb{C}^g/L</math> के रूप का है , कॉम्प्लेक्स टोरस, जहां L रैंक 2g का अलग उपसमूह है। वास्तव में, यह लाई बीजगणित <math>\mathfrak{a}</math> कों  एबेलियन और फिर दिखाया जा सकता है और फिर <math>\operatorname{exp}: \mathfrak{a} \to A</math> कॉम्प्लेक्स लाई समूहों का आक्षेप रूपवाद है, जो दर्शाता है कि A वर्णित रूप का है।
* <math>\mathbb{C} \to \mathbb{C}^*, z \mapsto e^z</math> जटिल लाई समूहों के विशेषण समरूपता का उदाहरण है जो बीजगणितीय समूहों के रूपवाद से नहीं आता है। तब से <math>\mathbb{C}^* = \operatorname{GL}_1(\mathbb{C})</math>, यह जटिल लाई समूह के प्रतिनिधित्व का उदाहरण भी है जो बीजगणितीय नहीं है।
* <math>\mathbb{C} \to \mathbb{C}^*, z \mapsto e^z</math> कॉम्प्लेक्स लाई समूहों के विशेषण समरूपता का उदाहरण है जो बीजगणितीय समूहों के रूपवाद से नहीं आता है। तब से <math>\mathbb{C}^* = \operatorname{GL}_1(\mathbb{C})</math>, यह कॉम्प्लेक्स लाई समूह के प्रतिनिधित्व का उदाहरण भी है जो बीजगणितीय नहीं है।
* मान लीजिए कि X कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड है। फिर, वास्तविक मामले के अनुरूप, <math>\operatorname{Aut}(X)</math> जटिल लाई समूह है जिसका लाई बीजगणित स्थान है <math>\Gamma(X, TX)</math> X: पर होलोमोर्फिक वेक्टर फ़ील्ड का।
* मान लीजिए कि X सघन कॉम्प्लेक्स मैनिफोल्ड है। फिर, वास्तविक स्थिति के अनुरूप, <math>\operatorname{Aut}(X)</math> कॉम्प्लेक्स लाई समूह है जिसका लाई बीजगणित X पर होलोमोर्फिक सदिश क्षेत्र का समिष्ट <math>\Gamma(X, TX)</math> है।
*मान लीजिए K जुड़ा हुआ [[सघन झूठ समूह]] है। फिर अद्वितीय जुड़ा हुआ कॉम्प्लेक्स लाई समूह जी मौजूद है जैसे कि (i) <math>\operatorname{Lie} (G) = \operatorname{Lie} (K) \otimes_{\mathbb{R}} \mathbb{C}</math>, और (ii) K, G का अधिकतम सघन उपसमूह है। इसे K का कॉम्प्लेक्सिफिकेशन (Lie समूह) कहा जाता है। उदाहरण के लिए, <math>\operatorname{GL}_n(\mathbb{C})</math> [[एकात्मक समूह]] का जटिलीकरण है। यदि K कॉम्पैक्ट काहलर मैनिफोल्ड X पर कार्य कर रहा है, तो K की क्रिया G तक विस्तारित हो जाती है।<ref>{{cite journal|last1=Guillemin|first1=Victor|last2=Sternberg|first2=Shlomo|title=ज्यामितीय परिमाणीकरण और समूह अभ्यावेदन की बहुलताएँ|journal=Inventiones Mathematicae|date=1982|volume=67|issue=3|pages=515–538|doi=10.1007/bf01398934|bibcode=1982InMat..67..515G |s2cid=121632102 }}</ref>
*मान लीजिए K जुड़ा हुआ [[सघन झूठ समूह|सघन लाई समूह]] है। फिर अद्वितीय जुड़ा हुआ कॉम्प्लेक्स लाई समूह G उपस्थित है जैसे कि (i) <math>\operatorname{Lie} (G) = \operatorname{Lie} (K) \otimes_{\mathbb{R}} \mathbb{C}</math>, और (ii) K, G का अधिकतम सघन उपसमूह है। इसे K का कॉम्प्लेक्सिफिकेशन (लाई समूह) कहा जाता है। उदाहरण के लिए, <math>\operatorname{GL}_n(\mathbb{C})</math> [[एकात्मक समूह]] का कॉम्प्लेक्सीकरण है। यदि K सघन काहलर मैनिफोल्ड X पर कार्य कर रहा है, जिससे K की क्रिया G तक विस्तारित हो जाती है।<ref>{{cite journal|last1=Guillemin|first1=Victor|last2=Sternberg|first2=Shlomo|title=ज्यामितीय परिमाणीकरण और समूह अभ्यावेदन की बहुलताएँ|journal=Inventiones Mathematicae|date=1982|volume=67|issue=3|pages=515–538|doi=10.1007/bf01398934|bibcode=1982InMat..67..515G |s2cid=121632102 }}</ref>




== जटिल अर्धसरल झूठ समूह से संबद्ध रैखिक बीजगणितीय समूह ==
== कॉम्प्लेक्स अर्धसरल लाई समूह से संबद्ध रैखिक बीजगणितीय समूह                                                                                                           ==
मान लीजिए G जटिल अर्धसरल झूठ समूह है। फिर G रैखिक बीजगणितीय समूह की प्राकृतिक संरचना को इस प्रकार स्वीकार करता है:<ref>{{harvnb|Serre|1993|p=Ch. VIII. Theorem 10.}}</ref> होने देना <math>A</math> G पर होलोमोर्फिक फ़ंक्शंस f का वलय इस प्रकार बनें <math>G \cdot f</math> जी पर होलोमोर्फिक फ़ंक्शंस की रिंग के अंदर परिमित-आयामी वेक्टर स्थान फैला हुआ है (यहां जी बाएं अनुवाद द्वारा कार्य करता है: <math>g \cdot f(h) = f(g^{-1}h)</math>). तब <math>\operatorname{Spec}(A)</math> रैखिक बीजगणितीय समूह है, जिसे जब जटिल विविधता के रूप में देखा जाता है, तो यह मूल जी है। अधिक ठोस रूप से, वफादार प्रतिनिधित्व चुनें <math>\rho : G \to GL(V)</math> जी का फिर <math>\rho(G)</math> ज़ारिस्की-बंद है <math>GL(V)</math>.
मान लीजिए G एक समष्टि अर्धसरल लाई समूह है। तब G एक रैखिक बीजगणितीय समूह की प्राकृतिक संरचना को इस प्रकार स्वीकार करता है: <ref>{{harvnb|Serre|1993|p=Ch. VIII. Theorem 10.}}</ref> इस प्रकार <math>A</math> को G पर होलोमोर्फिक फलन f की वलय होने दें, जैसे कि <math>G \cdot f</math> G पर होलोमोर्फिक फलन की वलय के अंदर एक परिमित-आयामी सदिश समिष्ट को फैलाता है (यहां G बाएं अनुवाद द्वारा कार्य करता है: <math>g \cdot f(h) = f(g^{-1}h)</math>। फिर <math>\operatorname{Spec}(A)</math> रैखिक बीजगणितीय समूह है, जब एक समष्टि मैनिफोल्ड के रूप में देखा जाता है, मूल G है। इस प्रकार अधिक ठोस रूप से, G का एक सही प्रतिनिधित्व <math>\rho : G \to GL(V)</math> चुनें। फिर <math>\rho(G)</math> ज़ारिस्की-संवृत  <math>GL(V)</math> में है


== संदर्भ ==
== संदर्भ                                                                                                                                                                                                                                                                                                                     ==
{{Reflist}}
{{Reflist}}
*{{citation
*{{citation

Revision as of 09:48, 22 July 2023

ज्यामिति में, कॉम्प्लेक्स लाई समूह कॉम्प्लेक्स संख्याओं पर लाई समूह है; अर्थात, यह कॉम्प्लेक्स विविधता है | कॉम्प्लेक्स-एनालिटिक मैनिफोल्ड जो इस तरह से समूह (गणित) भी है इस प्रकार होलोमार्फिक है. मूल उदाहरण हैं , कॉम्प्लेक्स संख्याओं पर सामान्य रैखिक समूह जुड़ा हुआ सघन कॉम्प्लेक्स लाई समूह वास्तव में कॉम्प्लेक्स टोरस है (कॉम्प्लेक्स लाई समूह के साथ भ्रमित नहीं होना चाहिए ). किसी भी परिमित समूह को कॉम्प्लेक्स लाई समूह की संरचना दी जा सकती है। कॉम्प्लेक्स अर्धसरल लाई समूह रैखिक बीजगणितीय समूह है। कॉम्प्लेक्स लाई समूह का लाई बीजगणित कॉम्प्लेक्स लाई बीजगणित है।

उदाहरण

  • संमिश्र संख्याओं (विशेष रूप से, कॉम्प्लेक्स लाई बीजगणित) पर परिमित-आयामी सदिश समिष्ट स्पष्ट रूप से कॉम्प्लेक्स लाई समूह है।
  • आयाम g का जुड़ा हुआ सघन कॉम्प्लेक्स लाई समूह A के रूप का है , कॉम्प्लेक्स टोरस, जहां L रैंक 2g का अलग उपसमूह है। वास्तव में, यह लाई बीजगणित कों एबेलियन और फिर दिखाया जा सकता है और फिर कॉम्प्लेक्स लाई समूहों का आक्षेप रूपवाद है, जो दर्शाता है कि A वर्णित रूप का है।
  • कॉम्प्लेक्स लाई समूहों के विशेषण समरूपता का उदाहरण है जो बीजगणितीय समूहों के रूपवाद से नहीं आता है। तब से , यह कॉम्प्लेक्स लाई समूह के प्रतिनिधित्व का उदाहरण भी है जो बीजगणितीय नहीं है।
  • मान लीजिए कि X सघन कॉम्प्लेक्स मैनिफोल्ड है। फिर, वास्तविक स्थिति के अनुरूप, कॉम्प्लेक्स लाई समूह है जिसका लाई बीजगणित X पर होलोमोर्फिक सदिश क्षेत्र का समिष्ट है।
  • मान लीजिए K जुड़ा हुआ सघन लाई समूह है। फिर अद्वितीय जुड़ा हुआ कॉम्प्लेक्स लाई समूह G उपस्थित है जैसे कि (i) , और (ii) K, G का अधिकतम सघन उपसमूह है। इसे K का कॉम्प्लेक्सिफिकेशन (लाई समूह) कहा जाता है। उदाहरण के लिए, एकात्मक समूह का कॉम्प्लेक्सीकरण है। यदि K सघन काहलर मैनिफोल्ड X पर कार्य कर रहा है, जिससे K की क्रिया G तक विस्तारित हो जाती है।[1]


कॉम्प्लेक्स अर्धसरल लाई समूह से संबद्ध रैखिक बीजगणितीय समूह

मान लीजिए G एक समष्टि अर्धसरल लाई समूह है। तब G एक रैखिक बीजगणितीय समूह की प्राकृतिक संरचना को इस प्रकार स्वीकार करता है: [2] इस प्रकार को G पर होलोमोर्फिक फलन f की वलय होने दें, जैसे कि G पर होलोमोर्फिक फलन की वलय के अंदर एक परिमित-आयामी सदिश समिष्ट को फैलाता है (यहां G बाएं अनुवाद द्वारा कार्य करता है: । फिर रैखिक बीजगणितीय समूह है, जब एक समष्टि मैनिफोल्ड के रूप में देखा जाता है, मूल G है। इस प्रकार अधिक ठोस रूप से, G का एक सही प्रतिनिधित्व चुनें। फिर ज़ारिस्की-संवृत में है

संदर्भ

  1. Guillemin, Victor; Sternberg, Shlomo (1982). "ज्यामितीय परिमाणीकरण और समूह अभ्यावेदन की बहुलताएँ". Inventiones Mathematicae. 67 (3): 515–538. Bibcode:1982InMat..67..515G. doi:10.1007/bf01398934. S2CID 121632102.
  2. Serre 1993, p. Ch. VIII. Theorem 10.