カッツ・ムーディ代数

数学において、カッツ・ムーディ（・リー）代数（英: Kac–Moody algebra）とは、一般カルタン行列を用いて生成元と関係式によって定義できる、通常は無限次元の、リー代数である。独立に発見したヴィクトル・カッツとロバート・ムーディ（英語版）に因んで名づけられている。カッツ・ムーディ・リー環は有限次元半単純リー環の一般化であり、ルート系、既約表現、旗多様体との関連といった、リー環の構造に関係した多くの性質は、カッツ・ムーディ・リー環において自然な類似を持つ。 カッツ・ムーディ・リー環の中でもアフィン・リー環と呼ばれるクラスが、数学や理論物理学、特に共形場理論や完全可解模型（英語版）の理論において、特に重要である。カッツは、組合せ論的な恒等式であるマクドナルド恒等式の、アフィン・リー環の表現論に基づいたエレガントな証明を発見した。Howard Garland と James Lepowsky（英語版） はロジャーズ・ラマヌジャン恒等式が類似の方法で導出できることを証明した。 カルタン整数から有限次元単純リー環を構成するエリ・カルタンとヴィルヘルム・キリング（英語版）による最初の方法は型に依存していた。1966年、ジャン＝ピエール・セールは、クロード・シュヴァレーとハリシュ・チャンドラ（英語版）の関係式を Nathan Jacobson（英語版） による簡略化と合わせるとリー環を特徴づけるものが得られることを示した。したがってカルタン整数の行列（これは正定値である）からのデータを用いて生成元と関係式のことばで単純リー環を記述することができる。 ロバート・ムーディ（英語版）は、1967年の thesis において、カルタン行列が正定値でないようなリー環を考察した。それでもなおリー環は生じるが、無限次元である。同じ時期に、Z-次数付きリー環（英語版）がモスクワで研究されていた。I. L. カントル（英語版）が、やがてカッツ・ムーディ・リー環と呼ばれるようになるものを含むリー環の一般的なクラスを導入し研究した。ヴィクトル・カッツもまた polynomial growth の単純あるいはほとんど単純なリー環を研究していた。無限次元リー環の豊かな数学的理論が徐々に発展した。他の多くの人々の研究も含む主題の詳細は Kac (1990) にある。Seligman (1987) も参照。 カッツ・ムーディ・リー環を定義するには、まず以下のものを与える。 階数 が r の n × n 一般カルタン行列 C = (cij). 複素数体上 2n − r 次元のベクトル空間 h . {\displaystyle {\mathfrak {h}}.} h {\displaystyle {\mathfrak {h}}} の n 個の線型独立な元 α i ∨   {\displaystyle \alpha _{i}^{\vee }\ } の集合と、双対空間 h ∗ {\displaystyle {\mathfrak {h}}^{*}} の n 個の線型独立な元 α i {\displaystyle \alpha _{i}} の集合であって、 α i ( α j ∨ ) = c j i {\displaystyle \alpha _{i}(\alpha _{j}^{\vee })=c_{ji}} を満たすもの。 α i {\displaystyle \alpha _{i}} たちは半単純リー環の単純ルートの類似であり、 α i ∨ {\displaystyle \alpha _{i}^{\vee }} たちは単純コルートの類似である。 するとカッツ・ムーディ・リー環は、 e i , f i ( i ∈ { 1 , … , n } ) {\displaystyle e_{i},\,f_{i}\;(i\in \{1,\ldots ,n\})} と h {\displaystyle {\mathfrak {h}}} の元を生成元とし、以下の関係式によって定義されるリー環 g {\displaystyle {\mathfrak {g}}} である。 [ h , h ′ ] = 0  for  h , h ′ ∈ h ; {\displaystyle [h,h']=0{\text{ for }}h,h'\in {\mathfrak {h}};} [ h , e i ] = α i ( h ) e i  for  h ∈ h ; {\displaystyle [h,e_{i}]=\alpha _{i}(h)e_{i}{\text{ for }}h\in {\mathfrak {h}};} [ h , f i ] = − α i ( h ) f i  for  h ∈ h ; {\displaystyle [h,f_{i}]=-\alpha _{i}(h)f_{i}{\text{ for }}h\in {\mathfrak {h}};} [ e i , f j ] = δ i j α i ∨ , {\displaystyle [e_{i},f_{j}]=\delta _{ij}\alpha _{i}^{\vee },} ただし δ i j {\displaystyle \delta _{ij}} はクロネッカーのデルタである； i ≠ j （したがって cij ≤ 0）のとき、 ad ⁡ ( e i ) 1 − c i j ( e j ) = 0 {\displaystyle \operatorname {ad} (e_{i})^{1-c_{ij}}(e_{j})=0} かつ ad ⁡ ( f i ) 1 − c i j ( f j ) = 0. {\displaystyle \operatorname {ad} (f_{i})^{1-c_{ij}}(f_{j})=0.} ここで、 ad : g → End ⁡ ( g ) , ad ⁡ ( x ) ( y ) = [ x , y ] {\displaystyle \operatorname {ad} \colon {\mathfrak {g}}\to \operatorname {End} ({\mathfrak {g}}),\,\operatorname {ad} (x)(y)=[x,y]} は g {\displaystyle {\mathfrak {g}}} の随伴表現である。 実リー環（無限次元でもよい）も、複素化（英語版）がカッツ・ムーディ・リー環であれば、カッツ・ムーディ・リー環と考えることができる。 h {\displaystyle {\mathfrak {h}}} はカッツ・ムーディ・リー環 g {\displaystyle {\mathfrak {g}}} に対するカルタン部分環の類似である。 x ≠ 0 {\displaystyle x\neq 0} が g {\displaystyle {\mathfrak {g}}} の元であって、ある λ ∈ h ∗ ∖ { 0 } {\displaystyle \lambda \in {\mathfrak {h}}^{*}\setminus \{0\}} に対して ∀ h ∈ h , [ h , x ] = λ ( h ) x {\displaystyle \forall h\in {\mathfrak {h}},\,[h,x]=\lambda (h)x} を満たすならば、x をルートベクトルと呼び、 λ {\displaystyle \lambda } を g {\displaystyle {\mathfrak {g}}} のルートと呼ぶ。（慣習により零汎関数はルートとは考えない。） g {\displaystyle {\mathfrak {g}}} のすべてのルートの集合をしばしば Δ {\displaystyle \Delta } で、あるいはときどき R {\displaystyle R} で記す。与えられたルート λ {\displaystyle \lambda } に対し、 g λ {\displaystyle {\mathfrak {g}}_{\lambda }} によって λ {\displaystyle \lambda } のルート空間を表す。すなわち g λ = { x ∈ g : ∀ h ∈ h , [ h , x ] = λ ( h ) x } . {\displaystyle {\mathfrak {g}}_{\lambda }=\{x\in {\mathfrak {g}}:\forall h\in {\mathfrak {h}},[h,x]=\lambda (h)x\}.} g {\displaystyle {\mathfrak {g}}} の定義関係式より e i ∈ g α i {\displaystyle e_{i}\in {\mathfrak {g}}_{\alpha _{i}}} と f i ∈ g − α i {\displaystyle f_{i}\in {\mathfrak {g}}_{-\alpha _{i}}} が従う。また、 x 1 ∈ g λ 1 {\displaystyle x_{1}\in {\mathfrak {g}}_{\lambda _{1}}} かつ x 2 ∈ g λ 2 {\displaystyle x_{2}\in {\mathfrak {g}}_{\lambda _{2}}} であれば、ヤコビ恒等式より [ x 1 , x 2 ] ∈ g λ 1 + λ 2 {\displaystyle [x_{1},x_{2}]\in {\mathfrak {g}}_{\lambda _{1}+\lambda _{2}}} である。 理論の基本的な結果は、任意のカッツ・ムーディ・リー環は h {\displaystyle {\mathfrak {h}}} とルート空間たちの直和に分解できるということ、すなわち、 g = h ⊕ ⨁ λ ∈ Δ g λ {\displaystyle {\mathfrak {g}}={\mathfrak {h}}\oplus \bigoplus _{\lambda \in \Delta }{\mathfrak {g}}_{\lambda }} であることと、すべてのルート λ {\displaystyle \lambda } はすべての z i {\displaystyle z_{i}} を同じ符号の整数として λ = ∑ i = 1 n z i α i {\displaystyle \lambda =\sum _{i=1}^{n}z_{i}\alpha _{i}} と書けるということである。 カッツ・ムーディ・リー環の性質はその一般カルタン行列 C の代数的性質によって制御される。カッツ・ムーディ・リー環を分類するためには、分解不可能な行列 C の場合を考えれば十分である、つまり、添え字集合 I の空でない部分集合 I1, I2 の非交和への分解であってすべての i ∈ I1 と j ∈ I2 に対して Cij = 0 となるようなものは存在しないと仮定してよい。一般カルタン行列の任意の分解は対応するカッツ・ムーディ・リー環の直和分解を導く： g ( C ) ≃ g ( C 1 ) ⊕ g ( C 2 ) , {\displaystyle {\mathfrak {g}}(C)\simeq {\mathfrak {g}}(C_{1})\oplus {\mathfrak {g}}(C_{2}),} ここで右辺の2つのカッツ・ムーディ・リー環は添え字集合 I1 と I2 に対応する C の部分行列に付随する。 カッツ・ムーディ・リー環の重要なサブクラスは対称化可能な一般カルタン行列 C に対応する。この行列は DS と分解可能で、ここで D は正整数の成分の対角行列であり、S は対称行列である。C は対称化可能かつ分解不可能という仮定の下で、カッツ・ムーディ・リー環は3つのクラスに分割される： 正定値行列 S は有限次元単純リー環を生じる。 半正定値行列 S はアフィン型の無限次元カッツ・ムーディ・リー環、アフィン・リー環を生じる。 不定値行列 S は不定型のカッツ・ムーディ・リー環を生じる。 C と S の対角成分は正だから、S は負定値あるいは半負定値にはなりえない。 有限型とアファイン型の対称化可能で分解不可能な一般カルタン行列は完全に分類されている。それらはディンキン図形とアファイン・ディンキン図形に対応する。不定型のカッツ・ムーディ・リー環についてはほとんど分かっていない。これらのカッツ・ムーディ代数に対応する群はジャック・ティッツによって任意の体上構成されたが。 不定型のカッツ・ムーディ・リー環の中ではほとんどの研究は双曲型のものに焦点を当てている。これは行列 S は不定値だが、I の各真部分集合に対し、対応する部分行列が正定値あるいは半正定値となるものである。双曲的カッツ・ムーディ環は階数が高々 10 であり、それらは完全に分類されている。階数 2 のものは無限にあり、3 から 10 には 238 個ある。hyperbolic groups: compact and noncompact に一覧がある。 ワイルの指標公式#ワイル・カッツの指標公式 一般カッツ・ムーディ代数 ^ (?) (Garland & Lepowsky 1976) ^ Harish-Chandra 1951. ^ Jacobson 1962. ^ Serre 1966. ^ Moody 1967. ^ Moody 1968. ^ Kantor 1970. ^ Tits 1987. ^ Carbone et al. 2010. Carbone, L.; Chung, S.; Cobbs, C.; McRae, R.; Nandi, D.; Naqvi, Y.; Penta, D. (2010). “Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits”. J. Phys. A: Math. Theor. 43 (15): 155209. arXiv:1003.0564. doi:10.1088/1751-8113/43/15/155209.  Garland, H.; Lepowsky, J. (1976). “Lie algebra homology and the Macdonald-Kac formulas”. Invent. Math. 34 (1): 37–76. doi:10.1007/BF01418970.  Harish-Chandra (1951). “On some applications of the universal enveloping algebra of a semisimple Lie algebra”. Trans. Amer. Math. Soc. 70 (1): 28–28. doi:10.1090/S0002-9947-1951-0044515-0. JSTOR 1990524.  Hazewinkel, Michiel, ed. (2001), “Kac–Moody algebra”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Kac–Moody_algebra  Jacobson, N. (1962). Lie algebras. Interscience Tracts in Pure and Applied Mathematics. 10. New York-London: Interscience Publishers (a division of John Wiley & Sons)  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 Kac, V. (1990). Infinite dimensional Lie algebras (3rd ed.). Cambridge University Press. ISBN 0-521-46693-8. https://books.google.com/books?id=kuEjSb9teJwC&lpg=PP1&dq=Victor%20G.%20Kac&pg=PP1#v=onepage&q&f=false  Kantor, I. L. (1970). “Graded Lie algebras” (Russian). Trudy Sem. Vektor. Tenzor. Anal. 15: 227–266.  Kumar, S. (2002). Kac–Moody Groups, their Flag Varieties and Representation Theory (1st ed.). Birkhäuser. ISBN 3-7643-4227-7  Moody, R. V. (1967). “Lie algebras associated with generalized cartan matrices”. Bull. Amer. Math. Soc. 73 (2): 217–222. doi:10.1090/S0002-9904-1967-11688-4. http://www.ams.org/journals/bull/1967-73-02/S0002-9904-1967-11688-4/S0002-9904-1967-11688-4.pdf.  Moody, R.V. (1968). “A new class of Lie algebras”. Journal of Algebra 10: 211–230.  Seligman, George B. (1987). “Book Review: Infinite dimensional Lie algebras”. Bull. Amer. Math. Soc.. N.S. 16 (1): 144–150. doi:10.1090/S0273-0979-1987-15492-9.  Serre, J.-P. (1966) (French). Algèbres de Lie semi-simples complexes. New York-Amsterdam: W. A. Benjamin  A. J. Wassermann, Lecture notes on Kac–Moody and Virasoro algebras Tits, J. (1987). “Uniqueness and presentation of Kac–Moody groups over fields”. Journal of Algebra 105: 542–573.  SIGMA: Special Issue on Kac-Moody Algebras and Applications