Related papers: Zariski density and finite quotients of mapping cl…

For an odd prime $p$, we determine the lower central series of a large family of non-periodic GGS-groups, which has a density of roughly $(\frac{p-1}{p})^2$ within all GGS-groups. This means a significant extension of the knowledge…

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…

When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often…

Let $\mathcal{G}$ be a finite group scheme over an algebraically closed field $k$ of characteristic ${\rm char}(k)=p\geq 3$. In generalization of the familiar notion from the modular representation theory of finite groups, we define the…

We reduce the classification of finite subgroups in compact Lie groups to that of quasi-simple ones, prove the number of conjugacy classes is finite and each cojugacy class is Zariski closed in mapping space, and classify "strongly…

Let $\Gamma$ be a Zariski-dense subgroup of a reductive group $\mathbf{G}$ defined over a field $F$. Given a finite collection of finite subgroups $H_i$ ($i \in I$) of $\mathbf{G}(F)$ avoiding the center, we establish a criterion to ensure…

We show that real semi-simple Lie groups of higher rank contain (infinitely generated) discrete subgroups with full limit sets in the corresponding Furstenberg boundaries. Additionally, we provide criteria under which discrete subgroups of…

A consequence of Rapinchuk et al. is that for $S$ a closed surface of genus $g\geq 2$, the set of Hitchin representations of $\pi_1(S)$ with image in $\mathrm{SL}(n,\mathbb{Q})$ is dense in the Hitchin component. We give a dynamical proof…

For $i=1,\ldots,k$, let $\mathbf{G}_i$ be a connected, simply connected, semisimple algebraic group over some local field $\kappa_i$ of characteristic zero. Let $G_i=\mathbf{G}_i(\kappa_i)$ be the $\kappa_i$-points of $\mathbf{G}_i$ and…

We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if…

In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…

We begin by showing that commensurators of Zariski dense subgroups of isometry groups of symmetric spaces of non-compact type are discrete provided that the limit set on the Furstenberg boundary is not invariant under the action of a…

Any nontrivial homomorphism from the mapping class group of an orientable surface of genus $g\geq 3$ to $\GL(2g,\C)$ is conjugate to the standard symplectic representation. It is also shown that the mapping class group has no faithful…

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be an odd prime and $\iota: \overline{\mathbb{Q}}\hookrightarrow \mathbb{C}_p$ an embedding. Let $K$ be an imaginary quadratic field and $H_{K}$ the corresponding Hilbert class field.…

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…

Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…

The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski…

For every prime $p\geq 5$ for which a certain condition on the class group $\text{Cl}(\mathbb{Q}(\mu_p))$ is satisfied, we construct a $p$-adic analytic Galois extension of the infinite cyclotomic extension $\mathbb{Q}(\mu_{p^{\infty}})$…

We give finite presentations for the fundamental group of moduli stacks of smooth Weierstrass curves over complex projective space P^n which extend the classical result for elliptic curves to positive dimensional base. We thus get natural…

We show that Mukai's classification of finite groups which may act symplectically on a complex K3 surface extends to positive characteristic $p$ under the assumptions that (i) the order of the group is coprime to $p$ and (ii) either the…