[논문 리뷰] Quantum Langlands duality and conformal field theory

A. V. Stoyanovsky|arXiv (Cornell University)|2006. 10. 31.

Advanced Algebra and Geometry참고 문헌 3인용 수 12

한 줄 요약

이 논문은 복소수 매개변수 $\kappa$에 의해 매개화된 유도 범주 동치를 통해 기하학적 랭랜즈 대칭성의 양자 변형을 제안한다. 이는 $G$-_bundle의 모듈리 스택 위의 외부 $\mathcal{D}$-모듈러스와 $G^\vee$-bundle의 외부 코탄제트 벡터 장의 $\mathcal{O}$-모듈러스 사이의 동치를 포함한다. 주요 결과는 고전적 기하학적 랭랜즈 대칭성($\kappa=0$)과 그 랭랜즈 쌍대($\kappa=\infty$) 사이를 연결하는 추측적 커널 객체 $\mathcal{L}_\kappa$이며, 이는 히친 통합계와 연결된 특이 지지 조건을 가진다.

ABSTRACT

V. Drinfeld proposed conjectures on geometric Langlands correspondence and its quantum deformation. We refine these conjectures and propose their relationship with algebraic conformal field theory.

연구 동기 및 목표

• 복소수 곱합 $\kappa \in \mathbb{C}^\times$에 의해 매개화된 $\kappa$를 도입하여 V. 드린펠트의 기하학적 랭랜즈 대칭성에 대한 추측을 정교화하고 확장한다.
• 기존의 대칭성으로 일반화된, $\mathcal{B}un_G$ 위의 외부 $\mathcal{D}$-모듈러스와 $\widetilde{T}^*\mathcal{B}un_{G^\vee}$ 위의 $\mathcal{O}$-모듈러스 사이의 유도 범주 동치를 수립한다.
• 이 양자 랭랜즈 대칭성을 대수적 conformal field theory와 연결하여, 기하학적 랭랜즈 이론과 표현 이론적 구조를 통합한다.
• 고전적 기하학적 랭랜즈 커널($\kappa=0$)과 그 랭랜즈 쌍대($\kappa=\infty$) 사이를 연결하는 커널 객체 $\mathcal{L}_\kappa$를 정의하며, 이는 평탄성과 특이 지지 조건을 포함한다.

제안 방법

• 외부 $\mathcal{D}_{\mathcal{B}un_G}(\xi^{\otimes\kappa})$-모듈러스와 외부 $\mathcal{D}_{\mathcal{B}un_{G^\vee}}(\xi^{\vee\otimes\kappa^\vee})$-모듈러스 사이의 유도 범주 동치를 제안하며, 여기서 $\kappa^\vee = 1/(r\kappa)$이고 $r$은 딘킨 다이어그램에서의 최대 간선 다중성이다.
• $\mathbb{P}^1 \times \mathcal{B}un_G \times \mathcal{B}un_{G^\vee}$ 위의 $\mathcal{D}_{\mathcal{B}un_G}(\xi^{\otimes\kappa}) \boxtimes \mathcal{D}_{\mathcal{B}un_{G^\vee}}(\xi^{\vee\otimes\kappa^\vee})$-모듈러스로서의 커널 $\mathcal{L}_\kappa$를 정의하며, 이는 $\mathbb{P}^1$에 대해 평탄하다.
• 파라미터 $t=\kappa$에서의 올은 $\mathcal{L}_\kappa$, $t=0$에서의 올은 고전적 커널 $\mathcal{L}_0$, $t=\infty$에서의 올은 랭랜즈 쌍대 커널 $\mathcal{L}_\infty$가 되도록 하여, 쌍대 이론들 사이의 보간을 보장한다.
• 특이 지지 조건을 도입: $\mathcal{L}_\kappa$의 특이 지지가 히친 사상의 곱 $\chi_G \times \chi_{G^\vee}$에 의한 대각선 $\Delta_\kappa = \{v_i^\vee = \kappa^{d_i} v_i\}$의 역상과 일치하도록 요구한다.
• 히친 통합계를 이용하여 $\mathcal{L}_\kappa$의 특이 지지 조건을 제약하며, 고전적 극한 $\kappa \to 0$에서 전역 영점 콘에 포함됨을 유도한다.
• 공통장 이론을 $\mathcal{C}onf_{G^\vee}$를 통해 연결하며, 이는 색칠된 다항식의 공간으로 식별되며, $\mathcal{B}un_{B/[N,N]}^{>0}$ 다이어그램을 이용해 관련 기하 구조를 정의한다.

실험 결과

연구 질문

• RQ1 기하학적 랭랜즈 대칭성은 어떻게 복소수 결합 $\kappa$에 의해 매개화된 양자 형태로 변형될 수 있는가?
• RQ2 기존의 $\mathcal{D}$-모듈러스와 $\widetilde{T}^*\mathcal{B}un_{G^\vee}$ 위의 $\mathcal{O}$-모듈러스 사이의 유도 동치를 실현하는 커널 $\mathcal{L}_\kappa$의 정확한 형태는 무엇인가?
• RQ3 $\mathcal{L}_\kappa$의 특이 지지 조건은 히친 통합계와 조건 $v_i^\vee = \kappa^{d_i} v_i$ 사이에 어떻게 관련되어 있는가?
• RQ4 공통장 이론은 이 양자 랭랜즈 대칭성을 어떻게 실현하고 정당화하는가?
• RQ5 고전적 극한 $\kappa \to 0$은 어떻게 원래의 기하학적 랭랜즈 대칭성을 복원하며, 이에 대응하는 $\mathcal{D}$-모듈러스의 특이 지지 조건은 무엇인가?

주요 결과

• 모든 $\kappa \in \mathbb{C}^\times$에 대해, 외부 $\mathcal{D}_{\mathcal{B}un_G}(\xi^{\otimes\kappa})$-모듈러스의 유도 범주는 $\kappa^\vee = 1/(r\kappa)$를 만족하는 외부 $\mathcal{D}_{\mathcal{B}un_{G^\vee}}(\xi^{\vee\otimes\kappa^\vee})$-모듈러스의 유도 범주와 추측적으로 동치이다.
• 커널 $\mathcal{L}_\kappa$는 $\mathbb{P}^1 \times \mathcal{B}un_G \times \mathcal{B}un_{G^\vee}$ 위의 평탄한 $\mathcal{O}_{\mathbb{P}^1}$-모듈러스이며, $t=\kappa$, $t=0$, $t=\infty$에서의 올은 각각 양자, 고전, 쌍대 고전 랭랜즈 커널에 대응한다.
• $\mathcal{L}_\kappa$의 특이 지지 조건은 히친 사상의 곱 $\chi_G \times \chi_{G^\vee}$에 의한 대각선 $\Delta_\kappa = \{v_i^\vee = \kappa^{d_i} v_i\}$의 역상과 일치하도록 요구되며, 이는 통합계와의 연결을 보장한다.
• 고전적 극한 $\kappa \to 0$은 $\mathcal{D}_{\mathcal{B}un_G}$-모듈러스 $\mathcal{F}_{\mathcal{P}^\vee}$의 특이 지지 조건이 전역 영점 콘에 포함됨을 의미하며, 이는 $\chi_G$에 의한 영점의 역상이다.
• $\mathcal{C}onf_{G^\vee}$는 $\{D_i : \deg D_i \geq 2g-2\}$인 색칠된 다항식의 공간으로 식별되며, 곡선 $C$의 대칭적 곱의 분리합집합과 동형이 되어 공통장의 기하적 실현을 제공한다.
• 이 구성은 공통장 이론과 호환된다: 커널 $\mathcal{L}_\kappa$는 고전적 이론과 쌍대 고전 이론 사이를 보간하는 $\mathbb{P}^1$ 위의 평탄한 가족으로서 유도되며, 공통장 이론의 구조는 $\mathcal{B}un_{B/[N,N]}^{>0}$ 다이어그램과 벡터 번들의 $\mathcal{B}un_{\omega,H}$에 의해 코딩되어 있다.