[論文レビュー] Remark on arithmetic topology

Igor Nikolaev|arXiv (Cornell University)|Jun 20, 2017

Algebraic structures and combinatorial models参考文献 6被引用数 3

ひとこと要約

本稿は、クラスタ C*-代数を用いて、3次元多様体の圏から代数的数体への関手を構成し、算術的トポロジーの類似を実現する。すなわち、絡み目は素イデアルに対応し、リンクは整数環内のイデアルに対応する。主な結果は、1960年代にマニン、マザール、ムーフォードが提唱した予想を関手的かつ明示的に実現したものであり、ブレード群の表現および AF-代数の K-理論を通じて対応が与えられる。

ABSTRACT

We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K correspond to knots (links, resp.) in M. It is proved that the functor realizes all axioms of the arithmetic topology conjectured in the 1960's by Manin, Mazur and Mumford.

研究の動機と目的

• 3 次元多様体内の絡み目と数体内の素イデアルとの間の算術的トポロジー類似を形式化すること。
• 閉じた 3 次元多様体の圏から代数的数体の圏への関手を構成し、算術的トポロジーのすべての公理を満たすこと。
• 表現論および K-理論を通じて、位相的対象（絡み目、リンク）と算術的対象（素イデアル、イデアル）の対応を実現すること。
• マニン、マザール、ムーフォードによる 1960 年代の長年の予想を、明示的かつ関手的かつ実現可能な形で提示すること。

提案手法

• クラスタ C*-代数をテイヒミュラー空間の非可換座標環として用い、K₀群がクラスタ代数と同型であることを用いる。
• ビルマン＝ハイルドの定理を適用し、ブレード群 B_{2g+n} を σᵢ ↦ eᵢ + 1（eᵢ は射影）によりクラスタ C*-代数へ埋め込む。
• 基本群へのブレード群作用からの関係を課して、代数 𝔸_b = 𝔸(𝐱, S_{g,n}) / 𝒟_b を構成する。
• K₀(𝔸_b) ≅ O_K であるという同型を用い、O_K は ℚ 上の次数 6g−6+2n の数体 K の整数環である。
• リコリッシュ＝ウォレスの定理を用いて、リンクからすべての閉じた向きつけ可能な 3 次元多様体へ、ドゥーンの手術による構成の拡張を行う。
• モノドロミー行列のペロン＝フロベニウス固有値を用いて、関連する数体 K の判別式を決定する。

実験結果

リサーチクエスチョン

• RQ1 3 次元多様体の圏から代数的数体の圏への関手を構成でき、算術的トポロジー類似を実現できるか？
• RQ2 この構成において、整数環内の素イデアルが、3 次元多様体内の絡み目に正確に対応するか？
• RQ3 リンクと数体内のイデアルとの対応は、関手的かつ既知の位相的および算術的不変量と整合的か？
• RQ4 クラスタ C*-代数へのブレード群の表現が、数体の整数環への K-理論同型を導くか？
• RQ5 この構成は、マニン、マザール、ムーフォードによる 1960 年代の算術的トポロジー予想のすべての公理を満たすか？

主な発見

• 関手 F は 3 球面 S³ を整数環 ℤ に写し、対応の基本ケースを確認する。
• B₃ に属するブレード b の閉包として得られる各リンク 𝔏_b に対して、商代数 𝔸_b の K₀群は、K ≅ ℚ(√(pq(pq+4))) なる実二次体 K の整数環 O_K に同型である。ここで b = σ₁ᵖσ₂⁻ᑫ である。
• 判別式 D = pq(pq+4) が数体 K を決定し、p, q が小さい場合の例として Q(√5)、Q(√21)、Q(√77) が挙げられる。
• モノドロミー行列 φ_b = [[pq+1, p], [q, 1]] のペロン＝フロベニウス固有値は (pq+2 + √(pq(pq+4)))/2 であり、これが実二次体を決定する。
• ドゥーンの手術を用いて、すべての閉じた 3 次元多様体へ構成を拡張可能であり、各多様体 𝔐_{p,q} はリンクの基本群を介して数体 K に関連づけられる。
• 写像 F はすべての公理を満たすwell-definedな関手であり、F(S³) = ℤ、O_K 内のイデアルは 𝔐 内のリンクに対応し、素イデアルは絡み目に一致する。