[논문 리뷰] Kloosterman sheaves for reductive groups

Jochen Heinloth, Ngô Bảo Châu외 1명|arXiv (Cornell University)|2010. 05. 16.

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

한 줄 요약

이 논문은 기하학적 리만드 프로그램의 프레임워크 내에서 기하적 방법을 사용하여 임의의 분할 재조화군 $\check{G}$에 대해 $ρ$-adic Kloosterman 층을 구성한다. 이들은 아핀 그라스만니안에서의 특이점 해소를 통해 일관된 방식으로 구성되며, 예외적 단일화군 $G_2$, $F_4$, $E_7$, $E_8$를 갖는 모티브적 갈루아 표현을 유도함을 증명한다. 또한 고전적 Kloosterman 층과 유사한 야수적 분기성과 단일화 성질을 확립한다.

ABSTRACT

Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for any reductive group in a uniform way, and describe the local and global monodromy of these Kloosterman sheaves. In particular, they give motivic Galois representations with exceptional monodromy groups G_2,F_4,E_7 and E_8. This also gives an example of the geometric Langlands correspondence with wild ramifications for any reductive group.

연구 동기 및 목표

• 임의의 분할 재조화군 $\check{G}$에 대해 Kloosterman 층을 구성함으로써, $\mathbb{G}_m$ 위의 고전적 Kloosterman 층을 일반화한다.
• 카츠의 질문에 답한다: 국소 체 위의 $\mathbb{G}_m$에서의 국소 시스템의 기하적 단일화군으로서 모든 단순군, 특히 예외적 군들이 나타날 수 있는가?
• 기하학적 리만드 프로그램의 프레임워크 내에서 이러한 Kloosterman 층을 실현하는 자동형 층의 통일된 기하적 구성법을 제공한다.
• 구축된 층의 국소 및 전반적 단일화군을 계산하며, 무한대에서의 야수적 분기성을 포함한다.
• 이 층들이 예외적 기하적 단일화군 $G_2$, $F_4$, $E_7$, $E_8$를 갖는 모티브적 갈루아 표현을 유도함을 보여준다.

제안 방법

• 아핀 그라스만니안 안에서 $\textup{Ad}(G)U^\times_{-\gamma,-1}$의 폐쇄를 해소하기 위한 사상 $\nu: G \times_{P_{-\theta}} (\prod_{\langle \beta, -\gamma^\vee \rangle \geq 2} U_{\beta,-1}) \to \operatorname{Gr}^{\textup{triv}}_{\leq \gamma^\vee}$ 를 사용한다.
• 기하적 설정에서 유도된 전진 이미지 $R\pi_!\sigma^*\textup{AS}_\psi[n-1]$ 를 통해 $\mathbb{G}_m$ 위의 $\check{G}$-국소 시스템 $\textup{Kl}_{\check{G}}$ 를 구성한다.
• 그로텐디크-레프셰츠 추적 공식을 적용하여 층의 단일화군을 지수합과 연결함으로써 고전적 Kloosterman 합을 일반화한다.
• 브루하트 분해와 피복별 오일러 특성 공식을 사용하여 아핀 그라스만니안의 스트라타에서 오일러 특성 $\chi_c$ 를 계산한다.
• 아핀 그라스만니안 위의 특성 $J$ 와 평가 사상에 의한 그의 풍선을 이용하여 단일화 불변량을 계산한다.
• 특수 군의 경우(예: $G_2$)에 대해 오비트와 해소 사상의 피복에서의 $\chi_c$ 계산을 통해 루트 시스템 분석으로 환원한다.

실험 결과

연구 질문

• RQ1 임의의 분할 재조화군 $\check{G}$에 대해 Kloosterman 층을 구성할 수 있는가? 특히 $\mathrm{GL}_n$ 외에도 가능한가?
• RQ2 이러한 층들이 $G_2$, $F_4$, $E_7$, $E_8$와 같은 예외적 기하적 단일화군을 갖는 모티브적 갈루아 표현을 실현하는가?
• RQ3 이 층들의 국소 및 전반적 단일화군은 무엇인가? 특히 무한대와 0에서의 성질은?
• RQ4 기하학적 리만드 상호관계에서 임의의 재조화군에 대해 야수적 분기성을 실현할 수 있는가?
• RQ5 기하학적 리만드 프로그램에서 이러한 Kloosterman 층을 실현하는 자동형 층의 통일된 구성법이 존재하는가?

주요 결과

• 논문은 아핀 그라스만니안에서의 특이점 해소를 통해 임의의 분할 재조화군 $\check{G}$에 대해 일관된 기하적 방법으로 $\ell$-adic Kloosterman 층 $\textup{Kl}_{\check{G}}$ 를 구성한다.
• $\textup{Kl}_{\check{G}}$ 는 0에서 희미하게 분기하며, 유니포텐트 단일화군을 갖는다. 무한대에서는 완전히 야수적으로 분기하며, 스완 계수는 1이다.
• 전반적 기하적 단일화군 $\check{G}_{\textup{geo}}$ 는 $\check{G}$ 자체와 동형임을 증명하여, 모든 재조화군, 특히 예외적 군들이 단일화군으로 나타남을 확인한다.
• $G_2$의 경우, $\chi_c(\operatorname{Gr}^{\textup{triv},a=0}_{\gamma^\vee},{\rm ev}^*J) = -1$ 이 되며, 이는 단일화 구조를 검증하는 데 필수적이다.
• 이 층들은 예외적 기하적 단일화군 $G_2$, $F_4$, $E_7$, $E_8$를 갖는 모티브적 갈루아 표현을 유도하며, 카츠의 질문에 긍정적인 답변을 제시한다.
• 이 구성은 기하학적 리만드 상호관계에서 임의의 재조화군에 대해 야수적 분기성을 갖는 첫 번째 예시를 제공한다. 이는 고전적 $\mathrm{GL}_n$ 이외의 경우에 해당한다.