M5 brane to D4 brane via cyclification of rational relative 3-cohomotopy

技術的要約：有理相対3-コホモトピーのサイクリフィケーションによるM5ブレーンからD4ブレーンへの移行

問題提起
本論文は、弦理論におけるブレーンのグローバルな場の内容およびフラックス量子化則の定義を理解するという課題に取り組んでいる。具体的には、M理論におけるM5ブレーンから、円環縮約（circle reduction）を経たタイプIIA弦理論におけるD4ブレーンへの移行に焦点を当てている。「仮説H」は、M理論の電荷が4-コホモトピー（4次元球面 $S^4$ への写像）において量子化されていると仮定しており、M5ブレーンは四元数ホップファイブレーション（$S^7 \to S^4$）を含む相対コホモロジー論によって記述される。一方で、D4ブレーンのワールドボリュームに関する対応する非アーベル・コホモロジー論は、有理レベルにおいて未だ完全には確立されていない。著者らは、第一原理（ワールドボリューム作用）からD4ブレーンのビアンキ恒等式および運動方程式を導出し、それらが、M5ブレーンの相対3-コホモトピーのサイクリフィケーション（ループ空間縮約）から得られる代数的構造と一致することを証明することを目的としている。

手法
本論文は、超重力作用からの物理的な導出と、有理ホモトピー論からの代数的な導出を比較するという、二重のアプローチを採用している。

1. ワールドボリューム作用の解析 (セクション2):

   • 著者らは、タイプIIA弦理論におけるアベリアンD4ブレーンの運動方程式およびビアンキ恒等式を再導出する。
   • ディラック・ボルン＝インフェルド（DBI）作用およびチャーン・サイモンズ（CS）作用から出発する。
   • 結合された作用におけるワールドボリュームのゲージ場 $A$ に関して変分を行うことにより、非線形運動方程式を導出する。
   • 時空のフラックス（RRフラックス $F_4, F_2$ および NS-NS フラックス $H_3$）によってソースされるビアンキ恒等式と一致させるために、DBI行列式の級数展開を明示的に扱い、電場強度の非線形項を特定する。
   • M5ブレーンのワールドボリューム理論（3形式 $H_3$ とバルクフラックス $G_4$ を円環に沿って分解する）の次元縮約を行い、D4ブレーンの変数との対応関係を確立する。

2. 有理ホモトピー論とサイクリフィケーション (セクション3):

   • 著者らは、フラックス量子化をモデル化するために、有理ホモトピー論、特にチェバレー・アイレンベルク（CE）代数を利用する。
   • M理論のビアンキ恒等式（$dG_4=0, dG_7 = -\frac{1}{2}G_4 \wedge G_4$）を符号化する、$S^4$ の有理ホモトピー型のCE代数から出発する。
   • 四元数ホップファイブレーション（$S^7 \to S^4$）の有理ホモトピー型のサイクリフィケーション（自由ループ空間を $S^1$ で割ったもの）のCE代数を計算する。これは、11次元時空の電荷の上にファイバー化されたM5ブレーンを表している。
   • この相対CE代数に対する $S^1$ 作用によるホモトピー商を取ることで、「二重次元縮約」を適用する。
   • 得られた代数的構造は、10次元タイプIIA時空およびD4ワールドボリューム上の微分形式へと写像される。

主要な貢献と結果

• D4ビアンキ恒等式の導出: 著者らは、D4ブレーンのワールドボリュームに関する完全な非線形ビアンキ恒等式を再導出することに成功した。これにより、運動方程式 $d(\ast_5 G) = -(\phi^* F_4 + \phi^* F_2 \wedge F)$ が、DBIおよびCS作用の変分から自然に生じることを示している。
• 代数的整合性: 著者らは、物理的なワールドボリューム作用から導かれるビアンキ恒等式と、サイクリフィケーションされた相対3-コホモトピー（$CE(l(LS^7/S^4 \times S^1))$）のCE代数から得られる微分関係との間に、精密な同型が存在することを実証した。
  • 具体的には、サイクリフィケーションされた代数における生成子 $h_2$ はD4ワールドボリュームの電場強度 $F$ に、$h_3$ は双対電場強度 $f_3 \sim \ast_5 G$ に写像される。
  • 代数における微分 $d_{cyc} h_3 = g_4 + \omega_2 h_2$ は、ソースされたビアンキ恒等式 $d(\ast_5 G) = -(\phi^* F_4 + \phi^* F_2 \wedge F)$ と正確に一致する。
• 新しいコホモロジー論の提案: この正確な一致に基づき、著者らは有理相対非アーベル・コホモロジー論を提案している。この理論は、D4ワールドボリュームがタイプIIA時空のフラックスの上にファイバー化されたものとして定義される。
  • 決定的なことに、著者らは、有理レベルにおいて、基底となる時空フラックスが（ねじれたK理論 $KU^0 \times BU(1)$ ではなく）$S^4$ のサイクリフィケーション（$LS^4 \times S^1$）によってモデル化されることを明記している。
  • D4ブレーンのフラックスは、サイクリフィケーションされた四元数ホップファイブレーションの相対コホモロジーを介して、この基底の上にファイバー化されている。

意義と主張
本論文は、「二つの図式」（物理的なワールドボリューム作用と、サイクリフィケーションの代数的ミニマルモデル）が、有理レベルにおいて正確に写像可能であることを主張している。これは、D4ブレーンのフラックス量子化が、10次元タイプIIA時空の電荷によってねじれた相対非アーベル・コホモロジー論によって支配されているという強力な証拠となる。

著者らは、この導出には有理的な図式で十分であるが、この相対コホモロジーの物語の整数的なリフト（integral lift）は依然として未解決の課題であると述べている。彼らは整数的なケースを解決したと主張しているのではなく、ここで確立された有理的な枠組みが、そのようなリフトのための必要な基礎となることを示唆している。本研究は、フラックス量子化則やビアンキ恒等式を非アーベル・コホモロジーを通じて捉えることで、非摂動的な現象や強結合系を理解するための一歩として提示されている。