Let p ≥ 5 be a prime, ζ a primitive p th root of unity and λ = 1 − ζ . For 1 ≤ s ≤ p − 2 , the smooth projective model C p , s of the affine curve v p = u s ( 1 − u ) is a curve of genus ( p − 1 ) / 2 whose jacobian J p , s has complex multiplication by the ring of integers of the cyclotomic field Q ( ζ ) . In 1981, Greenberg determined the field of rationality of the p -torsion subgroup of J p , s and moreover he proved that the λ 3 -torsion points of J p , s are all rational over Q ( ζ ) . In this paper we determine quite explicitly the λ 3 -torsion points of J p , 1 for p = 5 and p = 7 , as well as some further p -torsion points which have interesting arithmetical applications, notably to the complementary laws of Kummer’s reciprocity for p th powers.
Read full abstract