, , ,

It is known that every finite group acts on some curve, hence on some Jacobian, and therefore on some principally polarized abelian variety (p.p.a.v.). However, there is no explicit way of relating the order of the group and the dimension of the p.p.a.v.

on which it acts.

For any integral representation of a finite group

G

there exists a family of principally polarized abelian varieties of dimension equal to the degree of the representation, each invariant under the given action of

G

In particular, every root system of rank

n

has a natural lattice in

R^{n}

associated to it, and hence a natural integral representation of its associated Weyl group of degree

n

. Therefore, we may apply the preceding construction to build a family of p.p.a.v.'s of dimension

n

admitting the given Weyl group (more generally, the full automorphism group of the root system) as subgroup of its group of automorphisms.

In the case of irreducible, reduced root systems, we show that each p.p.a.v. in the corresponding family is isomorphic (as a complex torus) to a product of elliptic curves. These results are related to an invariant theory developed in the work of E. Looijenga [8] where he also deals with abelian varieties associated to each irreducible root system, all of which admit the action of the corresponding Weyl group and are isomorphic (as complex tori) to a product of elliptic curves.

In general, the reducibility or irreducibility of a given p.p.a.v. (as p.p.a.v.) is not an easy problem. Here we show that, in most cases, our varieties are irreducible as p.p.a.v.'s.

In addition, in the case of irreducible, reduced root systems, we characterize the corresponding families in the moduli space of p.p.a.v.'s

A_{n}

, and show that they are uniformized by explicit modular curves.

In Section 1 we recall some basic results on principally polarized abelian varieties and roots systems in order to fix the notation.

In Section 2 we consider any integral representation

ρ

of a finite group

G

, and construct p.p.a.v.'s

(X, H)

, of dimension equal to the degree of

ρ

, which admit a decomposition of the lattice for

X

into two

G -

invariant sublattices isotropic with respect to

ℑ H

, with one of the sublattices

Z G -

isomorphic to

ρ

. We call these p.p.a.v.'s

ρ -

decomposable. We also show that each

ρ -

decomposable p.p.a.v. is isomorphic to a product of elliptic curves.

Conversely, if

ρ

is absolutely irreducible, we show that each

ρ -

decomposable p.p.a.v. is (isomorphic to) one of those constructed above, thereby characterizing them.

In Section 3 , we apply our characterization to each irreducible, reduced root system and obtain the corresponding Riemann matrices. We also discuss the relationship between our varieties and the previous work of Looijenga, and the notion of dual polarization developed by Birkenhake and Lange [1] . Section 4 describes explicit isomorphisms of our principally polarized abelian varieties with products of elliptic curves and discusses their irreducibility as principally polarized abelian varieties.

Section 5 shows that our families for irreducible, reduced root systems are uniformized by modular curves, which are described explicitly, and complete their connection with the previous work of Looijenga. Now we fix the notation as follows. A complex torus of dimension

n

will be by definition a quotient

X ≃ C^{n} / L

of the vector space

C^{n}

modulo a lattice

L

of maximal rank.

X

is called an abelian variety if it admits a polarization; that is, a positive definite hermitian form

H

C^{n}

whose imaginary part is integral valued on

L

. In this case, the lattice

L

always admits a basis such that the matrix of

ℑ H

in this basis is of the form

(\begin{matrix} 0_{n} & D \\ - D & 0_{n} \end{matrix})

with a diagonal matrix

D = diag (d_{1}, d_{2}, . . ., d_{n})

and positive integers

d_{i}

with

d_{i} / d_{i + 1}

. The

n

-tuple

(d_{1}, d_{2}, \dots, d_{n})

is called the type of the polarization, the integer

d = d_{1} d_{2} \dots d_{n}

is called the degree of the polarization and a polarization of type

(1, 1, . . ., 1)

is called a principal polarization.

The automorphisms of the complex torus

X

that respect the polarization

H

form a finite group denoted by

{Aut}_{H} (X)

. If

G

is a subgroup of

{Aut}_{H} (X)

, we will say that

(X, H)

has a

G -

action. The representation of

{Aut}_{H} (X)

on the lattice of

X

will be called the rational representation of

{Aut}_{H} (X)

A principally polarized abelian variety of dimension

n

(p.p.a.v.) will be a pair

(X, H)

where

X

is an

n

-dimensional complex torus and

H

is a principal polarization on

X

. Alternatively we can consider a principally polarized abelian variety

(X, H)

as a pair

(X, ℒ)

where

ℒ

is a line bundle on

X

such that its first Chern class

c_{1} (ℒ) ≃ H

, but in order to give explicit descriptions we will follow the classical terminology.

Each Riemann matrix

Z

in the Siegel space

H_{n}

of degree

n

gives a p.p.a.v. of dimension

n

. If we denote by

Sp (2 n, Z)

the symplectic group, then the complex analytic space

A_{n} = H_{n} / Sp (2 n, Z)

parametrizes the (isomorphism classes of ) p.p.a.v.'s of complex dimension

n

Since there are different kinds of equivalences between Riemann matrices or abelian varieties, and so as to avoid ambiguities, we recall the definitions involved in our results.

Two p.p.a.v.'s

(X_{1}, H_{1})

and

(X_{2}, H_{2})

are called isogenous if there exist a surjective homomorphism

h : X_{1} \to X_{2}

(as complex tori) with

0

-dimensional kernel; they are called isomorphic if the kernel of

h

is trivial. They will be called isomorphic as principally polarized abelian varieties if there exists an isomorphism

h

( as above) which further preserves the given polarizations

H_{1}

and

H_{2}

A p.p.a.v. is called irreducible if it is not isomorphic as a principally polarized abelian variety to the product of p.p.a.v.'s of smaller dimensions.

For root systems

R

we will follow the definitions and notation in Bourbaki [2] . In particular,

R^{\lor}

will denote the inverse root system and the Weyl group of

R

will be denoted by

W (R)

. We will essentially deal with irreducible and reduced root systems in the sense of [2] ; that is, with the root systems denoted by

A_{n}

B_{n}

C_{n}

D_{n}

E_{6}

E_{7}

E_{8}

F_{4}

and

G_{2}

2 The general construction

In this section we describe a construction of principally polarized abelian varieties admitting a given integral representation of a finite group

G

Remark 2.1. Of course, every finite group has integral representations.

Indeed, a complex (irreducible) representation of degree

m

defined over the field

L

gives rise to a rational (irreducible) representation of degree

m [L : Q]

, but any (irreducible) rational representation is

Q -

equivalent to an integral representation.

Every finite group also has faithful integral representations. As an example, we have its regular representation.

Recall that (see [7] ) for any polarized abelian variety

(X = V / Λ, H)

, a direct sum decomposition

Λ = L_{1} \oplus L_{2}

is called a decomposition for

H

L_{1}

and

L_{2}

are isotropic with respect to

ℑ H

Equivalently, if there exists a symplectic basis

{λ_{1}, \dots, λ_{n},

μ_{1}, \dots, μ_{n}}

for

Λ

such that

L_{1} = 〈 λ_{1}, \dots, λ_{n} 〉

and

L_{2} = 〈 μ_{1}, \dots, μ_{n} 〉

We now define a similar notion for p.p.a.v.'s with

G -

action.

Definition 2.2. Let

G

denote a finite group and consider a faithful integral representation

ρ

G

(X = V / Λ, H)

is a p.p.a.v. with

G -

action, we will say that a decomposition for

H

Λ = L_{1} \oplus L_{2}

is a

ρ -

decomposition if both

L_{1}

and

L_{2}

are

G -

invariant and

L_{1}

Z G -

equivalent to

ρ

In this case we will say that

(X, H)

ρ -

decomposable.

Remark 2.3. If

(X = V / Λ, H)

ρ -

decomposable, then there exists a symplectic canonical basis for

Λ

with respect to which the

G -

action is represented by the symplectic matrices

\begin{matrix} (\begin{matrix} ρ (g) & 0 \\ 0 & ρ^{- t} (g) \end{matrix}), g \in G \end{matrix}

(2.1)

where

ρ^{- t}

is the contragredient representation of

ρ

. The converse is also clearly true.

Also, the

G -

action on the tangent space to

X

at the origin is (equivalent to)

ρ

We will now give a construction for

ρ -

decomposable p.p.a.v.'s.

L

is a

Z G -

module corresponding to an integral representation

ρ

, we let

U

denote the real linear span of

L

. For a

ρ (G) -

invariant real inner product

B

U

that is integral on

L

, we will denote by

L^{*}

the dual of

L

with respect to

B

Proposition 2.4. Let

G

denote a finite group and consider a faithful integral representation

ρ

G

over a

Z G

module

L

Denote by

U

(respectively

V

) the real (respectively complex) linear span of

L

Then, for any

ρ (G) -

invariant real inner product

B

U

that is integral on

L

, and for any complex number

τ

with positive imaginary part, the p.p.a.v. given by

X = X (B, τ) = V / (L + τ L^{*}), ℑ H (u + τ u^{'}, v + τ v^{'}) = B (u, v^{'}) - B (v, u^{'})

ρ -

decomposable.

Furthermore, each such

X

is isomorphic (as a torus) to a product of elliptic curves.

Proof. Only the last assertion needs to be proven: since $L \subseteq L^{*}$ are integral lattices of the same dimension $n$ , then (see [3,p.221] ) there exist a basis ${ℓ_{1}, \dots, ℓ_{n}}$ of $L$ and positive integers ${d_{j}}_{j = 1}^{n}$ such that $d_{j + 1}$ divides $d_{j}$ for each $j \in {1, \dots, n - 1}$ and such that ${\frac{1}{d_{j}} ℓ_{j}}_{j = 1}^{n}$ is a basis for $L^{*}$ .
It is then clear that the torus $X = V / (L + τ L^{*})$ is isomorphic to the product $E_{\frac{τ}{d_{1}}} \times \dots \times E_{\frac{τ}{d_{n}}}$ where $E_{μ}$ denotes the elliptic curve with modulus $μ$ . □

When

ρ

is an absolutely irreducible representation, we can also prove the converse; that is, we now give a characterization of

ρ -

decomposable p.p.a.v.'s whenever

ρ

is absolutely irreducible.

Theorem 2.5. If in Proposition 2.4 the representation

ρ

is absolutely irreducible, then every

ρ -

decomposable p.p.a.v. is of the form described there.

Proof. Let $B$ denote a fixed real inner product on the real span of $L$ , with $B$ integral on $L$ . For any $τ$ in $H_{1}$ we can apply the construction of Proposition 2.4 to find a $ρ -$ decomposable p.p.a.v. corresponding to $X (B, τ)$ .
Since $ρ$ is absolutely irreducible, any $ρ (G) -$ invariant inner product on the real linear span of $L_{1}$ is a positive constant multiple of $B$ [2,p.66] ; therefore, any positive multiple $a B$ (integral on $L$ ) together with any $τ$ in $H_{1}$ give rise (via the construction described in Proposition 2.4 ) to the $ρ -$ decomposable p.p.a.v. corresponding to $X (a B, τ)$ , which is naturally isomorphic to $X (B, \frac{1}{a} τ)$ .
Given a $ρ -$ decomposable p.p.a.v. $(X = V / Λ, H)$ , without loss of generality we assume that there exists a symplectic basis ${λ_{1}, \dots, λ_{n},$ $μ_{1}, \dots, μ_{n}}$ for $Λ$ such that $L_{2} = 〈 μ_{1}, \dots, μ_{n} 〉$ and $L = L_{1} = 〈 λ_{1}, \dots, λ_{n} 〉 .$ Then the Riemann matrix $Z = W + i Y$ for $X$ with respect to this basis is fixed under the symplectic action 2.1 , and therefore $Y^{- 1}$ , the inverse of $Y$ , yields a $ρ (G) -$ invariant inner product on the real linear span of $L$ , which is then a positive constant multiple of $B$ .
Furthermore, $W Y^{- 1}$ is a real endomorphism of the real linear span of $L$ commuting with $ρ$ , and therefore a multiple of the identity.
We have thus proven that $Z$ is a complex multiple of the inverse of the matrix of $B$ with respect to the basis $λ$ , where the scalar lies in $H_{1}$ . □

The next result follows immediately from the proof of the theorem.

Corollary 2.6. Let

G

denote a finite group and consider a faithful integral representation absolutely irreducible

ρ

G

on a

Z G -

module

L

Then the family of

ρ -

decomposable p.p.a.v.'s is parameterized by the family of Riemann matrices

\begin{matrix} Z_{τ} = τ Z_{0}, τ \in H_{1}, \end{matrix}

(2.2)

where

Z_{0}

is the inverse matrix of a real inner product on the real span of

L

which is integral on

L

, with respect to an adequate basis for

L

Remark 2.7. Note that the Riemann matrices described in 2.2 correspond to the fixed points in Siegel space under the action given in 2.1 .

Combining Proposition 2.4 with Theorem 2.5 we obtain the following result.

Corollary 2.8. Each

ρ -

decomposable p.p.a.v. for an absolutely irreducible representation

ρ

G

is isomorphic (as a torus) to a product of elliptic curves.

Example 2.9. The following is an example of an integral representation whose associated family of p.p.a.v.'s is not one-dimensional, and where there are members of the family that are not invariant under the natural action of any Weyl group in this dimension.

Consider the rational irreducible non-trivial representation of

G = Z / 5 Z = 〈 a : a^{5} 〉

given by

ρ (a) = (\begin{matrix} 0 & 0 & 0 & - 1 \\ 1 & 0 & 0 & - 1 \\ 0 & 1 & 0 & - 1 \\ 0 & 0 & 1 & - 1 \end{matrix})

Then the corresponding Riemann matrices are given by

\begin{matrix} Z = τ_{1} (\begin{matrix} 4 & 3 & 2 & 1 \\ 3 & 6 & 4 & 2 \\ 2 & 4 & 6 & 3 \\ 1 & 2 & 3 & 4 \end{matrix}) + τ_{2} (\begin{matrix} 2 & 2 & 1 & 0 \\ 2 & 4 & 3 & 1 \\ 1 & 3 & 4 & 2 \\ 0 & 1 & 2 & 2 \end{matrix}) \end{matrix}

(2.3)

where

τ_{1}

τ_{2}

are complex numbers such that the imaginary part of

Z

is positive definite.

Note that this representation is the restriction to the subgroup

G

of the natural representation of the Weyl group corresponding to the root system

A_{4}

, and that this is the only Weyl group for an irreducible system of dimension

4

having a subgroup isomorphic to

G

. As we will see later on, the family of p.p.a.v.'s associated to the natural representation of the Weyl group just mentioned is the subfamily of ( 2.3 ) obtained by setting

τ_{2} = 0

Example 2.10. We give an example of an absolutely irreducible integral representation acting on a one parameter family of p.p.a.v.'s of dimension six (which contains a Jacobian, that of Wiman's curve, see [5] ), with the given action on the tangent space at the origin of each member of the family, and such that there is an invariant sublattice of rank six with no invariant complementary sublattice; that is, these p.p.a.v.'s are not

ρ -

decomposable.

The p.p.a.v.'s are defined by their Riemann matrices

Z_{τ} = [\begin{matrix} 3 τ & - τ & τ & - τ & τ & - \frac{1}{2} \\ - τ & 3 τ & - τ & - τ & \frac{1}{2} & τ \\ τ & - τ & 3 τ & - \frac{1}{2} & - τ & τ \\ - τ & - τ & - \frac{1}{2} & 3 τ & - τ & - τ \\ τ & \frac{1}{2} & - τ & - τ & 3 τ & - τ \\ - \frac{1}{2} & τ & τ & - τ & - τ & 3 τ \end{matrix}]

for

τ \in H_{1}

The group is

G = S_{5}

, the symmetric group on five letters, and the corresponding integral representation

ρ

is given as follows. Note that

ρ

is the unique (complex) irreducible representation of degree six of

S_{5}

ρ (1, 2, 3, 4, 5) = [\begin{matrix} 1 & 1 & 0 & 1 & 0 & 0 \\ - 1 & 0 & 1 & 0 & 1 & 0 \\ 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & - 1 & - 1 & 0 & 0 & 1 \\ 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 \end{matrix}]

ρ (1, 2) = [\begin{matrix} 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 \\ - 1 & - 1 & 0 & - 1 & 0 & 0 \\ 1 & 0 & - 1 & 0 & - 1 & 0 \\ 0 & 1 & 1 & 0 & 0 & - 1 \end{matrix}]

The associated symplectic action is given by

\tilde{ρ} (1, 2, 3, 4, 5) = [\begin{matrix} ρ (1, 2, 3, 4, 5) & 0 \\ 0 & ρ^{- t} (1, 2, 3, 4, 5) \end{matrix}]

\tilde{ρ} (1, 2) = [\begin{matrix} ρ (1, 2) & L (1, 2) \\ 0 & ρ^{- t} (1, 2) \end{matrix}]

where

L (1, 2) = [\begin{matrix} 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & - 1 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & - 1 & 0 & 1 & - 1 \\ 0 & 1 & 0 & - 1 & 0 & 1 \\ - 1 & 0 & 0 & 1 & - 1 & 0 \end{matrix}]

The Riemann matrices

Z_{τ}

are the only Riemann matrices invariant under the given action, and a calculation shows that the given symplectic representation is not even integrally equivalent to any integral representation of the following form

(\begin{matrix} U (g) & 0 \\ 0 & U (g)^{- t} \end{matrix}) .

3 The construction for Weyl groups

For each Weyl group

W

there is a natural integral faithful representation

ρ

, generated by the reflections on the roots. Furthermore, this representation is absolutely irreducible if the associated root system is irreducible and reduced.

Therefore, in this case we may apply Theorem 2.5 to find the family of

ρ -

decomposable p.p.a.v.'s, which we also know is parameterized by

H_{1}

We summarize this information in the next proposition, where we include the Riemann matrices for each family for the sake of completeness.

Proposition 3.1. Let

R

be an irreducible, reduced root system of dimension

n

, and let

W (R)

be its Weyl group.

We denote the corresponding canonical basis for the root system

(V, R)

ℬ

, and consider the integral representation

ρ

of dimension

n

W (R)

generated by the reflections associated to the elements of

ℬ

Then the family of

ρ -

decomposable p.p.a.v.'s is one-dimensional, and parameterized by the family of Riemann matrices

H (R)

H_{n}

associated to

ρ

by Corollary 2.6 .

The corresponding Riemann matrices are given by

H (R) = {Z_{τ} = τ Z_{0} : τ \in H_{1}}

where

Z_{0}

is given in Table 1 .

The proof of Proposition 3.1 follows Table 1 . Note that since

Z_{0}

is symmetric, we give only the upper half of the matrix.

Table 1: The Riemann matrices

Root system

Z_{0}

A_{n}

\frac{1}{n + 1} (\begin{matrix} n & n - 1 & n - 2 & . . . & 2 & 1 \\ 2 (n - 1) & . . . & 4 & 2 \\ . . . \\ j (n + 1 - j) & . . . & 2 j & j \\ . . . \\ 2 (n - 1) & n - 1 \\ n \end{matrix})

B_{n}

(\begin{matrix} 1 & 1 & . . . & 1 & 1 \\ 2 & . . . & 2 & 2 \\ . . . \\ n - 1 & n - 1 \\ n \end{matrix})

C_{n}

(\begin{matrix} 1 & 1 & . . . & 1 & \frac{1}{2} \\ 2 & . . . & 2 & 1 \\ . . . \\ n - 1 & \frac{n - 1}{2} \\ \frac{n}{4} \end{matrix})

D_{n}

(\begin{matrix} 1 & 1 & 1 & 1 & 1 & . . . & \frac{1}{2} & \frac{1}{2} \\ 2 & 2 & 2 & 2 & . . . & 1 & 1 \\ . . . \\ j & j & . . . & \frac{j}{2} & \frac{j}{2} \\ . . . \\ n - 2 & \frac{n - 2}{2} & \frac{n - 2}{2} \\ \frac{n}{4} & \frac{n - 2}{4} \\ \frac{n}{4} \end{matrix})

E_{6}

(\begin{matrix} \frac{4}{3} & 1 & \frac{5}{3} & 2 & \frac{4}{3} & \frac{2}{3} \\ 2 & 2 & 3 & 2 & 1 \\ \frac{10}{3} & 4 & \frac{8}{3} & \frac{4}{3} \\ 6 & 4 & 2 \\ \frac{10}{3} & \frac{5}{3} \\ \frac{4}{3} \end{matrix})

Table 1: (continued)

E_{7}

(\begin{matrix} 2 & 0 & - 1 & 0 & 0 & 0 & 0 \\ 2 & 0 & - 1 & 0 & 0 & 0 \\ 2 & - 1 & 0 & 0 & 0 \\ 2 & - 1 & 0 & 0 \\ 2 & - 1 & 0 \\ 2 & - 1 \\ 2 \end{matrix})

E_{8}

(\begin{matrix} 4 & 5 & 7 & 10 & 8 & 6 & 4 & 2 \\ 8 & 10 & 15 & 12 & 9 & 6 & 3 \\ 14 & 20 & 16 & 12 & 8 & 4 \\ 30 & 24 & 18 & 12 & 6 \\ 20 & 15 & 10 & 5 \\ 22 & 8 & 4 \\ 6 & 3 \\ 2 \end{matrix})

F_{4}

(\begin{matrix} 1 & \frac{3}{2} & 2 & 1 \\ 3 & 4 & 2 \\ 6 & 3 \\ 2 \end{matrix})

G_{2}

\frac{1}{3} (\begin{matrix} 6 & 3 \\ 2 \end{matrix})

Proof of Proposition 3.1 . We follow the notation of [2] ; especially see Planches I through IX. All matrices will be given with respect to the basis $ℬ = {α_{1}, \dots, α_{n}}$ .
Let $C$ denote the Cartan matrix of $R$ given by $C = (c_{i j}) = (2 \frac{(α_{i}, α_{j})}{(α_{j}, α_{j})}),$ and let $D$ denote the $n \times n$ diagonal matrix given by $d_{i i} = \frac{(α_{i}, α_{i})}{2}$ .
Then an integral matrix $S$ for the $W (R) -$ invariant inner product is given by $S = C D$ , which allows us to compute the values for $Z_{0} = S^{- 1}$ given in the table. □

Remark 3.2. Let

R

be an irreducible, reduced root system of dimension

n

. It is known ([2] ) that the group of automorphisms of

R

, denoted by

Aut (R)

, is a semidirect product of the corresponding Weyl group

W (R)

and a finite group

Γ

, where

Γ

is the trivial group except in the following cases.

$R = A_{n}$ $Γ = Z / 2 Z$
$R = D_{4}$ $Γ = S_{3}$
$R = D_{n}, n > 4$ $Γ = Z / 2 Z$
$R = E_{6}$ $Γ = Z / 2 Z$

A case by case computation allows us to prove the following result.

Corollary 3.3. Let

R

be an irreducible, reduced root system of dimension

n

Denote by

Aut (R)

the group of automorphisms of

R

and by

\tilde{ρ}

the natural integral representation of

Aut (R)

extending the representation

ρ

of the Weyl group

W (R)

Then the family of

\tilde{ρ} -

decomposable p.p.a.v.'s coincides with the family of

ρ -

decomposable p.p.a.v.'s.

More explicitly, each

Z_{τ} \in H (R)

is fixed under the symplectic action 2.1 induced by

\tilde{ρ}

Definition 3.4. Let

R

be an irreducible, reduced root system of dimension

n

, and let

W (R)

be its Weyl group.

Consider the family

H (R)

of Riemann matrices in

H_{n}

associated to

ρ (W (R))

by Proposition 2.4 .

For each

Z_{τ}

H (R)

we will denote by

A_{τ} = (X_{τ}, H_{τ})

the corresponding

ρ -

decomposable p.p.a.v., and by

A (R)

the corresponding family in

A_{n}

Note that each

A_{τ}

\tilde{ρ} -

decomposable, for

\tilde{ρ}

as in Corollary 3.3 .

Proposition 3.5. With the notation of Proposition 3.1 , the following results hold for each

τ

H_{1}

, where the corresponding isomorphisms are as p.p.a.v.'s.

(1) $A_{τ} \in H (D_{n})$ is isomorphic to $A_{τ} \in H (C_{n})$ for each $n$ ,
(2) $A_{τ} \in H (F_{4})$ is isomorphic to $A_{τ} \in H (D_{4})$ , and
(3) $A_{τ} \in H (G_{2})$ is isomorphic to $A_{τ} \in H (A_{2})$ .

Proof. It is easy to verify that, in each of the above cases, the integral representations $\tilde{ρ}$ considered in Corollary 3.3 are isomorphic over $Z$ for the corresponding groups $Aut (R)$ . □

Remark 3.6. Alternatively, the results of Proposition 3.5 may be proved by explicit computations: to show each member of a family

F_{1} = H (R_{1})

is isomorphic to the corresponding element of the family

F_{2} = H (R_{2})

, we find an invertible complex

n \times n

matrix

A

and a symplectic

2 n \times 2 n

matrix

M

such that the following equation holds for each

Z_{τ} = τ Z_{1}

F_{1}

and each

\tilde{Z_{τ}} = τ Z_{2}

F_{2}

\begin{matrix} A (I_{n} Z_{τ}) = (I_{n} \tilde{Z_{τ}}) M . \end{matrix}

(3.1)

In fact, in each case we can choose

A

to be unimodular (integral) and

M

to be of the form

M = (\begin{matrix} A & 0 \\ 0 & ^{t} A^{- 1} \end{matrix}) .

For

F_{1} = H (D_{n})

and

F_{2} = H (C_{n})

we let

A = (\begin{matrix} I_{n - 2} & I_{n - 2} & 0 & 0 \\ 0 & 1 & 1 & - 1 \\ 0 & 0 & 1 & 0 \end{matrix})

For

F_{1} = H (D_{4})

and

F_{2} = H (F_{4})

we let

A = (\begin{matrix} 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 1 \\ 1 & 0 & 1 & 1 \\ 0 & 1 & 0 & 0 \end{matrix})

For

F_{1} = H (G_{2})

and

F_{2} = H (A_{2})

we let

A = (\begin{matrix} 1 & - 2 \\ 0 & 1 \end{matrix})

Remark 3.7. It will be a consequence of Proposition 4.1 , Corollary 4.3 and Theorem 4.5 that there no other isomorphisms between different families of type

H (R)

Remark 3.8. The family

H (A_{n})

was discussed in a different context in [6] .

The corresponding Riemann matrices mentioned there are of the following form

{\tilde{Z}}_{τ} = τ (\begin{matrix} n & - 1 & . . . & - 1 \\ - 1 & n & . . . \\ . . . & - 1 \\ - 1 & \cdot \cdot \cdot & - 1 & n \end{matrix}) .

This family is of course isomorphic to our family; as above, it is enough to consider the unimodular

n \times n

matrix

A = (\begin{matrix} 1 & 0 & 0 & 0 & \cdot \cdot \cdot \\ - 1 & 1 & 0 & 0 & \cdot \cdot \cdot \\ 0 & - 1 & 1 & 0 & \cdot \cdot \cdot \\ . . . & . . . & . . . \\ 0 & . . . & - 1 & 1 \end{matrix})

and verify that Equation ( 3.1 ) is satisfied with

M = (\begin{matrix} A & 0 \\ 0 & A^{- t} \end{matrix})

Remark 3.9. If

R

is an irreducible, reduced root system we can also perform the construction in Theorem 2.5 for the natural integral representation associated to the lattice generated by

R^{\lor}

, the inverse root system.

A related construction is the following. Let

E

be a generic elliptic curve and

R

an irreducible, reduced root system of rank

n

, with

Q

the lattice generated by

R

R^{\lor}

. Then

X ≃ Q \otimes E

is an

n

-dimensional complex torus isomorphic (as a complex torus) to the

n

-fold product of the elliptic curve

E

and the Weyl group

W (R)

acts naturally on

X

. The polarization

P

E

induces an equivariant polarization

P_{X}

X

which is, in general, not principal.

Such abelian varieties have been discussed earlier in [8] for the case

Q^{\lor}

the lattice generated by

R^{\lor}

. One can verify that the natural equivariant polarization induced on

X ≃ Q^{\lor} \otimes E

is of respective degree

n + 1

4

1

4

3

2

1

4

and

3

, corresponding to the system

A_{n}

B_{n}

C_{n}

D_{n}

E_{6}

E_{8}

F_{4}

and

G_{2}

In Section 5 we will make explicit the relation between these polarized abelian varieties and our corresponding principally polarized abelian varieties.

4 Irreducibility of the abelian varieties associated to Weyl groups

In this section we answer the question of irreducibility of the p.p.a.v.'s admitting the natural action of the Weyl groups constructed in Proposition 3.1 .

We already know, from Corollary 2.8 , that when considered as complex tori they are all isomorphic to the product of elliptic curves. Our next result gives the explicit decomposition in each case.

Proposition 4.1. Let

R

be an irreducible, reduced root system and consider the corresponding family of p.p.a.v.'s

A (R)

as per Definition 3.4 .

Then each

A_{τ}

A (R)

is isomorphic (as a complex torus) to a product of elliptic curves, as follows.

Table 2: Decomposition as complex tori

Root system Decomposition for

A_{τ}

Case

A_{n}

E_{τ}^{n - 1} \times E_{τ / (n + 1)}

any

n

B_{n}

E_{τ}^{n}

any

n

C_{n}

D_{n}

E_{τ}^{n - 1} \times E_{τ / 4}

n

odd

E_{τ}^{n - 2} \times E_{τ / 2}^{2}

n

even

E_{6}

E_{τ}^{5} \times E_{τ / 3}

E_{7}

E_{τ}^{6} \times E_{τ / 2}

E_{8}

E_{τ}^{8}

F_{4}

E_{τ}^{2} \times E_{τ / 2}^{2}

G_{2}

E_{τ} \times E_{τ / 3}

Proof. A case by case calculation of the integers $d_{j}$ appearing in the proof of Proposition 2.4 gives the result. □

Remark 4.2. Alternatively, given a Riemann matrix

Z_{τ}

H (R)

, we can find explicit

n \times n

unimodular matrices

F

and

M

and a diagonal

n \times n

matrix

d

(with positive entries in the diagonal) which satisfy the following equation

\begin{matrix} F (I_{n} Z_{τ}) = (I_{n} τ d) (\begin{matrix} F & 0 \\ 0 & M \end{matrix}) \end{matrix}

(4.1)

We illustrate with the following example, which will give extra information.

Let

R = B_{n}

. In this case, let

F = (\begin{matrix} 1 & 0 & . . . & 0 & 0 \\ - 1 & 1 & . . . & 0 & 0 \\ . . . \\ 0 & . . . & 1 & 0 \\ 0 & . . . & - 1 & 1 \end{matrix}), d = I_{n}, and M = F S^{- 1},

and note that equation ( 4.1 ) is satisfied.

This calculation provides the first result about the irreducibility of these p.p.a.v.'s, as follows.

Corollary 4.3. For every natural number

n

and every

τ

H_{1}

, the p.p.a.v.

A_{τ}

A (B_{n})

is isomorphic as a p.p.a.v. to the product of

n

-times the elliptic curve

E_{τ}

Proof. Observe that $M = F^{- t}$ for the explicit matrices given above.
Therefore the matrix $(\begin{matrix} F & 0 \\ 0 & M \end{matrix})$ appearing in the equivalence of Remark 4.2 is symplectic, which finishes the proof. □

About the case

R = A_{n}

, the following result may be found in [6] (see also Remark 3.8 ).

Proposition 4.4. Consider the root system of type

A_{n}

and denote by

A (A_{n})

the corresponding family of p.p.a.v.'s of dimension

n

given in Definition 3.4 .

Then each

A_{τ}

A (A_{n})

is irreducible as a p.p.a.v., except when

n = 2

and

τ

is equivalent to

τ_{0} = \frac{- 3 + i \sqrt{3}}{6}

mod

Γ_{0} (3)

, in which case

A_{τ}

is isomorphic as a p.p.a.v. to

E_{ω} \times E_{ω}

, where

E_{ω}

is the elliptic curve with

j (ω) = 0

We will now answer the question of irreducibility as p.p.a.v.'s for the other irreducible root systems, where by the isomorphisms given in Proposition 3.5 we only need to consider the cases

R = C_{n}

E_{6}

E_{7}

and

E_{8}

. Note that the proof applies to the case

A_{n}

as well.

Theorem 4.5. For each of the root systems

R = C_{n}

(

n \geq 3

E_{6}

E_{7}

and

E_{8}

consider the respective family of p.p.a.v.'s

A (R)

given in Definition 3.4 .

Then each

(X_{τ}, H_{τ})

A (R)

is irreducible as a p.p.a.v., except for some exceptional values of

τ

in the case

R = C_{n}

Proof. Suppose that $(X_{τ}, H_{τ}) = (X, H)$ is isomorphic as a p.p.a.v. to a product of p.p.a.v.'s as follows $(X, H) ≃ (X_{1}, H_{1}) \times (X_{2}, H_{2}) \times \dots \times (X_{k}, H_{k}),$ with $k > 1$ .
Then the tangent space at the origin for $X$ , $T (X)$ , decomposes accordingly $T (X) ≃ \oplus_{j = 1}^{k} T (X_{j}) .$ Furthermore, the corresponding Weyl group preserves this decomposition, and therefore the group is imprimitive.
But then the root system under consideration must be $C_{n}$ (see [4] ); furthermore all $(X_{j}, H_{j})$ are isomorphic to each other, and $dim X_{j} = 1$ .
That is, $X ≃ X_{1}^{n}$ , where $X_{1}$ is an elliptic curve. But by Proposition 4.1 we also have that $X ≃ E_{τ}^{n - 1} \times E_{τ / 4} for n odd$ and that $X ≃ E_{τ}^{n - 2} \times E_{τ / 2} \times E_{τ / 2} for n even$ as complex tori.
This finishes the proof, since then the only values of $τ$ for which $(X_{τ}, H_{τ})$ may be reducible are for the case of the root system $C_{n}$ and $E_{τ} ≃ E_{τ / 4}$ , for $n$ odd, and $E_{τ} ≃ E_{τ / 2}$ , for $n$ even. □

Remark 4.6. The Jacobian variety

J (C)

of a complex curve

C

of genus

n

is an irreducible principally polarized abelian variety of dimension

n

(irreducibility of the theta divisor). Nevertheless, it is an interesting problem to find Jacobians isomorphic as tori (and not only isogenous) to products of elliptic curves.

As all the p.p.a.v.'s in the families associated to Weyl groups are isomorphic to products of elliptic curves, a necessary condition for a family

A (R)

in the moduli space

A_{n}

of p.p.a.v.'s of dimension

n

to intersect the Jacobian locus

J_{n}

is given by the Hurwitz and Torelli theorems. For example, these condition are satisfied for the root systems

A_{4}

and

A_{5}

, and in those cases the corresponding intersection is characterized in [11] , [6] and [10] .

5 The abelian varieties families for Weyl groups are modular curves

In this section we will show that the families

A (R)

constructed in Section 3 may be described as modular curves in the corresponding moduli space of principally polarized abelian varieties.

Remark 5.1. Let

R

be an irreducible root system and denote by

G

the natural symplectic representation of either its Weyl group

W (R)

given by 2.1 .

Denote by

C (G)

and

N (G)

the respective centralizer and normalizer of

G

inside the corresponding symplectic group, and by

Aut (G)

the group of automorphisms of

G

that may be realized inside the symplectic group.

Then we have the following exact sequence of groups

1 \to C (G) \to i N (G) \to φ Aut (G) \to 1

where

i

denotes the inclusion and

φ (M)

is conjugation by

M

for each

M

N (G)

. Furthermore, the family

A (R)

A_{n}

is given by

H (R) / C (G)

, so we need to describe

C (G)

, which we do next.

Proposition 5.2. Let

R

be an irreducible root system of dimension

n

and consider the symplectic representation of its Weyl group

W (R)

associated to the natural basis for the roots, as in 2.1 .

Then its centralizer in

Sp (2 n, Z)

is isomorphic to a subgroup of

PSL (2, Z) = Γ

, as follows.

Table 3: Centralizers for $W (R)$

Root system Centralizer Case

A_{n}

Γ^{0} (n + 1)

any

n

B_{n}

E_{8}

Γ

any

n

C_{n}

D_{n}

Γ^{0} (4)

n

odd

Γ^{0} (2)

n

even

E_{6}

G_{2}

Γ^{0} (3)

Table 3: (continued)

E_{7}

F_{4}

Γ^{0} (2)

Proof. We observe that $Γ = PSL (2, Z)$ acts naturally on $Z^{2} \otimes L^{*} = L^{*} \oplus L^{*}$ , and that the centralizer we are looking for is isomorphic to the stabilizer of $L \oplus L^{*}$ under this action, which is then computed using Table 2 . □

Remark 5.3. Alternatively, since the natural integral representation of each Weyl group is absolutely irreducible, it follows that each matrix in the centralizer has the following form

(\begin{matrix} a I_{n} & b Z_{0} \\ c Z_{0}^{- 1} & d I_{n} \end{matrix})

with

a, b, c, d \in Z

and

a d - b c = 1

, and

Z_{0}

as in Table 3.1 . Noting that

Z_{0}^{- 1}

is an integral matrix, the specific extra conditions on

b

in each case follow from Table 3.1 .

We can now parameterize each family

A (R)

as follows.

Theorem 5.4. Let

R

be an irreducible root system of dimension

n

Then the set

A (R)

of isomorphism classes of p.p.a.v.'s in

A_{n}

which are

ρ -

decomposable for the natural action of the corresponding Weyl group

W (R)

, is parameterized by a modular curve.

More precisely, we have the following result.

Table 4: Parameterizing the families $A (R)$

Root system

R

A (R)

Case

A_{n}

H_{1} / Γ^{0} (n + 1)

any

n

B_{n}

E_{8}

H_{1} / Γ

any

n

Table 4: (continued)

C_{n}

D_{n}

H_{1} / Γ^{0} (4)

n

odd

H_{1} / Γ^{0} (2)

n

even

E_{6}

G_{2}

H_{1} / Γ^{0} (3)

E_{7}

F_{4}

H_{1} / Γ^{0} (2)

Proof. Consider an irreducible root system $R$ of dimension $n$ and denote by $H (R)$ the family of Riemann matrices in $H_{n}$ constructed in Proposition 3.1 .
It follows that the natural morphism $H (R) \to H_{1}$ which sends $Z_{τ}$ to $τ$ is equivariant under the action of the centralizer of $Aut (R)$ in $Sp (2 n, Z)$ .
Since this centralizer was described in Proposition 5.2 as a subgroup $Γ_{1}$ of $PSL (2, Z)$ , there is an induced injective morphism $H (R) / centralizer \to H_{1} / Γ_{1} .$ Conversely, let $(E, U)$ be a point of the modular curve $H_{1} / Γ_{1}$ . Then $E$ is an elliptic curve and $U$ is a cyclic subgroup of the appropriate order in $E$ .
The construction of a principally polarized abelian variety in our family starting from these data is obtained following the idea discussed in [6] for the case $A_{n}$ as follows.
Start by constructing an abelian variety $X$ of dimension $n$ , naturally associated to the root system and the elliptic curve, and with the natural action of the Weyl group on $X$ . There is a natural equivariant polarization $P_{X}$ on $X$ such that we can embed the subgroup $U$ inside the kernel of $P_{X}$ , obtaining a cyclic group which is both invariant under the group action and totally isotropic for the Weil form. It follows that there is a principal polarization $Q$ on $X / U$ whose inverse image is $P_{X}$ . Since the construction is equivariant for the group action, the principally polarized abelian variety $(X / U, Q)$ is the required one.
The proof is finished by explicit calculations in a case by case analysis, by giving an embedding of each cyclic group $U$ into the kernel of $P_{X}$ with the required properties.
□

Remark 5.5. We can now complete the description of the relationship between our varieties and the ones constructed in [8] .

With the notation given in Remark 3.9 , the abelian varieties

X = Q^{\lor} \otimes E

of [8] coincide with the abelian varieties

X

constructed in the proof of Theorem 5.4 (for the respective inverse root system). In other words, our p.p.a.v.'s are obtained as quotients by appropriate cyclic subgroups of the abelian varieties given in [8] .

Acknowledgement. The authors would like to thank the referee for making numerous suggestions that improved the presentation and for pointing out misprints.

References

Ch. Birkenhake and H.Lange, Complex Tori, Progress in Mathematics 177 Birkhauser (1999).
N. Bourbaki, Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines. (French) Actualités Scientifiques et Industrielles, No. 1337 Hermann, Paris 1968 288 pp.
J. W. S. Cassels, Rational quadratic forms. London Mathematical Society Monographs 13. Academic Press, London-New York, (1978).
M. Geck and G. Malle, Reflection Groups. A Contribution to the Handbook of Algebra arXiv.math.RT/0311012
V. González-Aguilera and R. E. Rodríguez, A pencil in ${\tilde{M}}_{6}$ with three points at the boundary, Geom. Dedicata 42 (1992), no. 3, 255–265.
V. González-Aguilera and R. E. Rodríguez, Families of irreducible principally polarized abelian varieties isomorphic to a product of elliptic curves, Proc. Amer. Soc. 128 (2000), 629–635.
H. Lange and Ch. Birkenhake , Complex Abelian Varieties, Grundlehren der Mathematischen Wissenschaften 302. Springer-Verlag, Berlin, (1992).
E. Looijenga, Root Systems and Elliptic Curves, Invent. Math. 38 (1976), no. 1, 17–32.
L. Moret-Bailly, Familles de courbes et des variétés abéliennnes sur $P_{1}$ , Astérisque. 86 (1981), 109–124.
G. Riera and R. E. Rodríguez, The period matrix of Bring's curve, Pacific J. Of Math. 154 (1992), 179–200.
R. E. Rodríguez and V. González-Aguilera, Fermat's quartic curve, Klein's curve and the Tetrahedrom, Contemp. Math. 201 (1997), 43–62.
J. P. Serre, Linear representations of finite groups, GTM 42, Springer-Verlag, New York, 1996.

Facultad de Matematicas, Pontificia Universidad Catolica de Chile, Casilla 306, Correo 22, Santiago, Chile E-mail address : acarocca@mat.puc.cl Departamento de Matematicas, Universidad Tecnica Federico Santa Marɪa, Casilla 110-V, Valparaɪso, Chile E-mail address : vgonzale@mat.utfsm.cl Facultad de Matematicas, Pontificia Universidad Catolica de Chile, Casilla 306, Correo 22, Santiago, Chile E-mail address : rubi@mat.puc.cl

Angel Carocca, Víctor González-Aguilera,

Rubí E. Rodríguez