arXiv subjects
Publications and source records attributed to Karthika Rajeev.
Francoeur and Garrido recently provided the first explicit examples of finitely generated branch groups with maximal subgroups of infinite index, where one of their examples is the Grigorchuk-Erschler group. Here, using the Basilica operation constructed by Petschick and Rajeev, we show that the second Basilica group of the Grigorchuk-Erschler group also has maximal subgroups of infinite index.
The Basilica group is a well-known 2-generated weakly branch, but not branch, group acting on the binary rooted tree. Recently a more general form of the Basilica group has been investigated by Petschick and Rajeev, which is an $s$-generated weakly branch, but not branch, group that acts on the $m$-adic tree, for $s,m > 1$. A larger family of groups, which contains these generalised Basilica groups, is the family of iterated monodromy groups. With the new developments by Francoeur, the study of the existence of maximal subgroups of infinite index has been extended from branch groups to weakly branch groups. Here we show that a subfamily of iterated monodromy groups, which more closely resemble the generalised Basilica groups, have maximal subgroups only of finite index.
Inspired by the Basilica group $\mathcal B$, we describe a general construction which allows us to associate to any group of automorphisms $G \leq \operatorname{Aut}(T)$ of a rooted tree $T$ a family of Basilica groups $\operatorname{Bas}_s(G), s \in \mathbb{N}_+$. For the dyadic odometer $\mathcal{O}_2$, one has $\mathcal B = \operatorname{Bas}_2(\mathcal{O}_2)$. We study which properties of groups acting on rooted trees are preserved under this operation. Introducing some techniques for handling $\operatorname{Bas}_s(G)$, in case $G$ fulfills some branching conditions, we are able to 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, we study the structure of groups of type $\operatorname{Bas}_s(\mathcal{O}_m^d)$ and prove an analogue of the congruence subgroup property in the case $m = p$, a prime.