[논문 리뷰] Weyl modules and opers without monodromy

Edward Frenkel, Dennis Gaitsgory|ArXiv.org|2007. 06. 25.

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

한 줄 요약

이 논문은 임계 수준에서 외형 모듈의 내면 대수와 정규 특이성과 고유한 잔여류를 가진 모노드로미가 없는 $\check{\mathfrak{g}}$-오퍼의 공간 위의 함수 대수 사이의 정확한 이somorphism을 수립한다. 이 결과는 임계 수준 아핀 카크-무디 대수의 중심에 대한 기하적 실현을 제공하며, 오퍼 이론적 자료를 통해 국소 기하학적 롱랜즈 대응을 검증할 수 있는 테스트를 제시한다.

ABSTRACT

We prove that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. This result may be used to test the local geometric Langlands correspondence proposed in our earlier work arXiv:math/0508382.

연구 동기 및 목표

• 임계 수준에서 외형 모듈의 내면 대수에 대한 오퍼를 이용한 기하적 실현을 수립하는 것.
• 이전에 베르마 및 진공 모듈에 대해 얻어진 결과를 기반으로, 임계 아핀 카크-무디 대수의 중심과 오퍼 사이의 대응을 외형 모듈로 확장하는 것.
• 모노드로미가 없는 기하적 대상(오퍼)과 표현 이론을 연결함으로써 국소 기하학적 롱랜즈 대응을 검증할 수 있는 테스트를 제공하는 것.
• 외형 모듈 $\mathbb{V}_\lambda$가 주어진 잔여류를 가진 모노드로미가 없는 오퍼 공간 위의 함수 대수 위에서 자유 모듈임을 보이는 것.

제안 방법

• 유한 차원 ${\mathfrak{g}}$-모듈에서의 유도를 통해 임계 수준 아핀 카크-무디 대수 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$ 와 그 완비화 $\widetilde{U}_{\operatorname{crit}}(\widehat{\mathfrak{g}})$ 를 이용해 이산 표현과 외형 모듈을 정의한다.
• 구멍이 난 원판 위의 $\check{\mathfrak{g}}$-오퍼 위의 함수와 중심 사이의 알려진 이somorphism $\mathfrak{Z}_{\mathfrak{g}} \cong \operatorname{Fun} \operatorname{Op}_{\check{\mathfrak{g}}}({\mathcal{D}}^\times)$ 를 적용한다.
• 정규 특이성과 잔여류 $\varpi(-\lambda - \rho)$ 를 가진 $\check{\mathfrak{g}}$-오퍼의 공간 $\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}}$ 를 도입하여, 외형 모듈 $\mathbb{V}_\lambda$ 의 내면 대수를 매개화한다.
• 모든 $\check{G}$-배럴의 기본 $\check{G}$-_bundle 위에서의 아티야 대수구조를 이용해 $\mathbb{V}_\lambda$ 위에 리 대수다형의 작용을 구성함으로써 자유 모듈의 구조를 확보한다.
• $L_0 = -t\partial_t$ 를 통한 $\mathbb{Z}$-중량화와 $\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}}$ 위의 동차 좌표계를 사용하여 작용을 와일 대수로 올리고, 자유성의 증명을 완료한다.
• 최고 무게 벡터와 사상 $({\mathbb{V}}_{\lambda})^{\widehat{\mathfrak{n}}_{+}}_{\lambda} \to W_\lambda$ 의 단사성에 기반한 모순 논증을 통해 이somorphism을 확립한다.

실험 결과

연구 질문

• RQ1 임계 수준에서 외형 모듈의 내면 대수는 정규 특이성과 고유한 잔여류를 가진 $\check{\mathfrak{g}}$-오퍼의 공간 위의 함수 대수와 이somorphic한가?
• RQ2 외형 모듈과 모노드로미가 없는 오퍼 사이의 대응을 통해 국소 기하학적 롱랜즈 대응을 검증할 수 있는가?
• RQ3 외형 모듈 $\mathbb{V}_\lambda$ 는 $\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}}$ 위의 함수 대수 위에서 자유 모듈인가?
• RQ4 $\mathfrak{Z}_{\mathfrak{g}}$ 가 $\mathbb{V}_\lambda$ 에 작용할 때, 이는 어떻게 모노드로미가 없는 오퍼의 기하학과 관련이 있는가?

주요 결과

• $\operatorname{End}_{{\widehat{\mathfrak{g}}}_{\operatorname{crit}}}({\mathbb{V}}_{\lambda})$ 는 $\operatorname{Fun}(\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}})$ 와 이somorphic하며, 이는 정규 특이성과 잔여류 $\varpi(-\lambda - \rho)$ 를 가진 $\check{\mathfrak{g}}$-오퍼의 공간 위의 함수 대수이다.
• $\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}}$ 는 무한 차원 아핀 공간과 이somorphic하며, 엄밀히 양수인 $L_0$-차수를 가진 동차 좌표계를 갖는다.
• $\mathbb{V}_\lambda$ 는 $\operatorname{Fun}(\operatorname{Op}_{\check{\mathfrak{g}}}^{\lambda,\operatorname{reg}})$ 위에서 자유 모듈이며, 좌표와 그 도함수들로 생성된 와일 대수의 작용을 갖는다.
• $\mathfrak{Z}_{\mathfrak{g}}$ 가 $\mathbb{V}_\lambda$ 에 작용하는 방식은 잔여류 $\varpi(-\lambda - \rho)$ 에 대응하는 몫을 통과하므로, 중심의 오퍼 이론적 실현이 확인된다.
• 이 이somorphism은 중심과 내면 대수 사이의 가환 다이어그램과 호환되며, 이는 이전에 알려진 베르마 및 진공 모듈에 대한 결과를 일반화한다.