A Neukirch-Uchida Theorem for 3-Manifolds

Abstract: The classical Neukirch-Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links in 3-manifolds that behave like the set of primes, satisfying a Chebotarev density property. Relative to such a stably Chebotarev link, we define the absolute Galois group of a 3-manifold as the inverse limit of profinite completions of finite sublink complements. Our main result shows that two branched covers of the three-sphere over a stably Chebotarev link are homeomorphic if and only if their absolute Galois groups are isomorphic via a characteristic-preserving isomorphism. The proof translates the key ideas from the number-theoretic argument into topology, relying on Hilbert ramification theory for infinite covers and local-global principles. In doing so, it also provides a systematic justification for viewing Chebotarev links as the precise topological analogue of prime numbers in anabelian geometry. In addition, we discuss further conditions for links to play the role of prime numbers

• The paper proves that a characteristic-preserving isomorphism of absolute Galois groups uniquely determines the homeomorphism type of branched 3-manifold covers.
• The paper employs an inverse limit construction of profinite completions of link complements, paralleling methods from number field theory.
• The paper reveals a deep analogy between the splitting of prime ideals and knot invariants, advancing the field of arithmetic topology.

A Neukirch-Uchida Theorem for 3-Manifolds

Introduction and Context

The Neukirch-Uchida theorem forms a cornerstone of anabelian geometry, stating that the isomorphism class of a number field is uniquely determined by its absolute Galois group as a profinite group. This result is profoundly rigid, with far-reaching structural implications for the field of arithmetic geometry. The work "A Neukirch-Uchida Theorem for 3-Manifolds" (2604.09469) establishes a precise topological analogue of this rigidity: for a wide class of infinite links in 3-manifolds (namely, stably Chebotarev links), the associated "absolute Galois group" encodes the topological type of branched coverings in a manner directly parallel to the role played by Galois groups over number fields. This is framed within arithmetic topology, an area that elucidates and abstractly transposes the deep analogies between prime ideals in rings of integers and knots/links in 3-manifolds.

Summary of Main Results

The central theorem asserts that, for a fixed stably Chebotarev link $\mathcal{L} \subset S^3$, two branched coverings of $S^3$ over finite sublinks of $\mathcal{L}$ are homeomorphic if and only if their associated absolute Galois groups (profinite group invariants built from all finite sublink complements) are isomorphic via a characteristic-preserving group isomorphism. This is a robust rigidity statement, as it requires only group-theoretic input to recover topological data.

Absolute Galois Groups and Profinite Structure

Given a stably Chebotarev link $\mathcal{L}$, the absolute Galois group $\mathrm{Gal}(M, \mathcal{L}_M)$ for a branched cover $M \to S^3$ is defined via the inverse limit

$$\mathrm{Gal}(M, \mathcal{L}_M) = \varprojlim_{L \subset \mathcal{L}\ \text{finite}} \widehat{\pi_1}(M \setminus L),$$

where the limit runs over all finite sublinks, and $\widehat{\pi_1}$ denotes the profinite completion. The universal covering in this context is a universal pro-covering, reminiscent of the algebraic closure of fields.

Chebotarev Links as Topological Analogues of Primes

The class of stably Chebotarev links formalizes the requirements on analogues of the set of primes needed for a full topological translation of the Neukirch-Uchida theorem. Such links satisfy a Chebotarev density property: for every surjection from the fundamental group (with finitely many excluded knot components) to a finite group, the distribution of conjugacy classes of longitudes/meridians among the knots equidistributes as with Frobenius elements, paralleling the analytic content of the classical Chebotarev density theorem for number fields.

Rigidity Theorem

The main theorem (analogous to Neukirch-Uchida):

Let $\mathcal{L} \subset S^3$ be a stably Chebotarev link. For branched coverings $M_1, M_2 \to S^3$ ramified over finite sublinks, any characteristic-preserving isomorphism $S^3$0 is induced uniquely by a homeomorphism of covers. Conversely, such a homeomorphism induces a unique, characteristic-preserving isomorphism.

This rigidity is strict: any automorphism of the absolute Galois group that preserves the characteristic data is inner.

Local-Global Principles

The proof hinges on topological analogues of local-global principles from Galois cohomology, akin to the Hasse principle and Grunwald-Wang theorem, but manifested in the cohomology of manifolds and their link exteriors. The authors establish injectivity and surjectivity of natural restriction maps in $S^3$1, and relate these to counts and densities of "totally split" knot components in covers, mimicking Frobenius splitting of primes in field extensions.

Structure Theorems and Topological Zeta Functions

The paper further develops the analogy between prime splitting and knot behavior using topological zeta and $S^3$2-functions attached to Chebotarev links. The density of totally split knots in a cover is calculated as the reciprocal of the covering degree, paralleling the Galois-theoretic density of split primes. This numerical content enters critically into the global-to-local reconstruction of coverings from their group invariants.

Technical Contributions

• The construction of the absolute Galois group as an inverse limit of profinite completions of link group complements, including the well-posedness and categoricity of such a fundamental group for the filtered Galois category of all finite branched covers over $S^3$3.
• Explicit identification of decomposition groups (profinite analogues of decomposition groups at primes) as copies of $S^3$4 (meridian and longitude), and the proof that their precise position in the ambient profinite group detects the branching geometry at each knot component.
• Systematic reduction of topological rigidity to group-theoretic properties via embedding problems, density computations, and Pontryagin duality in Galois cohomology.
• Clarification of the requisite "characteristic-preserving" condition, paralleling results needed in the treatment of restricted ramification in anabelian geometry.

Relation to Broader Frameworks

This work clarifies and sharpens the dictionary of arithmetic topology, unifying prior constructions of topological analogues of class field theory [ueki2021chebotarev, mcmullen2013knots], cohomological formalism [mihara], and connections with profinite rigidity [reid, wiltonzalesskii]. It highlights open directions in the search for class field theoretic phenomena in 3-manifold topology, especially concerning the extension to more intricate duality sequences and the possible existence of links that violate certain rigidity properties.

Implications and Future Directions

The main theorem motivates several deeper lines of inquiry. Practically, it allows the construction of topological invariants of branched covers that are accessible purely through the computation of their associated profinite Galois groups. Theoretically, it suggests that further analogues of known theorems in global field arithmetic can be systematically transplanted and proven for infinite link complements under appropriate density and rigidity assumptions.

Both the question of intrinsic profinite rigidity for links (i.e., removal of the characteristic-preserving constraint) and the completion of a Poitou--Tate type duality sequence remain open, with strong evidence provided for their eventual resolution in the positive, at least for links with sufficiently strong geometric properties (notably hyperbolic Chebotarev links). The planetary link of the figure-eight knot is identified as a prototypical candidate for such universality in rigidity.

Conclusion

"A Neukirch-Uchida Theorem for 3-Manifolds" (2604.09469) accomplishes a direct and technically substantial transplantation of foundational rigidity phenomena from number theory to 3-manifold topology. The articulation of a topological Neukirch-Uchida theorem, and its supporting local-global structure, represents an authoritative advancement in arithmetic topology. The results establish the absolute Galois group as a new, robust invariant for 3-manifolds over stably Chebotarev links, opening avenues for further unification of topological, arithmetic, and group-theoretic rigidity paradigms.