Visualizing elements of order three in the Shafarevich-Tate group
type: Item
instance of: scholarly article
title: Visualizing elements of order three in the Shafarevich-Tate group
zbMATH Open document ID: 0958.11043
published in: The Asian Journal of Mathematics
publication date: 2000-11-15T00:00:00Z
review text: Let \(E\) be an elliptic curve defined over \(\mathbb Q\) with a rational point \(T\) of order \(2\). Then there exists an isogeny \(\phi: E \rightarrow E'\) of degree \(2\) with \(T\) in its kernel. The Selmer group attached to \(\phi\) consists of curves of genus \(1\) (called torsors or homogeneous spaces) that have \(\mathbb Q_p\)-rational points over every completion \(\mathbb Q_p\). These torsors represent non-trivial elements of the \(2\)-part of the Tate-Shafarevich group of \(E\) if they do not contain a rational point. The first examples of such torsors were discovered by \textit{H. Reichardt} [J. Reine Angew. Math. 184, 12--18 (1942; Zbl 0026.29701)] and \textit{C.-E. Lind} [Untersuchungen über die rationalen Punkte der ebenen kubischen Kurven vom Geschlecht Eins, Diss. Uppsala (1940; Zbl 0025.24802)]. Reichardt considered torsors such as \(z^2 = x^4 + 17y^4\); his results show that, over \(k = \mathbb Q(\sqrt{-2})\), every torsor in the \(2\)-Selmer group has a \(k\)-rational point, so the \(2\)-part of the Tate-Shafarevich group of \(E/k\) is trivial; then he used Galois theory to show that the torsor in question does not have a \(\mathbb Q\)-rational point. In modern language, this implies that the \(2\)-part of the Tate-Shafarevich group of \(E/\mathbb Q\) becomes trivial over \(k\): in analogy with class groups in number field we speak of capitulation. Now assume that \(E/\mathbb Q\) is an arbitrary elliptic curve embedded in an abelian variety \(J\) defined over \(\mathbb Q\), so there is an exact sequence \(0 \rightarrow E \rightarrow J \rightarrow B \rightarrow 0\) of abelian varieties. Let \(G\) denote the absolute Galois group of \(\mathbb Q\). An element \(\sigma \in H^1(G,E)\) is said to be visible in \(J\) if it is in the kernel of the induced map \(H^1(G,E) \rightarrow H^1(G,J)\). Since \(E(k)\) can be viewed as an abelian variety of dimension \(2\) defined over \(\mathbb Q\), the capitulation of Tate-Shafarevich groups in extensions of numb…
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 14G05
zbMATH DE Number: 1531032
zbMATH Keywords: elliptic curves
zbMATH Keywords: Tate-Shafarevich groups
zbMATH Keywords: abelian variety
zbMATH Keywords: visibility
author: Barry Mazur
MaRDI profile type: Publication
DOI: 10.4310/AJM.1999.V3.N1.A9
description: scientific article; zbMATH DE number 1531032