Abstract

We determine the intersection theory on the Igusa compactification and the second Voronoi compactification of
${\mathcal{A}}_{4}$
. 0 Introduction

Let
${\mathcal{A}}_{4}$
denote the moduli space of principally polarized abelian varieties of dimension 4 over
$\mathbb{C}$
. There are two natural toroidal compactifications of
${\mathcal{A}}_{4}$
, namely the Igusa compactification
${\mathcal{A}}_{4}^{Igu}$
and the second Voronoi compactification
${\mathcal{A}}_{4}^{Vor}$
. The first is given by the perfect cone or first Voronoi decomposition, which for
$g=4$
coincides with the central cone decomposition, and the latter is given by the second Voronoi decomposition.

It is well known that
$$Pic\left({\mathcal{A}}_{4}^{Igu}\right)\otimes \mathbb{Q}=\mathbb{Q}L\oplus \mathbb{Q}{D}_{4}^{Igu}$$
where
${D}_{4}^{Igu}$
is the closure of the locus rank
$1$
degenerations (i.e. semiabelian varieties with the rank of the abelian part equal to
$3$
), and
$L$
is the
$\mathbb{Q}$
-line bundle of weight
$1$
modular forms.

The fan given by the perfect cone decomposition is not basic for
$g=4$
, and the second Voronoi decomposition is a basic refinement of the perfect cone decomposition (this is special to the case
$g=4$
). Hence we have a morphism
$$\pi :{\mathcal{A}}_{4}^{Vor}\to {\mathcal{A}}_{4}^{Igu}.$$
One knows (cf. [HS,Proposition1.6] ) that
$$Pic\left({\mathcal{A}}_{4}^{Vor}\right)\otimes \mathbb{Q}=\mathbb{Q}L\oplus \mathbb{Q}{D}_{4}^{Vor}\oplus \mathbb{Q}E$$
where
${D}_{4}^{Vor}$
is again the closure of the rank
$1$
degenerations, and
$E$
is the divisor contracted to a point under the map
$\pi $
. One also knows from [HS,Prop.1.3] that
$${\pi}^{*}{D}_{4}^{Igu}={D}_{4}^{Vor}+4E.$$
Note that the Torelli map gives a morphism
$${\overline{t}}_{4}^{Vor}:{\overline{\mathcal{\mathcal{M}}}}_{4}\to {\mathcal{A}}_{4}^{Vor},$$
and since we have the morphism
$\pi :{\mathcal{A}}_{4}^{Vor}\to {\mathcal{A}}_{4}^{Igu}$
, we can also define the morphism
${\overline{t}}_{4}^{Igu}:{\overline{\mathcal{\mathcal{M}}}}_{4}\to {\mathcal{A}}_{4}^{Igu}$
. We denote the images of these maps by
${\mathcal{J}}_{4}^{Vor}$
and
${\mathcal{J}}_{4}^{Igu}$
respectively. According to [HH,Theorem1.1] , the classes of these Jacobian loci are given by
$$\left[{\mathcal{J}}_{4}^{Igu}\right]=8L-{D}_{4}^{Igu}$$
and
$$\left[{\mathcal{J}}_{4}^{Vor}\right]=8L-{D}_{4}^{Vor}-4E.$$
Using these relations and a toric computation we shall determine the intersection theory of
${\mathcal{A}}_{4}^{Igu}$
and
${\mathcal{A}}_{4}^{Vor}$
. For genus
$4$
this answers a question of N. Shepherd-Barron who posed in [S-B] the problem of determining the intersection theory on
${\mathcal{A}}_{g}^{Igu}$
, which he showed to be the canonical model for
${\mathcal{A}}_{g}$
for
$g\ge 12$
(the Picard group of
${\mathcal{A}}_{g}^{Igu}$
is generated by
$L$
and
${D}_{g}^{Igu}$
for all
$g\ge 2$
).

In the cases
$g=2,3$
the Igusa compactification coincides with the Voronoi compactification and the computation of the intersection theory can easily be reduced via the Torelli map to calculations on
${\overline{\mathcal{\mathcal{M}}}}_{g}$
. In fact for
$g=2,3$
the Chow ring of
${\mathcal{A}}_{g}^{Igu}$
is known by the work of van der Geer ([vdG1] ; see also [Mu] , [Ts] ). We will investigate the intersection theory of the Igusa compactification
${\mathcal{A}}_{g}^{Igu}$
for arbitrary genus in a separate forthcoming paper.

1 The Igusa compactification

We shall first treat the Igusa compactification. Let
$${a}_{k}:=\langle {L}^{k}({D}_{4}^{Igu}{)}^{10-k}{\rangle}_{{\mathcal{A}}_{4}^{Igu}}.$$

Theorem 1.1The intersection theory on
${\mathcal{A}}_{4}^{Igu}$
is given by

${a}_{10}$ ${a}_{9},{a}_{8},{a}_{7}$ ${a}_{6}$ ${a}_{5},{a}_{4}$ ${a}_{3}$ ${a}_{2}$ ${a}_{1}$ ${a}_{0}$ |

$\frac{1}{907200}$ $0$ $-\frac{1}{3780}$ $0$ $-\frac{1759}{1680}$ $0$ $\frac{1636249}{1080}$ $\frac{101449217}{1440}$ |

Proof We first recall the computation of
${a}_{10}={L}^{10}$
. It is well known (cf. [vdG2] ,[Ts] ) that this number can be computed using the Hirzebruch-Mumford proportionality theorem (for any
$g$
). If
${S}_{k}\left({\Gamma}_{g}\right)$
denotes the space of weight
$k$
cusp forms, then by [Ta,Prop.2.1]
$$dim\left({S}_{k}\right({\Gamma}_{g}\left)\right)\sim {{2}^{\frac{1}{2}(g-1)(g-2)}}^{g}{\prod}_{j=1}\frac{(j-1)!}{\left(2j\right)!}{B}_{2j}{k}^{\frac{1}{2}g(g+1)}$$
where
${B}_{2j}$
are the Bernoulli numbers. Hence
$${L}^{\frac{1}{2}g(g+1)}=\left(\frac{1}{2}g(g+1)\right)!{{2}^{\frac{1}{2}(g-1)(g-2)}}^{g}{\prod}_{j=1}\frac{(j-1)!}{\left(2j\right)!}{B}_{2j}$$
and a straightforward calculation gives
$${a}_{10}={L}^{10}=\frac{1}{907200}.$$
We shall now make use of the Torelli map
$${\overline{t}}_{4}^{Igu}:{\overline{\mathcal{\mathcal{M}}}}_{4}\to {\mathcal{A}}_{4}^{Igu}.$$
We obviously have
$$\left({\overline{t}}_{4}^{Igu}{)}^{*}\right(L)=\lambda ,({\overline{t}}_{4}^{Igu}{)}^{*}\left({D}_{4}^{Igu}\right)={\delta}_{0},$$
where
$\lambda $
is the class of the Hodge bundle on
$\overline{{\mathcal{\mathcal{M}}}_{4}}$
, and
${\delta}_{0}$
is the class of the closure of the locus of genus
$3$
curves with two points identified to form a node (i.e. the divisor of irreducible stable curves in
${\mathcal{\mathcal{M}}}_{4}$
). We let
$${b}_{k}:=\langle {\lambda}^{k}{\delta}_{0}^{g-k}{\rangle}_{\overline{{\mathcal{\mathcal{M}}}_{4}}}.$$
These intersection numbers on
$\overline{{\mathcal{\mathcal{M}}}_{4}}$
can be computed using C. Faber's program implementing his algorithm described in ([Fa] ), and the result is shown in the following table:

Intersecting the relation
$$\left[{\mathcal{J}}_{4}^{Igu}\right]=8L-{D}_{4}^{Igu}$$
with
${L}^{k-1}({D}_{4}^{Igu}{)}^{10-k}$
gives the recurrence relation
$${b}_{k-1}=8{a}_{k}-{a}_{k-1}.$$
Since
${a}_{10}$
and the numbers
${b}_{k-1}$
are known, we can compute the numbers
${a}_{k-1}$
recursively and arrive thus at the numbers stated.

${b}_{g}$ ${b}_{8},{b}_{7}$ ${b}_{6}$ ${b}_{5}$ ${b}_{4}$ ${b}_{3}$ ${b}_{2}$ ${b}_{1}$ ${b}_{1}$ |

$\frac{1}{113400}$ $0$ $\frac{1}{3780}$ $-\frac{2}{945}$ $0$ $\frac{1759}{1680}$ $-\frac{1759}{210}$ $-\frac{1636249}{1080}$ $-\frac{251987683}{4320}$ |

$\square $

Remark In the literature one sometimes finds half the above number for
${L}^{\frac{1}{2}g(g+1)}$
— see [vdG2] . This is the “stack intersection number”, since
$id$
acts trivially on the variety
${\mathcal{A}}_{g}$
, but defines an involution on the stack.

Remark One can easily see geometrically that
${a}_{9}={a}_{8}={a}_{7}=0$
.

This follows since
$L$
is a pullback of the corresponding line bundle on the Satake compactification
${\mathcal{A}}_{g}^{Sat}$
, for which the boundary is codimension 4, and where
${L}^{k}$
for
$k\ge 7$
can be represented by a
$\mathbb{Q}$
-cycle that does not meet the boundary.

2 The Voronoi compactification

Instead of working with the basis
$L,{D}_{4}^{Vor}$
and
$E$
of
$Pic\left({\mathcal{A}}_{4}^{Vor}\right)$
, it is easier to use
$L,F={\pi}^{*}{D}_{4}^{Igu}$
and
$E$
. We already saw that
${\pi}^{*}{D}_{4}^{Igu}={D}_{4}^{Vor}+4E$
.

Let
$${a}_{k,l}:=\langle {L}^{k}{E}^{l}{F}^{10-k-l}{\rangle}_{{\mathcal{A}}_{4}^{Vor}}.$$

Theorem 2.1The intersection theory on
${\mathcal{A}}_{4}^{Vor}$
is given by
$${a}_{k,0}={a}_{k},{a}_{k,l}=0\text{for}1\le l\le 9$$
$${a}_{0,10}={E}^{10}=-\frac{1680}{1152}=-\frac{35}{24}.$$

Proof Since
$L$
and
$F$
are the pullbacks under
${\pi}^{*}$
of
$L$
and
${D}_{4}^{Igu}$
, we clearly have
${a}_{k,0}={a}_{k}$
. Moreover,
$E$
is contracted to a point in
${\mathcal{A}}_{4}^{Igu}$
under
$\pi $
, and hence
${E}^{l}\cdot {\pi}^{*}\left({L}^{k}\right({D}_{4}^{Igu}{)}^{10-k-l})=0$
for all
$l$
between
$1$
and
$9$
.

It thus remains to compute
${E}^{10}$
. This can be done by the following toroidal computation. The second Voronoi decomposition for
${\mathcal{A}}_{4}$
is described in [V1] , [V2a] , [V2b] , [ER2] . It is a refinement of the first Voronoi decomposition obtained by adding another ray
$\eta $
, generated by the sum of the primitive generators of the second perfect cone
${\Pi}_{2}\left(4\right)$
. One then adds all the cones which arise as the span of
$\eta $
with each of the
$9$
–dimensional faces of
${\Pi}_{2}\left(4\right)$
and the faces of these cones, together with their
$GL(4,\mathbb{Z})$
translates. Thus
${\Pi}_{2}\left(4\right)$
which was spanned by
$12$
rays
${\gamma}_{1},...,{\gamma}_{12}$
, is divided into sixty-four
$10$
-dimensional basic cones. We abuse notations and denote the divisors in the toric variety defined by this decomposition corresponding to the rays
$\eta $
and
${\gamma}_{1},...,{\gamma}_{12}$
by
$E$
and
${D}_{1},...{D}_{12}$
respectively. Among these divisors we have the following linear equivalences:

where
$({e}_{1},...{e}_{10})$
and
$({d}_{i1},...,{d}_{i10})$
are the primitive generators of
$\eta $
and
${\gamma}_{i}$
respectively (cf. [Ts,Theorem(2.3)andsection2.4] ). We now multiply equation ( 1 ) successively by
${E}^{9}$
, then by
${E}^{8}{D}_{i}$
,
${E}^{7}{D}_{i}{D}_{j}$
with
$i\ne j$
up to
$E{D}_{{i}_{1}}\cdots {D}_{{i}_{8}}$
. This recursively gives a system of linear equations. Note that
$10$
distinct divisors either intersect transversally in one point if the
$10$
corresponding cones lie in a common
$10$
-dimensional cone, or have empty intersection otherwise. This allows us to solve the above system of linear equations. This can be done by computer, and gives
${E}^{10}=-1680$
.

$$\begin{array}{c}{e}_{j}E+{d}_{1j}{D}_{1}+\cdot \cdot \cdot +{d}_{12j}{D}_{12}\sim 0(j=1,...,10)\end{array}$$ | (1) |

To get from this intersection number on the toric variety to the one on the moduli space, we have to divide by the order of the stabilizer of
$\eta $
in
$GL(4,\mathbb{Z})$
. The latter is the reflection group
${F}_{4}$
, the order of which is equal to 1152 (see Prop. 2.2 of [ER2] and also the proof of [HS,Prop.3.6] .)
$\square $

References

- R. M. Erdahl and S.S. Ryshkov, The empty sphere, Can. J. Math. XXXIX (1987), 794–824.
- R. M. Erdahl and S.S. Ryshkov, The empty sphere, part II, Can. J. Math. XL (1988), 1058–1073.
- C. Faber, Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians. New trends in algebraic geometry (Warwick, 1996), 93–109, London Math. Soc. Lecture Note Ser., 264, Cambridge Univ. Press, Cambridge, 1999.
- G. van der Geer, The Chow ring of the moduli space of abelian threefolds. J. Algebraic Geom. 7 (1998), 753–770.
- G. van der Geer, Cycles on the moduli space of abelian varieties. Moduli of curves and abelian varieties, 65–89, Aspects Math., E33, Vieweg, Braunschweig, 1999.
- J. Harris, K. Hulek, A Remark on the Schottky Locus in Genus $4$ . Proceedings of the Fano Conference, eds. A. Colllino, A. Conte and M. Marchiso (2004), 479–483.
- K. Hulek, G. K. Sankaran, The nef cone of toroidal compactifications of ${\mathcal{A}}_{4}$ . Proc. London Math. Soc. 88 (2004), 659–704.
- D. Mumford, Towards an enumerative geometry on the moduli space of curves. In: Arithmetic and Geometry, vol. II. Birkhäuser. Progress in Mathematics 36 (1983), 271–328.
- N. Shepherd-Barron Perfect forms and the moduli space of abelian varieties. preprint math.AG/0502362
- Y.-S. Tai, On the Kodaira dimension of the moduli space of abelian varieties. Invent. Math. 68 (1982), 425–439.
- R. Tsushima, A formula for the dimension of spaces of Siegel modular cusp forms. Am. J. Math. 102 (1980), 937–97.
- G.F. Voronoi, Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Premier mémoire. Sur quelques propriétés des formes quadratiques positives parfaites, J. Reine Angew. Math. 133 (1908), 79–178.
- G.F. Voronoi, Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Deuxième mémoire. Recherches sur les paralléloèdres primitifs, J. Reine Angew. Math. 134, (1908) 198–287.
- G.F. Voronoi, Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Deuxième mémoire. Recherches sur les paralléloèdres primitifs. Seconde partie. Domaines de formes quadratiques correspondant aux différents types de paralléloèdres primitifs, J. Reine Angew. Math. 136 (1909), 67–178.