BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Alexander Lubotzky contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
By a classical result of Neukirch and Uchida, a number field K is determined by the structure of its absolute Galois group Gal(K). We show that K is not determined by the structure of the Sylow subgroups of Gal(K), answering a question raised by Florian Pop.
By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is known that every abelian representation of $G_{\mathbb{Q}}$ can be extended to $\widehat{GT}$, Lochak and Schneps put forward the challenge of constructing irreducible non-abelian representations of $\widehat{GT}$. We do this virtually, namely by showing that a rich class of arithmetically defined representations of $G_{\mathbb{Q}}$ can be extended to finite index subgroups of $\widehat{GT}$. This is achieved, in fact, by extending these representations all the way to finite index subgroups of $A=\mathrm{Aut}(\widehat{F_2})$. We do this by developing a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group $\mathrm{Aut}(F_d)$.
$ $Abert, Gelander and Nikolov [AGN17] conjectured that the number of generators $d(Γ)$ of a lattice $Γ$ in a high rank simple Lie group $H$ grows sub-linearly with $v = μ(H / Γ)$, the co-volume of $Γ$ in $H$. We prove this for non-uniform lattices in a very strong form, showing that for $2-$generic such $H$'s, $d(Γ) = O_H(\log v / \log \log v)$, which is essentially optimal. While we can not prove a new upper bound for uniform lattices, we will show that for such lattices one can not expect to achieve a better bound than $d(Γ) = O(\log v)$.
A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$. This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled.
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 the case $G=Aut(Γ)$ we denote $C\left(Γ\right)=C\left(Aut(Γ),Γ\right)$. Let $Γ$ be a finitely generated group, $\barΓ=Γ/[Γ,Γ]$, and $Γ^{*}=\barΓ/tor(\barΓ)\cong\mathbb{Z}^{(d)}$. Denote $Aut^{*}(Γ)=\textrm{Im}(Aut(Γ)\to Aut(Γ^{*}))\leq GL_{d}(\mathbb{Z})$. In this paper we show that when $Γ$ is nilpotent, there is a canonical isomorphism $C\left(Γ\right)\simeq C(Aut^{*}(Γ),Γ^{*})$. In other words, $C\left(Γ\right)$ is completely determined by the solution to the classical congruence subgroup problem for the arithmetic group $Aut^{*}(Γ)$. In particular, in the case where $Γ=Ψ_{n,c}$ is a finitely generated free nilpotent group of class $c$ on $n$ elements, we get that $C(Ψ_{n,c})=C(\mathbb{Z}^{(n)})=\{e\}$ whenever $n\geq3$, and $C(Ψ_{2,c})=C(\mathbb{Z}^{(2)})=\hat{F}_ω$ = the free profinite group on countable number of generators.
Let $2 \leq a \leq b \leq c \in \mathbb{N}$ with $μ=1/a+1/b+1/c<1$ and let $T=T_{a,b,c}=< x,y,z: x^a=y^b=z^c=xyz=1>$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$? (Classically, for $(a,b,c)=(2,3,7)$ and more recently also for general $(a,b,c)$.) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially prove a conjecture of Marion [21] showing that various finite simple groups are not quotients of $T$, as well as positive results showing that many finite simple groups are quotients of $T$.
This paper is a continuation of our first paper [10] in which we showed how deformation theory of representation varieties can be used to study finite simple quotients of triangle groups. While in Part I, we mainly used deformations of the principal homomorphism from ${\rm SO}(3,\R)$, in this part we use ${\rm PGL}_2(\R)$ as well as deformations of representations which are very different from the principal homomorphism.
Expander graphs in general, and Ramanujan graphs in particular, have been of great interest in the last three decades with many applications in computer science, combinatorics and even pure mathematics. In these notes we describe various efforts made in recent years to generalize these notions from graphs to higher dimensional simplicial complexes.
In this note we show that various (geometric/homological) finiteness properties are not profinite properties. For example for every $1 \le k, \ell \le \bbn$, there exist two finitely generated residually finite groups $\Ga_1$ and $\Ga_2$ with isomorphic profinite completions, such that $\Ga_1$ is strictly of type $F_k$ and $\Ga_2$ of type $F_\ell$.
In response to questions by Kassabov, Nikolov and Shalev, we show that a given subset $A$ of a finite simple group $G$ is the image of some word map $w : G\times G\to G $ if and only if (i) $A$ contains the identity and (ii) $A$ is invariant under $\Aut (G)$.
Let F be a finitely generated field of characteristic zero and Γ<GL_n(F) a finitely generated subgroup. For an element g in Γ, let Gal(F(g)/ F) be the Galois group of the splitting field of the characteristic polynomial of g over F. We show that the structure of Gal(F(g)/ F) has a typical behaviour depending on F, and on the geometry of the Zariski closure of Γ(but not on Γ).
Several different areas of group theory, topology and geometry have led to the study of the action of Aut(Fn) | the automorphism group of the free group on n generators | on Hom(Fn;G) when G is either finite,compact or simple Lie group. In this survey, we describe these topics and results, with special emphasis on some similarities and with an effort to give a somewhat uniform treatment. This perspective sometimes suggests new questions, conjectures and methods borrowed from one area to another.
We present a symmetric LDPC code with constant rate and constant distance (i.e. good LDPC code) that its constraint space is generated by the orbit of one constant weight constraint under a group action. Our construction provides the first symmetric LDPC good codes. This solves the main open problem raised by Kaufman and Wigderson in [4].
Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to play an increasing role also in pure mathematics: number theory, group theory, geometry and more. This expository article describes their constructions and various applications in pure and applied mathematics.
Let G be a finitely generated group and M_n(G) the number of its normal subgroup subgroups of index at most n. For linear groups G we show that M_n(G) can grow polynomially in n only if the semisimple part of the Zariski closure of G has simple components only of type G2, F4 or E8 (and in this case indeed this can happened!)
Let $π:\aut(F_n)\rightarrow \aut(\Z^n)$ be the epimorphism induced by the isomorphism $\Z^n \cong F_n/F_n'$ and define $\mathcal{T}_n:=\kerπ$. We prove that the subset of $\mathcal{T}_n$ consists of all non-iwip and all non-hyperbolic elements is exponentially small.
A general sieve method for groups is formulated. It enables one to "measure" subsets of a finitely generated group. As an application we show that if $Γ$ is a finitely generated non virtually-solvable linear group of characteristic zero then the set of proper powers in $Γ$ is exponentially small. This is a far reaching strengthening of the main result of \cite{HKLS}.
In "Non arithmetic super rigid groups: counter examples to Platonov's conjecture" Bass and Lubotzky gave a counter example to Platonov's conjecture by presenting an example of a linear group with super-rigidity which is not an arithmetic lattice. In this note, a much richer class of such groups is presented with a somewhat simpler proof.
The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample to the classical conjecture, as suggested in [5].