[논문 리뷰] Affine Algebras, Langlands Duality and Bethe Ansatz

Edward Frenkel|ArXiv.org|1995. 06. 05.

Algebraic structures and combinatorial models참고 문헌 8인용 수 89

한 줄 요약

이 논문은 임계 수준에서의 아핀 카크-무디 대수, 기하학적 론스랜즈 dualities, 그리고 양자역학적 통합계에서의 베티 앙사즈 사이의 깊은 연결 고리를 확립한다. ${\mathfrak{g}}^L$-오퍼레이터가 곡선 위에서 $G^L$-로컬 시스템과 대응하고, 비엘린슨-드린필드 국소화 함자를 통해 $G$-배럴의 모듈리 공간 위의 ${\mathcal{D}}$-모듈을 유도함으로써 기하학적 론스랜즈 대응을 실현한다. 핵심 결과는 $SL_2$ 고딘 모델에서의 베티 앙사즈의 완전성이 관련 프로젝티브 연결의 자명한 단일계수와 동치임을 보여준다.

ABSTRACT

We review various aspects of representation theory of affine algebras at the critical level, geometric Langlands correspondence, and Bethe ansatz in the Gaudin models. Geometric Langlands correspondence relates D-modules on the moduli space of G-bundles on a complex curve X and flat G^L-bundles on X. Beilinson and Drinfeld construct it by applying a localization functor to representations of affine algebras of critical level. We show that in genus zero the corresponding D-modules are closely related to the diagonalization problem in the Gaudin model associated to G. This allows us to give a new interpretation of the Bethe ansatz and Sklyanin's separation of variables in the Gaudin model in terms of Langlands correspondence.

연구 동기 및 목표

• 임계 수준에서의 아핀 카크-무디 대수의 표현 이론을 사용하여 재수성 군에 대한 기하학적 론스랜즈 대응을 실현하는 것.
• 임계 수준에서의 $\widehat{{\mathfrak{g}}}$-모듈에 대한 국소 론스랜즈 매개변수로서 ${\mathfrak{g}}^L$-오퍼레이터의 정확한 역할을 밝히는 것.
• $SL_2$ 고딘 모델에서의 베티 앙사즈의 완전성을 관련 프로젝티브 연결의 단일계수 자명성과 연결시켜 증명하는 것.
• 국소화와 $q$-변형을 통해 양자 통합계(고딘 모델)와 기하학적 론스랜즈 사이의 대응을 탐색하는 것.

제안 방법

• 비엘린슨-드린필드 국소화 함자를 사용하여 $\mathcal{M}_G(X)$ 위의 ${\mathcal{D}}$-모듈을 $\widehat{{\mathfrak{g}}}$-모듈의 카테고리 $\mathcal{O}^0$에 할당한다.
• 임계 수준 성질을 적용하여 $U_{-h^\vee}(\widehat{{\mathfrak{g}}})$의 중심이 고전적 $\mathcal{W}$-대수 $\mathcal{W}({\mathfrak{g}}^L)$와 동형임을 보인다.
• ${\mathcal{W}}({\mathfrak{g}}^L)$-함수를 ${\mathfrak{g}}^L$-오퍼레이터로 식별하고, 이는 특성 인자 분해를 통해 $\widehat{{\mathfrak{g}}}$-모듈을 매개변수화한다.
• ${\mathfrak{g}}^L$-오퍼레이터에서 ${\mathcal{D}}$-모듈을 구성하고, 단일계수를 통해 $G^L$-로컬 시스템과 대응됨을 보여준다.
• 종수 0의 경우, 유도된 ${\mathcal{D}}$-모듈이 고딘 모델의 교환 가능한 해밀토니안과 그 고유값 방정식과 관련됨을 밝힌다.
• $q$-변형된 마이우 변환과 $q$-차분 방정식을 사용하여 변수 분리와 스펙트럼 이론을 일반화한다.

실험 결과

연구 질문

• RQ1 아핀 카크-무디 대수의 임계 수준에서의 구조는 기하학적 론스랜즈 대응과 어떻게 관련되는가?
• RQ2 임계 수준에서의 $\widehat{{\mathfrak{g}}}$-모듈을 매개변수화하는 데 있어 ${\mathfrak{g}}^L$-오퍼레이터의 정확한 역할은 무엇인가?
• RQ3 고딘 모델에서의 베티 앙사즈의 완전성은 관련 프로젝티브 연결의 단일계수로 기하학적으로 특징지을 수 있는가?
• RQ4 $q$-변형된 마이우 변환과 $q$-차분 방정식은 통합계에서의 변수 분리를 어떻게 일반화하는가?
• RQ5 임계 수준에서의 양자 아핀 대수의 중심과 론스랜즈 쌍대의 고전적 $\mathcal{W}$-대수 사이의 관계는 무엇인가?

주요 결과

• $U_{-h^\vee}(\widehat{{\mathfrak{g}}})$의 중심은 고전적 $\mathcal{W}$-대수 $\mathcal{W}({\mathfrak{g}}^L)$과 동형이며, 이는 $\widehat{{\mathfrak{g}}}$-모듈과 ${\mathfrak{g}}^L$-오퍼레이터 사이의 이중성을 확립한다.
• 곡선 $X$ 위의 정규 ${\mathfrak{g}}^L$-오퍼레이터는 각각 $G^L$-로컬 시스템과 $\mathcal{M}_G(X)$ 위의 ${\mathcal{D}}$-모듈을 정의하며, 이는 기하학적 론스랜즈 대응을 실현한다.
• $G=SL_2$인 경우, 베티 앙사즈 방정식은 관련 프로젝티브 연결의 단일계수가 자명함과 동치이며, 이는 베티 앙사즈의 완전성을 증명한다.
• 고딘 해밀토니안은 서로 교환 가능한 미분 연산자로 나타나며, 이들의 고유값 문제는 ${\mathfrak{g}}^L$-오퍼레이터에 관련된 ${\mathcal{D}}$-모듈과 대응된다.
• $q$-변형된 마이우 변환은 양자 아핀 대수의 중심을 $q$-차분 연산자로 매핑하며, 고전적 스펙트럼 이론을 일반화한다.
• $U_q(\widehat{{\mathfrak{g}}})$의 $R$-행렬이 임계 수준에서 양자 토다 체계의 것과 일치하여 양자군과 통합계를 연결한다.