Tate-Shafarevich groups and 𝐾3 surfaces

Corn, Patrick

doi:10.1090/S0025-5718-09-02264-9

Tate-Shafarevich groups and surfaces

Author: Patrick Corn
Journal: Math. Comp. 79 (2010), 563-581
MSC (2000): Primary 14H40; Secondary 11G10
DOI: https://doi.org/10.1090/S0025-5718-09-02264-9
Published electronically: June 5, 2009
MathSciNet review: 2552241
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper explores a topic taken up recently by Logan and van Luijk, finding nontrivial -torsion elements of the Tate-Shafarevich group of the Jacobian of a genus- curve by exhibiting Brauer-Manin obstructions to rational points on certain quotients of principal homogeneous spaces of the Jacobian, whose desingularizations are explicit surfaces. The main difference between the methods used in this paper and those of Logan and van Luijk is that the obstructions are obtained here from explicitly constructed quaternion algebras, rather than elliptic fibrations.

1. Paola Argentin.
Sur certaines surfaces de Kummer.
Ph.D. thesis, Université de Genève, 2006.
2. Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, https://doi.org/10.1006/jsco.1996.0125
3. M. J. Bright, N. Bruin, E. V. Flynn, and A. Logan, The Brauer-Manin obstruction and Sh[2], LMS J. Comput. Math. 10 (2007), 354–377. MR 2342713, https://doi.org/10.1112/S1461157000001455
4. Martin Bright.
Computations on diagonal quartic surfaces.
Ph.D. thesis, Cambridge University, 2002.
5. Martin Bright, Efficient evaluation of the Brauer-Manin obstruction, Math. Proc. Cambridge Philos. Soc. 142 (2007), no. 1, 13–23. MR 2296387, https://doi.org/10.1017/S0305004106009844
6. N. Bruin and E. V. Flynn, Exhibiting SHA[2] on hyperelliptic Jacobians, J. Number Theory 118 (2006), no. 2, 266–291. MR 2225283, https://doi.org/10.1016/j.jnt.2005.10.007
7. J. W. S. Cassels and E. V. Flynn, Prolegomena to a middlebrow arithmetic of curves of genus 2, London Mathematical Society Lecture Note Series, vol. 230, Cambridge University Press, Cambridge, 1996. MR 1406090
8. Patrick Corn.
Del Pezzo surfaces and the Brauer-Manin obstruction.
Ph.D. thesis, University of California, Berkeley, 2005.
9. Patrick Corn, The Brauer-Manin obstruction on del Pezzo surfaces of degree 2, Proc. Lond. Math. Soc. (3) 95 (2007), no. 3, 735–777. MR 2368282, https://doi.org/10.1112/plms/pdm015
10. Andrew Kresch and Yuri Tschinkel, On the arithmetic of del Pezzo surfaces of degree 2, Proc. London Math. Soc. (3) 89 (2004), no. 3, 545–569. MR 2107007, https://doi.org/10.1112/S002461150401490X
11. Adam Logan.
MAGMA algorithm for computing the Brauer-Manin obstruction on a Del Pezzo surface of degree .
http://www.liv.ac.uk/adaml/math/index.html, 2004.
12. Adam Logan and Ronald van Luijk, Nontrivial elements of Sha explained through 𝐾3 surfaces, Math. Comp. 78 (2009), no. 265, 441–483. MR 2448716, https://doi.org/10.1090/S0025-5718-08-02105-4
13. James Milne.
Class field theory.
Online lecture notes, http://www.jmilne.org/math/CourseNotes/math776.pdf, 1997.
14. Bjorn Poonen and Michael Stoll, The Cassels-Tate pairing on polarized abelian varieties, Ann. of Math. (2) 150 (1999), no. 3, 1109–1149. MR 1740984, https://doi.org/10.2307/121064
15. Bjorn Poonen and Edward F. Schaefer, Explicit descent for Jacobians of cyclic covers of the projective line, J. Reine Angew. Math. 488 (1997), 141–188. MR 1465369
16. Alexei Skorobogatov, Torsors and rational points, Cambridge Tracts in Mathematics, vol. 144, Cambridge University Press, Cambridge, 2001. MR 1845760
17. Michael Stoll, Implementing 2-descent for Jacobians of hyperelliptic curves, Acta Arith. 98 (2001), no. 3, 245–277. MR 1829626, https://doi.org/10.4064/aa98-3-4