On the Basilica operation (Q2694838)

The Basilica group $\mathbf{B}$ is usually defined as the group generated by two automorphisms $a=(b, \mathrm{id})$ and $b=(0\; 1)(a, \mathrm{id})$ acting on the binary rooted tree. Inspired by the Basilica group $\mathbf{B}$, the authors describe a general construction which allows them to associate to any group of automorphisms $G \leq \mathrm{Aut}(T)$ of a rooted tree $T$ a family of Basilica groups $\mathbf{Bas}_{s}(G)$ ($s \in \mathbb{N}$, $s>0$). This paper is dedicated to the study of which properties of groups acting on rooted trees are preserved under this operation. Introducing some techniques for handling $\mathbf{Bas}_{s}(G)$, in case $G$ fulfills some branching conditions, the authors calculate the Hausdorff dimension of the Basilica groups associated to certain $\mathsf{GGS}$-groups and of generalisations of the odometer, $\mathcal{O}_{m}^{d}$. Furthermore, they also study the structure of groups of type $\mathbf{Bas}_{s}(\mathcal{O}_{m}^{d})$ and prove an analogue of the congruence subgroup property in the case $m=p$, a prime. Theorem 7 contains the exact determination of Hausdorff dimension of Basilica groups: \[ \dim_{\mathrm{H}}\left(\mathbf{Bas}_{s}(\mathcal{O}_{m}^{d})\right)=\frac{m(m^{s-1}-1)}{(m^{s}-1)} \quad\text{for all }d,m,s \in \mathbb{N},\ m,s \geq 2. \] Thanks to Theorem 1.4 the authors prove that the Hausdorff dimension of $\mathbf{Bas}_{s}(G)$ is bounded below by the Hausdorff dimension of $G$. More exactly they prove Corollary 1.5: Let $G \leq \mathrm{Aut}(T)$ be very strongly fractal, self-similar, weakly regular branch over $K_{s-1}$, with $\dim_{\mathrm{H}}(G) < 1$. Then $\dim_{\mathrm{H}}(G) < \dim_{\mathrm{H}}\left( \mathbf{Bas}_{s}(G) \right)$ for all $s >1$.