[论文解读] Orthogonal decomposition of the space of algebraic numbers and Lehmer's problem

Paul Fili, Zachary Miner|ArXiv.org|Nov 10, 2009

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

一句话总结

本文通过伽罗瓦域和次数的正交分解，在代数数模挠子群的空间上引入了 $L^p$-范数，将其与莱默问题联系起来。证明了 $L^p$-莱默猜想等价于经典猜想：当 $p=1$ 时为原始的莱默猜想，当 $p=\infty$ 时为辛兹尔-扎萨诺夫猜想，从而为通过 $L^p$ 空间上的泛函分析研究小马勒度量提供了新框架。

ABSTRACT

We introduce vector space norms associated to the Mahler measure by using the L^p norm versions of the Weil height recently introduced by Allcock and Vaaler. In order to do this, we determine orthogonal decompositions of the space of algebraic numbers modulo torsion by Galois field and degree. We formulate L^p Lehmer conjectures involving lower bounds on these norms and prove that these new conjectures are equivalent to their classical counterparts, specifically, the classical Lehmer conjecture in the p = 1 case and the Schinzel-Zassenhaus conjecture in the p = infinity case.

研究动机与目标

• 通过代数数模挠子群空间上的 $L^p$-范数重新表述莱默问题。
• 基于伽罗瓦域和次数构造该空间的正交分解。
• 建立 $L^p$-莱默猜想与丢番图逼近中经典猜想之间的等价性。
• 定义并分析马勒 $p$-范数及其性质，特别是 $p=2$ 的情形。
• 证明单位群 $\Gamma$ 上的离散拓扑等价于 $L^p$-莱默猜想，从而将数论与泛函分析联系起来。

提出的方法

• 使用韦伊高度和马勒度量定义代数数模挠子群的函数空间 $\mathcal{F}$。
• 应用阿洛克和沃勒的 $L^p$-范数框架，定义韦伊高度的 $L^p$-版本。
• 通过投影算子 $P_K$ 和 $T^{(n)}$，基于伽罗瓦域和次数构造 $\mathcal{F}$ 的正交分解。
• 将马勒 $p$-范数定义为 $\|f\|_{m,p} = \|Mf\|_p$，其中 $Mf = \sum n T^{(n)}f$，并将其与经典马勒度量联系起来。
• 证明 $L^p$-莱默猜想成立当且仅当单位群 $\Gamma$ 在 $L^p$-拓扑下是离散的。
• 利用谱分解和范数不等式，将 $\|f\|_{m,p}$ 与 $\|T^{(n)}f\|_2$ 及 $\|P_K f\|_{m,p}$ 关联起来。

实验结果

研究问题

• RQ1 马勒度量如何可被重新解释为代数数模挠子群空间上的 $L^p$-范数？
• RQ2 基于伽罗瓦域和次数的 $\mathcal{F}$ 的哪些正交分解使得莱默问题能够以泛函分析方式表述？
• RQ3 $L^p$-莱默猜想是否等价于 $p=1$ 时的经典莱默猜想，以及 $p=\infty$ 时的辛兹尔-扎萨诺夫猜想？
• RQ4 马勒 $2$-范数是否源自希尔伯特空间结构？其谱性质为何？
• RQ5 当且仅当 $L^p$-莱默猜想成立时，单位群 $\Gamma$ 是否在 $L^p$-拓扑下是离散的？

主要发现

• 当 $p=1$ 时，$L^p$-莱默猜想等价于经典莱默猜想；当 $p=\infty$ 时，等价于辛兹尔-扎萨诺夫猜想。
• 马勒 $2$-范数定义为 $\|f\|_{m,2} = \left(\sum_{n=1}^\infty n^2 \|T^{(n)}f\|_2^2\right)^{1/2}$，其由内积导出，使得 $\mathcal{F}$ 的完备化成为一个希尔伯特空间。
• 通过伽罗瓦域 $K$ 和次数 $n$ 将 $\mathcal{F}$ 正交分解为子空间 $V_K^{(n)}$，使得马勒范数的谱分析成为可能。
• $P_K$ 投影算子在 $L^p$ 中是范数为一的投影，且与 $T^{(n)}$ 算子可交换，从而保持 $L^p$-范数结构。
• 单位群 $\Gamma$ 在 $L^p$-拓扑下是离散的当且仅当 $L^p$-莱默猜想成立，从而为该猜想提供了拓扑刻画。
• 当 $p=2$ 时，不等式 $\|f\|_{m,2} \leq \delta(f) \|f\|_2$ 成立，其中 $\delta(f)$ 是 $f$ 的最小域的次数，从而将马勒范数与次数联系起来。