[논문 리뷰] Coherent sheaves on the stack of Langlands parameters

Xinwen Zhu|arXiv (Cornell University)|2020. 08. 07.

Advanced Algebra and Geometry참고 문헌 65인용 수 21

한 줄 요약

이 논문은 국소 및 글로벌 함수체 설정에서 랑글랜드 매개변수 스택 위의 코herent sheaf를 도입하여 산술 랑글랜드 프로그램에 대한 범주론적 프레임워크를 제안한다. 이들은 이러한 sheaf가 국지-글로벌 호환성, 헤크 작용, 시무라 및 라파포르트-지نك 공간의 코호몰로지와 연결되는 추측을 제기하며, 주요 결과로 유도된 S = T 추측과 일반화된 라파포르트-지نك 공간에 대한 코호몰로지 공식을 포함한다.

ABSTRACT

We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known results as evidences of these conjectures.

연구 동기 및 목표

• 국소 산술 랑글랜드 상호작용의 범주론적 버전을 랑글랜드 매개변수 스택 위의 코herent sheaf를 사용하여 제안한다.
• 산술 랑글랜드 프로그램에서 국지-글로벌 호환성에 대한 기하학적 프레임워크를 제공한다.
• 이러한 스택 위의 코herent sheaf가 헤크 작용을 통해 시무라 다양체와 라파포르트-지نك 공간의 코호몰로지와 연결되는 방식을 연결한다.
• 기하학적 랑글랜드의 맥락에서 유도된 헤크 대수로 S = T 정리를 일반화한다.
• 인코herent sheaf와 국지 계열을 사용하여 일반화된 라파포르트-지نك 공간에 대한 추측적 코호몰로지 공식을 수립한다.

제안 방법

• 유도 대수기하학을 사용하여 함수체 설정에서 국소 및 글로벌 랑글랜드 매개변수의 모듈리 스택을 구성한다.
• 갈루아 군에서 랑글랜드 쌍대군으로의 연속 호모모르피즘의 모듈리 공간으로서 산술 랑글랜드 매개변수의 스택을 도입한다.
• 이러한 스택 위의 코herent sheaf를 랑글랜드 상호작용을 지배하는 중심 대상으로 정의한다.
• 유도된 헤크 대수와 인코herent sheaf를 사용하여 이러한 sheaf가 시무라 및 라파포르트-지넥 공간의 코호몰로지와 연결되는 방식을 기술한다.
• [49] 및 [27]의 함자적 프레임워크를 적용하여 sheaf가 국소 랑글랜드 상호작용의 기하화와 연결되는 방식을 기술한다.
• 유도된 코herent sheaf의 범주와 헤크 고유sheaf 사이의 추측적 동치를 제안하며, 이는 S = T 원리를 일반화한다.

실험 결과

연구 질문

• RQ1 스택 위의 코herent sheaf는 어떻게 국소 산술 랑글랜드 상호작용의 범주론적 공식화를 제공할 수 있는가?
• RQ2 이러한 sheaf와 글로벌 함수체 설정에서 시무라 다양체의 코호몰로지 사이의 정확한 관계는 무엇인가?
• RQ3 유도된 헤크 대수는 Shtuka와 시무라 다양체의 코호몰로지에 어떻게 작용하며, 이는 제안된 sheaf와 어떻게 관련되는가?
• RQ4 제안된 sheaf 이론적 프레임워크에서 일반화된 라파포르트-지넥 공간에 대한 추측적 코호몰로지 공식을 유도할 수 있는가?
• RQ5 내성적 안정 중심은 제안된 sheaf를 통해 코호몰로지 위에 헤크 작용을 실현하는 데 어떤 역할을 하는가?

주요 결과

• 추측 4.60은 국소 스택 위의 sheaf의 Hom 공간에서 코호몰로지의 Hom 공간으로의 자연스러운 사상이 존재한다고 제안하며, 이는 합성과 호환되며, S = T 원리를 유도된 헤크 대수로 확장한다.
• 제안된 sheaf를 통한 헤크 작용의 조합은 시무라 다양체의 코호몰로지 위에 자연스러운 헤크 작용과 일치할 것이라 추측된다.
• 추측 4.62는 라파포르트-지넥 공간의 컴act 지지 코호몰로지와 sheaf의 Hom 공간 사이의 HK × WE × Gb(F)--equivariant 동형을 제공하며, 오른쪽 항은 음이 아닌 차수에 농축되어 있다.
• 이 추측은 기본적인 라파포르트-지넥 공간의 코호몰로지가 중간 차수 이하에서 영이 되어야 한다는 일반적인 기대와 일치한다.
• 국소 스택의 고립된 매끄러운 점에서 오른쪽 항의 코호몰로지 공식은 차수 0에 집중되어 있을 것으로 기대된다.
• 이 프레임워크는 [77, 83]에 의해 확인된 초특수 수준의 경우의 알려진 결과들과 일관되며, 이를 유도된 설정으로 확장한다.