[논문 리뷰] Local-global compatibility over function fields

Siyan Daniel Li-Huerta|arXiv (Cornell University)|2023. 01. 23.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 양의 특성에서의 함수체에 대한 전역 리만-랑글란스 대응의 국소-전역 호환성을 확립하며, V. Lafforgue의 자동형-갈루아 사상이 Fargues–Scholze의 반단순 국소 리만-랑글란스 대응과 가환함을 증명한다. shtuka의 모듈리 공간에 대한 통일화 사상(Uniformization morphism)을 사용하여, 저자들은 반단순 대응을 비반단순 형태로 자연스럽게 올리고, Fargues–Scholze의 구성이 Genestier–Lafforgue의 구성과 일치함을 보여, 이 분야에서 오랫동안 남아 있던 문제를 해결한다.

ABSTRACT

We prove that V. Lafforgue's global Langlands correspondence is compatible with Fargues-Scholze's semisimplified local Langlands correspondence. As a consequence, we canonically lift Fargues-Scholze's construction to a non-semisimplified local Langlands correspondence for positive characteristic local fields. We also deduce that Fargues-Scholze's construction agrees with that of Genestier-Lafforgue, answering a question of Fargues-Scholze, Hansen, Harris, and Kaletha. The proof relies on a uniformization morphism for moduli spaces of shtukas.

연구 동기 및 목표

• 함수체에서 양의 특성에 대해 Lafforgue의 전역 리만-랑글란스 대응과 Fargues–Scholze의 반단순 국소 리만-랑글란스 대응 간의 국소-전역 호환성을 확립한다.
• 양의 특성에서의 국소 필드에 대해 Fargues–Scholze의 반단순 국소 리만-랑글란스 대응을 비반단순 형태로 자연스럽게 올리는 것.
• Fargues–Scholze, Hansen, Harris, Kaletha가 제기한 질문을 해결하기 위해, Fargues–Scholze와 Genestier–Lafforgue의 구성이 양의 특성에서 일치함을 증명한다.
• 반단순 국소 리만-랑글란스 대응이 양의 특성 설정에서 국소 잭켁-랑글란스 대응과 호환됨을 검증한다.

제안 방법

• 전역 shtuka의 모듈리 공간에 대한 통일화 사상을 사용하여 국소와 전역 기하학적 구조를 연결한다.
• 교차 코호몰로지의 shtuka 모듈리 스택을 통해 전역 및 국소 설정 간의 교환자 연산자와 그 호환성을 기반으로 한다.
• Xue의 결과를 응용하여 shtuka 모듈리 공간의 컴act support된 교차 코호몰로지 위에서의 위엘 군 작용을 적용한다.
• Beuzart-Plessis의 전역화 기법과 Heinloth–Ngô–Yun, Xu–Zhu의 ℓ-진 클루스터만 층 및 그 p-진 동반체를 활용한다.
• 델 라인의 순수성 정리를 적용하여 갈루아 표현의 기약성과 순수성을 도출하고, L-매개변수의 비교를 가능하게 한다.
• 베르너스 중심과 히크-이겐세프 기법을 사용하여, 사타케 동형사상과 고유값 매칭을 통한 자동형 측과 갈루아 측의 비교를 수행한다.

실험 결과

연구 질문

• RQ1 Lafforgue의 전역 리만-랑글란스 대응은 양의 특성에서의 함수체에 대해 Fargues–Scholze의 반단순 국소 리만-랑글란스 대응과 가환하는가?
• RQ2 Fargues–Scholze의 반단순 국소 리만-랑글란스 대응은 양의 특성에서 비반단순 형태로 자연스럽게 올릴 수 있는가?
• RQ3 Fargues–Scholze와 Genestier–Lafforgue의 국소 리만-랑글란스 대응 구성은 양의 특성에서 일치하는가?
• RQ4 반단순 국소 리만-랑글란스 대응은 양의 특성 설정에서 국소 잭켁-랑글란스 대응과 호환되는가?

주요 결과

• 정리 A는 Lafforgue의 전역 리만-랑글란스 대응이 Fargues–Scholze의 반단순 국소 대응과 호환됨을 보이며, 그 그림의 사각형이 가환함을 증명한다.
• 정리 B는 Fargues–Scholze의 반단순 대응이 양의 특성에서 국소 필드에 대해 비반단순 국소 리만-랑글란스 대응으로 자연스럽게 올라감을 보여준다.
• 정리 C는 Fargues–Scholze와 Genestier–Lafforgue의 국소 리만-랑글란스 대응 구성이 양의 특성에서 동일함을 확인한다.
• 정리 D는 반단순 국소 리만-랑글란스 대응이 양의 특성에서 중심 단순 대수의 단위에 대해 국소 잭켁-랑글란스 대응과 가환함을 검증한다.
• 정리 A의 증명은 모든 재구성군 G에 대해 균일하게 적용되며, 이전 연구에서 사용된 군별 특수한 추론을 피한다.
• 저자들은 파라보릭 유도, 문자에 의한 회전, 국소 호환성 성질을 만족하는 모든 국소 리만-랑글란스 대응이 유일함을 보여주는 추상적 유일성 논증을 제공하며, 이는 Fargues–Scholze와 Genestier–Lafforgue의 대응이 일치함을 확인한다.