[论文解读] The hyperring of adèle classes

Alain Connes, Caterina Consani|arXiv (Cornell University)|Jan 24, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用 7

一句话总结

本文证明了全局域 $ℚ$ 的 adfle 类空间 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\times$ 自然地携带一个超环结构，使其成为超域 $ℚ$ 的超环扩张，从而为绝对点上的代数几何提供了概念性框架。关键结果是：在正特征下，曲线的极大阿贝尔覆盖的环路群胚与超环 $ℝ_{ℚ}$ 中素元的群胚之间存在一个自然的、$W$-等变同构，通过超环理论将算术几何与非交换几何联系起来。

ABSTRACT

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adele class space of a global field. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G union 0 is a subfield of R. This result applies to the adele class space which thus inherits the structure of a hyperring extension H of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field of positive characteristic, the groupoid of the prime elements of the hyperring H is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field.

研究动机与目标

• 使用超环理论理解全局域 $ℚ$ 的 adfle 类空间 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\times$ 的代数结构。
• 将绝对点 $ℓ\mathrm{Spec}ℝ\u211f_1$ 上的代数几何框架扩展至包含超环与超域。
• 通过超环结构，在正特征下的算术对象与非交换几何中的几何对象之间建立精确对应关系。
• 在全局域的背景下，阐明 $ℚ$ 作为 $℟_1$ 的超域提升（不同于 $ℓ\mathrm{Spec}℟_1$）的作用。

提出的方法

• 作者使用 M. Krasner 的超环理论，在商结构 $R/G$（其中 $G \subset R^\times$）上定义超加法，使其成为超环。
• 证明：当且仅当 $G \cup \{0\}$ 是 $R$ 的子域时，$R/G$ 是超域 $ℚ$ 的超环扩张，从而提供超环扩张的判别准则。
• 通过此准则，证明 adfle 类空间 $ℝ_{ℚ}$ 继承了超环结构，且对所有 $x \in \u211d_{ℚ}$ 满足 $x + x = \{0, x\}$，反映出特征一的行为。
• 利用类域论与阿贝尔化韦伊群的作用，构造了曲线 $X$ 的极大阿贝尔覆盖的环路群胚 $\Pi_{1}^{\mathrm{ab}}(X)'$ 与超环 $\u211d_{ℚ}$ 中素元群胚 $P(\u211d_{ℚ})$ 之间的自然同构。
• 证明该同构在阿贝尔化韦伊群 $\mathcal{W}^{\mathrm{ab}} \cong C_{ℚ}$ 的作用下是等变的，从而将算术对称性与几何对称性联系起来。
• 该构造依赖于将 $X^{\mathrm{ab}} \times_X X^{\mathrm{ab}}$ 的闭点识别为同一位置上的配对赋值，并利用类域论同构将 $C_{ℚ}/\u211a_w^\times$ 的元素与覆盖的自同构对应起来。

实验结果

研究问题

• RQ1 如何为全局域 $\u211a$ 的 adfle 类空间 $\u211d_{ℚ}$ 赋予自然的超环结构？
• RQ2 在何种条件下，环 $R$ 关于乘法子群 $G \subset R^\times$ 的商 $R/G$ 成为超域 $\u211a$ 的超环扩张？
• RQ3 在正特征下，超环 $\u211d_{ℚ}$ 中素元群胚的几何意义是什么？
• RQ4 超环 $\u211d_{ℚ}$ 的结构如何与关联曲线 $X$ 在 $\mathbb{F}_q$ 上的极大阿贝尔覆盖相关联？
• RQ5 是否存在一个自然的、等变的同构，将极大阿贝尔覆盖的环路群胚与 $\u211d_{ℚ}$ 中素元群胚联系起来？

主要发现

• 全局域 $\u211a$ 的 adfle 类空间 $\u211d_{ℚ}$ 自然地携带一个超环结构，且对所有 $x \in \u211d_{ℚ}$ 满足 $x + x = \{0, x\}$，反映出特征一的行为。
• 当且仅当 $G \cup \{0\}$ 是 $R$ 的子域时，商 $R/G$ 是超域 $\u211a$ 的超环扩张，提供了精确的代数判别准则。
• 超环 $\u211d_{ℚ}$ 中素元群胚 $P(\u211d_{ℚ})$ 与关联曲线 $X$ 的极大阿贝尔覆盖的环路群胚 $\Pi_{1}^{\mathrm{ab}}(X)'$ 之间存在自然同构。
• 同构 $\Pi_{1}^{\mathrm{ab}}(X)' \cong P(\u211d_{ℚ})$ 在阿贝尔化韦伊群 $\mathcal{W}^{\mathrm{ab}} \cong C_{\u211a}$ 的作用下是等变的，从而将算术对称性与几何对称性联系起来。
• 通过类域论同构 $C_{\u211a} \cong \mathcal{W}^{\mathrm{ab}}$，将 $C_{\u211a}/\u211a_w^\times$ 的元素与覆盖的自同构对应起来，确保了构造的良定义性与双射性。
• 群胚 $P(\u211d_{ℚ})$ 中每个素元 $p_w$ 的稳定子群为 $\u211a_w^\times$，与局部韦伊群一致，确认了与类域论的一致性。