On an algebra determined by a quartic curve of genus one (Q2370281): Difference between revisions

Let \(k\) be a field, with \(\text{char}(k) \neq 2\), and let \(f(X) = a_4 X^4 + a_2 X^2 + a_1 X + a_0\) be an irreducible polynomial of degree 4; define \(A_f := k\{r,s,t\}/I\) where \(I\) is the ideal generated by \(r^2 - a_4\), \(r s + s r\), \(r t + t r + s^2 - a_2\), \(s t + t s - a_1\) and \(t^2 - a_0\) (hence \( a_4 a^4 + a_2 a^2 b^2 + a_1 a b^3 + a_0 b^4 - (a^2 r + a b s + b^2 t)^2 \in I\) for all \(a, b \in k\)). In the present paper the authors prove that \(A_f\) is an Azumaya algebra of rank 4 over its center, that its center is the coordinate ring of an affine elliptic curve whose closure in \(\mathbb{P}^2\) is the Jacobian of an irreducible nonsingular curve \(C\) in \(\mathbb{P}^3\), and \(k[X,Y]/(Y^2 - f(X))\) is the field of functions of \(C\). They also prove, among other results, that the simple homomorphic images of \(A_f\) are quaternions algebras over their centers, and that \(A_f\) is split if and only if \(C\) has a \(k\)-rational point. In the last section they present several explicit examples illustrating the results in the paper.