Abstract:Given an inverse semigroup $G_0$ of bounded type, we show, along with some other assumptions, that if the set of incompressible elements of $G_0$ is finite, then any finitely generated subgroup $G$ of the topological full group $\mathsf{F}(G_0)$ that is orbit equivalent to $G_0$ has subexponential growth with a bounded power in the exponent.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the growth rate of finitely generated subgroups of a specific type of inverse semigroups. Specifically, the author focuses on the growth properties of a finitely generated subgroup \(G\) in the topological full group \(F(G_0)\) generated by an inverse semigroup \(G_0\) of bounded type. The main research problems can be summarized as follows:
1. **Problem Background**: Given an inverse semigroup \(G_0\) of bounded type, if the set of incompressible elements in \(G_0\) is finite, then for any finitely generated subgroup \(G\) of \(F(G_0)\) that is orbit - equivalent to \(G_0\), does its growth rate have sub - exponential growth?
2. **Specific Objective**: Prove that under the above conditions, there exists \(\alpha\in(0, 1)\) such that the growth function \(\gamma_G(R)\) of \(G\) satisfies \(\gamma_G(R)\lesssim\exp(R^{\alpha})\).
### Main Contributions of the Paper
- **Generalize Existing Results**: The paper extends previous work [Kua24] and no longer assumes that the Bratteli diagram is stationary or that the automaton is stationary and has a finite number of states. This broadens the scope of research and covers more types of inverse semigroups and groups.
- **Systematic Method**: A systematic method is proposed to find groups of bounded type from an inverse semigroup \(G_0\) of bounded type. In particular, if \(G_0\) is an inverse semigroup of bounded type, then any finitely generated subgroup \(G\) of \(F(G_0)\) that is orbit - equivalent to \(G_0\) is also a group of bounded type.
- **Application of New Tools**: The "ergodic" counting method developed by L. Bartholdi, V. Nekrashevych and T. Zheng in [BNZ22] is used as the main tool for the proof.
### Main Theorem
The main theorem of the paper is as follows:
**Theorem 1.1**: Let \(B\) be a simple Bratteli diagram. Suppose that the inverse semigroup \(G_0=\langle S\rangle\) is defined by a bounded inflation tiling inflation process and acts minimally on \(\Omega(B)\). Let \(G < F(G_0)\) be a finitely generated subgroup that is orbit - equivalent to \(G_0\). If the set of incompressible elements in \(G_0\) is finite, then there exists \(\alpha\in(0, 1)\) such that the growth function \(\gamma_G\) of \(G\) satisfies \(\gamma_G(R)\lesssim\exp(R^{\alpha})\).
### Conclusion
Through these studies, the paper not only generalizes existing results but also provides a new framework for analyzing and understanding the growth properties of inverse semigroups of bounded type and their related groups. This achievement provides an important theoretical basis for follow - up research.