Topological 8d $\mathcal{N}=1$ Gauge Theory: Novel Floer Homologies, and $A_\infty$-categories of Six, Five, and Four-Manifolds

技術要約：トポロジカルな8次元 $N=1$ ゲージ理論：新規なフローホモロジー、および6、5、4次元多様体の $A_\infty$-圏

問題設定
本研究は、4、5、6、7次元の多様体に関連する、数学的に予想されている様々なフローホモロジーおよび $A_\infty$-圏の物理的な導出と圏化（categorification）に対処するものである。具体的には、以下の事項に関する予想に対する物理的な証明を目的としている：

1. ゲージ論的フローホモロジー： 6次元多様体のドナルドソン・トーマス（DT）フローホモロジー、5次元多様体のヘイズ・ウィッテン（HW）フローホモロジー、および7次元多様体の $\text{Spin}(7)$ インスタントン・フローホモロジー。
2. ハイパーケーラーおよびシンプレクティック・フローホモロジー： ハイパーコンタクト3次元多様体に定義されるホモロジー、およびインスタントン・モジュライ空間のシンプレクティック交差フローホモロジーとの関係。
3. 圏化： カラブ・ヤウ（CY）多様体およびその積における構成に関する、フカヤ・サイドル（FS）型の $A_\infty$-圏を圏化するための構築。
4. 双対性： ゲージ論的フローホモロジーとシンプレクティック交差フローホモロジーの間の、アティヤ・フロー型の双対性の確立。

これらの構造は、ドナルドソン、トーマス、ドナルドソン、シーガル、ホーロッホ、ノエツェル、サラモン、ヘイズ、チェルキスス、およびブスーによって予想または推測されていたが、統一的な物理的導出を欠いていた。

手法
著者らは、$\text{Spin}(7)$ 多様体（$\text{Spin}(7)$ ホロノミーを持つ8次元多様体）上で定義された、トポロジカルにツイストされた8次元 $N=1$ ゲージ理論を用いる。核となる手法は以下の通りである：

• 次元およびトポロジカルな簡約： 円周（$S^1$）に沿ったカルツァ＝クライン（KK）簡約、およびカラブ・ヤウ曲面（$CY_2$）に沿ったトポロジカルな簡約を8次元理論に適用し、低次元（7、6、5、4次元）の有効理論を導出する。
• 超対称量子力学（SQM）解釈： 簡約された理論を、ゲージ接続または写像の無限次元空間上の1次元SQMモデルとして再構成する。これらのSQMの分配関数は、臨界点の和として解釈され、物理的にフローホモロジー群を実現する。
• ランダウ＝ギンツブルグ（LG）モデル： $\mathbb{R}^2$ 因数を持つ多様体（例：$CY_3 \times \mathbb{R}^2$）を考えることで、理論を2次元ゲージLGモデルとして再構成する。これにより、分配関数をソリトン・ストリングのツリーレベルの散乱振幅の和として解釈することが可能となり、$A_\infty$-圏を実現する。
• テュリン退化（Tyurin Degeneration）： 双対性を確立するために、著者らは$CY_2$曲面に沿ったカラブ・ヤウ3次元多様体（$CY_3$）のテュリン退化を行い、$\text{Spin}(7)$ 多様体を分割することで、ゲージ論的構成とシンプレクティック交差データを関連付ける。

主要な貢献および結果

1. 新規なフローホモロジー：

   • 7次元多様体： $G_2$ 多様体に対する $\text{Spin}(7)$ インスタントン・フローホモロジーを定義した。鎖（chains）は、時間不変な$G_2$インスタントン構成によって生成され、微分はチェルン・サイモンズ型の汎関数の勾配フローによって与えられる。これはドナルドソン・トーマスの予想に対する物理的証明を提供する。
   • 6次元多様体： カラブ・ヤウ3次元多様体（$CY_3$）に対する 正則$G_2$モノポール・フローホモロジーを定義した。これは、非ゼロの実スカラー場（カラブ・ヤウ・モノポール）を含むことでドナルドソン・シーガルの予想を一般化するものである。スカラーがゼロの場合、正則ベクトル束のケースに回帰する。
   • 5次元多様体： $CY_2 \times S^1$ に対する 正則ドナルドソン・トーマス・フローホモロジーを定義した。鎖は、一つの成分の自己双対2形式が消滅する、時間不変なヘイズ・ウィッテン構成によって生成される。
   • ハイパーケーラー／シンプレクティック・ホモロジー： $CY_2$ のインスタントン・モジュライ空間へ写すハイパーコンタクト3次元多様体（$HC_3$）によって指定される ハイパーケーラー・フローホモロジーを定義した。特定のケース（$HC_3 = T^3, I \times T^2, I \times S^1 \times \mathbb{R}$）は、それぞれトリプル・ループ空間、ダブル・ループ空間、およびインスタントンのパス空間におけるシンプレクティック交差フローホモロジーと等価であることを示した。

2. アティヤ・フロー型の双対性：

   • $CY_3 \times S^1$ に対する $\text{Spin}(7)$ アティヤ・フロー双対性を確立し、ゲージ論的な$\text{Spin}(7)$ インスタントン・フローホモロジーが、$CY_2$ 上のインスタントンのダブル・ループ空間のシンプレクティック交差フローホモロジーと等価であることを示した。
   • $CY_3$ に対する 7次元-$\text{Spin}(7)$ アティヤ・フロー双対性を導出し、正則$G_2$ モノポール・フローホモロジーを、ループ空間のインスタントンのシンプレクティック交差フローホモロジーに関連付けた。

3. フカヤ・サイドル型の $A_\infty$-圏：

   • $CY_3$（6次元多様体）に対する FS型の $A_\infty$-圏を構築した。その対象（objects）は $\theta$ 変形されたDT構成（正則ベクトル束）である。射（morphisms）は、交差するチンブル（ソリトン）のフローホモロジー類として特定される。
   • $CY_2 \times S^1$（5次元多様体）に対する FS型の $A_\infty$-圏を構築し、HW構成を圏化した。
   • $CY_2$（4次元多様体）に対する FS型の $A_\infty$-圏を構築し、Vafa-Witten（VW）構成を圏化した。
   • $\mathbb{R}^2$ 上の各ゲージ理論の正規化された分配関数が、ソリトン・ストリングのツリーレベルの散乱振幅の和に対応し、$A_\infty$ 構成写像を定義することを示した。

4. 圏化スキーム：

   • $D$次元多様体 $M_D$ 上の構成が、$M_D \times \mathbb{R}$ 上のゲージ理論によって実現される 0-圏（フローホモロジー）に関連付けられるという体系的なスキームを提案した。
   • これは、$M_D \times \mathbb{R}^2$ 上のゲージ理論によって実現される 1-圏（FS型 $A_\infty$-圏）へと圏化される。
   • 著者らは、これが $M_D \times \mathbb{R}^3$ 上のゲージ理論を介した 2-圏（Fueter型）へと拡張可能であることを示唆しており、圏的な構造の階層を提供している。

5. 予想に対する物理的証明：

   • ドナルドソン、トーマス（$\text{Spin}(7)$ インスタントン・フローホモロジー）、ドナルドソン、シーガル（DTフローホモロジー）、チェルキス（オクトニオン・モノポールによる実フローホモロジー）、ホーロッホ、ノエツェル、サラモン（ハイパーケーラー・フローホモロジー）、サラモン（アティヤ・フロー類似性）、ヘイズ（正則ベクトル束のFS型 $A_\infty$-圏）、およびブスー（ラグランジアンのHom-圏と$G_2$ インスタントン・フローホモロジーの対応）の各予想に対して、物理的な証明を提供した。

意義
本論文は、これらの数学的に予想された構造の存在を証明するだけでなく、それらを（例えば $\theta$ 変形や非ゼロのスカラー場を通じて）一般化する、統一された物理的枠組みを提供することを主張している。ゲージ理論をSQMおよびLGモデルとして解釈することにより、著者らはゲージ論的な不変量、シンプレクティック不変量、および高次の圏的構造を結びつける「関係の網」を確立している。$\text{Spin}(7)$ 理論におけるトポロジカルな不変性が、これらの双対性と圏化を自然に導くことを本研究は示しており、低次元トポロジーおよび代数幾何学における深い数学的構造の物理的実現を提供している。これらの結果は、先行研究 [1] の一般化として提示されており、高次元ゲージ理論とフローホモロジーの圏化との間の架け橋となるものである。