In mathematics and mathematical physics, the metaplectic group is the group that describes how the basic symmetries of classical mechanics act in quantum mechanics. More precisely, the symplectic group consists of the linear changes of position and momentum that preserve the form of Hamiltonian mechanics; equivalently, it is the group of canonical transformations that are linear in position and momentum. When one tries to make those same transformations act on wavefunctions, one is naturally led not to the symplectic group itself but to a closely related two-fold cover of it, called the metaplectic group. For a symplectic space of dimension , it is usually denoted by Mp<sub>2n</sub>.
The metaplectic group is thus a double cover of the symplectic group Sp<sub>2n</sub>. It can be defined over either real or p-adic numbers. The construction covers more generally the case of an arbitrary local or finite field, and even the ring of adeles. The metaplectic group has a particularly significant infinite-dimensional linear representation, the Weil representation. It was used by André Weil to give a representation-theoretic interpretation of theta functions, and is important in the theory of modular forms of half-integral weight and the theta correspondence.
One way to understand the metaplectic group is as the group needed to make linear canonical transformations act (linearly) on wave functions.
In classical mechanics, the phase space of a system with one degree of freedom has coordinates , and the linear transformations preserving the basic structure of Hamiltonian mechanics form the symplectic group. For example, the Hamiltonian of the one-dimensional harmonic oscillator,
generates rotations of phase space:
After a full turn, at , this classical canonical transformation is the identity.
In quantum mechanics, however, the corresponding time evolution acts on wave functions by a unitary operator. For the harmonic oscillator, with Hamiltonian
the evolution is
If is the ground-state wave function, then
because for . In particular,
Thus a full rotation of classical phase space, which is trivial as a canonical transformation, acts nontrivially on the wave function: it produces a minus sign. Only after a rotation through does one recover the identity operator on wave functions. This shows that the natural quantum-mechanical object is not the symplectic group itself, but a double cover of it. That double cover is the metaplectic group.
This phenomenon is closely analogous to the role of the spin group as a double cover of the rotation group: in each case, a symmetry that is classically trivial after one full turn may still act nontrivially on quantum states. The metaplectic group is the version of this idea associated with symplectic geometry and canonical transformations rather than with Euclidean rotations.
The fundamental group of the symplectic Lie group Sp<sub>2n</sub>(R) is infinite cyclic, so it has a unique connected double cover, which is denoted Mp<sub>2n</sub>(R) and called the metaplectic group.
The metaplectic group Mp<sub>2n</sub>(R) is not a matrix group: it has no faithful finite-dimensional representations. Therefore, the question of its explicit realization is nontrivial. It has faithful irreducible infinite-dimensional representations, such as the Weil representation described below.
It can be proved that if F is any local field other than C, then the symplectic group Sp<sub>2n</sub>(F) admits a unique perfect central extension with the kernel Z/2Z, the cyclic group of order 2, which is called the metaplectic group over F. It serves as an algebraic replacement of the topological notion of a cover used when . The approach through the notion of central extension is useful even in the case of real metaplectic group, because it allows a description of the group operation via a certain cocycle.
In the case , the symplectic group coincides with the special linear group SL<sub>2</sub>(R). This group biholomorphically acts on the complex upper half-plane by fractional-linear transformations, such as the Möbius transformation,
where
is a real 2-by-2 matrix with the unit determinant and z is in the upper half-plane, and this action can be used to explicitly construct the metaplectic cover of SL<sub>2</sub>(R).
The elements of the metaplectic group Mp<sub>2</sub>(R) are the pairs (g, ε), where and ε is a holomorphic function on the upper half-plane such that . The multiplication law is defined by:
That this product is well-defined follows from the cocycle relation . The map
is a surjection from Mp<sub>2</sub>(R) to SL<sub>2</sub>(R) which does not admit a continuous section. Hence, we have constructed a non-trivial 2-fold cover of the latter group.
The existence of the Weil representation can be proven abstractly, as follows. The Heisenberg group has an irreducible unitary representation on a Hilbert space , that is,
with the center acting as multiplication by a given nonzero constant. The StoneâÂÂvon Neumann theorem states that this representation is essentially unique: if is another such representation, there exists an automorphism
and the conjugating automorphism is unique up to multiplication by a constant of modulus 1. So any automorphism of the Heisenberg group that induces the identity on the center acts on this representation âÂÂmore precisely, the action is only well-defined up to multiplication by a nonzero constant.
The automorphisms of the Heisenberg group (fixing its center) form the symplectic group, so an action of these automorphisms is equivalent to an action of the symplectic group. But the action above is only defined up to multiplication by a nonzero constant, so an automorphism of the group is mapped to an equivalence class of multiples of . This is a projective representation, a homomorphism from the symplectic group to the projective unitary group of . The general theory of projective representations gives an action of some central extension of the symplectic group on . This central extension can be taken to be a double cover, which is the metaplectic group.
Concretely, in the case of Mp<sub>2</sub>(R), the Hilbert space is . In the Schrödinger model, the Heisenberg group acts by translations and by multiplication by characters. The corresponding Weil representation of the metaplectic group is generated by the Fourier transform, dilation operators, and multiplication by quadratic phase factors.
Weil showed how to extend the theory above by replacing by any locally compact abelian group G whose Pontryagin dual (the group of characters) is isomorphic to G. The Hilbert space H is then the space of all L<sup>2</sup> functions on G. The (analogue of) the Heisenberg group is generated by translations by elements of G, and multiplication by elements of the dual group (considered as functions from G to the unit circle). There is an analogue of the symplectic group acting on the Heisenberg group, and this action lifts to a projective representation on H. The corresponding central extension of the symplectic group is called the metaplectic group.
Some important examples of this construction are given by: