A $p$-adic Approach to the Weil Representation of Discriminant Forms Arising from Even Lattices

Abstract

Suppose that $M$ is an even lattice with dual $M^{\ast }$ and level $N$. Then the group $M{p}_2(\mathbb{Z})$, which is the unique non-trivial double cover of $S{L}_2(\mathbb{Z})$, admits a representation ${\rho }_M$, called the Weil representation, on the space $\mathbb{C}[M^{\ast }/M]$. The main aim of this paper is to show how the formulae for the ${\rho }_M$-action of a general element of $M{p}_2(\mathbb{Z})$ can be obtained by a direct evaluation which does not depend on ``external objects'' such as theta functions. We decompose the Weil representation ${\rho }_M$ into $p$-parts, in which each $p$-part can be seen as subspace of the Schwartz functions on the $p$-adic vector space $M_{{\mathbb{Q}}_p}$. Then we consider the Weil representation of $M{p}_2({\mathbb{Q}}_p)$ on the space of Schwartz functions on $M_{{\mathbb{Q}}_p}$, and see that restricting to $M{p}_2(\mathbb{Z})$ just gives the $p$-part of ${\rho }_M$ again. The operators attained by the Weil representation are not always those appearing in the formulae from 1964, but are rather their multiples by certain roots of unity. For this, one has to find which pair of elements, lying over a matrix in $S{L}_2({\mathbb{Q}}_p)$, belong to the metaplectic double cover. Some other properties are also investigated.

29 pages, shortened a lot

References in corpus (3)

• A Gross--Kohnen--Zagier Type Theorem for Higher-Codimensional Heegner Cycles
• On Lattices over Valuation Rings of Arbitrary Rank
• Weil representations associated to finite quadratic modules

Cited by in corpus (7)

• A Gross--Kohnen--Zagier Type Theorem for Higher-Codimensional Heegner Cycles
• Regularized Pairings of Meromorphic Modular Forms and Theta Lifts
• Shimura Lifts of Weakly Holomorphic Modular Forms
• Weight Changing Operators for Automorphic Forms on Grassmannians and Differential Properties of Certain Theta Lifts
• Quasi-pullback of Borcherds products
• Jacobi Forms of Indefinite Lattice Index
• Almost every vector valued modular form is an oldform