Regular representations of affine Kac-Moody algebras

この論文では、アフィン・カッツ・ムーディ代数のワキモト型構成を用いて、左側と右側からそれぞれ作用し、そのレベルの和が負の二重コックスター数に等しくなる正則表現のバージョンを導出したことを報告しています。

要約

この論文は、数学と物理学の非常に高度な分野（無限次元の対称性を扱う「アフィン・カック＝モディ代数」）について書かれたものですが、その核心は**「巨大な空間での『規則的な動き』を、より小さな部品（自由な場）を使ってどう表現するか」**というアイデアです。

専門用語を排し、日常の比喩を使ってこの論文の話をしてみましょう。

1. 全体のテーマ：巨大なダンスの振り付け

想像してください。巨大な広場（リー群 $G$）で、何万人もの人々が踊っている様子を想像してください。これが「対称性のある世界」です。
通常、この広場全体を一度に理解するのは難しいので、数学者たちは「この広場の特定の場所（例えば、ある建物の壁沿い）に注目し、そこでどう動くかを調べる」ことで、全体の動きを理解しようとしています。

この論文の著者たちは、**「無限に広い広場（ループ群）」**でも同じようなことを試みました。

• 有限次元の場合（普通の広場）： 建物の壁（ブーレル部分群）に沿って、特定の「分布（人々の集まり）」を定義することで、全体のダンス（正則表現）を記述できます。
• 無限次元の場合（無限に広い広場）： ここが難しいところです。無限の広場では、壁の定義や動きの計算が単純にはいきません。そこで著者たちは、**「ワキモト（Wakimoto）という新しい道具箱」**を使って、この複雑な動きを「自由な粒子（ボソン場）」の動きに変換する新しい方法を見つけました。

2. 比喩：迷路と自由な風

この論文の核心となるアイデアを、以下の比喩で説明します。

A. 複雑な迷路（元の代数）

元の「アフィン・カック＝モディ代数」は、非常に複雑で入り組んだ迷路のようなものです。ここでは、左から動く人（左作用）と右から動く人（右作用）が、互いに影響し合いながら迷路を歩き回っています。この迷路のルールを直接解くのは大変です。

B. 自由な風（自由場）

著者たちは、この複雑な迷路を、**「自由な風（ボソン場）」**の動きに変換する魔法の鏡を見つけました。

• 迷路の壁にぶつかる複雑な動きを、風が自由に吹き抜ける単純な動きに置き換えるのです。
• しかし、単純な風だけでは元の迷路の「重さ（中心荷電）」や「ねじれ」を再現できません。そこで、**「スクリーニング（篩い）」**というフィルターを使います。
  • スクリーニング： 風の動きに、特定のルール（フィルター）をかけて、複雑な相互作用を「再構築」する作業です。これにより、自由な風が、元の複雑な迷路の動きを完璧に模倣できるようになります。

C. 鏡像のダンス（左と右）

この論文の面白い点は、「左側の動き」と「右側の動き」を同時に扱っていることです。

• 左側のダンスを自由な風で表現し、右側のダンスも別の自由な風で表現します。
• しかし、両者は独立しているわけではありません。左側の「フィルター（スクリーニング）」が右側の動きに影響を与え、その逆もまた然りです。
• この論文は、この**「左と右が絡み合った、自由な風による巨大なダンス」**の振り付け（数式）を、$SL(2)$や$SL(3)$、そして一般的な$SL(n)$ というグループに対して、具体的に書き下したものです。

3. 具体的なステップ（論文の構成）

1. 導入（§1）：

   • まず、有限の広場（普通のリー群）ではどうやるかを確認します。ここでは「壁沿いの分布」が鍵になります。
   • 次に、これを無限の広場（ループ群）に拡張しようとしますが、無限次元では「局所コホモロジー」という数学的な道具が壊れてしまうため、**「手作業で新しい道具（自由場による表現）を作る」**必要があります。

2. 具体例（§2, §3）：

   • $SL(2)$と$SL(3)$ の場合： 具体的な「迷路の地図（ガウス分解）」を使って、左と右の動きを、自由な風（ボソン場）とフィルター（スクリーニング）を使って書き換えます。
   • ここでは、**「パラメータ $k$（レベル）」**という調整ネジがあります。これを回すことで、表現の性質（中心荷電）を変えられます。
   • 特に、**「ワキモト形式」**と呼ばれる、自由場と指数関数（エクスponential）を組み合わせた美しい式が導き出されます。これは、複雑な相互作用を、自由な粒子の「足し算」と「掛け算」で表現できることを意味します。

3. 一般化（§4）：

   • 最後には、$SL(2)$や$SL(3)$だけでなく、**どんな大きさのグループ（$SL(n+1)$）に対しても**、この「自由場＋スクリーニング」のルールが通用することを示しています。
   • 式は少し長くなりますが、構造は同じです。「自由な風」を準備し、左と右の動きに「フィルター」を適用するだけです。

4. なぜこれが重要なのか？（結論）

この研究は、単に数式を並べただけではありません。

• トポロジカル・フィールド理論への応用： この「左と右の自由場＋スクリーニング」の構造は、現代物理学の「トポロジカル・フィールド理論（位相場の理論）」という分野で、**「場の状態（ヒルベルト空間）」**を記述するための重要な部品として使われる可能性があります。
• 対称性の解読： 無限次元の対称性を、より直感的な「自由な粒子」の言葉に翻訳したことで、物理学者や数学者が、これまで難解だった現象（例えば、弦理論や共形場理論）を計算しやすくなる可能性があります。

まとめ

この論文は、**「無限に複雑な対称性のダンスを、自由な風とフィルターを使って、シンプルで美しい形に書き換える」**という、数学的な「翻訳」の成功物語です。

著者たちは、無限の迷路を解くための新しい地図（ワキモト型表現）を描き上げ、それが左と右の両方の動きを統一的に扱えることを示しました。これは、現代の理論物理学における「場の理論」をより深く理解するための、強力な新しいツールを提供するものです。

技術概要

論文「アフィン・カック＝モージ代数の正則表現」の技術的サマリー

論文情報: arXiv:hep-th/9308065v1, B. Feigin, S. Parkhomenko (1993)

1. 研究の背景と問題設定

本論文は、有限次元の複素半単純リー群における「正則表現（regular representation）」の概念を、無限次元のアフィン・カック＝モージ代数（affine Kac-Moody algebra）へと拡張することを目的としています。

• 有限次元の場合: 半単純リー群 $G$ 上の代数関数空間 $C(G)$ は、$G \times G$ 作用（左作用と右作用）のもとで正則表現となります。これは、すべての既約有限次元表現 $V$ に対する直和 $\bigoplus V \otimes V^*$ と同型です。また、ブーレル部分群 $B$ の台を持つ分布の空間 $C_B(G)$ は、最高重みを持つ表現の圏に属し、その分解はヴェルマ表現 $M_\chi$ の直和 $\bigoplus M_\chi \otimes M_{-\chi-2\rho}$ の形をとります。
• 無限次元の場合の課題: アフィン代数（ループ代数の中心拡大）に対して同様の構成を行う際、無限次元多様体上の局所コホモロジーの理論は直接適用できないため、座標系の選択に依存する「手作業による構成」とその座標変換に対する関手的性質の検証が必要です。
• 目的: ワキモト（Wakimoto）型の構成を用いて、アフィン代数 $\hat{\mathfrak{g}} \oplus \hat{\mathfrak{g}}$ の正則表現を構成し、その構造を明らかにすること。特に、トポロジカル・フィールド理論（$G/G$ モデル）への応用を視野に入れています。

2. 手法と構成

著者らは、有限次元のガウス分解（Gauss decomposition）に基づく座標系を、ループ空間（loop space）上の分布空間へと一般化するアプローチをとっています。

2.1 有限次元の場合の再構成（$SL(2, \mathbb{C}), SL(3, \mathbb{C})$）

まず、$SL(2, \mathbb{C})$ や $SL(3, \mathbb{C})$ において、ガウス分解を用いて開集合上の座標系 $(x_i, y_i)$ を導入します。

• 座標 $x_i$ はブーレル部分群の方向（非対角成分）、$y_i$ は対角成分（トーラス方向）に対応します。
• リー代数の生成元（$E, H, F$ など）の左作用（$L$）と右作用（$R$）を、これらの座標に対する微分作用素として明示的に記述します。これにより、分布空間 $D(G)$ 上の正則表現が定義されます。

2.2 アフィン代数への拡張（ループ代数化）

有限次元の構成をループ空間 $LG$ へ持ち上げます。

• ボソン場: 有限次元の微分作用素 $\partial_{x_i}, \partial_{y_i}$ および座標 $x_i, y_i$ を、スピン $(1,0)$ の共役なボソン場（自由場）の組 $\{a_i(z), {}^+a_i(z)\}, \{b_i(z), {}^+b_i(z)\}$ に対応させます。
• 分布空間の構成: 真空ベクトルを消滅させる条件を満たす不可約表現（フォック空間）を構成し、これをループ多様体上の分布空間と見なします。
• 中心拡大の調整: 作用素の交換関係から生じる中心項（レベル）を調整するために、コサイクル（cocycle）の理論を用いて作用を摂動させます。これにより、特定のレベル（central charge）を持つアフィン代数の表現が得られます。

2.3 具体的な構成（$SL(2)$と$SL(3)$ の例）

• $\widehat{sl}(2, \mathbb{C})$ の場合: 3 組のボソン場を用いて、左作用と右作用の生成元を明示的な式（式 6）で記述します。さらに、自由ボソン場 $\rho, \lambda$ を導入することで、標準的なワキモト形式に近い形（式 15）に変換可能です。
• $\widehat{sl}(3, \mathbb{C})$ の場合: より多くのボソン場とパラメータ $\alpha$ を必要としますが、座標変換によりパラメータ依存性を除去できます（式 8, 19）。
• 一般化: これらの構成は $\widehat{sl}(n+1, \mathbb{C})$ に対して自然に一般化されます（第 4 節）。

3. 主要な結果と発見

3.1 正則表現の明示的構成

アフィン・カック＝モージ代数 $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}}$ に対して、自由ボソン場を用いた明示的な正則表現を構成しました。

• 左側の代数 $\widehat{\mathfrak{g}}_L$ と右側の代数 $\widehat{\mathfrak{g}}_R$ は、それぞれ異なるレベル（central charge）で作用します。
• 具体的には、レベルが $(m-g, -m-g)$ となるように調整可能であり（$g$ は双対コックスター数）、対角部分 $\widehat{\mathfrak{g}}_\Delta$ はレベル $-2g$ で作用します。

3.2 ワキモト表現との関係

構成された表現は、既知のワキモト表現と密接に関連しています。

• 左作用の生成元 $F_i$ に対して「スクリーニング作用素（screening operator）」を右作用に追加し、逆に右作用の $E_i$ に対して左からのスクリーニングを追加することで、表現の整合性が保たれます。
• 半無限コホモロジー（semi-infinite cohomology）を計算すると、残りの作用がまさにワキモト形式の場として現れることが示唆されています。

3.3 一般化

$SL(2, \mathbb{C})$ と $SL(3, \mathbb{C})$ の具体的な計算結果を、任意の $SL(n+1, \mathbb{C})$ に対して一般化する公式（式 23）を導出しました。この公式は、2 つの自由場のコピー $\{a_{ij}, {}^+a_{ij}, \lambda_i\}$ と $\{a_{ij}, {}^+a_{ij}, \rho_i\}$ を用いて、左右の作用を記述する構造を持っています。

4. 意義と応用

• 理論的意義: 無限次元リー代数における「正則表現」の概念を、分布空間と自由場構成を通じて厳密に定式化しました。これは有限次元の $C(G) \cong \bigoplus V \otimes V^*$ という分解のアフィン版（$\bigoplus M \otimes M$ のような構造）を提供するものです。
• トポロジカル・フィールド理論（TFT）への応用: 対角部分 $\widehat{\mathfrak{g}}_\Delta$ のレベルが $-2g$ となるこの構成は、$G/G$ トポロジカル・フィールド理論における場の空間の候補となります。特に、半無限コホモロジーを用いた物理的状態の空間の記述に寄与します。
• ワキモト構成の拡張: 従来のワキモト構成（特定のレベルでの表現）を、より一般的な「正則表現」の枠組みの中で統一的に理解する道を開きました。

結論

Feigin と Parkhomenko は、ガウス分解に基づく座標系と自由ボソン場（ワキモト構成）を組み合わせることで、アフィン・カック＝モージ代数の正則表現を構成しました。この構成は、左と右のアフィン代数が異なるレベルで作用する $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}}$ 表現を与え、トポロジカル・フィールド理論や半無限コホモロジーの理論における重要な要素となります。