[論文レビュー] The Habiro ring of a number field

Stavros Garoufalidis, Peter Scholze+2 more|arXiv (Cornell University)|Dec 5, 2024

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

本稿は、数体 K のハビロ環を導入し、p進的グリューピングとブロッハ群による正規化を経てフロベニウス変換の下でグリューピングされる単位根におけるべき級数を用いて、K₃(K) で添え字付けられたその上の加群を構成する。主な貢献は、量子不変量、代数的 K理論、算術幾何学の深い関係を示し、無限ポッホハマー記号と p進的グリューピングを通じて、ドナルドソン＝トーマス不変量とハビロ環の元が算術的および数え上げ的意味を持つことである。

ABSTRACT

We introduce the Habiro ring of a number field $\mathbb{K}$ and modules over it graded by $K_3(\mathbb{K})$. Elements of these modules are collections of power series at each complex root of unity that arithmetically glue with each other after applying a Frobenius endomorphism, and after dividing at each prime by a collection of series that depends solely on an element of the Bloch group. The main theorems of this paper concern number fields, their algebraic $K$-theory and its regulator maps (Borel, $p$-adic and étale), whereas the explicit collections of series are defined by a careful algebraic analysis of the infinite Pochhammer symbol at roots of unity. The origin of the above mentioned power series comes from perturbative Chern--Simons theory and by expansions of the admissible series of Kontsevich--Soibelman, both ultimately related to the infinite Pochhammer symbol. This link suggests that some Donaldson-Thomas invariants have arithmetic meaning and that some elements of the Habiro ring of a number field have enumerative meaning. Added subsection 1.1 explaining what the paper is about and subsection 1.8 explaining the relation to perturbative complex Chern-Simons theory.

研究の動機と目的

• 数体 K の新しい代数的構造—元のハビロ環を、量子トポロジーから数論へ拡張する—を定義すること。
• 摂動的チャーン＝サイモンズ理論とドナルドソン＝トーマス不変量に動機づけられた、K₃(K) で添え字付けられたこの環上の加群を構成すること。
• フロベニウス変換とブロッハ群による正規化を用いて、単位根におけるべき級数の整域性および p進的グリューピング性を確立すること。
• 摂動的チャーン＝サイモンズ不変量とコンツェビッチ＝ソイベルマンのドナルドソン＝トーマス理論からの適切な級数という二つの級数源を統一すること。
• ハビロ環の元およびその加群が算術的意味を有すること、それぞれが数え上げ的意味を有することを示すこと。

提案手法

• フロベニウス変換の下でのグリューピングを伴う q-Pochhammer 記号で生成されるイデアルを法として、Z[ζₙ][1/Dₙ] の逆極限として数体 K のハビロ環を定義する。
• 無限ポッホハマー記号を核心的な解析的対象とし、q超幾何級数と形式的ガウス積分を用いて分析する。
• コンツェビッチ＝ソイベルマンの研究から得られる適切な級数を導入し、p進的グリューピング性とブロッハ群への接続を示す。
• p進解析と WKB 法を用いて、特に p および pⁿ を法とする係数の整域性および合同性を証明する。
• 単位根の近傍におけるローラン級数展開からの対称化および留数抽出を用いて、明示的な元を構成する。
• p進完備化後のヘンゼルの補題と標準同型を用いて、アーベル的でない拡大においても、異なる単位根間で一貫したグリューピングを保証する。

実験結果

リサーチクエスチョン

• RQ1 元のハビロ環はどのように数体へ一般化可能であり、単位根におけるべき級数の算術を捉える代数的構造は何か？
• RQ2 フロベニウス自己準同型とブロッハ群は、非整数係数べき級数の p進的グリューピングを可能にする役割を果たすか？
• RQ3 摂動的チャーン＝サイモンズ不変量とドナルドソン＝トーマス理論からの適切な級数は、この枠組みの中でどのように統合されるか？
• RQ4 数体のハビロ環の元が数え上げ的意味を有することを示せるか？また、それらは K₃(K) の算術的不変量を反映するか？
• RQ5 これらの級数の正確な p進的挙動は何か？また、オツカチ型合同式はどのようにその構造から生じるか？

主な発見

• 41 番の結び目のカシャエフ不変量から得られる対称化級数 Φ(h)Φ(−h) は、3 を除くすべての素数で整数係数を持ち、(q−1)¹⁰⁰ における分母は 3¹⁴⁶ である。
• p ≠ 3 なる素数 p についての原始 p 乗根 ζₚ において、Φζₚ(h)Φζₚ(−h) の定数項は Zₚ[1/√−3, ζₚ] 上での対称化級数の評価と一致し、符号はリーマン記号 (p/3) で与えられる。
• ζ を単位根とする非対称化級数 Φζ(h) は、Q(√−3) のハビロ環上のランク 1 の加群に属し、K₃(Q(√−3)) で添え字付けられる。
• fP(w,1;ζₘ+x) の形をしたローラン級数の留数抽出から、Oₚ,ₘ[ζₘ]JxK に係数をもつハビロ環の明示的元が得られる。
• P(X) = −X³ + 8 に対して、m ≡ 1,2 (mod 3) のとき fP,m(x) は予想では 1/21 であり、m ≡ 0 (mod 3) のときは 0 である。これは 7fP ∈ HZ[1/3] を示唆する。
• P(X) = −X³ + 7X² −14 に対して、最初の 2 を法とするオツカチ合同式が成り立つ：fP,1(−2) ≡ φ₂(fP,2(0)) mod 2 であり、p進的グリューピング性が確認される。