## The Weil representation

So I’m going to change pace for a while here and start talking about the Weil representation. This post will be an explication of the basic problem, and the next several posts will outline the answer, with as many proofs as possible.

Fix a non-Archimedean local field of characteristic not equal to . Let be a finite-dimensional vector space over equipped with a symplectic form . The Heisenberg group associated to is as a space, with the group operation

.

One can classify the smooth irreducible representations of as follows: the ones trivial on the center of (which is just a copy of the additive group of ) are all one-dimensional and may be identified with the Pontryagin dual of . The others are all infinite-dimensional and are classified by the following well-known theorem.

**Theorem (Stone-von Neumann).** Fix a nontrivial continuous character . Then there is a smooth irreducible representation of , unique up to isomorphism, with central character .

Now consider the symplectic group acting on , so acts on also, fixing the center pointwise. Then if , we see that is still a smooth irreducible representation of with central character , and the Stone-von Neumann theorem tells us that there is a operator which intertwines and . By Schur’s lemma, this is well-defined up to a scalar in , and it is easy to see that this yields a projective representation of .

The first question is whether lifts to a true linear representation of , and the short answer is, in our situation, no. But in some sense the next best thing is true: by abstract nonsense lifts to a linear representation of some central extension of , and in fact there is such an extension

by , called the *metaplectic group*, and a true representation of which lifts , called the *Weil representation*. This is what I will try to explain, and to do so we will have to go deep into Witt’s theory of quadratic spaces and some related topics, such as the Maslov index of a family of lagrangian subspaces of and the Weil character of the Witt group.