Local symmetry and the dependence on extended spacetime

技術要約：局所対称性と拡張時空への依存性

問題提起
本論文は、拡張された時空（具体的には $E$ 理論（$E_{11} \otimes_s l_1$ の非線形実現）およびシーゲル理論（ダブル・フィールド理論））において定義される局理論の局所対称性の定式化について扱う。歴史的に、これらの理論は、ゲージ不変性と一貫性を確保するために、「セクション条件」（例えば、弱条件 $\partial_\Pi \partial^\Pi \cdot = 0$ または強条件 $\partial_\Pi \cdot \partial^\Pi \cdot = 0$）に依存してきた。これらの条件は、ストリング理論のレベルマッチング条件に由来しており、場（fields）の拡張座標（$x^\mu, y^\mu$）への依存性を自明なものへと制限するものである。

著者らは、このような条件を「場」自体に課すことは誤ったアプローチである可能性があると主張している。彼らは、拡張座標が $E_{11}$ 不変性に不可欠であり、非摂動的な効果（ソリトン／ブレーン）に関連していることを指摘している。さらに、一般的な強セクション条件は物理学において異例であり、その適用がシェルク＝シュワルツ・リダクションの文脈で疑問を投げかけている。中心となる問題は、場に対して事前に制限的な条件を課すことなく、理論が局所対称性を保持するために必要となる「最小限」の条件を決定することである。

方法論
著者らは、実用的かつ保守的なアプローチを採用し、「可能な限り最小限の仮定」を置く。場に対してセクション条件を仮定する代わりに、提案された局所変換の下で線形化された運動方程式が不変であるための要件を調査する。

1. $E$ 理論における線形化解析：

   • 彼らは、$E$ 理論におけるグラビトン（重力子）と3次形式場の線形化された運動方程式を検討する。
   • 特定の微分レベルまでの項を含む、最も一般的な線形化運動方程式を構成する。
   • これらの運動方程式の変分を、局所変換（$E_{11}$ の非線形実現から導出されたもの）の下で計算する。
   • 変分が消滅することを要求することで、一般的な方程式の係数を解き、変換パラメータ（$\xi^\mu$ および $\Lambda^{\mu\nu}$）に対する必要な制約を導出する。

2. シーゲル理論（レベルゼロ）の解析：

   • 彼らは、IIA理論へと至る $E$ 理論のレベルゼロ分解に対応するシーゲル理論について同様の計算を行う。
   • グラビトン、2次形式、およびディラトンの線形化された方程式を分析する。
   • ディラトンの運動方程式が不変となるためのパラメータに関する条件を導出し、それがパラメータに関する非線形な制約につながることを指摘する。

3. 群論的検証：

   • シーゲル理論については、導出されたパラメータ制約が、カルタン・イボリュート不変部分代数 $SO(D) \otimes SO(D)$ の下で不変であることを示す群論的な導出を提示する。

主な貢献と結果

• パラメータ制約 vs. 場への制約： 主要な結果は、線形化領域における局所対称性は、場に対して条件を課す必要はないということである。代わりに、それは局所変換のパラメータに対して特定の微分条件を課す。

  • $E$ 理論において、3次形式およびグラビトンの方程式の不変性は、$\partial_\lambda \partial^\lambda_\nu \{ \dots \} = 0$（式 2.1.10 および 2.3.2）のような条件を導く。これらの条件は、高次レベルの座標に対するパラメータの依存性を、最低次レベルの成分によって決定する。
  • シーゲル理論において、条件はより単純であり（式 3.8–3.11）、$\partial_\lambda \bar{\partial}^\lambda (\dots) = 0$ という形式をとる。これらの方程式は、パラメータ $\xi^\mu(x,y)$ および $\Lambda^\mu(x,y)$ の $y^\mu$ 依存性を、その $x^\mu$ 依存性に基づいて決定する。

• セクション条件との区別： 著者らは、パラメータに対して導出された条件が、場に対して課される標準的なセクション条件（式 1.1 および 1.2）とは明確に異なることを明示的に示している。

  • 場に対する標準的なセクション条件は、場の変分（パラメータの微分を含む）に作用する微分がライプニッツ則に従って分配されることを意味し、しばしば強セクション条件を消失させる必要がある。
  • 場に対して条件を課さないことで、著者らは強セクション条件の必要性を回避している。導出されたパラメータ制約は、不変性を保証するのに十分である。

• 非線形ディラトン制約： シーゲル理論におけるディラトンの方程式に関して、著者らは、局所対称性の下での不変性が、パラメータに関する「比較的単純な非線形条件」（式 4.7）を要求することを発見した。これは、非線形領域においても、場に対して条件を課す必要がないという主張を支持している。

• 代数の閉鎖性： 本論文は、特定のパラメータ条件が保持される場合に局所変換が閉じた代数を形成するという先行研究（文献 [33]）に言及している。著者らは、導出した条件がこの閉鎖条件を補完するものであることを示唆している。

意義と主張
本論文は、拡張時空理論における局所対称性の整合条件について、より根本的な理解を提供すると主張している。一貫性の負担を「場」から「変換パラメータ」へと移すことで、拡張座標がセクション条件によって自明化されることなく、その物理的な重要性（非摂動的な対象に関連する）を保持できると著者らは主張している。

著者らは、自身の知見の範囲について謙虚な姿勢を示している：

• 彼らは、これらの結果を低レベルにおける線形化された運動方程式に対してのみ確立した。
• 彼らは、$E$ 理論の完全な非線形条件をまだ導出しておらず、標準的な物理学からのこのような急進的な脱却において「進むべき正しい道」を見つけることは困難であることを認めている。
• 彼らは新しい応用や実験的テストを提案するのではなく、$E$ 理論およびシーゲル理論の整合条件に対する理論的な洗練を目的としている。

要約すると、本論文は、ダブル・フィールド理論や関連する文脈で普遍的に用いられている「セクション条件」は、パラメータではなく場に対して制約を課すことによって生じる人工物である可能性があり、代わりにパラメータの拡張座標への依存性を制限することによって、一貫した局所対称性を達成できると論じている。