[論文レビュー] 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関数や体の同型といった算術的不変量を捉えられることを示すこと。
• 完全な絶対ガロア群に依存せず、アーベル化されたガロア群とイデールのみを用いて、非アーベル的かつ内部的なグローバル体の特徴付けを提供すること。

提案手法

• 再帰写像の像によって商をとることで、位相的モノイド $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)$ を保存する $C_0(X_\text{K}) \rtimes^\text{alg} I_\text{K} \cong C_0(X_\text{L}) \rtimes^\text{alg} I_\text{L}$ の同型が存在することは、力学系の軌道同値性と同値であることを確立する。

実験結果

リサーチクエスチョン

• 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}}$ はグローバル体の完全不変量として機能し、ゼータ関数やアデール環といった個々の不変量の限界を克服する。
• この系は、完全な絶対ガロア群に依存する意味でのアーベル的でないが、それでも依然として体の同型を決定する。
• 著者たちは、ネイキルヒ＝ウチダの定理を拡張し、絶対ガロア群の代わりに、類体論とアーベル化されたガロア群に基づいた力学系を用いた。