Related papers: Computing cardinalities of Q-curve reductions over…

Assuming the Generalized Riemann Hypothesis, we design a deterministic algorithm that, given a prime p and positive integer m=o(sqrt(p)/(log p)^4), outputs an elliptic curve E over the finite field F_p for which the cardinality of E(F_p) is…

For an elliptic curve E over Q, the Galois action on the l-power torsion points defines representations whose images are subgroups of GL_2(Z/l^n Z). There are three exceptional prime powers l^n=2,3,4 when surjectivity of the mod l^n…

Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an…

We give an algorithm to determine factorization types of primes in the number fields generated by a single point of odd order on an elliptic curve. We apply this to compute coefficients of the Dedekind zeta function of the field.

Given a prime power q, for every pair of positive integers m and n with m dividing the GCD of n and q-1, we construct a modular curve over F_q that parametrizes elliptic curves over F_q along with F_q-defined points P and Q of order m and…

In recent algorithms that use deformation in order to compute the number of points on varieties over a finite field, certain differential equations of matrices over p-adic fields emerge. We present a novel strategy to solve this kind of…

We present computational algorithms to work with points on the modular curve associated to the normaliser of a non-split Cartan group of prime level $p$. Rather than working with explicit equations, we represent these points using the…

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…

Let E/Q be an elliptic curve with good supersingular reduction at p with a_p(E)=0. We give a conjecture on the existence of analytic plus and minus p-adic L-functions of E over the Zp-cyclotomic extension of a finite Galois extension of Q…

We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the…

For a fixed odd prime p and a representation \rho of the absolute Galois group of Q into the projective group PGL(2,p), we provide the twisted modular curves whose rational points supply the quadratic Q-curves of degree N prime to p that…

A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.

Let $E$ be an elliptic curve over $\mathbb{Q}$ which has multiplicative reduction at a fixed prime $p$. For each positive integer $n$ we put $K_n:=\mathbb{Q}(E[p^n])$. The aim of this paper is to extend the author's previous our results…

Let p be an odd prime number and g $\ge$ 2 be an integer. We present an algorithm for computing explicit rational representations of isogenies between Jacobians of hyperelliptic curves of genus g over an extension K of the field of p-adic…

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…

In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good…

In 2005, Kayal suggested that Schoof's algorithm for counting points on elliptic curves over finite fields might yield an approach to factor polynomials over finite fields in deterministic polynomial time. We present an exposition of his…

In this paper, we analyze the theta series associated to the quadratic form $Q(\mathbf{x}) := x_1^2 + x_2^2 + x_3^2 + x_4^2$ with congruence conditions on $x_i$ modulo $2, 3, 4$, and $6$. By employing special operators on modular,…

We present efficient algorithms for counting points on a smooth plane quartic curve $X$ modulo a prime $p$. We address both the case where $X$ is defined over $\mathbb F_p$ and the case where $X$ is defined over $\mathbb Q$ and $p$ is a…

The problem of constructing curves with many points over finite fields has received considerable attention in the recent years. Using the class field theory approach, we construct new examples of curves ameliorating some of the known…