カッツ・ムーディ代数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Jump to navigation Jump to search

数学において、カッツ・ムーディ・リー代数: Kac–Moody algebra)とは、一般カルタン行列を用いて生成元と関係式によって定義できる、通常は無限次元の、リー代数である。独立に発見したヴィクトル・カッツロバート・ムーディ英語版に因んで名づけられている。カッツ・ムーディ・リー環は有限次元半単純リー環の一般化であり、ルート系既約表現旗多様体英語版との関連といった、リー環の構造に関係した多くの性質は、カッツ・ムーディ・リー環において自然な類似を持つ。

カッツ・ムーディ・リー環の中でもアフィン・リー環と呼ばれるクラスが、数学や理論物理学、特に共形場理論完全可解模型英語版の理論において、特に重要である。カッツは、組合せ論的な恒等式であるマクドナルド恒等式の、アフィン・リー環の表現論に基づいたエレガントな証明を発見した。Howard Garland と James Lepowsky英語版ロジャーズ・ラマヌジャン恒等式英語版 が類似の方法で導出できることを証明した[1]

カッツ・ムーディ・リー環の歴史[編集]

カルタン整数から有限次元単純リー環を構成するエリ・カルタンヴィルヘルム・キリング英語版による最初の方法は型に依存していた。1966年、ジャン=ピエール・セールは、クロード・シュヴァレーハリシュ・チャンドラ英語版の関係式[2]Nathan Jacobson英語版 による簡略化[3]と合わせるとリー環を特徴づけるものが得られることを示した[4]。したがってカルタン整数の行列(これは正定値である)からのデータを用いて生成元と関係式のことばで単純リー環を記述することができる。

ロバート・ムーディ英語版は、1967年の thesis において、カルタン行列が正定値でないようなリー環を考察した[5][6]。それでもなおリー環は生じるが、無限次元である。同じ時期に、Z-次数付きリー環英語版がモスクワで研究されていた。I. L. カントル英語版が、やがてカッツ・ムーディ・リー環と呼ばれるようになるものを含むリー環の一般的なクラスを導入し研究した[7]ヴィクトル・カッツもまた polynomial growth の単純あるいはほとんど単純なリー環を研究していた。無限次元リー環の豊かな数学的理論が徐々に発展した。他の多くの人々の研究も含む主題の詳細は Kac (1990) にある。Seligman (1987) も参照。

定義[編集]

カッツ・ムーディ・リー環を定義するには、まず以下のものを与える。

  1. 階数rn × n 一般化カルタン行列英語版 C = (cij).
  2. 複素数体上 2nr 次元のベクトル空間
  3. n 個の線型独立な元 の集合と、双対空間 n 個の線型独立な元 の集合であって、 を満たすもの。 たちは半単純リー環の単純ルートの類似であり、 たちは単純コルートの類似である。

するとカッツ・ムーディ・リー環は、 の元を生成元とし、以下の関係式によって定義されるリー環 である。

  • ただし はクロネッカーのデルタである;
  • ij (したがって cij ≤ 0)のとき、 かつ ここで、随伴表現である。

リー環(無限次元でもよい)も、複素化英語版がカッツ・ムーディ・リー環であれば、カッツ・ムーディ・リー環と考えることができる。

カッツ・ムーディ・リー環のルート空間分解[編集]

はカッツ・ムーディ・リー環 に対するカルタン部分環の類似である。

の元であって、ある に対して

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

の定義関係式より が従う。また、 かつ であれば、ヤコビ恒等式より である。

理論の基本的な結果は、任意のカッツ・ムーディ・リー環は とルート空間たちの直和に分解できるということ、すなわち、

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

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

カッツ・ムーディ・リー環の種類[編集]

カッツ・ムーディ・リー環の性質はその一般カルタン行列 C の代数的性質によって制御される。カッツ・ムーディ・リー環を分類するためには、分解不可能な行列 C の場合を考えれば十分である、つまり、添え字集合 I の空でない部分集合 I1, I2 の非交和への分解であってすべての iI1jI2 に対して Cij = 0 となるようなものは存在しないと仮定してよい。一般カルタン行列の任意の分解は対応するカッツ・ムーディ・リー環の直和分解を導く:

ここで右辺の2つのカッツ・ムーディ・リー環は添え字集合 I1I2 に対応する C の部分行列に付随する。

カッツ・ムーディ・リー環の重要なサブクラスは対称化可能な一般カルタン行列 C に対応する。この行列は DS と分解可能で、ここで D は正整数の成分の対角行列であり、S対称行列である。C は対称化可能かつ分解不可能という仮定の下で、カッツ・ムーディ・リー環は3つのクラスに分割される:

有限型とアファイン型の対称化可能で分解不可能な一般カルタン行列は完全に分類されている。それらはディンキン図形アファイン・ディンキン図形に対応する。不定型のカッツ・ムーディ・リー環についてはほとんど分かっていない。これらのカッツ・ムーディ代数に対応する群は Jacques Tits によって任意の体上構成されたが[8]

不定型のカッツ・ムーディ・リー環の中ではほとんどの研究は双曲型のものに焦点を当てている。これは行列 S は不定値だが、I の各真部分集合に対し、対応する部分行列が正定値あるいは半正定値となるものである。双曲的カッツ・ムーディ環は階数が高々 10 であり、それらは完全に分類されている[9]。階数 2 のものは無限にあり、3 から 10 には 238 個ある。hyperbolic groups: compact and noncompact に一覧がある。

関連項目[編集]

脚注[編集]

参考文献[編集]

外部リンク[編集]