[논문 리뷰] From geometric to function-theoretic Langlands (or how to invent shtukas)

Dennis Gaitsgory|arXiv (Cornell University)|2016. 06. 30.

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

한 줄 요약

이 논문은 함수체 위에서 기하학적 및 함수론적 랭랜즈 대칭을 연결하는 범주론적 프레임워크를 수립한다. 이는 자동형 함수의 공간이 자동형 층의 범주 위에서 프로베니우스 자기사상의 트레이스로 나타남을 보여준다. 주요 기여는 기하학적 랭랜즈 구조를 트레이스 연산을 통해 함수론적 구조로 승격시키는 함의적 구성이며, 이는 최종적으로 전역 비분열 드린프트-헤케 고유물체를 복원하는 보다 정교한 대상 $τ_{ ext{Drinf}_x}$를 생성한다.

ABSTRACT

This is an informal note that explains that the classical Langlands theory over function fields can be obtained from the geometric one by taking the trace of Frobenius. The operation of taking the trace of Frobenius takes place at the categorical level, and this we deduce that the space of automorphic functions is the trace of the Frobenius on the category of automorphic sheaves.

연구 동기 및 목표

• 함수체 위에서 기하학적 및 함수론적 랭랜즈 프로그램 간의 개념적 다리를 구축하기 위해.
• 자동형 함수가 자동형 D-모듈의 범주 위에서 프로베니우스의 트레이스로 나타남을 보여주기 위해.
• 기하학적 랭랜즈의 범주론적 구성 요소를 정교화하여 함수론적 설정에서 고유물체를 생성하기 위해.
• 전역 비분열 드린프트 고유물체가 국소 및 전역 헤케 대수를 포함하는 트레이스 구성으로부터 유도됨을 보여주기 위해.

제안 방법

• 특히 $\operatorname{D-mod}(\mathcal{Y})$와 같은 이중가능한 DG 범주 위에서 프로베니우스의 범주론적 트레이스를 사용하여 자동형 함수를 추출한다.
• 기저 변경과 버드리 쌍대성을 적용하여 트레이스를 고정점의 위치 $\mathcal{Y}^F$의 보렐-무어 homology로 계산한다.
• 트레이스의 함의적 성질을 위한 2-범주적 프레임워크를 도입하여 헤케 대응과의 호환성을 보장한다.
• 국소 및 전역 $\operatorname{LocSys}$ 위의 $\operatorname{QCoh}$-범주들의 텐서곱에서 프로베니우스의 트레이스를 사용하여 $\operatorname{Drinf}_x$라는 정교화된 대상을 구성한다.
• 드린프트의 커널 형식론을 활용하여, 텐서곱이 정확하지 않은 경우에도 함의를 커널로 간주하여 유도 범주에서의 함의를 다룬다.
• 표준 함의를 통해 $\operatorname{Drinf}_x$의 이미지가 전역 비분열 드린프트 고유물체 $\operatorname{Drinf}$로 복원됨을 보여준다.

실험 결과

연구 질문

• RQ1 함수론적 랭랜즈 대응은 기하학적 대응으로부터 어떤 범주론적 트레이스 연산을 통해 도출될 수 있는가?
• RQ2 스택 $\mathbb{F}_q$ 위에서 자동형 층의 프로베니우스 트레이스를 취하는 것의 범주론적 의미는 무엇인가?
• RQ3 트레이스 구성의 함의적 성질은 헤케 연산자 및 자동형 형식과 어떻게 상호작용하는가?
• RQ4 전역 비분열 드린프트 고유물체는 국소 및 전역 헤케 대수 범주 위의 트레이스 구성으로 재구성될 수 있는가?
• RQ5 $D(G(\mathcal{K}))^{\operatorname{Ad}_{\operatorname{Frob}}(G(\mathcal{K}))}$ 범주가 자동형 함수를 어떻게 코딩하는가?

주요 결과

• 함수체 $\mathbb{F}_q$ 위에서 자동형 함수의 공간은 범주 $D(\operatorname{Bun}_G^{\text{level}_x})$ 위에서 기하학적 프로베니우스의 트레이스와 동형이며, 즉 $\operatorname{Tr}(\operatorname{Frob}^{!}, D(\operatorname{Bun}_G^{\text{level}_x})) \simeq \operatorname{Funct}(\operatorname{Bun}_G^{\text{level}_x}(\mathbb{F}_q), \overline{\mathbb{Q}}_\ell)$이다.
• 자동형 함수 위에 작용하는 $\Gamma(\operatorname{LocSys}^\text{arthm}_\text{glob}, \mathcal{O})$의 작용은 프로베니우스의 트레이스를 통해 유도되며, 표준 헤케 작용을 복원한다.
• $\operatorname{Drinf}_x$는 국소 및 전역 $\operatorname{LocSys}$ 위의 $\operatorname{QCoh}$-범주들의 텐서곱에서 트레이스로 구성되며, 정교화된 고유성질을 코딩한다.
• 표준 함의를 통해 $\operatorname{Drinf}_x$의 이미지는 전역 비분열 드린프트 고유물체 $\operatorname{Drinf}$와 일치하며, 고유성질의 범주론적 승격을 확립한다.
• 이 구성은 전역 비분열 고유물체가 새로운 것이 아니라 기하학적 자료 위의 트레이스 작용에서 유도됨을 보여주며, 기하학적 및 함수론적 시각을 통합한다.
• 이 프레임워크는 프로베니우스 작용을 층 범주에서 함수 공간으로 승격시켜, 범주론적 트레이스를 통해 '발명'하는 방식으로 셰투카를 체계적으로 제공한다.