चरघातांकी प्रतिचित्र (लाई सिद्धांत)

For रीमैनियन मैनिफोल्ड के स्पर्शरेखा स्थान के उपसमुच्चय से मैनिफोल्ड तक घातीय मानचित्र, see घातीय मानचित्र (रिमानियन ज्यामिति).

अवस्थित समूहों के सिद्धांत में, घातीय मानचित्र अवस्थित बीजगणित से ${\mathfrak {g}}$ अवस्थित समूह का $G$ समूह के लिए मानचित्र है, जो किसी को अवस्थित बीजगणित से स्थानीय समूह संरचना को पुनः प्राप्त करने की अनुमति देता है। घातीय मानचित्र का अस्तित्व प्राथमिक कारणों में से है कि अवस्थित बीजगणित अवस्थित समूहों का अध्ययन करने के लिए उपयोगी उपकरण है।

गणितीय विश्लेषण का सामान्य घातांकीय फलन घातांकीय मानचित्र की विशेष स्थिति है $G$ सकारात्मक वास्तविक संख्याओं का गुणनात्मक समूह है (जिसका अवस्थित बीजगणित सभी वास्तविक संख्याओं का योगात्मक समूह है)। अवस्थित समूह का घातीय मानचित्र सामान्य घातीय फलन के अनुरूप कई गुणों को संतुष्ट करता है, चूँकि, यह कई महत्वपूर्ण स्थितियों में भिन्न भी है।

परिभाषाएँ

मान लीजिये $G$ अवस्थित समूह बनें और ${\mathfrak {g}}$ इसका अवस्थित बीजगणित हो ($G$ पहचान तत्व के स्पर्शरेखा स्थान के रूप में माना जाता है।) घातीय मानचित्र है:

$\exp \colon {\mathfrak {g}}\to G$

जिसे कई भिन्न-भिन्न विधियों से परिभाषित किया जा सकता है। विशिष्ट आधुनिक परिभाषा यह है:

परिभाषा: $X\in {\mathfrak {g}}$ का घातांक $\exp(X)=\gamma (1)$ द्वारा दिया गया है। जहां;

$\gamma \colon \mathbb {R} \to G$

$G$ का अद्वितीय एक-पैरामीटर उपसमूह है जिसकी पहचान पर स्पर्शरेखा सदिश $X$ के समान है।

यह श्रृंखला नियम $\exp(tX)=\gamma (t)$ का सरलता से पालन करता है। वो मानचित्र $\gamma$ का निर्माण दाएं या बाएं-अपरिवर्तनीय सदिश क्षेत्र के अभिन्न वक्र $X$ के रूप में किया जा सकता है। यह कि सभी वास्तविक मापदंडों के लिए अभिन्न वक्र उपस्थित है, समाधान को शून्य के निकट दाएं या बाएं-अनुवाद द्वारा अनुसरण किया जाता है।

आव्यूह अवस्थित समूह की स्थिति में हमारे पास अधिक ठोस परिभाषा है। घातीय मानचित्र आव्यूह घातांक के साथ युग्मित होता है और सामान्य श्रृंखला विस्तार द्वारा दिया जाता है:

$\exp(X)=\sum _{k=0}^{\infty }{\frac {X^{k}}{k!}}=I+X+{\frac {1}{2}}X^{2}+{\frac {1}{6}}X^{3}+\cdots$,

जहां $I$ आइडेंटिटी आव्यूह है। इस प्रकार, आव्यूह अवस्थित समूहों की व्यवस्था में, घातांकीय मानचित्र, अवस्थित बीजगणित के लिए आव्यूह घातांक ${\mathfrak {g}}$ का प्रतिबंध $G$ है।

रीमैनियन घातीय मानचित्र के साथ तुलना

यदि G कॉम्पैक्ट है, तो इसमें बाएं और दाएं अनुवाद के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय है, और G के लिए अवस्थित-सैद्धांतिक घातीय मानचित्र घातीय मानचित्र (रिमैनियन ज्यामिति) के साथ मेल खाता है।

सामान्य G के लिए, बाएँ और दाएँ दोनों अनुवादों के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय उपस्थित नहीं होता है। चूँकि, बाएं अनुवाद के अंतर्गत सदैव रीमैनियन मीट्रिक अपरिवर्तनीय होता है, बाएं-अपरिवर्तनीय मीट्रिक के लिए रीमैनियन ज्यामिति के अर्थ में घातीय मानचित्र सामान्य रूप से अवस्थित समूह अर्थ में घातीय मानचित्र से सहमत नहीं होता है। कहने का तात्पर्य यह है कि, यदि G अवस्थित समूह है, जो बाएं-किन्तु दाएं-अपरिवर्तनीय मापीय से सुसज्जित नहीं है, तो समरूपता के माध्यम से जियोडेसिक्स G के एक-पैरामीटर उपसमूह नहीं होंगे।.

अन्य परिभाषाएँ

अवस्थित-समूह घातांक की अन्य समकक्ष परिभाषाएँ इस प्रकार हैं:

• यह G पर विहित बाएं-अपरिवर्तनीय एफ़िन सम्बन्ध का घातीय मानचित्र है, जैसे कि समानांतर परिवहन बाएं अनुवाद द्वारा दिया जाता है। वह है, $\exp(X)=\gamma (1)$ जहाँ $\gamma$ समरूपता तत्व पर प्रारंभिक बिंदु और प्रारंभिक वेग X (स्पर्शरेखा सदिश के रूप में माना जाता है) के साथ अद्वितीय जियोडेसिक है।
• यह G पर कैनोनिकल राइट-इनवेरिएंट एफ़िन सम्बन्ध का घातीय मानचित्र है। यह सामान्यतः कैनोनिकल लेफ्ट-इनवेरिएंट सम्बन्ध से भिन्न होता है, लेकिन दोनों सम्बन्धो में ही जियोडेसिक्स होता है (बाएं या दाएं गुणन द्वारा कार्य करने वाले 1-पैरामीटर उपसमूहों की कक्षाएं) तो वही घातीय मानचित्र दीजिए।
• अवस्थित समूह-अवस्थित बीजगणित पत्राचार भी परिभाषा देता है: X इन के लिए ${\mathfrak {g}}$, $t\mapsto \exp(tX)$ अवस्थित बीजगणित समरूपता के अनुरूप अद्वितीय अवस्थित समूह समरूपता $t\mapsto tX.$है I (टिप्पणी: $\operatorname {Lie} (\mathbb {R} )=\mathbb {R}$.)

उदाहरण

• जटिल तल में 0 पर केन्द्रित इकाई वृत्त अवस्थित समूह है (जिसे वृत्त समूह कहा जाता है) जिसके 1 पर स्पर्शरेखा स्थान को जटिल तल में काल्पनिक रेखा से पहचाना जा सकता है, $\{it:t\in \mathbb {R} \}.$ इस अवस्थित समूह के लिए घातीय मानचित्र द्वारा दिया गया है

$it\mapsto \exp(it)=e^{it}=\cos(t)+i\sin(t),\,$

अर्थात्, सामान्य सम्मिश्र घातांक के समान सूत्र।

• अधिक सामान्यतः, जटिल टोरस के लिए^{पृष्ठ 8} $X=\mathbb {C} ^{n}/\Lambda$ कुछ अभिन्न जाअवस्थित (समूह) के लिए $\Lambda$ रैंक का $n$ (इतना समरूपी $\mathbb {Z} ^{n}$) टोरस यूनिवर्सल कवर से सुसज्जित है

<ब्लॉककोट>$\pi :\mathbb {C} ^{n}\to X$जाअवस्थित द्वारा भागफल से. तब से $X$ स्थानीय रूप से समरूपी है $\mathbb {C} ^{n}$ जटिल मैनिफोल्ड के रूप में, हम इसे स्पर्शरेखा स्थान से पहचान सकते हैं $T_{0}X$, और मानचित्र<ब्लॉककोट>$\pi :T_{0}X\to X$कॉम्प्लेक्स अवस्थित समूह के लिए घातीय मानचित्र से मेल खाता है $X$.

• चतुर्भुज में $\mathbb {H}$, मैं मुड़ा का सेट अवस्थित समूह बनाता है (विशेष एकात्मक समूह के लिए समरूपी)। SU(2)) जिसका स्पर्शरेखा स्थान 1 पर विशुद्ध रूप से काल्पनिक चतुर्भुजों के स्थान से पहचाना जा सकता है, $\{it+ju+kv:t,u,v\in \mathbb {R} \}.$ इस अवस्थित समूह के लिए घातीय मानचित्र द्वारा दिया गया है

$\mathbf {w} :=(it+ju+kv)\mapsto \exp(it+ju+kv)=\cos(|\mathbf {w} |)1+\sin(|\mathbf {w} |){\frac {\mathbf {w} }{|\mathbf {w} |}}.\,$

यह मानचित्र त्रिज्या के 2-गोले लेता है R विशुद्ध रूप से काल्पनिक चतुर्भुज के अंदर $\{s\in S^{3}\subset \mathbf {H} :\operatorname {Re} (s)=\cos(R)\}$, त्रिज्या का 2-गोला $\sin(R)$ (सीएफ. पाउअवस्थित मैट्रिसेस#पाउअवस्थित सदिश का घातांक)। इसकी तुलना ऊपर दिए गए पहले उदाहरण से करें।

• मान अवस्थितजिए V परिमित आयामी वास्तविक सदिश समष्टि है और इसे सदिश जोड़ के संचालन के अंतर्गत अवस्थित समूह के रूप में देखें। तब $\operatorname {Lie} (V)=V$ 0 पर इसके स्पर्शरेखा स्थान और घातीय मानचित्र के साथ V की पहचान के माध्यम से

$\operatorname {exp} :\operatorname {Lie} (V)=V\to V$

पहचान मानचित्र है, अर्थात, $\exp(v)=v$.

• विभाजित-संमिश्र संख्या तल में $z=x+y\jmath ,\quad \jmath ^{2}=+1,$ काल्पनिक रेखा $\lbrace \jmath t:t\in \mathbb {R} \rbrace$ इकाई हाइपरबोला समूह का बीजगणित बनाता है $\lbrace \cosh t+\jmath \ \sinh t:t\in \mathbb {R} \rbrace$ चूँकि घातीय मानचित्र द्वारा दिया गया है

$\jmath t\mapsto \exp(\jmath t)=\cosh t+\jmath \ \sinh t.$

गुण

घातांक के प्राथमिक गुण

सभी के लिए $X\in {\mathfrak {g}}$, वो नक्शा $\gamma (t)=\exp(tX)$ का अद्वितीय एक-पैरामीटर उपसमूह है $G$ जिसकी पहचान पर स्पर्शरेखा सदिश है $X$. यह इस प्रकार है कि:

• $\exp((t+s)X)=\exp(tX)\exp(sX)\,$
• $\exp(-X)=\exp(X)^{-1}.\,$

सामान्यतः अधिक:

• $\exp(X+Y)=\exp(X)\exp(Y),\quad {\text{if }}[X,Y]=0$.

इस बात पर ज़ोर देना ज़रूरी है कि पिछअवस्थित पहचान सामान्य रूप से कायम नहीं है; यह धारणा $X$ और $Y$ आवागमन महत्वपूर्ण है.

घातीय मानचित्र की छवि हमेशा पहचान घटक में निहित होती है $G$.

पहचान के निकट घातांक

घातीय मानचित्र $\exp \colon {\mathfrak {g}}\to G$ सहज मानचित्र है. यह शून्य पर पुशफॉरवर्ड (अंतर) है, $\exp _{*}\colon {\mathfrak {g}}\to {\mathfrak {g}}$, पहचान मानचित्र है (सामान्य पहचान के साथ)।

व्युत्क्रम फ़ंक्शन प्रमेय से यह निष्कर्ष निकलता है कि घातांकीय मानचित्र, इसलिए, 0 के कुछ पड़ोस से भिन्नता तक सीमित है ${\mathfrak {g}}$ 1 इंच के पड़ोस में $G$. यह दर्शाना कठिन नहीं है कि यदि G जुड़ा हुआ है, तो G का प्रत्येक तत्व g, के तत्वों के घातांक का गुणनफल है। ${\mathfrak {g}}$:$g=\exp(X_{1})\exp(X_{2})\cdots \exp(X_{n}),\quad X_{j}\in {\mathfrak {g}}$.

विश्व स्तर पर, घातीय मानचित्र आवश्यक रूप से विशेषणात्मक नहीं है। इसके अतिरिक्त , घातीय मानचित्र सभी बिंदुओं पर स्थानीय भिन्नता नहीं हो सकता है। उदाहरण के लिए, से घातीय मानचित्र ${\mathfrak {so}}$(3) घूर्णन समूह SO(3)|SO(3) स्थानीय भिन्नता नहीं है; इस विफलता पर कट लोकस (रीमैनियन मैनिफोल्ड) भी देखें। अधिक जानकारी के लिए घातीय मानचित्र का व्युत्पन्न देखें।

घातांक की प्रत्यक्षता

इन महत्वपूर्ण विशेष मामलों में, घातीय मानचित्र हमेशा विशेषण के रूप में जाना जाता है:

• G जुड़ा हुआ है और कॉम्पैक्ट है,
• G कनेक्टेड और निलपोटेंट है (उदाहरण के लिए, G कनेक्टेड और एबेलियन), और
• $G=GL_{n}(\mathbb {C} )$.

उपरोक्त किसी भी शर्त को पूरा नहीं करने वाले समूहों के लिए, घातीय मानचित्र विशेषणात्मक हो भी सकता है और नहीं भी।

कनेक्टेड लेकिन गैर-कॉम्पैक्ट समूह SL2(R)|SL के घातीय मानचित्र की छवि₂(आर) पूरा समूह नहीं है. इसकी छवि में या तो सकारात्मक या मापांक 1 के साथ eigenvalues ​​​​के साथ C-विकर्ण आव्यूहऔर दोहराए गए eigenvalue 1 के साथ गैर-विकर्ण आव्यूहऔर आव्यूहसम्मिलित हैं $-I$. (इस प्रकार, छवि वास्तविक, नकारात्मक eigenvalues ​​​​के अतिरिक्त अन्य आव्यूहको बाहर कर देती है $-I$.)

घातांकीय मानचित्र और समरूपताएँ

होने देना $\phi \colon G\to H$ अवस्थित समूह समरूपता बनें और चलो $\phi _{*}$ पहचान पर इसका पुशफॉरवर्ड (अंतर) हो। फिर निम्नलिखित आरेख क्रमविनिमेय आरेख:

विशेष रूप से, जब किसी अवस्थित समूह के अवस्थित समूह के आसन्न प्रतिनिधित्व पर लागू किया जाता है $G$, तब से $\operatorname {Ad} _{*}=\operatorname {ad}$, हमारे पास उपयोगी पहचान है:

$\mathrm {Ad} _{\exp X}(Y)=\exp(\mathrm {ad} _{X})(Y)=Y+[X,Y]+{\frac {1}{2!}}[X,[X,Y]]+{\frac {1}{3!}}[X,[X,[X,Y]]]+\cdots$.

लघुगणकीय निर्देशांक

अवस्थित समूह दिया गया $G$ अवस्थित बीजगणित के साथ ${\mathfrak {g}}$, आधार की प्रत्येक पसंद $X_{1},\dots ,X_{n}$ का ${\mathfrak {g}}$ G के लिए पहचान तत्व e के निकट समन्वय प्रणाअवस्थित को निम्नानुसार निर्धारित करता है। व्युत्क्रम फलन प्रमेय द्वारा, घातीय मानचित्र $\operatorname {exp} :N{\overset {\sim }{\to }}U$ किसी पड़ोस से भिन्नरूपता है $N\subset {\mathfrak {g}}\simeq \mathbb {R} ^{n}$ पड़ोस की उत्पत्ति $U$ का $e\in G$. इसका उलटा:

$\log :U{\overset {\sim }{\to }}N\subset \mathbb {R} ^{n}$

फिर यू पर समन्वय प्रणाअवस्थित है। इसे विभिन्न नामों से बुलाया जाता है जैसे लघुगणक निर्देशांक, घातीय निर्देशांक या सामान्य निर्देशांक। अनुप्रयोगों में उनका उपयोग कैसे किया जाता है, इसके उदाहरण के लिए क्लोज्ड-सबसमूह प्रमेय#अवलोकन|क्लोज्ड-सबसमूह प्रमेय देखें।

'टिप्पणी': खुला आवरण $\{Ug|g\in G\}$ G को वास्तविक-विश्लेषणात्मक मैनिफोल्ड की संरचना देता है जैसे कि समूह संचालन $(g,h)\mapsto gh^{-1}$ वास्तविक-विश्लेषणात्मक है.

यह भी देखें

• घातांकीय विषयों की सूची
• घातांकीय मानचित्र का व्युत्पन्न
• आव्यूह घातांक

उद्धृत कार्य

• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.
• Helgason, Sigurdur (2001), Differential geometry, Lie groups, and symmetric spaces, Graduate Studies in Mathematics, vol. 34, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2848-9, MR 1834454.
• Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3.
• "Exponential mapping", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

श्रेणी:अवस्थित बीजगणित श्रेणी:अवस्थित बोलने वाले समूह