Related papers: Computing the cardinality of CM elliptic curves us…
Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication. For a prime $p$ of good reduction for $E$, we write $\#E_p(\mathbb{F}_p) = p + 1 - a_p(E)$ for the number of $\mathbb{F}_p$-rational points of the…
Let $E$ be an elliptic curve defined over $\mathbb Q$ and $\widetilde{E}_p$ denote the reduction of $E$ modulo a prime $p$ of good reduction for $E$. The divisibility of $|\widetilde{E}_{p}(\mathbb{F}_p)|$ by an integer $m\ge 2$ for a set…
Let $E$ be an elliptic curve defined over $\Q$ and with complex multiplication by $\mO_K$, the ring of integers in an imaginary quadratic field $K$. It is known that $E(\F_p)$ has a structure E(\F_p)\simeq \Z/d_p\Z \oplus \Z/e_p\Z. with…
We define a function in terms of quotients of the $p$-adic gamma function which generalizes earlier work of the author on extending hypergeometric functions over finite fields to the $p$-adic setting. We prove, for primes $p > 3$, that the…
We provide a framework for using elliptic curves with complex multiplication to determine the primality or compositeness of integers that lie in special sequences, in deterministic quasi-quadratic time. We use this to find large primes,…
We present a very efficient algorithm to construct an elliptic curve E and a finite field F such that the order of the point group E(F) is a given prime number N. Heuristically, this algorithm only takes polynomial time Otilde((\log N)^3),…
Let O be a maximal order in the quaternion algebra B_p over Q ramified at p and infinity. The paper is about the computational problem: Construct a supersingular elliptic curve E over F_p such that End(E) = O. We present an algorithm that…
Let E be an elliptic curve over Q with prime conductor p. For each non-negative integer n we put K_n:=Q(E[p^n]). The aim of this paper is to estimate the order of the p-Sylow group of the ideal class group of K_n. We give a lower bounds in…
We outline a general algorithm for computing an explicit model over a number field of any curve of genus 2 whose (unpolarized) Jacobian is isomorphic to the product of two elliptic curves with CM by the same order in an imaginary quadratic…
Let $p$ be an odd prime number. We propose an algorithm for computing rational representations of isogenies between Jacobians of hyperelliptic curves via-adic differential equations with a sharp analysis of the loss of precision.…
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…
We give an algorithm to explicitly determine all elements of the $q$-torsion (for $q$ an odd prime) of the Brauer group of an elliptic curve over any base field of characteristic different from $q$, containing a primitive $q$-th root of…
For a prime $p$ and a rational elliptic curve $E_{/\mathbb{Q}}$, set $K=\mathbb{Q}(E[p])$ to denote the torsion field generated by $E[p]:=\operatorname{ker}\{E\xrightarrow{p} E\}$. The class group $\operatorname{Cl}_K$ is a module over…
Let $\ell$ be an odd prime and $d$ a positive integer. We determine when there exists a degree-$d$ number field $K$ and an elliptic curve $E/K$ with $j(E)\in\mathbb{Q}\setminus\{0,1728\}$ for which $E(K)_{\mathrm{tors}}$ contains a point of…
Given an elliptic curve $E$ over $\mathbb{Q}$ and non-zero integer $r$, the Lang--Trotter conjecture predicts a striking asymptotic formula for the number of good primes $p\leqslant x$, denoted by $\pi_{E,r}(x)$, such that the Frobenius…
In this note we investigate the $p$-degree function of elliptic curves over the field $\mathbb{Q}_p$ of $p$-adic numbers. The $p$-degree measures the least complexity of a non-zero $p$-torsion point on an elliptic curve. We prove some…
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 present a fast algorithm that takes as input an elliptic curve defined over $\mathbb Q$ and an integer $d$ and returns all the number fields $K$ of degree $d'$ dividing $d$ such that $E(K)_{tors}$ contains $E(F)_{tors}$ as a proper…
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be a prime of good reduction for $E$. Then, for a prime $p \neq \ell$, the Frobenius automorphism associated to $p$ (unique up to conjugation) acts on the $\ell$-adic Tate module of…
We give the complete list of possible torsion subgroups of elliptic curves with complex multiplication over number fields of degree 1-13. Additionally we describe the algorithm used to compute these torsion subgroups and its implementation.