REVIEW 1 major objections 6 minor 12 references
Brown's Criterion and classifying spaces for families
T0 review · 1 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Finiteness of classifying spaces from vanishing homotopy groups
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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$.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (1)
- [§4.1, Step 2 of the i=3 induction] 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.
minor comments (6)
- [Corollary 1.6 proof] 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.
- [Corollary 1.6 proof] 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.
- [Corollary 5.1 proof] 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.
- [Corollary 5.1 proof] 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.
- [§4.1, Step 2 diagram] 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.
- [§2.1, Proposition 2.1] There is a typo: 'there there exists' should be 'there exists'.
Circularity Check
No significant circularity: the paper proves its criterion from standard classifying-space and Bredon-homology machinery, and the recovery of Lück's theorem is an application, not an input.
full rationale
The derivation of Theorem 1.2 is self-contained relative to its stated ingredients. The forward direction (1)⇒(2) uses a G-witness for F-F_n together with Proposition 2.1 to show that inclusions in the filtration induce trivial maps on homotopy groups; the converse constructs G-witnesses by induction. Neither direction assumes the theorem being proved. The Haefliger construction is cited to Lück, but it is used as a geometric construction for replacing a complex by one with isotropy in F, not as the target finiteness characterization. Corollary 1.6 recovers Lück's theorem from the main criterion; it is not used to prove it. There are no fitted parameters, no reported predictions that reduce to inputs, and no load-bearing chain of self-citations. The paper's own admission in Section 4.1, Step 2, that finite generation of H_2^F(Z_3) is only sketched ('We provide an sketch of this fact and leave details to the reader') indicates a possible completeness or rigor gap in the induction, but a proof gap is not circularity: the asserted Bredon-homology generation is an intermediate mathematical claim, not a restatement of the theorem's conclusion. Accordingly, no circular step can be exhibited from the text, and the correct finding is no significant circularity.
Assumptions & free parameters
assumptions (6)
- standard math G-CW complexes admit equivariant cellular approximation and the classification of G-maps up to homotopy.
- standard math The Haefliger construction for families, cited as Theorem 2.3 from Lück's work.
- standard math Hurewicz theorem applied to simply connected fixed-point spaces.
- standard math Bredon cellular chain complexes and finiteness of free O_F G-modules.
- standard math Zorn's lemma is used to obtain maximal systems of contracting trees.
- domain assumption Families of subgroups are closed under conjugation and under subgroups.
Cite this review
Pith. "Pith review of Brown's Criterion and classifying spaces for families." pith.science (2026). https://pith.science/paper/PJRSP7XO
@misc{pith2026190805543,
author = {Pith},
title = {Pith review of: Brown's Criterion and classifying spaces for families},
year = {2026},
howpublished = {\url{https://pith.science/paper/PJRSP7XO}},
note = {Machine review of arXiv:1908.05543}
}
abstract
Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model for $E_\mathcal{F} G$ with $n$-skeleton with compact orbit space. The main result of the article provides is a characterization of $\mathcal{F}\text{-}\mathrm{F}_{n}$ analogue to Brown's criterion for $\mathrm{FP}_n$. As applications we provide criteria for this type of finiteness properties with respect to families to be preserved by finite extensions, a result that contrast with examples of Leary and Nucinkis. We also recover L\"uck's characterization of property $\underline{\mathrm{F}}_n$ in terms of the finiteness properties of the Weyl groups.
Reference graph
Works this paper leans on
-
[1]
Herbert Abels and Kenneth S. Brown. Finiteness properti es of solvable S-arithmetic groups: an example. In Proceedings of the Northwestern conference on cohomology o f groups (Evanston, Ill., 1985), J. Pure Appl. Algebra , volume 44, pages 77–83, 1987
work page 1985
-
[2]
Glen E. Bredon. Equivariant cohomology theories . Lecture Notes in Mathematics, No. 34. Springer-Verlag, Berlin-New York, 1967
work page 1967
-
[3]
Kenneth S. Brown. Finiteness properties of groups. In Proceedings of the Northwestern con- ference on cohomology of groups (Evanston, Ill., 1985), J. P ure Appl. Algebra , volume 44, pages 45–75, 1987
work page 1985
-
[4]
Kenneth S. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1 982 original
work page 1994
-
[5]
Geometric group theory , volume 63 of American Mathematical Society Colloquium Publications
Cornelia Drut ¸u and Michael Kapovich. Geometric group theory , volume 63 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2018. With an appendix by Bogdan Nica
work page 2018
-
[6]
Martin G. Fluch and Stefan Witzel. Brown’s criterion in B redon homology. Homology Ho- motopy Appl. , 15(2):153–162, 2013
work page 2013
-
[7]
Extension of complexes of groups
Andr´ e Haefliger. Extension of complexes of groups. Ann. Inst. Fourier (Grenoble) , 42(1- 2):275–311, 1992
work page 1992
-
[8]
P. H. Kropholler, C. Mart ´ ınez-P´ erez, and B. E. A. Nucinkis. Cohomological finiteness condi- tions for elementary amenable groups. J. Reine Angew. Math. , 637:49–62, 2009
work page 2009
Show all 12 references
-
[9]
Leary and Brita E
Ian J. Leary and Brita E. A. Nucinkis. Some groups of type V F . Invent. Math. , 151(1):135– 165, 2003
2003
-
[10]
Springer-Verlag, Berlin, 1989
W olfgang L¨ uck.Transformation groups and algebraic K-theory, volume 1408 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1989. Mathematica Gottingensi s
1989
-
[11]
The type of the classifying space for a f amily of subgroups
W olfgang L¨ uck. The type of the classifying space for a f amily of subgroups. J. Pure Appl. Algebra, 149(2):177–203, 2000
2000
-
[12]
Abels’s groups revisited
Stefan Witzel. Abels’s groups revisited. Algebr. Geom. Topol. , 13(6):3447–3467, 2013. Memorial University St. John’s, Newfoundland and Labrador, C anada E-mail address : eduardo.martinez@mun.ca Department of Mathematics, The Ohio State University, 100 Ma th Tower, 231 West 18...
2013
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.