Related papers: Mod-5 Galois images from abelian surfaces
This paper studies the Galois action on a special lattice of geometric origin, which is related to mod-$\ell$ abelian-by-central quotients of geometric fundamental groups of varieties. As a consequence, we formulate and prove the mod-$\ell$…
Let $C$ be a genus two hyperelliptic curve over a totally real field $F$. We show that the mod 2 Galois representation $\bar{\rho}_{C,2}\colon\mathrm{Gal}(\bar{F}/F)\to \mathrm{GSp}_4(\mathbb{F}_2)$ attached to $C$ is automorphic when the…
We present three families of pairs of geometrically non-isomorphic curves whose Jacobians are isomorphic to one another as unpolarized abelian varieties. Each family is parametrized by an open subset of P^1. The first family consists of…
Let $A$ be a semistable abelian variety defined over ${\bf Q}$ with bad reduction only at one prime $p$. Let $L= {\bf Q}(A[\ell])$ be the $\ell$-division field of $A$ for a prime $\ell$ not equal to $p$ and let $F={\bf Q}(\mu_\ell)$ be the…
In 1972, Serre showed that the adelic Galois representation associated to a non-CM elliptic curve over a number field has open image in GL_2(\hat{Z}). In Greicius' thesis, he develops necessary and sufficient criteria for determining when…
Heavenly abelian varieties are abelian varieties defined over number fields that exhibit constrained $\ell$-adic Galois representations for some rational prime $\ell$. At the ICMS Workshop held in November 2024, we presented evidence for…
We show that an infinite family of odd complex 2-dimensional Galois representations ramified at 5 having nonsolvable projective image are modular, thereby verifying Artin's conjecture for a new case of examples. Such a family contains the…
Let $Y$ be a genus $2$ curve over $\mathbb Q$. We provide a method to systematically search for possible candidates of a prime $\ell\geq 3$ and a genus $1$ curve $X$ for which there exists a genus $3$ curve $Z$ over $\mathbb Q$ whose…
We show that abelian surfaces (and consequently curves of genus 2) over totally real fields are potentially modular. As a consequence, we obtain the expected meromorphic continuation and functional equations of their Hasse--Weil zeta…
Let $C$ be a smooth projective curve of genus $g \ge 1$ over a finite field $\F$ of cardinality $q$. In this paper, we first study $\#\J_C$, the size of the Jacobian of $C$ over $\F$ in case that $\F(C)/\F(X)$ is a geometric Galois…
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431) the author proved that in characteristic $\ne 2$ the jacobian $J(C)$ of a hyperelliptic curve…
In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of $p$-adic Galois representations attached to elliptic curves over $\mathbb{Q}$.…
Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$…
Let $C$ be a nodal curve and $L$ be an invertible sheaf on $C$. Let $\alpha_{L}:C\dashrightarrow J_{C}$ be the degree-$1$ rational Abel map, which takes a smooth point $Q\in C$ to $\left[ m_{Q}\otimes L\right] $ in the Jacobian of $C$. In…
Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective…
In this paper, we describe Galois covers of algebraic curves and their families by using local systems associated to push-forward of sheaves by the structure morphism. More precisely, if $f:C\to Y$, we consider the sheaves $f_*(\C)$. The…
Let $p$ be an odd prime number and be an integer coprime to $p$. We survey an algorithm for computing explicit rational representations of $(\ell,...,\ell)$-isogenies between Jacobians of hyperelliptic curves of arbitrary genus over an…
To a hyperbolic smooth curve defined over a number-field one naturally associates an "anabelian" representation of the absolute Galois group of the base field landing in outer automorphism group of the algebraic fundamental group. In this…
Genus 5 curves can be hyperelliptic, trigonal, or non-hyperelliptic non-trigonal, whose model is a complete intersection of three quadrics in $\mathbb{P}^4$. We present and explain algorithms we used to determine, up to isomorphism over…
We define the notion of a $G$-structure for elliptic curves, where $G$ is a finite 2-generated group. When $G$ is abelian, a $G$-structure is the same as a classical congruence level structure. There is a natural action of…