Whiteheads lemma (Lie cebiri) - Whiteheads lemma (Lie algebra) - Wikipedia

İçinde homolojik cebir, Whitehead lemmaları (adını J.H.C Whitehead ) ile ilgili bir dizi ifadeyi temsil eder temsil teorisi sonlu boyutlu, yarıbasit Lie cebirleri karakteristik sıfır. Tarihsel olarak, bunların keşfine öncülük ettikleri kabul edilir. Lie cebiri kohomolojisi.[1]

Genelde şu ayrım yapılır: Whitehead'in birinci ve ikinci lemması Sırasıyla birinci ve ikinci dereceden kohomoloji hakkındaki karşılık gelen ifadeler için, ancak keyfi sıralarda Lie cebir kohomolojisine ilişkin benzer ifadeler de vardır ve bunlar da Whitehead'e atfedilir.

İlk Whitehead lemması, ispatına doğru önemli bir adımdır. Weyl'in tam indirgenebilirlik teoremi.

İfadeler

Kohomoloji gruplarından bahsetmeden, Whitehead'in ilk lemması şu şekilde ifade edilebilir: karakteristik sıfır alan üzerinde sonlu boyutlu, yarı basit bir Lie cebiri olmak, V sonlu boyutlu modül üzerinde ve doğrusal bir harita öyle ki

.

Sonra bir vektör var öyle ki hepsi için .Açısından Lie cebiri kohomolojisi, bu, tanımı gereği, şu gerçeğe eşdeğerdir: bu tür her temsil için. İspat bir Casimir öğesi (aşağıdaki kanıta bakın).[2]

Benzer şekilde, Whitehead'in ikinci lemması, ilk lemmanın koşulları altında da .

Yine Whitehead'e atfedilen bir başka ilgili ifade, Lie cebirinin kohomolojisini keyfi sırayla açıklar: Önceki iki önermede olduğu gibi aynı koşullar verildiğinde, olmak indirgenemez altında eylem ve izin özel olmayan davran, bu yüzden . Sonra hepsi için .[3]

Kanıt[4]

Yukarıdaki gibi karakteristik sıfır alan üzerinde sonlu boyutlu yarı basit bir Lie cebiri olmak ve sonlu boyutlu bir gösterim (yarı basittir, ancak ispat bu gerçeği kullanmaz).

İzin Vermek nerede bir ideal . O zamandan beri yarı basit, izleme formu , göre , dejenere değil . İzin Vermek temeli olmak ve bu iz formu ile ilgili ikili temel. Sonra tanımlayın Casimir öğesi tarafından

bu, evrensel zarflama cebirinin bir unsurudur . Üzerinden , etki eder V doğrusal bir endomorfizm olarak (yani, .) Anahtar özellik, anlamda her eleman için . Ayrıca,

Şimdi, tarafından Fitting lemması vektör uzayı ayrıştırmamız var öyle ki bir (iyi tanımlanmış) nilpotent endomorfizm için ve bir otomorfizmdir . Dan beri ile gidip gelir , her biri bir alt modül. Dolayısıyla lemayı ayrı ayrı ispatlamak yeterlidir. ve .

Önce varsayalım üstelsıfır bir endomorfizmdir. Sonra, erken gözlemle, ; yani, önemsiz bir temsildir. Dan beri , koşul ima ediyor ki her biri için ; yani sıfır vektör gereksinimi karşılar.

İkincisi, varsayalım bir otomorfizmdir. Notasyonel basitlik için, bırakacağız ve yaz . Ayrıca izin ver daha önce kullanılan izleme formunu gösterir. İzin Vermek , içindeki vektör olan . Sonra

Şimdi,

dan beri , genişlemesinin ikinci terimi dır-dir

Böylece,

Dan beri ters çevrilebilir ve ile gidip gelir vektör gerekli mülke sahiptir.

Notlar

  1. ^ Jacobson, s. 93
  2. ^ Jacobson, s. 77, p. 95
  3. ^ Jacobson, s. 96
  4. ^ Jacobson 1962, Ch. III, § 7, Lemma 3.

Referanslar

  • Jacobson, Nathan, Lie cebirleri, 1962 orijinalinin Cumhuriyet. Dover Publications, Inc., New York, 1979. ISBN  0-486-63832-4