Lie grubu-Lie cebiri yazışmaları - Lie group–Lie algebra correspondence

Matematikte, Lie grubu-Lie cebiri yazışmaları çalışmasına izin verir Lie grupları geometrik nesneler olan Lie cebirleri, doğrusal nesnelerdir. Bu makalede, bir Lie grubu gerçek bir Lie grubundan bahsediyor. Karmaşık ve p-adik durumlar, bkz. karmaşık Lie grubu ve p-adic Lie grubu.

Bu makalede, manifoldların (özellikle Lie gruplarının) olduğu varsayılmaktadır. ikinci sayılabilir; özellikle, sayıca çok sayıda bağlantılı bileşene sahiptirler.

Temel bilgiler

Lie grubunun Lie cebiri

Bir kişinin yapısını anlamanın çeşitli yolları vardır. Lie grubunun Lie cebiri G. Bir yaklaşım, solda değişmeyen vektör alanlarını kullanır. Bir Vektör alanı X açık G sol çeviriler altında değişmez olduğu söylenirse g, h içinde G,

${ displaystyle (dl_ {g}) _ {h} (X_ {h}) = X_ {gh}}$

nerede ${ displaystyle l_ {g}: G - G, x mapsto gx}$ ve ${ displaystyle (dl_ {g}) _ {h}: T_ {h} G - T_ {gh} G}$ ... diferansiyel nın-nin ${ displaystyle l_ {g}}$ arasında teğet uzaylar. (Başka bir deyişle, ${ displaystyle l_ {g}}$-ilişkili herhangi biri için kendine g içinde G.)

İzin Vermek ${ displaystyle operatorname {Yalan} (G)}$ üzerindeki tüm sol çevirme değişmez vektör alanlarının kümesi G. Bu gerçek bir vektör uzayıdır. Üstelik altında kapalıdır Yalan ayracı; yani ${ displaystyle [X, Y]}$ sol çeviri değişmez ise X, Y vardır. Böylece, ${ displaystyle operatorname {Yalan} (G)}$ üzerindeki tüm vektör alanlarının Lie cebirinin bir Lie alt cebiridir. G ve Lie cebiri olarak adlandırılır G. Solda değişmeyen vektör alanlarının uzayını özdeşlikteki teğet uzayı aşağıdaki gibi tanımlayarak bunu daha somut bir şekilde anlayabiliriz: Solda değişmeyen bir vektör alanı verildiğinde, özdeşlikteki değerini alabilir ve bir teğet vektörü kimlik, solda değişmeyen bir vektör alanına genişletilebilir. Böylece, Lie cebiri, özdeşlikteki teğet uzayı ve parantez olarak düşünülebilir. X ve Y içinde ${ displaystyle T_ {e} G}$ sol-değişmez vektör alanlarına genişleterek, vektör alanlarının komütatörünü alarak ve sonra özdeşlikte değerlendirilerek hesaplanabilir.

Ayrıca başka bir enkarnasyon var ${ displaystyle operatorname {Yalan} (G)}$ Dağılımların Hopf cebirinin ilkel elemanlarının Lie cebiri olarak G kimlik unsurunda destek ile; bunun için bakın # İlgili yapılar altında.

Matrix Lie grupları

Varsayalım G GL'nin kapalı bir alt grubudur (n;C) ve dolayısıyla bir Lie grubu, kapalı alt gruplar teoremi. Sonra Lie cebiri G olarak hesaplanabilir

${ displaystyle operatorname {Lie} (G) = {X in M ​​(n; mathbb {C}) | e ^ {tX} G { text {for all}} t in mathbb { mathbb {R}} }.}$^[1][2]

Örneğin, kriter, yazışmayı kurmak için kullanılabilir. klasik kompakt gruplar (aşağıdaki "kompakt Lie grupları" tablosuna bakın.)

Homomorfizmler

Eğer

${ displaystyle f: G - H}$

bir Lie grubu homomorfizmi, sonra kimlik öğesindeki farklılığı

${ displaystyle df = df_ {e}: operatöradı {Yalan} (G) ile operatöradı {Yalan} (H)}$

bir Lie cebiri homomorfizmi (parantezler köşeli parantezlere gider), aşağıdaki özelliklere sahiptir:

• ${ displaystyle mathrm {exp} (df (X)) = f ( mathrm {exp} (X))}$ hepsi için X Yalan olarak (G), burada "exp" üstel harita
• ${ displaystyle operatorname {Yalan} ( operatöradı {ker} (f)) = operatöradı {ker} (df)}$.^[3]
• Eğer görüntüsü f kapalı,^[4] sonra ${ displaystyle operatöradı {Yalan} ( operatöradı {im} (f)) = operatöradı {im} (df)}$^[5] ve ilk izomorfizm teoremi tutar: f Lie gruplarının izomorfizmini indükler:

${ displaystyle G / operatorname {ker} (f) to operatorname {im} (f)}$.

• zincir kuralı tutar: eğer ${ displaystyle f: G - H}$ ve ${ displaystyle g: H - K}$ Lie grubu homomorfizmleridir, o zaman ${ displaystyle d (g circ f) = (dg) circ (df).}$

Özellikle, eğer H kapalı bir alt gruptur^[6] bir Lie grubunun G, sonra ${ displaystyle operatorname {Yalan} (H)}$ bir Lie alt cebiri ${ displaystyle operatorname {Yalan} (G)}$. Ayrıca eğer f enjekte edici, o zaman f bir daldırma ve bu yüzden G daldırılmış (Lie) bir alt grubu olduğu söyleniyor H. Örneğin, ${ displaystyle G / operatöradı {ker} (f)}$ daldırılmış bir alt gruptur H. Eğer f örten, öyleyse f bir dalma ve ek olarak G kompakt, o zaman f bir ana paket yapı grubu ile çekirdeği. (Ehresmann'ın lemması )

Diğer özellikler

İzin Vermek ${ displaystyle G = G_ {1} times cdots times G_ {r}}$ olmak direkt ürün Lie grupları ve ${ displaystyle p_ {i}: G - G_ {i}}$ projeksiyonlar. Sonra farklılıklar ${ displaystyle dp_ {i}: operatöradı {Yalan} (G) ile operatöradı {Yalan} (G_ {i})}$ kanonik kimliği verin:

${ displaystyle operatorname {Lie} (G_ {1} times cdots times G_ {r}) = operatorname {Lie} (G_ {1}) oplus cdots oplus operatorname {Lie} (G_ { r})}$.

Eğer ${ displaystyle H, H '}$ Lie grubunun Lie alt grupları, o zaman ${ displaystyle operatorname {Lie} (H cap H ') = operatorname {Lie} (H) cap operatorname {Lie} (H').}$

İzin Vermek G bağlantılı bir Lie grubu olun. Eğer H bir Lie grubudur, bu durumda herhangi bir Lie grubu homomorfizmi ${ displaystyle f: G - H}$ farklılığı tarafından benzersiz bir şekilde belirlenir ${ displaystyle df}$. Kesinlikle var üstel harita ${ displaystyle operatorname {exp}: operatorname {Lie} (G) to G}$ (ve biri için H) öyle ki ${ displaystyle f ( operatorname {exp} (X)) = operatorname {exp} (df (X))}$ dan beri G bağlı, bu belirler f benzersiz.^[7] Genel olarak, eğer U bağlantılı bir topolojik gruptaki kimlik öğesinin bir komşuluğu G, sonra ${ displaystyle bigcup _ {n> 0} U ^ {n}}$ ile çakışır G, çünkü ilki açık (dolayısıyla kapalı) bir alt gruptur. Şimdi, ${ displaystyle operatorname {exp}: operatorname {Lie} (G) to G}$ Sıfır vektörünün bir mahallesinden kimlik elemanının mahallesine kadar yerel bir homeomorfizmi tanımlar. Örneğin, eğer G boyuttaki ters çevrilebilir gerçek kare matrislerin Lie grubudur n (genel doğrusal grup ), sonra ${ displaystyle operatorname {Yalan} (G)}$ büyüklükteki gerçek kare matrislerin Lie cebiridir n ve ${ displaystyle displaystyle exp (X) = e ^ {X} = toplam _ {0} ^ { infty} {X ^ {j} / j!}}$.

Haberleşme

Lie grupları ve Lie cebirleri arasındaki yazışma aşağıdaki üç ana sonucu içerir.

• Yalan üçüncü teoremi: Her sonlu boyutlu gerçek Lie cebiri, bazılarının Lie cebiridir. basitçe bağlantılı Lie grubu.^[8]
• Homomorfizm teoremi: Eğer ${ displaystyle phi: operatöradı {Yalan} (G) ile operatöradı {Yalan} (H)}$ bir Lie cebiri homomorfizmidir ve eğer G basitçe bağlanırsa (benzersiz) bir Lie grubu homomorfizmi vardır ${ displaystyle f: G - H}$ öyle ki ${ displaystyle phi = df}$.^[9]
• Alt gruplar-alt hesaplar teoremi: Eğer G bir Lie grubudur ve ${ displaystyle { mathfrak {h}}}$ bir Lie alt cebiri ${ displaystyle operatorname {Yalan} (G)}$, sonra benzersiz bir bağlantılı Lie alt grubu vardır (kapalı olması gerekmez) H nın-nin G Lie cebiri ile ${ displaystyle { mathfrak {h}}}$.^[10]

Yazışmanın ikinci bölümünde, G basitçe bağlanır ihmal edilemez. Örneğin, SO (3) ve SU (2) Lie cebirleri izomorfiktir,^[11] ancak SO (3) 'ün SU (2)' ye karşılık gelen bir homomorfizmi yoktur.^[12] Daha ziyade, homomorfizm basitçe bağlanmış SU (2) grubundan basit olmayan bağlı olmayan SO (3) grubuna gider.^[13] Eğer G ve H hem basitçe bağlantılı hem de izomorfik Lie cebirlerine sahipler, yukarıdaki sonuç birinin şunu göstermesini sağlar: G ve H izomorfiktir.^[14] İnşa etmek için bir yöntem f kullanmak Baker – Campbell – Hausdorff formülü.^[15]

Yalanın kanıtı üçüncü teoremi

Yukarıdaki ilk sonucun belki de en zarif kanıtı, Ado teoremi, herhangi bir sonlu boyutlu Lie cebirinin (herhangi bir karakteristik alan üzerinde) Lie cebirinin bir Lie alt cebiri olduğunu söyleyen ${ displaystyle { mathfrak {gl}} _ {n}}$ kare matrisler. Kanıt şu şekildedir: Ado'nun teoremine göre, varsayıyoruz ${ displaystyle { mathfrak {g}} subset { mathfrak {gl}} _ {n} ( mathbb {R}) = operatorname {Lie} (GL_ {n} ( mathbb {R}))}$ bir Lie alt cebiridir. İzin Vermek G alt grubu olmak ${ displaystyle GL_ {n} ( mathbb {R})}$ tarafından oluşturuldu ${ displaystyle e ^ { mathfrak {g}}}$ ve izin ver ${ displaystyle { widetilde {G}}}$ olmak basit bağlantılı kaplama nın-nin G; bunu göstermek zor değil ${ displaystyle { widetilde {G}}}$ bir Lie grubudur ve kaplama haritasının bir Lie grubu homomorfizmidir. Dan beri ${ displaystyle T_ {e} { widetilde {G}} = T_ {e} G = { mathfrak {g}}}$, bu ispatı tamamlar.

Örnek: Her öğe X Lie cebirinde ${ displaystyle { mathfrak {g}} = operatöradı {Yalan} (G)}$ Lie cebiri homomorfizmine yol açar

${ displaystyle mathbb {R} - { mathfrak {g}}, , t mapsto tX}$

Lie'nin üçüncü teoremine göre ${ displaystyle operatorname {Yalan} ( mathbb {R}) = T_ {0} mathbb {R} = mathbb {R}}$ ve exp için özdeşliktir, bu homomorfizm Lie grubu homomorfizminin farklılığıdır ${ displaystyle mathbb {R} - H}$ batırılmış bazı alt grup için H nın-nin G. Bu Lie grubu homomorfizmi, tek parametreli alt grup tarafından oluşturuldu X, tam olarak üstel haritadır ${ displaystyle t mapsto operatorname {exp} (tX)}$ ve H onun görüntüsü. Yukarıdakiler arasında kanonik bir önyargılı yazışma olduğunu söyleyerek özetlenebilir. ${ displaystyle { mathfrak {g}}}$ ve tek parametreli alt gruplar kümesi G.^[16]

Homomorfizm teoreminin kanıtı

Lie grubu-Lie cebiri yazışmalarının (homomorfizm teoremi) ikinci bölümünü kanıtlamaya yönelik bir yaklaşım, Baker – Campbell – Hausdorff formülü Hall'un kitabının 5.7.Bölümünde olduğu gibi.^[17] Özellikle, Lie cebiri homomorfizmi verildiğinde ${ displaystyle phi}$ itibaren ${ displaystyle operatorname {Yalan} (G)}$ -e ${ displaystyle operatorname {Yalan} (H)}$, tanımlayabiliriz ${ displaystyle f: G - H}$ yerel olarak (yani kimliğin bir mahallesinde) formüle göre

${ displaystyle f (e ^ {X}) = e ^ { phi (X)}}$,

nerede ${ displaystyle e ^ {X}}$ için üstel harita G, kimliğin yakınında tanımlanmış bir tersi olan. Şimdi bunu tartışıyoruz f yerel bir homomorfizmdir. Böylece kimliğe yakın iki unsur verildiğinde ${ displaystyle e ^ {X}}$ ve ${ displaystyle e ^ {Y}}$ (ile X ve Y küçük), ürünlerini düşünüyoruz ${ displaystyle e ^ {X} e ^ {Y}}$. Baker – Campbell – Hausdorff formülüne göre, elimizde ${ displaystyle e ^ {X} e ^ {Y} = e ^ {Z}}$, nerede

${ displaystyle Z = X + Y + { frac {1} {2}} [X, Y] + { frac {1} {12}} [X, [X, Y]] + cdots}$,

ile ${ displaystyle cdots}$ tekrarlanan komütatörler olarak ifade edilen diğer terimleri gösteren X ve Y. Böylece,

${ displaystyle f (e ^ {X} e ^ {Y}) = f (e ^ {Z}) = e ^ { phi (Z)} = e ^ { phi (X) + phi (Y) + { frac {1} {2}} [ phi (X), phi (Y)] + { frac {1} {12}} [ phi (X), [ phi (X), phi (Y)]] + cdots},}$

Çünkü ${ displaystyle phi}$ bir Lie cebiri homomorfizmidir. Kullanmak Baker – Campbell – Hausdorff formülü yine, bu sefer grup için H, bu son ifadenin ${ displaystyle e ^ { phi (X)} e ^ { phi (Y)}}$ve bu nedenle bizde

${ displaystyle f (e ^ {X} e ^ {Y}) = e ^ { phi (X)} e ^ { phi (Y)} = f (e ^ {X}) f (e ^ {Y }).}$

Böylece, f homomorfizm özelliğine sahiptir, en azından ne zaman X ve Y yeterince küçük. Bu argümanın yalnızca yerel olduğunu vurgulamak önemlidir, çünkü üstel harita yalnızca kimliğin küçük bir mahallesinde tersine çevrilebilir. G ve Baker – Campbell – Hausdorff formülü yalnızca X ve Y küçükler. Varsayımı G basitçe bağlandı henüz kullanılmadı ..

Tartışmadaki bir sonraki aşama, f yerel bir homomorfizmden küresel olana. Uzantı tanımlanarak yapılır f bir yol boyunca ve sonra G tanımın yol seçiminden bağımsız olduğunu göstermek için.

Lie grubu gösterimleri

Özel bir Lie yazışması durumu, aşağıdakiler arasındaki bir yazışmadır: sonlu boyutlu gösterimler Lie grubu ve ilgili Lie cebirinin temsilleri.

Genel doğrusal grup ${ displaystyle GL_ {n} ( mathbb {C})}$ (gerçek) Lie grubu ve herhangi bir Lie grubu homomorfizmi

${ displaystyle pi: G ile GL_ {n} ( mathbb {C})}$

Lie grubunun temsili olarak adlandırılır GDiferansiyel

${ displaystyle d pi: { mathfrak {g}} - { mathfrak {gl}} _ {n} ( mathbb {C})}$,

o zaman a olarak adlandırılan bir Lie cebiri homomorfizmidir Lie cebiri gösterimi. (Diferansiyel ${ displaystyle d pi}$ genellikle basitçe şu şekilde gösterilir: ${ displaystyle pi}$.)

Homomorfizm teoremi (yukarıda Lie grubu-Lie cebiri yazışmalarının bir parçası olarak bahsedilmiştir) o zaman şöyle der: ${ displaystyle G}$ basit bağlantılı Lie grubudur ve Lie cebiri ${ displaystyle { mathfrak {g}}}$, her temsili ${ displaystyle { mathfrak {g}}}$ temsilinden gelir G. Varsayımı G basitçe bağlanmak önemlidir. Örneğin, rotasyon grubunu düşünün SỐ 3), bu basitçe bağlantılı değildir. Her boyutta Lie cebirinin indirgenemez bir temsili vardır, ancak Lie cebirinin yalnızca tek boyutlu gösterimleri grubun temsillerinden gelir.^[18] (Bu gözlem, arasındaki ayrımla ilgilidir. tam sayı dönüşü ve yarım tam sayı dönüşü kuantum mekaniğinde.) Öte yandan, grup SU (2) basitçe Lie cebiri ile SO (3) 'ün izomorfik ile bağlantılıdır, bu nedenle SO (3)' ün Lie cebirinin her temsili bir SU gösterimi (2).

Ek temsil

Lie grubu temsiline bir örnek, ek temsil bir Lie grubunun G; her öğe g bir Lie grubunda G bir otomorfizmayı tanımlar G konjugasyon ile: ${ displaystyle c_ {g} (h) = ghg ​​^ {- 1}}$; diferansiyel ${ displaystyle dc_ {g}}$ o zaman Lie cebirinin bir otomorfizmidir ${ displaystyle { mathfrak {g}}}$. Bu şekilde bir temsil elde ederiz ${ displaystyle operatorname {Ad}: G dan GL'ye ({ mathfrak {g}}), , g mapsto dc_ {g}}$, ek temsil olarak adlandırılır. Karşılık gelen Lie cebiri homomorfizmi ${ displaystyle { mathfrak {g}} - { mathfrak {gl}} ({ mathfrak {g}})}$ denir ek temsil nın-nin ${ displaystyle { mathfrak {g}}}$ ve ile gösterilir ${ displaystyle operatöradı {reklam}}$. Biri gösterebilir ${ displaystyle operatöradı {reklam} (X) (Y) = [X, Y]}$, özellikle de Lie parantezinin ${ displaystyle { mathfrak {g}}}$ tarafından belirlenir grup hukuku açık G.

Lie'nin üçüncü teoremine göre, bir alt grup var ${ displaystyle operatorname {Int} ({ mathfrak {g}})}$ nın-nin ${ displaystyle GL ({ mathfrak {g}})}$ Lie cebiri kimin ${ displaystyle operatöradı {reklam} ({ mathfrak {g}})}$. (${ displaystyle operatorname {Int} ({ mathfrak {g}})}$ genel olarak kapalı bir alt grup değildir; yalnızca daldırılmış bir alt grup.) ek grup nın-nin ${ displaystyle { mathfrak {g}}}$.^[19] Eğer G bağlı, tam sıraya uyuyor:

${ displaystyle 0 to Z (G) to G { overet { operatorname {Ad}} { to}} operatorname {Int} ({ mathfrak {g}}) to 0}$

nerede ${ displaystyle Z (G)}$ merkezidir G. Merkezi ise G ayrıksa, buradaki reklam bir kaplama haritasıdır.

İzin Vermek G bağlantılı bir Lie grubu olun. Sonra G dır-dir modüler olmayan ancak ve ancak ${ displaystyle operatöradı {det} ( operatöradı {Reklam} (g)) = 1}$ hepsi için g içinde G.^[20]

İzin Vermek G bir manifold üzerinde hareket eden bir Lie grubu olmak X ve G_x bir noktanın dengeleyicisi x içinde X. İzin Vermek ${ displaystyle rho (x): G ile X arası, , g mapsto g cdot x}$. Sonra

• ${ displaystyle operatorname {Yalan} (G_ {x}) = operatorname {ker} (d rho (x): T_ {e} G - T_ {x} X)}$.
• Yörünge ${ displaystyle G cdot x}$ yerel olarak kapalıysa, yörünge bir altmanifolddur X ve ${ displaystyle T_ {x} (G cdot x) = operatöradı {im} (d rho (x): T_ {e} G ile T_ {x} X)}$.^[21]

Bir alt küme için Bir nın-nin ${ displaystyle { mathfrak {g}}}$ veya G, İzin Vermek

${ displaystyle { mathfrak {z}} _ { mathfrak {g}} (A) = {X { mathfrak {g}} | operatorname {reklam} (a) X = 0 { text { veya}} operatorname {Reklam} (a) X = 0 { text {tümü için}} a { text {in}} A }}$

${ displaystyle Z_ {G} (A) = {g G'de | operatorname {Ad} (g) a = 0 { text {veya}} ga = ag { text {tümü için}} a { metin {in}} A }}$

Lie cebiri merkezileştiricisi ve Lie grup merkezleyicisi Bir. Sonra ${ displaystyle operatorname {Yalan} (Z_ {G} (A)) = { mathfrak {z}} _ { mathfrak {g}} (A)}$.

Eğer H kapalı, bağlı bir alt gruptur G, sonra H normaldir ancak ve ancak ${ displaystyle operatorname {Yalan} (H)}$ ideal ve böyle bir durumda ${ displaystyle operatorname {Yalan} (G / H) = operatöradı {Yalan} (G) / operatöradı {Yalan} (H)}$.

Abelian Lie grupları

İzin Vermek G bağlantılı bir Lie grubu olun. Merkezinin Lie cebirinden beri G Lie cebirinin merkezidir G (bkz. önceki §), G değişmeli ise ancak ve ancak Lie cebiri değişmeli ise.

Eğer G değişmeli, sonra üstel harita ${ displaystyle operatorname {exp}: { mathfrak {g}} - G}$ bir örten grup homomorfizmidir.^[22] Çekirdeği, ayrı bir gruptur (boyut sıfır olduğundan) tamsayı kafes nın-nin G ve ile gösterilir ${ displaystyle Gama}$. İlk izomorfizm teoremine göre, ${ displaystyle operatorname {exp}}$ izomorfizmi tetikler ${ displaystyle { mathfrak {g}} / Gama ila G}$.

Tarafından katılık argümanı, temel grup ${ displaystyle pi _ {1} (G)}$ bağlı bir Lie grubunun G basitçe bağlantılı bir kaplamanın merkezi bir alt grubudur ${ displaystyle { widetilde {G}}}$ nın-nin G; Diğer bir deyişle, G uyuyor merkezi uzantı

${ displaystyle 1 ila pi _ {1} (G) ila { widetilde {G}} { taşması {p} { to}} G ila 1.}$

Eşdeğer olarak, bir Lie cebiri verildiğinde ${ displaystyle { mathfrak {g}}}$ ve basitçe bağlantılı bir Lie grubu ${ displaystyle { widetilde {G}}}$ Lie cebiri kimin ${ displaystyle { mathfrak {g}}}$, bölümler arasında bire bir yazışma var ${ displaystyle { widetilde {G}}}$ ayrık merkezi alt gruplar ve Lie cebirine sahip bağlı Lie grupları tarafından ${ displaystyle { mathfrak {g}}}$.

Karmaşık durum için, karmaşık tori önemli; görmek karmaşık Lie grubu bu konu için.

Kompakt Lie grupları

İzin Vermek G sonlu merkez ile bağlantılı bir Lie grubu olabilir. O halde aşağıdakiler eşdeğerdir.

• G kompakttır.
• (Weyl) Basitçe bağlantılı örtü ${ displaystyle { widetilde {G}}}$ nın-nin G kompakttır.
• Ek grup ${ displaystyle operatorname {Int} { mathfrak {g}}}$ kompakttır.
• Bir gömme var ${ displaystyle G hookrightarrow O (n, mathbb {R})}$ kapalı bir alt grup olarak.
• Öldürme formu açık ${ displaystyle { mathfrak {g}}}$ negatif tanımlıdır.
• Her biri için X içinde ${ displaystyle { mathfrak {g}}}$, ${ displaystyle operatöradı {reklam} (X)}$ dır-dir köşegenleştirilebilir ve sıfır veya tamamen hayali özdeğerlere sahiptir.
• Üzerinde değişmeyen bir iç çarpım var ${ displaystyle { mathfrak {g}}}$.

Önceki koşulların denkliğinin yalnızca şu varsayım altında geçerli olduğunu vurgulamak önemlidir: G sonlu bir merkeze sahiptir. Bu nedenle, örneğin, eğer G kompakt sonlu merkez ileevrensel kapak ${ displaystyle { widetilde {G}}}$ ayrıca kompakttır. Açıkça, bu sonuç geçerli değildir G sonsuz merkeze sahiptir, örneğin, eğer ${ displaystyle G = S ^ {1}}$. Yukarıdaki son üç koşul, doğası gereği tamamen Lie cebirseldir.

Kompakt Lie grubu	Karmaşıklaştırma ilgili Lie cebiri	Kök sistem
SU (n + 1) ${ displaystyle = {A in M_ {n + 1} ( mathbb {C}) | { overline {A}} ^ { mathrm {T}} A = I, operatorname {det} (A) = 1 }}$	${ displaystyle { mathfrak {sl}} (n + 1, mathbb {C})}$ ${ displaystyle = {X in M_ {n + 1} ( mathbb {C}) | operatorname {tr} X = 0 }}$	Birn
SO (2n + 1) ${ displaystyle = {A içinde M_ {2n + 1} ( mathbb {R}) | A ^ { mathrm {T}} A = I, operatorname {det} (A) = 1 }}$	${ displaystyle { mathfrak {so}} (2n + 1, mathbb {C})}$ ${ displaystyle = {X içinde M_ {2n + 1} ( mathbb {C}) | X ^ { mathrm {T}} + X = 0 }}$	Bn
Sp (n) ${ displaystyle = {A in U (2n) | A ^ { mathrm {T}} JA = J }, , J = { başla {bmatrix} 0 & I_ {n} - I_ {n} & 0 end {bmatrix}}}$	${ displaystyle { mathfrak {sp}} (n, mathbb {C})}$ ${ displaystyle = {X içinde M_ {2n} ( mathbb {C}) | X ^ { mathrm {T}} J + JX = 0 }}$	Cn
SO (2n) ${ displaystyle = {A içinde M_ {2n} ( mathbb {R}) | A ^ { mathrm {T}} A = I, operatorname {det} (A) = 1 }}$	${ displaystyle { mathfrak {yani}} (2n, mathbb {C})}$ ${ displaystyle = {X içinde M_ {2n} ( mathbb {C}) | X ^ { mathrm {T}} + X = 0 }}$	Dn

Eğer G kompakt bir Lie grubudur, bu durumda

${ displaystyle H ^ {k} ({ mathfrak {g}}; mathbb {R}) = H _ { text {dR}} (G)}$

sol taraf nerede Lie cebiri kohomolojisi nın-nin ${ displaystyle { mathfrak {g}}}$ ve sağ taraf de Rham kohomolojisi nın-nin G. (Kabaca, bu, üzerinde herhangi bir farklı formun olması gerçeğinin bir sonucudur. G yapılabilir solda değişmeyen ortalama argüman ile.)

İlgili yapılar

İzin Vermek G Lie grubu olun. İlişkili Lie cebiri ${ displaystyle operatorname {Yalan} (G)}$ nın-nin G alternatif olarak aşağıdaki gibi tanımlanabilir. İzin Vermek ${ displaystyle A (G)}$ cebiri olmak dağıtımlar açık G ile verilen çarpım ile kimlik öğesinde destek ile kıvrım. ${ displaystyle A (G)}$ aslında bir Hopf cebiri. Lie cebiri G o zaman ${ displaystyle { mathfrak {g}} = operatöradı {Yalan} (G) = P (A (G))}$Lie cebiri ilkel öğeler içinde ${ displaystyle A (G)}$.^[23] Tarafından Milnor-Moore teoremi kanonik izomorfizm var ${ displaystyle U ({ mathfrak {g}}) = A (G)}$ arasında evrensel zarflama cebiri nın-nin ${ displaystyle { mathfrak {g}}}$ ve ${ displaystyle A (G)}$.

Ayrıca bakınız

• kompakt Lie cebiri
• Milnor-Moore teoremi
• Biçimsel grup
• Malcev Lie cebiri
• Doğrusal bir cebirsel grup üzerinde dağılım

Notlar

Referanslar

• Bourbaki, N. (1981), Groupes ve Algèbres de Lie (Chapitre 3), Éléments de Mathématique, Hermann
• Duistermaat, J.J .; Kolk, A. (2000), Lie grupları, Universitext, Springer, doi:10.1007/978-3-642-56936-4, ISBN  3540152938
• Hall, Brian C. (2015), Lie Grupları, Lie Cebirleri ve Gösterimler: Temel GirişMatematik Yüksek Lisans Metinleri, 222 (2. baskı), Springer, doi:10.1007/978-3-319-13467-3, ISBN  978-3319134666
• Helgason, Sigurdur (1978), Diferansiyel geometri, Lie grupları ve simetrik uzaylarAkademik Basın, ISBN  0-12-338460-5

Dış bağlantılar

• Math 261A Lie grupları ve Lie cebirleri için notlar
• Popov, V.L. (2001) [1994], "Analitik bir grubun Lie cebiri", Matematik Ansiklopedisi, EMS Basın
• Karakteristik sıfırda biçimsel Lie teorisi, Akhil Mathew tarafından bir blog yazısı