Complete classification of torsion of elliptic curves over quadratic cyclotomic fields (Q983297)

Let \(K\) be either the quadratic field \({\mathbb Q}(\sqrt{-1})\) or the quadratic field \({\mathbb Q}(\sqrt{-3})\). For an elliptic curve \(E\) defined over \(K\), \(E(K)_{tors}\) denotes the torsion subgroup of the group of \(K\)-rational points of \(E\). In his previous paper ''Torsion of elliptic curves over quadratic cyclotomic fields,'' [Math. J. Okayama U., to appear)], the author exhibited a list of possible types of \(E(K)_{tors}\) and conjectured that the groups \({\mathbb Z}/13{\mathbb Z}\) and \({\mathbb Z}/18{\mathbb Z}\) in the list could be removed in the case \(E\) is not defined over \({\mathbb Q}\). In this article, his conjecture is proved by showing that the modular curves \(X_1(13)\) and \(X_1(18)\) have no non-cuspidal \(K\)-rational points. This result is obtained from computing directly with MAGMA \(K\)-rational points of the Jacobian variety of a hyperelliptic curve which is a model of the modular curve and is defined by a simple equation.