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

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

 動機付け 
有限次元半単純リー環は以下の性質を持つ：
 非退化対称不変双線型形式  を持つ．
 0次部分（カルタン部分環）が可換であるような次数付けを持つ．
 （カルタン）対合  を持つ．
  は  のとき正である．

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

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

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

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

 定義 
対称化カルタン行列とは（無限次でもよい）正方行列  であって以下を満たすものである：

  のとき 
  のとき  は整数．

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


  のとき， （ や  は  個；
  のとき 

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

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

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

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

 構造 
一般カッツ・ムーディ代数は以下のようにして次数付けできる． の次数を  とし， の次数を  とし， の次数を  とする．

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

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

 一般カッツ・ムーディ代数は  なる不変対称双線型形式をもつ．
 虚単純ルートに対する訂正項を持つことを除いてカッツ・ムーディ代数に対するワイル・カッツの指標公式に類似の，に対する指標公式がある．

 例 
ほとんどの一般カッツ・ムーディ代数は際立った性質を持たないと考えられている．面白いものは以下の3種類である：
 有限次元半単純リー環
 アフィンカッツ・ムーディ代数
 分母関数が特異ウェイトの保型形式であるようなローレンツカルタン部分代数を持つ代数

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

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

 参考文献 

Category:リー環論
Category:数学に関する記事