pith. sign in

arxiv: 2606.25289 · v1 · pith:BZYSHXJXnew · submitted 2026-06-24 · 🧮 math.GT · math.GR

Conjugacy Distinguished Cosets in Hyperbolic 3-Manifold Groups

David Futer , Emily Hamilton , Neil R Hoffman This is my paper

Pith reviewed 2026-06-25 19:43 UTC · model grok-4.3

classification 🧮 math.GT math.GR
keywords hyperbolic 3-manifoldsconjugacy distinguishedprofinite topologyabelian subgroupsloxodromic subgroupsparabolic subgroupscosetsfundamental groups
0
0 comments X

The pith

Cosets of abelian subgroups are conjugacy distinguished in finite-volume hyperbolic 3-manifold groups

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

The paper shows that in the group Γ of a finite-volume hyperbolic 3-manifold, any coset of an abelian subgroup is conjugacy distinguished. This means the set of all its conjugates forms a closed set in the profinite topology. Readers care because it provides a way to use finite group quotients to detect when an element is not conjugate to anything in the coset. The paper also proves that cosets of loxodromic subgroups can be distinguished from maximal parabolic subgroups using similar methods.

Core claim

If M = ℍ³/Γ is a hyperbolic 3-manifold of finite volume, g ∈ Γ, and H is an abelian subgroup of Γ, then the coset gH is conjugacy distinguished in Γ. A subset S ⊂ G is conjugacy distinguished from a class of subgroups if for every K in the class disjoint from the union of conjugates of S, there is a homomorphism to a finite group separating them. The paper extends this to show a coset of a loxodromic subgroup is conjugacy distinguished from the class of maximal parabolic subgroups of Γ.

What carries the argument

The definition of conjugacy distinguished cosets, using the profinite topology and homomorphisms to finite groups to separate them from other elements or subgroup classes.

Load-bearing premise

The 3-manifold has finite volume, which ensures the group has the necessary subgroup structure and residual finiteness properties.

What would settle it

A concrete falsifier would be an explicit finite-volume hyperbolic 3-manifold and an abelian subgroup H with g such that no finite quotient separates a non-conjugate element from the conjugates of gH.

Figures

Figures reproduced from arXiv: 2606.25289 by David Futer, Emily Hamilton, Neil R Hoffman.

Figure 1
Figure 1. Figure 1: A piecewise geodesic path γ can be modified inside the neighborhood N = Nr(βe) to a path γ ′ that must be a quasigeodesic by Theorem 2.1. • At each intersection point of (αe ∪ gαe) ∩ ∂N, the angle of intersection is greater than π/3. • The four points of (αe ∪ gαe) ∩ ∂N are located at pairwise distance greater than C = C(π/3). The constants in the two bulleted conditions are chosen with an eye toward apply… view at source ↗
read the original abstract

A subset $S$ of a group $G$ is \emph{conjugacy distinguished} if the union of all conjugates of $S$ is closed in the profinite topology on $G$. We prove that if $M = \mathbb{H}^3/\Gamma$ is a hyperbolic $3$-manifold of finite volume, $g \in \Gamma$, and $H$ is an abelian subgroup of $\Gamma$, then the coset $gH$ is conjugacy distinguished in $\Gamma$. A subset $S \subset G$ is \emph{conjugacy distinguished from a class of subgroups} if, for every $K$ in the class that is disjoint from the union of conjugates of $S$, there exists a homomorphism $\varphi \colon G \rightarrow F$, where $F$ is a finite group, such that $\varphi(K)$ is disjoint from the union of conjugates of $\varphi(S)$. In previous work, we proved that if $M = \mathbb{H}^3/\Gamma$ is a hyperbolic $3$-manifold of finite volume, then a coset of a maximal parabolic subgroup with cusp $C$ is conjugacy distinguished from the class of maximal parabolic subgroups of $\Gamma$ with cusps distinct from $C$. We extend this result by proving that a coset of a loxodromic subgroup is conjugacy distinguished from the class of maximal parabolic subgroups of $\Gamma$.

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

0 major / 2 minor

Summary. The paper proves that if M = ℍ³/Γ is a finite-volume hyperbolic 3-manifold, g ∈ Γ and H ≤ Γ is abelian, then the coset gH is conjugacy distinguished in Γ (i.e., the union of its conjugates is closed in the profinite topology). It further proves that a coset of a loxodromic subgroup is conjugacy distinguished from the class of all maximal parabolic subgroups of Γ, extending the authors' prior result on cosets of maximal parabolics being distinguished from those with distinct cusps.

Significance. If the proofs hold, the results add to the catalog of separability and residual-finiteness properties for Kleinian groups of finite covolume, using the finite-volume hypothesis to guarantee the existence of finite quotients that separate the relevant cosets from conjugates or from the parabolic class. Such statements are relevant to questions about the profinite topology on 3-manifold groups and the closure of conjugacy classes.

minor comments (2)
  1. [Abstract] The transition from the definition of conjugacy distinguished sets to the definition of conjugacy distinguished from a class (both in the abstract and presumably §1) would benefit from an explicit sentence recalling how the prior parabolic result fits the new definition.
  2. [Introduction] Notation for the profinite topology and for the union of conjugates of a set S should be introduced once in §1 and used consistently; occasional reliance on verbal description makes some statements harder to parse.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of our results and for recommending minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states new theorems extending the authors' prior result on parabolic cosets to loxodromic cosets and abelian cosets, using residual finiteness and separability of finite-volume Kleinian groups (established independently in the literature). The self-citation to prior work is mentioned only to frame the extension and is not the sole justification for the central claims. No equations, definitions, or steps reduce by construction to inputs, fitted parameters, or unverified self-citations. The derivation relies on external group-theoretic properties rather than self-referential closure.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, preventing a complete audit of assumptions used in the proof. The results implicitly rely on standard properties of hyperbolic 3-manifold groups.

axioms (2)
  • domain assumption Fundamental groups of finite-volume hyperbolic 3-manifolds admit sufficiently many homomorphisms to finite groups to separate the relevant cosets in the profinite topology.
    Required for the definition and proof of conjugacy distinguishedness.
  • domain assumption The subgroup structure (abelian, loxodromic, parabolic) of these groups is determined by the geometry of the manifold.
    Used to classify the cosets in the statements.

pith-pipeline@v0.9.1-grok · 5793 in / 1387 out tokens · 36422 ms · 2026-06-25T19:43:59.330707+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

28 extracted references

  1. [1]

    The virtual Haken conjecture.Doc

    Ian Agol. The virtual Haken conjecture.Doc. Math., 18:1045–1087, 2013. With an appendix by Agol, Daniel Groves, and Jason Manning

    2013

  2. [2]

    Allman and Emily Hamilton

    Elizabeth S. Allman and Emily Hamilton. Abelian subgroups of finitely generated Kleinian groups are separable. Bull. London Math. Soc., 31(2):163–172, 1999

    1999

  3. [3]

    EMS Series of Lectures in Math- ematics

    Matthias Aschenbrenner, Stefan Friedl, and Henry Wilton.3-manifold groups. EMS Series of Lectures in Math- ematics. European Mathematical Society (EMS), Z¨ urich, 2015

    2015

  4. [4]

    Groups of integral representation type.Pacific J

    Hyman Bass. Groups of integral representation type.Pacific J. Math., 86(1):15–51, 1980

    1980

  5. [5]

    Bleiler and Craig D

    Steven A. Bleiler and Craig D. Hodgson. Spherical space forms and Dehn filling.Topology, 35(3):809–833, 1996

    1996

  6. [6]

    Burns, Abraham Karrass, and Donald M

    Robert G. Burns, Abraham Karrass, and Donald M. Solitar. A note on groups with separable finitely generated subgroups.Bull. Austral. Math. Soc., 36(1):153–160, 1987

    1987

  7. [7]

    James W. Cannon. The combinatorial structure of cocompact discrete hyperbolic groups.Geom. Dedicata, 16(2):123–148, 1984

    1984

  8. [8]

    Academic Press, London; Thompson Book Co., Inc., Washington, DC, 1967

    John William Scott Cassels and Albrecht Fr¨ ohlich, editors.Algebraic number theory. Academic Press, London; Thompson Book Co., Inc., Washington, DC, 1967

    1967

  9. [9]

    Chagas and Pavel A

    Sheila C. Chagas and Pavel A. Zalesskii. Limit groups are subgroup conjugacy separable.J. Algebra, 461:121–128, 2016

    2016

  10. [10]

    Chagas and Pavel A

    Sheila C. Chagas and Pavel A. Zalesskii. Hyperbolic 3-manifold groups are subgroup into conjugacy separable. Comm. Algebra, 50(5):2264–2268, 2022

    2022

  11. [11]

    Marc Culler and Peter B. Shalen. Varieties of group representations and splittings of 3-manifolds.Ann. of Math. (2), 117(1):109–146, 1983

    1983

  12. [12]

    Joan L. Dyer. Separating conjugates in free-by-finite groups.J. London Math. Soc. (2), 20(2):215–221, 1979

    1979

  13. [13]

    David Futer, Emily Hamilton, and Neil R. Hoffman. Infinitely many virtual geometric triangulations.J. Topol., 15(4):2352–2388, 2022

    2022

  14. [14]

    David Futer, Efstratia Kalfagianni, and Jessica S. Purcell. Dehn filling, volume, and the Jones polynomial.J. Differential Geom., 78(3):429–464, 2008

    2008

  15. [15]

    Fr´ ed´ eric Haglund and Daniel T. Wise. Coxeter groups are virtually special.Adv. Math., 224(5):1890–1903, 2010

    1903

  16. [16]

    Subgroups of finite index in free groups.Canad

    Marshall Hall, Jr. Subgroups of finite index in free groups.Canad. J. Math., 1:187–190, 1949

    1949

  17. [17]

    Abelian subgroup separability of Haken 3-manifolds and closed hyperbolicn-orbifolds.Proc

    Emily Hamilton. Abelian subgroup separability of Haken 3-manifolds and closed hyperbolicn-orbifolds.Proc. London Math. Soc. (3), 83(3):626–646, 2001

    2001

  18. [18]

    Finite quotients of rings and applications to subgroup separability of linear groups.Trans

    Emily Hamilton. Finite quotients of rings and applications to subgroup separability of linear groups.Trans. Amer. Math. Soc., 357(5):1995–2006, 2005

    1995

  19. [19]

    Zalesskii

    Emily Hamilton, Henry Wilton, and Pavel A. Zalesskii. Separability of double cosets and conjugacy classes in 3-manifold groups.J. Lond. Math. Soc. (2), 87(1):269–288, 2013

    2013

  20. [20]

    Janusz.Algebraic number fields, volume 7 ofGraduate Studies in Mathematics

    Gerald J. Janusz.Algebraic number fields, volume 7 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 1996

    1996

  21. [21]

    Immersing almost geodesic surfaces in a closed hyperbolic three manifold

    Jeremy Kahn and Vladimir Markovic. Immersing almost geodesic surfaces in a closed hyperbolic three manifold. Ann. of Math. (2), 175(3):1127–1190, 2012. CONJUGACY DISTINGUISHED COSETS IN HYPERBOLIC 3-MANIFOLD GROUPS 23

    2012

  22. [22]

    Long and Graham A

    Darren D. Long and Graham A. Niblo. Subgroup separability and 3-manifold groups.Math. Z., 207(2):209–215, 1991

    1991

  23. [23]

    Hereditary conjugacy separability of right-angled Artin groups and its applications.Groups Geom

    Ashot Minasyan. Hereditary conjugacy separability of right-angled Artin groups and its applications.Groups Geom. Dyn., 6(2):335–388, 2012

    2012

  24. [24]

    Subgroups of surface groups are almost geometric.J

    Peter Scott. Subgroups of surface groups are almost geometric.J. London Math. Soc. (2), 17(3):555–565, 1978

    1978

  25. [25]

    Stallings

    John R. Stallings. Topology of finite graphs.Invent. Math., 71(3):551–565, 1983

    1983

  26. [26]

    Peter F. Stebe. A residual property of certain groups.Proc. Amer. Math. Soc., 26:37–42, 1970

    1970

  27. [27]

    Thurston.The geometry and topology of three-manifolds

    William P. Thurston.The geometry and topology of three-manifolds. Princeton Univ. Math. Dept. Notes, 1980. http://library.slmath.org/books/gt3m/

    1980

  28. [28]

    Wise.The structure of groups with a quasiconvex hierarchy, volume 209 ofAnnals of Mathematics Studies

    Daniel T. Wise.The structure of groups with a quasiconvex hierarchy, volume 209 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2021. Department of Mathematics, Temple University, Philadelphia, PA 19122 Email address:dfuter@temple.edu Department of Mathematics, California Polytechnic State University, San Luis Obispo, CA 93407 ...

    2021