The period-index obstruction for elliptic curves (Q701118): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:59, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The period-index obstruction for elliptic curves |
scientific article |
Statements
The period-index obstruction for elliptic curves (English)
0 references
16 October 2002
0 references
Consider an elliptic curve \(E\) defined over a field \(K\) with absolute Galois group \(G_K\). The elements of \(H^1(G_K,E)\) can be interpreted as isomorphism classes of principal homogeneous spaces \(C\) of \(E\). The order \(n\) of such an element \(C\) in \(H^1(G_K,E)\) is called its period; the index of \(C\) is the smallest positive integer \(d\) such that there exists a \(K\)-rational line bundle of degree \(d\) on \(C\). It is known that \(n | d\) and that they have the same prime factors [\textit{S. Lang} and \textit{J. Tate}, Am. J. Math. 80, 659--684 (1958; Zbl 0097.36203)]; moreover, if \(K\) is a local field, then we have \(n = d\) by results of \textit{S. Lichtenbaum} [Am. J. Math. 90, 1209--1223 (1968; Zbl 0187.18602)]. In this article, the author constructs a map \(\text{Ob}\) from \(H^1(G_K,E[n])\) to the Brauer group \(Br(K)\) whose properties are then used to study the relation between the period \(n\) and the order \(d\) of principal homogeneous spaces over fields \(K\) containing the \(n\)-torsion points \(E[n]\) of \(E\). Almost trivial consequences of the existence of \(\text{Ob}\) are the inequality \(d \leq n^2\), or \textit{J. W. S. Cassels}' result [J. Lond. Math. Soc. 38, 244--248 (1963; Zbl 0113.03701)] that, over global fields \(K\), we have \(n=d\) for elements of the Tate-Shafarevich group of \(E\). In addition, the author shows that the function \(\text{Ob}\) is quadratic on the \({\mathbb Z}\)-module \(H^1(G_K,E[n])\), and the works out relations with Hilbert symbols and the Tate pairing.
0 references
Weil-Chatelet group
0 references
Tate-Shafarevich group
0 references
torsors
0 references
period-index obstruction
0 references
elliptic curves
0 references