We show that the number of copies of ${\Bbb Q}_p/{\Bbb Z}_p$ in the Tate-Shafarevich group of an elliptic curve $E$ over ${\Bbb Q}$ with complex multipication, is at most $2p - g$, where $g$ is the rank of $E({\Bbb Q})$, and for all sufficiently large good ordinary primes $p$.
Let C/Q be the genus 3 Picard curve given by the affine model y^3=x^4-x. In this paper we compute its Sato-Tate group, show the generalized Sato-Tate conjecture for C, and compute the statistical moments for the limiting distribution of the normalized local factors of C.
The vertical Sato--Tate conjectures gives expected trace distributions for for families of curves. We develop exact expression for the distribution associated to degree-$4$ representations of $\mathrm{USp}(4)$, $\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $\mathrm{SU}(2)$ in the neighborhood of the extremities of the Weil bound. As a consequence we derive qualitative distinctions between the extremal traces arising from generic genus-$2$ curves and genus-$2$ curves with real or quaternionic multiplication. In particular we show, in a specific sense, to what extent curves with real multiplication d…
Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$. In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies \[ p \ll \left(\frac{N_E}{β- α}\right)^A, \] where $N_E$ is the conductor of $E$ and the implied constant and exponent $A > 2$ are absolute and effectively computable. Our result is an analogue for CM elliptic curves of Linnik's T…
In this paper we propose conjectures that assert that, the sequence of Frobenius angles of a given elliptic curve over $\mathbf{Q}$ without complex multiplication is pseudorandom, in other words that the Frobenius angles are statistically independently distributed with respect to the Sato-Tate measure. Numerical evidences are presented to support the conjectures.
Fix an elliptic curve E over Q. An extremal prime for E is a prime p of good reduction such that the number of rational points on E modulo p is maximal or minimal in relation to the Hasse bound. Assuming that all the symmetric power L-functions associated to E are automorphic and satisfy the Generalized Riemann Hypothesis, we give the first non-trivial upper bounds for the number of such primes when E is a curve without complex multiplication. In order to obtain this bound, we use explicit equidistribution for the Sato-Tate measure as in the work of Rouse and Thorner (arXiv:1305.5283) and refi…
The Shafarevich-Tate and Selmer groups arise in the context of Kummer theory for elliptic curves. The finiteness of the Shafarevich-Tate group of an elliptic curve $E$ over the field of rational numbers is included in the Birch and Swinnerton-Dyer conjectures, and is still an open question. We present an overview of the Shafarevich-Tate and Selmer groups of an elliptic curve in the framework of Galois cohomology. Known results on the finiteness of the Shafarevich-Tate group are mentioned, including results of Coates and Wiles, Rubin, Gross and Zagier, and Kolyvagin. We then prove the vanishing…
In this paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_λ(A)$ arising from abelian varieties over number fields with real multiplication. Our main result gives a recipe for constructing an integral Frobenius when the real multiplication field has class number one. By exploiting algorithms already existing in the literature, we investigate this construction for three modular abelian surfaces over $\mathbf{Q}$.
Let $A/K$ be an abelian variety with real multiplication defined over a $p$-adic field $K$ with $p>2$. We show that $A/K$ must have either potentially good or potentially totally toric reduction. In the former case we give formulas of the local root number of $A/K$ under the condition that inertia acts via an abelian quotient on the associated Tate module; in the latter we produce formulas without additional hypotheses.
Let $A$ be an abelian variety defined over a number field and let $G$ denote its Sato-Tate group. Under the assumption of certain standard conjectures on $L$-functions attached to the irreducible representations of $G$, we study the convergence rate of any virtual selfdual character of $G$. We find that this convergence rate is dictated by several arithmetic invariants of $A$, such as its rank or its Sato-Tate group $G$. The results are consonant with some previous experimental observations, and we also provide additional numerical evidence consistent with them. The techniques that we use were…
Let $A/\mathbb{Q}$ be an abelian variety of dimension $g\geq 1$ that is isogenous over $\overline{\mathbb{Q}}$ to $E^g$, where $E$ is an elliptic curve. If $E$ does not have complex multiplication (CM), by results of Ribet and Elkies concerning fields of definition of elliptic $\mathbb{Q}$-curves $E$ is isogenous to a curve defined over a polyquadratic extension of $\mathbb{Q}$. We show that one can adapt Ribet's methods to study the field of definition of $E$ up to isogeny also in the CM case. We find two applications of this analysis to the theory of Sato--Tate groups: First, we show that $1…
The paper uses Iwasawa theory at the prime $p=2$ to prove non-vanishing theorems for the value at $s=1$ of the complex $L$-series of certain quadratic twists of the Gross family of elliptic curves with complex multiplication by the field $K = \BQ(\sqrt{-q})$, where $q$ is any prime $\equiv 7 \mod 8$. Our results establish some broad generalizations of the non-vanishing theorem first proven by D. Rohrlich using complex analytic methods. Such non-vanishing theorems are important because it is known that they imply the finiteness of the Mordell-Weil group and the Tate-Shafarevich group of the cor…
We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction. Moreover, if the reduction is supersingular, we calculate its Artin invariant under some assumptions. Our results generalize some results of Shimada for K3 surfaces with Picard number 20. Our methods rely on the main theorem of complex multiplication for K3 surfaces by Rizov, an explicit description of the Breuil-Kisin modules associated with Lubin-Tate characte…
For CM elliptic curve over rational field with analytic rank one, for any potential good ordinary prime p, not dividing the number of roots of unity in the complex multiplication field, we show the p-part of its Shafarevich-Tate group has order predicted by the Birch and Swinnerton-Dyer conjecture.
We construct spectral sequences for computing the cohomology of automorphism groups of formal groups with complex multiplication by a $p$-adic number ring. We then compute the cohomology of the group of automorphisms of a height four formal group law which commute with complex multiplication by the ring of integers in the field $\mathbb{Q}_p(\sqrt{p})$, for primes $p>5$. This is a large subgroup of the height four strict Morava stabilizer group. The group cohomology of this group of automorphisms turns out to have cohomological dimension $8$ and total rank $80$. We then run the $K(4)$-local $E…
For an elliptic curve $E$ over $K$, the Birch and Swinnerton-Dyer conjecture predicts that the rank of Mordell-Weil group $E(K)$ is equal to the order of the zero of $L(E_{/ K},s)$ at $s=1$. In this paper, we shall give a proof for elliptic curves with complex multiplications. The key method of the proof is to reduce the Galois action of infinite order on the Tate module of an elliptic curve to that of finite order by using the $p$-adic Hodge theory. As a corollary, we can determine whether a given natural number is a congruent number (congruent number problem). This problem is one of the olde…
The goal of this article is to give an explicit classification of the possible $p$-adic Galois representations that are attached to elliptic curves $E$ with CM defined over $\mathbb{Q}(j(E))$. More precisely, let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j(E))$. Let $p\geq 2$ be a prime, let $G_{\mathbb{Q}(j(E))}$ be the absolute Galois group of $\mathbb{Q}(j(E))$, and let $ρ_{E,p^\infty}\colon G_{\mathbb{Q}(j(E))}\t…
For $E/K$ an elliptic curve without complex multiplication we bound the index of the image of $\operatorname{Gal}(\bar{K}/K)$ in $\operatorname{GL}_2(\hat{\mathbb{Z}})$, the representation being given by the action on the Tate modules of $E$ at the various primes. The bound is effective and only depends on $[K:\mathbb{Q}]$ and on the stable Faltings height of $E$. We also prove a result relating the structure of subgroups of $\operatorname{GL}_2(\mathbb{Z}_\ell)$ to certain Lie algebras naturally attached to them.
We show that a two dimensional $\ell $-adic representation of the absolute Galois group of a number field which is locally potentially equivalent to a $GL(2)$-$\ell$-adic representation $ρ$ at a set of places of $K$ of positive upper density is potentially equivalent to $ρ$. For an elliptic curver \( E \) defined over a number field \( K \) and a finite place \( v \) of \( K \) of good reduction for \( E \), let \( F(E,v) \) denote the Frobenius field of \( E \) at \( v \), given by the splitting field of the characteristic polynomial of the Frobenius automorphism at \( v \) acting on the Tate…
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 $E$. The characteristic polynomial of the Frobenius automorphism has rational integer coefficients and is independent of $\ell$. Its splitting field is called the Frobenius field of $E$ at $p$. Let $E_1$ and $E_2$ be two elliptic curves defined over $\mathbb{Q}$ that are non-isogenous over $\overline{\mathbb{Q}}$ and also without complex multiplication over $\…
Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces.
