17 research outputs found

    Grothendieck groups of categories of abelian varieties

    No full text

    Elements of prime order in Tate-Shafarevich groups of abelian varieties over Q\mathbb{Q}

    No full text
    For each prime pp, we show that there exist geometrically simple abelian varieties A/QA/\mathbb Q with non-trivial pp-torsion in their Tate-Shafarevich groups. Specifically, for any prime N1(modp)N\equiv 1 \pmod{p}, let AfA_f be an optimal quotient of J0(N)J_0(N) with a rational point PP of order pp, and let B=Af/PB = A_f/\langle P \rangle. Then the number of positive integers dXd \leq X, such that the Tate-Shafarevich group of B^d\hat B_d has non-trivial pp-torsion, is X/logX\gg X/\log X, where B^d\hat B_d is the dual of the dd-th quadratic twist of BB. We prove this more generally for abelian varieties of GL2\mathrm{GL}_2-type with a pp-isogeny satisfying a mild technical condition. In the special case of elliptic curves, we give stronger results, including many examples where Sha(Ed)[p]0\mathrm{Sha}(E_d)[p] \neq 0 for an explicit positive proportion of integers dd.Comment: 10 pages. Final version, with improved exposition and a new section with explicit calculations for elliptic curves. To appear in Forum of Mathematics, Sigm

    The geometry and arithmetic of bielliptic Picard curves

    No full text
    We study the geometry and arithmetic of the curves C ⁣:y3=x4+ax2+bC \colon y^3 = x^4 + ax^2 + b and their associated Prym abelian surfaces PP. We prove a Torelli theorem in this context and give a geometric proof of the fact that PP has quaternionic multiplication (QM) by the quaternion order of discriminant 66. This allows us to describe the Galois action on the geometric endomorphism algebra of PP. As an application, we classify the torsion subgroups of the Mordell-Weil groups P(Q)P(\mathbb{Q}), as both abelian groups and End(P)\text{End}(P)-modules.37 pages, minor change

    Ranks of abelian varieties in cyclotomic twist families

    No full text
    Let AA be an abelian variety over a number field FF, and suppose that Z[ζn]\mathbb Z[ζ_n] embeds in EndFˉA\mathrm{End}_{\bar F} A, for some root of unity ζnζ_n of order n=3mn = 3^m. Assuming that the Galois action on the finite group A[1ζn]A[1-ζ_n] is sufficiently reducible, we bound the average rank of the Mordell--Weil groups Ad(F)A_d(F), as AdA_d varies through the family of μ2nμ_{2n}-twists of AA. Combining this with the recently proved uniform Mordell--Lang conjecture, we prove near-uniform bounds for the number of rational points in twist families of bicyclic trigonal curves y3=f(x2)y^3 = f(x^2), as well as in twist families of theta divisors of cyclic trigonal curves y3=f(x)y^3 = f(x). Our main technical result is the determination of the average size of a 33-isogeny Selmer group in a family of μ2nμ_{2n}-twists.32 pages. Final version, to appear in Algebra & Number Theor

    Rank growth of elliptic curves over NN-th root extensions

    No full text
    Fix an elliptic curve EE over a number field FF and an integer nn which is a power of 33. We study the growth of the Mordell--Weil rank of EE after base change to the fields Kd=F(d2n)K_d = F(\sqrt[2n]{d}). If EE admits a 33-isogeny, then we show that the average ``new rank'' of EE over KdK_d, appropriately defined, is bounded as the height of dd goes to infinity. When n=3n = 3, we moreover show that for many elliptic curves E/QE/\mathbb{Q}, there are no new points on EE over Q(d6)\mathbb{Q}(\sqrt[6]d), for a positive proportion of integers dd. This is a horizontal analogue of a well-known result of Cornut and Vatsal. As a corollary, we show that Hilbert's tenth problem has a negative solution over a positive proportion of pure sextic fields Q(d6)\mathbb{Q}(\sqrt[6]{d}). The proofs combine our recent work on ranks of abelian varieties in cyclotomic twist families with a technique we call the ``correlation trick'', which applies in a more general context where one is trying to show simultaneous vanishing of multiple Selmer groups. We also apply this technique to families of twists of Prym surfaces, which leads to bounds on the number of rational points in sextic twist families of bielliptic genus 3 curves.Comment: 24 pages. Revised following referee comments. Section added with application to Hilbert's 10th problem. To appear in Transactions of the AMS. Comments welcome

    Integers expressible as the sum of two rational cubes

    No full text
    We prove that a positive proportion of integers are expressible as the sum of two rational cubes, and a positive proportion are not so expressible, thus proving a conjecture of Davenport. More generally, we prove that a positive proportion (in fact, at least one sixth) of elliptic curves in any cubic twist family have rank 0, and a positive proportion (in fact, at least one sixth) of elliptic curves with good reduction at 2 in any cubic twist family have rank 1. Our method involves proving that the average size of the 2-Selmer group of elliptic curves in any cubic twist family, having any given root number, is 3. We accomplish this by generalizing a parametrization, due to the second author and Ho, of elliptic curves with extra structure by pairs of binary cubic forms. We then use a novel combination of geometry-of-numbers methods and the circle method that builds on earlier work of Ruth and the first author. In particular, we make use of a new interpretation of the singular integral and series arising in the circle method in terms of real and pp-adic Haar measures on the relevant group. We prove a uniformity estimate for integral points on the relevant quadric, which along with a sieve allows us to prove that the average size of the 2-Selmer group over the cubic twist family is 3. By suitably partitioning the subset of curves in the family with given root number, we effect a further sieve to show that the root number is equidistributed and that the same average, now taken over only those curves of given root number, is again 3. Finally, we apply the pp-parity theorem of Dokchitser-Dokchitser and a pp-converse theorem of Burungale-Skinner to conclude. We also prove the analogue of the above results for the sequence of square numbers: namely, we prove that a positive proportion of square integers are expressible as the sum of two rational cubes, and a positive proportion are not.54 pages; a number of details and additional results have been added in this versio

    Vanishing criteria for Ceresa cycles

    No full text
    Let CC be a smooth projective curve, and let JJ be its Jacobian. We prove vanishing criteria for the Ceresa cycle κ(C)CH1(J)Q\kappa(C) \in \mathrm{CH}_1(J)\otimes \mathbb{Q} in the Chow group of 1-cycles on JJ. Namely, (A)(A) If Hprim3(J)Aut(C)=0\mathrm{H}_{\mathrm{prim}}^3(J)^{\mathrm{Aut}(C)} = 0, then κ(C)\kappa(C) vanishes; (B)(B) If H0(J,ΩJ3)Aut(C)=0\mathrm{H}^0(J, \Omega_J^3)^{\mathrm{Aut}(C)} = 0 and the Hodge conjecture holds, then κ(C)\kappa(C) vanishes modulo algebraic equivalence. We then study the first interesting case where (B)(B) holds but (A)(A) does not, namely the case of Picard curves C ⁣:y3=x4+ax2+bx+cC \colon y^3 = x^4 + ax^2 + bx + c. Using work of Schoen on the Hodge conjecture, we show that the Ceresa cycle of a Picard curve is torsion in the Griffiths group. Moreover, we determine exactly when it is torsion in the Chow group. As a byproduct, we show that there are infinitely many plane quartic curves over Q\mathbb{Q} with torsion Ceresa cycle (in fact, there is a one parameter family of such curves). Finally, we determine which automorphism group strata are contained in the vanishing locus of the universal Ceresa cycle over M3\mathcal{M}_3.Comment: 21 pages, comments welcom

    Arbitrarily large pp-torsion in Tate-Shafarevich groups

    No full text
    We show that, for any prime pp, there exist absolutely simple abelian varieties over Q\mathbb{Q} with arbitrarily large pp-torsion in their Tate-Shafarevich group. To prove this, we construct explicit μpμ_p-covers of Jacobians of the form yp=x(x1)(xa)y^p = x(x-1)(x-a) which violate the Hasse principle. In the appendix, Tom Fisher explains how to interpret our proof in terms of a Cassels-Tate pairing.Added an appendix by Tom Fisher and made a few minor changes. To appear in J. Inst. Math. Jussie
    corecore