Manuel K.-H. Müller,Nils R. Scheithauer
Abstract:The transformation behaviour of the vector valued theta function of a positive-definite even lattice under the metaplectic group $\mathrm{Mp}_2(\mathbb{Z})$ is described by the Weil representation. We show that the invariants of this representation are induced from $5$ fundamental invariants.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a complete description of the invariants of the Weil representation of \(SL_2(\mathbb{Z})\). Specifically, the author aims to prove that these invariants are induced by 5 basic invariants. This is crucial for understanding the transformation behavior of vector - valued theta functions under the metaplectic group \(Mp_2(\mathbb{Z})\) and is very important for many applications in the theory of automorphic forms.
### Core problems of the paper
1. **Invariants of the Weil representation**:
- The Weil representation is a representation of the metaplectic group \(Mp_2(\mathbb{Z})\), which describes the transformation behavior of vector - valued theta functions of positive definite even lattices under \(Mp_2(\mathbb{Z})\).
- For many applications (such as the study of Jacobi forms), an explicit description of the invariants of these representations is required.
2. **5 basic invariants**:
- The author shows that the invariants of the Weil representation can be induced by 5 basic invariants.
- These basic invariants are defined under a specific discriminant form, and they generate the entire invariant space.
### Mathematical description of specific problems
- **Discriminant form**: A finite abelian group \(D\) is equipped with a non - degenerate quadratic form \(q:D\rightarrow\mathbb{Q}/\mathbb{Z}\).
- **Weil representation**: For a discriminant form \(D\), the Weil representation \(\rho_D\) is a linear map from \(\text{Mp}_2(\mathbb{Z})\) to \(C[D]\).
- **Invariants**: Study the invariants in \(C[D]^{\text{Mp}_2(\mathbb{Z})}\) or \(C[D]^{\text{SL}_2(\mathbb{Z})}\), that is, the elements that remain invariant under the Weil representation.
### Solutions
The author solves this problem through the following steps:
1. **Projection operator**: Defines a projection operator \(\text{inv}_D\) for computing the invariants in \(C[D]\).
2. **Construction of basic invariants**: Introduces 5 basic invariants \(i_{x,s}^p\) and constructs all invariants through these invariants.
3. **Induction method**: Uses the induction method to prove that the invariants of an arbitrary discriminant form \(D\) can be generated by these basic invariants.
### Applications
- **Jacobi forms**: As one of the applications of the main result, the author shows how to generate Jacobi forms of specific weights and lattice indices using these invariants.
- **Dimension of cusp forms**: Determines the dimensions of certain cusp form spaces.
Through these methods, the author provides a complete framework for understanding and computing the invariants of the Weil representation, which is of great significance for the theory of automorphic forms and other related fields.
### Summary
The main contribution of this paper is to provide a systematic method for describing and generating the invariants of the Weil representation, which has important theoretical and practical significance for in - depth understanding of automorphic forms and their applications.