Torsion points of small order on cyclic covers of P1. III
Let d>1 be an integer and K0 a perfect field such that char(K0) does not divide d. Let n>d be an integer that is prime to d. Let f(x)∈K0[x] be a degree n monic polynomial without repeated roots, and Cf,d a smooth projective model of the affine curve yd=f(x). Let J(Cf,d) be the Jacobian of the K0-curve Cf,d. As usual, we identify Cf,d with its canonical image in J(Cf,d) (such that the only ``infinite point'' of Cf,d goes to the zero of the group law on J(Cf,d)). We say that an integer m>1 is (n,d)-reachable over K0 if there exists a polynomial f(x) as above such that Cf,d(K0) contains a torsion point of order m. Let us put ℓ0:=[(n+d)/d], m0:=ℓ0d. Earlier we proved that if m is (n,d)-reachable, then either m=d or m=n or m≥m0 (in addition, both d and n are (n,d)-reachable over every K0). We also proved that if m0 is (n,d)-reachable over some K0 then n−m0+ℓ0≥0. In the present paper we discuss the (n,d)-reachability of m0 when n−m0+ℓ0=0 or 1.