[논문 리뷰] On a vanishing conjecture appearing in the geometric Langlands correspondence

Dennis Gaitsgory|ArXiv.org|2002. 04. 07.

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

한 줄 요약

이 논문은 GL_n에 대한 기하학적 롱랜즈 상호관계에서 핵심적인 소멸 추측을 증명하며, 특정 히케타입 함수가 낮은 랭크의 벡터 번들의 적용에서 소멸함을 보여준다. 윌리엄커 함수와 정확성 추론에 기반한 새로운 몫 범주 구성법을 사용하여, 저자들은 d가 크면 Av_E^d가 식별적으로 0이 됨을 보이며, 특성 0과 ℓ > d일 때 F_ℓ 계수에서 기하학적 롱랜즈 상호관계를 완성한다.

ABSTRACT

Let $X$ be a smooth complete curve, and let $Bun_n$ be the moduli stack of rank $n$ vector bundles on $X$. Let $E$ be a local system on $X$. In a recent paper of E.Frenkel, K.Vilonen and the author, it was shown that the vanishing of a certian functor $Av_E^d$ acting from the category $D(Bun_n)$ to itself, implies the geometric Langlands conjecture. In this paper we establish the required vanishing result. Our proof works for sheaves with char=0 coefficients, or with torsion coefficients when the parameter $d$ is less than the characteristic.

연구 동기 및 목표

• GL_n에 대한 기하학적 롱랜즈 상호관계에 필수적인 소멸 추측을 증명하기 위해.
• 비퇴직성(쿠스피달) 층을 포착하고 t-구조를 유지하는 몫 범주 D̃(Bun_n)의 존재를 확립하기 위해.
• 정확성과 귀납법을 사용하여 큰 d에 대해 Av_E^d가 식별적으로 0이 됨을 보여주기 위해.
• 라포르그의 정리에 의존하지 않는 통일된 증명을 제공하여, 특성 0과 ℓ > d일 때 F_ℓ 계수에서 유효하게 하기 위해.
• 함수적 소멸과 오일러 지표 비교를 통한 기하학적 롱랜즈에서의 역정리 접근을 일반화하기 위해.

제안 방법

• 동일한 랭크의 국소계층 간 오일러-포앵카르에 지표 비교를 통해 Av_E^d의 소멸을 그 정확성 증명으로 환원하기 위해.
• 대칭군 Σ_d의 작용을 이용하여 Av_E^d를 기본 함수 Av_E^1로 표현하기 위해.
• 윌리엄커 함수를 통한 비퇴직성 층을 제거함으로써 몫 삼각 범주 D̃(Bun_n)을 구성하기 위해.
• 몫 범주가 펄서브 t-구조를 유지하고, 히케이 함수가 그 위로 내림내림되며 여전히 정확함을 보여주기 위해.
• E의 기약성과 윌리엄커 함수의 구조를 이용하여 Av_E^1이 D̃(Bun_n)에서 정확함을 보여주기 위해.
• n에 대한 귀납법과 쿠스피달 층에 대한 수직성 조건을 사용하여 Av_E^d가 D(Bun_n)에서 정확함을 유도함으로써, 소멸을 증명하기 위해.

실험 결과

연구 질문

• RQ1 기하학적 롱랜즈 상호관계에 요구되는 바와 같이, Av_E^d가 D(Bun_n)에 적용되었을 때 큰 d에 대해 소멸하는가?
• RQ2 Av_E^d의 소멸은 펄서브 층의 범주에서 그 정확성 증명으로 환원될 수 있는가?
• RQ3 윌리엄커 함수는 쿠스피달 층을 분리하는 몫 범주를 정의하는 데 어떤 역할을 하는가?
• RQ4 히케이 함수에 대한 대칭군 Σ_d의 작용은 Av_E^d를 Av_E^1으로 환원하는 데 어떻게 기여하는가?
• RQ5 특성 0 또는 ℓ > d일 때 F_ℓ 계수에서 라포르그의 정리에 의존하지 않고 증명을 만들 수 있는가?

주요 결과

• 소멸 추측이 증명됨: 충분히 큰 d에 대해 Av_E^d는 D(Bun_n)에서 식별적으로 0이다.
• 소멸은 오일러 지표 비교와 귀납법을 통해 Av_E^d의 정확성 증명으로 환원된다.
• 쿠스피달 층을 분리하고 펄서브 t-구조를 유지하는 몫 범주 D̃(Bun_n)이 구성된다.
• 히케이 함수는 D̃(Bun_n)로 내림내림되며 여전히 정확함을 유지하며, 윌리엄커 함수의 분석에 기여한다.
• 기본 함수 Av_E^1이 D̃(Bun_n)에서 정확함이 증명되며, 이는 Av_E^d가 비퇴직성 층 모odulo에서 정확함을 의미한다.
• 쿠스피달 층에 대한 수직성과 귀납법을 통해 Av_E^d가 D(Bun_n)에서 정확함이 증명되며, 따라서 소멸함을 유도한다.