Hodge classes on certain hyperelliptic prymians

TL;DR

This paper proves that for certain hyperelliptic Prym varieties with specific polynomial conditions, the endomorphism ring is minimal and the Hodge conjecture holds for their self-products.

Contribution

It establishes the structure of the endomorphism ring and confirms the Hodge conjecture for a class of hyperelliptic Prym varieties under generic Galois conditions.

Findings

End(P) is either Z or Z+Z

Hodge group is as large as possible

Hodge conjecture holds for all self-products of P

Abstract

Let $n=2g+2$ be a positive even integer, $f(x)$ a degree $n$ complex polynomial without multiple roots and $C_f: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over the field $\C$ of complex numbers. Let a $(g-1)$-dimensional complex abelian variety $P$ be a Prym variety of $C_f$ that corresponds to a unramified double cover of $C_f$. Suppose that there exists a subfield $K$ of $\C$ such that $f(x)$ lies in $K[x]$, is irreducible over $K$ and its Galois group is the full symmetric group. Assuming that $g>2$, we prove that $End(P)$ is either the ring of integers $Z$ or the direct sum of two copies of $Z$; in addition, in both cases the Hodge group of $P$ is "as large as possible". In particular, the Hodge conjecture holds true for all self-products of $P$.