[論文レビュー] VOA[M4]

Boris Feigin, Sergei Gukov|arXiv (Cornell University)|Jun 7, 2018

Geometric and Algebraic Topology被引用数 7

ひとこと要約

本稿では、滑らかな4次元多様体と頂点演算子代数（VOA）の間の新規な対応を提案する。ここで、4次元多様体におけるトポロジー的演算（例えば、スケールや接合）が、VOAにおける代数的演算に対応する。主な貢献は、4次元多様体とADE型のルート系によってラベル付けられたVOAの構成であり、同じ多様体の異なるトポロジー的構成（例えば、キリーマーモーブや異なるトライセクション）に対応するVOAの同型が得られ、ナカジマの瞬間子モジュライ空間に関する研究を一般化する。

ABSTRACT

We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras.

研究の動機と目的

• 4次元多様体におけるトポロジー的演算（例えば、スケール、接合、トライセクション）と頂点演算子代数（VOA）における代数的演算との間の辞書を確立すること。
• ADE型のリー代数 $\frak{g}$ を用いて、滑らかな4次元多様体 $M_4$ に付随するVOAを定義し、ALE空間に対するナカジマの構成を一般化すること。
• 同じ4次元多様体の同値なトポロジー的構成（例えば、キリーマ移動や異なるトライセクション）が、同型なVOAをもたらすことを示し、トポロジー的双対性を代数的に実現すること。
• VOA$[M_4]$ に関連する多様体の幾何的・物理的解釈を、特に2次元 ${\mathcal{N}}=(0,2)$ 理論とヒッグス枝幾何と関連して探求すること。

提案手法

• 4次元多様体 $M_4$ 上の $G$-瞬間子のモジュライ空間、またはバーファ＝ウイッテン方程式の解のモジュライ空間のコホモロジーとして $\text{VOA}[M_4]$ を構成し、フローアー homology を分類的コホモロジー理論として用いる。
• $\mathbb{R} \times M_4$ 上のバーファ＝ウイッテン方程式を用いて、フローアー複体を定義し、そのホモロジーがバーファ＝ウイッテン不変量を分類的に記述し、VOA 構造の候補を提供する。
• BRST簡約と拡張を用いて、特に $M_4$ 上のプラミンググラフやトーリック構造を介した接合操作をモデル化する。
• 4次元多様体のトライセクションと2次元 ${\mathcal{N}}=(0,2)$ 理論との対応を用い、$T[M_4]$ 構成を介して2次元ディスク振幅を4次元に持ち上げる。
• $C_2$-代数 $\mathcal{R}_{\mathcal{V}} = \mathcal{V}/C_2(\mathcal{V})$ を用いて、関連多様体 $X_{\mathcal{V}} = \text{Spec}((\mathcal{R}_{\mathcal{V}})_{\text{red}})$ を定義し、VOA をシンプレクティック幾何学とヒッグス枝と結びつける。
• 特に $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ および $G=SU(2)$ の場合、関連多様体 $X_{\mathcal{V}}$ が $\mathfrak{so}(8)$ の最小ノンアーブル軌道の閉包に一致し、既知のヒッグス枝幾何と一致する。

実験結果

リサーチクエスチョン

• RQ1 4次元多様体におけるスケールや接合などのトポロジー的演算が、頂点演算子代数における代数的演算としてどのように体系的に反映されるか。
• RQ2 一般の滑らかな4次元多様体 $M_4$ に対して、VOA $\text{VOA}[M_4]$ の明確な代数的構造は何か。また、ADE型のリー代数 $\frak{g}$ の選択にどのように依存するか。
• RQ3 VOA$[M_4]$ の関連多様体は、2次元 ${\mathcal{N}}=(0,2)$ 理論や4次元 ${\mathcal{N}}=2$ 理論のヒッグス枝として幾何学的に解釈可能か。
• RQ4 同じ4次元多様体の異なるトポロジー的構成（例えば、異なるトライセクションやキリーダイアグラム）が、同型なVOAをもたらす仕組みは何か。また、これは4次元TFTにおける双対性に何を意味するか。

主な発見

• VOA $\text{VOA}[M_4]$ は、$M_4$ 上のバーファ＝ウイッテン方程式の解のモジュライ空間のコホモロジーとして構成され、フローアー homology が分類的不変量を提供する。
• $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ および $G=SU(2)$ の場合、VOA$[M_4]$ の関連多様体 $X_{\mathcal{V}}$ は $\mathfrak{so}(8)$ の最小ノンアーブル軌道の閉包に一致し、対応する4次元 ${\mathcal{N}}=2$ 理論のヒッグス枝と一致する。
• 同じ4次元多様体の異なるトポロジー的構成（例えば、単純なキリーマ移動や異なるトライセクション）に対応するVOAの同型が生じ、代数的構造とトポロジー的構造の間の双対性を示す。
• $\text{VOA}[M_4]$ の $C_2$-代数 $\mathcal{R}_{\mathcal{V}}$ は関連多様体 $X_{\mathcal{V}}$ を決定し、$M_4$ がケーラー計量を持つ場合、$X_{\mathcal{V}}$ は正則シンプレクティック構造を持つ。これは、2次元理論 $T[M_4]$ における拡張された超対称性との関連を示唆する。
• 本構成は、ALE空間に対するナカジマの研究を任意の4次元多様体へ一般化する。VOAは、$M_4$ 内の曲線に沿ったゲージバンドルのヘッケ変形によって生成される。