The modular variety of hyperelliptic curves of genus three

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 page

Some Siegel threefolds with a Calabi-Yau model II

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 figure

Classical theta constants vs. lattice theta series, and super string partition functions

Recently, various possible expressions for the vacuum-to-vacuum superstring amplitudes has been proposed at genus $g=3,4,5$. To compare the different proposals, here we will present a careful analysis of the comparison between the two main technical tools adopted to realize the proposals: the classical theta constants and the lattice theta series. We compute the relevant Fourier coefficients in order to relate the two spaces. We will prove the equivalence up to genus 4. In genus five we will show that the solutions are equivalent modulo the Schottky form and coincide if we impose the vanishing of the cosmological constant.Comment: 21 page

Harmonic theta series and the kodaira dimension of a6

We construct a basis of the space S14(Sp12(ℤ)) of Siegel cusp forms of degree 6 and weight 14 consisting of harmonic theta series. One of these functions has vanishing order 2 at the boundary which implies that the Kodaira dimension of A6 is nonnegative

An explicit solution to the weak Schottky problem

We give an explicit weak solution to the Schottky problem, in the spirit of Riemann and Schottky. For any genus g, we write down a collection of polynomials in genus g theta constants such that their common zero locus contains the locus of Jacobians of genus g curves as an irreducible component. These polynomials arise by applying a specific Schottky-Jung proportionality to an explicit collection of quartic identities for genus g - 1 theta constants

The vanishing of two-point functions for three-loop superstring scattering amplitudes

In this paper we show that the two-point function for the three-loop chiral superstring measure ansatz proposed by Cacciatori, Dalla Piazza, and van Geemen vanishes. Our proof uses the reformulation of ansatz in terms of even cosets, theta functions, and specifically the theory of the $\Gamma_{00}$ linear system on Jacobians introduced by van Geemen and van der Geer. At the two-loop level, where the amplitudes were computed by D'Hoker and Phong, we give a new proof of the vanishing of the two-point function (which was proven by them). We also discuss the possible approaches to proving the vanishing of the two-point function for the proposed ansatz in higher genera

Superstring scattering amplitudes in higher genus

In this paper we continue the program pioneered by D'Hoker and Phong, and recently advanced by Cacciatori, Dalla Piazza, and van Geemen, of finding the chiral superstring measure by constructing modular forms satisfying certain factorization constraints. We give new expressions for their proposed ans\"atze in genera 2 and 3, respectively, which admit a straightforward generalization. We then propose an ansatz in genus 4 and verify that it satisfies the factorization constraints and gives a vanishing cosmological constant. We further conjecture a possible formula for the superstring amplitudes in any genus, subject to the condition that certain modular forms admit holomorphic roots.Comment: Minor changes; final version to appear in Comm. Math. Phy

A new geometric description for Igusa's modular form (azy)5(azy)_5

The modular form $(azy)_5$ notably appears in one of Igusa's classic structure theorems as a generator of the ring of full modular forms in genus 2, being exhibited by means of a complicated algebraic expression. In this work a different description for this modular form is provided by resorting to a peculiar geometrical approach.Comment: 10 page

Extending the Belavin-Knizhnik "wonderful formula" by the characterization of the Jacobian

A long-standing question in string theory is to find the explicit expression of the bosonic measure, a crucial issue also in determining the superstring measure. Such a measure was known up to genus three. Belavin and Knizhnik conjectured an expression for genus four which has been proved in the framework of the recently introduced vector-valued Teichmueller modular forms. It turns out that for g>3 the bosonic measure is expressed in terms of such forms. In particular, the genus four Belavin-Knizhnik "wonderful formula" has a remarkable extension to arbitrary genus whose structure is deeply related to the characterization of the Jacobian locus. Furthermore, it turns out that the bosonic string measure has an elegant geometrical interpretation as generating the quadrics in P^{g-1} characterizing the Riemann surface. All this leads to identify forms on the Siegel upper half-space that, if certain conditions related to the characterization of the Jacobian are satisfied, express the bosonic measure as a multiresidue in the Siegel upper half-space. We also suggest that it may exist a super analog on the super Siegel half-space.Comment: 15 pages. Typos corrected, refs. and comments adde