The invariants of the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$

Manuel K.-H. Müller,Nils R. Scheithauer
2023-07-13
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.
Number Theory
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.