[论文解读] Abelian Sheaves over Finite Fields

Matthias Bornhofen, Urs Hartl|arXiv (Cornell University)|Sep 26, 2006

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文建立了有限域上阿贝尔层的初等理论，确立了态射、同源、Tate模以及同源意义下的可约性等基础结果。证明了Tate定理在自同态代数上的类比结果，将已知的阿贝尔簇结果推广至更高维函数域情形，且直接应用于纯t-动机，因其与特征≠∞的阿贝尔层等价。

ABSTRACT

Abelian sheaves were introduced by the second author as higher dimensional generalizations of Drinfeld modules and as the appropriate analogues of abelian varieties in the arithmetic of function fields. In this article we devellop their elementary theory regarding morphisms, isogenies, Tate modules, and study their reducibility up to isogeny into direct sums of simple components. Over finite fields we investigate their endomorphism algebras and obtain similar results to Tate’s famous results for abelian varieties. Since abelian sheaves with characteristic different from ∞ are the same as Anderson’s pure t-motives equipped with additional structure at ∞, all our results are also valid for pure t-motives. Mathematics Subject Classification (2000): 11G09, (13A35, 16K20)

研究动机与目标

• 发展有限域上阿贝尔层的基础理论，包括态射、同源与Tate模。
• 研究阿贝尔层在同源意义下分解为单个分量的可约性。
• 确定有限域上阿贝尔层自同态代数的结构，类比于Tate对阿贝尔簇的结果。
• 通过利用特征≠∞的阿贝尔层与纯t-动机之间的等价性，将这些结果推广至纯t-动机。

提出的方法

• 作者使用阿贝尔层理论作为正特征函数域中德林引理模块与阿贝尔簇的高维类比。
• 他们利用范畴论与上同调工具分析阿贝尔层之间的态射与同源。
• Tate模作为扭点的逆极限构造，推广了经典阿贝尔簇中Tate模的构造。
• 对同源意义下的可约性研究依赖于同源范畴中的半单性结果与分解定理。
• 通过在Tate模上的作用分析自同态代数，并与阿贝尔簇理论中的已知结果进行比较。
• 利用特征≠∞的阿贝尔层与纯t-动机之间的等价性，将结果转移至t-动机设定中。

实验结果

研究问题

• RQ1 在有限域上阿贝尔层的范畴中，态射与同源如何表现？
• RQ2 在何种程度上，阿贝尔层可以同源意义下分解为单个分量？
• RQ3 有限域上阿贝尔层自同态代数的结构特性是什么？
• RQ4 阿贝尔层的自同态代数结果与Tate对阿贝尔簇的定理相比有何异同？
• RQ5 这些结果对纯t-动机理论有何影响？

主要发现

• 有限域上的阿贝尔层具有与阿贝尔簇类似的明确定义的同源、态射与Tate模理论。
• 每个有限域上的阿贝尔层同源于若干个简单阿贝尔层的直和，从而在同源范畴中建立了半单性结果。
• 有限域上阿贝尔层的自同态代数是一个有限维半单代数，其结构类比于Tate定理中的情形。
• 阿贝尔层的p进Tate模是秩等于该层维数两倍的自由Z_p-模，与经典情形一致。
• 阿贝尔层的自同态代数结果与纯t-动机的结果等价，这是由于在特征≠∞时，两类范畴之间已建立等价关系。
• 该理论为阿贝尔层提供了Tate同源定理的完整类比，包括自同态的Tate猜想。