On Hasse norm principle for 3-manifolds in arithmetic topology
Hirotaka Tashiro
TL;DR
The paper addresses a topological analogue of the Hasse norm principle within arithmetic topology, connecting finite cyclic coverings of integral homology 3-spheres to idele-like structures. It builds a topological idèle framework $(I_{M,\mathcal{L}}, P_{M,\mathcal{L}})$ via the diagonal map $\Delta_{M,\mathcal{L}}$ and provides an explicit description using Seifert surfaces, enabling a precise formulation of a topological Hasse norm principle. The main result proves that for a cyclic cover $f:N\to M$ branched along a finite sublink, $P_{M,\mathcal{L}}\cap f_{*}(I_{N, f^{-1}(\mathcal{L})})=f_{*}(P_{N, f^{-1}(\mathcal{L})})$, supported by a diagrammatic and homological argument that mirrors class field theory. This work deepens the analogy between number theory and 3-manifold topology, providing a formal mechanism to study abelian coverings in the topological setting and suggesting extensions to rational homology 3-spheres.
Abstract
Following the analogies between knots and primes, 3-manifolds and number rings in arithmetic topology, we show a topological analogue of the Hasse norm principle for finite cyclic coverings of 3-manifolds, which was originally stated for finite cyclic extensions of number fields.
