[논문 리뷰] Geometric Langlands Correspondence Near Opers

Edward Frenkel, Constantin Teleman|arXiv (Cornell University)|2013. 06. 04.

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

한 줄 요약

이 논문은 평탄한 $^L G$-_bundle의 모듈리 공간에서 opers의 형식적 이웃 주변에서의 기하 Langlands 대응을 확장한다. 이는 $\operatorname{Loc}_{^L G}$에서 opers의 형식적 이웃 주변에 기반한 코herent sheaf의 유도 범주와 $\operatorname{Bun}_G$ 위의 $\mathscr{D}^s$-모듈의 유도 범주 사이의 동치를 확립한다. 핵심 결과는 양측의 구조층의 유도 내부 동형 대수의 $A_\infty$-동치이며, 이 $A_\infty$-구조는 opers의 형식적 이웃 주변에서의 비차단된 라그랑주 변형에 의해 엄격히 교환 가능하다.

ABSTRACT

We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic group).

연구 동기 및 목표

• 기하 Langlands 대응의 Beilinson–Drinfeld 동치를 opers에서의 스킴 이론적 지지에서 평탄한 $^L G$-bundle의 모듈리 공간에서 opers의 형식적 이웃 주변으로 일반화한다.
• 기하 Langlands 대응의 두 측면 사이의 동치를 $\operatorname{Loc}_{^L G}$에서 opers의 형식적 이웃 주변에 기반한 코herent sheaf의 유도 범주와 $\operatorname{Bun}_G$ 위의 $\mathscr{D}^s$-모듈의 유도 범주 사이에 확립한다.
• 유도 내부 동형 대수의 $A_\infty$-구조가 엄격히 교환 가능하다는 것을 보이며, 이는 $A_\infty$-구조가 이중 측면에서도 엄격히 교환 가능하다는 것을 의미한다.
• 형식적 이웃 주변에서 제로 섹션의 라그랑주 변형이 첫째 차수에서 비차단되게 하는 유일한 파울리 구조는 표준 심플렉틱 형식의 상수배이며, 이는 $\mathrm{Ext}^\bullet$ 계산에 의해 배제되며, 이에 따라 파울리 구조가 0이 되어야 한다.

제안 방법

• 유도 내부 동형 대수를 $\mathscr{D}^s$-모듈 $\mathscr{D}^s$ on $\operatorname{Bun}_G$에서 계산하여, opers의 위치에서의 $\mathscr{O}_{\operatorname{Op}_{^L G}}$의 $\mathrm{Ext}$-대수와 동일시한다.
• Koszul 대칭을 사용하여 $\mathscr{D}^s$의 $\mathrm{Ext}$-대수를 $\operatorname{Op}_{^L G}$의 코타angent bundle 내부의 형식적 이웃 주변의 변형과 연결한다.
• Weinstein의 튜브 이웃 주변 정리의 형식적 판본을 적용하여 opers의 형식적 이웃 주변의 파울리 구조를 분석한다.
• 제로 섹션의 비차단된 라그랑주 변형(즉, opers의 첫째 차수 변형에 대응)은 파울리 구조가 표준 심플렉틱 형식의 상수배여야 한다는 것을 강제한다.
• 표준 심플렉틱 파울리 구조는 $\mathrm{Ext}^\bullet$ 계산에 의해 배제되며, 이는 $\mathrm{Ext}^\bullet$ 대수가 0차 수준에만 놓여져 있지 않다는 것을 보여준다.
• 결론적으로, $\mathrm{Ext}$-대수의 $A_\infty$-구조는 엄격히 교환 가능하며, 이는 이중 측면의 $A_\infty$-구조 역시 엄격히 교환 가능하다는 것을 의미한다.

실험 결과

연구 질문

• RQ1 Beilinson–Drinfeld 동치는 opers에서의 스킴 이론적 지지에서 평탄한 $^L G$-bundle의 모듈리 공간에서 opers의 형식적 이웃 주변으로 확장될 수 있는가?
• RQ2 $\operatorname{Bun}_G$ 위의 $\mathscr{D}^s$-모듈의 유도 내부 동형 대수의 구조는 무엇인가?
• RQ3 opers의 형식적 이웃 주변의 파울리 구조는 $\mathrm{Ext}$-대수의 $A_\infty$-구조에 어떤 제약을 가하는가?
• RQ4 형식적 이웃 주변에서 제로 섹션의 첫째 차수 라그랑주 변형이 모든 차수에서 비차단되려면 어떤 조건이 필요한가?
• RQ5 왜 파울리 구조의 0화는 $\mathrm{Ext}$-대수의 $A_\infty$-구조가 엄격히 교환 가능하다는 것을 의미하는가?

주요 결과

• $\mathscr{D}^s$의 유도 내부 동형 대수는 $\mathscr{O}_{\operatorname{Op}_{^L G}}$의 $\mathrm{Ext}$-대수와 동형이며, 이는 양측의 대응에서 핵심적인 연결 고리를 확립한다.
• $A_\infty$-구조는 엄격히 교환 가능하다. 비차단된 라그랑주 변형을 允許하는 유일한 파울리 구조는 표준 심플렉틱 형식의 상수배이며, 이는 $\mathrm{Ext}^\bullet$ 계산에 의해 배제된다.
• opers의 형식적 이웃 주변의 파울리 구조는 0이다. 표준 심플렉틱 파울리 구조는 $\mathrm{Ext}$-대수를 $\mathbb{C}$로 압축시키며, 이는 비자명한 $\mathrm{Ext}^\bullet$ 계산과 모순된다.
• $\mathscr{D}^s$의 $\mathrm{Ext}^\bullet$ 대수의 $A_\infty$-구조는 엄격히 교환 가능하며, 이는 이중 측면의 $A_\infty$-구조 역시 엄격히 교환 가능하다는 것을 의미한다.
• $\widehat{\mathfrak{g}}$-모듈의 프로젝티브 모듈의 범주에서 $\mathscr{D}^s$-모듈로의 국소화 함자는 $\mathbb{V}_{\operatorname{crit}}$의 유한한 연속적 확장의 전체 부분범주 $EV$에서 정확하며, 이는 $A_\infty$-준동형이 잘 정의됨을 보장한다.
• $EV$ 부분범주에서 계산된 $\mathrm{Ext}^\bullet$ 군은 전체 하리시-찬드라 범주에서의 것과 일치한다. 이는 $\mathrm{Ext}^1$이 생성되며, $EV$ 내부의 형식적 변형을 통해 교환 법칙이 강제되기 때문이다.