[논문 리뷰] On the local Langlands correspondence

Michael Harris|ArXiv.org|2003. 04. 22.

Advanced Algebra and Geometry참고 문헌 22인용 수 18

한 줄 요약

이 논문은 비아르키메데스 현수체 $F$ 위의 $GL(n)$에 대한 국소 리만-랑랜즈 대응을 검토하며, 시무라 다양체와 드리플린트의 변형 공간의 $\ell$-adic 코hom올로지에 기반한 전역적 증명을 다룬다. 이 대응의 특성은 핵심 불변량의 보존을 통해 규명되며, 부쉬넬-쿠츠코 유형과 갈루아 표현 간의 연결을 포함한 순수 국소적 증명의 탐색이 중심 열린 문제로 지적된다.

ABSTRACT

The local Langlands correspondence for GL(n) of a non-Archimedean local field $F$ parametrizes irreducible admissible representations of $GL(n,F)$ in terms of representations of the Weil-Deligne group $WD_F$ of $F$. The correspondence, whose existence for $p$-adic fields was proved in joint work of the author with R. Taylor, and then more simply by G. Henniart, is characterized by its preservation of salient properties of the two classes of representations. The article reviews the strategies of the two proofs. Both the author's proof with Taylor and Henniart's proof are global and rely ultimately on an understanding of the $\ell$-adic cohomology of a family of Shimura varieties closely related to GL(n). The author's proof with Taylor provides models of the correspondence in the cohomology of deformation spaces, introduced by Drinfeld, of certain $p$-divisible groups with level structure.

연구 동기 및 목표

• 전역 코호몰로지 증명을 비교 검토함으로써 $GL(n,F)$에 대한 국소 리만-랑랜츠 대응을 다루며, 특히 허리스-테일러와 헨니아르의 증명을 중심으로 한다.
• 전역 아수정 또는 산술기하학에 의존하지 않는 순수 국소적 구성의 탐색을 정당화한다.
• 특히 $p$-진 및 $\ell$-adic 코호몰로지의 모듈라이 공간인 $p$-나누어지지 않는 군의 코호몰로지 실현을 포함해 국소 리만-랑랜츠 대응의 코호몰로지 실현을 탐색한다.
• 부쉬넬-쿠츠코 유형으로 매개화된 초임계 표현과 그 갈루아 이론적 대응 간의 관계를 조사한다.
• 비에르니에의 모oduляр 국소 리만-랑랜츠 대응이 $p$-진 또는 $\ell$-adic 코호몰로지에서 코호몰로지 실현을 갖는지 여부를 검토한다.

제안 방법

• 특히 $p$-나누어지지 않는 군의 수준 구조를 갖는 드리플린트의 변형 공간과 관련된 $GL(n)$에 관련된 시무라 다양체의 $\ell$-adic 코호몰로지에 기반한 전역적 방법을 활용한다.
• 콤���-모드-센터 부분군 $H \subset GL(n,F)$에서의 컴팩트 유도를 통한 유형 이론을 적용하며, 표현 $\rho$를 통해 초임계 표현을 매개화한다.
• 갈루아 측면에서 Weil-Deligne 군 $WD_F$를 사용하며, 프로베니우스의 단순 작용과 유니포텐트 모노드로미를 포함한다.
• 베른스타인-젤레브스키 감소를 통해 초임계 표현으로의 감소를 통해 대응을 $\mathcal{A}_0(n,F)$ 및 $\mathcal{G}_0(n,F)$의 경우로 축소한다.
• 초임계 표현의 분포 특성 $\chi_\pi$와 트레이스 공식 및 특성 항등식을 통한 갈루아 표현 간의 관계를 분석한다.
• $p$-진 및 리지드 코호몰로지에서의 코호몰로지 실현을 고려하며, 특히 $\tilde{\Omega}^n_F$ 및 $\mathcal{M}^{n}_{LT,F}$를 통해 $p$-진 표현의 모od $p$ 변형을 탐지한다.

실험 결과

연구 질문

• RQ1 국소 리만-랑랜츠 대응은 전역 아수정 또는 산술기하학에 의존하지 않고 순수 국소적으로 구성될 수 있는가?
• RQ2 초임계 표현 $\pi$의 부쉬넬-쿠츠코 유형 $(H,\rho)$로부터 직접적으로 갈루아 표현 $\sigma(\pi)$를 정의할 수 있는가?
• RQ3 비에르니에의 모듈라 국소 리만-랑랜츠 대응이 $p$-진 또는 $\ell$-adic 코호몰로지에서 코호몰로지 실현을 갖는가?
• RQ4 특히 $n$이 $p$와 서로소일 경우, 분포 특성 $\chi\_\pi$와 갈루아 표현 $\sigma(\pi)$ 간의 정확한 관계는 무엇인가?
• RQ5 유형 $(H,\rho)$가 $\tilde{\Omega}^n_F$ 또는 $\mathcal{M}^{n}_{LT,F}$ 내의 부분複體 또는 부분다양체로 실현될 수 있는가? 이 경우 그 코호몰로지가 대응을 실현하는가?

주요 결과

• GL(n,F)에 대한 국소 리만-랑랜츠 대응은 전역적 방법을 통해 확립되었다: 허리스-테일러는 시무라 다양체와 드리플린트의 변형 공간의 $\ell$-adic 코호몰로지를 사용하였고, 헨니아르는 동일한 코호몰로지 프레임워크를 사용한 더 단순한 증명을 제시하였다.
• 대응은 중심 특성 및 아르틴의 도함수를 보존하고, 비분비 특성에 대한 회전과의 호환성에 의해 유일하게 특성화된다.
• 헤니아르에 의해 증명된 수치적 국소 리만-랑랜츠 대응 $|\mathcal{A}_0(n,F)[a]| = |\mathcal{G}_0(n,F)[a]|$는 도함수를 고정한 궤도 수준에서의 이중사상 존재성을 확립하였다.
• 특히 $n=2$일 경우, 특성 전개에서 계수 $a_\pi(K,\xi)$의 비영성은 터넬과 사이다가 보여준 바와 같이 국소 $\varepsilon$-인자 $\varepsilon(\frac{1}{2}, \sigma(\pi) \otimes \xi^{-1}, \psi)$와 관련이 있다.
• 레임안의 추측(모이에 기반)은 $n$이 $p$와 서로소일 경우 분포 특성 $\chi_\pi$를 $\sigma(\pi)$로 표현하며, 부쉬넬과 헨니아르의 진행 중인 연구는 이 추측이 이차 비분비 회전까지는 성립함을 시사한다.
• 젠에스티에르와 스트로우의 최근 발표에 따르면, $n=2$일 경우 특정 유형 $(H,\rho)$가 $\mathcal{M}^{n}_{LT,F}$의 코호몰로지 안에 실현될 수 있으며, 이는 유형의 코호몰로지 실현 가능성을 지지한다.