Onsager 代数の話（Generalized Onsager algebras）

Onsager 代数の話 Generalized Onsager algebras 宇佐見 公輔 2019 年 8 月 3 日 1

Onsager algebra とは • C 上の無限次元リー代数 • 1944 年、L. Onsager が 2 次元 Ising model を解くため導入 • 1980〜90 年代ごろに研究が進み、注目されはじめる • Ising model 以外の各種の数理物理のモデルへの応用も 2

2 次元 Ising model • m × n の格子模型 • 各点で ±1 の値（スピン）を持つ • 温度が下がると隣接点が同じスピンに揃 いたがる（そのようにハミルトニアンを 定義する） • 1944 年に Onsager algebra で解かれた （その後もう少し分かりやすい手法で解 かれた） • なお、3 次元以上では解法は見つかって いない 3

Onsager algebra の研究 • 1980〜90 年代ごろ、同型な対応がいくつか見つかる • 特に、アフィンリー代数との関連が見つかる • そこから、q-Onsager algebra や、Onsager algebra の一般 化が研究される • 今回は Onsager algebra の一般化について触れる 4

Onsager algebra の定義 Definition (Onsager algebra) {Ak , Gm } (k ∈ Z, m ∈ Z>0 ) を基底として持ち、ブラケット積を 以下で定義したリー代数を Onsager algebra という。 [Ak , Al ] = 4Gk−l [Gm , Ak ] = 2Ak+m − 2Ak−m [Gm , Gn ] = 0 （ここで G−m := −Gm , G0 := 0） 5

Dolan-Grady 関係式 Proposition (Dolan-Grady 関係式) Onsager algebra は、生成元 A0 , A1 と以下の関係式で生成され るリー代数と同型である。 [A0 , [A0 , [A0 , A1 ]]] = 16[A0 , A1 ] [A1 , [A1 , [A1 , A0 ]]] = 16[A1 , A0 ] こちらを Onsager algebra の定義としても差し支えない。 6

loop algebra の involution loop algebra C[t, t−1 ] ⊗ sl(2, C) を考える。ここで C[t, t−1 ] は変 数 t のローラン多項式である。 Definition (loop algebra の involution) sl(2, C) の involution ω を以下で定義する。 e 7→ f f 7→ e h 7→ −h C[t, t−1 ] ⊗ sl(2, C) 上の involution ω を以下で定義する。 p(t) ⊗ x 7→ p(t−1 ) ⊗ ω(x) 7

loop algebra の fixed point subalgebra Proposition (loop algebra の fixed point subalgebra) C[t, t−1 ] ⊗ sl(2, C) の部分リー代数 {x ∈ C[t, t−1 ] ⊗ sl(2, C) | ω(x) = x} （ω による fixed point subalgebra）は Onsager algebra と同型 である。また、以下の {Ak , Gm } (k ∈ Z, m ∈ Z>0 ) がその基底で ある。 Ak = 2tk e + 2t−k f Gm = (tm − t−m )h (1) Onsager algebra は A1 型のアフィンリー代数（＝ loop algebra C[t, t−1 ] ⊗ sl(2, C) の中心拡大）の部分リー代数ともいえる。 8

Onsager algebra の拡張の発想 (1) • Onsager algebra は A1 型のアフィンリー代数の部分リー代 数であることがわかった (1) • では、A1 型以外のアフィンリー代数を考えれば、Onsager algebra の拡張を考えられるのではないか？ 9

(1) An への拡張 Uglov と Ivanov による A 型への拡張（1996） Definition (A 型 Onsager algebra) (1) 生成元 e0 , . . . , en と以下の関係式で生成されるリー代数を An 型 Onsager algebra と呼ぶ。 [ei , [ei , ej ]] = ej Dynkin 図形上で頂点が隣のとき [ei , [ei , ej ]] = 0 otherwise (1) 上記の Dynkin 図形は An 型のもの。 10

関係式の意味 A 型 Onsager algebra の関係式 [ei , [ei , ej ]] = ej は、A 型有限次元単純リー代数の Serre 関係式 [ei , [ei , ej ]] = 0 の類似と考えられる。 また、Onsager algebra の Dolan-Grady 関係式 [Ai , [Ai , [Ai , Aj ]]] = 16[Ai , Aj ] の類似と考えられる。 11

loop algebra の fixed point subalgebra Proposition (loop algebra の fixed point subalgebra) C[t, t−1 ] ⊗ sl(n, C) の involution ω を以下で定義する。 tm Eij 7→ (−1)i+j+1+mn t−m Eji tm Hi 7→ (−1)1+mn t−m Hi (1) C[t, t−1 ] ⊗ sl(n + 1, C) の fixed point subalgebra は An 型 Onsager algebra と同型である。 (1) (1) An 型 Onsager algebra は An 型のアフィンリー代数の部分リー 代数ともいえる。 12

(1) Dn への拡張 Date と Usami による D 型への拡張（2004） Definition (D 型 Onsager algebra) (1) 生成元 e0 , . . . , en と以下の関係式で生成されるリー代数を Dn 型 Onsager algebra と呼ぶ。 [ei , [ei , ej ]] = ej Dynkin 図形上で頂点が隣のとき [ei , [ei , ej ]] = 0 otherwise (1) 上記の Dynkin 図形は Dn 型のもの。 13

loop algebra の fixed point subalgebra Proposition (loop algebra の fixed point subalgebra) C[t, t−1 ] ⊗ o(2n, C) の involution ω を以下で定義する。 tm Gij 7→ (−1)α(i,j) t−m Gji （Gij := Eij − E2n+1−j,2n+1−i 、α(i, j) := i + jまたはi + j + 1） (1) C[t, t−1 ] ⊗ o(2n, C) の fixed point subalgebra は Dn 型 Onsager algebra と同型である。 (1) (1) Dn 型 Onsager algebra は Dn 型のアフィンリー代数の部分リー 代数ともいえる。 14

Generalized Onsager algebra Stokman による一般の Kac-Moody algebra への拡張（2019） Definition (Generalized Onsager algebra) A = (aij ) を対称化可能な generalized Cartan matrix とする。生 成元 e1 , . . . , en と以下の関係式で生成されるリー代数を Generalized Onsager algebra と呼ぶ。 1−aij X ij cs [1 − aij ](adei )s ej = 0 s=0 (1) • Cartax matrix が A1 型の場合は Dolan-Grady 関係式 (1) • An 型の場合は Uglov と Ivanov の定義 (1) • Dn 型の場合は Date と Usami の定義 に、それぞれ一致する。 15

まとめ • 以前やっていたことが一般化された論文が出ていて驚いた、 • しかもその論文の中に自分の名前が出てきてさらに驚いた、 というお話でした。 参考文献： • Generalized Onsager algebras, Jasper V. Stokman, preprint, 2019 16