2108.01178
HIGMAN-THOMPSON GROUPS FROM SELF-SIMILAR GROUPOID ACTIONS
Valentin Deaconu
correcthigh confidence
- Category
- Not specified
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves that for an effective groupoid of germs Gp(G,E) arising from a self-similar groupoid action, the Higman–Thompson-type group VE(G) is isomorphic to the topological full group vGp(G,E)^ω. It does so by sending a G-table to a full bisection U = ⊔ Z(α_i,g_i,β_i) and then to the induced homeomorphism π_U, noting injectivity and using effectivity to assert uniqueness of the full bisection representing a given π ∈ vG for surjectivity . The model’s solution builds exactly the same correspondence: it constructs the basic compact-open bisections U(α,g,β)=Z(α,g,β), proves that splitting a column corresponds to a disjoint union of basic bisections, checks multiplicativity by refining partitions, and shows any full bisection decomposes into a finite disjoint union of basics, yielding a table; this uses the groupoid’s topology and the Z(α,g,β;U) basis property together with the table splitting rule and the definition of the topological full group . The only difference is emphasis: the paper phrases effectivity as providing uniqueness of the representing full bisection, while the model highlights effectivity for canonicity of the inverse construction. Substantively, the proofs coincide.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} specialist/solid
\textbf{Justification:}
The VE(G) ≅ vGp(G,E)\^ω identification is proved correctly by mapping tables to unions of basic bisections and then to induced homeomorphisms; the effectivity hypothesis is used in a natural way. The presentation is concise, but the claim of uniqueness of the representing full bisection in the effective case would benefit from a citation or a brief justification. Otherwise, the argument is standard and aligns with the groupoid-of-germs framework.