pith. sign in

arxiv: 2604.09469 · v1 · submitted 2026-04-10 · 🧮 math.GT · math.DS· math.GR· math.NT

A Neukirch-Uchida Theorem for 3-Manifolds

Nadav Gropper , Jun Ueki , Yi Wang This is my paper

Pith reviewed 2026-05-10 16:10 UTC · model grok-4.3

classification 🧮 math.GT math.DSmath.GRmath.NT
keywords Neukirch-Uchida theorem3-manifoldsbranched coversabsolute Galois groupChebotarev linksarithmetic topologyHilbert ramification theoryanabelian geometry
0
0 comments X

The pith

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.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a topological analogue of the classical Neukirch-Uchida theorem, which states that the absolute Galois group determines a number field up to isomorphism. It introduces infinite links in 3-manifolds that satisfy a Chebotarev density property, serving as the analogue of the set of primes. Relative to such a link, the absolute Galois group of a 3-manifold is defined as the inverse limit of profinite completions of finite sublink complements. The central result establishes that two branched covers of the three-sphere over the same link are homeomorphic precisely when these groups are isomorphic in a way that preserves characteristics. This translation of number-theoretic ideas into topology also justifies viewing the links as the precise stand-ins for primes.

Core claim

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 adapts the number-theoretic strategy by applying Hilbert ramification theory to infinite covers and using local-global principles, thereby confirming that Chebotarev links function as the topological counterpart to primes in this anabelian setting.

What carries the argument

The absolute Galois group of a 3-manifold, defined as the inverse limit of the profinite completions of the fundamental groups of complements of finite sublinks within a stably Chebotarev link.

If this is right

  • The homeomorphism type of any branched cover of the three-sphere over a stably Chebotarev link is completely recovered from its absolute Galois group data.
  • Chebotarev links function as the exact topological stand-in for the set of primes when applying anabelian methods to 3-manifolds.
  • Hilbert ramification theory extends directly to the infinite covers arising from these links.
  • Additional conditions on links can be isolated that allow them to fulfill the prime-number role in the same framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result opens the possibility of translating further anabelian questions about number fields into corresponding questions about 3-manifolds and their covers.
  • Galois-group computations for concrete examples could supply new, computable invariants capable of distinguishing 3-manifolds beyond classical topological tools.
  • If the construction generalizes to other classes of links or to higher-dimensional manifolds, it would enlarge the scope of anabelian geometry in topology.

Load-bearing premise

The existence of infinite links in 3-manifolds that satisfy a Chebotarev density property and can serve as the precise topological analogue of the set of primes, together with the applicability of Hilbert ramification theory to the resulting infinite covers.

What would settle it

Two non-homeomorphic branched covers of the three-sphere over the same stably Chebotarev link whose absolute Galois groups are isomorphic via a characteristic-preserving map, or a pair of homeomorphic covers whose groups fail to be isomorphic in that manner.

read the original 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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper proves an analogue of the Neukirch-Uchida theorem for 3-manifolds. It defines 'stably Chebotarev links' that satisfy a Chebotarev density property, introduces the absolute Galois group of a 3-manifold as the inverse limit of profinite completions of finite sublink complements, and shows that two branched covers of the three-sphere over such a link are homeomorphic if and only if their absolute Galois groups are isomorphic via a characteristic-preserving map. The proof adapts the number-theoretic argument by translating Hilbert ramification theory and local-global principles into the topological setting.

Significance. If the central translation holds, the result would be a notable contribution to arithmetic topology, giving a precise anabelian statement that justifies treating certain links as the direct analogue of primes and potentially enabling new Galois-theoretic techniques in 3-manifold classification.

major comments (1)
  1. [Proof of main theorem] The core equivalence rests on the claim that Hilbert ramification theory and local-global principles extend without loss to infinite covers over stably Chebotarev links. Because link components lack the discrete valuation structure of primes, it is not immediate that the Chebotarev property on finite sublinks controls the inverse-limit inertia and decomposition groups; an explicit argument or example showing that every geometric branching datum is recovered by the profinite data is required to support the 'if and only if' direction.
minor comments (1)
  1. The abstract refers to 'further conditions for links to play the role of prime numbers' but does not indicate where these are stated or whether they are necessary for the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the treatment of infinite covers. The observation is well-taken and will strengthen the exposition. We address the single major comment below.

read point-by-point responses

  1. Referee: The core equivalence rests on the claim that Hilbert ramification theory and local-global principles extend without loss to infinite covers over stably Chebotarev links. Because link components lack the discrete valuation structure of primes, it is not immediate that the Chebotarev property on finite sublinks controls the inverse-limit inertia and decomposition groups; an explicit argument or example showing that every geometric branching datum is recovered by the profinite data is required to support the 'if and only if' direction.

    Authors: We agree that the passage from finite sublinks to the inverse-limit absolute Galois group requires an explicit bridge between the Chebotarev density on finite complements and the inertia/decomposition groups in the profinite completion. The manuscript already defines the absolute Galois group as this inverse limit and invokes the stably Chebotarev condition to ensure that ramification data on finite sublinks determine the profinite groups (see Section 3.2 and the proof of Theorem 4.1). However, the referee is correct that a self-contained lemma making the recovery of geometric branching data fully explicit would remove any ambiguity. In the revised version we will insert a new Lemma 4.3 that proves: if two branched covers have isomorphic characteristic-preserving absolute Galois groups, then the inertia subgroups at each link component are conjugate in the inverse limit, and the branching indices are recovered from the orders of these inertia groups. The argument uses the density of the Chebotarev sets in the profinite topology together with the fact that the link components are tame. We will also add a short computational example (the figure-eight knot complement) illustrating the recovery of branching data from the profinite isomorphism. These additions do not alter the statement or the logical structure of the main theorem but make the translation of Hilbert theory fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation translates external number-theoretic results without reduction to self-inputs

full rationale

The paper defines the absolute Galois group of a 3-manifold relative to a stably Chebotarev link as an inverse limit of profinite completions and proves the homeomorphism criterion by translating the classical Neukirch-Uchida argument, invoking Hilbert ramification theory and local-global principles for infinite covers. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation; the Chebotarev property is an external assumption on the link, not derived from the Galois isomorphism itself. The central equivalence therefore rests on the translated topological analogues rather than on any equation or prior result that is equivalent to the target statement by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the existence and density properties of stably Chebotarev links together with the transferability of ramification theory; these are introduced or assumed rather than derived from prior independent results.

axioms (2)
  • standard math Profinite completions of fundamental groups of link complements exist and their inverse limit defines a meaningful absolute Galois group.
    Invoked in the definition of the absolute Galois group of a 3-manifold.
  • domain assumption Hilbert ramification theory and local-global principles extend from number fields to infinite covers of 3-manifolds.
    Explicitly relied upon in the proof sketch.
invented entities (1)
  • stably Chebotarev link no independent evidence
    purpose: To serve as the topological analogue of the set of primes satisfying a Chebotarev density property.
    Introduced to make the Galois-group determination work; no independent existence proof or construction is given in the abstract.

pith-pipeline@v0.9.0 · 5505 in / 1520 out tokens · 75281 ms · 2026-05-10T16:10:51.082376+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Aschenbrenner, S

    M. Aschenbrenner, S. Friedl, and H. Wilton.3-manifold groups. EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2015

    work page 2015

  2. [2]

    Ghrist and E

    R. Ghrist and E. Kin. Flowlines transverse to knot and link fibrations.Pacific J. Math., 217(1):61–86, 2004

    work page 2004

  3. [3]

    N. Gropper. Surfaces and p-adic fields i: Dehn twists.arXiv preprint arXiv:2303.04309, 2023

    work page arXiv 2023

  4. [4]

    Grothendieck

    A. Grothendieck. Esquisse d’un programme. InGeometric Galois actions, 1, volume 242 ofLondon Math. Soc. Lecture Note Ser., pages 5–48. Cambridge Univ. Press, Cambridge, 1997. With an English translation on pp. 243–283

    work page 1997

  5. [5]

    Grothendieck.Revˆ etements ´ etales et groupe fondamental (SGA 1), volume 3 ofDocuments Math´ ematiques (Paris)

    A. Grothendieck.Revˆ etements ´ etales et groupe fondamental (SGA 1), volume 3 ofDocuments Math´ ematiques (Paris). Soci´ et´ e Math´ ematique de France, Paris, 2003

    work page 2003

  6. [6]

    Haberland, H

    K. Haberland, H. Koch, and T. Zink. Galois cohomology of algebraic number fields.(No Title), 1978

    work page 1978

  7. [7]

    H. M. Hilden. Every closed orientable 3-manifold is a 3-fold branched covering space ofS 3.Bull. Amer. Math. Soc., 80:1243–1244, 1974

    work page 1974

  8. [8]

    H. M. Hilden, M. T. Lozano, and J. M. Montesinos. On knots that are universal.Topology, 24(4):499–504, 1985

    work page 1985

  9. [9]

    Hillman, D

    J. Hillman, D. Matei, and M. Morishita. Pro-plink groups andp-homology groups. InPrimes and knots, volume 416 ofContemp. Math., pages 121–136. Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  10. [10]

    Y. Hoshi. On the field-theoreticity of homomorphisms between the multiplicative groups of number fields.Publ. Res. Inst. Math. Sci., 50(2):269–285, 2014

    work page 2014

  11. [11]

    A. B. Ivanov. On a generalization of the Neukirch-Uchida theorem.Mosc. Math. J., 17(3):371–383, 2017

    work page 2017

  12. [12]

    Karshon, M

    I. Karshon and M. Shusterman. Pro-l-by-cyclotomic and tamely ramified variants of the neukirch-uchida theorem. arXiv preprint arXiv:2601.01251, 2026

    work page arXiv 2026

  13. [13]

    A. Mathew. The galois group of a stable homotopy theory.Advances in Mathematics, 291:403–541, 2016

    work page 2016

  14. [14]

    B. Mazur. Remarks on the alexander polynomial.Unpublished note, 1964

    work page 1964

  15. [15]

    B. Mazur. Notes on ´ etale cohomology of number fields.Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 6(4):521–552, 1973

    work page 1973

  16. [16]

    B. Mazur. Primes, knots and Po. InEssays on topology—dedicated to Valentin Po´ enaru, pages 13–31. Springer, Cham, 2025

    work page 2025

  17. [17]

    C. T. McMullen. Knots which behave like the prime numbers.Compositio Mathematica, 149(8):1235–1244, 2013

    work page 2013

  18. [18]

    T. Mihara. Cohomological approach to class field theory in arithmetic topology.Canad. J. Math., 71(4):891–935, 2019

    work page 2019

  19. [19]

    Mochizuki

    S. Mochizuki. A version of the grothendieck conjecture for p-adic local fields.International Journal of Mathematics, 8(4):499–506, 1997

    work page 1997

  20. [20]

    Morishita.Knots and primes

    M. Morishita.Knots and primes. Springer, 2012

    work page 2012

  21. [21]

    G. D. Mostow. Quasi-conformal mappings inn-space and the rigidity of hyperbolic space forms.Publications Math´ ematiques de l’IH´ES, 34:53–104, 1968

    work page 1968

  22. [22]

    Nakamura, A

    H. Nakamura, A. Tamagawa, and S. Mochizuki. The grothendieck conjecture on the fundamental groups of algebraic curves.Sugaku Expositions, 14(1):31–54, 2001. 34 NADAV GROPPER, JUN UEKI, AND YI WANG

    work page 2001

  23. [23]

    Neukirch

    J. Neukirch. Kennzeichnung der endlich-algebraischen Zahlk¨ orper durch die Galoisgruppe der maximal aufl¨ osbaren Erweiterungen.J. Reine Angew. Math., 238:135–147, 1969

    work page 1969

  24. [24]

    Neukirch

    J. Neukirch. Kennzeichnung derp-adischen und der endlichen algebraischen Zahlk¨ orper.Invent. Math., 6:296–314, 1969

    work page 1969

  25. [25]

    Neukirch, A

    J. Neukirch, A. Schmidt, and K. Wingberg.Cohomology of number fields, volume 323. Springer Science & Business Media, 2013

    work page 2013

  26. [26]

    H. Niibo. Id` elic class field theory for 3-manifolds.Kyushu J. Math., 68(2):421–436, 2014

    work page 2014

  27. [27]

    Niibo and J

    H. Niibo and J. Ueki. Id` elic class field theory for 3-manifolds and very admissible links.Trans. Amer. Math. Soc., 371(12):8467–8488, 2019

    work page 2019

  28. [28]

    Parry and M

    W. Parry and M. Pollicott. Zeta functions and the periodic orbit structure of hyperbolic dynamics.Ast´ erisque, 187(188):1–268, 1990

    work page 1990

  29. [29]

    Poitou.Cohomologie galoisienne des modules finis, volume No

    G. Poitou.Cohomologie galoisienne des modules finis, volume No. 13 ofTravaux et Recherches Math´ ematiques. Dunod, Paris, 1967. S´ eminaire de l’Institut de Math´ ematiques de Lille, sous la direction de G. Poitou

    work page 1967

  30. [30]

    F. Pop. Lectures on anabelian phenomena in geometry and arithmetic.Non-abelian fundamental groups and Iwa- sawa theory, 393:1, 2011

    work page 2011

  31. [31]

    A. W. Reid. Profinite rigidity. InProceedings of the International Congress of Mathematicians—Rio de Janeiro

    work page

  32. [32]

    Vol. II. Invited lectures, pages 1193–1216. World Sci. Publ., Hackensack, NJ, 2018

    work page 2018

  33. [33]

    Serre.Galois cohomology

    J.-P. Serre.Galois cohomology. Springer-Verlag, Berlin, 1997. Translated from the French by Patrick Ion and revised by the author

    work page 1997

  34. [34]

    R. Shimizu. The Neukirch-Uchida theorem with restricted ramification.J. Reine Angew. Math., 785:187–217, 2022

    work page 2022

  35. [35]

    Tamagawa

    A. Tamagawa. The Grothendieck conjecture for affine curves.Compositio Math., 109(2):135–194, 1997

    work page 1997

  36. [36]

    K. Uchida. Isomorphisms of Galois groups.J. Math. Soc. Japan, 28(4):617–620, 1976

    work page 1976

  37. [37]

    K. Uchida. Isomorphisms of galois groups of algebraic function fields.Annals of Mathematics, 106(3):589–598, 1977

    work page 1977

  38. [38]

    J. Ueki. On the homology of branched coverings of 3-manifolds.Nagoya Math. J., 213:21–39, 2014

    work page 2014

  39. [39]

    J. Ueki. On the Iwasawaµ-invariants of branchedZ p-covers.Proc. Japan Acad. Ser. A Math. Sci., 92(6):67–72, 2016

    work page 2016

  40. [40]

    J. Ueki. On the Iwasawa invariants for links and Kida’s formula.Internat. J. Math., 28(6):1750035, 30, 2017

    work page 2017

  41. [41]

    J. Ueki. Chebotarev links are stably generic.Bulletin of the London Mathematical Society, 53(1):82–91, 2021

    work page 2021

  42. [42]

    L. C. Washington.Introduction to cyclotomic fields, volume 83 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1982

    work page 1982

  43. [43]

    D. V. Widder.The Laplace Transform, volume vol. 6 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1941

    work page 1941

  44. [44]

    G. Wilkes. Relative cohomology theory for profinite groups.J. Pure Appl. Algebra, 223(4):1617–1688, 2019

    work page 2019

  45. [45]

    X. Xu. Profinite almost rigidity in 3-manifolds.Adv. Math., 480:Paper No. 110505, 79, 2025. Department of Mathematics, Seoul National University, Seoul, South Korea Email address:Nadav.Gropper@gmail.com Department of Mathematics, Ochanomizu University; 2-1-1 Otsuka, Bunkyo-ku, 112-8610, Tokyo, Japan Email address:uekijun46@gmail.com Department of Mathemat...

    work page 2025