[论文解读] Crystalline Chebotarëv density theorems

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

Algebraic Geometry and Number Theory参考文献 39被引用 5

一句话总结

本文利用Tannakian形式化，为有限域上曲线上的收敛$F$-等构层构造了Chebotar"ev密度定理的$p$-进类比。它证明了关于等构层直和以及在小开子曲线上拉回后具有阿贝尔单值性的半单过收敛$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$-等构层。
• 利用$p$-进伽罗瓦表示，为典型阿贝尔簇的同构性提供$p$-进证明。

提出的方法

• 利用Tannakian形式化，为收敛$F$-等构层提出一个猜想型的Chebotar"ev型密度定理。
• 通过Tannakian重构和群论技巧，证明该猜想适用于等构$F$-等构层的直和。
• 利用最大拟环和测度论论证，建立半单过收敛$F$-等构层的过收敛类比版Chebotar"ev定理。
• 应用弱Pink猜想和复线性代数群最大紧致子群的结果，控制单值群。
• 利用非中性Tannakian范畴和实代数几何中的测度论工具，分析共轭类及其交集。
• 借助de Jong关于$p$-可除群的定理和Dieudonn\'e模的结果，连接$p$-进与$l$-进情形。

实验结果

研究问题

• RQ1 能否在有限域上曲线上的$F$-等构层的$p$-进设定中构造Chebotar"ev密度定理？
• RQ2 在何种条件下，收敛$F$-等构层的单值群通过共轭类分布可确定其同构类？
• RQ3 Tannakian形式化是否能提供一个与$l$-进版本相媲美的$p$-进Chebotar"ev定理类比？
• RQ4 哪些结构条件（如半单性、过收敛性、单值性）能确保密度定理的有效性？
• RQ5 能否仅通过$p$-进伽罗瓦表示来刻画典型阿贝尔簇的同构性？

主要发现

• 猜想的$p$-进Chebotar"ev密度定理对等构$F$-等构层的直和成立，确立了强有力的单值控制。
• 通过过收敛类比版Chebotar"ev定理，证明了其在半单过收敛$F$-等构层上的成立性，这些层在小开子曲线上拉回后具有阿贝尔单值性。
• 该证明依赖于构造最大拟环，并分析其与Tannakian群中共轭类的交集。
• 一个关键技术工具是弱Pink猜想在弱牢固$F$-等构层上的成立，该结论在适当条件下被证明。
• 作者提供了定理1.1的$p$-进证明：在函数域上，两个典型阿贝尔簇同构当且仅当其$p$-进伽罗瓦表示$V_p(A)$与$V_p(B)$同构。
• 利用代数超曲面及其$\rho$-邻域的测度论结果，控制了单值群中共轭类的密度。