# Torsion points on elliptic curves with complex multiplication

We present seven theorems on the structure of prime order torsion points on CM elliptic curves defined over number fields. The first three results refine bounds of Silverberg and Prasad-Yogananda by taking into account the class number of the CM order and the splitting of the prime in the CM field. In many cases we can show that our refined bounds are optimal or asymptotically optimal. We also derive asymptotic upper and lower bounds on the least degree of a CM-point on X_1(N). Upon comparison to bounds for the least degree for which there exist infinitely many rational points on X_1(N), we deduce that, for sufficiently large N, X_1(N) will have a rational CM point of degree smaller than the degrees of at least all but finitely many non-CM points.

**Comments:**28 pages

## 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