一般カッツ・ムーディ代数

提供: testwiki
ナビゲーションに移動 検索に移動

数学において，一般カッツ・ムーディ代数（いっぱんカッツ・ムーディだいすう，テンプレート:Lang-en-short）はカッツ・ムーディ代数に類似のリー環であって，ただしテンプレート:仮リンクを持ってもよい．一般カッツ・ムーディ代数は GKM 代数 (GKM algebra)，ボーチャーズ・カッツ・ムーディ代数 (Borcherds–Kac–Moody algebra)，BKM 代数 (BKM algebra)，ボーチャーズ代数 (Borcherds algebra) と呼ばれることもある．最もよく知られた例はテンプレート:仮リンクである．

動機付け

有限次元半単純リー環は以下の性質を持つ：

例えば，トレースが テンプレート:Math の テンプレート:Mvar 次行列からなるリー環に対して，双線型形式は テンプレート:Math であり，カルタン対合は転置のマイナスによって与えられ，次数付けは「対角線からの距離」によって（したがってカルタン部分環は対角行列全体である）与えられる．

逆にこれらの性質（およびいくつか他の技術的条件）を満たすLie環をすべて見つけようとすることができる．答えとして有限次元およびアフィンリー環の和を得る．

テンプレート:仮リンクは上の条件の僅かに弱いバージョンを満たす：テンプレート:Math は テンプレート:Mvar が テンプレート:Math でなく次数が テンプレート:Math でないとき正である，しかし テンプレート:Mvar の次数が テンプレート:Math であるときは負でもよい．これらの弱い条件を満たすリー環がだいたい一般カッツ・ムーディ代数である．それらは本質的にはある生成元と関係式によって与えられる代数（以下で記述される）と同じである．

インフォーマルには，一般カッツ・ムーディ代数は有限次元半単純リー環のように振る舞うリー環である．特にそれらはワイル群，ワイルの指標公式，カルタン部分環，ルート，ウェイト，等々を持つ．

定義

対称化カルタン行列とは（無限次でもよい）正方行列 テンプレート:Math であって以下を満たすものである：

与えられた対称化カルタン行列を持つ普遍一般カッツ・ムーディ代数は生成元 テンプレート:Mvar, テンプレート:Mvar, テンプレート:Mvar と以下の関係式によって定義される：

これらは（対称化可能）カッツ・ムーディ代数の関係式とは主にカルタン行列に非正の対角成分を許していることによって異なる．言い換えると，単純ルートが虚ルートであってもよい（カッツ・ムーディ代数では単純ルートは常に実ルートである）．

一般カッツ・ムーディ代数は普遍なものから，カルタン行列を変えることによって，中心の何かを殺すか中心拡大を取るか外部微分を加える操作によって，得られる．

著者によってはカルタン行列が対称であるという条件を外してより一般的な定義を与える．これらの対称化可能でない一般カッツ・ムーディ代数についてはあまり多くは知られておらず，面白い例はないようである．

定義を超代数に拡張することもできる．

構造

一般カッツ・ムーディ代数は以下のようにして次数付けできる．テンプレート:Mvar の次数を テンプレート:Math とし，テンプレート:Mvar の次数を テンプレート:Math とし，テンプレート:Mvar の次数を テンプレート:Math とする．

次数 0 部分は元 テンプレート:Mvar たちで張られる可換部分代数であり，カルタン部分環と呼ばれる．

性質

一般カッツ・ムーディ代数のほとんどの性質は（対称化可能）カッツ・ムーディ代数の通常の性質の安直な拡張である．

例

ほとんどの一般カッツ・ムーディ代数は際立った性質を持たないと考えられている．面白いものは以下の3種類である：

第三の種類の例は有限個しか例がないように思われる．2つの例は，テンプレート:仮リンクとテンプレート:仮リンクで，前者にはモンスター群が作用し，モンストラス・ムーンシャイン予想において用いられる．他のテンプレート:仮リンクのいくつかに付随した類似の例がある．

一般カッツ・ムーディ代数の多くの例を見つけることが以下の原理を用いることで可能である：一般カッツ・ムーディ代数のように見えるものはなんでも一般カッツ・ムーディ代数である．より正確には，リー環がローレンツ格子によって次数付けされ，不変双線型形式を持ち，少数の他の容易に確かめられる技術的な条件を満たすならば，それは一般カッツ・ムーディ代数である．特に任意のテンプレート:仮リンクからリー環を構成するのにテンプレート:仮リンクを用いることができる．格子が正定値ならば有限次元単純リー環を与え，半正定値ならばアファインリー環を与え，ローレンツならば上の条件を満たす代數したがって一般カッツ・ムーディ代数を与える．格子が偶26次元ユニモジュラーローレンツ格子のとき構成は fake モンスターリー環を与える；すべての他のローレンツ格子は面白くない代数を与えるようである．

参考文献

「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=一般カッツ・ムーディ代数&oldid=9866」から取得