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

For the exponential map from a subset of the tangent space of a Riemannian manifold to the manifold, see Exponential map (Riemannian geometry).

लाई समूहों के सिद्धांत में, घातीय मानचित्र लाई बीजगणित से एक मानचित्र है ${\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 के एक-पैरामीटर उपसमूह नहीं होंगे।.

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

लाई-ग्रुप एक्सपोनेंशियल की अन्य समकक्ष परिभाषाएँ इस प्रकार हैं:

• यह जी पर एक विहित बाएं-अपरिवर्तनीय एफ़िन कनेक्शन का घातीय मानचित्र है, जैसे कि समानांतर परिवहन बाएं अनुवाद द्वारा दिया जाता है। वह है, $\exp(X)=\gamma (1)$ कहाँ $\gamma$ पहचान तत्व पर प्रारंभिक बिंदु और प्रारंभिक वेग एक्स (एक स्पर्शरेखा वेक्टर के रूप में माना जाता है) के साथ अद्वितीय जियोडेसिक है।
• यह जी पर एक कैनोनिकल राइट-इनवेरिएंट एफ़िन कनेक्शन का घातीय मानचित्र है। यह आमतौर पर कैनोनिकल लेफ्ट-इनवेरिएंट कनेक्शन से अलग होता है, लेकिन दोनों कनेक्शनों में एक ही जियोडेसिक्स होता है (बाएं या दाएं गुणन द्वारा कार्य करने वाले 1-पैरामीटर उपसमूहों की कक्षाएं) तो वही घातीय मानचित्र दीजिए।
• लाई समूह-लाई बीजगणित पत्राचार भी परिभाषा देता है: एक्स इन के लिए ${\mathfrak {g}}$, $t\mapsto \exp(tX)$ ली बीजगणित समरूपता के अनुरूप अद्वितीय लाई समूह समरूपता है $t\mapsto tX.$ (टिप्पणी: $\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=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,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]

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