Pith. sign in

REVIEW 3 major objections 6 minor 19 references

Piecewise isometry groups of Euclidean tessellations

T0 review · 3 major / 6 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read For any Euclidean tessellation cut by finitely many parallel hyperplane families, the piecewise isometry group is elementary amenable.

desk verdict A genuinely new normal-series machine for piecewise isometries of Euclidean tessellations; the main theorem is plausible and the examples are good, but two load-bearing lemmas need real proofs before I'd trust the argument unconditionally. read the letter →

arxiv 2607.28893 v1 pith:DXC74ANV submitted 2026-07-30 math.GR math.GT

Robert Bieri , Alex Feingold , Daniel Studenmund This is my paper · ORCID
classification math.GRmath.GT MSC 20F6520F55
keywords piecewiseisometrygroupselementaryamenableEuclideantessellationsgermsnormalseriesaffineWeylkagometessellationHoughton
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 piecewise isometry groups of sufficiently nice Euclidean tessellations are elementary amenable. These groups are formed by cutting space along finitely many families of parallel hyperplanes into convex pieces and gluing the pieces back via isometries. The proof exhibits a finite normal series inside the group whose successive quotients are either locally finite or abelian, so the whole group is an iterated extension of well-understood small groups. This result extends known structure theorems for Houghton's groups and Thompson's group V, and covers tessellations from crystallographic root systems as well as kagome tilings.

What carries the argument

The load-bearing object is the germ: an equivalence class of irreducible convex polyhedral sets under commensurability, where two sets are commensurable if their essential intersection is nonempty and they have the same limit set at infinity. The action of PI(Δ) on germs, together with the rank and height of supports, organizes the group into the normal series. The finiteness of the decomposition into irreducibles is what makes the normal subgroups well-defined and the quotients locally finite.

What would settle it

Find a polyhedral set P in an admissible Euclidean tessellation for which the chopping construction in Proposition 3.8 (intersecting with thin ξ-layers) yields infinitely many nonempty pieces Q. Such a P would falsify Proposition 3.8, breaking the definition of the normal series and removing the support for the elementary amenability conclusion.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: if Δ is a tessellation of Euclidean space cut out by finitely many families of parallel hyperplanes such that the isometry group preserving Δ acts properly discontinuously and cocompactly, then the piecewise isometry group PI(Δ) is elementary amenable. The proof introduces germs—commensurability classes of irreducible convex polyhedral sets—and shows PI(Δ) acts on the set of germs preserving rank. From this action the authors construct a normal series {1}=C0+≤C0≤G0≤C1+≤...≤Cdim≤Gdim=PI(Δ) where each quotient G_r/C_r or C_r/C_r+ is locally finite and each quotient C_r+/G_{r−1} is abelian. Since elementary amenability is preserved under extensions by elementar

Load-bearing premise

The whole proof depends on Proposition 3.8's assertion that every nonempty polyhedral set has a finite decomposition into irreducible pieces; if that finiteness ever fails, the normal subgroups are not well-defined and the argument collapses.

Editorial extensions

If this is right

  • The theorem applies to tessellations associated to crystallographic root systems, including the equilateral triangle tessellation from A2 and the tetrahedral tessellation from A3, and also to non-Weyl examples such as the 2D and 3D kagome lattices.
  • Each piecewise isometry group is an iterated extension of locally finite and abelian groups, placing it inside the well-studied class of elementary amenable groups with tractable subgroup structure.
  • The explicit germ classification for affine Weyl tessellations gives a concrete way to locate individual piecewise isometries in the normal series, as illustrated by the examples in Section 4.2.
  • The proof strategy suggests a route toward finiteness properties, since the normal series and the exact sequences in Section 3.8 may be used to study finite generation and higher finiteness.

Reading between the lines

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

  • The normal series may yield more than elementary amenability: understanding the images of the homomorphisms in Lemma 3.29 could lead to a direct proof of finite generation, as the authors note is in progress.
  • The germ classification suggests that Euclidean tessellations might host new families of groups analogous to Thompson's group V, potentially living in higher dimensions where cut-and-paste symmetries are richer.
  • The kagome example, with non-simplicial cells in its spherical complex at infinity, indicates the framework extends beyond Coxeter complexes and may apply to a broader class of reflection-free tessellations.
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

3 major / 6 minor

Summary. The paper studies the group PI(Δ) of piecewise isometries of a Euclidean tessellation Δ cut out by finitely many families of parallel hyperplanes whose isometry group acts properly and cocompactly. It defines rank, height, irreducibility, and germs of convex polyhedral sets, and uses the action of PI(Δ) on germs to build a finite normal series whose successive quotients are locally finite or abelian. The main theorem asserts PI(Δ) is elementary amenable. The final sections describe the germ set for affine Weyl group tessellations and for kagome tilings, and give examples of elements at various levels of the normal series.

Significance. If the proof can be completed, the result is significant: it establishes elementary amenability for a broad class of Euclidean piecewise isometry groups, covering Houghton-type groups, Thompson-type behavior in dimension 1, and the cubical groups of Bieri and Sach, and it provides a new geometric normal-series tool (germs, canonical translations, alcove decompositions). The strategy is attractive and not circular: the series is constructed from the tessellation geometry, not from the conclusion. The examples for A_2 and A_3 and kagome tessellations are useful and well illustrated. However, the current manuscript leaves two load-bearing points insufficiently proved—Lemma 3.25 and the finiteness part of Proposition 3.8—so the main theorem is not yet established as written.

major comments (3)
  1. [§3.7, Lemma 3.25] §3.7, Lemma 3.25: this is the hinge of the proof (used in Lemmas 3.27–3.29). The proof is a sketch: 'corank-1 sub-convex set' is undefined; in the case τ^f≠τ the existence of a moved rank-r germ is asserted, not shown; in the case τ^f=τ a set Q with the required recession-cone property is 'found' without construction or proof. The claim that a nontrivial isometry of a rank-(r+1) alcove moves a rank-r germ is exactly what needs proof. Also, the lemma states 0<r≤dim, but Proposition 1.2 needs C_0≤G_0 as well; this case is not treated.
  2. [§3.3, Proposition 3.8] §3.3, Proposition 3.8: finite decomposability into irreducibles is load-bearing (Definition 3.23, Section 3.4, Lemma 3.28). The proof is incomplete. The collection Q is declared finite with 'Clearly', but one must show that only finitely many hyperplanes in each family meet the relevant slab. Later, 'By Lemma 3.3 we know L(Q)=L(P)' is not a valid citation: Lemma 3.3 is only a boundedness criterion. The equality should be derived from Proposition 3.4(1) by repeated cutting. As written the finiteness and limit-set equality are unproved.
  3. [§3.8, Lemma 3.29] §3.8, Lemma 3.29: the identification of the kernel with G_{r-1} is abbreviated. From the zero translation condition one obtains, for each γ∈Γ_r, a representative C on which f is the identity. To conclude with Lemma 3.24 that f∈G_{r-1}, one must also use f∈C_r^+⊆G_r (so f has no support in rank >r) and then apply Lemma 3.24 for ranks exactly r and >r. This is fillable, but as written the exact sequence is not fully established.
minor comments (6)
  1. [Section 2.4 vs 3.6] The symbol Γ is used for a subgroup of Isom(∆) in Definition 2.4 and for the set of germs in Definition 3.20; this collision is confusing, especially where Γ_r appears.
  2. [Section 3.3, Definition 3.6/Prop 3.8] The phrase 'thin ξ-layer' is used without explicit definition; please say explicitly that a layer is thin iff it is minimal.
  3. [Section 4.1, Prop 4.1] The statement that the orthogonal projections T_C and T_D are closures of tiles of the induced tessellation of V_I is asserted without proof; a brief argument would help.
  4. [Section 4.1, end] The sentence 'This shows that o in general that there are irreducible convex polyhedral sets that are not commensurable to isometric irreducibles' is garbled; please rephrase.
  5. [Section 2.5, Lemma 2.9] 'There is a positive lower bound on the distance between H and Ht for t∈T' should read 'for all t with Ht≠H'.
  6. [Section 4.2] The presentation condition '|r_1r_2|=3' should be 'the product r_1r_2 has order 3'.

Circularity Check

0 steps flagged · score 2.0 of 10

Central theorem is derived from definitions without circularity; the only self-reference is motivational, and Proposition 3.8's finiteness is asserted rather than proved but not circular.

full rationale

Theorem 1.1 is not assumed in its own proof: Proposition 1.2 builds a normal series with locally finite and abelian quotients, and each quotient statement is proved from the geometric definitions (germs, rank, support, canonical translations) rather than from the conclusion or from fitted data. The cited Bieri–Sach paper [3] is used for motivation (Section 1, items (1)–(2)) and to contextualize the cubical case ('our main theorem generalizes a result of Bieri and Sach [3]'); the proof in Section 3 never reduces PI(∆) to the Bieri–Sach cubical case, so the self-citation is not load-bearing. The main substantive weakness is Proposition 3.8, whose finite decomposition into irreducibles is asserted with 'Clearly Q forms a finite decomposition' after intersecting with every thin ξ-layer; if infinitely many such layers were needed, Definition 3.23's rank and height would be ill-defined. However, this is a gap or missing proof, not a circularity: the decomposition is not defined in terms of the target theorem, and Theorem 1.1 does not assume finite decomposability. Lemma 3.25 is likewise sketched ('a hyperplane ... produces' / 'Use this to find a corank-1 sub-convex set Q'), but it proves C_r ≤ G_r from the action on germs and is not equivalent to Proposition 1.2 by construction. No fitted parameters are renamed as predictions, no uniqueness theorem is imported from the authors' prior work, and no known empirical pattern is renamed. The paper is self-contained against the definitions it sets up, so the honest finding is low circularity; the finiteness and lemma gaps belong in a correctness review, not a circularity score.

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

No fitted numbers, empirical constants, or new physical entities appear. The standing tessellation hypotheses are domain assumptions delimiting the theorem's scope; Farkas's lemma, the recession-cone structure theorem, and the closure properties of elementary amenability are standard background. Germs, alcoves, and canonical translations are internal definitions, not postulated entities.

assumptions (4)
  • domain assumption Standing hypothesis: Isom(V,Ω) acts properly discontinuously and cocompactly on V and with finitely many orbits on Ω (Section 2.1).
    Defines the class of tessellations to which Theorem 1.1 applies; used throughout to get finite parallel classes, lattices, and canonical translations.
  • standard math Farkas lemma (standard formulation) as in Anderson [1, §1.5.2, p.30], used in Lemma 3.3.
    Used to establish the boundedness/limit-set criterion L(P)⊂L(ξ) iff P is ξ-bounded; a key tool for rank behavior under cuts.
  • standard math Structure theorem of convex polyhedra as Minkowski sum of polytope and recession cone [19, 1.12.ii], used in Section 3.5.
    Used to guarantee edge-rays exist for every extreme ray of the recession cone; needed to define canonical translations.
  • standard math Elementary amenability is closed under extensions and subgroups; locally finite and abelian groups are elementary amenable.
    Used at the end of Theorem 3.30 to conclude the whole group is elementary amenable from the normal series.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Piecewise isometry groups of Euclidean tessellations." pith.science (2026). https://pith.science/paper/DXC74ANV

@misc{pith2026260728893,
  author       = {Pith},
  title        = {Pith review of: Piecewise isometry groups of Euclidean tessellations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DXC74ANV}},
  note         = {Machine review of arXiv:2607.28893}
}
abstract

Given a tessellation of Euclidean or hyperbolic space, the piecewise isometry group is the group whose elements are given by cutting space into finitely many tessellated convex subsets and gluing them back together. Groups of piecewise isometries of tessellations generalize Houghton's groups and Thompson's group $V$, and for cubical tessellations were studied by Bieri and Sach. We prove structure results about groups of piecewise isometries of sufficiently nice tessellations of Euclidean space, such as tessellations associated to crystallographic root systems, in particular proving that they are elementary amenable. Future work in progress will prove finite generation and higher finiteness properties.

Figures

Figures reproduced from arXiv: 2607.28893 by the authors.

Figure 4
Figure 4. [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 4.1
Figure 4.1. The domain and codomain finite decompositions of the plane for the piecewise isometry f3 ∈ C + 2 − G1 when w ∈ W(A2) is rotation by 2π/3 4.3. Tetrahedron tessellation of R 3 from the affine Weyl group of type A3. Next we examine the tessellation of R 3 by a tetrahedron which is the fundamental domain for the affine Weyl group, W(A + 3 ). In this example, the fundamental tile τ0 is a tetrahedron with one pair of oppo… view at source ↗
Figure 4
Figure 4. [PITH_FULL_IMAGE:figures/full_fig_p019_4.png] view at source ↗
Figures from the paper (5 more)
Figure 4.2
Figure 4.2. Figure 4.2: Affine A3 rhombic dodecahedron of 24 tetrahedral tiles, and the associated spherical complex at infinity As in Corollary Corollary 4.3, there are three W(A + 3 )-orbits of rank-2 germs, corresponding to the standard convex polyhedral sets P1, P2, and P3. The sets P1 …
Figure 4.3
Figure 4.3. Figure 4.3: A rank-3 alcove in orange, with a translate in yellow. The rank-1 alcoves along the edges of the translate are colored purple, blue, and green. 4.4. 2D and 3D kagome tessellations. Our results apply to tessellations that are not directly induced from affine Weyl grou…
Figure 4.4
Figure 4.4. Figure 4.4: 2D kagome tessellation [PITH_FULL_IMAGE:figures/full_fig_p021_4_4.png]
Figure 4.5
Figure 4.5. Figure 4.5: 3D kagome tessellation [PITH_FULL_IMAGE:figures/full_fig_p022_4_5.png]
Figure 4.6
Figure 4.6. Figure 4.6: 3D kagome sphere at infinity [6] A.J. Feingold, A. Kleinschmidt and H. Nicolai, Hyperbolic Weyl Groups and the Four Normed Division Algebras, J. Algebra 322 (2009), 1295–1339. 22 [PITH_FULL_IMAGE:figures/full_fig_p022_4_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 2 canonical work pages

  1. [1]

    Anderson,Oriented matroids, Cambridge Studies in Advanced Mathematics, 216, Cambridge Univ

    L. Anderson,Oriented matroids, Cambridge Studies in Advanced Mathematics, 216, Cambridge Univ. Press, Cambridge, 2025; MR4880415

    2025

  2. [2]

    Aramayona, K-U

    J. Aramayona, K-U. Bux, H. Kim, C. Leininger, Surface Houghton groups, Math. Ann.389(2024), no. 4, 4301–4318; MR4768726

    2024

  3. [3]

    London Math

    Robert Bieri and Heike Sach,Groups of piecewise isometric permutations of lattice points, or Finitary rearrangements of tessellations, J. London Math. Soc. (2) 2022;106:1663–1724

    2022

  4. [4]

    Feingold and I.B

    A.J. Feingold and I.B. Frenkel,A hyperbolic Kac–Moody algebra and the theory of Siegel modular forms of genus 2, Math. Ann.263(1983), 87–144. https://doi.org/10.1007/BF01457086

    work page doi:10.1007/bf01457086 1983

  5. [5]

    Feingold, A

    A.J. Feingold, A. Kleinschmidt and H. Nicolai,Hyperbolic Weyl groups and the four normed division algebras, inV ertex operator algebras and related areas, Contemporary Mathematics, vol. 497, Amer. Math. Soc., Providence, RI (2009), 53–64. 21 Figure 4.5.3D kagome tessellation Figure 4.6.3D kagome sphere at infinity

    2009

  6. [6]

    Feingold, A

    A.J. Feingold, A. Kleinschmidt and H. Nicolai,Hyperbolic Weyl Groups and the Four Normed Division Algebras, J. Algebra322(2009), 1295–1339. 22

    2009

  7. [7]

    Hyperbolic Weyl Groups and the Four Normed Division Algebras

    A.J. Feingold, A. Kleinschmidt and H. Nicolai,Corrigendum to “Hyperbolic Weyl Groups and the Four Normed Division Algebras” [J. Algebra 322 (2009) 1295-1339], J. Algebra 489 (2017), 586-587

    2009

  8. [8]

    Feingold, Daniel Valli` eres,Weyl Groups of Some Hyperbolic Kac-Moody Algebras, Journal of Algebra 500(2018), 457–497

    A.J. Feingold, Daniel Valli` eres,Weyl Groups of Some Hyperbolic Kac-Moody Algebras, Journal of Algebra 500(2018), 457–497

    2018

Show all 19 references
  1. [9]

    Funar, C

    L. Funar, C. Kapoudjian and V. Sergiescu, Asymptotically rigid mapping class groups and Thompson’s groups, inHandbook of Teichm¨ uller theory. Volume III, 595–664, IRMA Lect. Math. Theor. Phys., 17, Eur. Math. Soc., Z¨ urich, 2012; MR2952772

    2012

  2. [10]

    Genevois, A

    A. Genevois, A. Lonjou and C. Urech, Asymptotically rigid mapping class groups, I: Finiteness properties of braided Thompson’s and Houghton’s groups, Geom. Topol.26(2022), no. 3, 1385–1434; MR4466651

    2022

  3. [11]

    Greenberg, Projective aspects of the Higman-Thompson group, inGroup theory from a geometrical view- point (Trieste, 1990), 633–644, World Sci

    P. Greenberg, Projective aspects of the Higman-Thompson group, inGroup theory from a geometrical view- point (Trieste, 1990), 633–644, World Sci. Publ., River Edge, NJ, ; MR1170379

    1990

  4. [12]

    J. E. Humphreys,Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics 29, Cambridge University Press (1990)

    1990

  5. [13]

    Imbert, Sur l’isomorphisme du groupe de Richard Thompson avec le groupe de Ptol´ em´ ee, inGeometric Galois actions, 2, 313–324, London Math

    M. Imbert, Sur l’isomorphisme du groupe de Richard Thompson avec le groupe de Ptol´ em´ ee, inGeometric Galois actions, 2, 313–324, London Math. Soc. Lecture Note Ser., 243, Cambridge Univ. Press, Cambridge, 1997; MR1653017

    1997

  6. [14]

    Kupers, E

    A. Kupers, E. Lemann, C. Malkiewich, J. Miller, R.J. Sroka Scissors automorphism groups and their homol- ogy.arXiv, arXiv:2408.08081v2 [math.KT], 2024.https://doi.org/10.48550/arXiv.2408.08081

    2024 doi arXiv

  7. [15]

    Magnus ,Non-Euclidean Tesselations and Their Groups, Pure Appl

    W. Magnus ,Non-Euclidean Tesselations and Their Groups, Pure Appl. Math, Vol. 61, New York, London, Academic Press, 1974

    1974

  8. [16]

    Osborne and Deniz E

    Tobias J. Osborne and Deniz E. Stiegemann,Dynamics for holographic codes, J. High Energ. Phys.2020 (2020), 154

    2020

  9. [17]

    Penner,The universal Ptolemy group and its completions, inGeometric Galois Actions, London Mathematical Society Lecture Note Series, Cambridge University Press, eds

    Robert C. Penner,The universal Ptolemy group and its completions, inGeometric Galois Actions, London Mathematical Society Lecture Note Series, Cambridge University Press, eds. Schneps, Leila and Lochak, Pierre, Cambridge, (1997), 293–312

    1997

  10. [18]

    Zakharevich, TheK-theory of assemblers, Adv

    I. Zakharevich, TheK-theory of assemblers, Adv. Math.304(2017), 1176–1218; MR3558230

    2017

  11. [19]

    G. M. Ziegler,Lectures on polytopes, Graduate Texts in Mathematics, 152, Springer, New York, 1995; MR1311028 Department of Mathematics and Statistics, The State University of New York, Binghamton, New York 13902-6000 Email address:rbieri@binghamton.edu Email address:feingold@b...

    1995

Pith tools

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