.
$$\rho (1,2,3,4,5)=\left[\begin{array}{cccccc}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{array}\right]$$
$$\rho (1,2)=\left[\begin{array}{cccccc}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{array}\right]$$
The associated symplectic action is given by
$$\stackrel{~}{\rho}(1,2,3,4,5)=\left[\begin{array}{cc}\rho (1,2,3,4,5)& 0\\ 0& {\rho}^{t}(1,2,3,4,5)\end{array}\right]$$
$$\stackrel{~}{\rho}(1,2)=\left[\begin{array}{cc}\rho (1,2)& L(1,2)\\ 0& {\rho}^{t}(1,2)\end{array}\right]$$
where
$$L(1,2)=\left[\begin{array}{cccccc}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{array}\right]$$
The Riemann matrices
${Z}_{\tau}$
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
$$\left(\begin{array}{cc}U\left(g\right)& 0\\ 0& U(g{)}^{t}\\ \end{array}\right).$$
3 The construction for Weyl groups
For each Weyl group
$\mathcal{W}$
there is a natural integral faithful representation
$\rho $
, 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
$\rho $
decomposable p.p.a.v.'s, which we also know is parameterized by
${\mathbb{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
$\mathcal{W}\left(R\right)$
be its Weyl group.
We denote the corresponding canonical basis for the root system
$(V,R)$
by
$\mathcal{\mathcal{B}}$
, and consider the integral representation
$\rho $
of dimension
$n$
of
$\mathcal{W}\left(R\right)$
generated by the reflections associated to the elements of
$\mathcal{\mathcal{B}}$
Then the family of
$\rho $
decomposable p.p.a.v.'s is onedimensional, and parameterized by the family of Riemann matrices
$\mathbb{H}\left(R\right)$
in
${\mathbb{H}}_{n}$
associated to
$\rho $
by Corollary 2.6 .
The corresponding Riemann matrices are given by
$$\mathbb{H}\left(R\right)=\{{Z}_{\tau}=\tau {Z}_{0}:\tau \in {\mathbb{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}$






${\mathbf{A}}_{\mathbf{n}}$
$\frac{1}{n+1}\left(\begin{array}{ccccccc}n& n1& n2& ...& & 2& 1\\ & 2(n1)& & ...& & 4& 2\\ & & ...& & & & \\ & & & j(n+1j)& ...& 2j& j\\ & & & & ...& & \\ & & & & & 2(n1)& n1\\ & & & & & & n\end{array}\right)$






${\mathbf{B}}_{\mathbf{n}}$
$\left(\begin{array}{ccccc}1& 1& ...& 1& 1\\ & 2& ...& 2& 2\\ & & ...& & \\ & & & n1& n1\\ & & & & n\end{array}\right)$






${\mathbf{C}}_{\mathbf{n}}$
$\left(\begin{array}{ccccc}1& 1& ...& 1& \frac{1}{2}\\ & 2& ...& 2& 1\\ & & ...& & \\ & & & n1& \frac{n1}{2}\\ & & & & \frac{n}{4}\end{array}\right)$






${\mathbf{D}}_{\mathbf{n}}$
$\left(\begin{array}{cccccccc}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}\\ & & & & ...& & & \\ & & & & & n2& \frac{n2}{2}& \frac{n2}{2}\\ & & & & & & \frac{n}{4}& \frac{n2}{4}\\ & & & & & & & \frac{n}{4}\end{array}\right)$






${\mathbf{E}}_{6}$
$\left(\begin{array}{cccccc}\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{array}\right)$




Table 1:
(continued)



${\mathbf{E}}_{7}$
$\left(\begin{array}{ccccccc}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{array}\right)$





${\mathbf{E}}_{8}$
$\left(\begin{array}{cccccccc}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{array}\right)$






${\mathbf{F}}_{4}$
$\left(\begin{array}{cccc}1& \frac{3}{2}& 2& 1\\ & 3& 4& 2\\ & & 6& 3\\ & & & 2\end{array}\right)$






${\mathbf{G}}_{2}$
$\frac{1}{3}\left(\begin{array}{cc}6& 3\\ & 2\end{array}\right)$






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
$\mathcal{\mathcal{B}}=\{{\alpha}_{1},\dots ,{\alpha}_{n}\}$
.
Let
$C$
denote the Cartan matrix of
$R$
given by
$$C=\left({c}_{ij}\right)=\left(2\frac{({\alpha}_{i},{\alpha}_{j})}{({\alpha}_{j},{\alpha}_{j})}\right),$$
and let
$D$
denote the
$n\times n$
diagonal matrix given by
${d}_{ii}=\frac{({\alpha}_{i},{\alpha}_{i})}{2}$
.
Then an integral matrix
$S$
for the
$\mathcal{W}\left(R\right)$
invariant inner product is given by
$S=CD$
, 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\left(R\right)$
, is a semidirect product of the corresponding Weyl group
$\mathcal{W}\left(R\right)$
and a finite group
$\Gamma $
, where
$\Gamma $
is the trivial group except in the following cases.

$\mathbf{R}={\mathbf{A}}_{\mathbf{n}}$
$\Gamma =\mathbb{Z}/2\mathbb{Z}$

$\mathbf{R}={\mathbf{D}}_{4}$
$\Gamma ={S}_{3}$

$\mathbf{R}={\mathbf{D}}_{\mathbf{n}},\mathbf{n}>4$
$\Gamma =\mathbb{Z}/2\mathbb{Z}$

$\mathbf{R}={\mathbf{E}}_{6}$
$\Gamma =\mathbb{Z}/2\mathbb{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\left(R\right)$
the group of automorphisms of
$R$
and by
$\stackrel{~}{\rho}$
the natural integral representation of
$Aut\left(R\right)$
extending the representation
$\rho $
of the Weyl group
$\mathcal{W}\left(R\right)$
.
Then the family of
$\stackrel{~}{\rho}$
decomposable p.p.a.v.'s coincides with the family of
$\rho $
decomposable p.p.a.v.'s.
More explicitly, each
${Z}_{\tau}\in \mathbb{H}\left(R\right)$
is fixed under the symplectic action 2.1 induced by
$\stackrel{~}{\rho}$
.
Definition 3.4.
Let
$R$
be an irreducible, reduced root system of dimension
$n$
, and let
$\mathcal{W}\left(R\right)$
be its Weyl group.
Consider the family
$\mathbb{H}\left(R\right)$
of Riemann matrices in
${\mathbb{H}}_{n}$
associated to
$\rho (\mathcal{W}(R\left)\right)$
by Proposition 2.4 .
For each
${Z}_{\tau}$
in
$\mathbb{H}\left(R\right)$
we will denote by
${A}_{\tau}=({X}_{\tau},{H}_{\tau})$
the corresponding
$\rho $
decomposable p.p.a.v., and by
$\mathcal{A}\left(R\right)$
the corresponding family in
${\mathcal{A}}_{n}$
.
Note that each
${A}_{\tau}$
is
$\stackrel{~}{\rho}$
decomposable, for
$\stackrel{~}{\rho}$
as in Corollary 3.3 .
Proposition 3.5.
With the notation of Proposition 3.1 , the following results hold for each
$\tau $
in
${\mathbb{H}}_{1}$
, where the corresponding isomorphisms are as p.p.a.v.'s.

(1)
${A}_{\tau}\in \mathbb{H}\left({\mathbf{D}}_{\mathbf{n}}\right)$
is isomorphic to
${A}_{\tau}\in \mathbb{H}\left({\mathbf{C}}_{\mathbf{n}}\right)$
for each
$n$
,

(2)
${A}_{\tau}\in \mathbb{H}\left({\mathbf{F}}_{4}\right)$
is isomorphic to
${A}_{\tau}\in \mathbb{H}\left({\mathbf{D}}_{4}\right)$
, and

(3)
${A}_{\tau}\in \mathbb{H}\left({\mathbf{G}}_{2}\right)$
is isomorphic to
${A}_{\tau}\in \mathbb{H}\left({\mathbf{A}}_{2}\right)$
.

Proof.
It is easy to verify that, in each of the above cases, the integral representations
$\stackrel{~}{\rho}$
considered in Corollary 3.3 are isomorphic over
$\mathbb{Z}$
for the corresponding groups
$Aut\left(R\right)$
. □
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}=\mathbb{H}\left({\mathbf{R}}_{1}\right)$
is isomorphic to the corresponding element of the family
${F}_{2}=\mathbb{H}\left({\mathbf{R}}_{2}\right)$
, we find an invertible complex
$n\times n$
matrix
$A$
and a symplectic
$2n\times 2n$
matrix
$M$
such that the following equation holds for each
${Z}_{\tau}=\tau {Z}_{1}$
in
${F}_{1}$
and each
$\stackrel{~}{{Z}_{\tau}}=\tau {Z}_{2}$
in
${F}_{2}$
.
$$\begin{array}{c}A\left({I}_{n}{Z}_{\tau}\right)=\left({I}_{n}\stackrel{~}{{Z}_{\tau}}\right)M.\end{array}$$ 
(3.1)

In fact, in each case we can choose
$A$
to be unimodular (integral) and
$M$
to be of the form
$M=\left(\begin{array}{cc}A& 0\\ 0& {\text{}}^{t}{A}^{1}\end{array}\right).$
For
${F}_{1}=\mathbb{H}\left({\mathbf{D}}_{\mathbf{n}}\right)$
and
${F}_{2}=\mathbb{H}\left({\mathbf{C}}_{\mathbf{n}}\right)$
we let
$A=\left(\begin{array}{cccc}{I}_{n2}& {I}_{n2}& 0& 0\\ 0& 1& 1& 1\\ 0& 0& 1& 0\end{array}\right)$
.
For
${F}_{1}=\mathbb{H}\left({\mathbf{D}}_{4}\right)$
and
${F}_{2}=\mathbb{H}\left({\mathbf{F}}_{4}\right)$
we let
$A=\left(\begin{array}{cccc}0& 0& 0& 1\\ 1& 0& 0& 1\\ 1& 0& 1& 1\\ 0& 1& 0& 0\end{array}\right)$
.
For
${F}_{1}=\mathbb{H}\left({\mathbf{G}}_{2}\right)$
and
${F}_{2}=\mathbb{H}\left({\mathbf{A}}_{2}\right)$
we let
$A=\left(\begin{array}{cc}1& 2\\ 0& 1\end{array}\right)$
.
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
$\mathbb{H}(\mathbf{R})$
.
Remark 3.8.
The family
$\mathbb{H}\left({\mathbf{A}}_{\mathbf{n}}\right)$
was discussed in a different context in [
6]
.
The corresponding Riemann matrices mentioned there are of the following form
$${\stackrel{~}{Z}}_{\tau}=\tau \left(\begin{array}{cccc}n& 1& ...& 1\\ 1& n& & \mathbf{.}\mathbf{.}\mathbf{.}\\ & & \mathbf{.}\mathbf{.}\mathbf{.}& 1\\ 1& \cdot \cdot \cdot & 1& n\end{array}\right).$$
This family is of course isomorphic to our family; as above, it is enough to consider the unimodular
$n\times n$
matrix
$$A=\left(\begin{array}{ccccc}1& 0& 0& 0& \cdot \cdot \cdot \\ 1& 1& 0& 0& \cdot \cdot \cdot \\ 0& 1& 1& 0& \cdot \cdot \cdot \\ \mathbf{.}\mathbf{.}\mathbf{.}& & \mathbf{.}\mathbf{.}\mathbf{.}& \mathbf{.}\mathbf{.}\mathbf{.}& \\ 0& ...& & 1& 1\end{array}\right)$$
and verify that Equation ( 3.1 ) is satisfied with
$M=\left(\begin{array}{cc}A& 0\\ 0& {A}^{t}\end{array}\right)$
.
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}^{\vee}$
, 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$
or
${R}^{\vee}$
. Then
$X\simeq 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
$\mathcal{W}\left(R\right)$
acts naturally on
$X$
. The polarization
$P$
on
$E$
induces an equivariant polarization
${P}_{X}$
on
$X$
which is, in general, not principal.
Such abelian varieties have been discussed earlier in [
8]
for the case
${Q}^{\vee}$
the lattice generated by
${R}^{\vee}$
. One can verify that the natural equivariant polarization induced on
$X\simeq {Q}^{\vee}\otimes E$
is of respective degree
$n+1$
,
$4$
,
$1$
,
$4$
,
$3$
,
$2$
,
$1$
,
$4$
and
$3$
, corresponding to the system
${\mathbf{A}}_{\mathbf{n}}$
,
${\mathbf{B}}_{\mathbf{n}}$
,
${\mathbf{C}}_{\mathbf{n}}$
,
${\mathbf{D}}_{\mathbf{n}}$
,
${\mathbf{E}}_{6}$
,
${\mathbf{E}}_{8}$
,
${\mathbf{F}}_{4}$
and
${\mathbf{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
$\mathcal{A}\left(R\right)$
as per Definition 3.4 .
Then each
${A}_{\tau}$
in
$\mathcal{A}\left(R\right)$
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}_{\tau}$
Case






${\mathbf{A}}_{\mathbf{n}}$
${E}_{\tau}^{n1}\times {E}_{\tau /(n+1)}$
any
$n$






${\mathbf{B}}_{\mathbf{n}}$
${E}_{\tau}^{n}$
any
$n$






${\mathbf{C}}_{\mathbf{n}}$
,
${\mathbf{D}}_{\mathbf{n}}$
${E}_{\tau}^{n1}\times {E}_{\tau /4}$
$n$
odd




${E}_{\tau}^{n2}\times {E}_{\tau /2}^{2}$
$n$
even






${\mathbf{E}}_{6}$
${E}_{\tau}^{5}\times {E}_{\tau /3}$






${\mathbf{E}}_{7}$
${E}_{\tau}^{6}\times {E}_{\tau /2}$





${\mathbf{E}}_{8}$
${E}_{\tau}^{8}$






${\mathbf{F}}_{4}$
${E}_{\tau}^{2}\times {E}_{\tau /2}^{2}$






${\mathbf{G}}_{2}$
${E}_{\tau}\times {E}_{\tau /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}_{\tau}$
in
$\mathbb{H}\left(R\right)$
, 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{array}{c}F\left({I}_{n}{Z}_{\tau}\right)=\left({I}_{n}\tau d\right)\left(\begin{array}{cc}F& 0\\ 0& M\end{array}\right)\end{array}$$ 
(4.1)

We illustrate with the following example, which will give extra information.
Let
$R={\mathbf{B}}_{\mathbf{n}}$
. In this case, let
$$F=\left(\begin{array}{ccccc}1& 0& ...& 0& 0\\ 1& 1& ...& 0& 0\\ & & \mathbf{.}\mathbf{.}\mathbf{.}& & \\ 0& & ...& 1& 0\\ 0& & ...& 1& 1\\ \end{array}\right),d={I}_{n},\text{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
$\tau $
in
${\mathbb{H}}_{1}$
, the p.p.a.v.
${A}_{\tau}$
in
$\mathcal{A}\left({\mathbf{B}}_{\mathbf{n}}\right)$
is isomorphic as a p.p.a.v. to the product of
$n$
times the elliptic curve
${E}_{\tau}$
.

Proof.
Observe that
$M={F}^{t}$
for the explicit matrices given above.
Therefore the matrix
$\left(\begin{array}{cc}F& 0\\ 0& M\end{array}\right)$
appearing in the equivalence of Remark 4.2 is symplectic, which finishes the proof. □
About the case
$R={\mathbf{A}}_{\mathbf{n}}$
, the following result may be found in [6] (see also Remark 3.8 ).
Proposition 4.4.
Consider the root system of type
${\mathbf{A}}_{n}$
and denote by
$\mathcal{A}\left({\mathbf{A}}_{\mathbf{n}}\right)$
the corresponding family of p.p.a.v.'s of dimension
$n$
given in Definition 3.4 .
Then each
${A}_{\tau}$
in
$\mathcal{A}\left({\mathbf{A}}_{\mathbf{n}}\right)$
is irreducible as a p.p.a.v., except when
$n=2$
and
$\tau $
is equivalent to
${\tau}_{0}=\frac{3+i\sqrt{3}}{6}$
mod
${\Gamma}_{0}\left(3\right)$
, in which case
${A}_{\tau}$
is isomorphic as a p.p.a.v. to
${E}_{\omega}\times {E}_{\omega}$
, where
${E}_{\omega}$
is the elliptic curve with
$j\left(\omega \right)=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={\mathbf{C}}_{\mathbf{n}}$
,
${\mathbf{E}}_{6}$
,
${\mathbf{E}}_{7}$
and
${\mathbf{E}}_{8}$
. Note that the proof applies to the case
${\mathbf{A}}_{n}$
as well.
Theorem 4.5.
For each of the root systems
$R={\mathbf{C}}_{\mathbf{n}}$
(
$n\ge 3$
),
${\mathbf{E}}_{6}$
,
${\mathbf{E}}_{7}$
and
${\mathbf{E}}_{8}$
consider the respective family of p.p.a.v.'s
$\mathcal{A}\left(R\right)$
given in Definition 3.4 .
Then each
$({X}_{\tau},{H}_{\tau})$
in
$\mathcal{A}\left(R\right)$
is irreducible as a p.p.a.v., except for some exceptional values of
$\tau $
in the case
$R={\mathbf{C}}_{\mathbf{n}}$
.

Proof.
Suppose that
$({X}_{\tau},{H}_{\tau})=(X,H)$
is isomorphic as a p.p.a.v. to a product of p.p.a.v.'s as follows
$$(X,H)\simeq ({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\left(X\right)$
, decomposes accordingly
$$T\left(X\right)\simeq {\oplus}_{j=1}^{k}T\left({X}_{j}\right).$$
Furthermore, the corresponding Weyl group preserves this decomposition, and therefore the group is imprimitive.
But then the root system under consideration must be
${\mathbf{C}}_{\mathbf{n}}$
(see [
4]
); furthermore all
$({X}_{j},{H}_{j})$
are isomorphic to each other, and
$dim{X}_{j}=1$
.
That is,
$X\simeq {X}_{1}^{n}$
, where
${X}_{1}$
is an elliptic curve. But by Proposition 4.1 we also have that
$X\simeq {E}_{\tau}^{n1}\times {E}_{\tau /4}\text{for}n\text{odd}$
and that
$X\simeq {E}_{\tau}^{n2}\times {E}_{\tau /2}\times {E}_{\tau /2}\text{for}n\text{even}$
as complex tori.
This finishes the proof, since then the only values of
$\tau $
for which
$({X}_{\tau},{H}_{\tau})$
may be reducible are for the case of the root system
${\mathbf{C}}_{\mathbf{n}}$
and
${E}_{\tau}\simeq {E}_{\tau /4}$
, for
$n$
odd, and
${E}_{\tau}\simeq {E}_{\tau /2}$
, for
$n$
even. □
Remark 4.6.
The Jacobian variety
$J\left(C\right)$
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
$\mathcal{A}\left(R\right)$
in the moduli space
${\mathcal{A}}_{n}$
of p.p.a.v.'s of dimension
$n$
to intersect the Jacobian locus
${\mathcal{J}}_{n}$
is given by the Hurwitz and Torelli theorems. For example, these condition are satisfied for the root systems
${\mathbf{A}}_{4}$
and
${\mathbf{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
$\mathcal{A}\left(R\right)$
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
$\mathcal{W}\left(R\right)$
given by 2.1 .
Denote by
$C\left(G\right)$
and
$N\left(G\right)$
the respective centralizer and normalizer of
$G$
inside the corresponding symplectic group, and by
$Aut\left(G\right)$
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\left(G\right)\to iN\left(G\right)\to \phi Aut\left(G\right)\to 1$$
where
$i$
denotes the inclusion and
$\phi \left(M\right)$
is conjugation by
$M$
for each
$M$
in
$N\left(G\right)$
. Furthermore, the family
$\mathcal{A}\left(R\right)$
in
${\mathcal{A}}_{n}$
is given by
$\mathbb{H}\left(R\right)/C\left(G\right)$
, so we need to describe
$C\left(G\right)$
, 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
$\mathcal{W}\left(R\right)$
associated to the natural basis for the roots, as in 2.1 .
Then its centralizer in
$Sp(2n,\mathbb{Z})$
is isomorphic to a subgroup of
$PSL(2,\mathbb{Z})=\Gamma $
, as follows.

Table 3:
Centralizers for
$\mathcal{W}\left(R\right)$



Root system Centralizer Case






${\mathbf{A}}_{\mathbf{n}}$
${\Gamma}^{0}(n+1)$
any
$n$






${\mathbf{B}}_{\mathbf{n}}$
,
${\mathbf{E}}_{8}$
$\Gamma $
any
$n$






${\mathbf{C}}_{\mathbf{n}}$
,
${\mathbf{D}}_{\mathbf{n}}$
${\Gamma}^{0}\left(4\right)$
$n$
odd


${\Gamma}^{0}\left(2\right)$
$n$
even






${\mathbf{E}}_{6}$
,
${\mathbf{G}}_{2}$
${\Gamma}^{0}\left(3\right)$




Table 3:
(continued)



${\mathbf{E}}_{7}$
,
${\mathbf{F}}_{4}$
${\Gamma}^{0}\left(2\right)$






Proof.
We observe that
$\Gamma =PSL(2,\mathbb{Z})$
acts naturally on
${\mathbb{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
$$\left(\begin{array}{cc}a{I}_{n}& b{Z}_{0}\\ c{Z}_{0}^{1}& d{I}_{n}\end{array}\right)$$
with
$a,b,c,d\in \mathbb{Z}$
and
$adbc=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
$\mathcal{A}\left(R\right)$
as follows.
Theorem 5.4.
Let
$R$
be an irreducible root system of dimension
$n$
.
Then the set
$\mathcal{A}\left(R\right)$
of isomorphism classes of p.p.a.v.'s in
${\mathcal{A}}_{n}$
which are
$\rho $
decomposable for the natural action of the corresponding Weyl group
$\mathcal{W}\left(R\right)$
, is parameterized by a modular curve.
More precisely, we have the following result.

Table 4:
Parameterizing the families
$\mathcal{A}\left(R\right)$



Root system
$R$
$\mathcal{A}\left(R\right)$
Case






${\mathbf{A}}_{\mathbf{n}}$
${\mathbb{H}}_{1}/{\Gamma}^{0}(n+1)$
any
$n$






${\mathbf{B}}_{\mathbf{n}}$
,
${\mathbf{E}}_{8}$
${\mathbb{H}}_{1}/\Gamma $
any
$n$




Table 4:
(continued)



${\mathbf{C}}_{\mathbf{n}}$
,
${\mathbf{D}}_{\mathbf{n}}$
${\mathbb{H}}_{1}/{\Gamma}^{0}\left(4\right)$
$n$
odd




${\mathbb{H}}_{1}/{\Gamma}^{0}\left(2\right)$
$n$
even






${\mathbf{E}}_{6}$
,
${\mathbf{G}}_{2}$
${\mathbb{H}}_{1}/{\Gamma}^{0}\left(3\right)$






${\mathbf{E}}_{7}$
,
${\mathbf{F}}_{4}$
${\mathbb{H}}_{1}/{\Gamma}^{0}\left(2\right)$





Proof.
Consider an irreducible root system
$R$
of dimension
$n$
and denote by
$\mathbb{H}\left(R\right)$
the family of Riemann matrices in
${\mathbb{H}}_{n}$
constructed in Proposition 3.1 .
It follows that the natural morphism
$$\mathbb{H}\left(R\right)\to {\mathbb{H}}_{1}$$
which sends
${Z}_{\tau}$
to
$\tau $
is equivariant under the action of the centralizer of
$Aut\left(R\right)$
in
$Sp(2n,\mathbb{Z})$
.
Since this centralizer was described in Proposition
5.2 as a subgroup
${\Gamma}_{1}$
of
$PSL(2,\mathbb{Z})$
, there is an induced injective morphism
$$\mathbb{H}\left(R\right)/\text{centralizer}\to {\mathbb{H}}_{1}/{\Gamma}_{1}.$$
Conversely, let
$(E,U)$
be a point of the modular curve
${\mathbb{H}}_{1}/{\Gamma}_{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
${\mathbf{A}}_{\mathbf{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}^{\vee}\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, LondonNew York, (1978).

M. Geck and G. Malle, Reflection Groups. A Contribution to the Handbook of Algebra arXiv.math.RT/0311012

V. GonzálezAguilera and R. E. Rodríguez, A pencil in
${\stackrel{~}{\mathfrak{M}}}_{6}$
with three points at the boundary, Geom. Dedicata 42 (1992), no. 3, 255–265.

V. GonzálezAguilera 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. SpringerVerlag, Berlin, (1992).

E. Looijenga, Root Systems and Elliptic Curves, Invent. Math. 38 (1976), no. 1, 17–32.

L. MoretBailly, Familles de courbes et des variétés abéliennnes sur
${\mathbb{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álezAguilera, 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, SpringerVerlag, New York, 1996.
Facultad de Matematicas, Pontificia Universidad Catolica de Chile, Casilla 306, Correo 22, Santiago, Chile Email address : acarocca@mat.puc.cl Departamento de Matematicas, Universidad Tecnica Federico Santa Marɪa, Casilla 110V, Valparaɪso, Chile Email address : vgonzale@mat.utfsm.cl Facultad de Matematicas, Pontificia Universidad Catolica de Chile, Casilla 306, Correo 22, Santiago, Chile Email address : rubi@mat.puc.cl