REVIEW 3 major objections 4 minor 1 cited by
Commensurating actions and self-similar groups
T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read The Sierpiński carpet group is the first infinite finitely generated amenable group with Property FW.
desk verdict First amenable FW group, built on a genuinely useful structural theory, but the Section 6 application rests on unshown finite computations that should be supplied before the flagship example is taken as fully verified. 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 load-bearing objects are the graph of germs $\tilde{\Gamma}_\xi$ at a boundary point $\xi$, defined as the Schreier graph of the coset space $G/G^0_\xi$ where $G^0_\xi$ is the germ stabilizer (elements fixing a neighborhood of $\xi$ pointwise), and the limit $G$-space $X_G$, a locally compact space with proper co-compact right $G$-action that uniformizes the limit space $J_G$. Theorem 5.15 establishes the equality of three numbers: the supremum of ends of graphs of germs, the supremum of $|\pi_0(\tilde{L}_\xi \setminus \{\zeta\})|$ over germ-leaves, and the supremum of local degrees of points of $X_G$. The proof transfers paths between the graphs $\Xi_n$ and the adjacency graphs of tiles of $X_G$, using the contraction property through the nucleus and Lemma 5.6.
What would settle it
A concrete observation: if one could exhibit a non-trivial commensurated subset $A$ of a transitive $G$-set for the Sierpiński carpet group $G$ that is not transfixed, or a proper cardinal-definite function on $G$, the main theorem would be false. More directly, a computer search could verify the asserted contraction check: for every triple of pairwise distinct generators $h_1,h_2,h_3$, the sections $(\langle h_1,h_2 \rangle \cdot h_3)|_x$ must lie in the 41-element set $N$, and one must check that $\mathrm{RiSt}(1)=G^X$ and that $\mathrm{RiSt}(v)'$ has finite index in $\mathrm{RiSt}(v)$ for every vertex $v$. If any of these checks fails, $G$ is not a contracting branch j
Extended reading notes
Core claim
The central discovery is that for a finitely generated contracting self-replicating branch group $G$ acting on a rooted tree, the existence of non-trivial commensurating actions—equivalently, of multi-ended Schreier graphs—is completely controlled by the local topology of the limit $G$-space $X_G$. Theorem A shows that any faithful transitive action of a branch group with finite groups of germs that has more than one end must have point stabilizer commensurable with the stabilizer of a boundary point, and its number of ends is bounded above by that of the graph of germs at that point. Theorem B equates the supremum of the numbers of ends of graphs of germs with the supremum of local degrees of $X_G$.
Load-bearing premise
The entire application to the Sierpiński carpet group rests on the asserted direct computations that the group defined by the wreath recursion is contracting with a 41-element nucleus, branch, and just-infinite (Propositions 6.2 and 6.4 state these as 'checked directly' without exhibiting the full verification); if any of these checks fails, the group would not satisfy the hypotheses of Corollary C and the Property FW conclusion would not follow.
Editorial extensions
If this is right
- The Sierpiński carpet group is the first infinite finitely generated amenable group with Property FW, resolving an open question about whether amenability is compatible with the strongest cubical fixed-point property.
- For any finitely generated contracting self-replicating branch group, Property FW is now characterized: it holds exactly when the group is just-infinite and its limit G-space has no local cut point.
- No contracting self-replicating regular branch group has Property PW; in particular, the Grigorchuk group does not admit a proper commensurating action, answering a question in the literature.
- For iterated monodromy groups of post-critically finite rational maps, the orbital graphs and graphs of germs are one-ended exactly when the Julia set is the whole sphere or a Sierpiński carpet (Corollary 5.22).
- Cardinal-definite functions on such groups have a rigid form: they lie at bounded distance from sums of graph-of-germs functions and absolute values of virtual homomorphisms, and for regular branch groups they are dominated by the section word length, precluding properness.
Reading between the lines
- The criterion suggests a general strategy for finding more amenable groups with Property FW: take a contracting self-replicating group whose limit space is homeomorphic to a Sierpiński carpet (or at least has no local cut points) and then verify, by whatever means, that the group is branch and just-infinite; the present paper does this for one example, but many more may be constructible from ratio
- The equality between numbers of ends of graphs of germs and local degrees of the limit space gives a computational route: one could approximate or compute the local degree of X_G directly from the nucleus of the group, potentially yielding a machine-checkable test for Property FW in other examples.
- The non-PW result for regular branch groups indicates that the gap between the Haagerup property and Property PW is particularly wide inside the class of contracting self-similar groups; this may inspire a search for other analytic properties (e.g. rapid decay or weak amenability) that are controlled by similar local-topological invariants of the limit space.
- The paper leaves open a conceptual—rather than computational—understanding of when a contracting self-similar group is branch and just-infinite in terms of its limit space; if such a description were found, Corollary C would become a purely topological characterization of Property FW for the entire class.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a complete theory of commensurating actions for finitely generated contracting self-similar branch groups acting on rooted trees. Theorem 4.8 (Theorem A) shows that in a finitely generated branch group with finite germ groups, every multi-ended Schreier graph is a finite cover of a graph of germs, and that Property FW is equivalent to just-infiniteness together with one-endedness of all graphs of germs. Theorem 5.15 (Theorem B) identifies the supremum of the number of ends of graphs of germs with the supremum of local degrees of points in the limit G-space for contracting self-replicating groups. Corollary C combines these into a criterion for Property FW. The paper then applies this criterion to the Sierpiński carpet group, proving that it is amenable (using the authors' earlier work [MBNZ25]) and has Property FW, which would be the first infinite finitely generated amenable group with FW and would answer a question of Cornulier. It also proves that a contracting self-replicating regular branch group does not have Property PW, and applies this to the Grigorchuk group.
Significance. If correct, the main results are substantial: they give a complete characterization of Property FW for a major class of groups acting on rooted trees, connect it to a geometric no-local-cut-point condition on limit spaces, and provide a long-sought example of an infinite finitely generated amenable group with Property FW. The structural theorems are proved in detail and the paper gives a coherent, self-contained framework. The main weakness is that the flagship application in Section 6 rests on several finite computations that are asserted rather than exhibited. The theorems themselves appear well supported; the computational gap is localized but load-bearing for the headline example.
major comments (3)
- [§6, Proposition 6.2] The proposition asserts that the wreath recursion defines a contracting self-similar group whose nucleus is the 41-element set N = <a,b> ∪ <b,c> ∪ <c,d> ∪ <d,a>. The displayed computations only verify that the relators of H are respected by the recursion. The sentence 'It is checked directly, that for every triple h1,h2,h3 ... (⟨h1,h2⟩·h3)|x ⊂ N' is exactly the step that establishes contraction, but no verification is shown. Likewise, 'It is also easy to check that every element of N is a section of an element of N' is asserted. These checks are finite but essential: Theorem 6.5 applies Corollary C, which requires G to be contracting. Please supply a full verification, e.g. a table of sections of elements of N and a recursive argument showing that all sufficiently deep sections of arbitrary words lie in N.
- [§6, Proposition 6.4] The proof that G is branch and just-infinite depends on several unshown algebraic identities. In particular, the claim that L = <(ab)^2, (da)^2> has commutator subgroup equal to the rooted group Alt({1,2,4,6,7}) is not immediate: the two generators have nontrivial self-similar sections at positions 3 and 8, so one needs to compute the commutator structure, not only the projected permutation group. The 'same arguments' for the other three Alt(5) subgroups, and the 'Similar arguments' producing (b,1,...,1), (c,1,...,1), (d,1,...,1), are likewise not shown. These identities imply RiSt(1) = G^X and hence branchness and just-infiniteness; without them Corollary C cannot be applied. Please provide the explicit computations or a verifiable computer-assisted check.
- [§6, Theorem 6.5 proof] The geometric part of the proof that X_G has no local cut points is asserted rather than demonstrated. The text says 'It follows that every point of X has a neighborhood homeomorphic to the Sierpiński carpet', but at points on gluing edges and at corners with dihedral isotropy one needs a precise local model; the figure is illustrative but does not replace a formal verification. Since 'no local cut point' is one of the two hypotheses of Corollary C, this step is load-bearing. Additionally, the identification of the quotient space X with the limit G-space X_G via the G-equivariant homeomorphism X⊗B ≅ X and the claimed contraction factor 1/3 are described only informally; these need to be checked against Theorem 5.9.
minor comments (4)
- [§6, Proposition 6.2] The sentence following the proposition states that all non-trivial elements of the nucleus of H remain non-trivial in G, so the nucleus of G also has 41 elements. This is not shown explicitly and should be justified.
- [Statement on AI use] The statement says that an AI-generated referee report helped find 'some typos and minor inaccuracies (none affecting the core validity of proof)', but the inaccuracies are not listed. For transparency, please list them.
- [§4.2 and Corollary 4.14] The arrow for virtual homomorphisms appears as a corrupted LaTeX token ('/axisshort/axisshort/arrowaxisrightZ') in several places. This should be typeset correctly.
- [§6, Figure 3] Figure 3 is referenced but the manuscript text does not display the actual local neighborhood picture. If the figure is included, its labels should be explained in the caption.
Circularity Check
No significant circularity; the FW criterion is derived from the stated hypotheses and the carpet-group application rests on unshown finite checks that are correctness risks, not circular steps.
full rationale
The central derivation is not circular. Corollary C combines Theorem 4.8 (for branch groups, FW is equivalent to just-infiniteness plus one-ended graphs of germs) with Theorem 5.15 (for contracting self-replicating groups, the supremum of ends of germ graphs equals the maximum local degree in the limit G-space). Neither theorem assumes Property FW; both are proved from the definitions of branch, self-similar, contracting, and self-replicating groups, using standard results from [Nek05, Nek22] as external machinery. The Sierpiński carpet application checks the hypotheses of Corollary C rather than presupposing its conclusion: Proposition 6.2 asserts contractibility with a 41-element nucleus, Proposition 6.4 asserts RiSt(1)=G^X and Alt(X)<G, and Theorem 6.5 constructs a space X tiled by Sierpiński carpets, uses Theorem 5.9 to identify X with X_G, and observes that X has no local cut points. The amenability half of Theorem 6.5 is imported from the same authors' [MBNZ25]; this is a self-citation, but it is a published, parameter-free result that does not assume Property FW, so it counts as independent support rather than a circular premise. The genuine concerns are verification gaps: Proposition 6.2 says 'It is checked directly...' and Proposition 6.4 says 'The same arguments...' without displaying the finite computations, and the AI-use statement mentions 'minor inaccuracies' without listing them. These are correctness/verification risks, not circularity: a failure of one of those checks would invalidate the application of Corollary C, but no step of the proof defines its conclusion into its hypotheses. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from prior work of the authors to force a choice.
Assumptions & free parameters
assumptions (7)
- domain assumption The Sierpiński carpet group G (defined by the wreath recursion) is amenable
- domain assumption Contracting self-similar groups acting on ∂T have finite groups of germs ([Nek10, Prop. 4.1])
- domain assumption Limit G-space and limit solenoid theory from [Nek05, Nek22], including Theorem 5.9 (Moser-type characterization), Proposition 5.8, and the existence of a metric with uniform contraction
- domain assumption Grigorchuk's double commutator lemma (Lemma 4.4) and the structure of branch groups ([Gri00])
- domain assumption Whyburn's topological characterization of the Sierpiński carpet (Theorem 5.23)
- domain assumption McMullen's bound: Julia sets of post-critically finite rational maps that are not the sphere have Hausdorff dimension < 2 (thus dimension 1 if connected)
- standard math Standard facts about Schreier graphs, ends of graphs, Freudenthal–Hopf theorem, and cardinal-definite functions of virtually abelian groups ([Cor13])
Cite this review
Pith. "Pith review of Commensurating actions and self-similar groups." pith.science (2026). https://pith.science/paper/E7TWE4H5
@misc{pith2026260713776,
author = {Pith},
title = {Pith review of: Commensurating actions and self-similar groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/E7TWE4H5}},
note = {Machine review of arXiv:2607.13776}
}
read the original abstract
Commensurating actions govern how a group can act on non-positively curved cube complexes. We obtain a complete picture of them for a class of finitely generated groups acting on rooted trees: contracting self-similar branch groups. The main application is a proof of Property FW for the iterated monodromy group of the subdivision rule generating the classical square Sierpi\'nski carpet. This is the first example of an infinite finitely generated amenable group with Property FW, answering a question of Cornulier. As another application, we show that a contracting self-similar regular branch group does not have Property PW. In particular, the Grigorchuk group does not have Property PW, answering another question in the literature.
Figures
Forward citations
Cited by 1 Pith paper
-
A graph-theoretical characterisation of subgroups of Thompson's group $V$
A finitely generated group embeds in Thompson's group V if and only if it is the transition group of a context-free graph, which rules out intermediate-growth groups and the Basilica and Hanoi Towers groups.
Reference graph
Works this paper leans on
-
[1]
Chatterji
A.K Barnhill and I. Chatterji. Property ( T ) versus P roperty FW . Enseign. Math. (2) , 54(1-2):3--189, 2008. Chapter 5 in Guido's book of conjectures
2008
-
[2]
Grigorchuk
Laurent Bartholdi and Rostislav I. Grigorchuk. On the spectrum of Hecke type operators related to some fractal groups. Proc. Steklov Inst. Math. , 231:1--41, 2000
2000
-
[3]
Pasechnik, and Cheryl E
Leonid Brailovsky, Dmitrii V. Pasechnik, and Cheryl E. Praeger. Subsets close to invariant subsets for group actions. Proc. Am. Math. Soc. , 123(8):2283--2295, 1995
1995
-
[4]
Groups with the H aagerup property , volume 197 of Progress in Mathematics
Pierre-Alain Cherix, Michael Cowling, Paul Jolissaint, Pierre Julg, and Alain Valette. Groups with the H aagerup property , volume 197 of Progress in Mathematics . Birkh\"auser Verlag, Basel, 2001. Gromov's a-T-menability
2001
-
[5]
Kazhdan and H aagerup properties from the median viewpoint
Indira Chatterji, Cornelia Dru t u, and Fr\'ed\'eric Haglund. Kazhdan and H aagerup properties from the median viewpoint. Adv. Math. , 225(2):882--921, 2010
2010
-
[6]
Spaces with measured walls, the Haagerup property and property \((T)\)
Pierre-Alain Cherix, Florian Martin, and Alain Valette. Spaces with measured walls, the Haagerup property and property \((T)\) . Ergodic Theory Dyn. Syst. , 24(6):1895--1908, 2004
1908
-
[7]
From wall spaces to CAT(0) cube complexes
Indira Chatterji and Graham Niblo. From wall spaces to CAT(0) cube complexes. Internat. J. Algebra Comput. , 15(5-6):875--885, 2005
2005
-
[8]
Group actions with commensurated subsets, wallings and cubings
Yves Cornulier. Group actions with commensurated subsets, wallings and cubings. Preprint, arXiv :1302.5982 [math. GR ] (2013), 2013
arXiv 2013
Show all 36 references
-
[9]
Irreducible lattices, invariant means, and commensurating actions
Yves Cornulier. Irreducible lattices, invariant means, and commensurating actions. Math. Z. , 279(1-2):1--26, 2015
2015
-
[10]
Commensurating actions for groups of piecewise continuous transformations
Yves Cornulier. Commensurating actions for groups of piecewise continuous transformations. Ann. H. Lebesgue , 4:1457--1520, 2021
2021
-
[11]
Schreier graphs of the Basilica group
Daniele D'Angeli, Alfredo Donno, Michel Matter, and Tatiana Nagnibeda. Schreier graphs of the Basilica group. J. Mod. Dyn. , 4(1):167--200, 2010
2010
-
[12]
U ber die Enden diskreter R \
Hans Freudenthal. \"U ber die Enden diskreter R \"a ume und Gruppen . Comment. Math. Helv. , 17:1--38, 1945
1945
-
[13]
Cubulable groups, or group actions on median graphs
Anthony Genevois. Cubulable groups, or group actions on median graphs. Book in preparation
-
[14]
Examples of cubulable groups with fixed-point properties
Anthony Genevois. Examples of cubulable groups with fixed-point properties. Preprint, arXiv :2311.12402 [math. GR ] (2025), 2025
2025
-
[15]
R. I. Grigorchuk. Just infinite branch groups. In New horizons in pro- p groups , volume 184 of Progr. Math. , pages 121--179. Birkh\"auser Boston, Boston, MA, 2000
2000
-
[16]
Isometries of CAT(0) cube complexes are semi-simple
Fr\'ed\'eric Haglund. Isometries of CAT(0) cube complexes are semi-simple. Ann. Math. Qu\'e. , 47(2):249--261, 2023
2023
-
[17]
Enden offener R \"a ume und unendliche diskontinuierliche Gruppen
Heinz Hopf. Enden offener R \"a ume und unendliche diskontinuierliche Gruppen . Comment. Math. Helv. , 16:81--100, 1944
1944
-
[18]
Simplicit\'e de groupes d’automorphismes d’espaces \`a courbure n\`egative
Fr \'e d \'e ric Haglund and Fr \'e d \'e ric Paulin. Simplicit\'e de groupes d’automorphismes d’espaces \`a courbure n\`egative. In The Epstein Birthday Schrift dedicated to David Epstein on the occasion of his 60th birthday , pages 181--248. Warwick: University of Warwick, I...
1998
-
[19]
Cantor systems, piecewise translations and simple amenable groups
Kate Juschenko and Nicolas Monod. Cantor systems, piecewise translations and simple amenable groups. Ann. of Math. (2) , 178(2):775--787, 2013
2013
-
[20]
Extensive amenability and an application to interval exchanges
Kate Juschenko, Nicol\'as Matte Bon , Nicolas Monod, and Mikael de la Salle. Extensive amenability and an application to interval exchanges. Ergodic Theory and Dynamical Systems , 38(1):195--219, 2018
2018
-
[21]
Extensions of amenable groups by recurrent groupoids
Kate Juschenko, Volodymyr Nekrashevych, and Mikael de la Salle. Extensions of amenable groups by recurrent groupoids. Invent. Math. , 206(3):837--867, 2016
2016
-
[22]
Property FW , differentiable structures and smoothability of singular actions
Yash Lodha, Nicol\'as Matte Bon, and Michele Triestino. Property FW , differentiable structures and smoothability of singular actions. J. Topol. , 13(3):1119--1138, 2020
2020
-
[23]
Liouville property for groups and conformal dimension
Nicol\'as Matte Bon, Volodymyr Nekrashevych, and Tianyi Zheng. Liouville property for groups and conformal dimension. Invent. Math. , 242(2):461--510, 2025
2025
-
[24]
McMullen
Curtis T. McMullen. Hausdorff dimension and conformal dynamics. I I . G eometrically finite rational maps. Comment. Math. Helv. , 75(4):535--593, 2000
2000
-
[25]
Dynamics in one complex variable , volume 160 of Annals of Mathematics Studies
John Milnor. Dynamics in one complex variable , volume 160 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, third edition, 2006
2006
-
[26]
Self-similar groups , volume 117 of Mathematical Surveys and Monographs
Volodymyr Nekrashevych. Self-similar groups , volume 117 of Mathematical Surveys and Monographs . Amer. Math. Soc., Providence, RI, 2005
2005
-
[27]
Free subgroups in groups acting on rooted trees
Volodymyr Nekrashevych. Free subgroups in groups acting on rooted trees. Groups Geom. Dyn. , 4(4):847--862, 2010
2010
-
[28]
Combinatorial models of expanding dynamical systems
Volodymyr Nekrashevych. Combinatorial models of expanding dynamical systems. Ergodic Theory Dyn. Syst. , 34(3):938--985, 2014
2014
-
[29]
Groups and topological dynamics , volume 223 of Graduate Studies in Mathematics
Volodymyr Nekrashevych. Groups and topological dynamics , volume 223 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, [2022] 2022
2022
-
[30]
Iterated monodromy groups and dimension
Volodymyr Nekrashevych. Iterated monodromy groups and dimension. Trans. Amer. Math. Soc. , 378(12):8625--8656, 2025
2025
-
[31]
Groups acting on CAT (0) cube complexes
Graham Niblo and Lawrence Reeves. Groups acting on CAT (0) cube complexes. Geom. Topol. , 1:approx. 7 pp.\, 1997
1997
-
[32]
Negative definite kernels and a dynamical characterization of property ( T ) for countable groups
Guyan Robertson and Tim Steger. Negative definite kernels and a dynamical characterization of property ( T ) for countable groups. Ergodic Theory Dynam. Systems , 18(1):247--253, 1998
1998
-
[33]
Ends of group pairs and non-positively curved cube complexes
Michah Sageev. Ends of group pairs and non-positively curved cube complexes. Proc. London Math. Soc. (3) , 71(3):585--617, 1995
1995
-
[34]
Proper actions of G rigorchuk groups on a CAT (0) cube complex
Gr\'egoire Schneeberger. Proper actions of G rigorchuk groups on a CAT (0) cube complex. Geom. Dedicata , 218(6):Paper No. 111, 17, 2024
2024
-
[35]
Notes on the S chreier graphs of the G rigorchuk group
Yaroslav Vorobets. Notes on the S chreier graphs of the G rigorchuk group. In Dynamical systems and group actions , volume 567 of Contemp. Math. , pages 221--248. Amer. Math. Soc., Providence, RI, 2012
2012
-
[36]
Gordon T. Whyburn. Topological characterization of the Sierpi \'n ski curve. Fundam. Math. , 45:320--324, 1958
1958
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.