Pith. sign in

REVIEW 2 major objections 4 minor 12 references

Geometric invariants of locally compact groups: the homological perspective

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper defines a new homological Sigma-invariant for locally compact Hausdorff groups that recovers the classical Sigma-invariant for discrete groups and characterizes membership through finitely modeled chain endomorphisms.

desk verdict A serious and mostly careful homological Sigma-theory for locally compact groups, but the composition of finitely modeled maps in Theorem 8.7 needs a missing closure lemma before the main criteria are fully solid. read the letter →

arxiv 2411.13272 v2 pith:DW2LGJ77 submitted 2024-11-20 math.AT math.GRmath.MG

Kai-Uwe Bux , Elisa Hartmann , José Pedro Quintanilha This is my paper · ORCID
classification math.ATmath.GRmath.MG MSC 20J0520F6522D05
keywords Sigma-invariantslocallycompactgroupstypeCP_mhomologicalfinitenessVietoris-Ripscomplexvaluationschainendomorphismsgroupextensions
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

This paper develops the homological $\Sigma$-theory for locally compact Hausdorff groups, defining invariants $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ that measure, in a given direction such as a character $\chi\colon G\to\mathbb R$, whether $G$ is of homological type $\mathrm{CP}_m$ along that direction. The main theorems give concrete criteria: a nonzero character lies in $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ exactly when there are finitely modeled chain endomorphisms of the Vietoris–Rips chain complexes that raise the $\chi$-valuation by arbitrarily large amounts, and a single such character detects type $\mathrm{CP}_m$. For discrete groups of type $\mathrm{FP}_m$, the new invariant agrees with the classical $\Sigma^m(G;\mathbb Z)$, so the construction genuinely extends the classical theory. A Hurewicz-type comparison with the homotopical locally compact invariant, transfer theorems for group extensions, and a criterion for closed normal subgroups with abelian quotient complete the picture.

What carries the argument

The machine carrying the argument is the Vietoris–Rips filtration $\mathrm{VR}_k(G)$ of the free simplicial set on a locally compact group $G$, whose simplicial chain complexes $C_*(\mathrm{VR}_k(G))$ filter the standard free resolution of $\mathbb Z$ over $G$. For a character $\chi$, the valuation $v$ on chains assigns to a simplex the minimum of $\chi$ on its vertices, so the sublevel set $\{v\ge0\}$ is exactly the chain complex of $\mathrm{VR}_k(G_\chi)$. The key technical notion is a finitely modeled chain endomorphism: a $\mathbb ZG$-chain map extending the identity whose values on generating simplices are constrained by finitely many connected, nondegenerate (and in high dimensions, centric) shapes, with the image under the map being $G$-finite. This finiteness condition replaces the finite generation that is automatic in the discrete case and gives the theory its locally compact character.

What would settle it

Compute $\Sigma^2_{\mathrm{top}}(G;\mathbb Z)$ for the discrete group $G=\mathrm{BS}(2,3)=\langle a,b\mid b^{-1}a^2b=a^3\rangle$ directly from Definition 5.1 (where compact subsets are finite) and compare with the known classical $\Sigma^2(G;\mathbb Z)$; any disagreement would refute Theorem D, and the same computation tests whether the finitely modeled chain endomorphism criterion of Theorem F reproduces the same invariant.

Watch

Extended reading notes

Core claim

The central discovery is that the homological invariant $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ of a locally compact Hausdorff group is the correct directional refinement of type $\mathrm{CP}_m$, and that it admits a purely algebraic characterization in terms of chain endomorphisms. Theorem F states that for a group of type $\mathrm{CP}_m$ with a nonzero character $\chi$, one has $\chi\in\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ if and only if for every sufficiently large $k$ there is a finitely modeled $\mathbb ZG$-chain endomorphism of the $m$-skeleton of the Vietoris–Rips complex extending the identity on $\mathbb Z$ and raising the valuation by at least $K$ for every prescribed $K$. Theorem D shows equality with the classical $\Sigma^m(G;\mathbb Z)$ for discrete groups of type $\mathrm{FP}_m$. Theorem C relates the homological and homotopical invariants by $\Sigma^m_{\mathrm{top}}(G)=\Sigma^2_{\mathrm{top}}(G)\cap\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ for $m\ge2$ and by equality for $m=1$. Theorems J and K provide transfer results for short exact sequences $N\to G\to Q$ and for abelian quotients respectively.

Load-bearing premise

The load-bearing premise is that the companion paper's homotopical machinery is correct and that the newly introduced finitely modeled condition is the right finiteness notion for locally compact groups.

Editorial extensions

If this is right

  • For discrete groups of type $\mathrm{FP}_m$, the equality $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)=\Sigma^m(G;\mathbb Z)$ means every existing computation of classical Sigma-invariants also computes the new invariant.
  • The chain-endomorphism criterion of Theorem F reduces the question of membership in $\Sigma^m_{\mathrm{top}}$ to constructing explicit maps that raise valuations, giving a practical route for concrete locally compact groups such as semidirect products.
  • The Hurewicz-type Theorem C shows that the homotopical invariant is determined by the homological one together with the second homotopical layer, for $m\ge2$.
  • Theorem J supplies transfer tools for group extensions, letting one pull membership back from a quotient when the kernel is of type $\mathrm{CP}_m$ and push it forward when the kernel is of type $\mathrm{CP}_{m-1}$.
  • Theorem K provides a new criterion: a closed normal subgroup with abelian quotient is of type $\mathrm{CP}_m$ whenever all characters vanishing on the subgroup already lie in $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$.

Reading between the lines

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

  • If the finitely modeled condition is the correct finiteness notion, the analogous criterion should also exist for the homotopical invariant, unifying the two versions through the Hurewicz-type comparison.
  • The valuation-raising chain endomorphisms resemble the moving maps of classical Sigma-theory and may admit a coarse-geometric reformulation as coarse maps of $G_\chi$ pushing points far in the $\chi$-direction.
  • Theorems J and K could be iterated to compute $\Sigma^m_{\mathrm{top}}$ for solvable locally compact groups built from abelian extensions, paralleling the classical treatment of metabelian groups.
  • Because $\Sigma^m_{\mathrm{top}}(G;\mathbb Z)$ is a cone over an open set in $\operatorname{Hom}_{\mathrm{TopGr}}(G,\mathbb R)$, the invariant is determined by an open subset of the character sphere, and the criteria in the paper are designed to make that subset computable.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops a homological Sigma-invariant for locally compact Hausdorff groups, denoted Sigma^m_top(G;Z), using the filtration of the standard free resolution by Vietoris-Rips complexes. It proves that 0 belongs to the invariant exactly when G is of type CP_m, establishes a Hurewicz-type comparison with the homotopical invariant from the companion paper [BHQ24], recovers the classical Sigma^m(G;Z) for discrete groups of type FP_m, and gives criteria for membership in terms of 'finitely modeled' chain endomorphisms that raise a character valuation. It then proves openness of the invariant and several extension theorems for short exact sequences, including the abelian-quotient criterion for kernels of type CP_m.

Significance. These are substantial new results: if correct, they establish the expected homological Sigma-theory for locally compact groups, with Theorem D tying the new invariant to classical Bieri-Neumann-Strebel-Renz theory and Theorems F and G giving concrete chain-endomorphism criteria. The paper is not programmatic: it contains detailed constructive proofs, especially the compactness argument that produces finitely modeled chain maps in Theorems 8.4 and 8.6, and it is explicit about the companion-paper dependency. The main risk is that the newly introduced 'finitely modeled' condition is used under compositions in the central criteria, yet no closure lemma for that class is proved. The overall framework and theorems are plausible, but this missing step is load-bearing.

major comments (2)
  1. [Section 8, definition of 'finitely modeled'; Theorem 8.7] The proof of Theorem 8.7 composes finitely modeled chain endomorphisms in several places, e.g. iota_lk composed with phi_{k,*}, mu_{l,*} composed with phi_l^{circ i+1} composed with iota_kl, and phi_*^{circ i+1} composed with mu_*, and asserts without proof that the resulting maps are again finitely modeled. No lemma states that the class of finitely modeled chain maps is closed under composition, pre-composition with inclusions, or post-composition with inclusions. This is not automatic: for q=1 the definition requires the output on a basis simplex to have one of finitely many connected shapes; for q>=2 the definition requires a decomposition compatible with the connected components of epsilon_{q-1} partial_q(sigma), and under composition those components can split or merge. The G-finite difference condition is likewise not shown to be stable. Since Theorems 8.6, 8.7, F, and G rely on these composites as witnesses, this is an unverified load-bearing step. The authors should add a closure lemma (or modify the definition/construction so that closure is evident) before the main equivalences can be accepted.
  2. [Theorem 8.6, implication 3 implies 1] The proof of condition 3 implies condition 1 fixes a single chain endomorphism phi on C_*(VR_{eK}(G)), but then applies phi to chains in VR_{l1}(G) and uses a chain homotopy on C_{m-1}(VR_k(G)); the text says 'we assume that phi_{l2}, phi_{l1}, phi_k match when restricted and denote all of them by phi.' No argument is given that the family of endomorphisms supplied by condition 3 is compatible under restriction or that the index eK can be chosen after l1 and l2 are chosen. Since condition 3 provides a map for every sufficiently large index, this may be repairable, but as written the index choices and restriction procedure are not demonstrated, and this direction is needed for Theorem F.
minor comments (4)
  1. [Section 1, Theorem G] The statement of Theorem G says 'there exists k >= 0 such that' but the proof and the surrounding text indicate that the intended meaning is 'there exists k such that for all sufficiently large indices the equivalence holds', or at least that k is the index associated to the homological connecting vector. Please clarify the quantifier order.
  2. [Section 5, Definition 5.1] The definition of Sigma^1_top(G;R) uses 'for some c >= 0' but does not specify that c must be large enough or that the homology group is computed for the chain complex R[Delta^q_c cap (G_chi)^{q+1}]. This is a minor clarity issue, as the intended meaning is clear from context.
  3. [Section 8, Lemma 8.1] In the proof of Lemma 8.1(3), the induction step replaces vertices x0 and x1 by new vertices y0 and y1. It should be explicitly stated that the new vertices are chosen outside the union of the supports of S and its boundary so that the replacement does not create accidental identifications.
  4. [Section 10, Theorem 10.4] In the proof of part 1, the construction of the chain homotopy lambda uses the phrase 'Without loss of generality m_{q-1} >= n_q'. The reason this lossless assumption is valid should be spelled out, since m_{q-1} and n_q are constructed separately.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation; the homological criteria are proved from an independent definition, with only a minor self-citation to the companion homotopical paper.

full rationale

The derivation chain is not circular. The homological invariant Sigma^m_top(G;Z) is defined independently in Definition 5.1 from essential triviality of homology of Vietoris-Rips complexes truncated by G_chi, and the Section 8 criteria (Theorems E, F, G, i.e. Theorems 8.4, 8.6, 8.7) are proved from that definition through constructive chain-endomorphism arguments and compactness, not by assuming the conclusion. Theorem D, comparing the new invariant with classical Sigma-theory, is proved via Theorem 7.6, a Bieri-Renz-type criterion, and is not a restatement of the definition. The main external input is the authors' companion homotopical paper [BHQ24], cited for homotopical facts such as Proposition 5.3, Lemma 6.1, and Proposition 5.5; this is a self-citation, but it concerns a different invariant and does not assume the homological claims under proof. There is no fitted parameter renamed as a prediction, no imported uniqueness theorem, and no ansatz smuggled in through a citation. The 'finitely modeled' condition is an explicitly imposed technical finiteness notion; the proofs establish its equivalence with the independent homological definition, so it is not self-definitional. A possible gap concerning closure of finitely modeled maps under composition in Theorem 8.7 would be a mathematical correctness concern, not a circularity, and is not counted as circular here. The modest self-citation dependence on [BHQ24] justifies a low nonzero score rather than zero, but the central homological theory is independently constructed.

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

All free parameters are absent. The central input assumptions are standard results from algebraic topology, the Abels-Tiemeyer framework for compactness properties, Morris' structure theorem for abelian locally compact groups, and the companion homotopical paper. No ad hoc axioms or invented objects.

assumptions (5)
  • standard math Standard algebraic topology and homological algebra background: simplicial chain complexes, Hurewicz theorem, Tor, flatness, Bieri-Eckmann criterion.
    Used throughout the paper without proof; this is normal background for the intended audience.
  • standard math [AT97, Lemma 1.1.3]: an ind-space whose homotopy groups are essentially trivial is ind-isomorphic to a sequence of (m-1)-connected spaces.
    Invoked in the proof of Theorem 6.2 to convert homotopy triviality to homology triviality via the Hurewicz theorem.
  • domain assumption Morris' structure theorem for locally compact abelian groups: Q is R^l x Z^n x compact.
    Used in Section 11 to reduce the abelian quotient to R^l x Z^n before applying compactness arguments.
  • domain assumption Homotopical theory of locally compact groups from the companion paper [BHQ24], including filtrations and characterizations of type C_m and Sigma^m_top.
    Imported as a black box in several places, e.g. Proposition 5.3 uses [BHQ24, Lemma 3.7], Lemma 6.1 uses [BHQ24, Corollary 5.4], Proposition 5.5 uses [BHQ24, Proposition 3.5].
  • standard math Classical Sigma-theory for discrete groups (Bieri-Renz valuations, type FP_m criteria).
    Used in Section 7 to prove Theorem D and to justify the comparison with discrete groups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometric invariants of locally compact groups: the homological perspective." pith.science (2026). https://pith.science/paper/DW2LGJ77

@misc{pith2026241113272,
  author       = {Pith},
  title        = {Pith review of: Geometric invariants of locally compact groups: the homological perspective},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DW2LGJ77}},
  note         = {Machine review of arXiv:2411.13272}
}
abstract

In this paper we develop the homological version of $\Sigma$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as directional versions of type $\mathrm{CP}_m$ and type $\mathrm{C}_m$, respectively. And classical $\Sigma$-theory is recovered if we equip an abstract group with the discrete topology. This paper provides criteria for type $\mathrm{CP}_m$ and homological locally compact $\Sigma^m$. Given a short exact sequence with kernel of type $\mathrm{CP}_m$, we can derive $\Sigma^m$ of the extension on the sphere that vanishes on the kernel from the quotient and likewise. Given a short exact sequence with abelian quotient, $\Sigma$-theory on the extension can tell if the kernel is of type $\mathrm{CP}_m$.

Figures

Figures reproduced from arXiv: 2411.13272 by the authors.

Figure 1
Figure 1. bound on ∥h∥ derived from the other parameters Since ∥π(z)∥ < a, we obtain for every x ∈ z (0): |χg(x)| = |⟨π(x), π(g)⟩| ∥π(g)∥ ≤ ∥π(x)∥ < a by the Cauchy–Schwarz inequality. So vg(z) > −a. The Lemma 8.3 implies that (ηi(f))(0) ⊆ f (0) ∪ (φi(f))(0) for every f ∈ Cm−1(VRl(G)). Thus, vg(ηi ◦ ∂m(c ′ )) ≥ min(vg(∂mc ′ ), vg(φi(∂mc ′ ))) = min(vg(z − ∂mc ′′), vg(φi(∂mc ′ ))) ≥ min(vg(z), vg(∂mc ′′), vg(φi(∂mc ′ )) > −a. … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 7 canonical work pages

  1. [1]

    Compactness properties of locally compact groups

    [AT97] H. Abels and A. Tiemeyer. “Compactness properties of locally compact groups”. In: Transform. Groups 2.2 (1997), pp. 119–135.issn: 1083-4362,1531- 586X. doi: 10 . 1007 / BF01235936. url: https : / / doi . org / 10 . 1007 / BF01235936. [Alm18] Kisnney Almeida. “The BNS-invariant for Artin groups of circuit rank 2”. In: J. Group Theory 21.2 (2018), pp...

    work page doi:10.1515/jgth-2017-0029 1997

  2. [4]

    The homological invariants for metabelian groups of finite Pr¨ ufer rank: a proof of the Σm-conjecture

    url: https : / / doi . org / 10 . 1016 / S0166 - 8641(99 ) 00170-4. [Mei96] Holger Meinert. “The homological invariants for metabelian groups of finite Pr¨ ufer rank: a proof of the Σm-conjecture”. In: Proc. London Math. Soc. (3) 72.2 (1996), pp. 385–424. issn: 0024-6115,1460-244X. doi: 10.1112/plms/ s3-72.2.385. url: https://doi.org/10.1112/plms/s3-72.2....

    doi:10.1112/plms/ 1996

  3. [5]

    Computer-assisted methods in Sigma-theory

    Troisi` eme ´ edition, corrig´ ee, S´ eminaire de G´ eom´ etrie Alg´ ebrique, 1960/61. Institut des Hautes ´Etudes Scientifiques, Paris, 1963, iv+143 pp. [Har24] Elisa Hartmann. “Computer-assisted methods in Sigma-theory”. In: arXiv e-prints, arXiv:2407.09264 (July 2024), arXiv:2407.09264. doi: 10.48550/ arXiv.2407.09264. arXiv: 2407.09264 [math.GR]. [Koc...

    work page Pith review arXiv doi:10.48550/arxiv.2407.09264 2004

  4. [6]

    Geometric invariants of locally compact groups: the homotopical perspective

    url: https://doi.org/10.1016/0022-4049(87)90015-6. [BHQ24] Kai-Uwe Bux, Elisa Hartmann, and Jos´ e Pedro Quintanilha. “Geometric invariants of locally compact groups: the homotopical perspective”. In:arXiv e-prints, arXiv:2410.19501 (Oct. 2024), arXiv:2410.19501. doi: 10.48550/ arXiv.2410.19501. arXiv: 2410.19501 [math.GR]. 43 [CH16] Yves Cornulier and Pi...

    work page Pith review arXiv doi:10.48550/arxiv.2410.19501

  5. [7]

    2001, pp

    Geometric topology and geometric group theory (Milwaukee, WI, 1997). 2001, pp. 71–81. doi: 10 . 1016 / S0166 - 8641(99 ) 00170 -

    work page 1997

  6. [8]

    [Mor77] Sidney A

    url: https : //doi.org/10.1016/S0022-4049(96)00030-8. [Mor77] Sidney A. Morris. Pontryagin duality and the structure of locally compact abelian groups . Vol. No

    work page doi:10.1016/s0022-4049(96)00030-8

  7. [10]

    On the Σ-invariants of Artin groups

    1016/j.jalgebra.2004.08.018 . url: https://doi.org/10.1016/j. jalgebra.2004.08.018. [MMV01] John Meier, Holger Meinert, and Leonard VanWyk. “On the Σ-invariants of Artin groups”. In: vol

    doi:10.1016/j 2004

  8. [25]

    Winner of the 2016 EMS Monograph Award

    EMS Tracts in Mathematics. Winner of the 2016 EMS Monograph Award. European Mathematical Society (EMS), Z¨ urich, 2016, pp. viii+235. isbn: 978-3-03719-166-8. doi: 10.4171/166. url: http://dx. doi.org/10.4171/166. [Gro63] Alexander Grothendieck. Revˆ etements ´ etales et groupe fondamental. Fasc. I: Expos´ es 1 ` a

    doi:10.4171/166 2016

Show all 12 references
  1. [29]

    Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen

    London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge-New York-Melbourne, 1977, pp. viii+128. [Ren88] Burkhard Renz. “Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen”. Dissertation, available from the author’s website https :...

    1977

  2. [31]

    American Mathematical Society, Providence, RI, 2003, pp

    University Lecture Series. American Mathematical Society, Providence, RI, 2003, pp. viii+175. isbn: 0-8218-3332-4. doi: 10.1090/ulect/031 . url: http://dx.doi.org/10. 1090/ulect/031. [Ros22] Christian Rosendal. Coarse geometry of topological groups . Vol

    2003 doi

  3. [44]

    1987, pp. 45–75. doi: 10 . 1016 / 0022 - 4049(87 ) 90015 -

    1987

  4. [214]

    arXiv: 1204.0214 [math.GR]. Kai-Uwe Bux , Fakult¨ at f¨ ur Mathematik, Universit¨ at Bielefeld, Postfach 100131, Universit¨ atsstraße 25, D-33501 Bielefeld, Germany E-mail: bux@math.uni-bielefeld.de 44 Elisa Hartmann, Fakult¨ at f¨ ur Mathematik, Universit¨ at Bielefeld, Postf...

    arXiv

Pith tools

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