[论文解读] Reconstructing global fields from dynamics in the abelianized Galois group

Gunther Cornelissen, Xin Li+2 more|arXiv (Cornell University)|Jun 14, 2017

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本文证明了由全局域的阿贝尔化伽罗瓦群上阿廷互惠映射所诱导的动力系统，是域同构的完全不变量。通过证明此类系统的拓扑共轭或轨道等价性蕴含底层全局域的同构，作者提供了一种新的动力系统表征方法，补充了非交换几何与类域论。

ABSTRACT

We study a dynamical system induced by the Artin reciprocity map for a global field. We translate the conjugacy of such dynamical systems into various arithmetical properties that are equivalent to field isomorphism, relating it to anabelian geometry.

研究动机与目标

• 使用阿廷互惠映射在全局域的阿贝尔化伽罗瓦群上建立一个动力系统。
• 证明此类系统的拓扑共轭或轨道等价性蕴含相应全局域的同构。
• 通过代数交叉积代数，将类域论、非交换几何与量子统计力学联系起来。
• 证明该动力系统捕捉了狄利克雷L-系列与域同构等算术不变量。
• 仅使用阿贝尔化伽罗瓦群与仁德勒（ideles）提供全局域的非非交换、内在表征，避免依赖完整的绝对伽罗瓦群。

提出的方法

• 将拓扑幺半群 $X_{\text{K}}$ 构造为 $G^\text{ab}_{\text{K}} \times \widehat{\mathcal{O}}_{\text{K}}$ 关于互惠映射像的商。
• 通过阿廷互惠映射定义幺半群作用 $I_{\text{K}} \curvearrowright X_{\text{K}}$，编码仁德勒对阿贝尔化伽罗瓦群的作用。
• 使用代数交叉积代数 $C_0(X_{\text{K}}) \rtimes^{\text{alg}} I_{\text{K}}$ 在非交换代数框架中建模该动力系统。
• 应用 $X_{\text{K}}$ 中点与 $C_0(X_{\text{K}})$ 中极大理想之间的对偶性，通过 $\alpha_p^*$-作用刻画轨道关系。
• 证明 $x = \alpha_p(y)$ 当且仅当 $({\rm span}(I_x A + A I_y))_p \neq C_0(X)$，将动力系统与理想结构联系起来。
• 建立保持 $C_0(X)$ 的交叉积代数同构与动力系统轨道等价性之间的等价性。

实验结果

研究问题

• RQ1 动力系统 $I_{\text{K}} \curvearrowright X_{\text{K}}$ 是否能通过同构重构全局域？
• RQ2 此类动力系统的拓扑共轭是否等价于域同构？
• RQ3 该作用的轨道等价性是否蕴含狄利克雷L-系列相等与域同构？
• RQ4 代数交叉积 $C_0(X_{\text{K}}) \rtimes^{\text{alg}} I_{\text{K}}$ 是否能通过其代数结构检测域同构？
• RQ5 是否存在仅使用阿贝尔化伽罗瓦群与仁德勒的非非交换、内在全局域表征？

主要发现

• 动力系统 $I_{\text{K}} \curvearrowright X_{\text{K}}$ 与 $I_{\text{L}} \curvearrowright X_{\text{L}}$ 的拓扑共轭蕴含全局域 $\text{K}$ 与 $\text{L}$ 同构。
• 系统的轨道等价性等价于一种“互惠同构”，后者又等价于两域所有狄利克雷L-系列的相等。
• 存在 $\mathbb{C}$-代数同构 $C(X_{\text{K}}) \rtimes^{\text{alg}} I_{\text{K}} \cong C(X_{\text{L}}) \rtimes^{\text{alg}} I_{\text{L}}$，且其在 $C(X_{\text{K}})$ 上的限制为同构，这蕴含域同构。
• 动力系统 $I_{\text{K}} \curvearrowright X_{\text{K}}$ 是全局域的完全不变量，克服了单个不变量（如 zeta 函数或阿代勒环）的局限性。
• 该系统并非以完整绝对伽罗瓦群为基础，因此不具非交换性，但仍能通过同构确定域。
• 本结果通过用类域论与阿贝尔化伽罗瓦群构建的动力系统替代绝对伽罗瓦群，扩展了 Neukirch–Uchida 定理。