カッツ・ムーディ代数

数学において、カッツ・ムーディ（・リー）代数（Kac–Moody algebra）とは、一般カルタン行列を用いて生成元と関係式によって定義できる、通常は無限次元の、リー代数である。独立に発見したヴィクトル・カッツとRobert Moodyに因んで名づけられている。カッツ・ムーディ・リー環は有限次元半単純リー環の一般化であり、ルート系、既約表現、旗多様体との関連といった、リー環の構造に関係した多くの性質は、カッツ・ムーディ・リー環において自然な類似を持つ。
カッツ・ムーディ・リー環の中でもアフィン・リー環と呼ばれるクラスが、数学や理論物理学、特に共形場理論やexactly solvable modelの理論において、特に重要である。カッツは、組合せ論的な恒等式であるマクドナルド恒等式の、アフィン・リー環の表現論に基づいたエレガントな証明を発見した。Howard Garland と James Lepowsky はロジャーズ・ラマヌジャン恒等式が類似の方法で導出できることを証明した。

**カッツ・ムーディ・リー環の歴史**
カルタン整数から有限次元単純リー環を構成するエリ・カルタンとヴィルヘルム・キリングによる最初の方法は型に依存していた。1966年、ジャン＝ピエール・セールは、クロード・シュヴァレーとHarish-Chandraの関係式1951を Nathan Jacobson による簡略化1962と合わせるとリー環を特徴づけるものが得られることを示した1966。したがってカルタン整数の行列（これは正定値である）からのデータを用いて生成元と関係式のことばで単純リー環を記述することができる。
は、1967年の thesis において、カルタン行列が正定値でないようなリー環を考察した1967。それでもなおリー環は生じるが、無限次元である。同じ時期に、Z-graded Lie algebraがモスクワで研究されていた。I. L. Kantorが、やがてカッツ・ムーディ・リー環と呼ばれるようになるものを含むリー環の一般的なクラスを導入し研究した1970。ヴィクトル・カッツもまた polynomial growth の単純あるいはほとんど単純なリー環を研究していた。無限次元リー環の豊かな数学的理論が徐々に発展した。他の多くの人々の研究も含む主題の詳細は 1990 にある。1987 も参照。

**定義**
カッツ・ムーディ・リー環を定義するには、まず以下のものを与える。
# 階数 が r の n × n generalized Cartan matrix 1=C = (cij).
# 複素数体上 2n − r 次元のベクトル空間 
#  の n 個の線型独立な元  の集合と、双対空間  の n 個の線型独立な元  の集合であって、 を満たすもの。 たちは半単純リー環の単純ルートの類似であり、 たちは単純コルートの類似である。
するとカッツ・ムーディ・リー環は、 と  の元を生成元とし、以下の関係式によって定義されるリー環  である。- ただし  はクロネッカーのデルタである；
*i ≠ j （したがって cij ≤ 0）のとき、 かつ  ここで、 は  の随伴表現である。
実リー環（無限次元でもよい）も、complexificationがカッツ・ムーディ・リー環であれば、カッツ・ムーディ・リー環と考えることができる。

**カッツ・ムーディ・リー環のルート空間分解**
はカッツ・ムーディ・リー環  に対するカルタン部分環の類似である。
が  の元であって、ある  に対して

を満たすならば、x をルートベクトルと呼び、 を  のルートと呼ぶ。（慣習により零汎関数はルートとは考えない。） のすべてのルートの集合をしばしば  で、あるいはときどき  で記す。与えられたルート  に対し、 によって  のルート空間を表す。すなわち

の定義関係式より  と  が従う。また、 かつ  であれば、ヤコビ恒等式より  である。
理論の基本的な結果は、任意のカッツ・ムーディ・リー環は  とルート空間たちの直和に分解できるということ、すなわち、

であることと、すべてのルート  はすべての  を同じ符号の整数として

と書けるということである。

**カッツ・ムーディ・リー環の種類**
カッツ・ムーディ・リー環の性質はその一般カルタン行列 C の代数的性質によって制御される。カッツ・ムーディ・リー環を分類するためには、分解不可能な行列 C の場合を考えれば十分である、つまり、添え字集合 I の空でない部分集合 I1, I2 の非交和への分解であってすべての i ∈ I1 と j ∈ I2
に対して Cij = 0 となるようなものは存在しないと仮定してよい。一般カルタン行列の任意の分解は対応するカッツ・ムーディ・リー環の直和分解を導く：
 
ここで右辺の2つのカッツ・ムーディ・リー環は添え字集合 I1 と I2 に対応する C の部分行列に付随する。
カッツ・ムーディ・リー環の重要なサブクラスは対称化可能な一般カルタン行列 C に対応する。この行列は DS と分解可能で、ここで D は正整数の成分の対角行列であり、S は対称行列である。C は対称化可能かつ分解不可能という仮定の下で、カッツ・ムーディ・リー環は3つのクラスに分割される：- 正定値行列 S は有限次元単純リー環を生じる。- 半正定値行列 S はアフィン型の無限次元カッツ・ムーディ・リー環、アフィン・リー環を生じる。- 不定値行列 S は不定型のカッツ・ムーディ・リー環を生じる。- C と S の対角成分は正だから、S は負定値あるいは半負定値にはなりえない。
有限型とアファイン型の対称化可能で分解不可能な一般カルタン行列は完全に分類されている。それらはディンキン図形とaffine Dynkin diagramに対応する。不定型のカッツ・ムーディ・リー環についてはほとんど分かっていない。これらのカッツ・ムーディ代数に対応する群はジャック・ティッツによって任意の体上構成されたが1987。
不定型のカッツ・ムーディ・リー環の中ではほとんどの研究は双曲型のものに焦点を当てている。これは行列 S は不定値だが、I の各真部分集合に対し、対応する部分行列が正定値あるいは半正定値となるものである。双曲的カッツ・ムーディ環は階数が高々 10 であり、それらは完全に分類されている2010。階数 2 のものは無限にあり、3 から 10 には 238 個ある。hyperbolic groups: compact and noncompact に一覧がある。

**関連項目**
ワイルの指標公式#ワイル・カッツの指標公式
*一般カッツ・ムーディ代数

**脚注**

**参考文献**
cite journal |last=Carbone |first=L. |last2=Chung |first2=S. |last3=Cobbs |first3=C. |last4=McRae |first4=R. |last5=Nandi |first5=D. |last6=Naqvi |first6=Y. |last7=Penta |first7=D. |title=Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits |journal=J. Phys. A: Math. Theor. |volume=43 |issue=15 |pages=155209 |year=2010 |doi=10.1088/1751-8113/43/15/155209 |arxiv=1003.0564 |ref=harv
*cite journal |first=H. |last=Garland |first2=J. |last2=Lepowsky |title=Lie algebra homology and the Macdonald-Kac formulas |journal=Invent. Math. |volume=34 |issue=1 |year=1976 |pages=37–76 |doi=10.1007/BF01418970 |ref=harv
*cite journal |last=Harish-Chandra |title=On some applications of the universal enveloping algebra of a semisimple Lie algebra |journal=Trans. Amer. Math. Soc. |volume=70 |issue=1 |year=1951 |pages=28–28 |doi= 10.1090/S0002-9947-1951-0044515-0|jstor=1990524|ref=harv
*urlname=Kac–Moody_algebra
*ref=harv
*V.G. Kac, Simple irreducible graded Lie algebras of finite growth Math. USSR Izv., 2 (1968) pp. 1271–1311, Izv. Akad. Nauk USSR Ser. Mat., 32 (1968) pp. 1923–1967
*ref=harv
*ref=harv
*isbn=3-7643-4227-7
*ref=harv
*ref=harv
*ref=harv
*A. J. Wassermann,  Lecture notes on Kac–Moody and Virasoro algebras
*cite journal |last=Tits |first=J. |title =Uniqueness and presentation of Kac–Moody groups over fields|journal=Journal of Algebra |volume=105 |pages=542–573 |year=1987 

**外部リンク**
  SIGMA: Special Issue on Kac-Moody Algebras and Applications