[논문 리뷰] A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)

Hélène Esnault, Moritz Kerz|arXiv (Cornell University)|2012. 08. 01.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 37

한 줄 요약

이 논문은 유한체 위의 매끄러운 다양체에서의 무한소 $ar{\mathbb{Q}}_\ell$-층에 대한 Deligne의 유한성 정리에 대한 상세한 기술을 제공한다. 이는 임의의 분해율이 유계일 때, 스트레칭과 동형류를 제외한 이러한 층이 유한함을 보여준다. 증명은 곡선에 대한 Lafforgue의 Langlands 대응에 기반하며, $`\mathbb{Q}$ 위의 유한형 아핀 모듈리 공간을 구성함으로써, 모든 프로베누스 추적값이 고정된 수체에 속해 있음을 도출한다.

ABSTRACT

Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The proof relies on Lafforgue's Langlands correspondence over curves. In addition, Deligne shows the existence of affine moduli of finite type over $\mathbb{Q}$. A corollary of Deligne's finiteness theorem is the existence of a number field which contains all traces of the Frobenii at closed points, which was the main result of his recent article and which answers positively his own conjecture from Weil II.

연구 동기 및 목표

• 유한체 위의 매끄러운 다양체에서의 무한소 $\bar{\mathbb{Q}}_\ell$-층에 대한 Deligne의 유한성 정리 증명을 상세하고 접근하기 쉬운 방식으로 기술하는 것.
• 유계 랭크와 유계 분해율을 가진 기약 무한소 $\bar{\mathbb{Q}}_\ell$-층이 스트레칭과 동형류를 제외하고는 유한함을 입증하는 것.
• 이러한 층을 매개하는 $`\mathbb{Q}$ 위의 유한형 아핀 모듈리 공간이 존재함을 보이는 것.
• 이러한 층의 모든 프로베누스 추적값이 고정된 수체에 속해 있음을 증명하여, Weil II의 Deligne의 추측 (ii)를 확인하는 것.
• 이러한 유한성의 결과가 유한체 위에서의 상대 Chow 군의 0-사이클과 고차원 클래스 체계론에 미치는 영향을 탐구하는 것.

제안 방법

• 곡선에 대한 Lafforgue의 Langlands 대응을 활용하여 문제를 매끄러운 곡선의 경우로 축소하는 것.
• Deligne의 핵심 정리인, 유계 차수를 가진 유한한 수의 닫힌 점에서 프로베누스 특성다항식이 주어지면, 반단순 무한소 $`\bar{\mathbb{Q}}_\ell$-층이 결정됨을 이용하는 것.
• 다양체 $X$로 가는 곡선 위의 층의 일관된 체계를 매개하는, $`\mathbb{Q}$ 위의 유한형 아핀 스킴으로서의 2-스켈레톤 층의 개략 모듈리 공간 $L_r(X,D)$를 구성하는 것.
• Hilbert의 비가소성 정리를 적용하여, 주어진 층의 당김이 여전히 기약임을 보장하는 매끄러운 곡선 $C$를 $X$로 매핑하는 것을 구성하는 것.
• Zariski의 주요 정리와 콪막힘의 귀납적 구성 방법을 사용하여 열린 부분스킴들의 체계를 안정화하고 전이 사상의 유한성을 도출하는 것.
• 스트레칭을 제외한 기약 무한소 $`\bar{\mathbb{Q}}_\ell$-층과 모듈리 공간의 특정 1차원 기약 성분 사이의 전단사 사상 수립

실험 결과

연구 질문

• RQ1 유한체 위의 매끄러운 다양체에서 유계 랭크와 유계 분해율을 가진 기약 무한소 $`\bar{\mathbb{Q}}_\ell$-층은 스트레칭과 동형류를 제외하고는 유한한가?
• RQ2 이러한 층의 프로베누스 추적값은 닫힌 점에 관계없이 하나의 수체에 균일하게 유계가 되는가?
• RQ3 유한체 위의 다양체에서 유계 분해율을 가진 2-스켈레톤 층이 반드시 그 다양체 위의 무한소 $`\bar{\mathbb{Q}}_\ell$-층으로부터 유도되는가?
• RQ4 이러한 층의 모듈리 공간은 $`\mathbb{Q}$ 위에서 유한형이며, 명시적으로 구성될 수 있는가?
• RQ5 이러한 유한성의 결과로 인해, 유한체 위에서의 상대 Chow 군의 0-사이클과 모듈러스를 가진 부분군에 어떤 영향을 미치는가?

주요 결과

• 매끄러운 다양체 위의 유한체에서 주어진 랭크를 가진 기약 무한소 $`\bar{\mathbb{Q}}_\ell$-층은 분해율이 적절히 유계일 경우 스트레칭과 동형류를 제외하고는 유한하다.
• 랭크 $r$과 유계 분해율을 가진 2-스켈레톤 층의 모듈리 공간 $L_r(X,D)$는 $`\mathbb{Q}$ 위의 유한형 아핀 스킴이며, $X$로 가는 곡선 위의 일관된 층 체계를 매개한다.
• 스트레칭을 제외한 기약 무한소 $`\bar{\mathbb{Q}}_\ell$-층은 모듈리 공간 $L_r(X,D)$의 특정 1차원 기약 성분과 전단사로 대응된다.
• 이러한 층의 모든 닫힌 점에서의 프로베누스 추적값은 고정된 수체 $E(V) \subset \bar{\mathbb{Q}}_\ell$에 속하며, Deligne의 추측 (ii)를 Weil II에서 확인한다.
• 다양체 $X$에서 유계 모듈러스를 가진 0-사이클의 상대 Chow 군의 차수 0 부분은 유한하다. 이는 유한성 정리의 결과이다.
• 모듈리 공간의 구성은 Hilbert의 비가소성 정리와 곡선 제약에 관한 핵심 정리의 정교한 응용에 기반하며, Deligne의 원래 증명을 단순화한다.