(g, K) -modül - (g,K)-module

İçinde matematik, daha spesifik olarak temsil teorisi nın-nin indirgeyici Lie grupları, bir ${displaystyle ({mathfrak {g}}, K)}$-modül ilk olarak tarafından tanıtılan bir cebirsel nesnedir Harish-Chandra,^[1] cebirsel teknikleri kullanarak sürekli sonsuz boyutlu gösterimlerle uğraşmak için kullanılır. Harish-Chandra gösterdi ki, indirgenemez üniter temsiller gerçek bir indirgeyici Lie grubunun, G, indirgenemez çalışmaya indirgenebilir ${displaystyle ({mathfrak {g}}, K)}$-modüller, nerede ${displaystyle {mathfrak {g}}}$ ... Lie cebiri nın-nin G ve K bir maksimum kompakt alt grup nın-nin G.^[2]

Tanım

İzin Vermek G gerçek bir Lie grubu olun. İzin Vermek ${displaystyle {mathfrak {g}}}$ Lie cebiri olsun ve K Lie cebiri ile maksimal kompakt bir alt grup ${displaystyle {mathfrak {k}}}$. Bir ${displaystyle ({mathfrak {g}}, K)}$-modül şu şekilde tanımlanır:^[3] bu bir vektör alanı V bu hem bir Lie cebiri gösterimi nın-nin ${displaystyle {mathfrak {g}}}$ ve bir grup temsili nın-nin K (ne olursa olsun topoloji nın-nin K) aşağıdaki üç koşulu karşılayan

1. herhangi biri için v ∈ V, k ∈ K, ve X ∈ ${displaystyle {mathfrak {g}}}$

${displaystyle kcdot (Xcdot v) = (operatöradı {Ad} (k) X) cdot (kcdot v)}$

2. herhangi biri için v ∈ V, Kv bir sonlu boyutlu alt uzayı V eylemi K sürekli

3. herhangi biri için v ∈ V ve Y ∈ ${displaystyle {mathfrak {k}}}$

${displaystyle left.left ({frac {d} {dt}} exp (tY) cdot vight) ight | _ {t = 0} = Ycdot v.}$

Yukarıda nokta, ${displaystyle cdot}$, hem eylemini gösterir ${displaystyle {mathfrak {g}}}$ açık V ve bu K. Gösterim Reklamı (k) gösterir ortak eylem nın-nin G açık ${displaystyle {mathfrak {g}}}$, ve Kv vektörler kümesidir ${displaystyle kcdot v}$ gibi k hepsine göre değişir K.

İlk koşul şu şekilde anlaşılabilir: eğer G ... genel doğrusal grup GL (n, R), sonra ${displaystyle {mathfrak {g}}}$ hepsinin cebiri n tarafından n matrisler ve ek eylemi k açık X dır-dir kXk⁻¹; durum 1 daha sonra şu şekilde okunabilir:

${displaystyle kXv = kXk ^ {- 1} kv = sol (kXk ^ {- 1} ight) kv.}$

Başka bir deyişle, eylemleri arasında bir uyumluluk şartıdır. K açık V, ${displaystyle {mathfrak {g}}}$ açık V, ve K açık ${displaystyle {mathfrak {g}}}$. Üçüncü koşul da bir uyumluluk koşuludur, bu sefer eylem arasında ${displaystyle {mathfrak {k}}}$ açık V alt Lie cebiri olarak görüldü ${displaystyle {mathfrak {g}}}$ ve eylemi, eyleminin farklılığı olarak görülüyor K açık V.

Notlar

Referanslar

• Doran, Robert S .; Varadarajan, V. S., eds. (2000), Harish-Chandra'nın matematiksel mirası, Saf Matematikte Sempozyum Bildirileri, 68, AMS, ISBN  978-0-8218-1197-9, BAY  1767886
• Wallach, Nolan R. (1988), Gerçek indirgeyici gruplar I, Saf ve Uygulamalı Matematik, 132Akademik Basın, ISBN  978-0-12-732960-4, BAY  0929683