[论文解读] Remarks on Rémond's generalized Lehmer problems

Robert Grizzard|arXiv (Cornell University)|Oct 31, 2017

Mathematical and Theoretical Analysis参考文献 5被引用 4

一句话总结

本文证明了在 $\mathbb{G}_m$ 中，对于 $\Gamma = \langle g_1,\dots,g_n\rangle^{\text{div}}$，Rémond 广义 Lehmer 猜想的次数一形式几乎与完整强形式一样强。通过在典范高度度量中应用丢番图逼近技巧，作者证明了次数一形式蕴含指数为 $2+\varepsilon$ 的相对 Lehmer 型下界，显著强化了已知结果，并解决了 $\Gamma = \langle 2\rangle^{\text{div}}$ 情况下的一个长期悬而未决的问题。该研究还包含 Rémond 关于其猜想的先前未发表的部分结果。

ABSTRACT

We draw connections between the various conjectures which are included in G. Rémond's generalized Lehmer problems. Specifically, we show that the degree one form of his conjecture for the multiplicative group is, in a sense, almost as strong as the strong form. Our insights into the conjectures apply a basic result on what may be called Diophantine approximation in the metric induced by the canonical height. We also present a previously unpublished partial result of Rémond on his conjectures.

研究动机与目标

• 澄清 $\mathbb{G}_m$ 中 Rémond 广义 Lehmer 猜想的强形式、弱形式与次数一形式之间的逻辑关系。
• 建立次数一形式蕴含指数为 $2+\varepsilon$ 的非平凡相对高度下界，接近强形式。
• 在典范高度度量中应用丢番图逼近技巧，推导出相对于子群 $\Gamma$ 的点的高度的有效下界。
• 呈现 G. Rémond 关于其猜想的先前未发表的部分结果，有助于理解广义 Lehmer 问题。
• 通过证明次数一形式蕴含强形式，解决 $\Gamma = \langle 2\rangle^{\text{div}}$ 的情形，从而推进该领域长期悬而未决的问题。

提出的方法

• 将典范高度 $h$ 视为商空间 $\mathcal{G}(\overline{\mathbb{Q}})/\mathcal{G}(\overline{\mathbb{Q}})_{\text{tors}}$ 上的范数，该空间是一个 $\mathbb{Q}$-向量空间。
• 定义相对高度 $h_\Gamma(P) = \inf_{\gamma \in \Gamma} h(P - \gamma)$，将其解释为到子群 $\Gamma$ 的距离。
• 在由典范高度诱导的度量中应用丢番图逼近估计，特别是利用 $h(\sigma\alpha / \alpha)$ 的界。
• 使用 Capelli-Kneser 定理分析当 $\alpha^m \in K_\Gamma$ 时的次数 $[K_\Gamma(\alpha):K_\Gamma]$，确保 $x^m - \alpha^m$ 的不可约性。
• 利用 [AD07] 和 [BG06] 中关于 $h(\beta)$ 的有效下界（当 $\beta \notin k^{\text{div}}$ 时），将其转化为对 $V_k(\alpha)$ 和 $W_k(\alpha)$ 的界。
• 通过对数与次数估计推导出显式不等式 (4.5)–(4.7)，其依赖于 $[k^{\text{ab}}(\alpha):k^{\text{ab}}]$ 和 $D_0 = [\mathbb{Q}^{\text{ab}}(\alpha):\mathbb{Q}^{\text{ab}}]$。

实验结果

研究问题

• RQ1 Rémond 广义 Lehmer 猜想的次数一形式是否蕴含 $\Gamma = \langle g_1,\dots,g_n\rangle^{\text{div}}$ 在 $\mathbb{G}_m$ 中的强形式？
• RQ2 在典范高度度量中应用丢番图逼近能否给出 $\alpha \notin \Gamma$ 时 $h_\Gamma(\alpha)$ 的有效下界？
• RQ3 次数一形式在相对 Lehmer 问题中的定量强度如何？
• RQ4 $K_\Gamma$ 的结构与可除闭包 $\Gamma^{\text{div}}$ 如何影响 $\alpha \in K_\Gamma$ 的高度界？
• RQ5 从 Rémond 关于广义 Lehmer 问题的未发表工作中可推导出哪些部分结果？

主要发现

• Rémond 猜想的次数一形式蕴含形式为 $h(\alpha) \geq C_{\Gamma}^{0}/[K_\Gamma(\alpha):K_\Gamma]$ 的相对高度界，该界强于弱形式，且几乎与强形式等价。
• 对任意 $\varepsilon > 0$，次数一形式蕴含 $h_\Gamma(\alpha) \geq c(k,\varepsilon)/[k^{\text{ab}}(\alpha):k^{\text{ab}}]^{2+\varepsilon}$，表明次数一形式蕴含强相对 Lehmer 型下界。
• 证明建立了 $h_\Gamma(\alpha) \geq \frac{1}{2} W_k(\alpha)$，并利用 $W_k(\alpha)$ 的有效下界，推导出依赖对数与次数的显式不等式 (4.5)–(4.7)。
• 当 $\alpha^m \in K_\Gamma$ 且 $m$ 最小时，Capelli-Kneser 定理确保 $[K_\Gamma(\alpha):K_\Gamma] = m$，从而可利用次数一形式将 $h(\alpha)$ 从下方有界为 $C_\Gamma^0 / m$。
• 该结果通过证明次数一形式蕴含强形式，解决了 $\Gamma = \langle 2\rangle^{\text{div}}$ 的情形，从而推进了一个长期悬而未决的问题。
• 首次呈现了 Rémond 的先前未发表的部分结果，表明在某些条件下，次数一形式蕴含强形式，为广义 Lehmer 问题的结构提供了新见解。