[论文解读] Change of Coefficients for Drinfeld Modules, Shtuka, and Abelian Sheaves

Urs Hartl, Markus Hendler|ArXiv.org|Aug 10, 2006

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文研究了沿有限平坦态射 $\pi: C' \to C$ 的曲线之间从 Drinfeld $A'$-模到 Drinfeld $A$-模的系数限制函子。证明了由此诱导的模空间之间的态射是完备的但不可表示的，该结果通过类似技术推广至 Drinfeld-Anderson shtuka 和阿贝尔层，对正特征几何中的模理论具有关键意义。

ABSTRACT

We study the passage from Drinfeld-A'-modules to Drinfeld-A-modules for a given finite flat inclusion A \subset A'. We show that this defines a morphism from the moduli space of Drinfeld-A'-modules to the moduli space of Drinfeld-A-modules which is proper but in general not representable. For Drinfeld-Anderson shtuka and abelian sheaves instead of Drinfeld modules we obtain the same results.

研究动机与目标

• 分析有限域上曲线之间的有限平坦态射 $\pi: C' \to C$ 下 Drinfeld 模的系数限制行为。
• 将分析扩展至高维情形中推广 Drinfeld 模的 Drinfeld-Anderson shtuka 和阿贝尔层。
• 确定由系数限制诱导的模空间之间的态射是否可表示，这是模理论中的核心问题。
• 通过显式反例建立完备性的赋值准则并证明不可表示性。
• 通过系数限制函子的统一框架，统一处理这三类相关的几何对象。

提出的方法

• 在 $\mathbb{F}_q$ 上的概形上定义 Drinfeld $A$-模、shtuka 和阿贝尔层，使用环 $A = \Gamma(C \setminus \{\infty\}, \mathcal{O}_C)$。
• 通过沿 $\pi^*: A \to A'$ 的拉回构造系数限制函子，诱导模函子之间的态射。
• 利用 Drinfeld 模与 Drinfeld-Anderson shtuka 之间、Drinfeld 模与阿贝尔层之间的反等价关系，转移结果。
• 使用赋值准则证明完备性：任何在离散赋值环的分式域上的同构均可唯一扩张至该环。
• 通过阿贝尔层构造显式反例以证明不可表示性，依赖于某些 $\tau$-模的非自由性。
• 应用 Gardeyn 等人关于 $\tau$-模及 $\Pi_i^{-1} \circ \tau_i$-不变子模极大性的结果，以建立同构提升性质。

实验结果

研究问题

• RQ1 由系数限制诱导的 Drinfeld $A'$-模与 Drinfeld $A$-模的模空间之间的态射是否完备？
• RQ2 该态射是否可表示，或模堆栈结构中是否存在障碍？
• RQ3 Drinfeld 模的结果在多大程度上可推广至 Drinfeld-Anderson shtuka 和阿贝尔层？
• RQ4 是否可通过显式几何反例证明不可表示性？
• RQ5 系数限制函子在堆层面上的行为如何，特别是其赋值准则方面？

主要发现

• 从 Drinfeld $A'$-模的模空间到 Drinfeld $A$-模的模空间的系数限制态射是完备的，满足赋值准则。
• 该态射在一般情况下不可表示，通过在离散赋值环上构造的阿贝尔层反例得以证明。
• 不可表示性源于某一 $\tau$-模非自由，导致无法将分式域上的同构提升至整环。
• 结果可直接推广至 Drinfeld-Anderson shtuka 和阿贝尔层，具有相同的完备性与不可表示性性质。
• Drinfeld 模完备性证明推广了 F. Breuer 的一个特例，使用 $\tau$-模极大性论证。
• 赋值准则中的同构提升性质成立：任何在赋值环的通用点上的同构均可唯一扩张至整个环，从而确认完备性。