BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alexander Lubotzky 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
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 $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is isomorphic to a subgroup of $G$. Borel [Bo] asked if there exist $M$'s with $G(M)$ trivial and if the number of conjugacy classes of finite subgroups of $\text{Homeo}^+(M)$ is finite. We answer both questions: (1) For every finite group $G$ there exist $M$'s with $G(M) = G$, and (2) the number of maximal subgroups of $\text{Homeo}^+(M)$ can be either one, countably many or continuum and we determine (at least for $\dim M \neq 4$) when each case occurs. Our detailed analysis of (2) also gives a complete characterization of the topological local rigidity and topological strong rigidity (for dim$M\neq 4$) of proper discontinuous actions of uniform lattices in semisimple Lie groups on the associated symmetric spaces.
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.
We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.
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 profinite group on $\aleph_{0}$ generators. 3. $C\left(Φ_{3}\right)$ contains $\hat{F}_ω$. Results 2. and 3. should be contrasted with an upcoming result of the first author showing that $C\left(Φ_{n}\right)$ is abelian for $n\geq4$.
To every $Q$-irreducible representation $r$ of a finite group $H$, there corresponds a simple factor $A$ of $Q[H]$ with an involution $τ$. To this pair $(A,τ)$, we associate an arithmetic group $Ω$ consisting of all $(2g-2)\times (2g-2)$ matrices over a natural order of $A^{op}$ which preserve a natural skew-Hermitian sesquilinear form on $A^{2g-2}$. We show that if $H$ is generated by less than $g$ elements, then $Ω$ is a virtual quotient of the mapping class group $Mod(Σ_g)$, i.e. a finite index subgroup of $Ω$ is a quotient of a finite index subgroup of $\Mod(Σ_g)$. This shows that the mapping class group has a rich family of arithmetic quotients (and "Torelli subgroups") for which the classical quotient $Sp(2g, Z)$ is just a first case in a list, the case corresponding to the trivial group $H$ and the trivial representation. Other pairs of $H$ and $r$ give rise to many new arithmetic quotients of $Mod(Σ_g)$ which are defined over various (subfields of) cyclotomic fields and are of type $Sp(2m), SO(2m,2m),$ and $SU(m,m)$ for arbitrarily large $m$.
We introduce a new model of random $d$-dimensional simplicial complexes, for $d\geq 2$, whose $(d-1)$-cells have bounded degrees. We show that with high probability, complexes sampled according to this model are coboundary expanders. The construction relies on Keevash's recent result on designs [Ke14], and the proof of the expansion uses techniques developed by Evra and Kaufman in [EK15]. This gives a full solution to a question raised in [DK12], which was solved in the two-dimensional case by Lubotzky and Meshulam [LM13].
Following Gromov, the coboundary expansion of building-like complexes is studied. In particular, it is shown that for any $n \geq 1$, there exists a constant $ε(n)>0$ such that for any $0 \leq k <n$ the $k$-th coboundary expansion constant of any $n$-dimensional spherical building is at least $ε(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.
Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged, and several variants have been studied. Among them stand out coboundary expansion and topological expansion. It is known that for every $d$ there are unbounded degree simplicial complexes of dimension $d$ with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders exist for $d \geq 2$. We present an explicit construction of bounded degree complexes of dimension $d=2$ which are topological expanders, thus answering Gromov's question in the affirmative. Conditional on a conjecture of Serre on the congruence subgroup property, infinite sub-family of these give also a family of bounded degree coboundary expanders. The main technical tools are new isoperimetric inequalities for Ramanujan Complexes. We prove linear size bounds on $F_2$ systolic invariants of these complexes, which seem to be the first linear $F_2$ systolic bounds. The expansion results are deduced from these isoperimetric inequalities.
Expander graphs have been a focus of attention in computer science in the last four decades. In recent years a high dimensional theory of expanders is emerging. There are several possible generalizations of the theory of expansion to simplicial complexes, among them stand out coboundary expansion and topological expanders. It is known that for every d there are unbounded degree simplicial complexes of dimension d with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders, according to these definitions, exist for d >= 2. We present an explicit construction of bounded degree complexes of dimension d = 2 which are high dimensional expanders. More precisely, our main result says that the 2-skeletons of the 3-dimensional Ramanujan complexes are topological expanders. Assuming a conjecture of Serre on the congruence subgroup property, infinitely many of them are also coboundary expanders.
We show that for any integers k and g, with g at least two, there are infinitely many closed hyperbolic 3-manifolds which are integral homology spheres with Casson invariant k, and Heegaard genus equal to g. This existence result is shown using random methods, using a model of random 3-manifolds arising from random walks on the mapping class group of a closed orientable surface.
We estimate the dimension of varieties of the form Hom(F,G) where F is a Fuchsian group and G is a simple real algebraic group, answering along the way a question of I. Dolgachev.
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.
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters could exist at all.
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.
Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(ϕ) of every Z_2-valued 1-cochain ϕ\in C^1(X;Z_2) satisfies |support(d_1(ϕ))| \geq ε|\supp(ϕ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.
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!)
We investigate the conjugacy growth of finitely generated linear groups. We show that finitely generated non-virtually-solvable subgroups of GL_d have uniform exponential conjugacy growth and in fact that the number of distinct polynomials arising as characteristic polynomials of the elements of the ball of radius n for the word metric has exponential growth rate bounded away from 0 in terms of the dimension d only.
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}.
We prove that the set of non-pseudo-Anosov elements in the Torelli group is exponentially small.
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].
A Beauville surface is a rigid complex surface of the form (C1 x C2)/G, where C1 and C2 are non-singular, projective, higher genus curves, and G is a finite group acting freely on the product. Bauer, Catanese, and Grunewald conjectured that every finite simple group G, with the exception of A5, gives rise to such a surface. We prove that this is so for almost all finite simple groups (i.e., with at most finitely many exceptions). The proof makes use of the structure theory of finite simple groups, probability theory, and character estimates.
The following two results are shown. 1) Let $G$ be the $k$-rational points of a simple algebraic group over a local field $k$ and let $H$ be a lattice in $G.$ Then the regular representation of $G$ on $L^2(G/H)$ has a spectral gap (that is, there are no almost invariant unit vectors in the subspace of functions in $L^2(G/H)$ with zero mean). 2) There exist locally compact simple groups $G$ and lattices $H$ for which $L^2(G/H)$ has no spectral gap. This answers in the negative a question asked by Margulis. In fact, $G$ can be taken to be the group of orientation preserving automorphisms of a $k$-regular tree for $k>2.$
Margulis showed that "most" arithmetic groups are superrigid. Platonov conjectured, conversely, that finitely generated linear groups which are superrigid must be of "arithmetic type." We construct counterexamples to Platonov's Conjecture.