[논문 리뷰] Parallel surface defects, Hecke operators, and quantum Hitchin system

Saebyeok Jeong, Norton Lee외 1명|arXiv (Cornell University)|2023. 04. 10.

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 $\mathcal{N}=2$ 게이지 이론에서 $\Omega_{\varepsilon_1,\varepsilon_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}$-현재들과 폭스 상태 계수들로 명시적으로 구성된다.