[논문 리뷰] A toy model for the Drinfeld-Lafforgue shtuka construction

Dennis Gaitsgory, David Kazhdan외 2명|arXiv (Cornell University)|2019. 08. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 9

한 줄 요약

이 논문은 위상적 맥락에서 카테고리적 트레이스와 추적 연산자(Excursion operators)를 사용하여 드리놀드-라포르그 shtuka 구축의 카테고리적 프레임워크를 개발한다. 기하학적 랑글랜드 프로그램에 대한 단순화된 모델을 제공하며, 트레이스 구축을 통해 헤케 작용과 shtuka 사이의 대응을 확립한다. 특히, Bun_G 위의 층에서 프로베니우스 작용의 카테고리적 트레이스는 추적 연산자가 작용하는 자동형 양식의 공간을 복원함을 증명한다.

ABSTRACT

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas à la Drinfeld and of excursion operators à la V. Lafforgue. We take as the point of departure the Hecke action of Rep(G^L) on the category Shv(Bun_G) of sheaves on Bun_G, and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

연구 동기 및 목표

• 드리놀드와 라포르그의 방식으로 shtuka 구축과 추적 연산자에 대한 개념적이고 카테고리적 프레임워크를 제공하기 위해.
• 기하학적 랑글랜드 프로그램의 핵심 구조—헤케 작용, 프로베니우스, S=T 항등식—을 단순화된 위상적 맥락에서 모델링하기 위해.
• 카테고리적 프로베니우스 준동형자에 의한 트레이스를 통해 자동형 층과 표현 간의 대응을 확립하기 위해.
• 카테고리적 트레이스를 통해 대칭 모노이드 카테고리에서 단위 대상의 자동형사상으로서의 추적 연산자의 역할을 형식화하기 위해.
• 더 나아가 ℓ-adic shtuka 구축의 전반적 틀을 마련하기 위해, 더 접근하기 쉬운 DG 카테고리와 층 이론적 맥락에서 작업을 수행하기 위해.

제안 방법

• DG 카테고리의 2-카테고리에서 카테고리적 트레이스 구축을 사용하여 Shv(Bun_G) 위의 프로베니우스 준동형자에서 자동형 자료를 추출한다.
• 특히 공간 Y에 대해 텐서곱 A^⊗Y를 통해 대칭 모노이드 카테고리의 통합 작용 개념을 적용한다.
• Y의 기본군을 사용하여 A에서 유한 집합으로의 함자를 통해 A^⊗Y의 대상들을 특성화한다.
• 추적 연산자를 A^⊗Y의 단위 대상의 자동형사상으로서 도입하며, 이는 유한 집합 위의 코일리미트로 표현된다.
• 2-카테고리적 트레이스를 사용하여 기하학적 프로베니우스 작용과 자동형 양식의 공간 간의 관계를 규명한다.
• 유니버설 국소 앙비질성(ULA) 개념을 적용하여 트레이스 구축이 쌍대성과 기저 변경과의 호환성을 유지하도록 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 단순화된 위상적 맥락에서 카테고리적 트레이스와 추적 연산자를 사용하여 shtuka 구축을 형식화할 수 있는가?
• RQ2 헤케 작용이 Shv(Bun_G)에 작용할 때 트레이스 구축을 통해 유도된 자동형 층과의 정확한 카테고리적 관계는 무엇인가?
• RQ3 어떻게 추적 연산자가 카테고리적 프로베니우스 준동형자의 트레이스로부터 자연스럽게 유도되는가?
• RQ4 카테고리적 트레이스가 국소 시스템 위의 함수 대수의 작용을 갖는 자동형 양식의 공간을 어떤 의미에서 복원하는가?
• RQ5 카테고리적 트레이스 구축이 압축성과 쌍대성을 유지하는 데 필요한 조건은 무엇인가, 특히 D-모듈러 및 인코herent 층의 맥락에서 어떻게 보장되는가?

주요 결과

• Shv(Bun_G) 위의 프로베니우스 준동형자의 카테고리적 트레이스는 국소 시스템 위의 함수 대수의 작용이 추적 연산자를 통해 포함된 자동형 양식의 공간과 동형이다.
• 추적 연산자는 A^⊗Y의 단위 대상의 자동형사상으로서 유한 집합 위의 코일리미트로 구성되며, 트레이스 구축을 통해 어떤 모듈러 카테고리에도 작용한다.
• 진공 경우의 S=T 항등식은 층 카테고리의 카테고리적 호흐실드 사슬과의 식별을 통해 증명된다.
• ULA 조건에 의해 쌍대성과 기저 변경과의 호환성이 보장되며, 이는 압축된 대상이 忘却 함자 아래에서도 압축된 상태로 유지됨을 보장한다.
• 잊기 함수 oblv의 이미지의 압축성은 ULA 성질과 동치이며, 이는 카테고리적 트레이스가 압축성을 유지함을 보여주는 데 사용된다.
• 주요 정리의 증명은 라이스 작용의 스펙트럼적 특성화와 헤케 작용이 노말리티 없는 특이 지지부를 유지함을 보여주는 데 의존하며, 이는 트레이스 구축의 타당성을 보장한다.