<p>We examine two types of half-BPS surface defects—regular monodromy surface defect and canonical surface defect—in four-dimensional gauge theory with <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> supersymmetry and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega _{\varepsilon _1,{\varepsilon }_2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mrow> <msub> <mi>ε</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ε</mi> <mn>2</mn> </msub> </mrow> </msub> </math></EquationSource> </InlineEquation>-background. Mathematically, we investigate integrals over the moduli spaces of parabolic framed sheaves over <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {P}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. Using analytic methods of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> theories, we demonstrate that the former gives a twisted <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>-module on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\text {Bun}_{G_{\mathbb {C}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Bun</mtext> <msub> <mi>G</mi> <mi mathvariant="double-struck">C</mi> </msub> </msub> </math></EquationSource> </InlineEquation> while the latter acts as a Hecke operator. In the limit <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\varepsilon }_2 \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ε</mi> <mn>2</mn> </msub> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, 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 <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> gauge theoretical framework, that the twisted <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation>-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 <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {N}=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> 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 <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {N}=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> theory approach to the geometric Langlands correspondence.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Parallel Surface Defects, Hecke Operators, and Quantum Hitchin System

  • Saebyeok Jeong,
  • Norton Lee,
  • Nikita Nekrasov

摘要

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\) N = 2 supersymmetry and \(\Omega _{\varepsilon _1,{\varepsilon }_2}\) Ω ε 1 , ε 2 -background. Mathematically, we investigate integrals over the moduli spaces of parabolic framed sheaves over \(\mathbb {P}^2\) P 2 . Using analytic methods of \(\mathcal {N}=2\) N = 2 theories, we demonstrate that the former gives a twisted \(\mathcal {D}\) D -module on \(\text {Bun}_{G_{\mathbb {C}}}\) Bun G C while the latter acts as a Hecke operator. In the limit \({\varepsilon }_2 \rightarrow 0\) ε 2 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\) N = 2 gauge theoretical framework, that the twisted \(\mathcal {D}\) 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\) 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\) N = 4 theory approach to the geometric Langlands correspondence.