Search

In the paper [FSM] we described some Siegel modular threefolds which admit a Calabi-Yau model. Using a different method we give in this paper an enlarged list of such varieties that admits a Calabi-Yau model in the following weak sense: there exists a desingularization in the category of complex spaces of the Satake compactification which admits a holomorphic three-form without zeros and whose first Betti number vanishes Basic for our method is the paper [GN] of van Geemen and Nygaard., Comment: 23 pages, no figures

We complete the program indicated by the Ansatz of D'Hoker and Phong in genus ~4 by proving the uniqueness of the restriction to Jacobians of the weight 8 Siegel cusp forms satisfying the Anstaz. We prove $\dim [\Gamma_4(1,2),8]_0=2$ and $\dim [\Gamma_4(1,2),8]=7$. In each genus, we classify the linear relations among the self-dual lattices of rank {16}. We extend the program to genus ~5 by constructing the unique linear combination of theta series that satisfies the Ansatz., Comment: accepted for publication in Math.Ann

The modular variety of non singular and complete hyperelliptic curves with level-two structure of genus 3 is a 5-dimensional quasi projective variety which admits several standard compactifications. The first one, X, comes from the realization of this variety as a sub-variety of the Siegel modular variety of level two and genus three .We will be to describe the equations of X in a suitable projective embedding and its Hilbert function. It will turn out that X is normal. A further model comes from geometric invariant theory using so-called semistable degenerated point configurations in (P^1)^8 . We denote this GIT-compactification by Y. The equations of this variety in a suitable projective embedding are known. This variety also can by identified with a Baily-Borel compactified ball-quotient. We will describe these results in some detail and obtain new proofs including some finer results for them. We have a birational map between Y and X . In this paper we use the fact that there are graded algebras (closely related to algebras of modular forms) A,B such that X=proj(A) and Y=proj(B). This homomorphism rests on the theory of Thomae (19th century), in which the thetanullwerte of hyperelliptic curves have been computed. Using the explicit equations for $A,B$ we can compute the base locus of the map from Y to X. Blowing up the base locus and the singularity of Y, we get a dominant, smooth model {\tilde Y}. We will see that {\tilde Y} is isomorphic to the compactification of families of marked projective lines (P^1,x_1,...,x_8), usually denoted by {\bar M_{0,8}}. There are several combinatorial similarities between the models X and Y. These similarities can be described best, if one uses the ball-model to describe Y., Comment: 39 pages

Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group ${\O}(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $\O(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works