# Remarks on the Representation Theory of the Moyal Plane

Authors: J. M. Isidro; P. Fernández de Córdoba; J. M. Rivera-Rebolledo; J. L. G. Santander
Journal: Advances in Mathematical Physics
 (2011)

---

## Abstract

We present an explicit construction of a unitary representation of the commutator algebra satisfied by position and momentum operators on the Moyal plane.


---

## Body

## 1. Introduction

There has been a lot of activity recently around physics on noncommutative spaces (for reviews see, e.g., [1, 2] and references therein). Quite naturally, this has been accompanied by research into the foundations of quantum mechanics on noncommutative spaces. As was already the case in the early days of quantum mechanics, one key question is how to represent the symmetry algebra of the problem under consideration. The symmetry algebra encodes the kinematics, regardless of the dynamics. Classically the kinematics is summarised by the Poisson brackets {qi,qj}=0, {pi,pj}=0, {qi,pj}=δij, while quantum-mechanically the latter become commutators for the operators Qi, Pj,
(1.1)[Qi,Qj]=0,[Pi,Pj]=0,[Qi,Pj]=iℏδij.
A celebrated theorem of Stone and von Neumann [3] establishes that all unitary representations of the commutator algebra (1.1) are unitarily equivalent to that given by (complex infinite-dimensional, separable) Hilbert space, with position operators Qi acting multiplicatively on the wavefunctions and momentum operators Pj acting by differentiation of the same wavefunctions.When space becomes noncommutative, the commutators[Qi,Qj]=0 develop nonzero terms on their right-hand sides. For simplicity let us restrict our attention to the 2-dimensional case. We will also assume the simplest form of noncommutativity, namely, that given by the Moyal plane: [X,Y]=iθ1, with θ>0. The corresponding symmetry algebra that replaces (1.1) above is expressed in (2.1) below. Then a natural question to ask is what becomes of the Stone-von Neumann theorem on the Moyal plane. Although this issue has been addressed in the literature [4], here we offer an alternative viewpoint. Specifically, we provide an explicit construction of a unitary representation of the symmetry algebra (2.1) on the Moyal plane, in terms of noncommutative oscillator modes. This representation will be used in an approach to quantum mechanics on the Moyal plane [5], an approach that has been demanded in the literature [6] and developed to some extent [7–11]. The idea underlying this approach is the following. Coordinates X, Y on the Moyal plane are actually self-adjoint operators on Hilbert space. Now one expects quantum-mechanical wavefunctions to depend on the space coordinates. If the latter are operators, then wavefunctions too must be operators. This requires one to first identify a unitary representation on which X, Y, as selfadjoint operator-valued coordinates, act and satisfy the symmetry algebra (2.1). In this paper we tackle this problem, leaving the construction of operator-valued wavefunctions for a forthcoming publication [5].


## 2. The Noncommutative Poisson-Heisenberg Algebra

### 2.1. The Commutator Algebra

The noncommutative planeℝθ2 is defined as the algebra of functions of two generators X,  Y satisfying the commutator [X,Y]=iθ1, with θ>0. We regard ℝθ2 as a two-dimensional configuration space endowed with noncommuting coordinates X, Y. On the corresponding noncommutative phase space ℝθ,ℏ4 we have the operators X, Y, PX, PY satisfying a commutator algebra that we postulate to be
(2.1)[X,Y]=iθ1,[X,PX]=[Y,PY]=iℏ1,[PX,PY]=[X,PY]=[Y,PX]=0.
We will call the set of (2.1) the 2-dimensional, noncommutative Poisson-Heisenberg algebra. The time variable t will be taken to commute with all generators X, Y, PX, PY. We would like to observe that positing the above algebra amounts to positing the symplectic structure first derived in [12]. One can then show that choosing the standard (quadratic in momentum) Hamiltonian, the system will carry the so-called exotic Galilean symmetry (for a recent review see [13]).It has been known for long that theBopp shift(2.2)Y⟼Y-θℏPX
reduces the noncommutative Poisson-Heisenberg algebra (2.1) to the usual Poisson-Heisenberg algebra in two commuting space dimensions.


### 2.2. Commutative Oscillator Modes

We will first construct a Hilbert-space representation for the commutator algebra (2.1), in terms of commutative oscillator modes. This is of course trivial, but it will serve as a warmup exercise for the construction in terms of noncommutative oscillator modes. Consider the usual harmonic oscillator eigenstates ϕn in 1 dimension, where n∈ℕ. The space spanned by the ϕn is ℓ2, the Hilbert space of complex, square-summable sequences. In two commuting dimensions x, y we have the eigenstates ϕnm(x,y)=ϕn(x)ϕm(y). The latter form an orthonormal basis for the Hilbert space ℓ2×ℓ2. Position and momentum operators X′, Y′, PX′, PY′ can be defined on the space ℓ2×ℓ2 as usual [14]: acting on the first index,
(2.3)X′ϕnm:=θ2(n+1ϕn+1,m+nϕn-1,m),PX′ϕnm:=iℏ2θ(n+1ϕn+1,m-nϕn-1,m).
For the second index we define the action of Y′, PY′ similarly, with the sole difference that the (reverse) Bopp shift (2.2) must be taken into account:
(2.4)Y′ϕnm:=θ2(m+1ϕn,m+1+mϕn,m-1)+θℏPX′ϕnm,PY′ϕnm:=iℏ2θ(m+1ϕn,m+1-mϕn,m-1).
One verifies that the operators X′,Y′,PX′,PY′ indeed satisfy the algebra (2.1). We have denoted these operators with a prime because this representation is unsatisfactory for our purposes. Indeed, there is nothing noncommutative about the eigenstates ϕnm: they are simply those of the harmonic oscillator on the commutative plane ℝ2, noncommutativity being implemented in the algebra by means of the (inverse) Bopp shift. Instead one would like to have a representation space spanned by eigenstates ψnm of the harmonic oscillator on the noncommutative plane ℝθ2. This will be done explicitly in Section 2.4.


### 2.3. Interlude

Before moving on to noncommutative oscillator modes we need to recall some elementary facts [3]. Consider the space F of all entire functions f:ℂ→ℂ such that
(2.5)f(z)=∑n=0∞cnn!zn,∑n=0∞|cn|2<∞.
This space is Hilbert with respect to the scalar product
(2.6)〈f∣f̃〉:=12πi∫dz*∧dzf*(z)f̃(z)e-|z|2,
where the asterisk denotes complex conjugation, and the integral extends over all ℝ2 with z=(x+iy)/2. An orthonormal basis is given by the set of all complex monomials
(2.7)fn(z):=znn!,n∈N.
The space F is called Bargmann-Segal space. The fn are in 1-to-1 correspondence with the harmonic oscillator eigenstates ϕn of Section 2.2.Next consider the following variant of Bargmann-Segal space. Let us consider functionsg:ℝ→ℂ such that
(2.8)g(x)=∑n=0∞cnn!xn,∑n=0∞|cn|2<∞,
the cn being complex coefficients. Here our functions g are complex-valued analytic functions of one real variable x. Call G the space of all functions satisfying (2.8). A basis for G is given by the set of all real monomials
(2.9)gn(x):=xnn!,n∈N.
We can define a scalar product on G by declaring these monomials to be orthonormal,
(2.10)〈gn∣gm〉:=δnm,n,m∈N,
and extending the above to all elements of G by complex linearity. This scalar product makes G a complex Hilbert space. The difference with respect to Bargmann-Segal space F is that, the functions g∈G depending on the real variable x instead of the complex variable z, the scalar product on G is no longer given by (2.6), nor by its real analogue. Indeed, given any two g,g̃∈G, the analogue of (2.6) for G would be the integral
(2.11)∫-∞∞dxg*(x)g̃(x)e-x2.
Although this integral does define a scalar product on G, this scalar product does not make the basis (2.9) orthogonal, as one readily verifies. Therefore one, and only one, of the following properties can be satisfied:(i)
the spaceG is Hilbert with respect to the scalar product (2.11), but the monomial basis (2.9) is not orthogonal with respect to it;(ii)
the spaceG is Hilbert with respect to the scalar product (2.10), and the monomial basis (2.9) is indeed orthonormal with respect to it, but this scalar product is not given by the integral (2.11).This being the case, we settle in favour of condition (ii) above as our choice for the Hilbert spaceG.Finally, the construction given by (2.8)–(2.10) can be straightforwardly extended to complex-valued, analytic functions of two real variables x, y. This will be used next.


### 2.4. Noncommutative Oscillator Modes

Next we construct a unitary, Hilbert-space representation for the algebra (2.1), in terms of noncommutative oscillator modes. It will be based on the Hilbert space, just mentioned in Section 2.3, of complex-valued, analytic functions of two real variables—but with noncommuting, selfadjoint operators replacing the real variables.Consider first an auxiliary copyℋ of the Heisenberg algebra, spanned by operators V, W, 1 satisfying [V,W]=iθ1, where both V and W have dimensions of length. The algebra ℋ is realised in the standard way: V acts on auxiliary wavefunctions h(v) by multiplication, Vh(v)=vh(v), and W acts by differentiation, Wh(v)=-iθdh/dv. That the dimension of θ is length squared, rather than that of an action, should not bother us, since ℋ is an auxiliary construct. The corresponding Hilbert space of the wavefunctions h(v), also termed auxiliary, is L2(ℝ,dv). This Hilbert space, however, is not the carrier space of the unitary representation of the algebra (2.1) that we are looking for. To reiterate, the algebra [V,W]=iθ1 just introduced, although isomorphic to the subalgebra [X,Y]=iθ1 contained in (2.1), acts on the auxiliary space L2(ℝ,dv) while the space on which the algebra [X,Y]=iθ1 will act is about to be defined below.Next letU(ℋ) denote the universal enveloping algebra of ℋ. By definition, U(ℋ) is the algebra of polynomials in the operators V, W, 1, of arbitrarily high degree, with V and W satisfying [V,W]=iθ1. Some suitable completion of U(ℋ), denoted U(ℋ)¯ and to be constructed presently, is the space of convergent power series in V, W. We take an arbitrary vector of U(ℋ)¯ to be an expression of the form
(2.12)ψ(V,W)=∑n,m=0∞cnmn!m!θn+mVnWm,
where the cnm are complex coefficients, such that the above series converges (in a sense to be specified presently). The factor (θn+m)-1/2 ensures that all summands are dimensionless. From now we will prescribe all vectors of U(ℋ)¯ to be normal-ordered,  that is, V will always be assumed to precede W, if necessary by applying the commutator [V,W]=iθ1.A basis forU(ℋ)¯ is given by the vectors
(2.13)ψnm(V,W)=1n!m!θn+mVnWm,n,m∈N.
The simplest choice for a scalar product on U(ℋ)¯ is to declare the basis vectors (2.13) orthonormal,
(2.14)〈ψn1m1∣ψn2m2〉:=δn1n2δm1m2,
and to extend (2.14) to all of U(ℋ)¯ by complex linearity. Then the squared norm of the vector (2.12) equals ∑nm|cnm|2:
(2.15)‖ψ(V,W)‖2=∑n,m=0∞|cnm|2.
Since this norm must be finite, this identifies U(ℋ)¯ as the Hilbert space of square-summable complex sequences {cnm} in two indices n, m, the latter taken to be normal-ordered as in (2.13); this defines the completion of U(ℋ) referred to above. It is worthwhile to observe that, although the vectors (2.12) are unbounded operators in their action on the auxiliary Hilbert space L2(ℝ,dv), the same vectors do have a finite norm as elements of the Hilbert space U(ℋ)¯. This is so because the norm of ψ(V,W) in (2.15) is being measured by means of the complex coefficients cnm, not by means of the operator norms of V, W (themselves infinite). We will henceforth call the ψnm of (2.13) noncommutative oscillator modes.The Hilbert spaceU(ℋ)¯ just constructed will become the carrier space of a representation of the algebra (2.1). For this we need to define the action of the operators X,Y,PX,PY on the noncommutative oscillator modes (2.13). We set
(2.16)Xψnm:=θ2(n+1ψn+1,m+nψn-1,m),PXψnm:=iℏ2θ(n+1ψn+1,m-nψn-1,m).
For the second index we define the action of Y, PY similarly, with the sole difference that the (reverse) Bopp shift (2.2) must be taken into account:
(2.17)Yψnm:=θ2(m+1ψn,m+1+mψn,m-1)+θℏPXψnm,PYψnm:=iℏ2θ(m+1ψn,m+1-mψn,m-1).
Finally, the operators X, Y, PX, PY so defined are Hermitian and satisfy the algebra (2.1) as desired. The above X, Y, PX, PY are distinguished notationally from the operators X′, Y′, PX′, PY′ of (2.3)–(2.4) in order to stress the fact that they are actually different operators acting on different spaces (all infinite-dimensional, complex, separable Hilbert spaces being unitarily isomorphic, the above statement is to be understood asdifferent realisations of Hilbert space), even if the two sets of operators satisfy the same algebra (2.1).It is worth pointing out that the oscillator representation given above bears a close similarity with the one constructed in [15] from the nonrelativistic limit of anyons.


## 2.1. The Commutator Algebra

The noncommutative planeℝθ2 is defined as the algebra of functions of two generators X,  Y satisfying the commutator [X,Y]=iθ1, with θ>0. We regard ℝθ2 as a two-dimensional configuration space endowed with noncommuting coordinates X, Y. On the corresponding noncommutative phase space ℝθ,ℏ4 we have the operators X, Y, PX, PY satisfying a commutator algebra that we postulate to be
(2.1)[X,Y]=iθ1,[X,PX]=[Y,PY]=iℏ1,[PX,PY]=[X,PY]=[Y,PX]=0.
We will call the set of (2.1) the 2-dimensional, noncommutative Poisson-Heisenberg algebra. The time variable t will be taken to commute with all generators X, Y, PX, PY. We would like to observe that positing the above algebra amounts to positing the symplectic structure first derived in [12]. One can then show that choosing the standard (quadratic in momentum) Hamiltonian, the system will carry the so-called exotic Galilean symmetry (for a recent review see [13]).It has been known for long that theBopp shift(2.2)Y⟼Y-θℏPX
reduces the noncommutative Poisson-Heisenberg algebra (2.1) to the usual Poisson-Heisenberg algebra in two commuting space dimensions.


## 2.2. Commutative Oscillator Modes

We will first construct a Hilbert-space representation for the commutator algebra (2.1), in terms of commutative oscillator modes. This is of course trivial, but it will serve as a warmup exercise for the construction in terms of noncommutative oscillator modes. Consider the usual harmonic oscillator eigenstates ϕn in 1 dimension, where n∈ℕ. The space spanned by the ϕn is ℓ2, the Hilbert space of complex, square-summable sequences. In two commuting dimensions x, y we have the eigenstates ϕnm(x,y)=ϕn(x)ϕm(y). The latter form an orthonormal basis for the Hilbert space ℓ2×ℓ2. Position and momentum operators X′, Y′, PX′, PY′ can be defined on the space ℓ2×ℓ2 as usual [14]: acting on the first index,
(2.3)X′ϕnm:=θ2(n+1ϕn+1,m+nϕn-1,m),PX′ϕnm:=iℏ2θ(n+1ϕn+1,m-nϕn-1,m).
For the second index we define the action of Y′, PY′ similarly, with the sole difference that the (reverse) Bopp shift (2.2) must be taken into account:
(2.4)Y′ϕnm:=θ2(m+1ϕn,m+1+mϕn,m-1)+θℏPX′ϕnm,PY′ϕnm:=iℏ2θ(m+1ϕn,m+1-mϕn,m-1).
One verifies that the operators X′,Y′,PX′,PY′ indeed satisfy the algebra (2.1). We have denoted these operators with a prime because this representation is unsatisfactory for our purposes. Indeed, there is nothing noncommutative about the eigenstates ϕnm: they are simply those of the harmonic oscillator on the commutative plane ℝ2, noncommutativity being implemented in the algebra by means of the (inverse) Bopp shift. Instead one would like to have a representation space spanned by eigenstates ψnm of the harmonic oscillator on the noncommutative plane ℝθ2. This will be done explicitly in Section 2.4.


## 2.3. Interlude

Before moving on to noncommutative oscillator modes we need to recall some elementary facts [3]. Consider the space F of all entire functions f:ℂ→ℂ such that
(2.5)f(z)=∑n=0∞cnn!zn,∑n=0∞|cn|2<∞.
This space is Hilbert with respect to the scalar product
(2.6)〈f∣f̃〉:=12πi∫dz*∧dzf*(z)f̃(z)e-|z|2,
where the asterisk denotes complex conjugation, and the integral extends over all ℝ2 with z=(x+iy)/2. An orthonormal basis is given by the set of all complex monomials
(2.7)fn(z):=znn!,n∈N.
The space F is called Bargmann-Segal space. The fn are in 1-to-1 correspondence with the harmonic oscillator eigenstates ϕn of Section 2.2.Next consider the following variant of Bargmann-Segal space. Let us consider functionsg:ℝ→ℂ such that
(2.8)g(x)=∑n=0∞cnn!xn,∑n=0∞|cn|2<∞,
the cn being complex coefficients. Here our functions g are complex-valued analytic functions of one real variable x. Call G the space of all functions satisfying (2.8). A basis for G is given by the set of all real monomials
(2.9)gn(x):=xnn!,n∈N.
We can define a scalar product on G by declaring these monomials to be orthonormal,
(2.10)〈gn∣gm〉:=δnm,n,m∈N,
and extending the above to all elements of G by complex linearity. This scalar product makes G a complex Hilbert space. The difference with respect to Bargmann-Segal space F is that, the functions g∈G depending on the real variable x instead of the complex variable z, the scalar product on G is no longer given by (2.6), nor by its real analogue. Indeed, given any two g,g̃∈G, the analogue of (2.6) for G would be the integral
(2.11)∫-∞∞dxg*(x)g̃(x)e-x2.
Although this integral does define a scalar product on G, this scalar product does not make the basis (2.9) orthogonal, as one readily verifies. Therefore one, and only one, of the following properties can be satisfied:(i)
the spaceG is Hilbert with respect to the scalar product (2.11), but the monomial basis (2.9) is not orthogonal with respect to it;(ii)
the spaceG is Hilbert with respect to the scalar product (2.10), and the monomial basis (2.9) is indeed orthonormal with respect to it, but this scalar product is not given by the integral (2.11).This being the case, we settle in favour of condition (ii) above as our choice for the Hilbert spaceG.Finally, the construction given by (2.8)–(2.10) can be straightforwardly extended to complex-valued, analytic functions of two real variables x, y. This will be used next.


## 2.4. Noncommutative Oscillator Modes

Next we construct a unitary, Hilbert-space representation for the algebra (2.1), in terms of noncommutative oscillator modes. It will be based on the Hilbert space, just mentioned in Section 2.3, of complex-valued, analytic functions of two real variables—but with noncommuting, selfadjoint operators replacing the real variables.Consider first an auxiliary copyℋ of the Heisenberg algebra, spanned by operators V, W, 1 satisfying [V,W]=iθ1, where both V and W have dimensions of length. The algebra ℋ is realised in the standard way: V acts on auxiliary wavefunctions h(v) by multiplication, Vh(v)=vh(v), and W acts by differentiation, Wh(v)=-iθdh/dv. That the dimension of θ is length squared, rather than that of an action, should not bother us, since ℋ is an auxiliary construct. The corresponding Hilbert space of the wavefunctions h(v), also termed auxiliary, is L2(ℝ,dv). This Hilbert space, however, is not the carrier space of the unitary representation of the algebra (2.1) that we are looking for. To reiterate, the algebra [V,W]=iθ1 just introduced, although isomorphic to the subalgebra [X,Y]=iθ1 contained in (2.1), acts on the auxiliary space L2(ℝ,dv) while the space on which the algebra [X,Y]=iθ1 will act is about to be defined below.Next letU(ℋ) denote the universal enveloping algebra of ℋ. By definition, U(ℋ) is the algebra of polynomials in the operators V, W, 1, of arbitrarily high degree, with V and W satisfying [V,W]=iθ1. Some suitable completion of U(ℋ), denoted U(ℋ)¯ and to be constructed presently, is the space of convergent power series in V, W. We take an arbitrary vector of U(ℋ)¯ to be an expression of the form
(2.12)ψ(V,W)=∑n,m=0∞cnmn!m!θn+mVnWm,
where the cnm are complex coefficients, such that the above series converges (in a sense to be specified presently). The factor (θn+m)-1/2 ensures that all summands are dimensionless. From now we will prescribe all vectors of U(ℋ)¯ to be normal-ordered,  that is, V will always be assumed to precede W, if necessary by applying the commutator [V,W]=iθ1.A basis forU(ℋ)¯ is given by the vectors
(2.13)ψnm(V,W)=1n!m!θn+mVnWm,n,m∈N.
The simplest choice for a scalar product on U(ℋ)¯ is to declare the basis vectors (2.13) orthonormal,
(2.14)〈ψn1m1∣ψn2m2〉:=δn1n2δm1m2,
and to extend (2.14) to all of U(ℋ)¯ by complex linearity. Then the squared norm of the vector (2.12) equals ∑nm|cnm|2:
(2.15)‖ψ(V,W)‖2=∑n,m=0∞|cnm|2.
Since this norm must be finite, this identifies U(ℋ)¯ as the Hilbert space of square-summable complex sequences {cnm} in two indices n, m, the latter taken to be normal-ordered as in (2.13); this defines the completion of U(ℋ) referred to above. It is worthwhile to observe that, although the vectors (2.12) are unbounded operators in their action on the auxiliary Hilbert space L2(ℝ,dv), the same vectors do have a finite norm as elements of the Hilbert space U(ℋ)¯. This is so because the norm of ψ(V,W) in (2.15) is being measured by means of the complex coefficients cnm, not by means of the operator norms of V, W (themselves infinite). We will henceforth call the ψnm of (2.13) noncommutative oscillator modes.The Hilbert spaceU(ℋ)¯ just constructed will become the carrier space of a representation of the algebra (2.1). For this we need to define the action of the operators X,Y,PX,PY on the noncommutative oscillator modes (2.13). We set
(2.16)Xψnm:=θ2(n+1ψn+1,m+nψn-1,m),PXψnm:=iℏ2θ(n+1ψn+1,m-nψn-1,m).
For the second index we define the action of Y, PY similarly, with the sole difference that the (reverse) Bopp shift (2.2) must be taken into account:
(2.17)Yψnm:=θ2(m+1ψn,m+1+mψn,m-1)+θℏPXψnm,PYψnm:=iℏ2θ(m+1ψn,m+1-mψn,m-1).
Finally, the operators X, Y, PX, PY so defined are Hermitian and satisfy the algebra (2.1) as desired. The above X, Y, PX, PY are distinguished notationally from the operators X′, Y′, PX′, PY′ of (2.3)–(2.4) in order to stress the fact that they are actually different operators acting on different spaces (all infinite-dimensional, complex, separable Hilbert spaces being unitarily isomorphic, the above statement is to be understood asdifferent realisations of Hilbert space), even if the two sets of operators satisfy the same algebra (2.1).It is worth pointing out that the oscillator representation given above bears a close similarity with the one constructed in [15] from the nonrelativistic limit of anyons.


## 3. Higher Dimensions

The previous results can be easily generalised to higher-dimensional Moyal spaces. Let us outline the main results in dimension 3. Here the noncommutative Poisson-Heisenberg algebra reads(3.1)[X,Y]=[Y,Z]=[Z,X]=iθ1,[X,PX]=[Y,PY]=[Z,PZ]=iℏ1,
all other commutators vanishing identically. For simplicity we have assumed the generators so normalised that there is just one independent noncommutativity parameter θ. The Bopp shift that reduces (3.1) to the standard Poisson-Heisenberg algebra is
(3.2)Y⟼Y-θℏPX,Z⟼Z+θℏPX-θℏPY.
The algebra (3.1) contains three independent copies of the noncommutative plane. Therefore we will need three auxiliary copies ℋ1, ℋ2, and ℋ3 of the Heisenberg algebra of Section 2.4, the jth copy having generators Vj, Wj satisfying(3.3)[Vj,Wj]=iθ1,j=1,2,3.
We convene to associate the index values j=1,2,3 with the respective commutators [X,Y]=iθ1, [Y,Z]=iθ1, and [Z,X]=iθ1, each one of which spans a copy of the Moyal plane. Following (2.13), the noncommutative oscillator modes ψnjmj corresponding to the jth copy of the Moyal plane are
(3.4)ψnjmj:=1nj!mj!θnj+mjVjnjWjmy,nj,mj∈N,j=1,2,3.
The above ψnjmj provide a complete orthonormal set for the space U(ℋj)¯. Position and momentum operators X(1), Y(1), PX(1), PY(1) can be defined on U(ℋ1)¯ as in Section 2.4; by the same token we define the action of Y(2), Z(2), PY(2), PZ(2) on U(ℋ2)¯, and the action of Z(3), X(3), PZ(3), PX(3) on U(ℋ3)¯.Next consider the tensor product space(3.5)U(H1)¯⊗U(H2)¯⊗U(H3)¯.
A complete orthonormal set on this product space is given by the tensor product states
(3.6)ψnm:=ψn1m2⊗ψn2m2⊗ψn3m3,n,m∈N3,
where n=(n1,n2,n3) and m=(m1,m2,m3). We can extend the above position and momentum operators to act on all of U(ℋ1)¯⊗U(ℋ2)¯⊗U(ℋ3)¯ in the obvious way. Namely, X(1) on U(ℋ1)¯ is extended as X(1)↦X(1)⊗12⊗13, while Y(2) on U(ℋ2)¯ it is extended as Y(2)↦11⊗Y(2)⊗13 and so forth. In this way all 3 sets of position and momentum operators
(3.7)X(1),Y(1),PX(1),PY(1),Y(2),Z(2),PY(2),PZ(2),Z(3),X(3),PZ(3),PX(3),
each one of them initially defined to act only on the correponding space U(ℋj)¯, is now defined on the tensor product space (3.5). We will not distinguish notationally between the operators (3.7) and their extensions to the tensor product space (3.5). On the latter we finally define
(3.8)X:=12(X(1)+X(3)),PX:=12(PX(1)+PX(3)),Y:=12(Y(1)+Y(2)),PY:=12(PY(1)+PY(2)),Z:=12(Z(2)+Z(3)),PZ:=12(PZ(2)+PZ(3)).
One verifies that the operators (3.8), acting on the tensor product states (3.6), indeed satisfy the algebra (3.1) as desired.We would like to remark that the commutator relations (3.1) break rotation invariance. However, the latter can be restored if the constant parameter θ is promoted to a vector-valued function of the momentum, whenever this function is divergence-free in momentum space [13, 16].


## 4. Discussion

In this paper we have constructed a unitary representation for the symmetry algebra (2.1). This latter algebra encodes the kinematics of quantum mechanics on the Moyal plane, regardless of whatever specific dynamics one wishes to consider. This representation has noncommutative oscillator modes as its building blocks. Such oscillator modes are the noncommutative analogues of ordinary harmonic oscillators on the commutative plane ℝ2. We have also sketched how to generalise these noncommutative oscillator modes to higher dimensions, provided that the space noncommutativity is always of the Heisenberg-algebra type.As stated in the introduction, the purpose of these noncommutative oscillator modes is to use them in a novel approach to quantum mechanics on noncommutative spaces. This approach does not make use of c-number valued wavefunctions that are multiplied together by means of a star-product. Rather, one looks for operator-valued wavefunctions already from the start [6]. Once space coordinates are operators, since wavefunctions will be functions of the coordinates, wavefunctions themselves will become operator-valued. The analysis carried out here is a necessary first step towards that goal.Looking beyond, a feature of emergent phenomena is that they arise as some form of coarse-grained, or thermodynamical, description of some microscopic physics that one does not have complete control of [17]. This much is true in general, and also of quantum mechanics in particular [18–21], even before introducing noncommutativity. Now space noncommutativity also introduces a form of coarse graining, due to the existence of the quantum of area θ—not on phase space, but on configuration space. In this sense, noncommutative quantum mechanics also falls within the category of emergent physics.



---

*Source: 635790-2011-06-09.xml*