[논문 리뷰] Décomposition au-dessus des paramètres de Langlands elliptiques

Vincent Lafforgue, Xinwen Zhu|arXiv (Cornell University)|2018. 11. 19.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 함수체 위의 비분할 재구성군에 대해 자동형식의 L-군 매개변수 분해를 확장하며, shtuka 스택의 귀납형 코homology가 타원형 L-군 매개변수에 따라 분해됨을 증명한다. 헤케-등변 코homology와 퇴행 연산자를 사용하여, L-군 표현과 자동형식이 일치하는 스펙트럼 분해를 수립한다. 이는 이전의 분할 케이스 결과를 기하학적 및 갈루아 이론적 기법을 통해 일반적인 설정으로 일반화한다.

ABSTRACT

We prove that, over any elliptic global Langlands parameter $σ$, the cuspidal cohomology groups of moduli stacks of shtukas are given by a formula involving a finite dimensional representation of the centralizer of $σ$. It is a first step in the direction of Arthur-Kottwitz conjectures.

연구 동기 및 목표

• 함수체 위의 전역 함수체에서 자동형식의 스펙트럼 분해를 L-군 매개변수를 통해 비분할 재구성군으로 일반화한다.
• Laf19의 히우리스틱 (8.3)이 비분할 케이스에서도 성립함을 정당화하며, 타원형 L-군 매개변수에서의 타당성을 확인한다.
• Xue18a의 분할 케이스 결과를 확장하여, 귀납형 코homology를 L-매개변수로 인덱싱된 성분들로의 표준적 분해를 수립한다.
• 귀납형 코homology 위에서 퇴행 대수의 작용이 L-군 표현 자료와 정확히 일치함을 기하학적 구성법을 통해 증명한다.
• Z_k 위에서의 중심자리 조건과 궤도 구조가 퇴행 대수를 체로 이끌며, 각 성분마다 유일한 L-매개변수를 유도한다.

제안 방법

• shtuka 스택의 컴acts지 코homology를 사용하여, \tilde{G} \times {}^L G^I의 표현에서 \tilde{T}_N-모듈에 갈루아 작용을 가진 \natural-함수자 \mathcal{H}^{\text{cusp}}를 구성한다.
• 퇴행 연산자 이론을 적용하여, \tilde{T}_N 및 갈루아 작용과 호환되는 \frak{B}^{\text{cusp}} 대수의 작용을 H^{\text{cusp}}_{I,W}에 정의한다.
• L-매개변수 \rho에 따라 인덱싱된 스펙트럼 분해 H^{\text{cusp}}_{I,W} \bigotimes \bar{\bbQ}_\bl \to \bigoplus (H^{\text{cusp}}_{I,W})_\rho 를 사용한다.
• L-군 { }^L G^n 내에서 n-튜플 (\rho(\tilde{\tau}_1), \rho(\tilde{\tau}_2), \text{...})의 중심자리 분석을 통해, 궤도가 중심 조각 Z_k와 한 점에서만 만난다면 \rho가 유일하게 결정됨을 보인다.
• 고정된 \rho에 대해 관련된 퇴행 대수 \frak{C}가 국소 아르틴 대수임을 증명하며, 궤도가 Z_k에서 고립되어 있다면 \frak{C} \to \bar{\bbQ}_\bl 가 동형임을 보인다.
• 공轭 조건과 궤도의 단사성을 사용하여 \beta = \rho임을 도출함으로써, \frak{C}의 유일한 특성은 \rho임을 증명하고, \frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z} 를 얻는다.

실험 결과

연구 질문

• RQ1 Laf19의 히우리스틱 분해 (8.3)이 함수체 위의 비분할 재구성군에 대해 성립하는가?
• RQ2 shtuka 스택의 귀납형 코homology는 타원형 L-군 매개변수로 인덱싱된 성분들로 분해될 수 있는가?
• RQ3 퇴행 대수의 귀납형 코homology 위 작용은 L-군 표현 자료와 호환되는가?
• RQ4 고정된 L-매개변수 \rho에 관련된 퇴행 대수의 구조는 무엇이며, 이는 해당 성분을 분류하는가?
• RQ5 n-튜플 (\rho(\tau_1), ..., \rho(\tau_n))이 ({ }^L G)^n 내에서 궤도가 어떤 조건에서 \rho를 유일하게 결정하는가?

주요 결과

• 귀납형 코homology H^{\text{cusp}}_{\text{reg}} 는 L-매개변수 \rho에 따라 직접합으로 분해되며, 각 성분 (H^{\text{cusp}}_{\text{reg}})_\rho 는 퇴행 대수 \frak{A}_\rho 와 동형이다.
• 모든 L-매개변수 \rho에 대해 관련된 퇴행 대수 \frak{C} 는 \bar{\bbQ}_\bl 위의 국소 아르틴 대수이며, 만약 (\rho(\tau_1), ..., \rho(\tau_n))의 궤도가 중심 조각 Z_k와 한 점에서만 만난다면 \frak{C} \to \bar{\bbQ}_\bl 는 동형이다.
• \frak{C}의 유일한 특성은 \rho 이므로 \frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z} 이며, 이는 성분이 \rho에 의해 제어됨을 증명한다.
• \frak{B}^{\text{cusp}} 가 H^{\text{cusp}}_{I,W} 위에 작용하는 것은 \tilde{T}_N-작용과 갈루아 작용과 호환되며, W에 대해 함자적이다.
• ({ }^L G) 내에서 (\rho(\tau_1), ..., \rho(\tau_n))의 중심자리는 \rho의 중심자리와 동형이므로, 궤도 조건 하에서 \rho의 유일성이 보장된다.
• 결과적으로, 퇴행 연산자를 통한 귀납형 코hom로의 스펙트럼 분해가 비분할 케이스에서도 L-군 매개변수화와 정확히 일치함을 확인한다.