A program and collection of precise analogies and correspondences that relate number‑theoretic objects (primes, number fields, Galois groups, class groups) to topological objects (knots, three‑manifolds, fundamental groups, homology), used to transfer intuition and constructions between the domains.

Principle

Structural correspondences map algebraic invariants to topological invariants—e.g. primes ↔ knots, completions/places ↔ tubular neighborhoods, Galois groups ↔ fundamental groups, class field theory ↔ abelianization—so that similar formal patterns guide constructions on both sides.

Demonstration

Example: the analogy that an isolated prime ideal in a number field behaves like a knot in a three‑manifold—its decomposition in field extensions corresponds to branching of a covering space; abelian class field theory corresponds to the abelianization of the étale (or profinite) fundamental group, mirroring H_1 of a manifold.

Misapplication

Treating the analogy as an isomorphism of categories or applying topological theorems verbatim to arithmetical contexts without checking the required algebraic hypotheses (e.g. finiteness or geometric hypotheses), leading to false arithmetic claims.

Consequence

When used judiciously, the analogy guides definitions of new invariants (arithmetic linking numbers, analogues of the Alexander polynomial), suggests conjectures, and imports techniques (cohomological dualities, spectral sequences) that have produced concrete arithmetic insights.

Reversal

From the topological side one can use arithmetic phenomena to suggest new topological constructs or invariants; the correspondence is not one‑way but a source of cross‑fertilisation in both directions.

Boundary

The analogy is heuristic and partial: it is not a theorem asserting equivalence of categories. It typically applies to analogies between number fields and three‑manifolds, local field/prime neighborhoods and tubular neighborhoods, but excludes phenomena relying on analytic continuation of L‑functions or on archimedean places without careful reinterpretation.

Semantic Tension

Tension exists with arithmetic geometry: while arithmetic topology emphasizes low‑dimensional topological analogues, arithmetic geometry (schemes, motives, étale cohomology) provides a different, often more rigid technical framework; the two approaches overlap but are not identical in methods or claims.

Synthesis

Arithmetic topology is the systematic practice of identifying and exploiting structural parallels between arithmetic and low‑dimensional topology—mapping primes to knots, Galois/fundamental groups to covering theory, and thereby using topological intuition to propose arithmetic constructions and vice versa while respecting the limits of the analogy.