Related papers: Lifting subgroups of $\mathrm{PSL}_2$ to $\mathrm{…

It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…

For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.

Let $\boldsymbol{G}$ be an algebraic group of exceptional Lie type in characteristic $p$, $G=\boldsymbol{G}^{\sigma}$ its fixed-point subgroup under the action of a Steinberg endomorphism $\sigma$, and $\overline{G}$ an almost simple group…

We study embeddings of $\mathrm{PSL}_2(p^a)$ into exceptional groups $G(p^b)$ for $G=F_4,E_6,{}^2\!E_6,E_7$, and $p$ a prime with $a,b$ positive integers. With a few possible exceptions, we prove that any almost simple group with socle…

Let $\Gamma<\mathrm{PSL}_2(\mathbb{C})\simeq \mathrm{Isom}^+(\mathbb{H}^3)$ be a finitely generated non-Fuchsian Kleinian group whose ordinary set $\Omega=\mathbb{S}^2-\Lambda$ has at least two components. Let $\rho : \Gamma \to…

The compact hyperbolic triangle group $\Delta(p,q,r)$ admits a canonical representation to $\mathrm{PSL}_2(\mathbf{R})$ with discrete image which is unique up to conjugation. The trace field of this representation is \[K =…

Denote by Q(sqrt{-m}), with m a square-free positive integer, an imaginary quadratic number field, and by A its ring of integers. The Bianchi groups are the groups SL_2(A). We reveal a correspondence between the homological torsion of the…

Building on lifting results of Ramakrishna, Khare and Ramakrishna proved a purely Galois-theoretic level-raising theorem for two-dimensional odd representations of the Galois group of Q. In this paper, we generalize these techniques from…

In this note, we give a short proof of the existence of certain abelian extension over a given global field $K$. This result implies that for every positive integer $m$, there exists an abelian extension $L/K$ of exponent $m$ such that the…

We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.

We study finite groups arising from configurations of pairwise skew lines in $\mathbb{P}^3_K$. To such a configuration ${L}$ one associates a group $G_{L}\subset \mathrm{PGL}_2(K)$ acting on each line, and we investigate which finite…

We produce an example of an irreducible discrete subgroup in the product $SL(2,\R)\times SL(2,\R)$ which is not a lattice. This answers a question asked in [15].

We show for all local fields $K/\mathbb{Q}_p$, with $p >3$, all representations $\bar\rho:G_K \to G_2(\bar{\mathbb{F}}_p)$ admit a crystalline lift $\rho: G_K\to G_2(\bar{\mathbb{Z}}_p)$, where $G_2$ is the exceptional Chevalley group of…

We describe all supergroups with the largest even supersubgroups being isomorphic to $\mathrm{GL}_2, \mathrm{SL}_2$ or $\mathrm{PSL}_2$. These results are applied to the description of centralizers of certain tori in the quasi-reductive…

For an important class of arithmetic Dedekind domains O including the ring of integers of not totally complex number fields, we describe explicitly the group of linear characters of SL_2(O). For this, we determine, for arbitrary Dedekind…

We show that the bounded Borel class of any dense representation $\rho: G\to \PSL_n\bC$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the…

Let $E$ be an elliptic curve defined over a number field $K$ with supersingular reduction at all primes of $K$ above $p$. If $K_{\infty}/K$ is a $\mathbb{Z}_p$-extension such that $E(K_{\infty})[p^{\infty}]$ is finite and…

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…

We prove a rank-two potential automorphy theorem for mod $l$ representations satisfying an ordinary condition. Combined with an ordinary automorphy lifting theorem, we prove a rank-two, $p \ne l$ case of local-global compatibility for…

We establish formulae for the part due to torsion of the equivariant K-homology of all the Bianchi groups (PSL\_2 of the imaginary quadratic integers), in terms of elementary number-theoretic quantities. To achieve this, we introduce a…