Hodge groups of certain superelliptic Jacobians

Abstract: Suppose that

K

is a field of characteristic 0,

p

is an odd prime,

r

a positive integer,

q = p^{r}

a prime power. Suppose that

f (x)

is a polynomial of degree

n > 4

with coefficients in

K

and without multiple roots. Let us consider the superelliptic curve

C : y^{q} = f (x)

and its jacobian

J (C)

. Assuming that

K

is a subfield of the field of complex numbers, we study the (connected reductive algebraic) Hodge group

H d g

of the corresponding complex abelian variety

J (C)

. In our previous paper (arXiv:0907.1563 [math.AG]) we studied the center of

H d g . I n t h i s p a p e r w e s t u d y t h e s e m i s i m p l e p a r t (c o m m u t a t o r s u b g r o u p) o f

Hdg

. A s s u m i n g t h a t

p

d o e s n o t d i v i d e

n

a n d

n-1

i s n o t d i v i s i b l e b y

q

, t h e G a l o i s g r o u p o f

f(x)

o v e r

K

i s e i t h e r t h e f u l l s y m m e t r i c g r o u p

S_n

o r t h e a l t e r n a t i n g g r o u p

A_n

, w e p r o v e t h a t t h e s e m i s i m p l e p a r t o f

Hdg$ is "as large as possible".

Recommendations

Cited in

(4)

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