Assume the notation of Section 4 for p=3. In particular, ℓ≠3 is an odd prime number,
k is an algebraically closed field containing ¯¯¯F3, and
X=X3(ℓ) is the reduction of X(ℓ) modulo 3 over k, as in (4.2).
Since X3(5) has genus zero, we assume ℓ≥7.
L…