BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Aner Shalev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a ping-pong argument.
We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications.
We use character theory of finite groups of Lie type to establish new results on representation varieties of Fuchsian groups, and also on probabilistic generation of groups of Lie type.
In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$. We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity. Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements.
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$-Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$-algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.
Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$. In this paper we consider subgroups at the next level of the subgroup lattice - the so-called second maximal subgroups. We prove that with the possible exception of some families of rank 1 groups of Lie type, the number of generators of every second maximal subgroup of $G$ is bounded by an absolute constant. We also show that such a bound holds without any exceptions if and only if there are only finitely many primes $r$ for which there is a prime power $q$ such that $(q^r-1)/(q-1)$ is prime. The latter statement is a formidable open problem in Number Theory. Applications to random generation and polynomial growth are also given.
We study the distribution of products of conjugacy classes in finite simple groups, obtaining various effective uniformity results, which give rise to an approximation to a conjecture of Thompson. Our results, combined with work of Gowers and Viola, also lead to the solution of recent conjectures they posed on interleaved products and related complexity lower bounds, extending their work on the groups SL$(2,q)$ to all (nonabelian) finite simple groups. In particular it follows that, if $G$ is a finite simple group, and $A, B \subseteq G^t$ for $t \ge 2$ are subsets of fixed positive densities, then, as $a = (a_1, \ldots , a_t) \in A$ and $b = (b_1, \ldots , b_t) \in B$ are chosen uniformly, the interleaved product $a \bullet b := a_1b_1 \cdots a_tb_t$ is almost uniform on $G$ (with quantitative estimates) with respect to the $\ell_{\infty}$-norm. It also follows that the communication complexity of an old decision problem related to interleaved products of $a, b \in G^t$ is at least $Ω(t \log |G|)$ when $G$ is a finite simple group of Lie type of bounded rank, and at least $Ω(t \log \log |G|)$ when $G$ is any finite simple group. Both these bounds are best possible.
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 show that small normal subsets $A$ of finite simple groups expand very rapidly -- namely, $|A^2| \ge |A|^{2-ε}$, where $ε>0$ is arbitrarily small.
We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is surjective on every finite non-abelian simple group; If is an odd integer, then the word map sending the triple (x,y,z) to the product of the Nth powers is surjective on every finite quasisimple group. These generalize classical theorems of Burnside and Feit-Thompson. We also prove asymptotic results about the surjectivity of the word map sending (x,y) to the product of the Nth powers of x and y that depend on the number of prime factors of the integer N.
A subset S of a group G invariably generates G if G = <s^(g(s)) | s in S> for each choice of g(s) in G, s in S. In this paper we study invariable generation of infinite groups, with emphasis on linear groups. Our main result shows that a finitely generated linear group is invariably generated by some finite set of elements if and only if it is virtually solvable. We also show that the profinite completion of an arithmetic group having the congruence subgroup property is invariably generated by a finite set of elements.
The classical Waring problem deals with expressing every natural number as a sum of g(k) k-th powers. Similar problems were recently studied in group theory, where we aim to present group elements as short products of values of a given non-trivial word w. In this paper we study this problem for Lie groups and Chevalley groups over infinite fields. We show that for a fixed non-trivial word w and for a classical connected real compact Lie group G of sufficiently large rank we have w(G)^2=G, namely every element of G is a product of 2 values of w. We prove a similar result for non-compact Lie groups of arbitrary rank, arising from Chevalley groups over R or over a p-adic field. We also study this problem for Chevalley groups over arbitrary infinite fields, and show in particular that every element in such a group is a product of two squares.
For any positive integers m and n, the word map (x,y) -> x^m y^n is almost measure preserving on large finite simple groups G.
We study the sets of values of words in p-adic and adelic groups.
We propose a general conjecture on decompositions of finite simple groups as products of conjugates of an arbitrary subset. We prove this conjecture for bounded subsets of arbitrary finite simple groups, and for large subsets of groups of Lie type of bounded rank. Some of our arguments apply recent advances in the theory of growth in finite simple groups of Lie type, and provide a variety of new product decompositions of these groups.
The classical Waring problem deals with expressing every natural number as a sum of g(k) kth powers. Similar problems for finite simple groups have been studied recently, and in this paper we study them for finite quasisimple groups G. We show that for a fixed non-trivial group word w and large enough G we have w(G)^3=G, namely every element of G is a product of 3 values of w. For various families of finite quasisimple groups, including covers of alternating groups, we obtain a stronger result, namely w(G)^2=G. However, in contrast with the case of simple groups, we show that w(G)^2 need not equal G for all large G. If k>2 then x^k y^k fails to be surjective for infinitely many finite quasisimple groups. The case k=2 turns out to be exceptional. Indeed, our last result shows that every element of a finite quasisimple group is a product of two squares. This can be regarded as a non-commutative analogue of Lagrange's four squares theorem.
We give estimates on the number $AL_H(x)$ of arithmetic lattices $Γ$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\log AL_H(x) / x\log x$ when $x\to\infty$. The proofs use several different techniques: geometric (bounding the number of generators of $Γ$ as a function of its covolume), number theoretic (bounding the number of maximal such $Γ$) and sharp estimates on the character values of the symmetric groups (to bound the subgroup growth of $Γ$).
Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we have $a^{-1}(X)/|G|^2 = |X|/|G| + o(1)$, namely $a$ is almost measure preserving. From this we deduce that almost all elements $g \in G$ can be expressed as commutators $g = [x,y]$ where x,y generate G. This enables us to solve some open problems regarding T-systems and the Product Replacement Algorithm (PRA) graph. We show that the number of T-systems in G with two generators tends to infinity as the order of G goes to infinity. This settles a conjecture of Guralnick and Pak. A similar result follows for the number of connected components of the PRA graph of G with two generators. Some of our results apply for more general finite groups, and more general word maps. Our methods are based on representation theory, combining classical character theory with recent results on character degrees and values in finite simple groups. In particular the so called Witten zeta function plays a key role in the proofs.
We prove that random d-regular Cayley graphs of the symmetric group asymptotically almost surely have girth at least (log_{d-1}|G|)^{1/2}/2 and that random d-regular Cayley graphs of simple algebraic groups over F_q asymptotically almost surely have girth at least log_{d-1}|G|/dim(G). For the symmetric p-groups the girth is between log log |G| and (log|G|)^alpha with alpha<1. Several conjectures and open questions are presented.