[論文レビュー] Rigid Surface Operators

Sergei Gukov, Edward Witten|ArXiv.org|Apr 9, 2008

Black Holes and Theoretical Physics参考文献 18被引用数 22

ひとこと要約

本稿は、連続的パラメータに依存しない、${\cal N}=4$超ヤン・ミルズ理論における剛体半BPS表面演算子を導入し、従来のパラメータ依存型表面演算子とは対照的に述べている。著者らはゲージ群の軌道を用いて明示的な例を構成し、$S$-dualityにおけるその振るまいを分析した。その結果、幾何的量子化や正規直交群とシミレティック群の間の双対性との深い関係を示唆する部分的な一致が得られたが、完全な双対性像はまだ明らかでない。

ABSTRACT

Surface operators in gauge theory are analogous to Wilson and 't Hooft line operators except that they are supported on a two-dimensional surface rather than a one-dimensional curve. In a previous paper, we constructed a certain class of half-BPS surface operators in N=4 super Yang-Mills theory, and determined how they transform under S-duality. Those surface operators depend on a relatively large number of freely adjustable parameters. In the present paper, we consider the opposite case of half-BPS surface operators that are ``rigid'' in the sense that they do not depend on any parameters at all. We present some simple constructions of rigid half-BPS surface operators and attempt to determine how they transform under duality. This attempt is only partially successful, suggesting that our constructions are not the whole story. The partial match suggests interesting connections with quantization. We discuss some possible refinements and some string theory constructions which might lead to a more complete picture.

研究の動機と目的

• ${\cal N}=4$超ヤン・ミルズ理論における『剛体』、つまり連続的パrameterに依存しない半BPS表面演算子を特定・構成すること。
• このような剛体表面演算子が、$SO(2N+1)$ および $Sp(2N)$ のような双対ゲージ群の文脈で $S$-duality にどのように変換されるかを理解すること。
• 観察された部分的双対性一致が、幾何的量子化や量子不変性とのより深い関係を示唆するかを探索すること。
• 定義表現における行列実現を用いて、双対リ代数${\frak{so}}(2N+1)$ と ${\frak{sp}}(2N)$ の不変多項式および根系を比較すること。
• コンformal不変性の確認と、弦理論による可能性のある改良を含め、現在の構成の完全性を評価すること。

提案手法

• ゲージ群 $G$ の特定の軌道に結びついた、${\mathbb R}^4$ 内の2次元表面 $D \subset \mathbb{R}^4$ 沿いのゲージ場の特異性を要求することで、剛体表面演算子を構成する。
• リ代数${\frak{sp}}(2N)$ および ${\frak{so}}(2N+1)$ の $2N$ 次元および $(2N+1)$ 次元表現における行列実現を用い、指定された特異性によって表面演算子を定義する。
• 両代数のカルタン部分代数を対角行列として定義し、それらのカルタン部分代数の自然な同型写像を可能にする。
• 共有される固有値構造を用いて、${\frak{sp}}(2N)$ から ${\frak{so}}(2N+1)$ への不変多項式 $\mathrm{Tr}(\varphi^k)$ の写像を定義する。
• $G \leftrightarrow {}^L\!G$ の交換に伴う表面演算子データ（例：モノドロミー、量子数）の比較を通じて $S$-duality を分析する。特に $SO(2N+1)$ と $Sp(2N)$ の場合を対象とする。
• Dブレーン配置などの弦理論的構成を用いて、場の理論的結果を補完・精緻化し、特に conformal 不変性の観点から支援する。

実験結果

リサーチクエスチョン

• RQ1 ${\cal N}=4$ SYMにおける剛体半BPS表面演算子は $S$-duality にどのように変換され、このような演算子に対する正確な双対写像は何か？
• RQ2 $SO(2N+1)$ と $Sp(2N)$ の表面演算子間で観察された部分的双対性一致が、完全な双対性予想に拡張可能か？
• RQ3 幾何的量子化は、剛体表面演算子の構成において観察された部分的双対性一致を説明する役割を果たすか？
• RQ4 自然なカルタン部分代数同型写像のもとで、双対リ代数${\frak{so}}(2N+1)$ と ${\frak{sp}}(2N)$ の不変多項式はどのように関係するか？
• RQ5 構成された剛体表面演算子は conformally 不変か？ これは量子力学的にあるいは弦理論によって確立可能か？

主な発見

• 剛体半BPS表面演算子は、特定のゲージ群の軌道に結びついた、パrameterフリーな最小の演算子として構成され、${\frak{sp}}(2N)$ および ${\frak{so}}(2N+1)$ の定義表現における明示的な行列実現が与えられた。
• ${\frak{sp}}(2N)$ および ${\frak{so}}(2N+1)$ のカルタン部分代数は対角行列として実現され、それらの自然な同型写像が得られ、不変多項式 $\mathrm{Tr}(\varphi^k)$ の両代数間への写像が可能になった。
• $SO(2N+1)$ と $Sp(2N)$ の表面演算子間で $S$-duality の振るまいに部分的な一致が得られ、双対性関係が示唆されたが、完全な予想はまだ完成していない。
• 構成は古典的に明示的に conformally 不変であり、量子的 conformal 不変性が予想され、一部のケースでは弦理論的構成によって確認された。
• $B_N$ および $C_N$ 根系の双対性パターンは、一方の代数のコルートが他方の代数の根に比例することを示しており、観察された双対性一致の背後にある深い対称性を示唆している。
• 著者らは現在の構成における制限を特定し、双対性像を完成させるために、さらなる改良と弦理論によるさらなる探求の必要性を示唆した。