Computation on Elliptic Curves with Complex Multiplication

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.

Comments: 24 pages, 3 figures, submitted

Similar Publications

We present a conjectural formula for the principal minors and the characteristic polynomial of Gross's regulator matrix associated to a totally odd character of a totally real field. The formula is given in terms of the Eisenstein cocycle, which was defined and studied earlier by the authors and collaborators. For the determinant of the regulator matrix, our conjecture follows from recent work of Kakde, Ventullo and the first author. Read More


We prove that there is a true asymptotic formula for the number of one sided simple closed curves of length $\leq L$ on any Fuchsian real projective plane with three points removed. The exponent of growth is independent of the hyperbolic structure, and it is noninteger, in contrast to counting results of Mirzakhani for simple closed curves on orientable Fuchsian surfaces. Read More


In this work we introduce new methods to study the $abc$ conjecture and related problems. These methods are based on the theory of Shimura curves. The three main applications that we obtain are the following: (1) we show new unconditional effective bounds for the minimal discriminant and Faltings height of elliptic curves over $\mathbb{Q}$ in terms of the conductor, (2) we prove that for any given $\epsilon>0$, if $a,b,c$ are coprime positive integers with $a+b=c$ then $d(abc)\ll_\epsilon rad(abc)^{8/3+\epsilon}$, where $d$ is the number of divisors function, and (3) we show that appropriate bounds for modular degrees imply Szpiro's conjecture in the context of modular elliptic curves over totally real number fields, thus extending beyond $\mathbb{Q}$ a classical modular approach of Frey to Szpiro's conjecture. Read More


We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field. Read More


We consider the problem of counting the number of rational points of bounded height in the zero-loci of Brauer group elements on semi-simple algebraic groups over number fields. We obtain asymptotic formulae for the counting problem for wonderful compactifications using the spectral theory of automorphic forms. Applications include asymptotic formulae for the number of matrices over Q whose determinant is a sum of two squares. Read More


We derive new bounds for moments of the error in the Sato-Tate law over families of elliptic curves. The novelty lies in establishing power savings instead of power of logarithm saving, as obtained in earlier works. As applications, we deduce new almost-all results for the said errors and a conditional Central Limit Theorem on the distribution of these errors. Read More


We prove that every Diophantine quadruple in $\mathbb{R}[X]$ is regular. More precisely, we prove that if $\{a, b, c, d\}$ is a set of four non-zero polynomials from $\mathbb{R}[X]$, not all constant, such that the product of any two of its distinct elements increased by $1$ is a square of a polynomial from $\mathbb{R}[X]$, then $$(a+b-c-d)^2=4(ab+1)(cd+1).$$ One consequence of this result is that there does not exist a set of four non-zero polynomials from $\mathbb{Z}[X]$, not all constant, such that a product of any two of them increased by a positive integer $n$, which is not a perfect square, is a square of a polynomial from $\mathbb{Z}[X]$. Read More


We study almost prime solutions of systems of Diophantine equations in the Birch setting. Previous work shows that there exist integer solutions of size B with each component having no prime divisors below B^{1/u}, where u=c_0n^{3/2}, n is the number of variables and c_0 is a constant depending on the degree and the number of equations. We improve the polynomial growth n^{3/2} to the logarithmic (\log n) (\log \log n)^{-1}. Read More


We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the theorems of Faltings and Andr\'e, as well as the Kuga-Satake construction. Read More


Let $V$ be a quasiprojective variety defined over $\mathbb{F}_q$, and let $\phi:V\rightarrow V$ be an endomorphism of $V$ that is also defined over $\mathbb{F}_q$. Let $G$ be a finite subgroup of $\operatorname{Aut}_{\mathbb{F}_q}(V)$ with the property that $\phi$ commutes with every element of $G$. We show that idempotent relations in the group ring $\mathbb{Q}[G]$ give relations between the periodic point counts for the maps induced by $\phi$ on the quotients of $V$ by the various subgroups of $G$. Read More