nLab arithmetic topology

Redirected from "MKR dictionary".

Context

Knot theory

Arithmetic geometry

Contents

Idea

Arithmetic topology is a theory describing some surprising analogies between 3-dimensional topology and number theory (arithmetic), where knots embedded in a 3-manifold behave like prime ideals in a ring of algebraic integers. See also at Spec(Z) – As a 3d space containing knots. More broadly, the scope of arithmetic topology is now taken to include the intersection of arithmetic geometry, algebraic topology and low-dimensional topology (see GGW20).

Under the original analogy, the 3-sphere, S 3S^3 corresponds to the ring of rational numbers \mathbb{Q}, or rather (the closure of) spec(𝒪 )spec(\mathcal{O}_{\mathbb{Q}}) (i.e., spec()spec(\mathbb{Z})), since the 3-sphere has no non-trivial (unbranched) covers while \mathbb{Q} has no non-trivial unramified extensions. The linking number between two embedded knots in the 3-sphere then corresponds to the Legendre symbol between two primes in the ordinary integers.

The so-called M^2KR dictionary (Mazur-Morishita-Kapranov-Reznikov) relates terms from each side of the analogy (see sec 2.2 of Sikora).

The dictionary

Version of Mazur-Morishita-Kapranov-Reznikov (M^2KR)

  1. Closed, orientable, connected 3-manifolds correspond to (the closure of) schemes Spec𝒪 KSpec \mathcal{O}_K for number fields KK.
  2. Links correspond to ideals in 𝒪 K\mathcal{O}_K and knots correspond to prime ideals (tame in both cases). Knots can be represented by immersions of S 1S^1 into MM, and prime ideals in 𝒪 K\mathcal{O}_K can be identified with closed immersions Spec𝔽Spec𝒪 KSpec \mathbb{F} \to Spec \mathcal{O}_K, where 𝔽\mathbb{F}‘s are finite fields. Each link decomposes uniquely as a union of knots and each ideal decomposes uniquely as a product of primes.
  3. An algebraic integer corresponds to an embedded surface (possibly with boundary), and the operation a(a)a \to (a) corresponds to taking its boundary. Closed embedded surfaces correspond to units in 𝒪 K\mathcal{O}_K. Ideals of the form (a)(a) represent the identity in Cl(K)Cl(K), and the links of the form S\partial S represent the identity in H 1(M,)H_1(M,\mathbb{Z}).
  4. Cl(K)Cl(K) corresponds to the torsion component of first integral homology. The free component of H 1(M,)H_1(M,\mathbb{Z}) corresponds to the group of units in 𝒪 K\mathcal{O}_K after removing the torsion (roots of unity).
  5. Finite extensions of number fields correspond to finite branched coverings.
  6. S 3S^3 is supposed to correspond to \mathbb{Q}. Notice that S 3S^3 has no nontrivial unbranched covers, and similarly \mathbb{Q} has no nontrivial unramified extensions.
  7. A Galois extension L/KL/K with Galois group GG induces a morphism Spec𝒪 L(Spec𝒪 L)/G=Spec𝒪 KSpec \mathcal{O}_L \to (Spec \mathcal{O}_L)/G = Spec \mathcal{O}_K. Such maps correspond to the quotient maps MM/GM \to M/G induced by orientation preserving actions of finite groups GG on 3-manifolds MM. One can show that M/GM/G is always a 3-manifold and that the maps MM/GM \to M/G are branched coverings.
  8. Let q=p nq = p^n. Consider the cyclotomic extension (ζ q)\mathbb{Q}(\zeta_q). It is ramified only at pp. These correspond to cyclic branched covers of knots in S 3S^3. The union of these as qq ranges over all powers of pp should correspond to the universal abelian cover of S 3KS^3 \setminus K. There is a natural action of \mathbb{Z} on the first homology group of the infinite cyclic cover of the knot complement corresponding to the natural action of the pp-adic integers on the pp-torsion of Cl((ζ p ))Cl(\mathbb{Q}(\zeta_{p^{\infty}})). This concerns the Alexander polynomial of the knot and Iwasawa theory. (Sikora, pp. 5-6, Koberda08, pp. 32-33)

Note: Regarding (4), some have argued that Cl(K)Cl(K) should correspond to the full first integral homology group, (see, e.g., Goundaroulis & Kontogeorgis).

The correspondence between π 1 et({p})\pi^{et}_1(\mathbb{Z} -\{p\}) and π 1(S 3K)\pi_1(S^3 \setminus K) can be developed to relate the Legendre symbol for two primes to the linking number of two knots, and further to the Rédei symbol for three primes and Milner’s triple linking number. Thus we can find a ‘Borromean link’ of primes, such as (13,61,397)(13, 61, 397), where each pair is unlinked.

Disanalogies

  1. The algebraic translation of the Poincaré Conjecture is false. \mathbb{Q} is not the only number field with no unramified extensions. Nevertheless, H^ i(Spec𝒪 K,/n)=H^ i(Spec,/n)(i,n2)\hat{H}^i(Spec \mathcal{O}_K, \mathbb{Z}/n\mathbb{Z}) = \hat{H}^i(Spec \mathbb{Z}, \mathbb{Z}/n\mathbb{Z}) (i \in \mathbb{Z}, n \geq 2) if and only if 𝒪 K=\mathcal{O}_K = \mathbb{Z}.
  2. Let M 1MM_1 \to M be a covering of 3-manifolds. A knot KK in MM does not necessarily lift to a knot in M 1M_1, while every prime ideal p𝒪 Kp \triangleleft \mathcal{O}_K gives rise to an ideal p𝒪 Lp \mathcal{O}_L, where L/KL/K is a Galois number field extension. (Goundaroulis & Kontogeorgis).

Version of Deninger

Similar to M^2KR, but with the introduction of a 2-dimensional foliation on the 3-manifold and a flow such that finite primes pp correspond to periodic orbits of length logNplog N p and the infinite primes correspond to the fixed points of the flow (Deninger02). (See also the work of Baptiste Morin on the Weil-étale topos.)

Version of Reznikov

Reznikov has modified the dictionary (Reznikov 00, section 12) so as to associate a number field with what he calls a 3123\frac{1}{2}-manifold, that is a closed three-manifold MM, bounding a four-manifold NN, such that the map of fundamental groups π 1(M)π 1(N)\pi_1(M) \to \pi_1(N) is surjective.

Explanations for the analogy

Barry Mazur observed that for an affine spectrum X=Spec(D)X = Spec(D) of the ring of integers DD in a number field, the groups H et n(X,𝔾 m,X)H^n_{et}(X, \mathbb{G}_{m, X}) vanish (up to 2-torsion) for n>3n \gt 3, and is equal to /\mathbb{Q}/\mathbb{Z} for n=3n = 3, where 𝔾 m,X\mathbb{G}_{m, X} is the étale sheaf on XX defined by associating to a connected finite étale covering Spec(B)XSpec(B) \to X the multiplicative group 𝔾 m,X(Y)=B ×\mathbb{G}_{m, X}(Y) = B^{\times}.

Also, there is a non-degenerate pairing for any constructible abelian sheaf MM,

H et r(X,M )×Ext X 3r(M,𝔾 m,X)H et 3(X,𝔾 m,X)/, H^r_{et}(X,M^{'}) \times Ext^{3-r}_X(M,\mathbb{G}_{m, X}) \to H^3_{et}(X,\mathbb{G}_{m, X})\simeq \mathbb{Q}/\mathbb{Z},

where M =Hom(M,𝔾 m,X)M^{'} = Hom(M, \mathbb{G}_{m, X}). This resembles Poincaré duality for 3-manifolds.

Minhyong Kim argues that the normal bundle of an embedding of a circle corresponding to a prime in Spec()Spec(\mathbb{Z}) is 2-dimensional (Kim).

Baptiste Morin claims to provide a unified treatment via equivariant etale cohomology (Morin06).

References

  • Christopher Deninger, A note on arithmetic topology and dynamical systems, (arxiv:0204274)

  • Dimoklis Goundaroulis, Aristides Kontogeorgis, On the Principal Ideal Theorem in Arithmetic Topology, (talk, paper)

  • Minhyong Kim, note

  • Thomas Koberda, Class Field Theory and the MKR Dictionary for Knots, (pdf)

  • Baptiste Morin, Applications of an Equivariant Etale Cohomology to Arithmetic Topology, arxiv:0602064 and Utilisation d’une cohomologie étale équivariante en topologie arithmétique, Compositio Math. 144 (2008), no. 1, 32-60.

  • Masanori Morishita, Analogies between Knots and Primes, 3-Manifolds and Number Rings, (arxiv:0904.3399)

  • Alexander Reznikov, Embedded incompressible surfaces and homology of ramified coverings of three-manifolds, Selecta Math. 6(2000), 1–39

  • Adam Sikora, Analogies between group actions on 3-manifolds and number fields, (arxiv)

  • Toshitake Kohno, Masanori Morishita (eds.), Primes and Knots, Contemporary Mathematics, AMS 2006 (conm:416)

  • Masanori Morishita, Knots and Primes: An Introduction to Arithmetic Topology, 2012, Springer, (web)

  • Claudio Gómez-Gonzáles, Jesse Wolfson, Problems in Arithmetic Topology (arXiv:2012.15434)

Last revised on January 2, 2021 at 08:58:27. See the history of this page for a list of all contributions to it.