We prove that a profinite group $G$ with positive rank gradient does not satisfy a group law. In the case when $G$ is a pro-$p$ group we show that $G$ contains a nonabelian dense free subgroup.
For a positive integer r we prove that if G is a profinite group in which the centralizer of every nontrivial element has rank at most r, then G is either a pro-p group or a group of finite rank. Further, if G is not virtually a pro-p group, then G is virtually of rank at most r+1.
We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type $E_8$, $F_4$, and $G_2$. In contrast, there are arbitrarily many such examples in all other higher rank Lie groups, except possibly $\mathrm{SL}_{2n+1}(\mathbb{R})$, $\mathrm{SL}_{2n+1}(\mathbb{C})$, $\mathrm{SL}_n(\mathbb{H})$, or groups of type $E_6$.
We investigate the ability of a free pro-$\CC$ group of infinite rank to abstractly solve abstract embedding problems, and conclude that for some varieties $\CC$, the profinite completion of any order, of a free pro-$\CC$ group of infinite rank, is a free pro-$\CC$ group as well, of the corresponding rank.
We establish conditions under which lattices in certain simple Lie groups are profinitely solitary in the absolute sense, so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. While cocompact lattices are typically not absolutely solitary, we show that noncocompact lattices in $\operatorname{Sp}(n,\mathbb{R})$, $G_{2(2)}$, $E_8(\mathbb{C})$, $F_4(\mathbb{C})$, and $G_2(\mathbb{C})$ are absolutely solitary if a well-known conjecture on Grothendieck rigidity is true.
We prove the following results. Let w be a multilinear commutator word. If G is a profinite group in which all w-values are contained in a union of countably many periodic subgroups, then the verbal subgroup w(G) is locally finite. If G is a profinite group in which all w-values are contained in a union of countably many subgroups of finite rank, then the verbal subgroup w(G) has finite rank as well. As a by-product of the techniques developed in the paper we also prove that if G is a virtually soluble profinite group in which all w-values have finite order, then w(G) is locally finite and has…
We consider coincidence Reidemeister zeta functions for tame endomorphism pairs of nilpotent groups of finite rank, shedding new light on the subject by means of profinite completion techniques. In particular, we provide a closed formula for coincidence Reidemeister numbers for iterations of endomorphism pairs of torsion-free nilpotent groups of finite rank, based on a weak commutativity condition, which derives from simultaneous triangularisability on abelian sections. Furthermore, we present results in support of a Pólya-Carlson dichotomy between rationality and a natural boundary for the an…
We show that for a typical high rank arithmetic lattice $Γ$, there exist finite index subgroups $Γ_{1}$ and $Γ_{2}$ such that $Γ_{1} \not\simeq Γ_{2}$ while $\widehat{Γ_{1}} \simeq \widehat{Γ_{2}}$. But there are exceptions to that rule.
A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of finite presentability.
We study a generalisation of the family of non-(virtually pro-$p$) hereditarily just infinite profinite groups introduced by J.\! S.\! Wilson in 2010. We prove that this family contains groups of finite lower rank. We also show that many groups in this family are not topologically finitely presentable.
The article deals with profinite groups in which centralizers are virtually procyclic. Suppose that G is a profinite group such that the centralizer of every nontrivial element is virtually torsion-free while the centralizer of every element of infinite order is virtually procyclic. We show that G is either virtually pro-p for some prime p or virtually torsion-free procyclic. The same conclusion holds for profinite groups in which the centralizer of every nontrivial element is virtually procyclic; moreover, if G is not pro-p, then G has finite rank.
By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of superrigidity which implies that two such commensurability classes define the same profinite commensurability class if and only if the algebraic groups are adelically isomorphic. We discuss noteworthy consequences on profinite rigidity questions.
Suppose $R$ is a profinite ring. We construct a large class of profinite groups $\widehat{{\scriptstyle\bf L}'{\scriptstyle\bf H}_R}\mathfrak{F}$, including all soluble profinite groups and profinite groups of finite cohomological dimension over $R$. We show that, if $G \in \widehat{{\scriptstyle\bf L}'{\scriptstyle\bf H}_R}\mathfrak{F}$ is of type $\operatorname{FP}_\infty$ over $R$, then there is some $n$ such that $H_R^n(G,R [[ G ]]) \neq 0$, and deduce that torsion-free soluble pro-$p$ groups of type $\operatorname{FP}_\infty$ over $\mathbb{Z}_p$ have finite rank, thus answering the torsio…
We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated nonabelian free profinite group is contained in an infinitely generated free profinite subgroup. These results are combined with the twisted wreath product approach of Haran, an observation on the action of compact groups, and a rank counting argument to prove a conjecture of Bary-Soroker, Fehm, and Wiese, thus providing a quite general sufficient condition for …
Let $w$ be a multilinear commutator word. In the present paper we describe recent results that show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely (or in some cases countably) many subgroups with a prescribed property, then the verbal subgroup $w(G)$ has the same property as well. In particular, we show this in the case where the subgroups are periodic or of finite rank.
On the measure of definable sets in profinite groups
Fakultät für Mathematik, Universität Bielefeld(比勒费尔德大学数学学院);Dipartimento di Matematica ‘Ulisse Dini’, Università degli Studi di Firenze(佛罗伦萨大学乌利塞·迪尼数学系)
In this paper we derive necessary and sufficient homological and cohomological conditions for profinite groups and modules to be of type $\operatorname{FP}_n$ over a profinite ring $R$, analogous to the Bieri-Eckmann criteria for abstract groups. We use these to prove that the class of groups of type $\operatorname{FP}_n$ is closed under extensions, quotients by subgroups of type $\operatorname{FP}_n$, proper amalgamated free products and proper $\operatorname{HNN}$-extensions, for each $n$. We show, as a consequence of this, that elementary amenable profinite groups of finite rank are of type…
Using conjugation of Shimura varieties, we produce nonisomorphic, cocompact, torsion-free lattices in $\mathrm{PU}(n,1)$ with isomorphic profinite completions for all $n \ge 2$. This disproves a conjecture of D. Kazhdan and gives the first examples nonisomorphic lattices in a semisimple Lie group of real rank one with isomorphic profinite completions, answering two questions of A. Reid.
Given an S-arithmetic group, we ask how much information on the ambient algebraic group, number field of definition, and set of places S is encoded in the commensurability class of the profinite completion. As a first step, we show that the profinite commensurability class of a higher rank S-arithmetic group determines the number field up to arithmetical equivalence and the places in S above unramified primes. We include applications to profiniteness questions of group invariants.
The congruence subgroup problem for a finitely generated group $Γ$ asks whether $\widehat{Aut\left(Γ\right)}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we first give two new short proofs of two known results (for $Γ=F_{2}$ and $Φ_{2}$) and a new result for $Γ=Φ_{3}$: 1. $C\left(F_{2}\right)=\left\{ e\right\}$ when $F_{2}$ is the free group on two generators. 2. $C\left(Φ_{2}\right)=\hat{F}_ω$ when $Φ_{n}$ is the free metabelian group on $n$ generators, and $\hat{F}_ω$ is the free pr…
In "Subgroups of free profinite groups and large subfields of Q" (Israel J. Math. 39 (1981), no. 1-2, pages 25-45; MR 617288) A. Lubotzky and L. van den Dries raise the question whether a finitely generated, residually finite group is necessarily free if the rank function on its subgroups of finite index satisfies Schreier's well-known index rank relation (see Question 2 on p. 34). I answered this question in 1980 but, so far, I have not published my answer. This note fills the omission; it gives an amended and abridged version of my original proof.
We study a family of hereditarily just infinite profinite groups obtained by iterated wreath products introduced by J. Wilson in 2010. We find explicit generators for this family in a number of cases using combinatorial methods. We then discuss determination of the lower rank for this family. Finally we examine whether the groups in this family admit a finite profinite presentation.
Let $G$ be a group. An element $g \in G$ is called a test element of $G$ if for every endomorphism $φ:G \to G$, $φ(g)=g$ implies that $φ$ is an automorphism. We prove that for a finitely generated profinite group $G$, $g \in G$ is a test element of $G$ if and only if it is not contained in a proper retract of $G$. Using this result we prove that an endomorphism of a free pro-$p$ group of finite rank which preserves an automorphic orbit of a non-trivial element must be an automorphism. We give numerous explicit examples of test elements in free pro-$p$ groups and Demushkin groups. By relating t…
A group $G$ is invariably generated by a subset $S$ of $G$ if $G= s^{g(s)} \mid s\in S$ for each choice of $g(s) \in G$, $s \in S$. Answering two questions posed by Kantor, Lubotzky and Shalev, we prove that the free prosoluble group of rank $d \ge 2$ cannot be invariably generated by a finite set of elements, while the free solvable profinite group of rank $d$ and derived length $l$ is invariably generated by precisely $l(d-1)+1$ elements.
In previous work, the first author established a natural bijection between minimal subshifts and maximal regular J-classes of free profinite semigroups. In this paper, the Schützenberger groups of such J-classes are investigated, in particular in respect to a conjecture proposed by the first author concerning their profinite presentation. The conjecture is established for all non-periodic minimal subshifts associated with substitutions. It entails that it is decidable whether a finite group is a quotient of such a profinite group. As a further application, the Schützenberger group of the J-cla…
We show that given a finitely generated LERF group $G$ with positive rank gradient, and finitely generated subgroups $A,B \leq G$ of infinite index, one can find a finite index subgroup $B_0$ of $B$ such that $[G : \langle A \cup B_0 \rangle] = \infty$. This generalizes a theorem of Olshanskii on free groups. We conclude that a finite product of finitely generated subgroups of infinite index does not cover $G$. We construct a transitive virtually faithful action of $G$ such that the orbits of finitely generated subgroups of infinite index are finite. Some of the results extend to profinite gro…
We calculate the rank gradient and p-gradient of free products, free products with amalgamation over an amenable subgroup, and HNN extensions with an amenable associated subgroup. The notion of cost is used to compute the rank gradient of amalgamated free products and HNN extensions. For the p-gradient the Kurosh subgroup theorems for amalgamated free products and HNN extensions will be used.
We introduce the notion of a probabilistic identity of a residually finite group. We prove that a finitely generated linear group satisfies a probabilistic identity if and only if it is virtually solvable. As an application, we prove a probabilistic variant of the Tits alternative: let G be the profinite completion of a finitely generated linear group. Then either G is virtually solvable, or for any positive integer n, with probability one, n independent, uniformly distributed elements of G freely generate a free subgroup of G of rank n.
We prove that the rank gradient vanishes for mapping class groups of genus bigger than 1, $Aut(F_n)$, for all $n$, $Out(F_n)$ for $n \geq 3$, and any Artin group whose underlying graph is connected. These groups have fixed price 1. We compute the rank gradient and verify that it is equal to the first $L^2$-Betti number for some classes of Coxeter groups.
It is an immediate consequence of the results by Yiftach and Schlage-Puchta that a presentation with p-deficiency greater than one defines a group with positive rank gradient. By results of Button and Thillaisundaram, a finite presentation with p-deficiency greater than one defines a p-large group. Both Yiftach/Schlage-Puchta and Thillaisundaram extended these results to the p-deficiency one case. In this paper we consider the case when the presentation has p-deficiency less than or equal to one.
For an arbitrary sequence $(G_s)$ of subgroups of finite index in the generalised Thompson group $$F_{n, \infty} = \langle x_0, x_1, \ldots, x_m, \ldots \mid x_i^{x_j} = x_{i+ n-1} \hbox{ for } i > j \geq 0 \rangle$$ it is shown that $\sup_{s \geq 1} d(G_s) < \infty$ and that the deficiency gradient of $F_{n, \infty}$ with respect to $(G_s)$ is 0 provided $[G : G_s]$ tends to infinity. A higher dimensional analogue is considered for $n = 2$.
The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we investigate $C\left(IA(Φ_{n}),Φ_{n}\right)$, where $Φ_{n}$ is a free metabelian group on $n\geq4$ generators, and $IA(Φ_{n})=\ker(Aut(Φ_{n})\to GL_{n}(\mathbb{Z}))$. We show that in this case $C(IA(Φ_{n}),Φ_{n})$ is abelian, but not trivial, and not even finitely generated. This behavior is very different from what happen…