[論文レビュー] The hyperring of adèle classes

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

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

ひとこと要約

本稿は、局所有理体 $ℚ$ の adflè class 空間 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\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.

研究の動機と目的

• 局所有理体 $ℚ$ の adflè class 空間 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\times$ の代数的構造をハイパリング理論を用いて理解すること。
• 絶対点 $ℓ\mathrm{Spec}ℝ\u211f_1$ 上の代数幾何学の枠組みを、ハイパリングおよびハイパフィールドを含むように拡張すること。
• ハイパリング構造を通じて、正標数における算術的対象と非可換幾何学における幾何的対象との間の明確な対応を確立すること。
• グローバル体の文脈において、$ℚ$ が $℞_1$ のハイパフィールド上の上げであり、$ℓ\mathrm{Spec}℞_1$ とは異なることの役割を明確にすること。

提案手法

• 著者たちは M. クラスナーのハイパリング理論を用い、$G \subset R^\times$ である商構造 $R/G$ にハイパ加法を定義し、それらをハイパリングに変換する。
• 彼らは、$R/G$ がハイパフィールド $ℚ$ のハイパリング拡張であるための必要十分条件として、$G \cup \{0\}$ が $R$ の部分体であることであることを証明する。
• adflè class 空間 $ℝ_{ℚ}$ は、この基準によりハイパリング構造を誘導され、すべての $x \in \u211d_{ℚ}$ に対して $x + x = \{0, x\}$ が成り立つ。これは、特徴一の性質を反映している。
• 本稿では、曲線 $X$ の最大アーベル被覆のループ群コアド $\Pi_{1}^{\mathrm{ab}}(X)'$ とハイパリング $\u211d_{ℚ}$ の素元の群コアド $P(\u211d_{ℚ})$ の間に自然同型写像を構成する。この構成には、類体論とアーベル化されたヴェイル群の作用が用いられる。
• この同型写像は、idflè class 群 $C_{ℚ} \cong \mathcal{W}^{\mathrm{ab}}$ の作用に関して不変であることが示され、算術的対称性と幾何的対称性を結ぶ。
• 構成は、$X^{\mathrm{ab}} \times_X X^{\mathrm{ab}}$ の閉点を、同じ場所上のヴァレュエーションの対に同定することに依拠し、類体論の同型写像を用いて $C_{ℚ}/\u211a_w^\times$ の元を被覆の自己同型と関連づける。

実験結果

リサーチクエスチョン

• RQ1 局所有理体 $\u211a$ の adflè class 空間 $\u211d_{ℚ}$ に自然なハイパリング構造をどのように与えることができるか？
• RQ2 環 $R$ の乗法的部分群 $G \subset R^\times$ による商 $R/G$ がハイパフィールド $\u211a$ のハイパリング拡張となるための条件は何か？
• RQ3 正標数におけるハイパリング $\u211d_{ℚ}$ の素元の群コアドの幾何的意味は何か？
• RQ4 ハイパリング $\u211d_{ℚ}$ の構造は、$\mathbb{F}_q$ 上の関連する曲線 $X$ の最大アーベル被覆とどのように関係するか？
• RQ5 最大アーベル被覆のループ群コアドとハイパリング $\u211d_{ℚ}$ の素元の群コアドとの間に、自然かつ不変な同型写像が存在するか？

主な発見

• 局所有理体 $\u211a$ の adflè class 空間 $\u211d_{ℚ}$ は自然にハイパリング構造を備え、すべての $x \in \u211d_{ℚ}$ に対して $x + x = \{0, x\}$ が成り立つ。これは、特徴一の性質を反映している。
• $R/G$ がハイパフィールド $\u211a$ のハイパリング拡張であるための必要十分条件は、$G \cup \{0\}$ が $R$ の部分体であることである。これは明確な代数的基準を提供する。
• $\u211d_{ℚ}$ の素元の群コアド $P(\u211d_{ℚ})$ は、曲線 $X$ に関連する最大アーベル被覆のループ群コアド $\Pi_{1}^{\mathrm{ab}}(X)'$ と自然に同型である。
• $\Pi_{1}^{\mathrm{ab}}(X)'$ と $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$ に一致し、これは局所ヴェイル群と一致する。これにより、類体論と整合的であることが確認される。