[論文レビュー] Parallel surface defects, Hecke operators, and quantum Hitchin system

Saebyeok Jeong, Norton Lee+1 more|arXiv (Cornell University)|Apr 10, 2023

Black Holes and Theoretical Physics被引用数 7

ひとこと要約

本稿は、$\mathbb{C}^2$ 上の $\varepsilon$-変形 $\chi$-ねじれ $\mathcal{N}=2$ ゲージ理論を用いて、幾何学的ラングランズ対応のゲージ理論的実現を確立する。正則なモノドロミー表面的欠陥が $\mathrm{Bun}_{G_{\mathbb{C}}}$ 上のねじれた $\mathcal{D}$-加群を生成すること、また、標準的表面的欠陥がヘッケ作用素として機能することを示す。$\varepsilon_2 \to 0$ の極限において、正則な欠陥は固有値がオペルに与えられるヘッケ固有層の性質を満たし、量子ヒチン系のスペクトル方程式を物理的枠組みから導出する。

ABSTRACT

We examine two types of half-BPS surface defects $-$ regular monodromy surface defect and canonical surface defect $-$ in four-dimensional gauge theory with $\mathcal{N}=2$ supersymmetry and $Ω_{\varepsilon_1,\varepsilon_2}$-background. Mathematically, we investigate integrals over the moduli spaces of parabolic framed sheaves over $\mathbb{P}^2$. Using analytic methods of $\mathcal{N}=2$ theories, we demonstrate that the former gives a twisted $\mathcal{D}$-module on $ ext{Bun}_{G_{\mathbb{C}}}$ while the latter acts as a Hecke operator. In the limit $\varepsilon_2 o 0$, the cluster decomposition implies the Hecke eigensheaf property for the regular monodromy surface defect. The eigenvalues are given by the opers associated to the canonical surface defect. We derive, in our $\mathcal{N}=2$ gauge theoretical framework, that the twisted $\mathcal{D}$-modules assigned to the opers in the geometric Langlands correspondence represent the spectral equations for quantum Hitchin integrable system. A duality to topologically twisted four-dimensional $\mathcal{N}=4$ theory is discussed, in which the two surface defects are mapped to Dirichlet boundary and 't Hooft line defect. This is consistent with earlier works on the $\mathcal{N}=4$ theory approach to the geometric Langlands correspondence.

研究の動機と目的

• $\Omega_{\varepsilon_1,\varepsilon_2}$-背景を伴う $\mathcal{N}=2$ ゲージ理論を用いて、幾何学的ラングランズ対応の物理的実現を確立すること。
• $\mathbb{P}^2$ 上のパラボリックフレームド層のモジュライ空間の文脈において、二種類の半ボソン的表面的欠陥（正則なモノドロミー欠陥と標準的欠陥）の役割を明確にすること。
• $\varepsilon_2 \to 0$ の極限において、正則なモノドロミー欠陥が固有値がオペルに一致するヘッケ固有層の性質を満たすことを示すこと。
• ゲージ理論的手法を用いて、オペルに付随するねじれた $\mathcal{D}$-加群から、量子ヒチン可積分系のスペクトル方程式を導出すること。

提案手法

• $\Omega_{\varepsilon_1,\varepsilon_2}$-背景を伴う $\mathcal{N}=2$ ゲージ理論における分配関数および相関関数の解析的計算。
• $\varepsilon_2 \to 0$ の極限を用いて $\mathcal{N}=(2,2)$ スーパーシンメトリーを回復し、2次元トポロジカル場理論を回復すること。
• クラスタ分解を介して、正則なモノドロミー表面的欠陥を $\mathrm{Bun}_{G_{\mathbb{C}}}$ 上のねじれた $\mathcal{D}$-加群に同定すること。
• 演算子積展開およびノルム状態解析を用いて、標準的表面的欠陥を真空空間上のヘッケ作用素に写像すること。
• $\mathcal{W}$-代数のフォック空間におけるノルム状態条件の導出により、固有値および固有状態を抽出すること。
• 1次ノルム状態を整理する生成関数 $|\Sigma(\mathbf{x})\rangle$ の構成を行い、それらをヘッケ作用素の作用に関連付けること。

実験結果

リサーチクエスチョン

• RQ1 $\Omega_{\varepsilon_1,\varepsilon_2}$-背景を伴う $\mathcal{N}=2$ ゲージ理論における正則なモノドロミー表面的欠陥は、どのように $\mathrm{Bun}_{G_{\mathbb{C}}}$ 上のねじれた $\mathcal{D}$-加群を実現するか？
• RQ2 標準的表面的欠陥は $\mathcal{N}=2$ フレームワークにおいて果たす役割は何か？ また、どのようにヘッケ作用素として作用するか？
• RQ3 $\varepsilon_2 \to 0$ の極限は、正則なモノドロミー欠陥がヘッケ固有層の性質をどのように実現するか？
• RQ4 標準的欠陥から生じるオペルと、量子ヒチン系のスペクトル方程式との関係は何か？
• RQ5 ゲージ理論的枠組みによる $\mathcal{W}$-代数およびそのノルム状態の構成は、幾何学的ラングランズ対応をどのように再現するか？

主な発見

• 正則なモノドロミー表面的欠陥は、$\varepsilon_2 \to 0$ の極限における解析的計算により、$\mathrm{Bun}_{G_{\mathbb{C}}}$ 上のねじれた $\mathcal{D}$-加群を生成することが示された。
• 標準的表面的欠陥はヘッケ作用素として作用し、その作用は $\mathcal{W}$-代数のフォック空間におけるノルム状態条件に符号化されている。
• $\varepsilon_2 \to 0$ の極限において、正則なモノドロミー欠陥はヘッケ固有層の性質を満たし、固有値は標準的欠陥に付随するオペルによって与えられる。
• ヘッケ作用素の固有値は、標準的欠陥から構成されたオペルによって与えられ、オペルと量子スペクトルデータの間の対応が確認された。
• 量子ヒチン可積分系のスペクトル方程式は、オペルに付随するねじれた $\mathcal{D}$-加群から、ゲージ理論的枠組みを介して導出された。
• ノルム状態方程式の解は $\sigma = k$ を要請し、それにより得られる1次ノルム状態は、$J^{a}_{b}$-カレントおよびフォック状態係数を用いて明示的に構成された。