Tate-Shafarevich Groups and Frobenius Fields of Reductions of Elliptic Curves

Let \E/\Q be a fixed elliptic curve over \Q which does not have complex multiplication. Assuming the Generalized Riemann Hypothesis, A. C. Cojocaru and W. Duke have obtained an asymptotic formula for the number of primes $p\le x$ such that the reduction of \E modulo p has a trivial Tate-Shafarevich group. Recent results of A. C. Cojocaru and C. David lead to a better error term. We introduce a new argument in the scheme of the proof which gives further improvement

Distribution of Farey Fractions in Residue Classes and Lang--Trotter Conjectures on Average

We prove that the set of Farey fractions of order $T$, that is, the set \{\alpha/\beta \in \Q : \gcd(\alpha, \beta) = 1, 1 \le \alpha, \beta \le T\}, is uniformly distributed in residue classes modulo a prime $p$ provided T \ge p^{1/2 +\eps} for any fixed \eps>0. We apply this to obtain upper bounds for the Lang--Trotter conjectures on Frobenius traces and Frobenius fields ``on average'' over a one-parametric family of elliptic curves

A remark on Tate's algorithm and Kodaira types

We remark that Tate's algorithm to determine the minimal model of an elliptic curve can be stated in a way that characterises Kodaira types from the minimum of v(a_i)/i. As an application, we deduce the behaviour of Kodaira types in tame extensions of local fields.Comment: 6 pages (minor changes

The remaining cases of the Kramer-Tunnell conjecture

For an elliptic curve $E$ over a local field $K$ and a separable quadratic extension of $K$, motivated by connections to the Birch and Swinnerton-Dyer conjecture, Kramer and Tunnell have conjectured a formula for computing the local root number of the base change of $E$ to the quadratic extension in terms of a certain norm index. The formula is known in all cases except some when $K$ is of characteristic $2$, and we complete its proof by reducing the positive characteristic case to characteristic $0$. For this reduction, we exploit the principle that local fields of characteristic $p$ can be approximated by finite extensions of $\mathbb{Q}_p$--we find an elliptic curve $E'$ defined over a $p$-adic field such that all the terms in the Kramer-Tunnell formula for $E'$ are equal to those for $E$.Comment: 13 pages; final version, to appear in Compositio Mathematic