[論文レビュー] Donaldson Invariants and Their Generalizations from AKSZ Topological Field Theories

Noriaki Ikeda|arXiv (Cornell University)|Apr 12, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

本稿は、3次元のQP多様体に基づく4次元のAKSZ型トポロジカル場理論（TFT）を用いて、ドナルドソン多項式不変量およびその一般化を構成する。観測代数に由来する複数のQ構造から生じる三重複体構造を活用することで、不変量をコホモロジー類として導出し、BF理論とトポロジカルヤンミルズ理論をAKSZフレームワーク内で統一するとともに、ドナルドソン不変量をリー代数ダルや高次ホモトピー代数へと拡張する。

ABSTRACT

Observable structures of a topological field theory of AKSZ type are analyzed. From a double (or multiple) complex structure of observable algebras, new topological invariants are constructed. Especially, Donaldson polynomial invariants and their generalizations are constructed from a topological field theory of AKSZ type in 4 dimensions recently proposed.

研究の動機と目的

• 4次元におけるAKSZトポロジカル場理論フレームワークを用いてドナルドソン多項式不変量を一般化すること。
• 複数の複体構造（Q構造由来）を有するAKSZ TFTの観測代数を分析すること。
• BF理論とトポロジカルヤンミルズ理論を、3次元QP多様体上の1つのAKSZ TFTの特殊ケースとして統一すること。
• コホモロジー的構成を用いてドナルドソン不変量をリー代数ダルやホモトピー代数ダルへと拡張すること。
• 一般化された不変量を定義する三重複体構造を観測代数に確立し、標準的コホモロジー類を超える不変量を可能にする。

提案手法

• 3次元QP多様体から得られるAKSZ構成を用いて、導来括弧形式を介して位相的不変量を符号化するTFTを構築する。
• 観測代数に二重または多重複体構造を適用し、可換なホモロジー的ベクトル場 $\hat{D}$, $\check{Q}$ および追加の微分作用素から導出する。
• ゲージ固定手順を用いて、重み付き多様体上の導来ラグランジアンの積分によりAKSZ TFTの作用を構成し、トポロジカルヤンミルズ理論およびBF理論の極限を得る。
• リー代数ダル $E$ に対して、$T^*[3]E[1]$ 上のQ構造 $\Theta$ を $\Theta = \theta_{123}$ として構成し、チェバレフ＝アイレンバーグ微分を符号化する。
• 三つの可換微分 $\mathbf{Q}_0$, $\mathbf{Q}_{13}$, $\mathbf{Q}_2$（または $\mathbf{Q}_4$）により三重複体を導入し、$\mathbf{Q}_k^2 = 0$ および $k \neq l$ のとき $[\mathbf{Q}_k, \mathbf{Q}_l] = 0$ を満たすようにする。
• 不変量を $\mu_*\mathcal{W}$ として定義し、$\mathcal{W}$ を $\mathbf{Q}_{\text{int}}$-閉な観測量とする。ここで $\mu_*$ は基底多様体 $\mathcal{X}$ 上での積分を表す。

実験結果

リサーチクエスチョン

• RQ1 4次元のAKSZ型トポロジカル場理論から、ドナルドソン多項式不変量を体系的に導出する方法は何か？
• RQ2 観測代数に現れる複数の複体構造（三重複体）が、一般化された不変量の構成に果たす役割は何か？
• RQ3 BF理論とトポロジカルヤンミルズ理論は、3次元QP多様体上の1つのAKSZ TFTにおいてどのように特殊ケースとして現れるか？
• RQ4 コホモロジー的手法を用いて、ドナルドソン不変量の構成をリー代数ダルやホモトピー代数ダルへと拡張できるか？
• RQ5 $\theta_2 = 0$ および $\theta_4 = 0$ の場合が、三重複体構造の実現と高次不変量の定義に果たす意義は何か？

主な発見

• ドナルドソン多項式不変量は、4次元AKSZ TFTの観測代数に現れる三つの可換微分 $\mathbf{Q}_0$, $\mathbf{Q}_{13}$, $\mathbf{Q}_2$ からなる三重複体のコホモロジー類として構成される。
• 3次元QP多様体上のAKSZ TFTは、異なるゲージ固定選択によりBF理論とトポロジカルヤンミルズ理論を特殊ケースとして統一する。
• 一般化されたドナルドソン不変量は $\mu_*\mathcal{W}_2$ として定義され、$\mathcal{W}_2 = (\mathbf{Q}_2\mathbf{q}, \mathbf{Q}_2\mathbf{q})$ であり、これは $\mathbf{Q}_{\text{int}}$-閉であり、リー代数ダル設定においてコホモロジー類を生成する。
• $\theta_2 = 0$ の場合、$\mathbf{Q}_0^2 = \mathbf{Q}_{13}^2 = \mathbf{Q}_4^2 = 0$ かつ対ごとの可換関係が成り立つ三重複体が実現され、高次不変量が可能になる。
• 不変量 $\mathcal{W} = \mathbf{Q}_4(\frac{1}{4}\mathbf{p}_a\mathbf{q}^a)$ は $\int_\mathcal{X} \mu \mathcal{W} \in H^4_{\text{dR}}(\bigwedge^\cdot E^*, \delta)$ を与え、$\theta_2 = 0$ の場合のQP構造を分類する。
• この構成により、$\mathcal{M}$ が3次元のQP多様体である空間 $\mathcal{X} \to \mathcal{M}$ 上の写像空間における $\mathbf{Q}$-コホモロジー類として、不変量のコホモロジー的実現が得られる。