Recently the first example of a family of pro-$p$ groups, for $p$ a prime, with full normal Hausdorff spectrum was constructed. In this paper we further investigate this family by computing their finitely generated Hausdorff spectrum with respect to each of the five standard filtration series: the $p$-power series, the iterated $p$-power series, the lower $p$-series, the Frattini series and the dimension subgroup series. Here the finitely generated Hausdorff spectra of these groups consist of infinitely many rational numbers, and their computation requires a rather technical approach. This result also gives further evidence to the non-existence of a finitely generated pro-$p$ group with uncountable finitely generated Hausdorff spectrum.
This work continues the study of the properties of finitely constrained groups of binary tree automorphisms in terms of their Hausdorff dimension. We prove that there are exactly $2^{2d-3}$ finitely constrained groups of binary tree automorphisms with pattern size $d$ and having Hausdorff dimension $1 - \frac{2}{2^{d-1}}$. As part of this proof, we describe the finite patterns that can define such groups, which leads to the fact that all finitely constrained groups of nearly maximal Hausdorff dimension have additive portraits. Additionally, we give an upper bound, in terms of the pattern size …
We prove that if G_P is a finitely constrained group of binary rooted tree automorphisms (a group binary tree subshift of finite type) defined by an essential pattern group P of pattern size d, d>1, and if G_P has maximal Hausdorff dimension (equal to 1-1/2^{d-1}), then G_P is not topologically finitely generated. We describe precisely all essential pattern groups P that yield finitely constrained groups with maximal Haudorff dimension. For a given size d, d>1, there are exactly 2^{d-1} such pattern groups and they are all maximal in the group of automorphisms of the finite rooted regular tree…
For each prime p and a monic polynomial f, invertible over p, we define a group G_{p,f} of p-adic automorphisms of the p-ary rooted tree. The groups are modeled after the first Grigorchuk group, which in this setting is the group G_{2,x^2+x+1}. We show that the constructed groups are self-similar, regular branch groups. This enables us to calculate the Hausdorff dimension of their closures, providing concrete examples (not using random methods) of topologically finitely generated closed subgroups of the group of p-adic automorphisms with Hausdorff dimension arbitrarily close to 1. We provide a…
We study the finitely generated Hausdorff spectrum of spinal automorphism groups acting on rooted trees. Given any $α\in [0,1]$, we construct a branch group $G_α$ such that $G_α$ has a finitely generated subgroup $H$ where $H$ has Hausdorff dimension $α$ in $G$. Using results by Barnea, Shalev and Klopsch we further deduce that the finitely generated Hausdorff spectrum of this group $G_α$ contains $\mathcal{L}_α\cup ([0, 1] \cap \mathcal{L})$, where $\mathcal{L}$ is a countable subset of $\mathbb{Q}$ and $\mathcal{L}_α$ is a certain set of countably many irrational numbers in the interval $[0,…
The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^*$-algebras for inverse semigroups satisfying this condition that have a Hausdorff universal groupoid, or more generally for direct limits of inverse semigroups satisfying this condition and having Hausdorff universal groupoids. It is not difficult to see that a finitely presented inverse semigroup with a non-Hausdorff universal groupoid cannot be a direct limit of inverse semigroups with Hausdorff universal groupo…
This is the second part of the works on Hausdorff dimensions of Schottky groups. It has been conjectured that the Hausdorff dimensions of nonclassical Schottky groups are strictly bounded from below. In this second part of our works we provide a resolution of this conjecture, we prove that there exists a universal positive number $λ>0$, such that any finitely-generated non-elementary Kleinian groups with limit set of Hausdorff dimension $<λ$ are classical Schottky groups. We will generalize our previous technologies given in \cite{HS} to prove our general result. Our result can be consider as …
Let $G$ be a finitely generated pro-$p$ group, equipped with the $p$-power series. The associated metric and Hausdorff dimension function give rise to the Hausdorff spectrum, which consists of the Hausdorff dimensions of closed subgroups of $G$. In the case where $G$ is $p$-adic analytic, the Hausdorff dimension function is well understood; in particular, the Hausdorff spectrum consists of finitely many rational numbers closely linked to the analytic dimensions of subgroups of $G$. Conversely, it is a long-standing open question whether the finiteness of the Hausdorff spectrum implies that $G$…
Klopsch and the author have constructed a finitely generated pro-p group G, for p an odd prime, with infinite normal Hausdorff spectrum with respect to the p-power series. They show that the normal Hausdorff spectrum of G contains an infinite interval, which answers a question of Shalev. They indicate in their paper how their results extend to the case p=2. In this note, we provide all the details for the even case.
In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shift-invariant topology. The class of perfectly supportable semigroups includes each subsemigroup S of the semigroup FRel(X) of finitely supported relations on an infinite set X such that S contains the group FSym(X) of finitely supported permutations of X.
We construct a $2$-generated pro-$2$ group with full normal Hausdorff spectrum $[0,1]$, with respect to each of the four standard filtration series: the $2$-power series, the lower $2$-series, the Frattini series, and the dimension subgroup series. This answers a question of Klopsch and the second author, for the even prime case; the odd prime case was settled by the first author and Klopsch. Also, our construction gives the first example of a finitely generated pro-$2$ group with full Hausdorff spectrum with respect to the lower $2$-series.
Based on the work of Abercrombie, Barnea and Shalev gave an explicit formula for the Hausdorff dimension of a group acting on a rooted tree. We focus here on the binary tree T. Abert and Virag showed that there exist finitely generated (but not necessarily level-transitive) subgroups of AutT of arbitrary dimension in [0,1]. In this article we explicitly compute the Hausdorff dimension of the level-transitive spinal groups. We then show examples of 3-generated spinal groups which have transcendental Hausdroff dimension, and exhibit a construction of 2-generated groups whose Hausdorff dimension …
Using wreath products, we construct a finitely generated pro-p group G with infinite normal Hausdorff spectrum with respect to the p-power series. More precisely, we show that this normal Hausdorff spectrum contains an infinite interval; this settles a question of Shalev. Furthermore, we prove that the normal Hausdorff spectra of G with respect to other filtration series have a similar shape. In particular, our analysis applies to standard filtration series such as the Frattini series, the lower p-series and the modular dimension subgroup series. Lastly, we pin down the ordinary Hausdorff spec…
Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of d(G) and |Y| only. This has several applications: 1. A new proof that G^n is closed (and hence open) in any finitely generated profinite group G. 2. A finitely generated abstract quotient of a compact Hausdorff group must be finite. 3. Let G be a topologically finitely generated compact Hausdorff group. Then G has a countably infinite abstract quotient if and …
Geometrically infinite Kleinain groups have nonconical limit sets with the cardinality of the continuum. In this paper, we construct a geometrically infinite Fuchsian group such that the Hausdorff dimension of the nonconical limit set equals zero. For finitely generated, geometrically infinite Kleinian groups, we prove that the Hausdorff dimension of the nonconical limit set is positive.
Among compact Hausdorff groups G whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup [H,G] is closed for every closed normal subgroup H of G.
A result due to M. Gromov states that any two finitely generated groups Γ and Λ are quasi-isometric if and only if they admit a topological coupling, i.e., a commuting pair of proper continuous cocompact actions $Γ\curvearrowright X\curvearrowleft Λ$ on a locally compact Hausdorff space. This result is extended here to all (compactly generated) locally compact second countable groups.
We construct a family of odd, finitely summable Fredholm modules over the crossed product C*-algebra $C(\bd \G)\rtimes \G$ associated to the action of a non-elementary hyperbolic group $\G$ on its Gromov boundary $\bd \G$. These Fredholm modules all represent the same, distinguished class in K-homology, namely that of the `boundary extension' of $C(\bd \G)\rtimes \G$ associated to the Gromov compactification of $\G$, and is typically nonzero. Their summability is closely related to the Hausdorff dimension of the boundary. We use these results to compute the Connes-Chern character of the bounda…
Centre for Mathematical Sciences, Lund University（隆德大学数学中心）；Department of Mathematics, University of the Basque Country UPV/EHU（巴斯克大学数学系）；School of Mathematical Sciences, University of Southampton（南安普顿大学数学科学学院）
本文研究群作用于根树上的虚拟 retract，证明有限生成分支群不具有 LR 性质，并揭示 LR 性质在后临界有限二次复多项式中与欧几里得 orbifold 的关系，同时提供新的 pro-2 群例子。
A Hausdorff topological group $(G,τ)$ is called an $s$-group and $τ$ is called an $s$-topology if there is a set $S$ of sequences in $G$ such that $τ$ is the finest Hausdorff group topology on $G$ in which every sequence of $S$ converges to the unit. The class $\mathbf{S}$ of all $s$-groups contains all sequential Hausdorff groups and it is finitely multiplicative. A quotient group of an $s$-group is an $s$-group. For a non-discrete topological group $(G,τ)$ the following three assertions are equivalent: 1) $(G,τ)$ is an $s$-group, 2) $(G,τ)$ is a quotient group of a Graev free topological gro…
For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent groups then all the above Lie algebras are isomorphic. As a result, any two quasi-isometric relatively free nilpotent groups are isomorphic. Moreover let L be a relatively free nilpotent Lie algebra over Q generated by X. We give L the structure of a group by means of the Baker-Campbell-Hausdorff formula and we show that the subgroup H generated by X is relativ…
We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite. We show that a quasi-normal subgroup of a group is the kernel of a certain map, and a subgroup of a finitely generated group is quasi-normal iff the natural coset graph is locally finite. This last equivalence is particularly useful for deriving asymptotic results for finitely generated groups. Our primary go…
We prove that every free group G with infinitely many generators admits a Hausdorff group topology T with the following property: for every T-open neighbourhood U of the identity of G, each element g in G can be represented as a product g=g_1 g_2 ... g_k such that the cyclic group generated by each g_i is contained in U. In particular, G admits a Hausdorff group topology with the small subgroup generating property of Gould. This provides a positive answer to a question of Comfort and Gould in the case of free groups with infinitely many generators. The case of free groups with finitely many ge…
A complete classification of finitely generated involutive commutative two-valued groups is obtained. Three series of such two-valued groups are constructed: principal, unipotent and special, and it is shown that any finitely generated involutive commutative two-valued group is isomorphic to a two-valued group belonging to one of these series. A number of classification results are obtained for topological involutive commutative two-valued groups in the Hausdorff and locally compact cases. The classification of algebraic involutive two-valued groups in the one-dimensional case is also discusse…
We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any action of $Q$ on any $X\in \mathcal{X}_{ac}$, there is a global fixed point. Moreover, $Q$ may be chosen to be simple and to have Kazhdan's property (T). We construct a finitely presented infinite group $P$ that admits no non-trivial action by diffeomorphisms on any smooth manifold …
