No label defined (Q4337919)

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.