Restricted Hausdorff spectra of $q$-adic automorphisms
Jorge Fariña-Asategui
TL;DR
The paper resolves Grigorchuk's question on the self-similar Hausdorff spectrum by deriving a universal dimension formula for closed self-similar groups expressed via obstructions sequences and generating functions, and by introducing a generalized iterated wreath-product construction $G_{\mathcal{S}}$ to realize prescribed spectra. It establishes four restricted spectra for the group of $q$-adic automorphisms $\Gamma_q$: self-similar, level-transitive and super strongly fractal spectrum $[0,1]$; weakly regular branch spectrum $(0,1]$; regular branch spectrum $\mathbb{Z}[1/p]\cap(0,1]$; and self-similar branch spectrum $[0,1]$. The authors then develop a rich theory of generalized wreath products to control the sequence of obstructions $\{s_n\}$ and thereby construct self-similar and branch subgroups with prescribed Hausdorff dimensions in $\Gamma_q$, including the first examples of zero-dimensional, just infinite branch pro-$p$ groups. These results provide new insights into the interplay between fractality, branching, and Hausdorff spectra in $p$-adic automorphism groups and give strong evidence towards (and against) conjectures in the area, notably by producing zero-dimension branch examples and clarifying the spectrum structure under various finiteness and branching restrictions.
Abstract
Firstly, we completely determine the self-similar Hausdorff spectrum of the group of $q$-adic automorphisms where $q$ is a prime power, answering a question of Grigorchuk. Indeed, we take a further step and completely determine its Hausdorff spectra restricted to the most important subclasses of self-similar groups, providing examples differing drastically from the previously known ones in the literature. Our proof relies on a new explicit formula for the computation of the Hausdorff dimension of closed self-similar groups and a generalization of iterated permutational wreath products. Secondly, we provide for every prime $p$ the first examples of just infinite branch pro-$p$ groups with zero Hausdorff dimension in $Γ_p$, giving strong evidence against a well-known conjecture of Boston.
