Cohomology and Extensions
Double cover of
For a symplectic vector space, the metaplectic group is the Lie group which is the universal double cover of the symplectic group .
This has various more explicit presentations. One is by quadratic Hamiltonians: The metaplectic group is that subgroup of the quantomorphism group of the symplectic manifold whose elements are given by paths of Hamiltonians that are homogeneously quadratic Hamiltonians (due to Leray 81, section 1.1, see also Robbin-Salamon 93, sections 9-10). (The more general subgroup given by possibly inhomogeneous quadratic Hamiltonians this way is the extended affine symplectic group. The subgroup given by linear Hamiltonians is the Heisenberg group .)
Circle extension of
There is also a nontrivial circle group-extension of the symplectic group, called . In terms of the above this is (Forger-Hess 79 (2.4))
(This is in direct analogy to the group Spin^c and its relation to Spin.)
Again, this has various more explicit presentations.
The Segal-Shale-Weil representation is the following. By the Stone-von Neumann theorem there is an essentially unique irreducible unitary representation of the Heisenberg group . This being essentially unique implies that for each element of the symplectic group, there is a unique unitary operator such that for all
The group is the subgroup of the unitary group of all such for . The map exhibits this as a group extension by the circle group
e.g. (Robinson-Rawnsley 89, p. 19, Dereziński-Gérard 13, def. 10.24)
Alternatively, there is again a characterization by quadratic Hamiltonians (Robinson-Rawnsley 89, theorem (2.4)
Circle extension of
A symplectic vector space has a compatible complex structure . Write
for the corresponding unitary group.
The restriction (pullback) of above to this subgroup is denoted in (Robinson-Rawnsley 89, p. 22)
(beware the notational clash with the Thom spectrum MU, which is unrelated).
Inside the symplectic group sits the general linear group
as the subgroup that preserves the standard Lagrangian submanifold . Restriction of the metaplectic group extension along this inclusion defines the metalinear group
Hence a metaplectic structure on a symplectic manifold induces a metalinear structure on its Lagrangian submanifolds.
(Non-)Triviality of extensions
is nontrivial (does not give a split exact sequence).
(Robinson-Rawnsley 89, theorem (2.8))
is trivial (does give a split exact sequence).
(Robinson-Rawnsley 89, theorem (2.9))
(Robinson-Rawnsley 89, theorem (6.2))
Original references include
Andre Weil, Sur certains groupes d’opérateurs unitaires, Acta Math. 111: 143–211. (1964).
M. Kashiwara; Michèle Vergne, On the Segal-Shale-Weil Representations and Harmonic Polynomials, Inventiones mathematicae (1978) (EuDML, pdf)
Michael Forger, Harald Hess, Universal metaplectic structures and geometric quantization, Comm. Math. Phys. Volume 64, Number 3 (1979), 269-278. (EUCLID)
Jean Leray, Lagrangian analysis and quantum mechanics, MIT press 1981 pdf
Further discussion includes
P. L. Robinson, John Rawnsley, The metaplectic representation, -structures and geometric quantization, 1989
Joel Robbin, Dietmar Salamon, Feynman path integrals on phase space and the metaplectic representation Math. Z. 221 (1996), no. 2, 307–335, (MR98f:58051, doi, pdf), also in Dietmar Salamon (ed.), Symplectic Geometry, LMS Lecture Note series 192 (1993)
John Rawnsley, On the universal covering group of the real symplectic group, Journal of Geometry and Physics 62 (2012) 2044–2058 (pdf)
Michel Cahen, Simone Gutt, , and Symplectic Dirac Operators, Geometric Methods in Physics Trends in Mathematics 2013, pp 13-28 (pdf)
Jan Dereziński, Christian Gérard, Mathematics of Quantization and Quantum Fields, Cambridge University Press, 2013