The Shafarevich-Tate group and the Jacobian of a cyclic quotient of a Fermat curve (Q1345860)

Let \(p\) be an odd prime number, and let \(a,b,c\) be integers such that \(0 < a\), \(b < p\) and \(a + b + c = p\). Let \(F_{a,b,c}\) be the complete nonsingular curve defined over \(\mathbb{Q}\) with affine equation: \(y^ p = x^ a(1 - x)^ b\). This curve is a quotient of the Fermat curve of exponent \(p\) by a cyclic automorphism group of order \(p\). Let \(J_{a,b,c}\) denote the Jacobian of \(F_{a,b,c}\). The abelian variety \(J_{a,b,c}\) has potential complex multiplication by the ring of integers \(\mathbb{Z} [\zeta_ p]\) in the cyclotomic field \(\mathbb{Q} (\zeta_ p)\) of \(p\)-th roots of unity. Fix an embedding: \(\mathbb{Z} [\zeta_ p] \to \text{End}_{\mathbb{Q} (\zeta_ p)} (J_{a,b,c})\), and let \(\eta = 1 - \zeta_ p\). In this paper the author finds sufficient conditions which ensure the existence of a subgroup isomorphic to \((\mathbb{Z}/p \mathbb{Z})^ 6\) in the part annihilated by \(\eta^ 3\) of the Shafarevich-Tate group \(\text{ Ш} (\mathbb{Q} (\zeta_ p), J_{a,b,c})\). The results are based on a paper by \textit{W. McCallum} [Invent. Math. 93, No. 3, 637-666 (1988; Zbl 0661.14033)].