Hodge groups of certain superelliptic Jacobians. II (Q2392979)

Let \(K\) be a subfield of \(\mathbb{C}\). Let \(f(x)\in K[x]\) be an irreducible polynomial of degree \(n\geq 4\) without multiple roots. Let \(p\) be a prime that does not divide \(n\) and \(q=p^r\). Let \(C_{f,q}\) denote the superelliptic curve defined by \(y^q=f(x)\) and \(J(C_{f,q})\) the Jabocian of \(C_{f,q}\). If \(r\geq 2\) the map \(C_{f,q}\rightarrow C_{f,q/p}\) defined by \((x,y)\mapsto (x,y^p)\) induces a surjective \(K\)-map \(J(C_{f,q})\rightarrow J(C_{f,q/p})\). Let \(J^{(f,q)}\) denote the identity component of the kernel. When \(r=1\), we set \(J^{(f,q)}=J(C_{f,p})\). Since \(E=\mathbb{Q}(\zeta_q)\) is contained in \(\text{End}^0(J^{(f,q)})\), the canonical principal polarization on \(J(C_{f,q})\) induces a polarization on \(J^{(f,q)}\), which gives rise to a nondegenerate \(E\)-sesquilinear Hermitian form \(\phi_q:H_1(J^{(f,q)},\mathbb{Q})\times H_1(J^{(f,q)},\mathbb{Q})\rightarrow E\). Let \(U(H_1(J^{(f,q)},\mathbb{Q}),\phi_q)\) denote the unitary group of \(\phi_q\) of the \(E\)-vector space \(H_1(J^{(f,q)},\mathbb{Q})\). In this paper, the author proves that the Hodge group of \(J^{(f,q)}\) coincides with \(U(H_1(J^{(f,q)},\mathbb{Q})),\phi_q)\) if \(p\) is odd and \(q>n\). When \(p=2\), he also proves the same result under some mild condition on \(n\). His result generalizes the one obtained in [\textit{J. Xue} and \textit{Y. G. Zarhin}, Math. Res. Lett. 17, No. 2, 371--388 (2010; Zbl 1226.14042)] where \(q\) is assumed to be smaller than \(n\).