[论文解读] Drinfeld modular curves have many points

Lenny Taelman|ArXiv.org|Feb 8, 2006

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

一句话总结

本文证明了德林费尔德模曲线在素理想下的约化在有限域上实现了有理点数的渐近最优值，扩展了伊哈拉对经典模曲线的结果。通过将伊哈拉的迹论证方法适配到德林费尔德模情形，本文建立：模 $\mathfrak{p}$ 的 $g$-亏格曲线 $X_0(\mathfrak{n})$ 在 $\mathbb{F}_{q^{2m}}$ 上至少具有 $(q^m - 1)(g - 1)$ 个有理点，其中 $q^m$ 是 $\mathfrak{p}$ 的剩余域大小，从而构造出具有大量有理点的显式曲线塔。

ABSTRACT

Ihara's proof that the reduction of the modular curve $X_0(n)$ at a prime $p$ not dividing $n$ has many points over a quadratic extension is adapted to the drinfeld modular curves $X_0(n)$. In order to do so, some properties of drinfeld modular varieties that have no proof in the literature are proven. The text is more or less self-contained.

研究动机与目标

• 证明德林费尔德模曲线的约化在有限域上达到渐近最优的有理点数，类似于伊哈拉对经典模曲线的结果。
• 将此前仅应用于模曲线的伊哈拉迹论证方法扩展至德林费尔德模曲线的情形，而后者在文献中尚缺乏全面的基础理论。
• 构造在有限域上具有渐近最大点数的、亏格递增的显式曲线塔，提供具有大量点的新例子。
• 发展德林费尔德模曲线的必要理论，包括水平结构、模函子和紧化，以支持主要结果。

提出的方法

• 通过同源和弗罗贝尼乌斯扭构造 $X_0(\mathfrak{n}\mathfrak{p})$ 到 $X_0(\mathfrak{n})$ 的两个映射，将伊哈拉的迹方法适配到德林费尔德模曲线。
• 利用弗罗贝尼乌斯自同态 $\tau^m$ 在模 $\mathfrak{p}$ 约化上的作用，在 $\Bbbk(\mathfrak{p})$ 上的乘积曲面 $X_0(\mathfrak{n}) \times X_0(\mathfrak{n})$ 上定义一个对应关系 $\Pi \cup \Pi^t$。
• 将 $\mathbb{F}_{q^{2m}}$-有理点的集合识别为 $\Pi \cap \Pi^t$，其对应于 $\tau^m \circ \tau^m$ 的不动点。
• 应用赫尔维茨公式与欧拉-庞加莱示性数计算，将覆盖曲线 $\tilde{T}$ 的亏格与 $\Pi \cap \Pi^t$ 中的特殊点数联系起来，这些点与有理点一一对应。
• 通过亏格公式 $g_0 - 1 = 2(g - 1) + \#\{\text{特殊点}\}$，证明有理点数下界为 $(q^m - 1)(g - 1)$，其中 $g$ 为曲线的亏格，$q^m = |\Bbbk(\mathfrak{p})|$。
• 证明模空间 $X_0(\mathfrak{n})$ 参数化秩为 2 的德林费尔德 $\mathbf{A}$-模，带有 $\Gamma_0(\mathfrak{n})$-水平结构，且其模 $\mathfrak{p}$ 约化为光滑且几何连通的。

实验结果

研究问题

• RQ1 伊哈拉用于控制模曲线上有理点数的方法能否推广至德林费尔德模曲线？
• RQ2 德林费尔德模曲线在素理想下的约化是否实现了有限域上点数的渐近界 $ (\sqrt{q} - 1 + o(1))g $？
• RQ3 在剩余域大小为 $q^m$ 的素理想 $\mathfrak{p}$ 下，$X_0(\mathfrak{n})$ 的约化在 $\mathbb{F}_{q^{2m}}$ 上的 $\mathbb{F}_{q^{2m}}$-有理点数的精确值是多少？
• RQ4 德林费尔德模曲线的几何与算术性质（如水平结构与同源）如何支持构造具有大量点的曲线？
• RQ5 在欧拉-庞加莱示性数方法中，对应关系 $\Pi \cap \Pi^t$ 中的特殊点在有理点计数中起什么作用？

主要发现

• 模素理想 $\mathfrak{p}$ 的 $X_0(\mathfrak{n})$ 在 $\mathbb{F}_{q^{2m}}$ 上至少具有 $(q^m - 1)(g - 1)$ 个有理点，其中 $q^m = |\Bbbk(\mathfrak{p})|$，$g$ 为曲线的亏格。
• 有理点数的下界为 $(q^m - 1)(g - 1)$，当 $q^m$ 为完全平方数时，该下界与德林费尔德–弗拉杜特界所预测的渐近界一致。
• 关键的几何对象是 $X_0(\mathfrak{n}) \times X_0(\mathfrak{n})$ 上的对应关系 $\Pi \cup \Pi^t$，其在 $\tau^m \circ \tau^m$ 作用下的不动点对应于 $\mathbb{F}_{q^{2m}}$-有理点。
• $\tilde{T}$ 的亏格满足 $g_0 - 1 = 2(g - 1) + \#\{\text{特殊点}\}$，该等式被用于推导有理点数的下界。
• 证明依赖于从 $T$ 到 $X_0(\mathfrak{n})$ 的两个投影的次数为 $q^m + 1$，这对赫尔维茨公式的应用至关重要。
• 该构造在 $\mathbb{F}_{q^{2m}}$ 上产生了一族亏格递增的曲线塔，其点数渐近最大，提供了具有大量点的最优曲线的新显式例子。