arXiv Science⌕ Search

arXiv subjects

Eduard Schesler

Publications and source records attributed to Eduard Schesler.

15 recordsLinked to original sources

Non-uniform exponential growth and the decay of growth rates in growing dimensions

We provide the first example of a finitely presented, and the first example of a simple, group of non-uniform exponential growth. The example is given by Thompson's group $V$. Our methods also show that the infimal exponential growth rates of $\mathrm{Aut}(F_{2^{n+2}})$ and of $\mathrm{EL}_{2^{n+2}}(R)$, for every finitely generated ring $R$, tend to $1$. As an application, we obtain the first example of an acylindrically hyperbolic group, and the first example of a Kazhdan group, of non-uniform exponential growth.

math.GR↗

A branch group with unsolvable conjugacy problem

We prove that every finitely generated residually finite group $G$ can be embedded in a finitely generated branch group $Γ$ such that two elements in $G$ are conjugate in $G$ if and only if they are conjugate in $Γ$. As an application we construct a finitely generated branch group with solvable word problem and unsolvable conjugacy problem and thereby answer a question of Bartholdi, Grigorchuk, and Šunik.

math.GR↗

Infinitely presented simple groups separated by homological finiteness properties

Given a finitely generated linear group $G$ over $\mathbb{Q}$, we construct a simple group $Γ$ that has the same finiteness properties as $G$ and admits $G$ as a quasi-retract. As an application, we construct a simple group of type $\mathrm{FP}_{\infty}$ that is not finitely presented. Moreover we show that for every $n \in \mathbb{N}$ there is a simple group of type $\mathrm{FP}_n$ that is neither finitely presented nor of type $\mathrm{FP}_{n+1}$. Since our simple groups arise as Röver--Nekrashevych groups, this answers a question of Zaremsky.

math.GR↗

The Higman--Thompson groups $V_n$ are $(2,2,2)$-generated

We provide a family of generating sets $S_α$ of the Higman--Thompson groups $V_n$ that are parametrized by certain sequences $α$ of elements in $V_n$. These generating sets consist of $3$ involutions $σ$, $τ$, and $s_α$, where the latter involution is inspired by the class of spinal elements in the theory of branch groups. In particular this shows the existence of generating sets of $V_n$ that consist of $3$ involutions.

math.GR↗

Finitely generated infinite torsion groups that are residually finite simple

We show that every finitely generated residually finite torsion group $G$ embeds in a finitely generated torsion group $Γ$ that is residually finite simple. In particular we show the existence of finitely generated infinite torsion groups that are residually finite simple, which answers a question of Olshanskii and Osin.

math.GR↗

Hereditarily just-infinite torsion groups with positive first $\ell^2$-Betti number

We present a new method to construct finitely generated, residually finite, infinite torsion groups. In contrast to known constructions, a profinite perspective enables us to control finite quotients and normal subgroups of these torsion groups. As an application, we describe the first examples of residually finite, hereditarily just-infinite groups with positive first $\ell^2$-Betti-number. In addition, we show that these groups have polynomial normal subgroup growth, which answers a question of Barnea and Schlage-Puchta.

math.GR↗

From telescopes to frames and simple groups

We introduce the notion of a telescope of groups. Very roughly a telescope is a directed system of groups that contains various commuting images of some fixed group $B$. Telescopes are inspired from the theory of groups acting on rooted trees. Imitating known constructions of branch groups, we obtain a number of examples of $B$-telescopes and discuss several applications. We give examples of $2$-generated infinite amenable simple groups. We show that every finitely generated residually finite (amenable) group embeds into a finitely generated (amenable) LEF simple group. We construct $2$-generated frames in products of finite simple groups and show that there are Grothendieck pairs consisting of amenable groups and groups with property $(τ)$. We give examples of automorphisms of finitely generated, residually finite, amenable groups that are not inner, but become inner in the profinite completion. We describe non-elementary amenable examples of finitely generated, residually finite groups all of whose finitely generated subnormal subgroups are direct factors.

math.GR↗

On representations of direct products and the bounded generation property of branch groups

We prove that the minimal representation dimension of a direct product $G$ of non-abelian groups $G_1,\ldots,G_n$ is bounded below by $n+1$ and thereby answer a question of Abért. If each $G_i$ is moreover non-solvable, then this lower bound can be improved to be $2n$. By combining this with results of Pyber, Segal, and Shusterman on the structure of boundedly generated groups we show that branch groups cannot be boundedly generated.

math.GR↗

Realizing residually finite groups as subgroups of branch groups

We prove that every finitely generated, residually finite group $G$ embeds into a finitely generated perfect branch group $Γ$ such that many properties of $G$ are preserved under this embedding. Among those are the properties of being torsion, being amenable, and not containing a non-abelian free group. As an application we construct a finitely generated, non-amenable torsion branch group.

math.GR↗

Random subcomplexes of finite buildings, and fibering of commutator subgroups of right-angled Coxeter groups

The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to deduce that the commutator subgroup of a RACG, with defining flag complex a finite building of a certain type, admits an epimorphism to $\mathbb{Z}$ whose kernel has strong topological finiteness properties. We additionally use our techniques to present examples where the kernel is of type $\textrm{F}_2$ but not $\textrm{FP}_3$, and examples where the RACG is hyperbolic and the kernel is finitely generated and non-hyperbolic. The key tool we use is a generalization of an approach due to Jankiewicz-Norin-Wise involving Bestvina-Brady discrete Morse theory applied to the Davis complex of a RACG, together with some probabilistic arguments.

math.GR↗

Bounded subgroups of relatively finitely presented groups

Given a finitely generated group $G$ that is relatively finitely presented with respect to a collection of peripheral subgroups, we prove that every infinite subgroup $H$ of $G$ that is bounded in the relative Cayley graph of $G$ is conjugate into a peripheral subgroup. As an application, we obtain a trichotomy for subgroups of relatively hyperbolic groups. Moreover we prove the existence of the relative exponential growth rate for all subgroups of limit groups.

math.GR↗

The $Σ$-invariants of $S$-arithmetic subgroups of Borel groups

Given a Chevalley group $\mathcal{G}$ of classical type and a Borel subgroup $\mathcal{B} \subseteq \mathcal{G}$, we compute the $Σ$-invariants of the $S$-arithmetic groups $\mathcal{B}(\mathbb{Z}[1/N])$, where $N$ is a product of large enough primes. To this end, we let $\mathcal{B}(\mathbb{Z}[1/N])$ act on a Euclidean building $X$ that is given by the product of Bruhat--Tits buildings $X_p$ associated to $\mathcal{G}$, where $p$ runs over the primes dividing $N$. In the course of the proof we introduce necessary and sufficient conditions for convex functions on $\mbox{CAT(0)}$-spaces to be continuous. We apply these conditions to associate to each simplex at infinity $τ\subset \partial_{\infty} X$ its so-called parabolic building $X^τ$, which we study from a geometric point of view. Moreover, we introduce new techniques in combinatorial Morse theory, which enable us to take advantage of the concept of essential $n$-connectivity rather than actual $n$-connectivity. Most of our building theoretic results are proven in the general framework of spherical and Euclidean buildings. For example, we prove that the complex opposite each chamber in a spherical building $Δ$ contains an apartment, provided $Δ$ is thick enough and $\mbox{Aut}(Δ)$ acts chamber transitively on $Δ$.

math.GR↗

Amenability and profinite completions of finitely generated groups

This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenability, a strengthening of amenability introduced in the 70's, and we prove that uniform amenability indeed is detectable from the profinite completion.

math.GR↗

The relative exponential growth rate of subgroups of acylindrically hyperbolic groups

We introduce a new invariant of finitely generated groups, the ambiguity function, and prove that every finitely generated acylindrically hyperbolic group has a linearly bounded ambiguity function. We use this result to prove that the relative exponential growth rate $\lim \limits_{n \rightarrow \infty} \sqrt[n]{\vert B^{X}_H(n) \vert}$ of a subgroup $H$ of an acylindrically hyperbolic group $G$ exists with respect to every finite generating set $X$ of $G$, if $H$ contains a loxodromic element of $G$. Further we prove that the relative exponential growth rate of every finitely generated subgroup $H$ of a right-angled Artin group $A_Γ$ exists with respect to every finite generating set of $A_Γ$.

math.GR↗