सम्मिश्र लाई समूह

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

उदाहरण

 * संमिश्र संख्याओं (विशेष रूप से, जटिल लाई बीजगणित) पर एक परिमित-आयामी वेक्टर स्थान स्पष्ट रूप से एक जटिल लाई समूह है।
 * आयाम g का एक जुड़ा हुआ कॉम्पैक्ट कॉम्प्लेक्स झूठ समूह A के रूप का है $$\mathbb{C}^g/L$$, एक जटिल टोरस, जहां L रैंक 2g का एक अलग उपसमूह है। वास्तव में, यह झूठ बीजगणित है $$\mathfrak{a}$$ एबेलियन और फिर दिखाया जा सकता है $$\operatorname{exp}: \mathfrak{a} \to A$$ जटिल झूठ समूहों का एक आक्षेप रूपवाद है, जो दर्शाता है कि ए वर्णित रूप का है।
 * $$\mathbb{C} \to \mathbb{C}^*, z \mapsto e^z$$ जटिल लाई समूहों के विशेषण समरूपता का एक उदाहरण है जो बीजगणितीय समूहों के रूपवाद से नहीं आता है। तब से $$\mathbb{C}^* = \operatorname{GL}_1(\mathbb{C})$$, यह एक जटिल लाई समूह के प्रतिनिधित्व का एक उदाहरण भी है जो बीजगणितीय नहीं है।
 * मान लीजिए कि X एक कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड है। फिर, वास्तविक मामले के अनुरूप, $$\operatorname{Aut}(X)$$ एक जटिल लाई समूह है जिसका लाई बीजगणित स्थान है $$\Gamma(X, TX)$$ X: पर होलोमोर्फिक वेक्टर फ़ील्ड का।
 * मान लीजिए K एक जुड़ा हुआ सघन झूठ समूह है। फिर एक अद्वितीय जुड़ा हुआ कॉम्प्लेक्स लाई समूह जी मौजूद है जैसे कि (i) $$\operatorname{Lie} (G) = \operatorname{Lie} (K) \otimes_{\mathbb{R}} \mathbb{C}$$, और (ii) K, G का एक अधिकतम सघन उपसमूह है। इसे K का कॉम्प्लेक्सिफिकेशन (Lie समूह) कहा जाता है। उदाहरण के लिए, $$\operatorname{GL}_n(\mathbb{C})$$ एकात्मक समूह का जटिलीकरण है। यदि K एक कॉम्पैक्ट काहलर मैनिफोल्ड X पर कार्य कर रहा है, तो K की क्रिया G तक विस्तारित हो जाती है।

एक जटिल अर्धसरल झूठ समूह से संबद्ध रैखिक बीजगणितीय समूह
मान लीजिए G एक जटिल अर्धसरल झूठ समूह है। फिर G एक रैखिक बीजगणितीय समूह की प्राकृतिक संरचना को इस प्रकार स्वीकार करता है: होने देना $$A$$ G पर होलोमोर्फिक फ़ंक्शंस f का वलय इस प्रकार बनें $$G \cdot f$$ जी पर होलोमोर्फिक फ़ंक्शंस की रिंग के अंदर एक परिमित-आयामी वेक्टर स्थान फैला हुआ है (यहां जी बाएं अनुवाद द्वारा कार्य करता है: $$g \cdot f(h) = f(g^{-1}h)$$). तब $$\operatorname{Spec}(A)$$ रैखिक बीजगणितीय समूह है, जिसे जब एक जटिल विविधता के रूप में देखा जाता है, तो यह मूल जी है। अधिक ठोस रूप से, एक वफादार प्रतिनिधित्व चुनें $$\rho : G \to GL(V)$$ जी का फिर $$\rho(G)$$ ज़ारिस्की-बंद है $$GL(V)$$.