Lie代数
体 を与える.
上のLie代数(Lie algebra)とは,線型空間の圏のLie代数対象のこと.つまり,以下のデータからなる:
- -線型空間
- Lie括弧(Lie bracket)(または括弧積)と呼ばれる 上の -双線型写像
これらは以下を満たす:
- Lie括弧は交代性を満たす.つまり,
- Lie括弧はJacobi恒等式を満たす.つまり,
嘘じゃないよ
体 を与える.
上のLie代数(Lie algebra)とは,線型空間の圏のLie代数対象のこと.つまり,以下のデータからなる:
これらは以下を満たす:
を与えると,以下を満たす.
を与える.
以下の条件を満たす-線型写像 を(Lie代数)準同型(homomorphism)と呼ぶ.
体 上のLie代数 と同型 に対し,逆写像 は線型写像の逆写像なので線型写像であり, を満たすので準同型. は全単射なので同型となる.
とする圏をLie代数の圏と呼び, と表す.
Lie代数の圏は-亜代数(-線型圏)をなす.
を与える.
を与える.
写像 が
を与える.
このとき,(結合)代数準同型はLie代数準同型に写るから,結合代数の圏からLie代数の圏への函手をなす.
同様にして,単位的(結合)代数準同型はLie代数準同型に写るから,単位的結合代数の圏からLie代数の圏への函手をなす.
特にこれらの函手は左随伴を持つ.これにより任意のLie代数に対し,結合代数的な積を(同型を除いて)一意的に定めることができる:
を与える.
上の(普遍)包絡代数((universal) enveloping algebra)とは,以下のデータの組のこと:
を与えると,これらは以下を満たす:
テンソル代数はフィルター付き代数なので,包絡代数もフィルター付き代数.よってこれらは自然に次数付き代数を誘導する.
を与えると,以下は(可換結合)代数同型:
そもそも標数 のとき,ZFで証明可能かが分かっていなさそう?
それぞれの次数付けを とする.ここで,線型写像 を を線型に拡張したものとして定義する.この写像の全射性は自明.単射性が標数 のときが微妙っぽい
を与えると,以下は の基底をなす:
を与えると,以下が成り立つ:
を与え,
を与える.
を与える.
線型空間の場合と同様,添字集合 が有限なら,直積と直和は線型同型である:
を与える.
の双積(biproduct)とは,以下のデータのこと:
を与えると,以下が成り立つ:
を与える.
の等化子(equalizer)とは,以下のデータのこと:
を与えると,等化子 に対し,
を与えると,
に対し,以下を満たす Lie代数準同型 は,自然な包含写像 に限られる:
を与える.
の余等化子(coequalizer)とは,以下のデータのこと:
を与える.
の引き戻し(pullback)とは,以下のデータのこと:
を与える.
を与える.
に対し, を の内部微分(inner derivation)と呼ぶ.
を与える.
であって が冪零変換となるものを任意に一つとる.つまり, に対し, となる.すると自己同型 に対し,一般に が成り立つから, より, も冪零変換となる.よって に対し, を満たすから, は の正規部分群となる.
を与えると,以下が成り立つ:
体 を与える.
零線型空間 は,Lie括弧として唯一 を持ち得る.これを定義とするLie代数 を自明なLie代数(trivial Lie algebra)や零Lie代数(zero Lie algebra)と呼ぶ.
Lie代数の圏の部分対象,正規対象,商対象を確認し,同型定理を示す.
を与える.
部分線型空間 で,と同じLie括弧に関してLie代数となるものを,の部分Lie代数(Lie subalgebra)と呼ぶ.つまり以下を満たす:
を与える.
まず, が の部分Lie代数となることを示す.部分線型空間となることは明らか.その任意の元は と, に対する の線型結合で表される. に対し,Jacobi恒等式より となる. の定義より は明らかだから,数学的帰納法より となる.つまり, は の部分Lie代数.
で生成される部分Lie代数はLie代数なので,Lie括弧で閉じることが必要だから, は明らかに を含む の任意の部分Lie代数の部分集合となる.よって, を含む 部分Lie代数の中で最小.
を与える.
のイデアル(ideal)とは,部分線型空間 であって,以下を満たすものを言う:
を与える.
を与える.
の正規閉包(normal closure)とは, のイデアル であって,以下の同値な条件のいずれか(ゆえに全て)を満たすもののこと:
生成系の条件の同値性の証明と同様.
を与える.
の正規化Lie代数(normalizer)とは, の部分Lie代数 であって,以下の同値な条件のいずれか(ゆえに全て)を満たすものを言う:
を与える.
の で割った商Lie代数(quotient Lie algebra)とは,商線型空間 に,以下でLie括弧を定義したLie代数のこと:
を与えると,以下が成り立つ.
を与える.
最初の2条件の同値性は明らか.さらにこのとき,最後の条件を満たすのも明らか.逆を示す.
を任意に一つとり, の固有値 の 非零な固有ベクトル を任意に一つとる.仮定より有限集合 が存在し, は の固有ベクトルの有限和で と書ける.すると, となるから, となる. は異なる固有値に属する固有ベクトルなので線型独立だから, に対し, より, となる.つまり だが, のときは明らかに固有値は しか持ちえないから, が言える.
体 を与える.
-線型空間 上の可換Lie代数(commutative Lie algebra)とは,以下で定義されるLie代数のこと:
を与えると,以下が成り立つ:
Lie代数準同型の定義より明らか.
を与える.
を与えると,以下が成り立つ:
を与えると,以下は同値:
体 を与えると,以下が成り立つ:
1次元Lie代数の性質より自明.
無中心単純Lie代数のことを単に単純Lie代数と呼ぶことが多いのだが,Lie代数の圏の単純対象を指す用語としては現代的ではないので,ここでは無中心と明記することにする.
を与える.
体 を与える.
-Lie代数 が -Lie代数 の -Lie代数 による拡大(extension)であるとは,以下の短完全列を持つことを言う:
短完全列の定義より
を与える.
普遍中心拡大
線型変換の集合 は単位的結合代数だったから,交換子をLie括弧とするLie代数をなす:
を与える.
を与える.
跡の線型性と巡回性より直ちに成り立つ.
を与える.
を与える.
を与える.
を与える.
を与えると,以下が成り立つ:
を与える.
を与える.
を与えると,以下が成り立つ:
を与える.
無限体
有限体で存在するかどうかは未解決っぽい.
体
を与えると,以下を満たす:
に対し,Lie代数準同型
他にも
を与える.
(
を与える.
を与えると,以下が成り立つ:
を与える.
これらは以下の対応によって同じ構造を持つ:
を与えると,
は一対一対応.
以上の操作は,
を与える.
を与える.
線型空間
を与える.
内部微分はLie代数準同型であったから,
を与える.
単射な表現のことを忠実(faithful)と呼ぶ.
を与える.
を与えると,以下が成り立つ:
を与える.
を与える.
を与える.
を与えると,以下が成り立つ:
を与える.
を与えると,以下を満たす
を与える.
を与えると,以下を満たす
を与える.
を与えると,以下が成り立つ:
を与える.
を与える.
を与える.
部分線型空間
を与える.
商線型空間
を与えると,
に対し,以下を満たす
を与える.
短完全列
を与えると,以下が成り立つ:
を与える.
を与えると,以下は同値:
ただし,
を与える.
を与えると,以下が成り立つ:
を与えると,
Schurの補題より,
を与えると,任意の有限次元単純
を与える.
跡の巡回性より対称双線型形式.再び跡の巡回性より
を与える.
Lie代数
を与える.
を与えると,以下が成り立つ:
を与えると,以下は同値:
いずれの場合でも,
を与えると,以下が成り立つ:
ゆえに,
局所有限性の定義より,
を与える.
を与えると,以下が成り立つ:
を与える.
を与える.
を与えると,以下が成り立つ:
を与える.
を与えると,以下が成り立つ:
部分Lie代数 が
を与えると,以下が成り立つ:
極大分裂トーラス
を与えると,以下が成り立つ:
を与えると,任意の有限次元
有限次元
つまり,
を与えると,以下が成り立つ:
有限次元
まず,
次に,
を与える.
を与えると,以下を満たす:
を与える.
を与える.
最高ウェイト
を与えると,以下が成り立つ:
三角分解を持つLie代数には,もはや
を与える.
を与える.
を与えると,以下が成り立つ:
を与える.
を与えると,以下が成り立つ:
を与える.
定義の修正が必要
を与えると,以下が成り立つ:
を与える.
BGG(Bernstein-Gel’fand-Gel’fand)圏(BGG category)
を与えると,以下が成り立つ:
生成系と基本関係式を使って定義されるため,抽象的に感じるかもしれないが,有限次元半単純Lie代数の一般化になっている.
を与える.
を与えると,以下が成り立つ:
を与える.
線型空間
を与えると,以下が成り立つ:
を与えると,以下が成り立つ:
を与える.
線型空間
を与えると,
を与える.
Kac-Moody代数(Kac-Moody algbra)とは,以下の(一般に等しいとは限らない)2種類のLie代数のことを指す:
単にKac-Moody代数と呼んだときは,いずれを考えた場合でも問題ない.
を与えると,以下が成り立つ:
を与える.
次に,
Cartan行列は
を与えると,2種類のKac-Moody代数
を与えると,以下が成り立つ:
対称化可能Cartan行列,ひいてはその上のKac-Moody代数の分類は,有限型,アフィン型,双曲型の場合で終わっている.その出発点となる有限型の場合について,有限次元Lie代数のテクニックを用いるので,次章は有限次元Lie代数を扱う.
を与える.
を与える.
を与える.
(2次の)Casimir元(Casimir element)とは,以下の形式和のこと:
BGG圏の対象であれば,Casimir元の作用は有限個を除いて零なので,well-definedな線型写像となる.
を与えると,以下が成り立つ:
を与えると,
次に,
を与えると,以下が成り立つ:
次に,
一般に,冪零変換の内部微分は冪零変換なので,
を与えると,
次に,
を与えると,以下は同値:
を与えると,以下は同値:
冪零Lie代数の定義より,
次に,
を与え,
Lie代数
を与え,
を与え,
のいずれかを満たすとすると,
次に,
帰納法の仮定より,ウェイト
を与え,
のいずれかを満たすとすると,以下は同値:
旗を持つならば可解は証明済み.逆を
次に,
を与え,
のいずれかを満たすとすると,以下が成り立つ:
を与えると,
標数
仮定より,
標数
まず,
残りの条件を示す:
を与えると,以下が成り立つ:
を与える.
を与えると,以下が成り立つ:
を与えると,以下が成り立つ:
を与えると,
ゆえに,
有限次元
標数
包含準同型
ここで,
標数
を与えると,以下が成り立つ:
以上より必要な補題は,
を与えると,以下が成り立つ:
を与えると,以下は同値:
さらに,これらの条件を満たすとき,以下が成り立つ:
まずは,最初の2条件以外の同値性を示す:
以上の条件において,
残りの条件の同値性を示す:
標数
逆に,これら以外の
標数
後者の主張は,有限次元Kac-Moody代数の条件の一つより明らか.前者を示す.
それぞれの
| 名前 | 次元 | 正ルート数 | Weyl群 | 中心の生成系の次数 | Cartan行列式 |
|---|---|---|---|---|---|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|||||
|
|
|||||
|
|
|
||||
|
|
|
を与えると,以下が成り立つ:
を与える.
を与える.
双曲型Kac-Moody代数についてわかっていること[要出典]のメモ:
端的には,Kac-Moody代数の包絡代数の
を与える.
整基本ルートデータ(integral fundamental root data)とは,以下のデータのこと:
これらは以下を満たす:
を与える.
を与えると,以下が成り立つ:
を与え,
当然
を与える.
を与えると,
を与えると,以下が成り立つ: