Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

技术摘要：具有预设局部条件的 $\mathbb{P}^1$ 上有理映射计数问题

问题陈述
本文在算术动力学框架内，研究了 $\mathbb{Q}$ 上射影直线 $\mathbb{P}^1$ 上有理映射的分布问题。通过类比椭圆曲线的算术统计学，作者解决了具有特定约化性质的固定度数 $d \ge 2$ 的有理映射 $\phi$ 的计数问题。具体而言，这项工作关注的是具有“全局极小结式（globally minimal resultant）”的有理映射的密度。

一个有理映射 $\phi \in \mathbb{Q}(z)$ 可以由一对度数为 $d$ 的互素齐次多项式 $F, G \in \mathbb{Z}[X, Y]$ 来表示。结式 $\text{Res}(\phi) = \text{Res}(F, G)$ 是一个全局不变量。若一个映射具有全局极小结式，则意味着 $\text{Res}(\phi)$ 等于极小结式 $R_\phi$，后者定义为所有非阿基米德处的局部极小结式的乘积。核心问题在于，在按高度或盒密度（box density）排序时，是否存在正比例的有理映射满足这一极小性条件（类似于关于椭圆曲线全局极小 Weierstrass 模型密度的结果，例如 Cremona 和 Sadek [CS23]）。

方法论
作者结合了算术几何、筛法和显式计算代数，为特定有理映射子集的密度建立下界。

1. 密度框架： 本文使用了两种主要的密度度量：

   • 高度密度（Height Density）： 基于与映射系数相关的点 $P(\phi) \in \mathbb{P}^{2d+1}(\mathbb{Q})$ 的绝对乘性 Weil 高度 $H(\phi)$。
   • 弱盒密度（Weak Box Densities）： 遵循 Poonen 的工作 [Poo03]，这些密度考虑了仿射空间 $\mathbb{Z}^{2d+2}$ 中系数在“盒子”内的分布，允许对坐标界限进行独立限制。

2. 局部条件与筛法： 作者通过素数处的局部条件来定义有理映射的子集。如果一个映射在模 $p^k$ 下满足特定标准（例如良约化或 $p^k$-free 结式），则将其纳入集合中。

   • 他们建立了一个结论：如果一个映射集合满足“容许性条件”（具体而言，即在处理大素数时，不满足该条件的映射密度趋于零），则全局密度等于局部密度的乘积（命题 3.4）。
   • 这依赖于一个筛法论证，用以证明具有公共因子（非极小）或结式具有高估值的映射密度是微不足道的。

3. 结式的代数几何：

   • 针对两个泛型度数为 $d$ 的多项式的结式多项式 $r$ 进行了分析。作者利用了 $r$ 是绝对不可约的这一事实（命题 4.11）。
   • 为了限制结式模 $p^k$ 为零的点数，他们分析了由 $r=0$ 及其偏导数 $s=0$ 定义的奇异点集。
   • 利用 Warning、Schwartz-Zippel 以及 Hensel 引理的结果，他们推导出了有限域上该系统解的数量，以及这些解向 $\mathbb{Z}/p^k\mathbb{Z}$ 提升后的数量的上界。

4. 针对 $d=2$ 的显式计算： 对于度数为 2 的情况，作者使用 Macaulay2 软件对由结式及其偏导数生成的理想进行了显式的初分解。这使得他们能够精确计数 $(\mathbb{Z}/p\mathbb{Z})^6$ 和 $(\mathbb{Z}/p^2\mathbb{Z})^6$ 中的点，从而计算出小素数的精确局部密度以及大素数的严格界限。

主要贡献与结果

• 定理 A（高度密度）： 对于奇整数 $d \ge 3$，具有 $2d$-power free 结式且在有限素数集 $\Sigma$ 处具有良约化的有理映射集合具有正的高度密度。因此，正比例的此类映射具有全局极小结式。
• 定理 B（弱盒密度）： 对于任何整数 $d \ge 2$，具有 $d$-power free 结式且在有限素数集 $\Sigma$ 处具有良约化的有理映射集合具有正的弱盒密度 $\mu_n$。这意味着在这一密度度量下，正比例的映射具有全局极小结式。
• 定理 C（针对 $d=2$ 的显式界限）： 对于度数为 2 的有理映射，作者提供了一个显式下界。他们证明了在弱盒密度下，超过 32.7% 的 $\mathbb{Q}$ 上度数为 2 的有理映射具有无平方因子（从而也是极小）的结式。

意义与主张
本文将自身定位为 $\mathbb{P}^1$ 上算术动力学与椭圆曲线丢番图几何之间类比计划的延续。以往算术动力学中的统计结果通常依赖于涉及随机映射复合的随机过程，而这项工作则探讨了具有特定算术性质的静态有理映射的分布。

作者声称，他们的结果首次证明了正比例的有理映射具有全局极小结式，这与 Cremona 和 Sadek 关于椭圆曲线的密度结果相呼应。针对 $d=2$ 的显式计算作为理论框架的一个具体例证，给出了一个具体的、非平凡的下界 (32.7%)。

论文最后保持了谦逊的立场，指出虽然所使用的局部条件提供了正的下界，但尚未能描述全部具有极小结式的映射集合。关于正比例的有理映射是否相对于标准盒密度（而非弱盒密度）具有全局极小结式的问题，被确定为未来的研究课题。