TOWARDS THE SIEGEL RING IN GENUS FOUR
Runge gave the ring of genus three Siegel modular forms as a quotient ring, R3/〈J(3)〉 where R3 is the genus three ring of code polynomials and J(3) is the difference of the weight enumerators for the e8 ⊕ e8 and [Formula: see text] codes. Freitag and Oura gave a degree 24 relation, [Formula: see text], of the corresponding ideal in genus four; where [Formula: see text] is also a linear combination of weight enumerators. We take another step towards the ring of Siegel modular forms in genus four. We explain new techniques for computing with Siegel modular forms and actually compute six new relations, classifying all relations through degree 32. We show that the local codimension of any irreducible component defined by these known relations is at least 3 and that the true ideal of relations in genus four is not a complete intersection. Also, we explain how to generate an infinite set of relations by symmetrizing first order theta identities and give one example in degree 32. We give the generating function of R5 and use it to reprove results of Nebe [25] and Salvati Manni [37].