[논문 리뷰] A Note on Quantum Geometric Langlands Duality, Gauge Theory, and Quantization of the Moduli Space of Flat Connections

Anton Kapustin|ArXiv.org|2008. 11. 20.

Black Holes and Theoretical Physics참고 문헌 16인용 수 14

한 줄 요약

이 논문은 A-브레인 분류가 히친 모듈리 공간의 히긴(bundle)에 대해 몰턴-올리브 이중성과 양자화된 평탄한 접속의 이중성에 의해, 양자 기하 Langlands 이중성의 게이지 이론적 유도를 확립한다. 이중성은 순수한 허수의 양자 매개변수를 통해 플랑크 상수의 역수에 비례하며, 파라보릭 구조를 포함하는 분기된 경우로까지 확장된다.

ABSTRACT

Montonen-Olive duality implies that the categories of A-branes on the moduli spaces of Higgs bundles on a Riemann surface C for a pair of Langlands-dual groups are equivalent. We reformulate this as a statement about categories of B-branes on the quantized moduli spaces of flat connections for these groups. We show that it implies the statement of the Quantum Geometric Langlands duality with a purely imaginary ``quantum parameter'' which is proportional to the inverse of the Planck constant of the gauge theory. The ramified version of the story is also considered.

연구 동기 및 목표

• N=4 초대칭 게이지 이론과 위상적 트위스트를 이용한 양자 기하 Langlands 이중성의 물리적 유도를 제공한다.
• 히친 모듈리 공간의 A-브레인 분류를 평탄한 Gℂ-접속의 모듈리 공간 위의 외부 D-모듈러 분류와 연결한다.
• 이중성이 순수한 허수의 양자 매개변수를 통해 플랑크 상수의 역수에 비례할 때 성립함을 보인다.
• 표면 연산자와 파라보릭 구조를 포함하는 분기된 경우로 이중성을 확장한다.
• 매개변수 τ와 그 이중성에 의해 B-필드와 복소 구조의 역할을 명확히 한다.

제안 방법

• N=4 초대칭 게이지 이론의 위상적 트위스트를 사용하여 게이지 군이 G와 L G인 이중성 위상 이론 쌍을 구성한다.
• 매개변수 q = θ/2π를 통해 히친 모듈리 공간 MH(G,C) 위의 A-브레인 분류를 BunG(C) 위의 외부 D-모듈러의 유도 분류와 동일시한다.
• 몰턴-올리브 이중성을 적용하여, 이중성 τ ↔ -1/(n𝔤 τ) 및 θ ↔ -1/θ 하에서 MH(G,C)와 MH(L G,C)의 A-브레인 분류를 연결한다.
• 점 p₁,…,pₛ에 표면 연산자를 도입하여 분기된 경우를 실현하고, 파라보릭 히긴(bundle)과 국소적 구조의 모듈리 공간을 도출한다.
• 파라보릭 히긴(bundle)의 모듈리 공간에서 Kähler 형식과 B-필드의 코homology 클래스를 τ, αₖ, ηₖ로 표현한다.
• 경계 관측량의 대수를 첫 번째 체른 클래스가 Imτ ⋅ (−e ⊕ ⊕αₖ* + i(Imτ)⁻¹ηₖ)에 비례하는 선다발 위의 정칙 미분 연산자로 양자화하여, 양자 매개변수 q를 도출한다.

실험 결과

연구 질문

• RQ1 몰턴-올리브 이중성과 양자화된 평탄한 접속을 통해 게이지 이론을 이용해 양자 기하 Langlands 이중성을 어떻게 도출할 수 있는가?
• RQ2 양자화된 평탄한 접속의 모듈리 공간의 맥락에서 양자 매개변수 q의 물리적 해석은 무엇인가?
• RQ3 표면 연산자와 파라보릭 구조를 포함하는 분기된 경우에서 이중성은 어떻게 확장되는가?
• RQ4 B-필드와 복소 구조는 이중성에서 어떤 역할을 하는가? 그리고 이들은 게이지 이론 매개변수와 어떻게 관련되어 있는가?
• RQ5 평탄한 Gℂ-접속의 모듈리 공간의 양자화는 순수한 허수의 양자 매개변수를 가진 외부 D-모듈러와 어떻게 관련되는가?

주요 결과

• 양자 매개변수 q가 qL = -1/(n𝔤 q)를 만족할 때, BunG(C) 위의 외부 D-모듈러의 유도 분류는 BunL G(C) 위의 그것과 동치이며, 여기서 n𝔤는 딘킨 다이어그램에 따라 1, 2, 3이다.
• 양자 매개변수 q는 q = θ/2π로 식별되며, 이중 이론에서는 qL = -1/(n𝔤 q)로 표현되며, 이는 양자 영역에서 순수한 허수 매개변수에 해당한다.
• 표면 연산자를 포함하는 분기된 경우, τ와 Lτ가 ImLτ = 1/(n𝔤 Imτ)로 관련되어 있고, 파라보릭 매개변수는 Lαₖ = ηₖ, Lηₖ = -αₖ를 만족할 때 이중성이 성립한다.
• B-필드의 코homology 클래스는 [B/2π] = (-Reτ) ⊕ ⊕ηₖ이며, Kähler 형식은 [ωI/2π] = e ⊕ (-⊕αₖ*)를 만족한다. 이는 이중성의 구조에 핵심적이다.
• 경계 관측량의 양자화된 대수는 첫 번째 체른 클래스가 Imτ ⋅ (−e ⊕ ⊕(αₖ* + i(Imτ)⁻¹ηₖ))에 비례하는 선다발 위의 정칙 미분 연산자로 표현되며, 이는 양자 매개변수를 포함한다.
• 고전적 근사(큰 Imτ)에서는 기하 Langlands 이중성이 복원되며, 양자 영역에서는 복소수 q를 가진 전체 QGL 이중성이 해당된다.