Searcharxiv⌕ Search

arXiv subjects

Alexander Lubotzky

Publications and source records attributed to Alexander Lubotzky.

At least 55 records · Page 3Linked to original sources
arXiv2018

Stability and Invariant Random Subgroups

Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $Γ$ is \emph{P-stable} if every almost homomorphism $ρ_{n_k}\colon Γ\rightarrow\operatorname{Sym}(n_k)$ (i.e., for every $g,h\inΓ$, $\lim_{k\rightarrow\infty}d_{n_k}( ρ_{n_k}(gh),ρ_{n_k}(g)ρ_{n_k}(h))=0$) is close to an actual homomorphism $φ_{n_k} \colonΓ\rightarrow\operatorname{Sym}(n_k)$. Glebsky and Rivera observed that finite groups are P-stable, while Arzhantseva and Păunescu showed the same for abelian groups and raised many questions, especially about P-stability of amenable groups. We develop P-stability in general, and in particular for amenable groups. Our main tool is the theory of invariant random subgroups (IRS), which enables us to give a characterization of P-stability among amenable groups, and to deduce stability and instability of various families of amenable groups.

math.GR↗
arXiv2017

High Dimensional Expanders

Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence and applications going both ways (cf. [Lub94], [HLW06], [Lub12] and the references therein). In the last decade, a theory of "high dimensional expanders" has begun to emerge. The goal of the current paper is to describe some paths of this new area of study.

math.GR↗
arXiv2017

Ramanujan Graphs

This is an item on Ramanujan Graphs for a planned encyclopedia on Ramanujan. The notion of Ramanujan graphs is explained, as well as the reason to name these graphs after Ramanujan.

math.HO↗
arXiv2017

The congruence topology, Grothendieck duality and thin groups

This paper answers a question raised by Grothendieck in 1970 on the "Grothendieck closure" of an integral linear group and proves a conjecture of the first author made in 1980. This is done by a detailed study of the congruence topology of arithmetic groups, obtaining along the way, an arithmetic analogue of a classical result of Chevalley for complex algebraic groups. As an application we also deduce a group theoretic characterization of thin subgroups of arithmetic groups.

math.GR↗
arXiv2017

Good cyclic codes and the uncertainty principle

A long standing problem in the area of error correcting codes asks whether there exist good cyclic codes. Most of the known results point in the direction of a negative answer. The uncertainty principle is a classical result of harmonic analysis asserting that given a non-zero function $f$ on some abelian group, either $f$ or its Fourier transform $\hat{f}$ has large support. In this note, we observe a connection between these two subjects. We point out that even a weak version of the uncertainty principle for fields of positive characteristic would imply that good cyclic codes do exist. We also provide some heuristic arguments supporting that this is indeed the case.

cs.IT↗
arXiv2016

The Congruence Subgroup Problem for low rank Free and Free Metabelian groups

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$.

math.GR↗
arXiv2016

On groups and simplicial complexes

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.

math.CO↗
arXiv2016

A trichotomy theorem for transformation groups of locally symmetric manifolds and topological rigidity

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.

math.GR↗
arXiv2015

Random Steiner systems and bounded degree coboundary expanders of every dimension

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].

math.CO↗
arXiv2015

Arithmetic quotients of the mapping class group

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$.

math.GT↗
arXiv2014

Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders

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.

math.CO↗
arXiv2014

Ramanujan Complexes and bounded degree topological expanders

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.

math.CO↗
arXiv2014

Mixing properties and the chromatic number of Ramanujan complexes

Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs.

math.CO↗
arXiv2014

Expansion of Building-Like Complexes

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)$.

math.CO↗
arXiv2014

Invariable Generation of Infinite Groups

A subset S of a group G invariably generates G if G = 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.

math.GR↗
arXiv2014

Representation varieties of Fuchsian groups

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.

math.AG↗