The Torelli group is the subgroup of the mapping class group
that acts trivially on the first homology of the surface
. It is the kernel of the map
and captures (in some sense) the difference between
the topology of
and that of
, the
moduli space of principally polarized abelian varieties

Jeffrey Herschel Giansiracusa
2005-06-27