In mathematics, Siegel modular forms are a major type of automorphic form. These stand in relation to the conventional elliptic modular forms as abelian varieties do in relation to elliptic curves; the complex manifolds constructed as in the theory are basic models for what a moduli space for abelian varieties (with some extra level structure) should be, as quotients of the Siegel upper half-space rather than the upper half-plane by discrete groups.
Contents
- Preliminaries
- Siegel modular form
- Examples
- Level 1 small degree
- Level 1 small weight
- Table of dimensions of spaces of level 1 Siegel modular forms
- Koecher principle
- References
The modular forms of the theory are holomorphic functions on the set of symmetric n × n matrices with positive definite imaginary part; the forms must satisfy an automorphy condition. Siegel modular forms can be thought of as multivariable modular forms, i.e. as special functions of several complex variables.
Siegel modular forms were first investigated by Carl Ludwig Siegel (1939) for the purpose of studying quadratic forms analytically. These primarily arise in various branches of number theory, such as arithmetic geometry and elliptic cohomology. Siegel modular forms have also been used in some areas of physics, such as conformal field theory.
Preliminaries
Let
the Siegel upper half-space. Define the symplectic group of level
where
be a rational representation, where
Siegel modular form
Given
and
define the notation
Then a holomorphic function
is a Siegel modular form of degree
for all
Examples
Some methods for constructing Siegel modular forms include:
Level 1, small degree
For degree 1, the level 1 Siegel modular forms are the same as level 1 modular forms. The ring of such forms is a polynomial ring C[E4,E6] in the (degree 1) Eisenstein series E4 and E6.
For degree 2, (Igusa 1962, 1967) showed that the ring of level 1 Siegel modular forms is generated by the (degree 2) Eisenstein series E4 and E6 and 3 more forms of weights 10, 12, and 35. the ideal of relations between them is generated by the square of the weight 35 form minus a certain polynomial in the others.
For degree 3, Tsuyumine (1986) described the ring of level 1 Siegel modular forms, giving a set of 34 generators.
For degree 4, the level 1 Siegel modular forms of small weights have been found. There are no cusp forms of weights 2, 4, or 6. The space of cusp forms of weight 8 is 1-dimensional, spanned by the Schottky form. The space of cusp forms of weight 10 has dimension 1, the space of cusp forms of weight 12 has dimension 2, the space of cusp forms of weight 14 has dimension 3, and the space of cusp forms of weight 16 has dimension 7 (Poor & Yuen 2007).
For degree 5, the space of cusp forms has dimension 0 for weight 10, dimension 2 for weight 12. The space of forms of weight 12 has dimension 5.
For degree 6, there are no cusp forms of weights 0, 2, 4, 6, 8. The space of Siegel modular forms of weight 2 has dimension 0, and those of weights 4 or 6 both have dimension 1.
Level 1, small weight
For small weights and level 1, Duke & Imamoḡlu (1998) give the following results (for any positive degree):
Table of dimensions of spaces of level 1 Siegel modular forms
The following table combines the results above with information from Poor & Yuen (2006) and Chenevier & Lannes (2014) and Taïbi (2014).
Koecher principle
The theorem known as the Koecher principle states that if
where