# Siegel modular form

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.

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 in the 1930s 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.

## Definition

### Preliminaries

the Siegel upper half-space. Define the symplectic group of level , denoted by as

where is the identity matrix. Finally, let

be a rational representation, where is a finite-dimensional complex vector space.

### Siegel modular form

Given

and

define the notation

Then a holomorphic function

is a *Siegel modular form* of degree (sometimes called the genus), weight , and level if

In the case that , we further require that be holomorphic 'at infinity'. This assumption is not necessary for due to the Koecher principle, explained below. Denote the space of weight , degree , and level Siegel modular forms by

## Examples

Some methods for constructing Siegel modular forms include:

- Eisenstein series
- Theta functions of lattices (possibly with a pluri-harmonic polynomial)
- Saito–Kurokawa lifting for degree 2
- Ikeda lifting
- Products of Siegel modular forms.

### 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**[*E*_{4},*E*_{6}] in the (degree 1) Eisenstein series *E*_{4} and *E*_{6}.

For degree 2, Template:Harvs showed that the ring of level 1 Siegel modular forms is generated by the (degree 2) Eisenstein series *E*_{4} and *E*_{6} 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, Template:Harvtxt 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 Template:Harv.

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, Template:Harvtxt give the following results (for any positive degree):

- Weight 0: The space of forms is 1-dimensional, spanned by 1.
- Weight 1: The only Siegel modular form is 0.
- Weight 2: The only Siegel modular form is 0.
- Weight 3: The only Siegel modular form is 0.
- Weight 4: For any degree, the space of forms of weight 4 is 1-dimensional, spanned by the theta function of the E8 lattice (of appropriate degree). The only cusp form is 0.
- Weight 5: The only Siegel modular form is 0.
- Weight 6: The space of forms of weight 6 has dimension 1 if the degree is at most 8, and dimension 0 if the degree is at least 9. The only cusp form is 0.
- Weight 7: The space of cusp forms vanishes if the degree is 4 or 7.
- Weight 8:In genus 4, the space of cusp forms is 1-dimensional, spanned by the Schottky form and the space of forms is 2-dimensional. There are no cusp forms if the genus is 8.
- There are no cusp forms if the genus is greater than twice the weight.

### Table of dimensions of spaces of Siegel cusp forms

Template:Harvtxt gave many of the following results.

Weight | degree 0 | degree 1 | degree 2 | degree 3 | degree 4 | degree 5 | degree 6 | degree 7 | degree 8 | degree 9 |
---|---|---|---|---|---|---|---|---|---|---|

0 | 1: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 |

2 | 1: 1 | 0: 0 | 0: 0 | 0: 0 | 0: 0 | 0: 0 | 0: 0 | 0: 0 | 0: 0 | 0: 0 |

4 | 1: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 |

6 | 1: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 1 | 0: 0 |

8 | 1: 1 | 0: 1 | : 1 | :1 | 1: 2 | 0: | 0: | |||

10 | 1: 1 | 0: 1 | : 2 | : 2 | 1: | 0: | ||||

12 | 1: 1 | 1: 2 | : 3 | 2: | 2: 5 | |||||

14 | 1: 1 | 0: 1 | : 2 | 3: | ||||||

16 | 1: 1 | 1: 2 | : 4 | 7: | ||||||

18 | 1: 1 | 1: 2 | : 4 | |||||||

20 | 1: 1 | 1: 2 | : 5 | |||||||

22 | 1: 1 | 1: 2 | : 6 | |||||||

24 | 1: 1 | 2: 3 | : 8 | |||||||

26 | 1: 1 | 1: 2 | : 7 | |||||||

28 | 1: 1 | 2: 3 | : 10 | |||||||

30 | 1: 1 | 2: 3 | : 11 |

## Koecher principle

The theorem known as the *Koecher principle* states that if is a Siegel modular form of weight , level 1, and degree , then is bounded on subsets of of the form

where . Corollary to this theorem is the fact that Siegel modular forms of degree have Fourier expansions and are thus holomorphic at infinity.^{[1]}

## References

- ↑ This was proved by Max Koecher,
*Zur Theorie der Modulformen n-ten Grades I*, Mathematische. Zeitschrift 59 (1954), 455–466. A corresponding principle for Hilbert modular forms was apparently known earlier, after Fritz Gotzky,*Uber eine zahlentheoretische Anwendung von Modulfunktionen zweier Veranderlicher*, Math. Ann. 100 (1928), pp. 411-37

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}