arxiv: 2605.11129 · v1 · submitted 2026-05-11 · 🧮 math.GT · math.GR

Recognition: 2 theorem links

· Lean Theorem

Thin surface subgroups of non-uniform arithmetic lattices in rm{SO}^+(n,1)

Michael Zshornack, Sara Edelman-Mu\~noz

Pith reviewed 2026-05-13 01:05 UTC · model grok-4.3

classification 🧮 math.GT math.GR

keywords thin surface subgroupsarithmetic latticeshyperbolic manifoldsfundamental groupsnon-uniform latticesGFERF subgroupsSO(n,1)

0 comments

The pith

The fundamental groups of non-compact arithmetic hyperbolic n-manifolds contain thin surface subgroups for all n at least 4.

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

The paper proves that every non-compact arithmetic hyperbolic n-manifold with n at least 4 has a thin surface subgroup inside its fundamental group. If this holds, it means these groups always admit subgroups isomorphic to surface groups with the thin property. The same proof technique shows that the fundamental groups of doubles of the cusped versions embed as GFERF subgroups into SO^+(n+1,1). A sympathetic reader would care because surface subgroups shape the algebraic and geometric features of hyperbolic manifold groups.

Core claim

We show that the fundamental groups of all non-compact, arithmetic, hyperbolic, n-manifolds for n≥4 contain thin surface subgroups. As a consequence of the proof of this theorem we also show that the fundamental groups of the doubles of cusped, arithmetic, hyperbolic n-manifolds embed as GFERF subgroups of SO^+(n+1,1).

What carries the argument

Thin surface subgroups inside non-uniform arithmetic lattices in SO^+(n,1), which are the subgroups whose existence is established for the main theorem.

If this is right

Every such fundamental group contains at least one thin surface subgroup.
Doubles of cusped arithmetic hyperbolic n-manifolds have fundamental groups that embed as GFERF subgroups of SO^+(n+1,1).
The containment holds uniformly for every n at least 4.
Non-compactness supplies the cusps needed for the doubling construction.

Where Pith is reading between the lines

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

Similar thin surface subgroups might exist in some non-arithmetic hyperbolic manifolds if a different construction replaces arithmeticity.
The GFERF embedding property may produce new examples of subgroup separability in higher-dimensional hyperbolic groups.
Verification on concrete low-dimensional examples, such as known arithmetic 4-manifolds, would give direct checks of the general result.

Load-bearing premise

The manifolds must be both non-compact and arithmetic so that the available arithmetic techniques locate the thin surface subgroups.

What would settle it

An explicit non-compact arithmetic hyperbolic 4-manifold whose fundamental group contains no thin surface subgroup would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.11129 by Michael Zshornack, Sara Edelman-Mu\~noz.

**Figure 1.** Figure 1: The graph of spaces that forms DM, alongside the corresponding graph of groups that gives us π1(DM) M M Σ Σ C0 C1 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗

**Figure 2.** Figure 2: Diagram of the subsurface DΣ in DM In order to embed π1(DM) into the fundamental group of a cusped arithmetic hyperbolic 4-orbifold we first further embed π1(DM) into the fundamental group of a “self-intersecting manifold” as an infinite-index subgroup. Definition 3. Let M be a manifold with boundary. The folded double, FM, of M is formed by taking the double DM as defined in graph of spaces construction a… view at source ↗

**Figure 3.** Figure 3: The graph of spaces, FM, and the graph of groups that gives us π1(FM) M Σ C0 C1 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

**Figure 4.** Figure 4: Diagram of FM as it appears in X. We will construct a copy of FM such that it and the desired closed surface will be immersed in X, not embedded. Lemma 4. π1(FM) has a surface subgroup. Proof. We know that π1(DM) has a surface subgroup, so we will construct an injective map f : π1(DM) ,→ π1(FM). Refer to [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗

**Figure 5.** Figure 5: An equivalent way to construct the folded double that gives us an injective map on fundamental groups. First add an edge e to the double such that e has edge group π1(M) and edge maps that are simply the identity on both copies of π1(M). Then contract that edge to identify the copies of π1(M). 3.2. Representations in the Fundamental Groups of 4-Manifolds and Orbifolds. Now that we have abstractly described… view at source ↗

**Figure 6.** Figure 6: A diagram showing how the parabolic element pi translates the plane HG. The red curve in pi(HG) is pi(h 2 i ). Note that it remains in h 3 i . Theorem 5. Let X, M, and Γ be as above. Then Γ contains a subgroup that is isomorphic to π1(FM). We first define a homomorphism ϱ : π1(FM) → Γ via where it sends generators of π1(FM): ϱ(x) := ( φ(x) x ∈ π1(M) pi x = ti . Observe that as the parabolic element pi comm… view at source ↗

**Figure 7.** Figure 7: The broken geodesic in the base case. h 3 is the horosphere centered at infinity. and translates ϱ(ω0)HG to ϱ(ω0)p kℓ rℓ HG. Finally, ϱ(ω0)p kℓ rℓmℓ+1(ϱ(ω0)p kℓ rℓ ) −1 is an isometry of ϱ(ω0)p kℓ rℓ (HG). Thus, if x is in HG, ϱ(ω1) moves x from HG to ϱ(ω0)p kℓ rℓ HG. We use these copies of H3 to form our broken geodesic. Assume that ϱ(ω0) has some broken geodesic γ that satisfies the three conditions abov… view at source ↗

**Figure 8.** Figure 8: The new segments added to γ to form γ ′ . Note that ϱ(ω0(x)) is bypassed completely by γ ′ . and γ ′ 2ℓ−1 connects two horoballs in B, so each of the segments is at least D long. Call the horosphere in S centered at y hy and the horosphere centered at y ′ hy ′. The segment γ ′ 2ℓ−2 connects the two horospheres hy ∩(m1 . . . mℓ−1HG) and hy ∩ϱ(ω0)HG to each other. Similarly, γ ′ 2ℓ−2 connects h ′ y ∩ϱ(ω0)HG … view at source ↗

**Figure 9.** Figure 9: Diagram of FΣ ⊂ FM3 ⊂ FM4 nested in X′′. The pictured meridians of the torus cusp cross-sections of X′′ and M4 lift to horocycles in Hn that will be preserved by carefully chosen parabolic elements in Γ′′ Theorem 11. Let Γ be the fundamental group of a cusped, arithmetic, hyperbolic n-orbifold. Γ has a thin surface subgroup. Proof. We begin this proof by replacing X with a suitable finite cover satisfying… view at source ↗

read the original abstract

We show that the fundamental groups of all non-compact, arithmetic, hyperbolic, $n$-manifolds for $n\geq 4$ contain thin surface subgroups. As a consequence of the proof of this theorem we also show that the fundamental groups of the doubles of cusped, arithmetic, hyperbolic $n$-manifolds embed as GFERF subgroups of $\rm{SO}^+(n+1,1)$.

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.

Desk Editor's Note private letter to a colleague

This paper proves that fundamental groups of all non-compact arithmetic hyperbolic n-manifolds for n≥4 contain thin surface subgroups, plus a consequence for GFERF embeddings of their doubles.

read the letter

This paper proves that the fundamental groups of all non-compact arithmetic hyperbolic n-manifolds for n≥4 contain thin surface subgroups. The uniform statement across dimensions 4 and higher is the main new piece, extending what was known for n=3 or for uniform lattices by using the arithmetic and cusped structure directly. The proof appears to adapt standard constructions like ping-pong or representation arguments that respect the lattice properties in SO(n,1). They also extract a clean consequence: the doubles of these cusped manifolds have fundamental groups that embed as GFERF subgroups into SO^+(n+1,1). That application is a solid bonus for anyone tracking residual or embedding properties of hyperbolic groups. The soft spots are small and explicit. The result stays within the arithmetic non-compact setting, so there is no overreach. The definition of thin follows the usual dynamical or geometric-group-theory sense, and nothing in the abstract or stress-test points to circular reductions or unfalsifiable steps. If the full proof relies only on established tools without new heavy machinery, that keeps the claim grounded. The citation pattern should line up with the thin-subgroup literature in lower dimensions. This is for readers in geometric topology and geometric group theory who work with lattices in hyperbolic space and subgroup existence questions. A specialist who needs concrete examples or embedding results will find it useful. It deserves a serious referee because the theorem is specific, the consequence adds value, and the hypotheses are clearly stated.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the fundamental groups of all non-compact arithmetic hyperbolic n-manifolds (n ≥ 4) contain thin surface subgroups. As a direct consequence of the argument, the fundamental groups of doubles of cusped arithmetic hyperbolic n-manifolds embed as GFERF subgroups of SO^+(n+1,1). The result is stated for non-uniform arithmetic lattices in SO^+(n,1) and relies on the arithmetic and cusped hypotheses.

Significance. If the central claim holds, the result strengthens the catalog of thin subgroups in higher-dimensional hyperbolic lattices and supplies a concrete GFERF embedding for doubles. These properties are relevant to residual finiteness, subgroup separability, and virtual fibering questions in geometric group theory. The explicit restriction to the arithmetic non-uniform case is a strength, as it permits the use of number-theoretic and rigidity tools without overclaiming generality.

minor comments (2)

The definition of 'thin' surface subgroup should be recalled or referenced at the first use in the introduction to ensure readers from adjacent fields can follow without external lookup.
In the statement of the consequence theorem, the dimension shift from n to n+1 is clear but could be cross-referenced to the precise embedding construction in the proof section for immediate traceability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of the main results on thin surface subgroups and the GFERF embedding for doubles, as well as the recognition of the relevance to residual finiteness and virtual fibering. We appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper states a theorem asserting that fundamental groups of non-compact arithmetic hyperbolic n-manifolds (n≥4) contain thin surface subgroups, with a consequence for doubles embedding into SO^+(n+1,1). No equations, fitted parameters, self-definitional constructs, or load-bearing self-citations are present in the abstract or described structure. The proof is expected to rely on independent results from geometric group theory and the theory of arithmetic lattices without reducing the central claim to its own inputs by construction. The hypotheses (non-compact, arithmetic, cusped) are explicitly part of the stated result rather than hidden assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so free parameters, axioms, and invented entities cannot be extracted or audited from the provided text.

pith-pipeline@v0.9.0 · 5362 in / 1079 out tokens · 47635 ms · 2026-05-13T01:05:29.269068+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 1. Let Γ be a non-uniform, arithmetic lattice in SO+(n,1), with n≥4. Then Γ has a thin surface subgroup.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

Journal of Topology , volume =

Agol, Ian , title =. Journal of Topology , volume =. 2008 , month =. doi:10.1112/jtopol/jtn003 , url =

work page doi:10.1112/jtopol/jtn003 2008
[2]

Groves and Jason Manning , journal =

Ian Agol and Daniel P. Groves and Jason Manning , journal =. The virtual. 2012 , url =

work page 2012
[3]

and Long, D

Agol, I. and Long, D. D. and Reid, A. W. , title =. Annals of Mathematics. Second Series , issn =. 2001 , language =. doi:10.2307/2661363 , keywords =

work page doi:10.2307/2661363 2001
[4]

Journal of Pure and Applied Algebra , volume =

A geometrical realization of a construction of. Journal of Pure and Applied Algebra , volume =. 1974 , issn =. doi:https://doi.org/10.1016/0022-4049(74)90034-6 , url =

work page doi:10.1016/0022-4049(74)90034-6 1974
[5]

2011 , publisher =

Algebra , author =. 2011 , publisher =

work page 2011
[6]

Bridson and Andr\'e Haefliger , year =

Martin R. Bridson and Andr\'e Haefliger , year =. Metric Spaces of Non-Positive Curvature , publisher =

work page
[7]

and Long, Darren D

Ballas, Samuel A. and Long, Darren D. , title =. Algebr. Geom. Topol. , fjournal =. 2020 , number =. doi:10.2140/agt.2020.20.2071 , url =

work page doi:10.2140/agt.2020.20.2071 2020
[8]

Uniform Expansion Bounds for Cayley Graphs of SL_2 (F_p ) , urldate =

Jean Bourgain and Alex Gamburd , journal =. Uniform Expansion Bounds for Cayley Graphs of SL_2 (F_p ) , urldate =

work page
[9]

2011 , author =

Hyperplane sections in arithmetic hyperbolic manifolds , volume =. 2011 , author =

work page 2011
[10]

Density Properties for Certain Subgroups of Semi-Simple Groups Without Compact Components , urldate =

Armand Borel , journal =. Density Properties for Certain Subgroups of Semi-Simple Groups Without Compact Components , urldate =

work page
[11]

Arithmetic trialitarian hyperbolic lattices are not

Nikolay Bogachev and Leone Slavich and Hongbin Sun , year =. Arithmetic trialitarian hyperbolic lattices are not. arXiv preprint , note =. 2310.20611 , archiveprefix =

work page arXiv
[12]

Chen, S. S. and Greenberg, L. , title =. Contributions to analysis (a collection of papers dedicated to

work page
[13]

Journal of the American Mathematical Society , year =

Essential closed surfaces in bounded 3-manifolds , author =. Journal of the American Mathematical Society , year =

work page
[14]

Douba, Sami , title =. Proc. Amer. Math. Soc. , fjournal =. 2023 , number =. doi:10.1090/proc/16299 , url =

work page doi:10.1090/proc/16299 2023
[15]

Thin groups and superstrong approximation , series =

Fuchs, Elena , title =. Thin groups and superstrong approximation , series =. 2014 , isbn =

work page 2014
[16]

2006 , lastchecked =

Disquisitiones Arithmeticae , editor =. 2006 , lastchecked =. doi:doi:10.12987/9780300194258 , isbn =

work page doi:10.12987/9780300194258 2006
[17]

Geometric and Functional Analysis , year =

Hamenstädt, Ursula , title =. Geometric and Functional Analysis , year =

work page
[18]

Christopher , title =

Hruska, G. Christopher , title =. Algebr. Geom. Topol. , fjournal =. 2010 , number =. doi:10.2140/agt.2010.10.1807 , url =

work page doi:10.2140/agt.2010.10.1807 2010
[19]

Surface Subgroups for Cocompact Lattices of Isometries of

Jeremy Kahn and Zhenghao Rao , year =. Surface Subgroups for Cocompact Lattices of Isometries of. https://arxiv.org/abs/2503.20759 , archiveprefix =

work page arXiv
[20]

Immersing almost geodesic surfaces in a closed hyperbolic three manifold , urldate =

Jeremy Kahn and Vladimir Markovic , journal =. Immersing almost geodesic surfaces in a closed hyperbolic three manifold , urldate =

work page
[21]

and Slavich, Leone , year =

Kolpakov, Alexander and Reid, Alan W. and Slavich, Leone , year =. Embedding arithmetic hyperbolic manifolds , volume =. Mathematical Research Letters , publisher =. doi:10.4310/mrl.2018.v25.n4.a12 , number =

work page doi:10.4310/mrl.2018.v25.n4.a12 2018
[22]

1977 , publisher =

Combinatorial group theory , author =. 1977 , publisher =

work page 1977
[23]

Long, D. D. and Reid, A. W. , title =. Bulletin of the London Mathematical Society , volume =. 2001 , abstract =. doi:10.1017/S0024609301008219 , url =

work page doi:10.1017/s0024609301008219 2001
[24]

Reid , year =

Colin Maclachlan and Alan W. Reid , year =. The Arithmetic of Hyperbolic 3-Manifolds , publisher =

work page
[25]

, author =

Peripheral separability and cusps of arithmetic hyperbolic orbifolds. , author =. Algebraic & Geometric Topology , year =

work page
[26]

Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A Matem\'aticas , volume =

On odd rank integral quadratic forms: canonical representatives of projective classes and explicit construction of integral classes with square-free determinant , author =. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A Matem\'aticas , volume =. 2015 , number =. doi:10.1007/s13398-014-0176-4 , url =

work page doi:10.1007/s13398-014-0176-4 2015
[27]

McReynolds, D. B. and Reid, Alan W. and Stover, Matthew , year =. Collisions at infinity in hyperbolic manifolds , volume =. Mathematical Proceedings of the Cambridge Philosophical Society , publisher =. doi:10.1017/S0305004113000364 , number =

work page doi:10.1017/s0305004113000364
[28]

2006 , publisher =

Foundations of Hyperbolic Manifolds , author =. 2006 , publisher =

work page 2006
[29]

Notes on Thin Matrix Groups , booktitle =

Peter Sarnak , editor =. Notes on Thin Matrix Groups , booktitle =. 2014 , pages =

work page 2014
[30]

, title =

Serre, J.-P. , title =. 1973 , mrclass =

work page 1973
[31]

, title =

Serre, J.-P. , title =

work page
[32]

Expansion in perfect groups , volume =

Golsefidy, Alireza and Varjú, Péter , year =. Expansion in perfect groups , volume =. Geometric and Functional Analysis , doi =

work page
[33]

Geometrically finite amalgamations of hyperbolic 3-manifold groups are not

Sun, Hongbin , year =. Geometrically finite amalgamations of hyperbolic 3-manifold groups are not. Proceedings of the London Mathematical Society , doi =

work page
[34]

Wise , publisher =

Daniel T. Wise , publisher =. The Structure of Groups with a Quasiconvex Hierarchy: (AMS-209) , urldate =

work page
[35]

2015 , eprint =

Introduction to Arithmetic Groups , author =. 2015 , eprint =

work page 2015