[論文レビュー] The Partition Function Of Argyres-Douglas Theory On A Four-Manifold

Gregory W. Moore, Iurii Nidaiev|arXiv (Cornell University)|Nov 25, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 34被引用数 11

ひとこと要約

本稿は、$b_2^+ > 0$ を満たすコンpakto、向き付け可能、単連結な4次元多様体上におけるトポロジカルにねじれたAD3（アーギレス＝ダウグラー）理論の分配関数に対して、明示的な公式を導出する。この導出は $u$-平面統合の手法を用いる。結果として得られる分配関数は、古典的コhomological不変量とセイバーグ・ウィッテン不変量の形で表され、Seiberg-Witten単純型の多様体上では $0$-観測量がゼロベクトルとして作用することを示唆しており、非単純型標準4次元多様体の存在可能性を示唆している。

ABSTRACT

Using the $u$-plane integral as a tool, we derive a formula for the partition function of the simplest nontrivial (topologically twisted) Argyres-Douglas theory on compact, oriented, simply connected, four-manifolds without boundary and with $b_2^+>0$. The result can be expressed in terms of classical cohomological invariants and Seiberg-Witten invariants. Our results hint at the existence of standard four-manifolds that are not of Seiberg-Witten simple type.

研究の動機と目的

• コンパクトで向き付け可能かつ単連結な4次元多様体（$b_2^+ > 0$）上におけるトポロジカルにねじれたAD3理論の分配関数を計算すること。
• この分配関数が、古典的およびセイバーグ・ウィッテン不変量を超える新しい4次元多様体不変量を生成するかどうかを特定すること。
• Seiberg-Witten単純型の場合に $0$-観測量がゼロベクトルとして作用する物理的・数学的意味を調査すること。
• $b_2^+ = 1$ の多様体上での分配関数の計量依存性を検討し、トポロジカル不変性の標準的期待と対立すること。
• 分配関数の構造的特徴に基づいて、Seiberg-Witten単純型でない標準4次元多様体の存在を示す証拠を提供すること。

提案手法

• 4次元多様体上におけるAD3理論の分配関数を計算する中心的ツールとして、$u$-平面統合形式を用いる。
• 特殊な真空中 $u_*$ の近傍における特異的振る舞いを取り扱うために、スケーリング極限 $u = u_* + \frac{2}{3}\nu + \nu^{3/2}v$ を適用する。
• $SU(2)$、$N_f=1$ 理論における $m = m_*$ での対応関係を用い、AD3理論への極限操作により分配関数を抽出する。
• 特異点 $u_\pm$ 近傍での $u$ および $du/da$ の振る舞いを、$q_\pm$ を用いた展開で表すために、モジュラー形式とイーゼンスタイン級数を用いる。
• 正則関数の留数計算を用いて、$H(q_\pm)$ と $F_\pm$ を含む有理型形式の積分により、2つの特異点（$+$ および $-$）からの寄与の和として分配関数を導出する。
• 正規化定数 $\mathcal{N}^1_\pm$、$\mathcal{N}^{AD}_\pm$ およびスケーリングパラメータ $n_0$、$n_2$ 間の整合性条件を解くことで、$u$-平面の寄与がAD3理論と一致することを確認し、提案された公式の妥当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 トポロジカルにねじれたAD3理論の4次元多様体上における分配関数は、セイバーグ・ウィッテン不変量および古典的不変量を超える新しい4次元多様体不変量を生成するか？
• RQ2 Seiberg-Witten単純型の場合に $0$-観測量がゼロベクトルとして作用するのはなぜか？ これは理論の構造にどのような意味を持つのか？
• RQ3 Seiberg-Witten単純型でない標準4次元多様体は存在するのか？ その存在を支持する証拠は何か？
• RQ4 なぜ分配関数が $b_2^+ = 1$ の多様体上で微分同相不変量でないのか？ これはトポロジカル場理論にどのような意味を持つのか？
• RQ5 $u$-平面統合手法を、1次元のクーロン枝を持つ他の非ラグランジュ的 $N=2$ 理論へ体系的に拡張できるか？

主な発見

• $b_2^+ > 0$ を満たす4次元多様体上におけるトポロジカルにねじれたAD3理論の分配関数は、モジュラー形式と留数積分を用いて、$u$-平面内2つの特異点からの寄与の和として表現される。
• この公式は、古典的コhomological不変量とセイバーグ・ウィッテン不変量のみに依存しており、この理論が新たな不変量を生成しないことを示唆している。
• Seiberg-Witten単純型の多様体上では、分配関数は式 (55) に簡略化され、$0$-観測量がゼロベクトルとして作用し、相関関数が消える。
• $b_2^+ = 1$ の場合、分配関数は計量に連続的に依存するため、微分同相不変量ではない。これは、標準的なトポロジカル場理論のパラダイムに反する。
• $u$-平面とAD3理論の結果の整合性は、正規化定数とスケーリングパラメータ間の4つの一致条件を解くことで確認され、導出された関係式 (152) の下ですべての条件が満たされている。
• 分配関数の $u$-平面寄与における $\mu^{3/2}$-依存性を持つ位相の非自明性は、モジュラー形式とクーロン枝の幾何学的性質との間の微妙な相互作用を示唆している。