The variety of all smooth hypersurfaces of given degree and dimension has the
Fermat hypersurface as a natural base point. In order to study the period map
for such varieties, we first determine the integral polarized Hodge structure
of the primitive cohomology of a Fermat hypersurface (as a module over the
automorphism group of the hypersurface). We then focus on the degree 3 case and
show that the period map for cubic fourfolds as analyzed by R. Laza and the
author gives complete information about the period map for cubic hypersurfaces
of lower dimension dimension.
We prove that the separated curve complex of a closed orientable surface of
genus g is (g-3)-connected. We also obtain a connectivity property for a
separated curve complex of the open surface that is obtained by removing a
finite set from a closed one, but it is then assumed that the removed set is
endowed with a partition and that the separating curves respect that partition.
These connectivity statements have implications for the algebraic topology of
the moduli space of curves.
To the integral symplectic group Sp(2g,Z) we associate two posets of which we
prove that they have the Cohen-Macaulay property. As an application we show
that the locus of marked decomposable principally polarized abelian varieties
in the Siegel space of genus g has the homotopy type of a bouquet of
(g-2)-spheres. This, in turn, implies that the rational homology of moduli
space of (unmarked) principal polarized abelian varieties of genus g modulo the
decomposable ones vanishes in degree g-2 or lower.