Pith. sign in

REVIEW 1 major objections 3 minor 29 references

Finite dimensional amenable groups

T0 review · 1 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Finitely generated amenable groups of finite Assouad–Nagata dimension satisfy Shalom's property $H_{FD}$, so they virtually map onto $\mathbb{Z}$ and cannot be simple or torsion.

desk verdict Følner-couple diameter theorem is new and significant, but one repairable gap in the application of Lemma 3.2 blocks Theorem 3.1 as written. read the letter →

arxiv 2508.20296 v1 pith:6JGFILAN submitted 2025-08-27 math.GR math.MG

Anna Erschler , Ivan Mitrofanov This is my paper · ORCID
classification math.GRmath.MG MSC 05C1220F6520F6720F6920F18
keywords Assouad-NagatadimensionasymptoticamenablegroupsFølnercouplesShalom'spropertyH_FDcautiousrandomwalkssimpletorsion
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 proves that every finitely generated amenable group with finite Assouad–Nagata dimension satisfies Shalom's property $H_{FD}$, a statement about which unitary representations have nonzero reduced first cohomology. A known consequence of $H_{FD}$ is that such a group has a finite-index subgroup that maps onto the integers. That in turn rules out two long-suspected possibilities: an infinite amenable group of finite AN-dimension cannot be simple, and it cannot be a torsion group. The route to the theorem is geometric rather than algebraic: the authors show that finite asymptotic dimension forces the existence of Følner couples inside balls of controlled diameter, and controlled Følner couples are a known sufficient condition for $H_{FD}$. The proof is the first step in a planned series relating diameters of Følner sets to dimension invariants of groups.

What carries the argument

The load-bearing object is the Følner couple, a nested pair of finite sets $(F',F)$ with $F' \subset F$, $\#F \le C\#F'$, and distance from $F'$ to the complement of $F$ at least $n$, so that the inner set is deep inside the outer one. The new contribution is a construction of such couples in any finitely generated amenable group of finite asymptotic dimension: a right-invariant mean is used with a colored partition coming from the definition of asymptotic dimension, and Lemma 3.2 --- a mass-transport-style averaging argument over translation-equivalence classes --- shows some color class contains a part whose $n$-neighborhood has cardinality at most $(d+1)$ times the part itself. Taking that part as $F'_n$ and its $n$-neighborhood as $F_n$ yields a Følner couple of diameter $f(2n)+2n$. In the AN-dimension case $f$ is linear, which triggers a previously known chain: controlled Følner couples give small $l^2$-profile inside balls, small profile gives total cautiousness of simple random walks, and total cautiousness is a known sufficient condition for Shalom's $H_{FD}$.

What would settle it

Find an infinite finitely generated amenable group of finite AN-dimension that has no finite-index subgroup surjecting onto $\mathbb{Z}$; by Theorem A none exists, so such a group would refute the paper's main claim. The simplest candidate class to check is torsion groups, which Corollary 1.3 explicitly excludes.

Watch

Extended reading notes

Core claim

The central claim, Theorem A, is that a finitely generated amenable group of finite Assouad–Nagata dimension has Shalom's property $H_{FD}$: every unitary representation with non-zero reduced first cohomology admits a finite-dimensional subrepresentation. Since Shalom's theorem says an infinite finitely generated amenable group with $H_{FD}$ has a finite-index subgroup surjecting onto $\mathbb{Z}$, the paper derives that such groups cannot be simple and cannot be torsion. The engine behind the theorem is a new estimate on Følner couples: for a finitely generated amenable group of finite asymptotic dimension $d$ with control function $f$, there exist nested finite sets $F'_n \subset F_n$ with $\#F_n \le (d+1)\#F'_n$ and distance from $F'_n$ to the complement of $F_n$ at least $n$, inside a ball of radius at most $f(2n)+2n$. When AN-dimension is finite the control function is linear, so the couples are \emph{controlled} --- they live in balls of linear radius. The authors then connect controlled Følner couples to small $l^2$-profile, total cautiousness of simple random walks, and finally to $H_{FD}$ through previously established criteria.

Load-bearing premise

The proof of Theorem 3.1 relies on the step that a color class whose parts have total mean at least $1/(d+1)$ must contain a single part $A$ with $\#B(A,n) \le (d+1)\#A$; this follows from Lemma 3.2 only by a contrapositive argument that also uses the uniform finiteness of the parts, and the paper does not spell that argument out.

Editorial extensions

If this is right

  • Every infinite finitely generated amenable group of finite AN-dimension has a finite-index subgroup surjecting onto $\mathbb{Z}$, so it cannot be a counterexample to the virtual-Hopfian intuition for such groups.
  • There are no infinite simple groups among finitely generated amenable groups of finite AN-dimension.
  • There are no infinite torsion groups among finitely generated amenable groups of finite AN-dimension.
  • Any finitely generated amenable group of finite asymptotic dimension with control function $f$ admits Følner couples of diameter at most $f(2n)+2n$, extending Nowak's result from Følner sets to Følner couples.
  • The smallness conditions of Corollary 4.1 all hold: small $l^p$-profile inside balls, totally cautious simple random walks, return probability at least $\exp(-C n^{1/3})$, and diffusive drift.

Reading between the lines

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

  • The Følner-couple estimate of Theorem 3.1 needs only finite asymptotic dimension, not the stronger AN-dimension; whether sublinear control functions still yield useful cohomological consequences for amenable groups is a natural extension the paper does not pursue.
  • A concrete stress-test of the result would be to compute explicit Følner couples in a solvable group of finite AN-dimension, such as a solvable Baumslag–Solitar group, and compare the constant $d+1$ with the isoperimetric ratio; sharpness of this constant is not addressed.
  • If the paper's Question A has a positive answer, Theorem A would become one step toward a dimension-based proof that no amenable group of intermediate growth has finite AN-dimension, since such groups are not elementary amenable.
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.

Referee Report

1 major / 3 minor

Summary. The paper proves Theorem A: every finitely generated amenable group of finite Assouad-Nagata (AN) dimension satisfies Shalom's property H_FD. Since infinite amenable groups with H_FD admit a virtual homomorphism onto Z, the theorem implies that no infinite finitely generated amenable group of finite AN-dimension can be simple or torsion. The proof is based on new diameter estimates for Følner couples: Theorem 3.1 shows that a finitely generated amenable group of finite asymptotic dimension with control function f admits a sequence of Følner couples (F'_n,F_n) with C = d+1 and diam(F_n) ≤ f(2n)+2n. The paper also derives several smallness conditions for groups of finite AN-dimension, including diffusive random walks, large return probabilities, and total cautiousness, and it concludes with open questions about elementary amenability and dimensions of groups of intermediate growth.

Significance. If the proof is correct, this is a significant contribution to the study of Shalom's property H_FD and to the geometric theory of amenable groups. The theorem gives a clean geometric sufficient condition for H_FD, and the corollaries (no simple groups, no torsion groups among infinite amenable groups of finite AN-dimension) address natural questions that were previously open. The paper also strengthens Nowak's result on diameters of Følner sets to Følner couples, which is a useful technical advance. The exposition is clear, and the argument draws on published results of Erschler-Ozawa and Erschler-Zheng, which are appropriately cited. The main technical tool, Lemma 3.2, is an elegant mass-transport argument that is likely to be of independent interest.

major comments (1)
  1. [Section 3, proof of Theorem 3.1, after Lemma 3.2] The application of Lemma 3.2 to obtain a part A_alpha with #B(A_alpha,n) ≤ (d+1)#A_alpha is not justified as written. Lemma 3.2 assumes a fixed lambda > 0 such that #B_alpha ≥ lambda #A_alpha for every alpha, and its conclusion is an upper bound on the mean of the union of the A_alpha, not a bound on the ratio for an individual part. In the proof of Theorem 3.1, no such uniform lambda is known in advance, so the stated conclusion does not follow directly from the lemma. This gap is load-bearing because it is exactly the step that produces the Følner couple. The gap is repairable: if the inequality #B_alpha ≤ (d+1)#A_alpha failed for every alpha, then in each of the finitely many translation classes C_i one would have #B_alpha > (d+1)#A_alpha; using the equalities M_i^B = (b_i/a_i) M_i^A from the proof of Lemma 3.2, one obtains mu(union B_alpha) > (d+1) mu(union A_alpha) ≥ 1, contradicting mu(union B_alpha) ≤ 1. This weighted-averaging argument should be included in the proof.
minor comments (3)
  1. [Section 4, proof of Corollary 4.1(2)] The sentence 'Putting r_i = i we can conclude the total cautiousness' is not fully justified as written, because Lemma 4.5 of [12] as stated gives cautiousness along a subsequence. The authors note that the proof of that lemma yields total cautiousness when the l2-profile estimates hold for all r, but this should be spelled out more explicitly, for example by stating the uniform constant delta(c,C) in the displayed probability bound. Since cautiousness (without 'total') is already sufficient for H_FD via [11], this issue does not affect Theorem A, but the presentation should be corrected.
  2. [Section 3, proof of Lemma 3.2] In the last displayed estimate of the proof, the notation 'mu( 8ğ i=1 A_i)' is a typo; the union should be over i=1 to m, matching the preceding sums. Please correct this.
  3. [Throughout] There are a few typographical errors, such as 'reperesentations' in Section 2.2 and 'Dranishikov' in Section 2.1 (should be 'Dranishnikov'). These do not affect the mathematics.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 3.1 is self-contained, and the final implication rests on independent prior results.

full rationale

The derivation chain is: finite AN-dimension/asymptotic dimension yields controlled Følner couples (Theorem 3.1, proved from first principles using invariant means and partitions), then controlled Følner couples yield l2-profile bounds inside balls (Tessera [29]), then those bounds yield cautiousness ([12]), and cautiousness is a sufficient condition for Shalom's property H_FD ([11]). Theorem 3.1 does not assume H_FD or any part of the conclusion; its proof uses only amenability, finite asymptotic dimension, and Lemma 3.2. The disputed inference that some part satisfies #B(A_alpha,n) ≤ (d+1)#A_alpha is not directly the statement of Lemma 3.2, but it can be obtained by a short averaging argument over the finitely many equivalence classes in the proof of Lemma 3.2; this is an omitted, repairable step, not a circular reduction. The cited results [11] and [12] are peer-reviewed prior theorems whose stated assumptions (cautious random walks, controlled Følner couples, l2-profile estimates inside balls) do not include the target claim that amenable groups of finite AN-dimension satisfy H_FD, so they are independent support and do not make the argument circular. The paper's self-citations to [11] and [12] are load-bearing in the final step, but they are not unverified assumptions of the target result. The separate overclaim that setting r_i = i in Lemma 4.5 of [12] yields total cautiousness rather than cautiousness along a subsequence is a strength/gap issue, not a circularity. Hence no circular step can be exhibited.

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

No free parameters are fitted: the control function f(n) is part of the hypothesis. The axioms are standard results or published theorems from the literature. No new entities are introduced.

assumptions (7)
  • standard math Finitely generated amenable groups admit a right-invariant mean on all subsets
    Used in the proof of Theorem 3.1 and Lemma 3.2 to select the color and apply the mass-transport argument.
  • standard math The asymptotic dimension control function f(n) exists for the studied groups
    This is the definition of finite asymptotic dimension, which is assumed in Theorem 3.1.
  • domain assumption Erschler-Ozawa criterion: cautious random walks imply H_FD
    Cited as [11], used to pass from total cautiousness to H_FD in the proof of Theorem A.
  • domain assumption Erschler-Zheng Lemma 4.5: l2-profile estimates imply cautiousness
    Cited as [12], used in Corollary 4.1 and the proof of Theorem A.
  • standard math Shalom's Theorem 4.3.1: H_FD for amenable groups implies a virtual homomorphism to Z
    Cited as [24], used to derive the corollaries.
  • domain assumption Coulhon-Grigor'yan-Pittet Theorem 4.8: Følner couples give lower bounds for return probability
    Cited as [9], used for one of the smallness conclusions.
  • domain assumption Tessera Proposition 4.9: controlled Følner couples imply small l2-profile
    Cited as [29], part of the chain from Theorem 3.1 to H_FD.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite dimensional amenable groups." pith.science (2026). https://pith.science/paper/6JGFILAN

@misc{pith2026250820296,
  author       = {Pith},
  title        = {Pith review of: Finite dimensional amenable groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6JGFILAN}},
  note         = {Machine review of arXiv:2508.20296}
}
abstract

We show that an amenable group of finite Assouad-Nagata dimension satisfies the property $H_{FD}$ of Shalom. Such infinite groups are known to admit a virtual homomorphism onto $\mathbb{Z}$, and thus our result implies that an amenable group of finite $AN$-dimension cannot be a simple group. We can also conclude that an amenable group of finite $AN$-dimension cannot be a torsion group. Our proof is based on new estimates of diameters of F{\o}lner couples. We prove that any amenable group of finite $AN$-dimension admits F{\o}lner couples inside balls of linear diameter and more generally estimate the radius of the balls containing F{\o}lner couples in groups of finite asymptotic dimension. This result strengthens the result of Nowak about diameters of F{\o}lner sets.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 24 canonical work pages

  1. [12]

    Erschler and T

    A. Erschler and T. Zheng, Isoperimetric inequalities, shapes of Følner sets and groups with Shalom’s propertyHFD, Ann. Inst. Fourier (Grenoble) 70 (2020), no. 4, 1363–1402. MR4245575

    work page 2020

  2. [1]

    Assouad, Sur la distance de Nagata , C

    P. Assouad, Sur la distance de Nagata , C. R. Acad. Sci. Paris S ´er. I Math. 294 (1982), no. 1, 31–34 (French, with English summary). MR651069

    work page 1982

  3. [2]

    Bekka, P

    B. Bekka, P. de la Harpe, and A. Valette,Kazhdan’s property (T), New Mathematical Monographs, vol. 11, Cambridge University Press, Cambridge, 2008. MR2415834

    work page 2008

  4. [3]

    Bell and A

    G. Bell and A. Dranishnikov, Asymptotic dimension in Beãdlewo, Topology Proc. 38 (2011), 209–236. MR2725304

    work page 2011

  5. [4]

    Buyalo, A

    S. Buyalo, A. Dranishnikov, and V . Schroeder,Embedding of hyperbolic groups into products of binary trees, Invent. Math. 169 (2007), no. 1, 153–192, DOI 10.1007/s00222-007-0045-2. MR2308852

    doi:10.1007/s00222-007-0045-2 2007

  6. [5]

    Brieussel and T

    J. Brieussel and T. Zheng, Shalom’s property HFD and extensions by Z of locally finite groups, Israel J. Math. 230 (2019), no. 1, 45–70, DOI 10.1007/s11856-018-1818-6. MR3941140

    work page doi:10.1007/s11856-018-1818-6 2019

  7. [6]

    Brodskiy, J

    N. Brodskiy, J. Dydak, and U. Lang, Assouad-Nagata dimension of wreath products of groups, Canad. Math. Bull. 57 (2014), no. 2, 245–253, DOI 10.4153/CMB-2013-024-8. MR3194169

    work page doi:10.4153/cmb-2013-024-8 2014

  8. [7]

    Burger and Sh

    M. Burger and Sh. Mozes, Lattices in product of trees, Inst. Hautes ´Etudes Sci. Publ. Math.92 (2000), 151–194 (2001). MR1839489

    work page 2000

Show all 29 references
  1. [8]

    Chou, Elementary amenable groups, Illinois J

    Ch. Chou, Elementary amenable groups, Illinois J. Math. 24 (1980), no. 3, 396–407. MR0573475

    1980

  2. [9]

    Coulhon, A

    T. Coulhon, A. Grigor’yan, and C. Pittet, A geometric approach to on-diagonal heat kernel lower bounds on groups, Ann. Inst. Fourier (Grenoble)51 (2001), no. 6, 1763–1827 (English, with English and French summaries). MR1871289

    2001

  3. [10]

    Erschler and I

    A. Erschler and I. Mitrofanov, Assouad-Nagata dimension and gap for ordered metric spaces, Comment. Math. Helv. 98 (2023), no. 2, 217–260, DOI 10.4171/cmh/549. MR4638634

    2023 doi

  4. [11]

    Erschler and N

    A. Erschler and N. Ozawa, Finite-dimensional representations constructed from random walks , Comment. Math. Helv. 93 (2018), no. 3, 555–586, DOI 10.4171/CMH/444. MR3854902

    2018 doi

  5. [13]

    Theory Related Fields 182 (2022), no

    , Law of large numbers for the drift of the two-dimensional wreath product , Probab. Theory Related Fields 182 (2022), no. 3-4, 999–1033, DOI 10.1007/s00440-021-01098-6. MR4408508

    2022 doi

  6. [14]

    Gromov, Groups of polynomial growth and expanding maps , Inst

    M. Gromov, Groups of polynomial growth and expanding maps , Inst. Hautes ´Etudes Sci. Publ. Math. 53 (1981), 53–73. MR623534

    1981

  7. [15]

    R. I. Grigorchuk, Degrees of growth of finitely generated groups and the theory of invariant means, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 5, 939–985 (Russian). MR0764305

    1984

  8. [16]

    Grigorchuk, Milnor’s problem on the growth of groups and its consequences , Frontiers in complex dynamics, Princeton Math

    R.I. Grigorchuk, Milnor’s problem on the growth of groups and its consequences , Frontiers in complex dynamics, Princeton Math. Ser., vol. 51, Princeton Univ. Press, Princeton, NJ, 2014, pp. 705–773. MR3289926

    2014

  9. [17]

    Gromov, Asymptotic invariants of infinite groups, Geometric group theory, V ol

    M. Gromov, Asymptotic invariants of infinite groups, Geometric group theory, V ol. 2 (Sussex, 1991), London Math. Soc. Lecture Note Ser., vol. 182, Cambridge Univ. Press, Cambridge, 1993, pp. 1–295. MR1253544

    1991

  10. [18]

    Higes and I

    J. Higes and I. Peng, Assouad-Nagata dimension of connected Lie groups , Math. Z. 273 (2013), no. 1-2, 283–302, DOI 10.1007/s00209-012-1004-1. MR3010160

    2013 doi

  11. [19]

    Hutchcroft, Small ball estimates for random walks on groups (2024), preprint, arXiv:2406.17587

    T. Hutchcroft, Small ball estimates for random walks on groups (2024), preprint, arXiv:2406.17587

    2024 arXiv

  12. [20]

    Kleiner, A new proof of Gromov’s theorem on groups of polynomial growth, J

    B. Kleiner, A new proof of Gromov’s theorem on groups of polynomial growth, J. Amer. Math. Soc. 23 (2010), no. 3, 815–829, DOI 10.1090/S0894-0347-09-00658-4. MR2629989

    2010 doi

  13. [21]

    Nekrashevych, Palindromic subshifts and simple periodic groups of intermediate growth, Ann

    V . Nekrashevych, Palindromic subshifts and simple periodic groups of intermediate growth, Ann. of Math. (2) 187 (2018), no. 3, 667–719, DOI 10.4007/annals.2018.187.3.2. MR3779956

    2018 doi

  14. [22]

    Ozawa, A functional analysis proof of Gromov’s polynomial growth theorem, Ann

    N. Ozawa, A functional analysis proof of Gromov’s polynomial growth theorem, Ann. Sci. ´Ec. Norm. Sup´er. (4) 51 (2018), no. 3, 549–556, DOI 10.24033/asens.2360 (English, with English and French summaries). MR3831031

    2018 doi

  15. [23]

    Peres and T

    Y . Peres and T. Zheng, On groups, slow heat kernel decay yields Liouville property and sharp entropy bounds , Int. Math. Res. Not. IMRN 3 (2020), 722–750, DOI 10.1093/imrn/rny034. MR4073931

    2020 doi

  16. [24]

    Shalom, Harmonic analysis, cohomology, and the large-scale geometry of amenable groups , Acta Math

    Y . Shalom, Harmonic analysis, cohomology, and the large-scale geometry of amenable groups , Acta Math. 192 (2004), no. 2, 119–185, DOI 10.1007/BF02392739. MR2096453

    2004 doi

  17. [25]

    Smith, The asymptotic dimension of the first Grigorchuk group is infinity , Rev

    J. Smith, The asymptotic dimension of the first Grigorchuk group is infinity , Rev. Mat. Complut. 20 (2007), no. 1, 119–121. MR2310581

    2007

  18. [26]

    Lang and Th

    U. Lang and Th. Schlichenmaier, Nagata dimension, quasisymmetric embeddings, and Lipschitz extensions , Int. Math. Res. Not. 58 (2005), 3625–3655, DOI 10.1155/IMRN.2005.3625. MR2200122

    2005

  19. [27]

    Nagata, Note on dimension theory for metric spaces, Fund

    J. Nagata, Note on dimension theory for metric spaces, Fund. Math. 45 (1958), 143–181, DOI 10.4064/fm-45-1-143-

    1958 doi

  20. [28]

    P. W. Nowak, On exactness and isoperimetric profiles of discrete groups, J. Funct. Anal. 243 (2007), no. 1, 323–344, DOI 10.1016/j.jfa.2006.10.011. MR2291440

    2007 doi

  21. [29]

    Tessera, Asymptotic isoperimetry on groups and uniform embeddings into Banach spaces, Comment

    R. Tessera, Asymptotic isoperimetry on groups and uniform embeddings into Banach spaces, Comment. Math. Helv. 86 (2011), no. 3, 499–535, DOI 10.4171/CMH/232. MR2803851 A.E.: C.N.R.S., LPSM, S ORBONNE UNIVERSITY , CNRS, P ARIS , FRANCE Email address: anna.erschler@sorbonne-univ...

    2011 doi

Pith tools

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