{"id":"cdac5868-2cb4-47fa-b1c2-b6aa908a05ca","arxiv_id":"1908.05543","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Brown-style criterion characterizes when a group admits a finite-skeleton classifying space for a family of subgroups, with applications to finite extensions and Lück's theorem.","lead":"This paper proves a topological criterion, analogous to Brown's criterion, for a group to have finiteness properties relative to a family of subgroups: it is enough to check that fixed-point subspaces of a well-filtered classifying complex eventually become homotopically trivial. The criterion also gives new preservation results under finite-index extensions and recovers Lück's characterization for the family of finite subgroups.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Converse of Theorem 1.2 rests on an unproved Bredon-homology surjectivity claim in §4.1 Step 2; the sketched justification may conflate π2- and H2-triviality at a stage where fixed-point sets are not known to be simply connected.","rationale":"The reader's report flags this same Step 2 sketch as the weakest assumption; I agree it is the critical point. My stress-test sharpens the issue: this is not merely a missing routine detail, because the displayed justification appears to use an implication (π_2 vanishing ⇒ H_2 vanishing) that is false for the spaces available at that stage. The theorem may still be true and the proof repairable, but as written the induction in the converse direction is incomplete. Other parts of the paper (Haefliger construction, Corollary 1.4-1.6, Proposition 3.2) have smaller, fixable omissions but do not threaten the central claim. Therefore the reader's CONDITIONAL verdict remains appropriate; no change in verdict is needed.","tokens_in":17944,"tokens_out":26568,"duration_ms":254171,"concrete_test":"Write out a complete proof of the Step 2 surjectivity claim and identify each place where π_2-essential triviality is converted into homology vanishing. Test that conversion on the toy configuration X_{α_2}^H=T^2 and X_{α_3}^H=T^2∪A∪B (two 2-cells attached along meridian and longitude), embedded in the 2-skeleton of a contractible 3-complex; since π_2 vanishes but H_2 does not, any argument that derives H_2-triviality for X_{α_2}^H from π_2-triviality is false. A successful repair must either use Hurewicz on Z_3^H (which is simply connected) and show that the resulting classes in π_2(Z_3^H) are pushed into X_{α_3}^H and killed there, or supply a different Bredon-module generation argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the i=3 induction step of the proof of (2)⇒(1) in Theorem 1.2, Step 2 must show that finitely many equivariant 2-spheres S^2×G/K_i generate H_2^F(Z_3); Step 3 then attaches 3-cells along those spheres to make π_2 vanish on every fixed-point set. The paper's displayed diagram in Step 2 concludes from 'the horizontal upper map vanishes when we descend to homology' that the boundary map C_3(X_{α_3}) → H_2^F(Z_3) is surjective. But the only vanishing hypothesis available at that point is π_2-F essential triviality: for each H, π_2(X_{α_2}^H)→π_2(X_{α_3}^H)=0. The spaces X_{α_2}^H need not be simply connected; simple connectivity is proved only for Y_2^H (and later Z_3^H), not for X_{α_2}^H. Thus Hurewicz does not apply, and zero on π_2 does not imply zero on H_2. Concretely, if X_{α_2}^H is a torus and X_{α_3}^H is the simply connected complex obtained by attaching 2-cells along the meridian and longitude, then π_2(X_{α_2}^H)=0 while H_2(X_{α_2}^H)→H_2(X_{α_3}^H) is nonzero. The paper explicitly says this fact is only sketched and 'leave details to the reader.' Since this generation result is the only justification for killing π_2 of every fixed-point set, and the same step is repeated for all n≥3, the converse direction has a load-bearing gap as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Brown-type criterion for the finiteness property F-F_n for classifying spaces for families of subgroups. Given an F-n-good G-CW-complex X and a filtration {X_α} of finite n-type by G-subcomplexes, Theorem 1.2 states that if G is of type F-F_n then, for every k<n, the filtration is π_k-F-essentially trivial; conversely, under the additional assumption that X has G-finite 0-skeleton, these conditions imply that G is of type F-F_n. The proof first uses the Haefliger construction to reduce to n-skeleta of models for E_FG, then constructs G-witnesses Y_i inductively. Applications include a criterion for finite families (Corollary 1.4), preservation under finite extensions (Corollary 1.5), and a recovery of Lück's characterization of the property for finite subgroups (Corollary 1.6). Section 3 develops a contracting-tree quotient construction that produces G-finite 0-skeleta under additional assumptions on the family, leading to Theorem 1.3.","tokens_in":18263,"tokens_out":14678,"duration_ms":139383,"significance":"If the main theorem is correct, it gives a topological criterion for F-F_n that reduces the finiteness property to eventual vanishing of homotopy groups of fixed-point sets in a filtration. This is a natural analogue of Brown's criterion for FP_n and complements the Bredon-homology criterion of Fluch and Witzel. The paper has clear strengths: the (1)⇒(2) direction is clean; the Haefliger construction is used in a natural way; Section 3's contracting-tree argument is explicit and nontrivial; and the applications, including finite extensions and Abels-type examples, are valuable. However, the proof of the converse direction contains a specific unproved Bredon-homology generation claim that is load-bearing for the induction; the result is plausible but not fully established as written.","major_comments":[{"comment":"The claim that finitely many equivariant 2-spheres S^2×G/K_i generate H_2^F(Z_3) is not proved. The argument uses the assertion that 'the horizontal upper map vanishes when we descend to homology' to conclude that C_3(X_{α_3})→H_2^F(Z_3) is surjective. The only vanishing hypothesis available at this point is π_2-F-essential triviality for the inclusion X_{α_2}→X_{α_3}. Since X_{α_2}^H is not known to be simply connected (simple connectivity is proved for Y_2^H and later for Z_3^H, not for X_{α_2}^H), Hurewicz cannot be invoked to pass from vanishing of π_2 to vanishing of H_2. The paper explicitly says 'We provide an sketch of this fact and leave details to the reader.' This generation statement is exactly what is needed to attach finitely many 3-cells that kill π_2 of every fixed-point set, and the same step is repeated for all n≥3; hence the converse direction of Theorem 1.2 is incomplete as written.","section":"§4.1, Step 2 of the i=3 induction"}],"minor_comments":[{"comment":"In the converse direction, the argument chooses finitely many β_H and then speaks of their 'maximum'; since I is only a directed set, the correct statement is that there is an upper bound β in I for the finitely many β_H. Please rephrase.","section":"Corollary 1.6 proof"},{"comment":"The sentence 'X^H is a model for the classifying space EH' is unclear as written; presumably E_{Fin}N_G(H) or the analogous classifying space for the relevant family of subgroups of N_G(H) is intended. Please correct the statement and notation.","section":"Corollary 1.6 proof"},{"comment":"The proof asserts that for all sufficiently large j the maps π_k(X_j^H)→π_k(X^H)=0 are isomorphisms. This does not follow immediately from the filtration hypotheses and needs justification; in general, inclusion of a finite subcomplex into a contractible space does not induce isomorphisms on homotopy groups.","section":"Corollary 5.1 proof"},{"comment":"In the negative part, the use of Hurewicz to pass from non-vanishing of H_{n-1}(X_j^H) to non-vanishing of π_{n-1}(X_j^H) requires the spaces X_j^H to be (n-2)-connected, which is not stated or proved. Please clarify.","section":"Corollary 5.1 proof"},{"comment":"The displayed diagram in Step 2 is hard to read and appears to label the map g_2 on two different vertical arrows and f_2 on arrows with different sources; please redraw it with distinct names for each arrow so that the chain-level argument can be checked.","section":"§4.1, Step 2 diagram"},{"comment":"There is a typo: 'there there exists' should be 'there exists'.","section":"§2.1, Proposition 2.1"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the unproved Bredon-homology generation in §4.1, Step 2. The theorem is plausible and the overall strategy is sound, but as written the converse of Theorem 1.2 is incomplete: the induction for n≥3 depends on a step that is only sketched and whose stated justification appears to conflate π_2-triviality with H_2-triviality without the needed simple-connectivity hypothesis. I recommend asking the authors to supply a complete proof of that step and to address the related clarifications in Corollaries 1.6 and 5.1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a real new result, not a repackaging. Brown proved the criterion for FP_n, Fluch–Witzel for F-FP_n, Drutu–Kapovich for the trivial family F_n; this paper gives the topological F-F_n analogue, and the applications are substantive. The finite-extension corollary contrasts nicely with Leary–Nucinkis, and the recovery of Lück's theorem is clean. The (1)⇒(2) direction is solid, and the Haefliger-construction framework is standard and well handled.\n\nBut the converse direction of Theorem 1.2 has a gap that the stress-test zeroes in on. In the i=3 step, the proof must show that finitely many equivariant 2-spheres generate H_2^F(Z_3), so that attaching 3-cells kills π_2 of every fixed-point set. The diagram argument in Step 2 uses the π_2-essential triviality of the filtration to conclude that a certain map vanishes on homology. That inference needs Hurewicz, and Hurewicz does not apply: X_{α_2}^H is not known to be simply connected at that stage. The torus-collapsed-to-sphere example is a genuine counterexample to the inference—π_2 map zero, H_2 map nonzero. The paper explicitly says 'we provide a sketch of this fact and leave details to the reader,' but this is not a routine detail; it is load-bearing, and the same step is reused for every n≥3. Without a proof of that surjectivity, the induction as written breaks.\n\nOther soft spots are minor. Corollary 1.6 compresses the quantifier over H∈F a bit quickly, but the argument is recoverable. The proof of Theorem 1.3 is sketched but plausible. The citation pattern looks fine; the paper leans on standard references and does not cite itself in a suspicious way. I see no circularity.\n\nWho is this for? Geometric group theorists working on finiteness properties of groups with respect to families. If the gap is repaired, this is a publishable main theorem. As written, I would not cite it as a proven theorem yet. Still, it deserves a serious referee: the result is important enough, the strategy is mostly standard, and the missing argument is probably fixable. Send it to review, but the referee should ask for a complete proof of the Bredon-homology generation step.","headline":"A genuine new Brown-type criterion for F-F_n with nice applications, but the converse proof has a load-bearing gap in the i=3 induction that the stress-test correctly identifies.","tokens_in":18880,"tokens_out":7555,"would_cite":false,"duration_ms":73466,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20J05","20J06"],"pacs":[],"model":"deepseek-v4-flash","headline":"Finiteness of classifying spaces from vanishing homotopy groups","keywords":["Brown's criterion","classifying spaces for families","F-Fn","Bredon homology","equivariant homotopy groups","finiteness properties","fixed-point sets","Haefliger construction"],"falsifier":"Compute $H_2^{\\mathcal{F}}(Z_3)$ for the complex built in Section 4.1 for a concrete group and family, and check whether the maps $\\mathbb{Z}[- ,G/K_i] \\to H_2^{\\mathcal{F}}(Z_3)$ from the finitely many sphere orbits are jointly surjective; a counterexample would break the induction. Alternatively, search for an $\\mathcal{F}$-3-good $X$ with $G$-finite 0-skeleton and a finite-type filtration that is $\\pi_k$-$\\mathcal{F}$-essentially trivial for $k<3$ yet admits no compact three-dimensional witness.","tokens_in":17683,"feed_emoji":"🧮","tokens_out":6831,"duration_ms":65470,"temperature":0.7,"pith_summary":"This paper establishes a Brown's criterion for the topological finiteness property $\\mathcal{F}$-$\\mathrm{F}_n$: a group $G$ is of type $\\mathcal{F}$-$\\mathrm{F}_n$ exactly when, inside any sufficiently nice filtration of an $\\mathcal{F}$-$n$-good $G$-CW-complex, the homotopy groups of every fixed-point set $X^H$ eventually vanish in degrees below $n$, with a $G$-finite 0-skeleton needed for the converse direction. The criterion converts a global question about finding a compact model for the classifying space $E_{\\mathcal{F}}G$ into a local, checkable condition on a filtration. It also yields preservation of $\\mathcal{F}$-$\\mathrm{F}_n$ under finite-index subgroups under suitable hypotheses on the family, contrasting with the Leary--Nucinkis examples, and recovers L\\\"uck's characterization of $\\underline{\\mathrm{F}}_n$ via normalizers of finite subgroups.","feed_headline":"Finiteness of classifying spaces from vanishing homotopy groups","feed_subtitle":"A group is F-Fn exactly when fixed-point sets in a filtration eventually kill all low homotopy groups.","key_machinery":"The paper's load-bearing notion is an $\\mathcal{F}$-$n$-good complex: a $G$-CW-complex whose fixed-point sets $X^H$ are nonempty and $(n-1)$-connected for every $H\\in\\mathcal{F}$, and whose cell stabilizers are themselves of type $(\\mathcal{F}\\cap G_\\sigma)$-$\\mathrm{F}_{n-p}$ for a $p$-cell $\\sigma$. The Hae fliger construction for families, following L\\\"uck, replaces each cell $\\sigma$ of such an $X$ by a model for $E_{\\mathcal{F}\\cap G_\\sigma}G_\\sigma$, producing an $\\mathcal{F}$-$G$-complex whose fixed-point sets are homotopy equivalent to those of $X$; this is what lets a filtration of $X$ be converted into a filtration of an actual $n$-skeleton of $E_{\\mathcal{F}}G$. The proof of the converse also uses Bredon homology modules $H_*^{\\mathcal{F}}$, which record the homology of the fixed-point sets, and in Step 2 of the three-dimensional induction it attaches 3-cells using finitely many equivariant 2-spheres $S^2\\times G/K_i$ to kill $\\pi_2$ in every fixed-point set. A separate contracting-tree technique collapses 0-cells of a model for $E_{\\mathcal{F}}G$ when the family satisfies the ascending chain condition and is generated by finitely many maximal subgroups.","core_discovery":"The central result is Theorem 1.2. For an $\\mathcal{F}$-$n$-good $G$-CW-complex $X$ and a filtration $\\{X_\\alpha\\}$ by $G$-subcomplexes of finite $n$-type, $G$ is of type $\\mathcal{F}$-$\\mathrm{F}_n$ only if the filtration is $\\pi_k$-$\\mathcal{F}$-essentially trivial for every $k<n$; conversely, if $X$ has $G$-finite 0-skeleton, this eventual vanishing of $\\pi_k$ on all fixed-point sets forces $G$ to be of type $\\mathcal{F}$-$\\mathrm{F}_n$. The converse is proved by induction, attaching equivariant cells to make every fixed-point set $(n-1)$-connected while keeping the orbit space compact. The same strategy reproves the Fluch--Witzel Brown criterion for $\\mathcal{F}$-$\\mathrm{FP}_n$ in Bredon homology, and the paper uses the criterion to show that finite extensions preserve $\\mathcal{F}$-$\\mathrm{F}_n$ under certain conditions on the family and to recover L\\\"uck's theorem that $G$ is $\\underline{\\mathrm{F}}_n$ if and only if $G$ is $\\underline{\\mathrm{F}}_0$ and every normalizer $N_G(H)$ of a finite subgroup $H$ is $\\underline{\\mathrm{F}}_n$.","pith_inferences":["The criterion suggests a computational route to $\\mathcal{F}$-$\\mathrm{F}_n$ for groups acting on CAT(0) buildings: because fixed-point sets of isotropy subgroups are convex, their homotopy groups may be readable from the building combinatorics, making the essential-triviality condition checkable in practice.","The unproved generation claim in Step 2 may be replaceable: what the induction really needs is that $H_2^{\\mathcal{F}}(Z_3)$ is finitely generated as an $\\mathcal{O}_{\\mathcal{F}}G$-module, and finite generation might survive even if the specific sphere-orbit maps are not jointly surjective.","Applying Corollary 5.1 to Abels's groups with the family generated by building isotropy would give an exact $\\mathcal{F}$-$\\mathrm{F}_r$ threshold whenever $\\mathcal{F}$-$\\mathrm{F}_0$ holds, a question the paper explicitly leaves open."],"forward_implications":["Checking $\\mathcal{F}$-$\\mathrm{F}_n$ reduces to eventual vanishing of homotopy groups on fixed-point sets in a filtration, so no explicit compact model needs to be built.","For families satisfying the ascending chain condition and finite generation by maximal elements, finiteness properties $\\mathcal{F}$-$\\mathrm{F}_n$ are inherited by supergroups of finite index, in contrast to the Leary--Nucinkis examples.","L\\\"uck's theorem for the family of finite subgroups follows as a corollary: $G$ is $\\underline{\\mathrm{F}}_n$ if and only if $G$ is $\\underline{\\mathrm{F}}_0$ and every normalizer $N_G(H)$ with $H$ finite is $\\underline{\\mathrm{F}}_n$.","Corollary 5.1 gives a failure test: if a filtration of an $\\mathcal{F}$-$n$-good complex adds positive numbers of $n$-cell orbits at each sufficiently large stage, then $G$ is $\\mathcal{F}$-$\\mathrm{F}_{n-1}$ but not $\\mathcal{F}$-$\\mathrm{F}_n$ for $n\\geq 3$.","The same machinery reproves the Fluch--Witzel Brown criterion for $\\mathcal{F}$-$\\mathrm{FP}_n$ in Bredon homology, showing the topological and algebraic criteria fit together."],"supporting_citations":[{"why":"Brown's original criterion for $\\mathrm{FP}_n$ and Corollary 3.3, the model that Theorem 1.2 adapts to $\\mathcal{F}$-$\\mathrm{F}_n$.","marker":"[3]"},{"why":"Drutu and Kapovich's Brown criterion for $\\mathrm{F}_n$ via the Rips complex, whose strategy the paper follows.","marker":"[5]"},{"why":"Fluch and Witzel's Brown criterion for $\\mathcal{F}$-$\\mathrm{FP}_n$ in Bredon homology, the algebraic counterpart reproved in Section 4.3.","marker":"[6]"},{"why":"Haefliger's construction of classifying spaces for families, the origin of the cell-replacement machinery used in Corollary 2.4.","marker":"[7]"},{"why":"Leary and Nucinkis examples showing finiteness properties can fail under finite extensions, the contrast behind Corollary 1.5.","marker":"[9]"},{"why":"L\\\"uck's characterization of $\\underline{\\mathrm{F}}_n$ via Weyl groups, recovered here as Corollary 1.6.","marker":"[11]"},{"why":"Witzel's analysis of Abels's groups, which supplies the applications and the open question in Section 5.","marker":"[12]"}],"fun_headline_variants":["Finite classifying spaces from vanishing homotopy","Homotopy vanishing characterizes F-n finiteness","Brown's criterion for families via homotopy","F-n finiteness from eventual homotopy vanishing","Classifying spaces: homotopy vanishing criterion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the assertion in Step 2 of the three-dimensional induction that finitely many equivariant 2-spheres $S^2\\times G/K_i$ generate the Bredon homology module $H_2^{\\mathcal{F}}(Z_3)$, a fact the paper sketches but does not fully prove; if that generation fails, the constructed $Y_3$ is not a $G$-witness and the converse of Theorem 1.2 collapses.","fun_headline_variants_meta":{"raw":{"variants":["Finite classifying spaces from vanishing homotopy","Homotopy vanishing characterizes F-n finiteness","Brown's criterion for families via homotopy","F-n finiteness from eventual homotopy vanishing","Classifying spaces: homotopy vanishing criterion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000634,"raw_usage":{"total_tokens":2975,"prompt_tokens":1042,"completion_tokens":1933,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":658,"completion_tokens_details":{"reasoning_tokens":1861}},"tokens_in":658,"tokens_out":1933,"duration_ms":14584,"temperature":1.0,"reasoning_tokens":1861,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:12:10.819899+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $H_2^{\\mathcal{F}}(Z_3)$ for the complex built in Section 4.1 for a concrete group and family, and check whether the maps $\\mathbb{Z}[- ,G/K_i] \\to H_2^{\\mathcal{F}}(Z_3)$ from the finitely many sphere orbits are jointly surjective; a counterexample would break the induction. Alternatively, search for an $\\mathcal{F}$-3-good $X$ with $G$-finite 0-skeleton and a finite-type filtration that is $\\pi_k$-$\\mathcal{F}$-essentially trivial for $k<3$ yet admits no compact three-dimensional witness.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Brown's original criterion for $\\mathrm{FP}_n$ and Corollary 3.3, the model that Theorem 1.2 adapts to $\\mathcal{F}$-$\\mathrm{F}_n$."},{"cited_title":"Geometric group theory , volume 63 of American Mathematical Society Colloquium Publications","cited_arxiv_id":null,"evidence_quote":"Drutu and Kapovich's Brown criterion for $\\mathrm{F}_n$ via the Rips complex, whose strategy the paper follows."},{"cited_title":"Fluch and Stefan Witzel","cited_arxiv_id":null,"evidence_quote":"Fluch and Witzel's Brown criterion for $\\mathcal{F}$-$\\mathrm{FP}_n$ in Bredon homology, the algebraic counterpart reproved in Section 4.3."},{"cited_title":"Extension of complexes of groups","cited_arxiv_id":null,"evidence_quote":"Haefliger's construction of classifying spaces for families, the origin of the cell-replacement machinery used in Corollary 2.4."},{"cited_title":"Leary and Brita E","cited_arxiv_id":null,"evidence_quote":"Leary and Nucinkis examples showing finiteness properties can fail under finite extensions, the contrast behind Corollary 1.5."},{"cited_title":"The type of the classifying space for a f amily of subgroups","cited_arxiv_id":null,"evidence_quote":"L\\\"uck's characterization of $\\underline{\\mathrm{F}}_n$ via Weyl groups, recovered here as Corollary 1.6."},{"cited_title":"Abels’s groups revisited","cited_arxiv_id":null,"evidence_quote":"Witzel's analysis of Abels's groups, which supplies the applications and the open question in Section 5."}],"review_version":1}