---
title: Pure Graph Houghton Group
url: https://www.emergentmind.com/topics/pure-graph-houghton-group
type: topic
---

# Pure Graph Houghton Group

The **pure graph Houghton group** is the end-fixing subgroup of a graph Houghton group, defined in the setting of asymptotically rigid mapping class groups of certain infinite graphs. For a connected, locally finite, infinite graph \(\Gamma_r\) with \(r\) ends, all accumulated by loops, the graph Houghton group \(B(g,h,r)\) consists of asymptotically rigid mapping classes relative to a \((g,h)\)-rigid structure, and the pure graph Houghton group is
\[
PB(g,h,r):=\ker\big(B(g,h,r)\curvearrowright E(\Gamma_r)\big).
\]
In the principal finitely ended case studied in detail, one writes
\[
PB_r:=PB(0,1,r).
\]
Thus \(PB_r\) is the subgroup of asymptotically rigid mapping classes that fix each end individually. It is a finite-index subgroup of the full graph Houghton group \(B_r=B(0,1,r)\), with
\[
[\,B_r:PB_r\,]=r!,
\]
and its basic algebraic structure is governed by the exact sequence
\[
1\longrightarrow \Map_c(\Gamma_r)\longrightarrow PB_r\longrightarrow \mathbb Z^{r-1}\longrightarrow 1.
\]
For \(r\ge 3\), \(PB_r\) is finitely presented; more generally, it is of type \(F_{r-1}\) but not \(FP_r\), is \(1\)-ended for \(r\ge 2\), has explicitly computable BNSR invariants, and for \(r\ge 3\) has solvable word problem [2508.21264].

## 1. Ambient graph-theoretic framework

The ambient objects are connected, locally finite, infinite graphs \(\Gamma\), with mapping class group defined in the proper-homotopy category by
\[
\Map(\Gamma)=\{\text{proper homotopy equivalences } \Gamma\to\Gamma\}/\text{proper homotopy},
\]
and pure mapping class group \(\PMap(\Gamma)\) defined as the subgroup fixing the end space pointwise. The subgroup of compactly supported mapping classes is denoted
\[
\Map_c(\Gamma)\le \PMap(\Gamma).
\]
The end space is
\[
E(\Gamma):=\varprojlim_i \pi_0(\Gamma\setminus K_i),
\]
for a compact exhaustion \(K_1\subset K_2\subset\cdots\). An end is **accumulated by loops** if every neighborhood of it has infinite rank [2508.21264].

For the finitely many ends theory, one fixes a graph \(\Gamma_r\) with \(r<\infty\) ends, all accumulated by loops, together with a rigid decomposition
\[
\Gamma_r=C\cup \bigcup_{j\in J}Y_j.
\]
Here \(C\) is a finite-rank connected core of rank \(g\), containing a center vertex \(x_0\), with \(r\) valence-\(1\) boundary vertices, and each \(Y_j\) is a piece isomorphic to a model graph \(Y=Y^h\), where \(Y^h\) is a finite graph of rank \(h\) obtained from a line segment with \(h+2\) vertices whose middle \(h\) vertices each carry one loop. A **\((g,h)\)-rigid structure** is such a decomposition with disjoint interiors and with each piece either disjoint from the core or attached along one boundary point \(\partial_-Y_j\in \partial C\). A **suited subgraph** is a connected union of the core with finitely many pieces [2508.21264].

A proper homotopy class represented by \(f:\Gamma_r\to\Gamma_r\) is **asymptotically rigid** if there exists a suited subgraph \(Z\subset \Gamma_r\) such that \(f|_Z\) is a proper homotopy equivalence onto its image, \(f(Z)\) is also a suited subgraph, and for every piece \(Y_j\subset \Gamma_r\setminus Z\) there is a piece \(Y_i\subset \Gamma_r\setminus f(Z)\) with
\[
f(Y_j)=Y_i,\qquad f|_{Y_j}=\phi_i^{-1}\phi_j.
\]
Such a \(Z\) is called a **defining graph** for \(f\). The graph Houghton group \(B(g,h,r)\) is the group of asymptotically rigid mapping classes, and the pure graph Houghton group is the kernel of the action on the finite end space:
\[
PB(g,h,r):=\ker\big(B(g,h,r)\curvearrowright E(\Gamma_r)\big).
\]
In the standard \((0,1)\)-case this becomes \(PB_r\) [2508.21264].

The term “pure” is therefore end-theoretic rather than graph-combinatorial: \(PB(g,h,r)\) consists exactly of asymptotically rigid mapping classes that fix each end individually. This parallels the pure surface Houghton group
\[
P\mathcal H_n=\mathcal H_n\cap \operatorname{PMap}(\Sigma_n),
\]
which fixes each end of the surface \(\Sigma_n\) and serves as the natural pure subgroup in the surface setting [2403.04941].

## 2. Structural description and the flux exact sequence

The central algebraic description of the pure graph Houghton group is the **flux exact sequence**. For \(PB(g,h,r)\), the flux map restricts to
\[
1 \longrightarrow \Map_c(\Gamma_r) \longrightarrow PB(g,h,r) \overset{\Phi|_{PB}}{\longrightarrow} (h\mathbb Z)^{r-1} \longrightarrow 1.
\]
In the principal case \(PB_r=PB(0,1,r)\), this becomes
\[
1 \longrightarrow \Map_c(\Gamma_r) \longrightarrow PB_r \longrightarrow \mathbb Z^{r-1} \longrightarrow 1.
\]
Thus \(PB_r\) is an extension of the compactly supported mapping class group by a free abelian “flux” group of rank \(r-1\). The loop shifts \(h_2,\dots,h_r\) project to the standard basis of \(\mathbb Z^{r-1}\) [2508.21264].

The coordinate flux maps are defined using coranks of free factors:
\[
\Phi_i([f]) := \operatorname{cork}\big(\pi_1(\Gamma_m^{(i)}),\pi_1(\Gamma_n^{(i)})\big) - \operatorname{cork}\big(\pi_1(\Gamma_m^{(i)}),f_*\pi_1(\Gamma_n^{(i)})\big).
\]
This realizes the asymptotic part of a pure graph Houghton element as net loop flow between ends. A plausible implication is that the free abelian quotient plays the same structural role as the translation lattice in classical Houghton theory, where
\[
H_n/FSym(R_n)\cong \mathbb Z^{n-1}
\]
for the \(n\)-ray set \(R_n=\{1,\dots,n\}\times \mathbb N\) [2508.07816].

The compactly supported subgroup is described as a direct limit of finite-rank automorphism groups:
\[
\Map_c(\Gamma_r)\cong \varinjlim_n \Aut(F_{rn}),
\]
through the exhaustion by finite subgraphs and Armstrong–Forrest–Vogtmann presentations. In particular, \(PB_r\) contains \(\Aut(F_n)\) for every \(n\). The subgroup generated by loop shifts
\[
\langle h_2,\dots,h_r\rangle
\]
is isomorphic to the classical Houghton group \(H_r\), so \(PB_r\) contains a canonical classical Houghton subgroup while also containing compactly supported automorphism-type subgroups modeled on \(\Aut(F_n)\) [2508.21264].

Because \(\Gamma_r\) has finitely many ends, \(PB_r\) is a finite-index subgroup of \(B_r\). This finite-index relation mirrors the surface case, where
\[
1\to PB(g,h,r)\to B(g,h,r)\to \mathrm{Sym}(r)\to 1
\]
and
\[
1\to \mathrm{Map}_c(\Sigma_r)\to PB(g,h,r)\xrightarrow{\ \Phi\ }(h\mathbb Z)^{r-1}\to 1
\]
show the same basic pattern: a compactly supported kernel and a rank-\((r-1)\) asymptotic quotient [2312.15330].

## 3. Generators and explicit finite presentation

For \(r\ge 3\), the pure graph Houghton group is finitely generated. One explicit generating statement is
\[
PB_r=\langle h_2,\dots,h_r,\tau,\eta\rangle,
\]
where the \(h_i\) are loop shifts from \(e_1\) to \(e_i\), \(\tau\) is a loop flip, and \(\eta\) is a Nielsen-type automorphism supported near the first two loops. The full group satisfies
\[
B_r=\langle h_2,\dots,h_r,\tau,\eta,\rho_{12},\dots,\rho_{r-1,r}\rangle.
\]
The proof proceeds by correcting an arbitrary pure element by suitable loop shifts until the resulting mapping class has zero flux and therefore lies in \(\Map_c(\Gamma_r)\); compactly supported generators are then recovered from shifted copies of \(\tau,\sigma,\eta\), with \(\sigma\) expressible as a commutator of loop shifts [2508.21264].

The main presentation theorem is that for \(r\ge 3\),
\[
PB_r\cong \langle h_2,\ldots,h_r,\sigma,\tau,\eta \mid P_r\rangle,
\]
where \(P_r\) is a finite set of relations indexed in the paper as \(r_1,\dots,r_{18}\). This gives an explicit finite presentation of \(PB_r\), and hence shows that \(PB_r\) is finitely presented for \(r\ge 3\) [2508.21264].

The named generators have distinct geometric and algebraic roles. The \(h_i\) encode the asymptotic \(\mathbb Z^{r-1}\)-part. The element \(\sigma\) is a swap of two adjacent loops near the base end and satisfies the key identity
\[
\sigma=[h_i,h_j].
\]
The element \(\tau\) is a loop flip. The element \(\eta\) is a Nielsen-type automorphism; the paper records, for instance,
\[
a_1^1\mapsto \overline{a_2^1}a_1^1,\qquad a_2^1\mapsto \overline{a_2^1},
\]
fixing the other generators. The philosophy of the presentation is therefore a semidirect interaction between asymptotic loop shifts and compactly supported automorphism generators [2508.21264].

The construction of the presentation passes through an infinite presentation
\[
G_r= \left\langle h_2,\dots,h_r,A_r \ \middle|\ Q_r,\ Q_r',\ \{s_1^1[h_i,h_j]\}_{2\le i<j\le r} \right\rangle,
\]
together with
\[
1\to \langle A_r\rangle\to G_r\to \mathbb Z^{r-1}\to 1,
\]
and then collapses the infinite AFV generator family to finitely many generators by rewriting the \(s_j^i\) as conjugates of \(\sigma\) by loop shifts. A plausible implication is that the finite presentation is best viewed as a presentation of a compactly supported \(\Aut(F_n)\)-type direct-limit part coupled to an asymptotic Houghton-type translation part.

## 4. Finiteness properties and BNSR invariants

The finiteness theory of pure graph Houghton groups is controlled by the number of ends. For graphs with \(r<\infty\) ends, all accumulated by loops, the graph Houghton group is of type
\[
F_{r-1}\quad\text{but not }FP_r.
\]
Since \(PB_r\) has finite index in \(B_r\), the same holds for the pure group:
\[
PB_r \text{ is of type }F_{r-1}\text{ but not }FP_r.
\]
Consequently, \(PB_r\) is finitely generated for \(r\ge 2\) and finitely presented for \(r\ge 3\) [2508.21264].

The proof uses an action on a Stein–Farley-type cube complex \(X\). Its vertices are pairs \([Z,f]\), where \(Z\) is a suited subgraph and \(f\in B_r\), with Morse height given by the rank of \(Z\). The complex is contractible, sublevel quotients are finite, and cube stabilizers are finite-index subgroups of finite-type graph mapping class groups and hence of type \(F_\infty\). Brown’s criterion then reduces the finiteness problem to the connectivity of descending links, which are analyzed via a piece complex and complete-join arguments [2508.21264].

The BNSR invariants of the pure graph Houghton group are computed in the same form as for several other Houghton-type groups. If \(G_n\) denotes either the pure graph Houghton group or the pure doubled handlebody Houghton group, and if a nonzero character is written in ascending standard form
\[
\chi=a_1\chi_1+\cdots+a_n\chi_n,\qquad a_1\le \cdots \le a_{m(\chi)}<a_{m(\chi)+1}=\cdots=a_n=0,
\]
then
\[
[\chi]\in \Sigma^{m(\chi)-1}(G_n)\setminus \Sigma^{m(\chi)}(G_n).
\]
Thus the BNSR layer of \([\chi]\) is determined exactly by the number \(m(\chi)\) of nonzero coefficients in ascending standard form [2508.21264].

This places the pure graph Houghton group in direct analogy with both classical and surface Houghton theory. For the classical Houghton groups \(H_n\), the complete BNSR computation has the same schematic form,
\[
[\chi]\in \Sigma^{m(\chi)-1}(H_n)\setminus \Sigma^{m(\chi)}(H_n),
\]
with \(m(\chi)\) defined from the ordered character coefficients [1808.00634]. The pure surface Houghton group \(P\mathcal H_n\) satisfies the corresponding statement
\[
[\chi]\in \Sigma^{m(\chi)-1}(P\mathcal H_n)\setminus \Sigma^{m(\chi)}(P\mathcal H_n),
\]
proved via a CAT(0) Stein–Farley cube complex and an adaptation of Zaremsky’s method [2403.04941]. The graph case therefore preserves the same BNSR combinatorics while replacing surface pieces by graph pieces.

## 5. Algebraic and large-scale properties

Several further structural properties of \(PB_r\) are established. For \(r\ge 2\), \(PB_r\) is \(1\)-ended. The proof in the full group case \(B_r\) explicitly also proves the same property for the pure subgroup. For \(r\ge 3\), \(PB_r\) has solvable word problem, proved using the explicit presentation together with reduction into the compactly supported subgroup and solvability of the word problem in \(\Aut(F_n)\) [2508.21264].

The group also exhibits a hybrid Houghton–automorphism profile. It contains \(\Aut(F_n)\) for every \(n\), yet also contains the classical Houghton subgroup generated by loop shifts. This suggests that \(PB_r\) interpolates between two well-developed directions in geometric group theory: asymptotic end-translation groups and compactly supported automorphism groups of free groups. A plausible implication is that many of its geometric features arise from the interaction rather than from either factor in isolation.

The identity
\[
[h_2,h_3]\simeq \sigma
\]
in the case \(\Gamma_3\) is emblematic. It shows that compactly supported loop-swapping behavior can be produced from asymptotic shifts alone, and it underlies both the finite-generation argument and the finite presentation [2508.21264].

The paper also records that graph Houghton groups contain free abelian subgroups of arbitrarily large rank. It further uses torsion phenomena in graph Houghton groups when comparing them with other Houghton-type families. For the pure subgroup, the strongest explicit statements are the finite presentation, one-endedness, BNSR computation, solvable word problem, and the embedding of all \(\Aut(F_n)\) [2508.21264].

## 6. Relation to other Houghton-type groups and terminology

The pure graph Houghton group belongs to a broader family of Houghton-type constructions, but it is not a rephrasing of earlier classical or surface notions. The paper introducing \(PB_r\) states that graph Houghton groups are not commensurable with the classical, surface, braided, handlebody, and doubled handlebody Houghton groups, and uses pure subgroups in the proofs of these separations. At the same time, the formal headline theorem is stated for the full groups \(B_r\), not as a standalone theorem asserting pairwise non-commensurability of all pure variants [2508.21264].

A common misconception is to identify \(PB_r\) with a “pure surface Houghton group.” The pure surface Houghton group is instead
\[
P\mathcal H_n=\mathcal H_n\cap \operatorname{PMap}(\Sigma_n),
\]
the subgroup of asymptotically rigid mapping classes of an infinite-type surface \(\Sigma_n\) that fix each end. It has abelianization
\[
(P\mathcal H_n)^{ab}\cong \mathbb Z^{n-1},
\]
and its BNSR invariants were computed independently [2403.04941]. Similarly, the groups
\[
PB(g,h,r)=\mathrm{PMap}(\Sigma_r)\cap B(g,h,r)
\]
from the surface classification theory are pure surface Houghton groups, classified up to isomorphism by \((r,h)\) and up to commensurability by \(r\) [2312.15330]. These are surface analogues, not graph Houghton groups.

Another potential source of confusion is the use of graph-theoretic techniques in ordinary Houghton-group papers. For example, the 2025 paper on full-Hirsch-length subgroups of classical Houghton groups analyzes graph-wreath products and restricted multi-wreath products, but explicitly does **not** define or study an object called a pure graph Houghton group; there the graph input is auxiliary to finiteness arguments about subgroups of classical \(H_n\) [2508.07816]. Likewise, earlier papers on classical Houghton groups, hyperbolic structures, and Houghton-like groups from shift-similar groups develop ray-based or cube-complex generalizations, but not the end-fixing asymptotically rigid graph-mapping-class groups denoted \(PB_r\) [2502.12590].

The most precise way to situate the pure graph Houghton group is therefore as follows. It is the end-pure subgroup of an asymptotically rigid mapping class group of an infinite graph with finitely many ends, all accumulated by loops. It admits the exact sequence
\[
1\to \Map_c(\Gamma_r)\to PB_r\to \mathbb Z^{r-1}\to 1,
\]
has an explicit finite presentation for \(r\ge 3\), is of type \(F_{r-1}\) but not \(FP_r\), and shares the same BNSR character formula as classical and pure surface Houghton groups. At the same time, the surrounding graph Houghton theory defines a genuinely new commensurability class among Houghton-type groups, so \(PB_r\) is best understood as a new graph-based pure Houghton construction rather than as a reformulation of an existing one [2508.21264].

Source: https://www.emergentmind.com/topics/pure-graph-houghton-group