Related papers: Hensel-lifting torsion points on Jacobians and Gal…

Let $J$ be the Jacobian of a superelliptic curve defined by the equation $y^{\ell} = f(x)$, where $f$ is a separable polynomial of degree non-divisible by $\ell$. In this article we study the "exponential" (i.e. $\ell$-power) torsion of…

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 that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at…

We introduce an algorithm to compute the rational torsion subgroup of the Jacobian of a hyperelliptic curve of genus 3 over the rationals. We apply a Magma implementation of our algorithm to a database of curves with low discriminant due to…

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 work we generalise the main result of arXiv:1812.05651 to the family of hyperelliptic curves with potentially good reduction over a $p$-adic field which have degree $p$ and the largest possible image of inertia under the $\ell$-adic…

We show that the $p$-adic completion of any affine elliptic curve with ordinary reduction possesses Frobenius lifts whose "normalized" action on $1$-forms preserves mod $p$ the space of invariant $1$-forms. We next show that, after removing…

We show how our p-adic method to compute Galois representations occurring in the torsion of Jacobians of algebraic curves can be adapted to modular curves. The main ingredient is the use of "moduli-friendly" Eisenstein series introduced by…

In this article we give explicit formulae for a lift of the relative Frobenius morphism between elliptic curves and show how one can compute this lift in the case of ordinary reduction in odd characteristic. Our theory can also be used in…

In this article we consider mod p modular Galois representations which are unramified at p such that the Frobenius element at p acts through a scalar matrix. The principal result states that the multiplicity of any such representation is…

We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…

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…

Let $p\geq 5$ be a prime number, $\mathbb{F}$ a finite field of characteristic $p$ and let $\bar{\chi}$ be the mod-$p$ cyclotomic character. Let $\bar{\rho}:\operatorname{G}_{\mathbb{Q}}\rightarrow \operatorname{GL}_2(\mathbb{F})$ be a…

We explicitly compute canonical liftings modulo $p^2$ in a sense of Achinger--Zdanowicz of Dwork hypersurfaces. The computation involves studying a compatibility between Hodge filtrations and a crystalline Frobenius. In particular,…

Let $A$ be an abelian variety over $\mathbb{Q}$ of dimension $g$ such that the image of its associated absolute Galois representation $\rho_A$ is open in $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. We investigate the arithmetic of the…

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…

For $J$ an abelian surface, the Galois representation $\varrho_{J, \ell} : {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow {\rm Aut}(J[\ell]) \simeq {\rm GSp}_4(\mathbb{F}_\ell)$ is typically surjective, with smaller images…

We study irreducible odd mod $p$ Galois representations $\bar{\rho} \colon \mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_p)$, for $F$ a totally real number field and $G$ a general reductive group. For $p \gg_{G, F} 0$, we show…

In this paper, we survey some Galois-theoretic techniques for studying torsion points on curves. In particular, we give new proofs of some results of A. Tamagawa and the present authors for studying torsion points on curves with "ordinary…

Consider the jacobian of a hyperelliptic genus two curve defined over a finite field. Under certain restrictions on the endomorphism ring of the jacobian we give an explicit description all non-degenerate, bilinear, anti-symmetric and…