scientific article; zbMATH DE number 1013891

From MaRDI portal
Publication:4337919





Suppose \(p\) is a fixed odd prime not equal to 3 or 7. The Fermat curve \(F_p\) is the projective nonsingular curve (over \(\mathbb{Q})\) given by the equation \[ X^p+ Y^p+ Z^p =0 \] with \((X,Y,Z) \in\mathbb{P}^2 (\mathbb{Q})\). Further, \(J_p\) is the Jacobian of \(F_p\). Let \(K= \mathbb{Q} (\zeta)\), where \(\zeta\) is a fixed primitive \(p\)-th root of 1 in a fixed algebraic closure of \(\mathbb{Q}\). By the well-known Mordell-Weil theorem, the group \(J_p(K)\) of \(K\)-rational points on \(J_p\) is finitely generated, and hence has a free part and a torsion part \(J_p (K)_{\text{tors}}\), and the latter is a \(p\)-group. In this paper it is proved that \(J_p (K)_{\text{tors}}\) is contained in a certain group \(G\) of order \(p^3\), which is explicitly described. Based on this result it is shown that for all proper subfields \(L\), distinct from the maximal real subfield of \(K\), the group \(pJ_p (J)_{\text{tors}}\) is the zero group. The results of this paper are part of the author's doctoral dissertation at Berkeley.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4337919)