13.07.2015 Views

Weil Representation, Howe Duality, and the Theta correspondence

Weil Representation, Howe Duality, and the Theta correspondence

Weil Representation, Howe Duality, and the Theta correspondence

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

We define <strong>the</strong> γ-factor γ(Q, ψ) more generally for any quadratic form Q on k nto be γ(Q, ψ) = g(Q, ψ)/|g(G, ψ)| where g(Q, ψ) is defined as follows. (Our γ willbe γ(Q, ψ) for Q = ∑ ni=1 x 2 i .)∫∫g(Q, ψ) = P.V. ψ(Q(x))dx def = lim ψ(Q(x))dx,k n m→∞ π −m Oknwhere dx is now chosen so that Fourier inversion holds for B(x, y) = Q(x+y)−Q(x)−Q(y) .2Remark 2.2 : One might wonder why this care about <strong>the</strong> 8-th root of unityfactor γ when <strong>the</strong> intertwining operator ω ψ(0 1−1 0)is defined only up to scalaranyway. This has to do with <strong>the</strong> fact that <strong>the</strong> metaplectic group ˜ Sp ψ (W ) containsˆ Sp(W ) which is a two sheeted covering of Sp(W ), <strong>and</strong> <strong>the</strong>refore <strong>the</strong> scaling factorcan be normalised up to an ambiguity of sign.Remark 2.3 : It can be proved that for <strong>the</strong> function ψ Q (x) = ψ(Q(x)) on k n ,ψˆQ = γψQ−1 in <strong>the</strong> sense of distributions.Remark 2.4 : The construction of <strong>the</strong> Heisenberg group <strong>and</strong> <strong>the</strong> uniqueness<strong>the</strong>orem of Stone <strong>and</strong> von Neumann is also true in <strong>the</strong> case of finite fields. Thereforeas above, one can construct a projective representation of dimension q n ofSp(n, F q ).This projective representation infact lifts to an ordinary representationof Sp(n, F q ) (in a unique way except if n = 1, q = 3). The representation ofSp(n, F q ) so obtained depends on <strong>the</strong> choice of <strong>the</strong> additive chatacter ψ of F q , <strong>and</strong><strong>the</strong> representation associated to ψ <strong>and</strong> ψ a (x) = ψ(ax) are isomorphic if <strong>and</strong> onlyif a is a square in F q .Remark 2.5 : <strong>Representation</strong> of <strong>the</strong> Heisenberg group <strong>and</strong> of <strong>the</strong> metaplecticgroup can be combined to give a representation of <strong>the</strong> semi-direct product H(W )ט Sp ψ (W ) where <strong>the</strong> semi-direct product is via <strong>the</strong> natural action of Sp(W ) onH(W ).2.6 Lattice Model of <strong>the</strong> <strong>Weil</strong> <strong>Representation</strong>: Let A be a finitelygenerated O k -module of maximal rank in W such that A ⊥ = A. Then in <strong>the</strong>lattice model of <strong>the</strong> representation of <strong>the</strong> Heisenberg group on functions on W ,(g, M[g]) ∈ Sp ˜ ψ (W ) for <strong>the</strong> operator M[g]:(M[g]f)(w) =∑a∈AgA∩Aψ( < a, w > )f(g −1 (a + w)).26

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!