Hodge groups of certain superelliptic Jacobians

Let $n$ be an integer greater than or equal to 4. Let $p$ be a prime that does not divide $n$ and let $q=p^r$. Let $K\subset \mathbb{C}$ be a subfield which contains a primitive $q$-th root of unity $\zeta_q$ and let $f\in K[x]$ be an irreducible polynomial of degree $n$ without multiple roots. Let $\text{Gal}(f)$ denote the Galois group of $f$ over $K$. Let $C_{f,q}$ denote the superelliptic curve $y^q=f(x)$ and let $J(C_{f,q})$ be its Jacobian variety. In this paper the authors investigate the structure of the Hodge group $\text{Hdg}J(C_{f,q})$ and obtain the following main result: Assume that $\text{Gal}(f)$ is either $\mathbb{S}_n$ or $\mathbb{A}_n$ and that it is $\mathbb{S}_n$ if $n=4$. Suppose that $n>q$ and one of the following three conditions holds: (A) $q<n<2q$; (B) $p$ is odd and $n\not \equiv 1 \bmod q$; (C) $p=2, n\not \equiv 1 \bmod q$ and $n\not \equiv q-1 \bmod 2q$. Then $\text{Hdg}J(C_{f,q})=\text{U}(H_1(J_{f,q},\mathbb{Q}),\phi_q)$, the unitary group of $\phi_q$, where $\phi_q$ denotes the nondegenerate $\mathbb{Q}(\zeta_q)$-sesquilinear Hermitian form on $H_1(J_{f,q},\mathbb{Q})$ defined as in [\textit{K. Ribet}, Am. J. Math. 105, 523-538 (1983;Zbl 0586.14003)].

Recommendations

Cited in

(5)

This page was built for publication: Hodge groups of certain superelliptic Jacobians

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2275701)