Oscillator representation
In mathematics, the oscillator representation is a projective unitary representation of the symplectic group, first investigated by Irving Segal, David Shale, and André Weil. A natural extension of the representation leads to a semigroup of contraction operators, introduced as the oscillator semigroup by Roger Howe in 1988. The semigroup had previously been studied by other mathematicians and physicists, most notably Felix Berezin in the 1960s. The simplest example in one dimension is given by SU. It acts as Möbius transformations on the extended complex plane, leaving the unit circle invariant. In that case the oscillator representation is a unitary representation of a double cover of SU and the oscillator semigroup corresponds to a representation by contraction operators of the semigroup in SL corresponding to Möbius transformations that take the unit disk into itself.
The contraction operators, determined only up to a sign, have kernels that are Gaussian functions. On an infinitesimal level the semigroup is described by a cone in the Lie algebra of SU that can be identified with a light cone. The same framework generalizes to the symplectic group in higher dimensions, including its analogue in infinite dimensions. This article explains the theory for SU in detail and summarizes how the theory can be extended.
Historical overview
The mathematical formulation of quantum mechanics by Werner Heisenberg and Erwin Schrödinger was originally in terms of unbounded self-adjoint operators on a Hilbert space. The fundamental operators corresponding to position and momentum satisfy the Heisenberg commutation relations. Quadratic polynomials in these operators, which include the harmonic oscillator, are also closed under taking commutators.A large amount of operator theory was developed in the 1920s and 1930s to provide a rigorous foundation for quantum mechanics. Part of the theory was formulated in terms of unitary groups of operators, largely through the contributions of Hermann Weyl, Marshall Stone and John von Neumann. In turn these results in mathematical physics were subsumed within mathematical analysis, starting with the 1933 lecture notes of Norbert Wiener, who used the heat kernel for the harmonic oscillator to derive the properties of the Fourier transform.
The uniqueness of the Heisenberg commutation relations, as formulated in the Stone–von Neumann theorem, was later interpreted within group representation theory, in particular the theory of induced representations initiated by George Mackey. The quadratic operators were understood in terms of a projective unitary representation of the group SU and its Lie algebra. Irving Segal and David Shale generalized this construction to the symplectic group in finite and infinite dimensions—in physics, this is often referred to as bosonic quantization: it is constructed as the symmetric algebra of an infinite-dimensional space. Segal and Shale have also treated the case of fermionic quantization, which is constructed as the exterior algebra of an infinite-dimensional Hilbert space. In the special case of conformal field theory in 1+1 dimensions, the two versions become equivalent via the so-called "boson-fermion correspondence." Not only does this apply in analysis where there are unitary operators between bosonic and fermionic Hilbert spaces, but also in the mathematical theory of vertex operator algebras. Vertex operators themselves originally arose in the late 1960s in theoretical physics, particularly in string theory.
André Weil later extended the construction to p-adic Lie groups, showing how the ideas could be applied in number theory, in particular to give a group theoretic explanation of theta functions and quadratic reciprocity. Several physicists and mathematicians observed the heat kernel operators corresponding to the harmonic oscillator were associated to a complexification of SU: this was not the whole of SL, but instead a complex semigroup defined by a natural geometric condition. The representation theory of this semigroup, and its generalizations in finite and infinite dimensions, has applications both in mathematics and theoretical physics.
Semigroups in SL(2,C)
The group:is a subgroup of Gc = SL, the group of complex 2 × 2 matrices with determinant 1. If G1 = SL then
This follows since the corresponding Möbius transformation is the Cayley transform which carries the upper half plane onto the unit disk and the real line onto the unit circle.
The group SL is generated as an abstract group by
and the subgroup of lower triangular matrices
Indeed, the orbit of the vector
under the subgroup generated by these matrices is easily seen to be the whole of R2 and the stabilizer of v in G1 lies in inside this subgroup.
The Lie algebra of SU consists of matrices
The period 2 automorphism σ of Gc
with
has fixed point subgroup G since
Similarly the same formula defines a period two automorphism σ of the Lie algebra of Gc, the complex matrices with trace zero. A standard basis of over C is given by
Thus for −1 ≤ m, n ≤ 1
There is a direct sum decomposition
where is the +1 eigenspace of σ and the –1 eigenspace.
The matrices X in have the form
Note that
The cone C in is defined by two conditions. The first is By definition this condition is preserved under conjugation by G. Since G is connected it leaves the two components with x > 0 and x < 0 invariant. The second condition is
The group Gc acts by Möbius transformations on the extended complex plane. The subgroup G acts as automorphisms of the unit disk D. A semigroup H of Gc, first considered by, can be defined by the geometric condition:
The semigroup can be described explicitly in terms of the cone C:
In fact the matrix X can be conjugated by an element of G to the matrix
with
Since the Möbius transformation corresponding to exp Y sends z to e−2yz, it follows that the right hand side lies in the semigroup. Conversely if g lies in H it carries the closed unit disk onto a smaller closed disk in its interior. Conjugating by an element of G, the smaller disk can be taken to have centre 0. But then for appropriate y, the element carries D onto itself so lies in G.
A similar argument shows that the closure of H, also a semigroup, is given by
From the above statement on conjugacy, it follows that
where
If
then
since the latter is obtained by taking the transpose and conjugating by the diagonal matrix with entries ±1. Hence H also contains
which gives the inverse matrix if the original matrix lies in SU.
A further result on conjugacy follows by noting that every element of H must fix a point in D, which by conjugation with an element of G can be taken to be 0. Then the element of H has the form
The set of such lower triangular matrices forms a subsemigroup H0 of H.
Since
every matrix in H0 is conjugate to a diagonal matrix by a matrix M in H0.
Similarly every one-parameter semigroup S in H fixes the same point in D so is conjugate by an element of G to a one-parameter semigroup in H0.
It follows that there is a matrix M in H0 such that
with S0 diagonal. Similarly there is a matrix N in H0 such that
The semigroup H0 generates the subgroup L of complex lower triangular matrices with determinant 1. Its Lie algebra consists of matrices of the form
In particular the one parameter semigroup exp tZ lies in H0 for all t > 0 if and only if and
This follows from the criterion for H or directly from the formula
The exponential map is known not to be surjective in this case, even though it is surjective on the whole group L. This follows because the squaring operation is not surjective in H. Indeed, since the square of an element fixes 0 only if the original element fixes 0, it suffices to prove this in H0. Take α with |α| < 1 and
If a = α2 and
with
then the matrix
has no square root in H0. For a square root would have the form
On the other hand,
The closed semigroup is maximal in SL: any larger semigroup must be the whole of SL.
Using computations motivated by theoretical physics, introduced the semigroup, defined through a set of inequalities. Without identification as a compression semigroup, they established the maximality of . Using the definition as a compression semigroup, maximality reduces to checking what happens when adding a new fractional transformation to. The idea of the proof depends on considering the positions of the two discs and. In the key cases, either one disc contains the other or they are disjoint. In the simplest cases, is the inverse of a scaling transformation or. In either case and generate an open neighbourhood of 1 and hence the whole of SL
Later gave another more direct way to prove maximality by first showing that there is a g in S sending D onto the disk Dc, |z| > 1. In fact if then there is a small disk D1 in D such that xD1 lies in Dc. Then for some h in H, D1 = hD. Similarly yxD1 = Dc for some y in H. So g = yxh lies in S and sends D onto Dc. It follows that g2 fixes the unit disc D so lies in SU. So g−1 lies in S. If t lies in H then tgD contains gD. Hence So t−1 lies in S and therefore S contains an open neighbourhood of 1. Hence S = SL.
Exactly the same argument works for Möbius transformations on Rn and the open semigroup taking the closed unit sphere ||x|| ≤ 1 into the open unit sphere ||x|| < 1. The closure is a maximal proper semigroup in the group of all Möbius transformations. When n = 1, the closure corresponds to Möbius transformations of the real line taking the closed interval into itself.
The semigroup H and its closure have a further piece of structure inherited from G, namely inversion on G extends to an antiautomorphism of H and its closure, which fixes the elements in exp C and its closure. For
the antiautomorphism is given by
and extends to an antiautomorphism of SL.
Similarly the antiautomorphism
leaves G1 invariant and fixes the elements in exp C1 and its closure, so it has analogous properties for the semigroup in G1.