Torsion of rational elliptic curves over quartic Galois number fields (Q897568)

Let \(\mathcal C_n\) be the collection of finite abelian groups that are isomorphic to the torsion subgroups \(E(K)_{\mathrm{tor}}\), where \(K\) is a field extension of \(\mathbb{Q}\) with degree \(n\), and \(E\) is an elliptic curve over \(K\). Let \(\mathcal C_n(\mathbb{Q})\) be the collection of finite abelian groups that are isomorphic to \(E(K)_{\mathrm{tor}}\), where \(K\) is a field extension of \(\mathbb{Q}\) with degree \(n\), and \(E\) is an elliptic curve over \(\mathbb{Q}\). Thus, \(\mathcal C_n(\mathbb{Q})\) is a subset of \(\mathcal C_n\). By \textit{B. Mazur}'s work [Invent. Math. 44, 129--162 (1978; Zbl 0386.14009)], \(\mathcal C_1\) is known, \(\mathcal C_2\) is computed in [\textit{S. Kamienny} and \textit{F. Najman}, Acta Arith. 152, No. 3, 291--305 (2012; Zbl 1319.11035)], and \(\mathcal C_2(\mathbb{Q})\) is computed in \textit{F. Najman} [Math. Res. Lett. 23, No. 1, 245--272 (2016; Zbl 1416.11084)]. However, \(\mathcal C_3\) is not completely known. Computed in [\textit{D. Jeon} et al., Acta Arith. 113, No. 3, 291--301 (2004; Zbl 1083.11038)] is the subset \(S_3\) of \(\mathcal C_3\) such that for each \(G\in\mathcal C_3\backslash S_3\) there are only finitely many isomorphism classes of \(E/K\) over some cubic extension \(K\) such that \(E(K)_{\mathrm{tor}} \cong G\), and it is known that \(\mathcal C_3\neq S_3\). In [Zbl 1416.11084] \(\mathcal C_3(\mathbb{Q})\) is computed. In [\textit{D. Jeon} et al., J. Lond. Math. Soc., II. Ser. 74, No. 1, 1--12 (2006; Zbl 1165.11054)], the work on cubic fields [Zbl 1083.11038] is extended to quartic fields, and they compute the subset \(S_4\) of \(\mathcal C_4\) such that for each \(G\in\mathcal C_4\backslash S_4\) there are only finitely many isomorphism classes of \(E/K\) over some quartic extension \(K\) such that \(E(K)_{\mathrm{tor}} \cong G\). The author of the paper under review computes the subset \(T_4\) of \(\mathcal C_4(\mathbb{Q})\) such that for each \(G\in T_4\) there are \(E/\mathbb{Q}\) and Galois extension \(K\) such that \(\mathrm{Gal}(K/\mathbb{Q})\cong \mathbb Z/4\mathbb Z\) and \(G\cong E(K)_{\mathrm{tor}}\). The author also introduces results on the case \(\mathrm{Gal}(K/\mathbb{Q})\cong \mathbb Z/2\mathbb Z\times \mathbb Z/2\mathbb Z\) as a collection of known results.