Related papers: $\Out(F_n)$ and the spectral gap conjecture

The Guillemin-Sternberg conjecture states that "quantisation commutes with reduction" in a specific technical setting. So far, this conjecture has almost exclusively been stated and proved for compact Lie groups $G$ acting on compact…

In this paper, we prove that the symmetric group $\mathrm{S}_n$ has $2^{n^2/16+o(n^2)}$ subgroups, settling a conjecture of Pyber from 1993. We also derive asymptotically sharp upper and lower bounds on the number of subgroups of…

The joint spectral theory of a system of pairwise commuting self-adjoint left-invariant differential operators L_1,...,L_n on a connected Lie group G is studied, under the hypothesis that the algebra generated by them contains a "weighted…

Given a countable group G, we consider the sets S_factor(G), S_eqrel(G), of subgroups F of the positive real line for which there exists a free ergodic probability measure preserving action G on X such that the fundamental group of the…

Let $M$ be a connected, noncompact, complete Riemannian manifold, consider the operator $L=\DD +\nn V$ for some $V\in C^2(M)$ with $\exp[V]$ integrable w.r.t. the Riemannian volume element. This paper studies the existence of the spectral…

A theory for the transitive action of a group on the configuration space of a system of particles is shown to lead to the conclusion that interactions can be represented by the action of cosets of the group. By application of this principle…

The current work applies some recent combinatorial tools due to Jain to control the eigenvalue gaps of a matrix $M_n = M + N_n$ where $M$ is deterministic, symmetric with large operator norm and $N_n$ is a random symmetric matrix with…

Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group $\Gamma$ contains measurably the free group $\mathbf F_2$ on two generators: there exists a probability measure-preserving,…

The celebrated Erdos-Hajnal conjecture states that for every $n$-vertex undirected graph $H$ there exists $\eps(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or an independent set of size…

We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have…

The Cannon Conjecture from the geometric group theory asserts that a word hyperbolic group that acts effectively on its boundary, and whose boundary is homeomorphic to the 2-sphere, is isomorphic to a Kleinian group. We prove the following…

Fuglede's conjecture states that a subset $\Omega\subseteq\mathbb{R}^{n}$ of positive and finite Lebesgue measure is a spectral set if and only if it tiles $\mathbb{R}^{n}$ by translation. The conjecture does not hold in both directions for…

We study some dynamical properties of the canonical Aut(F_n)-action on the space R_n(G) of redundant representations of the free group F_n in G, where G is the group of rational points of a simple algebraic group over a local field. We show…

The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is…

Let H be the homogeneous space associated to the group PGL_3(R). Let X=\Gamma/H where \Gamma=SL_3(Z) and consider the first non-trivial eigenvalue \lambda_1 of the Laplacian on L^2(X). Using geometric considerations, we prove the inequality…

For a finite dimensional algebra $A$ with $0 < \phi dim (A) = m < \infty$ we prove that there always exist modules $M$ and $N$ such that $\phi(M) = m-1$ and $\phi (N) = 1$. On the other hand, we see an example of an algebra that not every…

It is well-known that entire functions whose spectrum belongs to a fixed bounded set $S$ admit real uniformly discrete uniqueness sets $\Lambda$. We show that the same is true for much wider spaces of continuous functions. In particular,…

Let $F(n)$ be a connected and simply connected free 2-step nilpotent lie group and $K$ be a compact subgroup of Aut($F(n)$). We say that $(K,F(n))$ is a Gelfand pair when the set of integrable $K$-invariant functions on $F(n)$ forms an…

Given a free group of rank r >= 3 and two exponentially growing outer automorphisms {\psi} and {\phi} with dual lamination pairs {\Lambda^\pm}_{\psi} and {\Lambda^\pm}_{\phi} associated to them, which satisfy a notion of independence…

Let $G$ be an $n$-vertex graph with Laplacian eigenvalues $0=\lambda_1(G)\le \lambda_2(G)\le\cdots\le \lambda_n(G)$. Motivated by the Alon-Boppana bound and the Ramanujan phenomenon for regular graphs, Spielman conjectured that, for every…