Related papers: Uniform congruence counting for Schottky semigroup…

For $n > 2$, let $\Gamma$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq \Gamma$. This forms the main component of our…

Let $G$ and $G'$ be simple Lie groups of equal real rank and real rank at least $2$. Let $\Gamma <G$ and $\Lambda < G'$ be non-uniform lattices. We prove a theorem that often implies that any quasi-isometric embedding of $\Gamma$ into…

Let $G$ be an arbitrary group such that $G/\Z(G)$ is finite, where $\Z(G)$ denotes the center of the group $G$. Then $\gamma_2(G)$, the commutator subgroup of $G$, is finite. This result is known as Shur's theorem (the Schur's theorem). In…

The complement of the union of a collection of disjoint open disks in the $2$-sphere is called a Schottky set. We prove that a subset $S$ of the $2$-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of…

Let $\Gamma$ be a convex cocompact thin subgroup of an arithmetic lattice in $\operatorname{SO}(n, 1)$. We generalize Selberg's $\frac{3}{16}$ theorem in this setting, i.e., we prove uniform exponential mixing of the frame flow and obtain a…

Let $G$ be a finite $2$-generated non-cyclic group. The spread of $G$ is the largest integer $k$ such that for any nontrivial elements $x_1, \ldots, x_k$, there exists $y \in G$ such that $G = \langle x_i, y\rangle$ for all $i$. The more…

By Koebe's retrosection theorem, every closed Riemann surface of genus $g \geq 2$ is uniformized by a Schottky group. Marden observed that there are Schottky groups that are not classical ones, that is, they cannot be defined by a suitable…

We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group…

We prove spectral analogues of the classical strong multiplicity one theorem for newforms. Let $\Gamma_1$ and $\Gamma_2$ be uniform lattices in a semisimple group $G$. Suppose all but finitely many irreducible unitary representations (resp.…

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemer\'edi's…

Let $\Gamma$ be a finite index subgroup of the mapping class group $MCG(\Sigma)$ of a closed orientable surface $\Sigma$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element…

We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group \Gamma which admits the congruence…

We establish uniform bounds for the sup-norms of modular forms of arbitrary real weight $k$ with respect to a finite index subgroup $\Gamma$ of $\mathrm{SL}_2(\mathbb{Z})$. We also prove corresponding bounds for the supremum over a compact…

Let $\Gamma \subseteq \text{PSL}_2(\mathbb{Z})$ be a finite index subgroup. Let $\mathscr{X}(\Gamma)$ be a regular proper model of the modular curve associated with $\Gamma$, and let $\overline{\mathscr{L}}^{\otimes k}$ be the…

The Huneke-Wiegand conjecture is a decades-long open question in commutative algebra. Garc\'ia-S\'anchez and Leamer showed that a special case of this conjecture concerning numerical semigroup rings $\Bbbk[\Gamma]$ can be answered in the…

Real points of Schottky space ${\mathcal S}_{g}$ are in correspondence with extended Kleinian groups $K$ containing, as a normal subgroup, a Schottky group $\Gamma$ of rank $g$ such that $K/\Gamma \cong {\mathbb Z}_{2n}$ for a suitable…

Let $G$ be a finite simple group. By a theorem of Guralnick and Kantor, $G$ contains a conjugacy class $C$ such that for each non-identity element $x \in G$, there exists $y \in C$ with $G = \langle x,y\rangle$. Building on this deep…

Let G be a connected semisimple Lie group with finite center and without compact factors, P a minimal parabolic subgroup of G, and \Gamma a lattice in G. We prove that every \Gamma-orbits in the Furstenberg boundary G/P is equidistributed…

We prove the existence of positive lower bounds on the Cheeger constants of manifolds of the form $X/\Gamma$ where $X$ is a contractible Riemannian manifold and $\Gamma<\Isom(X)$ is a discrete subgroup, typically with infinite co-volume.…

We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).