[論文レビュー] Classification of 4d N=2 gauge theories

Lakshya Bhardwaj, Tachikawa, Yuji|arXiv (Cornell University)|Sep 20, 2013

Black Holes and Theoretical Physics参考文献 20被引用数 38

ひとこと要約

この論文は、半単純なゲージ群とハイパーマトリックスを備えた4次元 $χ=2$ でUV完全なゲージ理論を分類し、それらが3つのカテゴリーに分かれるのを示している：単純なゲージ群、三重ファンクターマトリックスを伴う $\mathrm{SU}(2)^n$、または木構造または単一のループであるグラフを持つクイバー理論。主な結果は、有限でアルゴリズム的に列挙可能な分類であり、Seiberg-Witten解の明示的基準と、2017年7月現在の既知の解への参照を提供している。

ABSTRACT

We classify all possible four-dimensional N=2 supersymmetric UV-complete gauge theories composed of semi-simple gauge groups and hypermultiplets. We also give appropriate references for all theories with known Seiberg-Witten solutions.

研究の動機と目的

• 4次元 $\mathcal{N}=2$ UV完全なゲージ理論を、半単純なゲージ群とハイパーマトリックスから構成する完全な分類を提供すること。
• これらの理論の中で、既知のSeiberg-Witten解を有するものと、2017年7月現在の文献への参照を整理すること。
• 関連するクイバー図形（ノードがゲージ群、エッジがハイパーマトリックス）の構造的制約を特定し、それらが木構造または単一のループに限られることを示すこと。
• すべてのこのような理論を体系的に列挙するためのアルゴリズムを構築し、Mathematicaによる実装を提供すること。
• 既存の解法手法（例：クラスS、可積分系、ブレーンウェブ構成）の限界を明らかにし、未解決のケースを特定すること。

提案手法

• ノードが単純なゲージ群または $\mathrm{SO}(4)$ であり、エッジがちょうど2つのゲージ群に対して変換する不可約ハイパーマトリックスを表すクイバー図形を構築する。
• 表現論と異常キャンセレーションに基づき、図形構造を単一のループまたは幹とその分岐を有する木構造に分類する。
• UV有限性（漸近的自由性または超共形性）の条件を適用して、許容される表現とゲージ群の組み合わせを制限する。
• ディンキン図形およびその一般化の分類を用い、図形が有限またはアフィンディンキン図形に対応する場合、および例外的である場合を特定する。
• 6次元 $\mathcal{N}=(2,0)$ 理論の穴あきリーマン面へのコンパクト化、可積分系、ブレーンウェブ構成などの既知の解法技術を活用し、既に解かれた理論を特定する。
• 再帰的アルゴリズムを用いて、すべての許容されるクイバー構成を生成する。付録としてMathematicaファイルを提供する。

実験結果

リサーチクエスチョン

• RQ1 半単純なゲージ群とハイパーマトリックスを備えた4次元 $\mathcal{N}=2$ ゲージ理論の中で、UV完全であるものはどれか？
• RQ2 このような理論のクイバー図形に課される構造的制約は何か？ そして、それらは完全に列挙可能か？
• RQ3 これらの理論の中で、既知のSeiberg-Witten解を有するものはどれで、未解決のものはどれか？
• RQ4 既存の解法手法（例：クラスS、可積分系）は、UV完全な $\mathcal{N}=2$ 理論の全セットをどの程度カバーしているか？
• RQ5 有限またはアフィンディンキン図形に対応しない理論のうち、有限でアルゴリズム的に列挙可能な族は存在するか？

主な発見

• 半単純なゲージ群とハイパーマトリックスを備えたすべてのUV完全な $\mathcal{N}=2$ ゲージ理論は、正確に3つのクラスに分類される：単純なゲージ群、三重ファンクターマトリックスを伴う $\mathrm{SU}(2)^n$、または木構造または単一のループであるグラフを持つクイバー理論。
• このような理論の関連するクイバー図形は、単一のループまたは幹と分岐を有する木構造に限られ、許容される幹と分岐のタイプは完全に分類されている。
• 有限でもアフィンでもないディンキン図形に対応しない図形を持つ理論は有限個であり、アルゴリズム的に列挙可能である。
• この分類には、6次元 $\mathcal{N}=(2,0)$ 理論を穴あきリーマン面にコンパクト化することで構成されたすべての既知の $\mathcal{N}=2$ 理論（クラスS理論）と、線形な $\mathrm{SO}$–$\mathrm{USp}$ クイバーが含まれる。
• 各理論について、2017年7月現在にSeiberg-Witten解が既知であれば、文献への参照を提供している。残りのケース、特に非ディンキン図形や例外的 $\mathrm{SO}$–$\mathrm{USp}$ 群を有する理論は未解決のままである。
• 著者らは、列挙アルゴリズムを実装したMathematicaファイルを提供しており、このような理論の全セットを体系的かつ包括的に探索可能である。