Modular Forms of weight 8 for $\Gamma_g(1,2)$

TL;DR

This paper completes the classification of certain weight 8 Siegel cusp forms for genus 4, proving their uniqueness and extending the results to genus 5 through explicit constructions.

Contribution

It proves the uniqueness of these forms for genus 4 and constructs the key linear combination for genus 5, advancing the understanding of modular forms related to self-dual lattices.

Findings

Dimension of cusp forms for genus 4 is 2

Dimension of all forms for genus 4 is 7

Constructed the unique linear combination for genus 5

Abstract

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.