Tractability of algebraic function fields in one variable of genus one over global fields (Q2466946)

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)].