Finiteness properties of Subgroups of Houghton Groups of full Hirsch length

Armando Martino; Charles Garnet Cox; Peter Kropholler

REVIEW 2 major objections 1 minor 1 cited by

Finiteness properties of Subgroups of Houghton Groups of full Hirsch length

T0 review · 2 major / 1 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Every subgroup of a Houghton group with an epimorphism onto $\mathbb{Z}^{n-1}$ is of type $\mathrm{F}_{n-1}$ but not $\mathrm{FP}_n$.

desk verdict A natural extension of Brown's theorem to large subgroups of Houghton groups, with a generalised wreath product machine that is plausibly new; the abstract leaves the load-bearing structural decomposition unverified. read the letter →

arxiv 2508.07816 v3 pith:7JHUV3LC submitted 2025-08-11 math.GR

Charles Garnet Cox , Peter Kropholler , Armando Martino This is my paper · ORCID

classification math.GR MSC 20F6520J0620E22

keywords HoughtongroupsfinitenesstypeF_nFP_ngeneralizedpermutationalwreathproductJordan–Wielandttheoremsubgroupscohomologyof

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

A classical result from the 1980s showed that the Houghton group $H_n$ is of type $\mathrm{F}_{n-1}$ but not $\mathrm{FP}_n$. This paper establishes the same conclusion for every subgroup $G$ of $H_n$, provided $n\ge 3$ and $G$ admits an epimorphism onto $\mathbb{Z}^{n-1}$. In other words, any subgroup that is 'large' in this abelian-quotient sense inherits the full finiteness boundary of the ambient group. The proof is carried by a structural decomposition of such subgroups as generalized permutational wreath products whose base is a direct product of finite groups that may vary from orbit to orbit, controlled by a generalized Jordan–Wielandt theorem.

What carries the argument

The central mechanism is the generalized permutational wreath product: a wreath product whose base is a direct product of finite groups, with the finite groups allowed to vary in isomorphism type from one orbit of the permutation action to the next. This structure accommodates the large subgroups of Houghton groups. The paper pairs this with a generalized Jordan–Wielandt theorem, which analyzes the action and supplies the homological finiteness information needed to prove the $\mathrm{F}_{n-1}$ and non-$\mathrm{FP}_n$ dichotomy.

What would settle it

Produce a subgroup $G$ of $H_n$ (any $n\ge 3$) with an epimorphism to $\mathbb{Z}^{n-1}$ that is of type $\mathrm{FP}_n$. One natural candidate is the kernel of a map from $H_n$ onto $\mathbb{Z}^{n-1}$; if that kernel is $\mathrm{FP}_n$, the claimed dichotomy fails.

Watch

Extended reading notes

Core claim

The paper's main theorem states: for every integer $n\ge 3$ and every subgroup $G$ of the Houghton group $H_n$, if there exists an epimorphism from $G$ to the free abelian group $\mathbb{Z}^{n-1}$, then $G$ is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{FP}_n$. This extends the 1980s theorem about $H_n$ itself to all of its subgroups with the largest possible abelian quotient. The proof proceeds by showing that every such $G$ admits a decomposition as a generalized permutational wreath product in which the base is a direct product of finite groups whose isomorphism types may differ from orbit to orbit; a generalized Jordan–Wielandt theorem then provides the structural control needed

Load-bearing premise

The proof requires that every subgroup of $H_n$ that maps onto $\mathbb{Z}^{n-1}$ can be decomposed as a generalized permutational wreath product with finite base groups; if even one such subgroup resists this decomposition, the main argument fails.

Editorial extensions

If this is right

Every subgroup of $H_n$ mapping onto $\mathbb{Z}^{n-1}$ shares the same finiteness type as $H_n$ itself: type $\mathrm{F}_{n-1}$ but not $\mathrm{FP}_n$.
The finiteness boundary is determined solely by the existence of the epimorphism, not by the particular internal structure of the subgroup.
The class of large subgroups of $H_n$ is exactly the class where the generalized permutational wreath product decomposition applies.
For $n\ge 3$, the finiteness type of all large subgroups of $H_n$ is now settled; only subgroups with smaller abelian quotients remain open.

Reading between the lines

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

The generalized Jordan–Wielandt theorem may apply to other families of groups whose large subgroups admit orbit-varying wreath decompositions, potentially yielding finiteness-type dichotomies beyond Houghton groups.
The wreath product decomposition may yield explicit classifying spaces for these subgroups, with the dimension of a finite $(n-1)$-skeleton read off from the construction.
If the decomposition is characteristic of large subgroups, then the paper's dichotomy might be sharpened to a classification: every such subgroup is exactly of type $\mathrm{F}_{n-1}$, never of type $\mathrm{F}_n$.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

You should know two things about this one. First, the advertised theorem is exactly the kind of next-step result that makes sense: Brown handled the ambient Houghton group H_n, and this paper claims the same F_{n-1}-but-not-FP_n dichotomy for every subgroup with an epimorphism to Z^{n-1}. That is a strictly broader class, and it is the right target. Second, the machinery described — generalised permutational wreath products whose base is a restricted direct product of finite groups allowed to vary from orbit to orbit — looks new and is the part that gives the proof its shape.

What the paper does well, on the evidence of the abstract: it identifies a precise largeness condition, states the theorem cleanly, and points to a generalised Jordan–Wielandt theorem as the tool that forces the structure of large subgroups. If that structural result holds, the dichotomy follows naturally from existing finiteness theory. There are no parameters fitted to data, no empirical claims, and no visible circularity: the theorem is a pure statement about groups, and the proof presumably uses Brown's theorem and the Jordan–Wielandt machinery as inputs, not the conclusion.

Where the soft spot is: the entire argument rests on the claim that every subgroup G with an epimorphism to Z^{n-1} admits the generalised wreath product decomposition with finite base. The epimorphism condition alone does not obviously force that decomposition. For n=3, for instance, you can imagine a normal subgroup N = G ∩ ker(H_3 → Z^2) that is locally finite but not a restricted product of finite groups in the required orbit-wise sense — the finitary alternating group A_∞ is the kind of counterexample you'd worry about. The generalised Jordan–Wielandt theorem has to rule those out. I cannot check that from the abstract. The stress-test note raises exactly this point, and it lands: this is a load-bearing step, not a minor lemma, and until I see the proof I'd treat it as a genuine uncertainty rather than a demonstrated flaw.

All that said, the paper is not incoherent, and I do not see any internal contradiction from the abstract. The authors are clearly engaging with the right literature and have identified a real gap between Brown's ambient-group result and what should hold for large subgroups. If the structural theorem is right, this becomes a valuable contribution to homological finiteness properties.

My recommendation: send it to peer review. It deserves a serious referee's time, specifically to verify the generalised Jordan–Wielandt theorem and the orbit-by-orbit decomposition. I would not desk-reject this. I would not cite it in my own work yet, but that is because I work elsewhere and the proof is unverified, not because the idea is weak.

Referee Report

2 major / 1 minor

Summary. The abstract announces a theorem about subgroups of Houghton groups: for every n ≥ 3, any subgroup G of H_n admitting an epimorphism G ↠ Z^{n-1} is of type F_{n-1} but not FP_n. This generalizes K.S. Brown's classical result for H_n itself. The proposed proof is said to proceed through a study of generalized permutational wreath products whose base is a direct product of finite groups that may vary from orbit to orbit, supported by a generalized Jordan–Wielandt theorem. The full text was not available for this review; only the abstract was examined.

Significance. If correct, the result is a substantial and natural extension of Brown's theorem: it identifies a large class of subgroups of Houghton groups sharing the same finiteness properties as the ambient group. The introduction of generalized permutational wreath products with orbit-dependent finite bases could be a useful tool for other families of groups arising from permutation actions. The paper also promises a generalized Jordan–Wielandt theorem whose scope may go beyond the specific application. However, because the proof is not accessible in this abstract-only review, the significance is conditional on the validity of the announced machinery.

major comments (2)

[Abstract] The central claim is stated in the abstract, but no proof or precise statement of the 'generalized Jordan–Wielandt theorem' is provided. The epimorphism condition G ↠ Z^{n-1} alone only forces G/(G ∩ ker(H_n→Z^{n-1})) ≅ Z^{n-1}; it does not by itself imply that G ∩ ker is a restricted direct product of finite groups varying by orbit. The announced structural theorem is load-bearing: if it fails for some G, the conclusion would not follow. Without access to the full proof, this remains the main unresolved point.
[Abstract] The abstract does not state conditions under which the generalized Jordan–Wielandt theorem applies, nor does it indicate how potential counterexamples such as G ∩ ker ≅ A_∞ or an embedded C_2 ≀ Z^2 are excluded. A rigorous proof must rule out these possibilities. The abstract alone is insufficient to verify that the dichotomy holds for every 'large' subgroup, so the paper needs the full structural analysis to be assessed.

minor comments (1)

No minor comments can be formulated because the full manuscript is unavailable; typographical or notational issues cannot be judged from the abstract.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected in the abstract; the proof chain is not visibly self-referential or fitted.

full rationale

The abstract presents a pure mathematical theorem: for n>=3, every subgroup G of the Houghton group H_n with an epimorphism G -> Z^{n-1} has type F_{n-1} but not FP_n. There are no fitted parameters, no empirical quantities, and no quantity defined in terms of the target conclusion. The argument is said to use Brown's theorem and a generalized Jordan-Wielandt theorem, but the abstract does not state that either theorem assumes the finiteness property being proved, nor does it define 'large subgroup' in terms of the conclusion. The structural decomposition of large subgroups as generalized permutational wreath products is load-bearing, but that is a question of proof correctness or the strength of an auxiliary theorem, not circularity: nothing in the abstract indicates that the decomposition is assumed rather than proved, nor that the finiteness conclusion is an input to the Jordan-Wielandt theorem. Because full text is unavailable, no specific equation or construction can be quoted to exhibit a reduction of the claimed result to its inputs. Under the hard rule requiring concrete evidence, no circular step can be identified. The honest finding is therefore no significant circularity.

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

The central theorem rests on Brown's classical result, on the definition of largeness via an epimorphism to Z^(n-1), and on a generalized Jordan-Wielandt theorem. No fitted parameters or newly postulated entities are mentioned in the abstract.

assumptions (3)

standard math Brown's theorem: the Houghton group H_n is of type F_(n-1) but not FP_n.
This is the baseline result cited in the abstract; the paper extends it to subgroups.
domain assumption A subgroup G is 'large' exactly when there is an epimorphism G -> Z^(n-1).
This definition is given in the abstract as the criterion for the main theorem.
domain assumption A generalized Jordan-Wielandt theorem holds for permutational wreath products with finite base groups varying by orbit.
The abstract states that such a generalized theorem accommodates the wreath products arising among large subgroups; its proof or provenance is not visible in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Finiteness properties of Subgroups of Houghton Groups of full Hirsch length." pith.science (2026). https://pith.science/paper/7JHUV3LC

@misc{pith2026250807816,
  author       = {Pith},
  title        = {Pith review of: Finiteness properties of Subgroups of Houghton Groups of full Hirsch length},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7JHUV3LC}},
  note         = {Machine review of arXiv:2508.07816}
}

abstract

In the 1980's K.S. Brown proved that the Houghton group $H_n$ is of type $\operatorname{F}_{n-1}$ but not $\operatorname{FP}_n$. We show that, provided $n\ge3$, the same conclusion holds for all subgroups $G$ of $H_n$ that are 'large' in the sense that there is an epimorphism $G\twoheadrightarrow\mathbb{Z}^{n-1}$. Our research leads naturally to the study of generalised permutational wreath products in which the base of the wreath product is a direct product of finite groups which are allowed to vary in isomorphism type from one orbit to another. Such generalised wreath products arise naturally amongst the large subgroups of Houghton groups and are accommodated by a generalised Jordan--Wielandt theorem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A graph-theoretical characterisation of subgroups of Thompson's group $V$
math.GR 2026-08 accept novelty 8.0 of 10

A finitely generated group embeds in Thompson's group V if and only if it is the transition group of a context-free graph, which rules out intermediate-growth groups and the Basilica and Hanoi Towers groups.

Pith tools

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