Normalizers of lattices and isometry groups of arithmetic hyperbolic manifolds

Mikhail Belolipetsky; Tam Cheetham-West

REVIEW 4 major objections 5 minor 136 references

Normalizers of lattices and isometry groups of arithmetic hyperbolic manifolds

T0 review · 4 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that every finite group is the full isometry group of infinitely many arithmetic hyperbolic n-manifolds, and that every arithmetic lattice is the normalizer of arbitrarily many of its sublattices.

desk verdict Big claims, unproven hinge: the normalizer extension to arithmetic lattices is plausible, but the isometry-group theorem rests on an unsupported and possibly circular finiteness assertion about infinite-index subgroups. read the letter →

arxiv 2607.28949 v1 pith:3OIHWVEL submitted 2026-07-31 math.GT math.GR

Mikhail Belolipetsky , Tam Cheetham-West This is my paper · ORCID

classification math.GTmath.GR MSC 22E4057K3220E26

keywords arithmeticlatticeshyperbolicmanifoldsisometrygroupsnormalizersprofiniterigidityomnipotencesubgroupgrowthsimplesttype

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves two theorems about arithmetic hyperbolic manifolds. First, any torsion-free arithmetic lattice in the isometry group of hyperbolic 3-space, and any torsion-free arithmetic lattice of the simplest type in the isometry group of hyperbolic n-space (n≥2), is the full normalizer of arbitrarily many of its own finite-index sublattices: for every finite-index subgroup Δ there is a deeper finite-index subgroup Θ whose normalizer is exactly the original lattice. Combined with earlier work, this gives that the set of profinitely flexible lattices in PSL(2,C) is either empty or countably infinite, and reduces profinite-rigidity questions to fibered or special lattices. Second, for every dimension n≥2 and every finite group G, there are infinitely many arithmetic hyperbolic n-manifolds of the simplest type, compact and non-compact, whose full isometry group is isomorphic to G. The proofs rely on the omnipotence of virtually special cubulated groups and on a finiteness theorem for maximal lattices containing a given lattice, together with subgroup-growth counting. A sympathetic reader should take away that arithmeticity does not prevent tight control of symmetries: the dense commensurator can be tamed by specifying element orders in finite quotients.

What carries the argument

Two mechanisms carry the proofs. The first is the omnipotence property of virtually special cubulated groups (for word-hyperbolic and relatively hyperbolic groups): any finite set of independent infinite-order elements can be assigned prescribed finite orders in a finite quotient. This lets the authors build a subgroup Θ whose normalizer cannot contain any element outside the original lattice, since such an element would conjugate a cyclic subgroup of one order to one of a different order. The second is a finiteness result (Proposition 3.1) that only finitely many maximal lattices contain a given lattice; Theorem 3.3 is proved by induction over this finite list. For Theorem 4.1 the machinery

What would settle it

Produce an arithmetic lattice of the simplest type and an infinite-index normal subgroup M contained in infinitely many distinct maximal lattices, contradicting Proposition 4.3(v); or find a finite group G and a dimension n≥2 with no arithmetic hyperbolic n-manifold of the simplest type having full isometry group isomorphic to G.

Watch

Extended reading notes

Core claim

The central claim of the paper is that arithmetic lattices of a broad class can be forced to be the exact normalizer of arbitrarily deep finite-index sublattices. Specifically, Theorem 3.3 states: if Λ is a torsion-free arithmetic lattice in PO(3,1), or a torsion-free arithmetic lattice of the simplest type in PO(n,1) with n≥2, then for every finite-index subgroup Δ<Λ there is a finite-index subgroup Θ<Δ such that Aut(Θ)=Λ, meaning the full normalizer of Θ in the ambient isometry group is exactly Λ. The same holds for orientation-preserving automorphisms. From this and earlier work, the authors infer that every lattice in PSL(2,C) is the normalizer of arbitrarily many of its sublattices, and

Load-bearing premise

The proof of Theorem 4.1 depends on the claim, cited to earlier classification work, that an arbitrary infinite-index normal subgroup of an arithmetic hyperbolic lattice is contained in only finitely many maximal lattices; if that finiteness fails, the final normalizer argument does not go through.

Editorial extensions

If this is right

Every torsion-free arithmetic lattice in PSL(2,C) and every torsion-free simplest-type arithmetic lattice in PO(n,1) has infinitely many finite-index sublattices whose full normalizer is exactly the lattice, so the associated manifolds have no hidden symmetries beyond the original fundamental group.
The set of profinitely flexible lattices in PSL(2,C) is either empty or countably infinite; it cannot be uncountable.
For lattices in PSL(2,C), profinite rigidity of all lattices is equivalent to profinite rigidity just of fibered lattices, and also equivalent to profinite rigidity just of special lattices.
In every dimension n≥2, every finite group occurs as the full isometry group of infinitely many arithmetic hyperbolic n-manifolds of the simplest type, both compact and non-compact.
The isometry-group construction extends directly to non-cocompact arithmetic hyperbolic lattices (Remark 4.5).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The finiteness assertion in Proposition 4.3(v) — that the infinite-index subgroup M lies in only finitely many maximal lattices — is cited to the arithmetic classification; if that assertion needs extra hypotheses the isometry-group theorem may still be true but the argument as written would not establish it.
The 'empty or countably infinite' dichotomy suggests that if any profinitely flexible lattice in PSL(2,C) exists, then such lattices are organized into a countable family; understanding that family could sharpen the profinite-rigidity question.
Because type II and type III arithmetic hyperbolic lattices lack the codimension-one totally geodesic subspaces used here, extending the isometry-group realization to all arithmetic lattices (and possibly to complex hyperbolic manifolds) would require a different source of geometric rigidity.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Chiming in on arXiv:2607.28949. The paper aims to extend two programs to arithmetic lattices: the normalizer property (every lattice is the normalizer of a sublattice) and realization of all finite groups as isometry groups of hyperbolic manifolds. The normalizer part (Thm 3.3) looks like a genuine extension of Agol–Cheetham-West–Minsky, and the inductive strategy over finitely many maximal lattices is sensible. Using omnipotence for relatively hyperbolic groups to force normalizers to avoid unwanted maximal lattices is a good idea, and the corollaries about profinitely flexible lattices are interesting if the theorem holds.

But the paper is not yet convincing. Theorem 2.6 gets a single-paragraph proof, Proposition 4.2 is delegated to a 'similar' argument, and Proposition 4.3 says 'applies verbatim' where details are needed. The load-bearing problem is Proposition 4.3(v): it claims an infinite-index normal subgroup M is contained in only finitely many maximal lattices, citing [4]. That citation counts maximal arithmetic subgroups in a commensurability class; it doesn't obviously apply to infinite-index subgroups. Worse, the proof of 4.3 assumes Δ_{i-1}∩Γ_i has finite index in Γ_i, which essentially demands the Γ_i be pairwise commensurable. That is not established, and a commensurability version of (v) is close to what needs proving. So the argument looks circular. Without (v), the proof of Theorem 4.1 collapses — the choice of the minimal j and the final quotient computation have no basis.

Also, the abstract overstates the scope: Theorem 3.3 assumes torsion-free lattices, which is omitted there. Type II/III arithmetic lattices are excluded, though that's acknowledged in Remark 4.4.

On the positive side, these gaps are addressable. The normalizer theorem may be salvageable with moderate effort, and if the authors can prove a suitable version of (v) — or replace it with a hypothesis that the maximal lattices containing M are pairwise commensurable — the paper would be a significant advance. It deserves a serious referee, preferably someone who knows arithmetic groups and the [4] theorem well, to determine whether (v) is true or can be patched. It should not be desk-rejected. But I wouldn't cite Theorem 4.1 yet, and the paper is more useful as a reading-group case study in identifying unproven load-bearing claims than as a finished result.

Referee Report

4 major / 5 minor

Summary. This paper studies normalizers of arithmetic lattices in the isometry groups of hyperbolic spaces. Its two main results are: (1) Theorem 3.3, which asserts that for any torsion-free arithmetic lattice Λ in PO(3,1), or of the simplest type in PO(n,1), and any finite-index subgroup Δ<Λ, there is a finite-index subgroup Θ<Δ with Aut(Θ)=Λ; and (2) Theorem 4.1, which asserts that for every n≥2 and every finite group G, there are infinitely many arithmetic hyperbolic n-manifolds of the simplest type whose full isometry group is isomorphic to G. The proofs combine omnipotence/quotient theorems for special cube complexes with a subgroup-growth counting argument, building on the authors' previous work with Agol and Lubotzky, and on results of Wise, Shepherd, Bridson–Reid, and Bergeron–Haglund–Wise.

Significance. If the gaps identified below are repaired, the paper would be significant. Theorem 3.3 removes the non-arithmetic assumption from previous normalizer results and, together with [2], yields a striking dichotomy for profinitely flexible Kleinian lattices. Theorem 4.1 extends the Belolipetsky–Lubotzky finite-isometry-group realization to all dimensions n≥2 for the simplest type, using a plausible and attractive strategy. The paper honestly engages with deep machinery and supplies concrete constructions. However, the current manuscript leaves a load-bearing finiteness claim in Section 4 essentially unproved, so the central claims are not yet established as written.

major comments (4)

[§4, Prop. 4.3(v) and proof of Thm. 4.1] Prop. 4.3(v) asserts that the infinite-index normal subgroup M is contained in only finitely many maximal lattices Γ_1,...,Γ_k, citing [4]. This is load-bearing: Thm. 4.1 uses it to conclude N_H(A) is contained in some Γ_i and to choose the smallest such j; without it the final computation N_H(B)/B ≅ G has no basis. The citation [4] concerns maximal arithmetic subgroups (finite-covolume lattices), while M has infinite covolume; no argument shows that every maximal lattice containing M is arithmetic or that the finiteness statement for lattices applies to M. Moreover, the inductive construction of Δ_i appears to assume Δ_{i-1}∩Γ_i has finite index in Γ_i, which would require the Γ_i to be pairwise commensurable; this is not established. The gap must be closed before Theorem 4.1 can be accepted.
[§2.2, Thm. 2.6] Theorem 2.6 is the main omnipotence-type tool for Theorem 3.3, but its proof is a sketch. The relatively hyperbolic case is dispatched by invoking [19, Lem. 5.5] and [11, Thm. 2], yet it is not shown that the Dehn filling can be chosen so that the images of the independent elements have orders exactly κN_i rather than merely finite orders. If this theorem exists in the literature, a precise reference should be supplied; otherwise the proof is not sufficient for a statement of this strength.
[§3, Prop. 3.1] The proof of Prop. 3.1 contains the assertion that 'Since H is finitely generated as a lattice, the set {C^{-1}_{g_α}(Λ)} is finite.' This is not true for an arbitrary finitely generated group and an arbitrary subgroup Λ. The needed finiteness follows instead from Borel's volume formula, which bounds the index [H : g^{-1}Λg], combined with finite generation giving finitely many subgroups of fixed finite index. The proof should be rewritten; as written, this step is not justified.
[§3, proof of Thm. 3.3] In the induction step, the text states: 'we observe that g_{lj} normalizes Λ if and only if g_{lj}γ_j g_{lj}^{-1}∈Λ.' The forward implication is trivial, but the converse is false: an element outside Λ can conjugate a particular hyperbolic element into Λ without normalizing Λ. The subsequent argument may only need the forward direction or the chosen non-conjugacy property, but the false statement should be removed and the intended reasoning clarified.

minor comments (5)

[Title] The title contains a typo: 'LA TTICES' should be 'LATTICES'.
[Introduction] Typo 'grpup' should be 'group'; also 'finitely maximal lattices' in the proof of Prop. 4.3 should be 'finitely many maximal lattices'.
[§2.1 and §3] The symbol H is used both for the hyperbolic space / isometry group and for a maximal lattice in Prop. 3.1 (e.g., 'g_α H g_α^{-1}'). This is confusing and should be clarified.
[§3, Prop. 3.1 proof] The expression 'Λ < T_{α∈λ}(g_αHg_α^{-1})' is presumably meant to say 'Λ < g_αHg_α^{-1} for each α'; as written, the intersection symbol is misleading.
[§4] The notation N_H(A) denotes the normalizer in the ambient group, while N_{Γ_i}(M) denotes the normalizer in Γ_i; make this distinction explicit at first use.

Circularity Check

0 steps flagged · score 1.0 of 10

No constructional circularity: the proofs rely on external rigidity, omnipotence, and subgroup-growth theorems; the flagged Prop 4.3(v) gap is a support/correctness concern, not a circular reduction.

full rationale

Walking the derivation chain, I find no step where a stated output is fed back into an input by definition, by the paper's own equations, or by a load-bearing self-citation that restates the target theorem. Theorem 3.3 is built from Proposition 3.1 (finite maximal super-lattices, from Borel's volume formula and Mostow–Prasad rigidity), Proposition 3.2, and an induction using explicit quotient constructions plus external omnipotence results (Wise [23], Shepherd [21], Agol [1], Bergeron–Haglund–Wise [7]) and Lemma 2.7 from [2]. The normalizer-killing arguments produce subgroups whose automorphism group is computed, not assumed. Theorem 4.1 extends the subgroup-growth counting method of [6]; Proposition 4.2 is a counting statement using Lubotzky–Segal and [12], and Proposition 4.3 uses strong approximation and congruence quotients. The only delicate point is Proposition 4.3(v): 'M is contained in only finitely maximal lattices Γ1,...,Γk in H, as it follows from the classification of the maximal arithmetic subgroups (see [4]).' This is a self-citation by a present author and is load-bearing for Theorem 4.1. However, [4] is a published, parameter-free classification distinct from Theorems 3.3 and 4.1, not a restatement of the target result. Whether it applies to the infinite-index subgroup M is a rigor/correctness question, not a circularity: the claim is imported from an external theorem rather than being equivalent to the inputs by construction. Corollaries 1.1–1.2 combine Theorem 3.3 with [2] and Bridson–Reid, which are independent prior results, not self-referential predictions. Accordingly, no circular step is identified; the score reflects the minor self-citation presence, not an actual circular derivation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The load-bearing inputs are external theorems or new helper statements with sketched proofs. There are no fitted parameters, no new entities, and no circular reductions.

assumptions (5)

ad hoc to paper Virtually special cubulated relatively hyperbolic groups admit quotients with prescribed orders for independent hyperbolic elements (Theorem 2.6).
Stated and proved by a sketch in Section 2.2; used centrally in the induction proof of Theorem 3.3.
domain assumption Arithmetic lattices of the simplest type are virtually special cubulable groups (Bergeron–Haglund–Wise [7]).
Invoked in Section 2.2 to apply omnipotence theorems to the lattices under consideration.
domain assumption Every finite-volume hyperbolic n-manifold has infinitely many closed geodesics not fixed by any non-trivial isometry (Lemma 2.7, from [2]).
Key geometric input for Proposition 3.2 and Theorem 3.3 to find elements with free outer-automorphism orbits.
domain assumption The infinite-index subgroup M is contained in finitely many maximal lattices Γ_1,...,Γ_k (Prop 4.3(v), citing [4]).
Crucial for Theorem 4.1; not proved in this paper and only loosely supported by the citation.
ad hoc to paper The subgroup-growth counting method of Lubotzky–Segal [13] extends to the multicomponent setting described in Prop 4.2.
The proof of Prop 4.2 is a sketch saying the argument is 'very similar' to [6] and appears to require iteration over multiple groups.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Normalizers of lattices and isometry groups of arithmetic hyperbolic manifolds." pith.science (2026). https://pith.science/paper/3OIHWVEL

@misc{pith2026260728949,
  author       = {Pith},
  title        = {Pith review of: Normalizers of lattices and isometry groups of arithmetic hyperbolic manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3OIHWVEL}},
  note         = {Machine review of arXiv:2607.28949}
}

abstract

We prove that every arithmetic lattice in PSL$(2,\mathbb{C})$ and every arithmetic lattice of the simplest type in PO$(n,1)$, $n\ge 2$, is the normalizer of arbitrarily many of its sublattices. Combined with previous work, this result implies that every lattice in PSL$(2,\mathbb{C})$ has this property. In this way, we prove that the set of profinitely flexible lattices in PSL$(2,\mathbb{C})$ is either empty or countably infinite. Another result is that every finite group is realized as the full isometry group of an arithmetic hyperbolic $n$-manifold. The proof of this theorem is based on study of normalizers of lattices and subgroup growth theory.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

136 extracted references · 6 canonical work pages

[4]

Simply transitive geodesics and omnipotence of lattices in

Ian Agol and Tam Cheetham-West and Yair Minsky , year=. Simply transitive geodesics and omnipotence of lattices in. 2409.08418 , archivePrefix=

arXiv
[2]

, title =

Einstein, E. , title =. Algebr. Geom. Top. , pages =
[1]

, title =

Osin, D. , title =. Invent. Math. , pages =
[3]

, title =

Borel, A. , title =. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , pages =. 1981 , mrnumber =

1981
[5]

and Osin, D

Minaysan, A. and Osin, D. , title = ". Trans. Amer. Math. Soc. , volume=
[6]

and Shah, N

Oh, H. and Shah, N. , title = ". J. Amer. Math. Soc. , volume=
[7]

and Shah, N

Oh, H. and Shah, N. , title = ". Invent. Math. , volume=
[8]

and Wise, D

Haglund, F. and Wise, D. T. , title = ". Geom. Funct. Anal

Show all 136 references

[9]

and Wise, D

Haglund, F. and Wise, D. T. , title = ". Ann. Math
[10]

and Haglund, F

Bergeron, N. and Haglund, F. and Wise, D. T. , title = ". J. Lond. Math. Soc
[11]

and Piatetski-Shapiro, I

Gromov, M. and Piatetski-Shapiro, I. , title = ". Publ. Math. IH\' E S
[12]

, title = "

Agol, I. , title = ". arXiv:math/0612290 , pages=

arXiv
[13]

and Thompson, S

Belolipetsky, M. and Thompson, S. , title = ". Algebr. Geom. Topol. , pages=
[14]

and Lubotzky, A

Belolipetsky, M. and Lubotzky, A. , title = ". Invent. Math. , pages=
[15]

and Zalesskii, P

Grunewald, F. and Zalesskii, P. , title = ". J. Algebra , pages=
[16]

, title = "

Agol, I. , title = ". J. Topol. , pages=
[17]

, title = "

Bridson, M.R. , title = ". J.-M. Morel, B. Teissier (eds.), Mathematics Going Forward, Lecture Notes in Mathematics 2313, Springer Nature Switzerland , pages=
[18]

, title = "

Bonahon, F. , title = ". Alperin (ed): Aboreal Group Theory, MSRI Publications , volume =
[19]

, title = "

Stover, M. , title = ". Proc. Amer. Math. Soc. , volume =
[20]

, title =

Stover, M. , title =. to appear J. Eur. Math. Soc. , year =
[21]

Margulis, G. A. , title = "
[22]

and Reni, M

Paoluzzi, L. and Reni, M. , title =. Pacific J. Math. , volume=
[23]

and Susskind, P

Haas, A. and Susskind, P. , title =. Proc. Amer. Math. Soc. , volume=
[24]

, title =

Kojima, S. , title =. Topol. Appl. , volume=
[25]

, title = "

Thurston, W.P. , title = "
[26]

and Paulin, F

Parkkonen, J. and Paulin, F. , title =. Ergod. Th. & Dynam. Sys. , volume=
[27]

, title =

Minasyan, A. , title =. Int. Math. Res. Not , volume=
[28]

Margulis, G. A. , title =. Proceedings of the ICM, Vancouver , pages=
[29]

, title =

Shepherd, S. , title =. Trans. Am. Math. Soc. , volume =
[30]

and Warner, G

Gangolli, R. and Warner, G. , title = ". Nagoya Math. J. , volume =
[31]

, title = "

Shah, N.A. , title = ". In Group Theory from a Geometrical Viewpoint (Trieste, 1990) , year =

1990
[32]

Margulis, G. A. and Mohammadi, A. and Oh, H. , title = ". Geom. Funct. Anal. , volume =
[33]

Wise, D. T. , title =. Q. J. Math. , volume =
[34]

Ni, Yi , title =. Invent. Math. , year =
[35]

, howpublished =

Livingston, Charles and Moore, Allison H. , howpublished =. KnotInfo: Table of Knot Invariants , Year =
[36]

and Goerner, Matthias and Weeks, Jeffrey R

Culler, Marc and Dunfield, Nathan M. and Goerner, Matthias and Weeks, Jeffrey R. , title=
[37]

, title = "

Ivanov, N.V. , title = ". Problems on Mapping Class Groups and Related Topics (ed. Benson Farb), Proc. Symp. Pure Math., Rhode Island
[38]

, TITLE = "

Mostow, G.D. , TITLE = ". Annals of Math. Studies
[39]

, TITLE = "

Kirby, R. , TITLE = ". AMS/IP Stud. Adv. Math., V. 2.2, Geometric topology (Athens, GA, 1993) Amer. Math. Soc., Providence, RI , YEAR =

1993
[40]

, title = "

Prasad, G. , title = ". Invent. Math. , volume =. 1973 , pages=

1973
[41]

, TITLE =

Martelli, B. , TITLE =
[42]

Wise, D. T. , publisher =. The Structure of Groups with a Quasiconvex Hierarchy , volume =
[43]

, title = "

Agol, I. , title = ". Documenta Math. , volume=
[44]

2020 , issn =

Congruence topologies on the mapping class group , journal =. 2020 , issn =. doi:https://doi.org/10.1016/j.jalgebra.2019.11.004 , url =

2020 doi
[45]

, journal=

Boggi, M. , journal=. The congruence subgroup property for the hyperelliptic modular group: the open surface case. 2009 , volume=

2009
[46]

and Ershov, M

Bux, K-U. and Ershov, M. and Rapinchuk, A. , journal=. The congruence subgroup property for Aut(F2): a group–theoretic proof of Asada’s theorem. 2011 , volume=

2011
[47]

Congruence kernels around affine curves , author =. J. Reine Angew. Math. , doi =
[48]

The faithfulness of the monodromy representations associated with certain families of algebraic curves , author=. J. Pure Appl. Algebra , year=
[49]

New York J

The congruence subgroup problem for pure braid groups: Thurston’s proof , author=. New York J. Math. , year=
[50]

On the residual finiteness of certain mapping class groups , author=. J. London Math. Soc. (2) , year=
[51]

Roots in the mapping class groups , author=. Proc. London Math. Soc. , year=
[52]

Topology Appl

Separable subgroups of mapping class groups , author=. Topology Appl. , year=
[53]

and Margalit, D

Farb, B. and Margalit, D. , volume=. A primer on mapping class groups (PMS-49). 2011 , publisher=

2011
[54]

Memoirs of the American Mathematical Society , year=

A norm for the homology of 3-manifolds , author=. Memoirs of the American Mathematical Society , year=
[55]

and Lott, J

Lück, W. and Lott, J. , journal =. L^2 -Topological invariants of 3-manifolds
[56]

Approximating L^2 -invariants by their finite-dimensional analogues

L. Approximating L^2 -invariants by their finite-dimensional analogues. Geom. Funct. Anal. , volume =. 1994 , pages=

1994
[57]

2003 , publisher=

Knots and Links , author=. 2003 , publisher=

2003
[58]

, title = "

Kin, E. , title = ". New York J. Math. , volume =. 2015 , pages=

2015
[59]

Gordon, C. McA. and Wu, Y.Q. , title = ". Proc. London Math. Soc. , volume =. 1999 , pages=

1999
[60]

and Hildebrand, M.V

Callahan, P.J. and Hildebrand, M.V. and Weeks, J.R. , title = ". Math. Comp. , volume =. 1999 , pages=

1999
[61]

, title = "

Thurston, W.P. , title = ". Collected Works of William P. Thurston with Commentary: II. 3-Manifolds, Complexity and Geometric Group Theory, AMS Collected Works, Rhode Island
[62]

Hyperbolic 3-Manifolds Groups are Subgroup Conjugacy Separable , author=. Ann. Sc. Norm. , year=
[63]

, title = "

Wilkes, G. , title = ". Geom. Dedicata , volume =. 2017 , pages=

2017
[64]

Bridson, M. R. and Reid, A. W. and Wilton, H. , title = ". Bull. London Math. Soc. , volume =. 2016 , url=

2016
[65]

and Donagi, R

Diaz, S. and Donagi, R. and Harbater, D. , title = ". Duke Math. J. , volume =. 1989 , pages=

1989
[66]

and Wilton, H

Bridson, M.R. and Wilton, H. , title = ". Invent. Math. , volume =. 2015 , pages=

2015
[67]

, title = "

Otal, J.-P. , title = ". Surveys in differential geometry. Vol. III. Cambridge, MA: Int. Press. , year =
[68]

An Introduction to Geometric Topology , publisher =

Martelli, Bruno , keywords =. An Introduction to Geometric Topology , publisher =. 2016 , copyright =. doi:10.48550/ARXIV.1610.02592 , url =

2016 doi arXiv
[69]

, title = "

Stallings, J. , title = ". Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), 95–100, Prentice-Hall , year =

1961
[70]

1976 , publisher=

Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations , author=. 1976 , publisher=

1976
[71]

, TITLE = "

Johannson, K. , TITLE = "
[72]

and Shalen, P.B

Jaco, W. and Shalen, P.B. , title = ". Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2, pp. 71–84, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I. , year =

1976
[73]

, title = "

Milnor, J. , title = ". Am. J. Math. , volume =. 1962 , pages=

1962
[74]

, TITLE =

Thurston, W. , TITLE =. Low-dimensional topology (Bangor, 1979). 1982 , PAGES =

1979
[75]

, title = "

Malcev, A.I. , title = ". Amer. Math. Soc. Transl. , volume =. 1965 , pages=

1965
[76]

, title = "

Levi, F. , title = ". Math. Z. , volume =. 1933 , pages=

1933
[77]

, title = "

Baumslag, G. , title = ". Math. Z. , volume =. 1962 , pages=

1962
[78]

, title = "

Jaikin-Zapirain, A. , title = ". Geom. Topol. , volume =. 2020 , pages=

2020
[79]

Liu, Yi , title = ". Invent. Math. , volume =. 2023 , pages=

2023
[80]

, TITLE =

Baumslag, G. , TITLE =. Compos. Math. , volume =. 1974 , PAGES =

1974
[81]

and Segal, D

Nikolov, N. and Segal, D. , TITLE =. Annals of Math. , volume =. 2007 , PAGES =

2007
[82]

, TITLE =

Riley, R. , TITLE =. Low-dimensional topology (Bangor, 1979). 1982 , PAGES =

1979
[83]

, title="

Milne, James S. , title=". 2021 , note=

2021
[84]

Bosma, Wieb and Cannon, John and Playoust, Catherine , TITLE =. J. Symbolic Comput. , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jsco.1996.0125 , URL =

1997
[85]

Inc., Wolfram Research , title =
[86]

, TITLE =

Deligne, P. , TITLE =. Publications Math. de l'IHES 42 , YEAR =
[87]

, title="

Cheetham-West, T. , title=". 2024 , note=

2024
[88]

and McReynolds, D.B

Bridson, M.R. and McReynolds, D.B. and Reid, A.W. and Spitler, R. , TITLE =. Annals of Math. 192 , YEAR =
[89]

and McReynolds, D.B

Bridson, M.R. and McReynolds, D.B. and Reid, A.W. and Spitler, R. , TITLE =. Bull. London Math. Soc. 53 , FJOURNAL =. 2021 , PAGES =

2021
[90]

, TITLE =

Bridson, M.R., Reid, A.W. , TITLE =. What's Next?: The Mathematical Legacy of William P. Thurston, Annals of Math. Study 205, PUP , YEAR =
[91]

Bridson, M. R. and Reid, A. W. , TITLE = ". Michigan Math. J. , pages=. 2022 , volume=

2022
[92]

and Culler, M

Cooper, D. and Culler, M. and Gillet, H. and Long, D.D. and Shalen, P. , TITLE = ". Invent. Math. 118 , FJOURNAL =. 1994 , PAGES =

1994
[93]

and Goodman, O.A

Coulsen, D. and Goodman, O.A. and Hodgson, C.D. and Neumann, W.D. , TITLE = ". Experimental Math. 9. 2000 , PAGES =

2000
[94]

GAP -- Groups, Algorithms, and Programming, Version 4.11.1
[95]

Long, D. D. and Reid, A. W. , TITLE = ". Math. Annalen 325 , FJOURNAL =. 2003 , PAGES =

2003
[96]

and Reid, A

Maclachlan, C. and Reid, A. W. , TITLE = "
[97]

, TITLE = "

Perlis, R. , TITLE = ". J. Number Theory 9 , FJOURNAL =. 1977 , PAGES =

1977
[98]

and Zalesskii, P.A

Ribes, L. and Zalesskii, P.A. , TITLE = "
[99]

, TITLE =

Rolfsen, D. , TITLE =
[100]

, TITLE = "

Sakuma, M. , TITLE = ". Kobe J. Math. 7 , FJOURNAL =. 1990 , PAGES =

1990
[101]

Serre, J-P , TITLE = "
[102]

, TITLE = "

de Jesus Nery, G. , TITLE = ". Commun. Algebra , volume =. 2020 , PAGES =

2020
[103]

and Conlon, L

Cantwell, J. and Conlon, L. , TITLE = ". Proc. Amer. Math. Soc. , volume =. 1993 , PAGES =

1993
[104]

and Sivek, S

Baldwin, J.A. and Sivek, S. , title =. arXiv 2211.04280

arXiv
[105]

, TITLE = "

Scott, P. , TITLE = ". Bull. London Math. Soc. , volume =. 1983 , PAGES =

1983
[106]

Seifert, Acta Murhematicu 60 (1933), 147-288 (translated by Wolfgang Heil)

Topology Of 3-Dimensional Fibered Spaces ** Reprinted from H. Seifert, Acta Murhematicu 60 (1933), 147-288 (translated by Wolfgang Heil). 1980 , booktitle = ". doi:https://doi.org/10.1016/S0079-8169(08)62413-7 , url =

1933 doi
[107]

, TITLE = "

Gabai, D. , TITLE = ". J. Diff. Geom. , volume =. 1987 , PAGES =

1987
[108]

and Motegi, K

Baker, K. and Motegi, K. , TITLE = ". Algebr. Geom. Topol. , volume =. 2018 , PAGES =

2018
[109]

, TITLE = "

Lackenby, M. , TITLE = ". Math. Ann. , volume =. 2019 , PAGES =

2019
[110]

and Thurston, W

Hatcher, A. and Thurston, W. , TITLE = ". Invent. Math. , volume =. 1985 , PAGES =

1985
[111]

, TITLE =

Hempel, J. , TITLE =. Combinatorial Group Theory and Topology, Annals of Math. Study. 2016 , PAGES =

2016
[112]

, TITLE = "

Wilkes, G. , TITLE = ". Isr. J. Math. , volume =. 2019 , PAGES =

2019
[113]

, TITLE = "

Funar, L. , TITLE = ". Geom. Topol. , volume=
[114]

and Friedl, S

Boileau, M. and Friedl, S. , TITLE = ". What's Next?: The Mathematical Legacy of William P. Thurston, Annals of Math. Study. 2020 , PAGES =

2020
[115]

, TITLE = "

Hamilton, E. , TITLE = ". Proceedings of the London Mathematical Society. Third Series , volume =
[116]

, keywords =

Wilkes, G. , keywords =. Profinite rigidity of graph manifolds and JSJ decompositions of 3-manifolds. J. Algebra , volume =. 2018 , issn =. doi:https://doi.org/10.1016/j.jalgebra.2017.12.039 , url =

2018 doi
[117]

Burton and R

B.A. Burton and R. Budney and W. Pettersson and others , title =
[118]

and Zalesskii, P

Wilton, H. and Zalesskii, P. , TITLE = ". Geom. Topol. , volume =
[119]

and Zalesskii, P

Wilton, H. and Zalesskii, P. , TITLE = ". Compos. Math. , volume=
[120]

, title = "

Cheetham--West, T. , title = ". arXiv preprint
[121]

, TITLE = "

Boileau, M. , TITLE = ". 2018 , journal =

2018
[122]

The Dehn surgery characterization of the trefoil and the figure eight knot

Ozsv. The Dehn surgery characterization of the trefoil and the figure eight knot. J. Symplectic Geom. , volume =
[123]

, TITLE =

Hempel, J. , TITLE =. arXiv preprint
[124]

, TITLE = "

Tagami, K. , TITLE = ". arXiv preprint
[125]

and Piccirillo, L

Miller, A.N. and Piccirillo, L. , TITLE = ". J. Topol. 11 , pages =
[126]

Osoinach, J. K. , TITLE = ". Topology 45(4) , pages =
[127]

Baldwin, J. A. and Sivek, S. , title =. arXiv 2209.09805

arXiv
[128]

, TITLE = "

Ueki, J. , TITLE = ". Algebr. Geom. Topol. 18(5) , pages =
[129]

Israel J

Groves, Daniel and Manning, Jason Fox , TITLE =. Israel J. Math. , FJOURNAL =. 2008 , PAGES =. doi:10.1007/s11856-008-1070-6 , URL =

2008 doi
[130]

, TITLE =

Lubotzky, A. , TITLE =. J. Algebra , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0021-8693(80)90086-1 , URL =

1980 doi
[131]

Koberda, Thomas and Mj, Mahan , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.2149 , URL =

2024 doi
[132]

and Segal, D

Lubotzky, A. and Segal, D. , title =. 2003 , publisher =

2003
[133]

, TITLE =

Belolipetsky, M. , TITLE =. Duke Math. J. , FJOURNAL =. 2007 , NUMBER =. doi:10.1215/S0012-7094-07-14011-0 , URL =

2007 doi
[134]

Subspace stabilisers in hyperbolic lattices , volume=

Belolipetsky, Mikhail and Bogachev, Nikolay and Kolpakov, Alexander and Slavich, Leone , year=. Subspace stabilisers in hyperbolic lattices , volume=. J. Assoc. Math. Res. , fjournal=. doi:10.56994/JAMR.004.001.003 , number=

doi
[135]

Borel, Armand , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1966 , PAGES =. doi:10.1515/crll.1966.224.78 , URL =

1966 doi
[136]

2025 , howpublished =

Finite groups and complex projective surfaces , author=. 2025 , howpublished =. 2512.19505 , archivePrefix=

2025

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [4]

Simply transitive geodesics and omnipotence of lattices in

Ian Agol and Tam Cheetham-West and Yair Minsky , year=. Simply transitive geodesics and omnipotence of lattices in. 2409.08418 , archivePrefix=

arXiv

[2] [2]

, title =

Einstein, E. , title =. Algebr. Geom. Top. , pages =

[3] [1]

, title =

Osin, D. , title =. Invent. Math. , pages =

[4] [3]

, title =

Borel, A. , title =. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze , pages =. 1981 , mrnumber =

1981

[5] [5]

and Osin, D

Minaysan, A. and Osin, D. , title = ". Trans. Amer. Math. Soc. , volume=

[6] [6]

and Shah, N

Oh, H. and Shah, N. , title = ". J. Amer. Math. Soc. , volume=

[7] [7]

and Shah, N

Oh, H. and Shah, N. , title = ". Invent. Math. , volume=

[8] [8]

and Wise, D

Haglund, F. and Wise, D. T. , title = ". Geom. Funct. Anal