[论文解读] A Variation on Leopoldt's Conjecture: Some Local Units instead of All Local Units

Dawn Nelson|arXiv (Cornell University)|Aug 21, 2013

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

一句话总结

该论文通过将全局部单位的乘积替换为固定素数 $p$ 上方的局部单位子集，研究了Leopoldt猜想的一种变体。在 $p$-进Schanuel猜想的假设下，证明了全局单位在受限局部单位积中的对角嵌入的 $\mathbb{Z}_p$-秩等于全局单位的 $\mathbb{Z}$-秩减去一个修正项 $t$ 再加一；在实数或CM域中取等号，在一般复非CM域中仅得到不等式。

ABSTRACT

Leopoldt's Conjecture is a statement about the relationship between the global and local units of a number field. Approximately the conjecture states that the Z_p-rank of the diagonal embedding of the global units into the product of all local units equals the Z-rank of the global units. The variation we consider asks: Can we say anything about the Z_p-rank of the diagonal embedding of the global units into the product of some local units? We use the p-adic Schanuel Conjecture to answer the question in the affirmative and moreover we give a value for the Z_p-rank (of the diagonal embedding of the global units into the product of some local units) in terms of the Z-rank of the global units and a property of the the local units included in the product.

研究动机与目标

• 研究全局单位在受限局部单位积中的对角嵌入的 $\mathbb{Z}_p$-秩是否可被确定，其中局部单位仅限于 $p$ 上方的一个子集 $\Gamma$。
• 确定全局单位在局部单位部分积中的像的秩如何依赖于 $\Gamma$ 中局部素点的选择。
• 利用超越数论，建立全局单位在局部单位子集中的对角映射的 $\mathbb{Z}_p$-秩的公式。
• 通过引入依赖于所选局部单位的修正项 $t$，将Leopoldt猜想推广至全局部单位积之外。

提出的方法

• 使用 $p$-进对数将单位的乘法结构线性化，将秩问题转化为 $\mathbb{Q}_p$ 上的线性代数问题。
• 构造一个矩阵，包含全局单位在 $\mathbb{C}_p$ 中不同嵌入下的 $p$-进对数，以分析其在受限局部单位积中的像的秩。
• 应用超越数论，特别是 $p$-进Schanuel猜想，以界定对角映射进入 $\Gamma$ 上乘积的像的 $\mathbb{Z}_p$-秩。
• 根据包含在 $\Gamma$ 中的局部单位的结构，特别是其与主单位 $\mathcal{O}^*_{\mathfrak{p},1}$ 的交集，定义修正项 $t$。
• 分析区分实数/CM域（此时等式成立）与复非CM域（此时仅得到下界）。
• 通过拓扑闭包及主局部单位的使用，确保在 $p$-进拓扑下的相容性，从而在秩的表述中保持一致性。

实验结果

研究问题

• RQ1 能否确定全局单位在受限局部单位积（仅对 $p$ 上方的子集 $\Gamma$）中的对角嵌入的 $\mathbb{Z}_p$-秩？
• RQ2 像的 $\mathbb{Z}_p$-秩如何依赖于 $\Gamma$ 中局部素点的选择？
• RQ3 是否存在一个关于 $\mathbb{Z}$-秩的全局单位与所选局部单位结构不变量的 $\mathbb{Z}_p$-秩公式？
• RQ4 $p$-进Schanuel猜想在确定局部单位部分积中像的秩时起什么作用？

主要发现

• 在实数或CM数域 $M$ 中，全局单位在 $\Gamma$ 上乘积中的对角嵌入的 $\mathbb{Z}_p$-秩恰好为 $\operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$，其中 $t$ 是依赖于 $\Gamma$ 中所选素点的常数。
• 在复非CM扩张的情形下，$\mathbb{Z}_p$-秩满足 $\operatorname{rank}_{\mathbb{Z}_p}(\Delta_\Gamma \mathcal{O}_M^*) \geq \operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$。
• 修正项 $t$ 由 $\Gamma$ 中局部单位的结构决定，特别是其与主单位 $\mathcal{O}^*_{\mathfrak{p},1}$ 的交集。
• 结果依赖于 $p$-进Schanuel猜想，该猜想用于控制单位的 $p$-进对数的线性无关性。
• 证明依赖于构造一个 $p$-进对数的矩阵，并通过Schanuel猜想的超越数论界来确定其秩。
• 该工作在CM和实数情形下提供了秩的精确公式，将Leopoldt猜想推广至局部单位的部分积。