{"id":"b1ffbd28-cafa-416b-aad9-ec9917b4a41c","arxiv_id":"2508.07816","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For n>=3, every subgroup of the Houghton group H_n that maps onto Z^(n-1) is F_(n-1) but not FP_n, matching the ambient group.","lead":"The paper proves that every 'large' subgroup of a Houghton group H_n (with an epimorphism onto Z^(n-1)) has the same finiteness properties as H_n itself: it is of type F_(n-1) but not FP_n. This generalizes K.S. Brown's classical theorem to a much broader class of subgroups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central claim rests on a generalized Jordan-Wielandt decomposition for every large subgroup; the epimorphism hypothesis alone does not prove that decomposition, and a wreath-product counterexample would follow if the decomposition fails.","rationale":"The reader identified the same weakest assumption: the structural decomposition into a generalized permutational wreath product with finite base is the essential unverified step. I agree, and I have made the concern more concrete by pointing to the possibility that G∩ker may be a locally finite group such as A_∞ that is not a restricted direct product of finite groups, and to the fact that if H_3 contained an embedded C_2≀Z^2, the theorem would be false. Since the full text is unavailable, I cannot settle whether the generalized Jordan-Wielandt theorem covers all large subgroups; therefore the verdict remains UNVERDICTED, as the reader said. No new reason to change the verdict emerged from the abstract-level analysis, so I mark the verdict unchanged.","tokens_in":655,"tokens_out":30852,"duration_ms":383280,"concrete_test":"In the full manuscript, locate the statement and proof of the generalized Jordan-Wielandt theorem (likely §3). Check its hypotheses against the specific subgroup G = ⟨A_∞, s_1, s_2⟩ < H_3, where A_∞ is the finitary alternating group on the union of the three rays and s_i are the standard shift/compensate elements. Verify whether G∩ker(H_3→Z^2) is a restricted direct product of finite groups, and whether G is a generalized wreath product of the stated form. If the theorem cannot accommodate this example, determine whether such a G actually exists as a proper large subgroup; if it does and is not of type F_2, the central claim is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof as advertised derives the dichotomy from a structural theorem: every subgroup G of H_n with an epimorphism to Z^{n-1} is a generalized permutational wreath product whose base is a restricted direct product of finite groups varying by orbit. This is the load-bearing step. The epimorphism condition alone only forces G/(G∩ker(H_n→Z^{n-1})) ≅ Z^{n-1}; it does not by itself guarantee that the intersection with the finitary symmetric group is such a product. If, for n=3, the normal subgroup N=G∩ker is a locally finite group not of that form (e.g., the finitary alternating group A_∞), or if H_3 contains a naturally embedded C_2≀Z^2, the asserted F_2 and non-FP_3 conclusion would be false. The abstract's generalized Jordan-Wielandt theorem must rule out these possibilities; without access to its proof, this remains the weakest point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":910,"tokens_out":2014,"duration_ms":24722,"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":[{"comment":"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.","section":"Abstract"},{"comment":"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.","section":"Abstract"}],"minor_comments":[{"comment":"No minor comments can be formulated because the full manuscript is unavailable; typographical or notational issues cannot be judged from the abstract.","section":null}],"recommendation":"uncertain","confidential_remarks":"The abstract presents an attractive theorem, and the stress-test concern about the missing structural decomposition is legitimate. Since I only had access to the abstract, I cannot certify the correctness of the main result. I would need the full text to evaluate the generalized Jordan–Wielandt theorem and the wreath-product decomposition. This is not a rejection but an expression of uncertainty due to incomplete information."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nWhere 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.\n\nAll 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.\n\nMy 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.","headline":"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.","tokens_in":1355,"tokens_out":1298,"would_cite":false,"duration_ms":18015,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20F65","20J06","20E22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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$.","keywords":["Houghton groups","finiteness type","F_n","FP_n","generalized permutational wreath product","Jordan–Wielandt theorem","subgroups","cohomology of groups"],"falsifier":"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.","tokens_in":585,"feed_emoji":"🧩","tokens_out":9706,"duration_ms":90841,"temperature":0.7,"pith_summary":"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.","feed_headline":"Large subgroups of Houghton groups inherit finiteness type","feed_subtitle":"The F_{n-1} but not FP_n dichotomy holds for every subgroup mapping onto Z^{n-1}, n≥3.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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$."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Large Houghton subgroups keep F_{n-1} but not FP_n","Houghton subgroups with Z^{n-1} quotient: F_{n-1} not FP_n","Big Houghton subgroups inherit finiteness type","Large subgroups of H_n: F_{n-1} but not FP_n","Houghton subgroup dichotomy extends to all large subgroups"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Large Houghton subgroups keep F_{n-1} but not FP_n","Houghton subgroups with Z^{n-1} quotient: F_{n-1} not FP_n","Big Houghton subgroups inherit finiteness type","Large subgroups of H_n: F_{n-1} but not FP_n","Houghton subgroup dichotomy extends to all large subgroups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000949,"raw_usage":{"total_tokens":3864,"prompt_tokens":701,"completion_tokens":3163,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":445,"completion_tokens_details":{"reasoning_tokens":3080}},"tokens_in":445,"tokens_out":3163,"duration_ms":28264,"temperature":1.0,"reasoning_tokens":3080,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T21:48:54.852479+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}