[논문 리뷰] Crystalline Chebotarëv density theorems

Urs Hartl, Ambrus Pál|arXiv (Cornell University)|2018. 11. 17.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 5

한 줄 요약

이 논문은 유한체 위의 곡선에서 수렴하는 $F$-이소클리스터에 대해 $p$-진 Chebotar"ev의 밀도 정리의 초월적 대응을 Tannakian 체계를 사용하여 제시한다. 직접 합으로 이루어진 이소클리닉 $F$-이소클리스터와, 작은 열린 부분곡선으로의 풀백 후 아벨리안 단일화를 갖는 반수렴성 $F$-이소클리스터의 경우 추측을 증명함으로써, $p$-진 갈루아 표현 이론의 기초 도구를 확립한다.

ABSTRACT

Using the Tannakian formalism, we formulate conjectural analogs of Chebotarëv's Density Theorem for $F$-isocrystals over a smooth geometrically irreducible variety defined over a finite field. We prove these analogs for several large classes, including (a) constant $F$-isocrystals, (b) direct sums of isoclinic convergent $F$-isocrystals, (c) semi-simple overconvergent $F$-isocrystals, and (d) semi-simple convergent $F$-isocrystals which have an overconvergent extension. Case (a) is a generalization of the Mordell-Lang Conjecture for tori and enters in the proofs of (b) and (c). For (b) we use the classical Chebotarëv Density Theorem, and point counting techniques in $p$-adic Lie groups building on a result of Oesterlé. For (c) we give two proofs. One of them uses deep input on the Langlands correspondence by Abe and Lafforgue, and the theory of Frobenius weights of Kedlaya, Abe and Caro. Building on this we formulate and prove the $p$-adic analog of Deligne's Equidistribution Theorem. Then (c) follows by applying real algebraic geometry to maximal compact subgroups in complex algebraic groups, measure theory, and a convergence result on complex hypersurfaces. For (d) we develop the theory of maximal quasi-tori (generalizing maximal tori in non-connected linear algebraic groups) and use D'Addezio's result on Crew's parabolicity conjecture to reduce to (b). These arguments also yield a second proof of (c). Besides of the deep inputs mentioned above and some Tannakian arguments, our main technique is the theory of linear algebraic groups. We include a comparison with the recent article of Cadoret and Tamagawa on the same topic.

연구 동기 및 목표

• 유한체 위의 곡선에서의 $F$-이소클리스터에 대해 $p$-진 Chebotar"ev의 밀도 정리의 초월적 대응을 개발하기.
• 수렴하는 $F$-이소클리스터의 모노드로미를 이해하기 위한 Tannakian 체계를 수립하기.
• 핵심 케이스인 이소클리닉 및 반단순 반수렴성 $F$-이소클리스터(모노드로미가 아벨리안인 경우)에 대해 추측된 밀도 정리를 증명하기.
• Ordinary 아벨 다양체의 이소지니를 $p$-진 갈루아 표현을 통해 순수하게 특징짓기.

제안 방법

• Tannakian 체계를 사용하여 수렴하는 $F$-이소클리스터에 대해 추측된 Chebotar"ev 유형의 밀도 정리를 제안하기.
• Tannakian 재구성과 군론적 기법을 통해 직접 합으로 이루어진 이소클리닉 $F$-이소클리스터의 추측을 증명하기.
• 최대 준토리와 측도론적 추론을 사용하여 반단순 반수렴성 $F$-이소클리스터에 대해 Chebotar"ev의 정리의 반수렴성 대응을 수립하기.
• 약한 Pink 추측과 복소선형 대수적 군의 최대 컴act 부분군에 관한 결과를 활용하여 모노드로미 군을 제어하기.
• 비중심 Tannakian 범주와 실대수기하학에서 유래한 측도론적 도구를 사용하여 공轭류와 그 교차를 분석하기.
• de Jong의 $p$-나누어지는 군에 관한 정리와 Dieudonn\'e 모듈러에 관한 결과를 활용하여 $p$-진과 $l$-진 설정 간의 다리를 놓기.

실험 결과

연구 질문

• RQ1 유한체 위의 곡선에서의 $F$-이소클리스터에 대해 $p$-진 설정에서 Chebotar"ev의 밀도 정리를 어떻게 제안할 수 있는가?
• RQ2 수렴하는 $F$-이소클리스터의 모노드로미 군이 공轭류 분포를 통해 그 이so모르피즘 유형을 결정할 수 있는 조건은 무엇인가?
• RQ3 Tannakian 체계는 $l$-진 설정과 유사한 $p$-진 초월적 대응의 Chebotar"ev 정리를 가능하게 하는가?
• RQ4 어떤 구조적 조건(예: 반단순성, 반수렴성, 모노드로미 등)이 밀도 정리의 타당성을 보장하는가?
• RQ5 Ordinary 아벨 다양체의 이소지니는 순수하게 그들의 $p$-진 갈루아 표현으로 특징지워질 수 있는가?

주요 결과

• 직접 합으로 이루어진 이소클리닉 $F$-이소클리스터에 대해 추측된 $p$-진 Chebotar"ev 밀도 정리가 성립하여 강력한 모노드로미 제어를 확보한다.
• 작은 열린 부분곡선으로의 풀백 후 아벨리안 모노드로미를 갖는 반단순 반수렴성 $F$-이소클리스터에 대해, Chebotar"ev의 정리의 반수렴성 대응을 통해 정리를 증명한다.
• 증명은 최대 준토리의 구성과 Tannakian 군 내 공轭류와의 교차 분석에 기반한다.
• 핵심 기술적 도구는 약한 firm $F$-이소클리스터에 대한 약한 Pink 추측으로, 적절한 조건 하에서 이를 확립한다.
• 저자들은 정리 1.1의 $p$-진 증명을 제공한다: 함수체 위의 두 ordinary 아벨 다양체는 $p$-진 갈루아 표현 $V_p(A)$와 $V_p(B)$가 이so모르픽일 때에만 이소지니한다.
• 대부분의 초면과 그들의 $\rho$-근접 영역에 관한 측도론적 결과를 사용하여 모노드로미 군 내 공轭류의 조밀도를 제어한다.