Related papers: Mod-5 Galois images from abelian surfaces
Given a prime number l greater than or equal to 5, we construct an infinite family of three-dimensional abelian varieties over Q such that, for any A/Q in the family, the Galois representation \rho_{A, l}: Gal_Q -> GSp(6, l) attached to the…
A lot of work has gone into computing images of Galois representations coming from elliptic curves. This article presents an algorithm to determine the image of the mod-$3$ Galois representation associated to a principally polarized abelian…
Consider a non-CM elliptic curve $E$ defined over $\mathbb{Q}$. For each prime $\ell$, there is a representation $\rho_{E,\ell}: G \to GL_2(\mathbb{F}_\ell)$ that describes the Galois action on the $\ell$-torsion points of $E$, where $G$ is…
In this paper, we propose an improved algorithm for computing mod $\ell$ Galois representations associated to eigenforms of arbitrary levels prime to $\ell$. Precisely, we present a method to find the Jacobians of modular curves which have…
In this paper we generalize results of P. Le Duff to genus n hyperelliptic curves. More precisely, let C/Q be a hyperelliptic genus n curve and let J(C) be the associated Jacobian variety. Assume that there exists a prime p such that J(C)…
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This…
It is known that for any elliptic curve $E/\mathbb{Q}$ and any integer $m$ co-prime to $30,$ the induced Galois representation $\rho_{E,m}: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \longrightarrow \text{GL}_{2}(\mathbb{Z}/m\mathbb{Z})$…
For a genus $2$ curve $C$ over $\mathbb{Q}$ whose Jacobian $A$ admits only trivial geometric endomorphisms, Serre's open image theorem for abelian surfaces asserts that there are only finitely many primes $\ell$ for which the Galois action…
We discuss the $\ell$-adic case of Mazur's "Program B" over $\mathbb{Q}$, the problem of classifying the possible images of $\ell$-adic Galois representations attached to elliptic curves $E$ over $\mathbb{Q}$, equivalently, classifying the…
We compute modular Galois representations associated with a newform $f$, and study the related problem of computing the coefficients of $f$ modulo a small prime $\ell$. To this end, we design a practical variant of the complex…
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…
We gives an explicit genus 3 curve over Q such that the Galois action on the torsion points of its Jacobian is a large as possible. That such curves exist is a consequence of a theorem of D. Zureick-Brown and the author; however, those…
In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our…
We extend our method to compute division polynomials of Jacobians of curves over Q to curves over Q(t), in view of computing mod ell Galois representations occurring in the \'etale cohomology of surfaces over Q. Although the division…
In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points…
Let $k$ be a subfield of $\mathbb{C}$ which contains all $2$-power roots of unity, and let $K = k(\alpha_{1}, \alpha_{2}, ... , \alpha_{2g + 1})$, where the $\alpha_{i}$'s are independent and transcendental over $k$, and $g$ is a positive…
We define a pro-$p$ Abelian sheaf on a modular curve of a fixed level $N \geq 5$ divisible by a prime number $p \neq 2$. Every $p$-adic representation of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ associated to an eigenform is obtained…
Let E be an elliptic curve without complex multiplication (CM) over a number field K, and let G_E(ell) be the image of the Galois representation induced by the action of the absolute Galois group of K on the ell-torsion subgroup of E. We…
We construct an explicit example of a genus $2$ curve $C$ over a number field $K$ such that the adelic Galois representation arising from the action of $\operatorname{Gal}(\overline{K}/K)$ on the Jacobian of $C$ has image…
Let $A$ be a semistable principally polarized abelian variety of dimension $d$ defined over the rationals. Let $\ell$ be a prime and let $\bar{\rho}_{A,\ell} : G_{\mathbb{Q}} \rightarrow \mathrm{GSp}_{2d}(\mathbb{F}_\ell)$ be the…