[论文解读] Remark on arithmetic topology

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

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

一句话总结

本文利用丛 C*-代数，从三维流形范畴构造到代数数域的函子，实现了算术拓扑类比：纽结对应于素理想，链环对应于整环中的理想。关键结果是对 Manin、Mazur 和 Mumford 在 1960 年代提出的猜想的函子化实现，通过 braid 群表示与 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.

研究动机与目标

• 形式化三维流形中的纽结与数域中素理想的算术拓扑类比。
• 构造从闭三维流形范畴到代数数域范畴的函子，满足算术拓扑的所有公理。
• 通过表示理论与 K-理论，实现拓扑对象（纽结、链环）与算术对象（素理想、理想）之间的对应。
• 为长期悬而未决的算术拓扑猜想（特别是 Manin、Mazur 和 Mumford 在 1960 年代提出的猜想）提供具体且函子化的实现。

提出的方法

• 使用丛 C*-代数作为 Teichmüller 空间上的非交换坐标环，其 K₀ 群同构于丛代数。
• 应用 Birman-Hilden 定理，通过 σᵢ ↦ eᵢ + 1（其中 eᵢ 为投影）将 braid 群 B_{2g+n} 表示到丛 C*-代数中。
• 通过在链环的基本群上施加 braid 群作用的关系，构造商代数 𝔸_b = 𝔸(𝐱, S_{g,n}) / 𝒟_b。
• 利用同构 K₀(𝔸_b) ≅ O_K，其中 O_K 是数域 K 的整环，且 K 对 ℚ 的次数为 6g−6+2n。
• 应用 Lickorish-Wallace 定理，通过 Dehn 换面将构造从链环推广到所有闭可定向三维流形。
• 利用单变量矩阵的 Perron-Frobenius 特征值确定相关数域 K 的判别式。

实验结果

研究问题

• RQ1 能否从三维流形范畴到代数数域范畴构造一个函子，以实现算术拓扑类比？
• RQ2 在该构造下，数域整环中的素理想是否精确对应于三维流形中的纽结？
• RQ3 链环与数域中理想之间的对应是否为函子性且与已知的拓扑与算术不变量一致？
• RQ4 braid 群在丛 C*-代数中的表示是否能导出与数域整环的 K-理论同构？
• RQ5 该构造是否满足 Manin、Mazur 和 Mumford 在 1960 年代提出的算术拓扑公理的所有条件？

主要发现

• 函子 F 将三维球面 S³ 映射到整数 ℤ，确认了该对应的基情形。
• 对于每个由 braid b ∈ B₃ 的闭包得到的链环 𝔏_b，商代数 𝔸_b 的 K₀ 群同构于实二次域 K ≅ ℚ(√(pq(pq+4))) 的整环 O_K，其中 b = σ₁ᵖσ₂⁻ᑫ。
• 判别式 D = pq(pq+4) 决定了数域 K，例如当 p, q 较小时，有 Q(√5)、Q(√21) 和 Q(√77) 等例子。
• 单变量矩阵 φ_b = [[pq+1, p], [q, 1]] 的 Perron-Frobenius 特征值为 (pq+2 + √(pq(pq+4)))/2，该值确定了实二次域。
• 通过 Dehn 换面，该构造可推广至所有闭三维流形，每个流形 𝔐_{p,q} 通过链环的基本群与一个数域 K 关联。
• 映射 F 是一个良定义的函子，满足所有公理：F(S³) = ℤ，O_K 中的理想对应于 𝔐 中的链环，而素理想对应于纽结。