[논문 리뷰] Any flat bundle on a punctured disc has an oper structure

Edward Frenkel, Xinwen Zhu|arXiv (Cornell University)|2008. 11. 19.

Advanced Algebra and Geometry참고 문헌 5인용 수 4

한 줄 요약

이 논문은 복소수 연결 리군 $G$에 대해, 펄스처드 디스크 위의 모든 평탄한 $G$-_bundle가 변형된 아핀 스프링거 피브어의 방법을 통해 오페르(oper) 구조를 갖는다는 것을 증명한다. 주요 결과는 $G$-오페르에서 평탄한 $G$-_bundle로의 忘却 사상의 전성($\mathrm{surjectivity}$)을 확립하여, 국소 기하학적 롱랜즈 프로그램의 핵심 추측을 해결한다.

ABSTRACT

We prove that any flat G-bundle, where G is a complex connected reductive algebraic group, on the punctured disc admits the structure of an oper. This result is important in the local geometric Langlands correspondence proposed in arXiv:math/0508382. Our proof uses certain deformations of the affine Springer fibers which could be of independent interest. As a byproduct, we construct representations of affine Weyl groups on the homology of these deformations generalizing representations constructed by Lusztig.

연구 동기 및 목표

• 펄스처드 디스크 $D^\times = \mathrm{Spec}\,\mathbb{C}((t))$ 위의 모든 평탄한 $G$-_bundle가 [Fr1]과 [FG]에서 제기된 바와 같이 오페르 구조를 갖는다는 것을 증명하는 것.
• 국소 기하학적 롱랜즈 대응에 필수적인, $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 의 忘却 사상의 전성($\mathrm{surjectivity}$)을 확립하는 것.
• 변형된 아핀 스프링거 피브어의 호모로지 위에 애फ르 와일 군의 표현을 구성하여 루스티그의 구성들을 일반화하는 것.
• 비판적 수준에서 중심 문자가 오페르에 의해 결정되는 아핀 카크-무디 대수 위의 모듈러 범주를 오페르 구조를 통해 기하학적으로 실현하는 틀을 제공하는 것.

제안 방법

• 연결성 $A \in \mathfrak{g}(F)$ 와 부분집합 $J \subset I_{\mathrm{aff}}$ 에 의해 매개화되는, 아핀 플래그 다양체 $G(F)/P_J$ 내의 변형된 아핀 스프링거 피브어 $X_{A,J}$ 를 도입하는 것.
• $\mathrm{Aut}^+(D)$ 가 리-부분군 $G_J = P_J/P_J^u$ 에 작용하는 방식을 정의하고, 이 작용이 자명하다는 것을 보여, 변형의 잘 정의성($\mathrm{well-definedness}$)을 확보하는 것.
• $X_A$, 변형된 스프링거 피브어와, $\varphi_J: X_{A,J} \to \mathfrak{g}_J/G_J$ 를 통한 그로텐디크 변형 $\widetilde{\mathfrak{g}}_J \to \mathfrak{g}_J$ 를 연결하는 카르테시안 다이어그램을 구성하는 것.
• 이 다이어그램의 $G_J$--equivariant 성질을 이용하여, $\pi_{J*}\underline{\mathbb{C}}$ 에 $W_J$-작용을 유도하고, 그로 인해 $H_*(X_A)$ 에도 $W_J$-작용을 부여하는 것.
• 모든 $J \subsetneq I_{\mathrm{aff}}$ 에서의 극한 구성($\mathrm{limit\ construction}$)을 통해, 유한 와일 군 작용을 아핀 와일 군 $W_{\mathrm{aff}}$ 에로 올리는 것.
• 이 결과로 얻어진 호모로지 표현을 응용하여, 모든 평탄한 $G$-_bundle 가 게이지 동치($\mathrm{gauge\ equivalent}$)로 오페르임을 보이며, 관련 궤도 사상의 전성($\mathrm{surjectivity}$)을 증명하는 것.

실험 결과

연구 질문

• RQ1 펄스처드 디스크 위의 모든 평탄한 $G$-_bundle 는 오페르 조건을 만족하는 바렐 부분군으로의 축소를 갖는가, 즉 오페르 구조를 갖는가?
• RQ2 모든 재수화된 $G$ 에 대해, $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 의 忘却 사상이 전성임을 증명할 수 있는가?
• RQ3 변형된 아핀 스프링거 피브어 $X_{A,J}$ 는 루스티그의 유한 와일 군 표현을 일반화하는 아핀 와일 군 $W_{\mathrm{aff}}$ 의 표현을 지닌다 할 수 있는가?
• RQ4 쿠스탄트의 정리에서 요구하는 정규성 조건 없이도, 어떤 평탄한 접속도 오페르 형태로 변환할 수 있는 기하학적 메커니즘이 존재하는가?
• RQ5 잊혀진 사상의 전성이 필수 조건임을 감안할 때, 국소 기하학적 롱랜즈 대응은 오페르 구조를 통해 어떻게 실현될 수 있는가?

주요 결과

• 잊혀진 사상 $\mathrm{Op}_G(D^\times) \to \mathrm{Loc}_G(D^\times)$ 는 전성임을 증명하여, 펄스처드 디스크 위의 모든 평탄한 $G$-_bundle 가 오페르 구조를 갖는다는 것을 입증한다.
• 변형된 아핀 스프링거 피브어 $X_{A,J}$ 는 $G(F)/P_J$ 내에서 잘 정의되어 있으며 자연스러운 $G_J$-작용을 지니며, 자동사상군 $\mathrm{Aut}^+(D)$ 는 $G_J$ 에 자명하게 작용한다.
• 변형된 스프링거 피브어 $X_A$ 와 그로텐디크 변형 $\widetilde{\mathfrak{g}}_J \to \mathfrak{g}_J$ 사이에 카르테시안 다이어그램을 구성하여, $G_J$-equivariant 성질을 이전할 수 있다.
• 호모로지 $H_*(X_A)$ 는 일반화된 루스티그의 표현을 일반화한 아핀 와일 군 $W_{\mathrm{aff}}$ 의 자연스러운 작용을 지닌다.
• 이 구성은 비판적 수준에서 중심 문자가 오페르에 의해 결정되는 아핀 카크-무디 대수 위의 모듈러 범주를 오페르 구조를 통해 기하학적으로 실현하는 데 기여하며, 국소 기하학적 롱랜즈 프로그램의 요구 조건을 충족시킨다.
• 쿠스탄트의 정리에서 정규 궤도에 대한 일반화를, 정규성 조건 없이도 펄스처드 디스크 위의 연결성에 대해 수행한 결과로 일반화하였다.