{"id":"75bf1ddc-7380-4f18-a027-e920f0c6b9b9","arxiv_id":"2607.28893","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every piecewise isometry group of a cocompact Euclidean tessellation by finitely many hyperplane families is elementary amenable.","lead":"This paper proves that groups of piecewise isometries—cutting a Euclidean tiling into finitely many convex pieces and reassembling them by isometries—are elementary amenable for a broad class of tilings, including root-system and kagome tilings. The result generalizes earlier work on cubical tilings and gives a common structural home for Thompson's and Houghton's groups.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.25's proof that C_r ≤ G_r is a sketch: the moved rank-r germ is asserted, not constructed; the exact sequences giving local finiteness depend on it.","rationale":"Good-faith reading: the paper's program is coherent; the normal series and the geometric machinery are natural. Proposition 3.8, which the Reader flagged as the weakest assumption, seems to me to be correct — the finiteness of Q follows from local finiteness of the hyperplane arrangement plus the fact that only the finitely many parallelism classes are chopped, and the minimal nonempty intersections do produce thin sets. Its proof is terse ('clearly'), but not a genuine gap. The genuinely under-justified step is Lemma 3.25. It is load-bearing because all three quotient analyses (3.27, 3.28, 3.29) depend on C_r≤G_r, and the proof is a sketch with an undefined 'corank-1 sub-convex set.' This matches the Reader's rationale (which mentions Lemma 3.25's missing argument) but not their stated weakest assumption (Proposition 3.8), hence 'partial' agreement. Verdict remains CONDITIONAL: the theorem is plausible and the gap is fillable, but the current text does not fully establish it.","tokens_in":18690,"tokens_out":24855,"duration_ms":256201,"concrete_test":"Independently derive Lemma 3.25 from the definitions: define 'corank-1 sub-convex set' and construct, for every non-trivial isometry f of an irreducible rank-(r+1) alcove P=A[τ,σ], a rank-r convex polyhedral subset Q⊂P with [Q]^{f*}≠[Q] (treating the cases τ^f≠τ and τ^f=τ separately). If the construction cannot be completed, exact sequences 3.27–3.29 are unsupported and Theorem 1.1 is at risk.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.25 (C_r ≤ G_r) is the structural hinge of the proof. It is used in Lemma 3.27 to identify the kernel of the G_r-action on Γ_r with C_r, in Lemma 3.28 to ensure the support contains only finitely many rank-r germs, and in Lemma 3.29 to identify the kernel of the translation-valued homomorphism with G_{r-1}. If C_r were not contained in G_r, the quotients G_r/C_r and C_r/C_r^+ would not be locally finite by the stated arguments, and Proposition 1.2 would not follow. The proof, however, is a two-case sketch. It relies on an undefined 'corank-1 sub-convex set' and asserts without proof that such a set is moved by f: in the case τ^f≠τ a hyperplane 'produces' such a set; in the case τ^f=τ one is chosen whose recession cone contains v but not ±df(v). The key implication — that a non-trivial isometry of a rank-(r+1) alcove must move a rank-r germ — is exactly what must be demonstrated. This is plausibly true, but as written the lemma is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":18958,"tokens_out":22947,"duration_ms":243448,"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":[{"comment":"§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.","section":"§3.7, Lemma 3.25"},{"comment":"§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.","section":"§3.3, Proposition 3.8"},{"comment":"§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.","section":"§3.8, Lemma 3.29"}],"minor_comments":[{"comment":"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.","section":"Section 2.4 vs 3.6"},{"comment":"The phrase 'thin ξ-layer' is used without explicit definition; please say explicitly that a layer is thin iff it is minimal.","section":"Section 3.3, Definition 3.6/Prop 3.8"},{"comment":"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.","section":"Section 4.1, Prop 4.1"},{"comment":"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.","section":"Section 4.1, end"},{"comment":"'There is a positive lower bound on the distance between H and Ht for t∈T' should read 'for all t with Ht≠H'.","section":"Section 2.5, Lemma 2.9"},{"comment":"The presentation condition '|r_1r_2|=3' should be 'the product r_1r_2 has order 3'.","section":"Section 4.2"}],"recommendation":"major_revision","confidential_remarks":"To the editor: The main risk is Lemma 3.25. If the authors supply a complete proof of Lemma 3.25 (including r=0) and tighten Proposition 3.8, the paper would be suitable. I recommend major revision rather than rejection, since the architecture is sound and the gaps appear repairable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a genuine generalization, not a repackaging. Bieri–Sach covered cubical tessellations; this paper handles all Euclidean tessellations cut out by finitely many families of parallel hyperplanes with a cocompact isometry group, and proves PI(Δ) is elementary amenable. The normal-series machinery — germs, rank, canonical translations — is new, and the explicit germ classifications for A2, A3, and kagome are real content. The paper is honest: Theorem 1.1 is proved from definitions, not by assuming itself, and the reliance on Bieri–Sach is for motivation and the cubical case, not for the main argument.\n\nWhere it gets soft. Lemma 3.25 is the hinge: it says C_r ≤ G_r, and everything after — Lemmas 3.27, 3.28, 3.29, and the local finiteness of the quotients — depends on it. The proof as written is a sketch. The 'corank-1 sub-convex set' is never defined, and in both cases the existence of a moved rank-r germ is asserted rather than constructed. Maybe it's true; I suspect it is. But a referee will need a real argument here, and the authors should supply one before this is accepted.\n\nSecond, Proposition 3.8 asserts every nonempty polyhedral set has a finite decomposition into irreducibles. The proof says 'Clearly Q forms a finite decomposition' after chopping by thin layers. The finiteness is load-bearing: rank, height, and the finite-support arguments for the quotient analyses all use it. If infinitely many thin layers were needed, the normal subgroups in Definition 3.23 wouldn't be well-defined. Again, probably fixable, but not demonstrated.\n\nSmaller: Lemma 3.29's kernel identification is one line; it deserves a few sentences. Nothing else jumped out as wrong. The examples in Section 4 are well-chosen and the illustrations help.\n\nWho is this for: geometric group theorists working with Houghton-type, Thompson-type, or finiteness properties of piecewise groups. It deserves a serious referee; I would accept it for review but expect significant revision. If the gaps get filled, this is a solid contribution.","headline":"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.","tokens_in":19443,"tokens_out":2112,"would_cite":true,"duration_ms":23463,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20F65","20F55"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any Euclidean tessellation cut by finitely many parallel hyperplane families, the piecewise isometry group is elementary amenable.","keywords":["piecewise isometry groups","elementary amenable","Euclidean tessellations","germs","normal series","affine Weyl groups","kagome tessellation","Houghton groups"],"falsifier":"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.","tokens_in":18572,"feed_emoji":"✂️","tokens_out":4727,"duration_ms":45202,"temperature":0.7,"pith_summary":"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.","feed_headline":"Euclidean tessellation gluing groups are elementary amenable","feed_subtitle":"Finite normal series with locally finite or abelian quotients covers root systems and kagome tilings.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Tessellation gluing groups are elementary amenable","Piecewise isometries of tilings are elementary amenable","Euclidean tessellation groups: elementary amenable","New proof: tessellation gluing groups are elementary amenable","Gluing Euclidean tiles: groups are elementary amenable"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Tessellation gluing groups are elementary amenable","Piecewise isometries of tilings are elementary amenable","Euclidean tessellation groups: elementary amenable","New proof: tessellation gluing groups are elementary amenable","Gluing Euclidean tiles: groups are elementary amenable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000731,"raw_usage":{"total_tokens":3066,"prompt_tokens":660,"completion_tokens":2406,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":404,"completion_tokens_details":{"reasoning_tokens":2340}},"tokens_in":404,"tokens_out":2406,"duration_ms":19467,"temperature":1.0,"reasoning_tokens":2340,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T01:25:32.947894+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}