Related papers: Relative Pro-$\ell$ Completions of Mapping Class G…

We prove that any semi-simple representation of the Galois group of a number field coming from geometry appears as a subquotient of the ring of regular functions on the pro-algebraic completion of the fundamental group of the projective…

For each open subgroup $G$ of ${\rm GL}_2(\hat{\mathbb{Z}})$ containing $-I$ with full determinant, let $X_G/\mathbb{Q}$ denote the modular curve that loosely parametrizes elliptic curves whose Galois representation, which arises from the…

We complete the classification of torsion subgroups $E(K)_{\text{tors}}$ that can occur for an elliptic curve $E/\mathbb{Q}$ over a sextic number field $K$. Previous work determined the complete set of these groups, leaving the existence of…

For a number field $F$ and a prime number $p$, the $\mathbb{Z}_p$-torsion module of the Galois group of the maximal abelian pro-$p$ extension of $F$ unramified outside $p$ over $F$, denoted as $\mathcal{T}_p(F)$, is an important subject in…

Given a natural number n and a number field K, we show the existence of an integer \ell_0 such that for any prime number \ell\geq \ell_0, there exists a finite extension F/K, unramified in all places above \ell, together with a principally…

Let $G$ be a connected reductive group over a totally real field $F$ which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on $G(\mathbb…

Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…

Let $K$ be a field, and let $f\in K(z)$ be a rational function of degree $d\geq 2$. The Galois group of the field extension generated by the preimages of $x_0\in K$ under all iterates of $f$ naturally embeds in the automorphism group of an…

In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the…

A central problem in the study of generalized quadrangles is to classify finite generalized quadrangles satisfying certain symmetry conditions. It is known that an automorphism group of a finite thick generalized quadrangle $\mathcal{S}$…

In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was…

The mapping class group of a closed surface of genus $g$ is an extension of the Torelli group by the symplectic group. This leads to two natural problems: (a) compute (stably) the symplectic decomposition of the lower central series of the…

In the classical case of irreducible smooth algebraic curves every genus $2$ curve is hyperelliptic, or in other words there is a complete linear series $g_2^1$ on them. On the other hand if $g > 2$, then a generic smooth curve of genus $2$…

For each finite subgroup $G$ of $PGL_2(\mathbb{Q})$, and for each integer $n$ coprime to $6$, we construct explicitly infinitely many Galois extensions of $\mathbb{Q}$ with group $G$ and whose ideal class group has $n$-rank at least…

We determine the local deformation rings of sufficiently generic mod $l$ representations of the Galois group of a $p$-adic field, when $l \neq p$, relating them to the space of $q$-power-stable semisimple conjugacy classes in the dual…

Let $q$ be a prime and $A$ an elementary abelian $q$-group acting as a coprime group of automorphisms on a profinite group $G$. We show that if $A$ is of order $q^2$ and some power of each element in $C_G(a)$ is Engel in $G$ for any $a\in…

Let C be a complex smooth projective algebraic curve endowed with an action of a finite group G such that the quotient curve has genus at least 3. We prove that if the G-curve C is very general for these properties, then the natural map…

Let p be a prime, let G be a p-valuable, abelian-by-procyclic group, and let k be a field of characteristic p. We will prove that all faithful prime ideals of the completed group algebra kG are controlled by the centre of G, and a complete…

For any simple algebraic group $G$ of exceptional type, we construct geometric $\ell$-adic Galois representations with algebraic monodromy group equal to $G$, in particular producing the first such examples in types $\mathrm{F}_4$ and…

Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot…