On the Sugawara Current Algebra Proposal for M-Theory

この論文は、$E_{11} \otimes_s l_1$ に基づく M 理論の Sugawara 型電流代数定式化の可能性を検証し、一般化された座標を剛体対称性に対して不変とみなすモデルでその構成が可能であることを示す一方で、Schwinger 項に含まれる双線形形式の非退化性についてさらなる検討が必要であると論じている。

要約

🌌 宇宙の「レシピ」と「電流」の話

1. 背景：宇宙の「隠れたレシピ」

まず、M 理論には「E11」という巨大で複雑な**「隠れたレシピ（対称性）」**があると考えられています。
これまでの研究（E 理論）では、このレシピを使って宇宙の動きを説明しようとしています。しかし、このレシピには「通常の空間（3 次元）」だけでなく、目に見えない「追加の次元（高次座標）」という、非常に不思議な材料も含まれています。

2. 提案：「電流」で宇宙を記述する？

別の研究者（論文 [29]）は、M 理論を**「電流（Current）」**の集まりとして記述できるという大胆な提案をしました。

• アナロジー： 川の流れを「水そのもの」ではなく、「流れる水の勢いや方向（電流）」だけで記述しようとするようなものです。
• この提案では、M 理論の動きが、ある決まった「電流の法則（シュワルツァーの代数）」に従っていると言っています。

3. 著者の検証：2 つの大きな問題

グレンノンは、この「電流で記述する」というアイデアが本当に成り立つかを、2 つの観点からチェックしました。

問題点 A：「料理人」と「食材」の関係がズレている

• E 理論の考え方（Type III）： 宇宙の「食材（高次座標）」自体が、料理人（対称性）の動きに合わせて変形したり、踊ったりします。食材と料理人は密接に絡み合っています。
• 電流提案の考え方（Type II）： 著者が計算したところ、電流の法則が成り立つのは、**「食材はただの背景（ inert な存在）」**で、料理人が動いても食材は動かない場合だけでした。
• 結論： E 理論では食材が動いているのに、電流の法則は食材が静止している前提で成り立っています。これは**「踊っているダンサーを、静止した背景として扱おうとしている」**ような矛盾です。

問題点 B：「重さ」の定義が壊れている

• 電流の法則を計算する際、ある「重さ（双線形形式）」という概念が必要です。これは、異なる電流同士がどう影響し合うかを測るものですが、通常は「0 ではない重さ」が必要です。
• しかし、M 理論の特別な構造（E11 ⊗s l1）では、この「重さ」を自然に定義しようとすると、**「重さが 0 になってしまう（退化する）」**という問題が起きます。
• アナロジー： 料理の味を測るために「はかり」を使おうとしたら、そのはかりが壊れていて、どんな重さの食材も「0 グラム」としか表示しないような状態です。これでは正確な計算ができません。

4. 著者の発見：条件を変えれば可能だった

著者は、条件を少し変えて実験しました。

• 「食材（高次座標）は動かない（ inert）」という、E 理論とは異なる仮定（Type II 非線形実現）のもとで計算し直しました。
• その結果、「電流の法則（シュワルツァー代数）」は確かに導き出せました！
• しかし、これは E 理論が想定している「食材が動く」世界とは異なる、別の世界での話でした。

5. 結論：まだ道は遠い

この論文の結論は以下の通りです。

1. 電流で記述するアイデア自体は面白いですが、今のままでは E 理論（M 理論の主流な考え方）と矛盾しています。
2. 電流の法則を E 理論に適用するには、**「食材が動く（高次座標が変化する）」**という複雑な状況をどうやって電流の法則に組み込むか、あるいは「壊れたはかり（退化した重さ）」をどう直すかという、大きな課題が残っています。
3. 一般相対性理論（重力）の例でも、同じように「座標が動く世界」を電流で記述するのは非常に難しいことが示されました。

🎯 まとめ

この論文は、**「M 理論を『電流』というシンプルな言葉で書き直そうとする試みは、今のところ『食材が動く』という宇宙の本当の姿とは合っていない」**と警告しています。

しかし、著者は「もし条件を変えれば電流の法則は作れる」という可能性も示しました。つまり、「電流で宇宙を記述する」という夢は捨てていませんが、そのためには、今の E 理論の複雑な仕組み（動く食材や壊れたはかり）をどう克服するかが、次の大きなステップだと言っています。

これは、新しい地図を描こうとする探検家が、「今の地図（E 理論）と新しい道（電流理論）には、まだ橋が架かっていない」と報告しているようなものです。

技術概要

以下は、Keith Glennon 氏による論文「On the Sugawara Current Algebra Proposal for M-Theory（M 理論に対する Sugawara 型カレント代数提案について）」の技術的詳細な要約です。

1. 研究の背景と問題提起

背景:
M 理論の低エネルギー極限における隠れた対称性として、無限次元の Kac-Moody 代数 $E_{11}$ が提案されている（E-理論）。この枠組みでは、11 次元超重力理論やその双対性は、$E_{11} \otimes_s l_1 / I_c(E_{11})$ という非線形実現（coset モデル）から導かれる。ここで、$l_1$ は $E_{11}$ のベクトル表現であり、通常の時空座標 $x^\mu$ だけでなく、$Z_{\mu\nu}, Z_{\mu_1\dots\mu_5}$ などの「一般化された座標」を含む無限次元の一般化時空を記述する。

問題提起:
直近の研究 [29] では、M 理論を $E_{11} \otimes_s l_1$ に基づく Sugawara 型カレント代数として定式化する提案がなされた。この提案では、各生成子に対応するカレント $J^\alpha_\mu$ が定義され、それらが特定の交換関係（Sugawara 交換関係）とエネルギー運動量テンソルを満たすと仮定されている。
しかし、この提案には以下の 2 つの重要な構造的な疑問点が残されていた：

1. 一般化座標の扱い: [29] の定式化では、E-理論の核心である「一般化された座標（$l_1$ 表現に由来する座標）」がカレント代数の交換関係に体系的に組み込まれていない。通常の 11 次元時空座標のみが扱われている。
2. 双線形形式の非退化性: Sugawara 形式のシュウィンガー項（Schwinger term）やエネルギー運動量テンソルには、非退化な $ad$-不変双線形形式（カントン・キリング形式の拡張）が必要である。しかし、$l_1$ が可換（アーベル）であるため、$E_{11}$ のカントン・キリング形式を $E_{11} \otimes_s l_1$ に自然に拡張すると、その形式は必然的に**退化（degenerate）**してしまう。

2. 研究方法とアプローチ

著者は、上記の疑問点を解決するために、以下の戦略で再検討を行った。

1. 非線形実現の種類の区別:

   • E-理論（Type III）: 一般化座標が剛体 $E_{11}$ 変換に対して非自明に変換する（座標が動的な役割を果たす）。
   • 本論文のモデル（Type II）: 一般化座標を剛体対称性に対して「不変（inert）」な外部パラメータとして扱う。
     著者は、まず Type II の非線形実現（座標が不変）の枠組みで、一般化座標を体系的に含んだカレント代数を導出できるか検証した。

2. モデルの構築:

   • 対象を $E_{11} \otimes_s l_1$ ではなく、$E_{11}$ 自体に制限し（$l_1$ の生成子を直接カレントに含めない）、非退化な $ad$-不変双線形形式（$E_{11}$ のカントン・キリング形式）を使用する。
   • 一般化座標 $x^\Pi$ を持つ場 $A_\alpha(x)$ を定義し、これらに依存する場として扱う。
   • 不変な二次作用 $S = \int dx \mathcal{L}$ を構成し、そこからカレント密度とエネルギー運動量テンソルを導く。

3. 導出プロセス:

   • マウレル・カルタン形式（Maurer-Cartan form）を用いて共変微分 $G_{\Pi, \alpha}$ を定義。
   • 剛体 $E_{11}$ 変換に対する不変性から保存カレント $J_{\Pi, \gamma}$ を定義。
   • 正準運動量 $\pi_\gamma$ を定義し、等時交換関係 $[A_\alpha, \pi_\beta] = i\delta_{\alpha\beta}\delta(x-y)$ を仮定して、カレント間の交換関係を計算する。

3. 主要な成果と結果

1. 一般化座標を含む Sugawara 型カレント代数の導出:
   Type II の非線形実現（座標が不変）の枠組みにおいて、一般化された座標を体系的に含んだ Sugawara 型カレント代数を成功裡に導出した。得られた交換関係は以下の通り：
   $$[J^0_\alpha(x), J^0_\beta(y)] = -i\delta(x-y)f^\gamma_{\alpha\beta}J^0_\gamma(x)$$
   $$[J^0_\alpha(x), J^{\Pi'}_\beta(y)] = -if^\gamma_{\alpha\beta}J^{\Pi'}_\gamma(x)\delta(x-y) - i(C K^{\Pi'\Sigma} C_{\alpha\beta})\partial_\Sigma \delta(x-y)$$
   ここで、$\Pi'$ はレベル 0 の時間座標以外の一般化座標インデックスを表す。これにより、[29] の提案が「座標を不変と仮定すれば」数学的に整合性を持つことが示された。

2. 双線形形式の退化問題の指摘:
   $E_{11} \otimes_s l_1$ に対して自然に拡張された $ad$-不変双線形形式は、$l_1$ 部分（可換）の性質により必ず退化することを証明した。

   • Sugawara 形式のシュウィンガー項には非退化な形式が必要である。
   • [29] の提案が $E_{11} \otimes_s l_1$ を扱っている場合、使用されている双線形形式が標準的な $ad$-不変形式ではないか、あるいはその退化性がどのように扱われているかが不明瞭である。
   • 本論文の導出では、非退化な形式を持つ $E_{11}$ 自体に限定することでこの問題を回避したが、これは [29] の設定とは異なる。

3. E-理論との構造的な不一致:
   導出されたカレント代数は、座標が不変な Type II モデルに基づいている。しかし、E-理論（および [29] が目指す M 理論の完全な記述）は、座標が変換する Type III 非線形実現に基づいている。

   • Type III では、一般化座標が動的に変換し、高レベルの微分項が低レベルの場と混合する（式 2.3.1 参照）。
   • 座標が変換する状況下で、Sugawara 型のカレント代数がどのように成立するかは未解決であり、一般相対性理論の coset 定式化（$GL(11) \otimes_s \{P_\mu\}/SO(1,10)$）における類似の困難（Sugawara 型 JJ 形式への還元が自明でないこと）を指摘した。

4. 意義と結論

• 理論的明確化: [29] の提案が、どのような仮定（特に座標の扱いと双線形形式の性質）の下で成立するかを明確に区別した。
• 障壁の特定: M 理論を E-理論の枠組み（Type III、一般化座標が動的、局所対称性 $I_c(E_{11})$ を含む）で Sugawara 型カレント代数として定式化する際の、構造的な障壁（座標の変換性と双線形形式の退化性）を浮き彫りにした。
• 今後の展望: 真の M 理論のカレント代数定式化は、単なる対称性の代数構造だけでなく、一般化座標の動的な変換性と局所対称性をどのように統合するかという、極めて非自明な課題を解決する必要があることを示唆している。

結論:
本論文は、Sugawara 型カレント代数の提案が「座標を不変とする Type II モデル」では一般化座標を含めて導出可能であることを示したが、E-理論の核心である「座標が変換する Type III モデル」および「退化する双線形形式」の問題は未解決であり、[29] の提案と E-理論の完全な整合性にはさらなる検討が必要であると結論づけた。