Tractability of algebraic function fields in one variable of genus one over global fields (Q2466946)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tractability of algebraic function fields in one variable of genus one over global fields |
scientific article |
Statements
Tractability of algebraic function fields in one variable of genus one over global fields (English)
0 references
16 January 2008
0 references
In relation with Chacron's work on the decomposability of central simple algebras with involution, Chacron, Wadsworth and the reviewer introduced the following definition: a field \(k\) of characteristic different from~\(2\) is tractable if for every nonzero elements \(a_i,b_i\in k\) with \(i=1,2,3\), the quaternion algebra \((a_i,b_i/k)\) is split whenever \((a_i,b_j/k)\) is split for all \(i\neq j\) and \((a_1,b_1/k)\simeq (a_2,b_2/k)\simeq (a_3,b_3/k)\). In [\textit{M. Chacron, J.-P. Tignol} and \textit{A. R. Wadsworth}, Can. J. Math. 51, No. 1, 10--25 (1999; Zbl 0948.12001)] they showed that a global field is tractable if and only if it has at most one dyadic spot, and that any field of transcendence degree~\(1\) over a nondyadic local field or a real-closed field is tractable. The paper under review investigates the tractability of function fields of curves over global fields. Let \(C\) be a geometrically irreducible nonsingular projective curve defined over a global field \(k\). If \(C\) has a rational point over \(k\) and \(k\) is tractable, the author obtains a sufficient condition for tractability of \(k(C)\) in terms of the \(2\)-torsion in the Shafarevich-Tate group of the Jacobian of \(C\), and gives several examples of tractable function fields of elliptic curves over \(\mathbb{Q}\). He also constructs various examples of intractable function fields of any even genus and of genus~\(1\) over \(\mathbb{Q}\). The case of function fields of genus~\(0\) was considered in [\textit{I. Han}, J. Algebra 244, No. 1, 217--235 (2001; Zbl 1043.12002)].
0 references
tractability
0 references
function fields
0 references
genus one
0 references
quaternion algebra
0 references
global field
0 references
0 references
0 references