[论文解读] On the nonarchimedean quadratic Lagrange spectra

Jouni Parkkonen, Paulin, Frédéric|arXiv (Cornell University)|Jan 24, 2018

advanced mathematical theories参考文献 19被引用 1

一句话总结

该论文通过在有限域上的形式洛朗级数中引入一个二次拉格朗日谱，建立了非阿基米德情形下经典实数丢番图逼近结果的类比。利用在布雷赫-蒂茨树上的几何群作用，证明了该谱是闭且有界的，包含一个霍尔射线（对足够大的 $n$，包含所有形如 $q^{-n}$ 的逼近常数），并计算了赫尔维茨常数，表明对某些二次无理数，最大逼近常数恰好为 $q^{-2}$，且部分谱存在间隙。

ABSTRACT

We study Diophantine approximation in completions of functions fields over finite fields, and in particular in fields of formal Laurent series over finite fields. We introduce a Lagrange spectrum for the approximation by orbits of quadratic irrationals under the modular group. We give nonarchimedean analogs of various well known results in the real case: the closedness and boundedness of the Lagrange spectrum, the existence of a Hall ray, as well as computations of various Hurwitz constants. We use geometric methods of group actions on Bruhat-Tits trees.

研究动机与目标

• 在有限域上函数域的完备化中定义并研究非阿基米德二次拉格朗日谱。
• 将实数丢番图逼近中的经典结果（如闭性、有界性及霍尔射线的存在性）推广至正特征情形。
• 在形式洛朗级数的背景下，计算二次无理数的赫尔维茨常数。
• 研究谱的结构，包括间隙的存在或缺失。

提出的方法

• 将二次拉格朗日谱 $\mathrm{Sp}(\alpha)$ 定义为所有满足 $x \notin K \cup \Theta_\alpha$ 的逼近常数 $c_\alpha(x)$ 的集合，其中 $\Theta_\alpha$ 是二次无理数 $\alpha$ 在 $\mathrm{PGL}_2(R)$ 作用下的轨道。
• 使用复杂度 $h(\alpha) = |\alpha - \alpha^\sigma|^{-1}$ 作为高度函数，以衡量逼近质量。
• 通过 $\mathrm{PGL}_2(R)$ 在布雷赫-蒂茨树上的作用，应用几何方法，分析霍罗球内测地线的交点。
• 利用 $\mathcal{K}(2)$ 中元素的连分数展开（其为最终周期的）来刻画二次无理数。
• 通过利用树的度量结构，结合霍罗球内测地线交点的最大长度，建立逼近常数的界限。
• 证明 $c_\alpha(f) = q^{-n(f,\alpha)}$，其中 $n(f,\alpha)$ 是测地线 $[f^\sigma, f]$ 与 $[\alpha^\sigma, \alpha]$ 之间交点的最大长度。

实验结果

研究问题

• RQ1 在函数域正特征完备化中，二次拉格朗日谱是否表现出与实数拉格朗日谱类似的性质，如闭性与有界性？
• RQ2 非阿基米德二次拉格朗日谱中是否存在霍尔射线，即是否对充分大的 $n$ 包含所有 $q^{-n}$？
• RQ3 对给定的二次无理数 $\alpha$，赫尔维茨常数 $\max \mathrm{Sp}(\alpha)$ 的值是多少？
• RQ4 谱是否可能包含间隙，即即使包含任意小的常数，也可能遗漏某些值如 $q^{-2k+1}$？
• RQ5 是否存在二次无理数，使得其谱恰好与最大霍尔射线重合？

主要发现

• 二次拉格朗日谱 $\mathrm{Sp}(\alpha)$ 是闭且有界的，且对任意定义在 $K$ 上的二次无理数 $\alpha$，有 $\max \mathrm{Sp}(\alpha) \leq q^{-2}$。
• 存在霍尔射线：对每个充分大的 $n$，有 $q^{-n} \in \mathrm{Sp}(\alpha)$，从而证明谱包含形如 $\{0\} \cup \{q^{-n} : n \geq m_\alpha\}$ 的初始区间。
• 对特定的二次无理数 $\phi = [Y]$，谱恰好为 $\mathrm{Sp}(\phi) = \{0\} \cup \{q^{-n-2} : n \in \mathbb{N}\}$，因此 $\max \mathrm{Sp}(\phi) = q^{-2}$。
• 存在二次无理数，其谱中包含间隙：例如，如命题 4.12 所示，对 $k \geq 2$，有 $q^{-2k+1} \notin \mathrm{Sp}(\alpha)$。
• 当 $\deg P = 1$ 时，$\alpha = [P]$ 的谱为 $\mathrm{Sp}([P]) = \{0\} \cup \{q^{-(2+n)} : n \in \mathbb{N}\}$，证实了霍尔射线的结构。
• 对任意 $m \geq 2$，存在一个二次无理数 $\beta$，使得 $\max \mathrm{Sp}(\beta) = q^{-m}$，表明所有此类最大常数均可实现。