[论文解读] Birch's theorem in function fields

Siu-lun Alan Lee|arXiv (Cornell University)|Sep 22, 2011

Meromorphic and Entire Functions参考文献 11被引用 11

一句话总结

本文在特征 $ p > d $、奇点簇的余维数及局部可解性等条件下，为函数域中次数为 $ d $ 的完备交的 $\mathbb{F}_q[t]$-有理点数量建立了具有显式误差项的渐近公式。证明了非奇异完备交在函数域中满足弱逼近性，将 Birch 定理从数域推广至具有显式误差界的功能域。

ABSTRACT

We establish an aysmptotic formula for the number of points with coordinates in $\mb{F}_q[t]$ on a complete intersection of degree $d$ defined over $\mb{F}_q[t]$, with explicit error term, provided that the characteristic of $\mb{F}_q$ is greater than $d$, the codimension of the singular locus of the complete intersection is large enough, and this intersection has a non-singular point at each place of $\mb{F}_q[t]$. In particular, when this complete intersection is non-singular, we show that it satisfies weak approximation.

研究动机与目标

• 将 $\mathbb{Z}$ 上 Birch 定理关于有理点的结果推广至函数域设置 $\mathbb{F}_q[t]$。
• 为完备交上的整点数量建立一个具有显式误差项的渐近公式。
• 证明在函数域背景下，非奇异完备交满足弱逼近性。
• 将 Hardy-Littlewood 方法推广至正特征函数域，并控制误差项。
• 分析所有位置（包括 $\infty$ 和 $\varpi$-进完备化）的局部可解性条件，以保证全局可解性。

提出的方法

• 通过在 $\infty$ 和 $\varpi$-进位置定义绝对值与完备化，将 Hardy-Littlewood 圆法适配至函数域。
• 在正特征下使用 Weyl 差分法，要求 $ p > d $ 以控制指数和。
• 引入奇异级数 $\mathfrak{S}$ 作为所有 $\varpi$-进密度的乘积，以及奇异积分 $\mathcal{J}$ 作为实密度的解。
• 应用格论工具，包括伴随格与连续最小值，以估计方框内解的数量。
• 在函数域设置中采用 dyadic 分区与主弧/小弧分解，以分离主项与误差项。
• 以 Lang-Tsen 定理作为基础情形，确保当 $ s > Rd^2 $ 时有理点的存在性。

实验结果

研究问题

• RQ1 对于次数为 $ d $ 的完备交，其 $\mathbb{F}_q[t]$-点数量是否具有显式误差项的渐近公式？
• RQ2 在奇点簇与局部可解性满足何种条件下，此类完备交满足弱逼近性？
• RQ3 Hardy-Littlewood 方法如何适配至正特征函数域？
• RQ4 误差项对变量个数与奇点簇余维数的精确依赖关系为何？
• RQ5 在局部可解性条件下，能否显式定义奇异级数与奇异积分，并证明其为正？

主要发现

• 建立了渐近公式：当 $ P \to \infty $ 时，$\rho(P) = \widehat{P}^{s-Rd}(\mathfrak{S}\mathcal{J} + O(\widehat{P}^{-k/(2^{d+1}R(d-1))}))$，其中 $k = s - \dim\operatorname{Sing} X - R(R+1)(d-1)2^{d-1}$。
• 误差项显式给出，且在 $ P $ 上多项式衰减，其依赖于 $ k $，即奇点簇之外的有效自由度个数。
• 非奇异完备交满足弱逼近性，因为有理点的阿代尔像在阿代尔点中是稠密的。
• 奇异级数 $\mathfrak{S}$ 是所有位置 $\varpi $ 上的收敛乘积，奇异积分 $\mathcal{J}$ 在存在非奇异实点时为正。
• $ p > d $ 的条件对 Weyl 差分论证至关重要，以控制正特征下的指数和。
• 所需变量个数与经典情形一致：当 $ s > Rd^2 + R(R+1)(d-1)2^{d-1} + \dim\operatorname{Sing} X $ 时，渐近公式成立。