Torsion points on the Jacobian of a Fermat quotient (Q1013123)

Let \(p\) be an odd prime, \(\zeta\) be a primitive \(p\)th root of unity in \(\mathbb C\), and let \(\lambda=1-\zeta\). For every integers \(s\) such that \(1\leq s\leq p-2\), let \(C_{p,s}/\mathbb Q\) be the smooth projective model of the affine curve given by the equation \[ v^p=u^s(1-u). \] Its genus is \({{p-1\over 2}}\) and its Jacobian \(J_{p,s}\) has complex multiplication by the ring of integers \(\mathbb Z[\zeta]\). Greenberg has shown in 1981 that if \(p\geq 5\), the \(\lambda^3\)-torsion points of \(J_{p,s}\) are rational over \( \mathbb Q(\zeta)\). In 1991, Kurihara has proved conversely that if a point of \(J_{p,s}\) is rational over \(\mathbb Q(\zeta)\), then it is a \(\lambda^3\)-torsion point of \(J_{p,s}\). Greenberg's theorem is not effective in order to describe explicitly the \(\lambda^3\)-torsion points of \(J_{p,s}\). In this paper, the authors determine explicitly the \(\lambda^3\)-torsion points of \(J_{5,1}\) and \(J_{7,1}\). They also obtain results concerning the \(7\)-torsion points of \(J_{7,1}\), which are related to a proof of the complementary laws of Kummer's reciprocity for seventh powers.