---
title: Moyal-Weyl Quantum Plane
url: https://www.emergentmind.com/topics/moyal-weyl-quantum-plane
type: topic
---

# Moyal-Weyl Quantum Plane

The Moyal–Weyl quantum plane is a noncommutative deformation of the ordinary plane in which the coordinate functions, or coordinate operators, satisfy constant commutation relations. In its two-dimensional form one writes either \( [X,Y]=i\,\theta\,\mathbf 1 \) with \(\theta>0\), or, in star-product language, \( [x^\mu,x^\nu]_\star=i\,\Theta^{\mu\nu} \); in higher dimension one has \( [\hat x^i,\hat x^j]=i\,\theta^{ij} \) with \(\theta^{ij}\) a constant antisymmetric tensor of dimension \((\mathrm{length})^2\). The same object appears in deformation quantization, operatorial quantum mechanics, spectral geometry, and noncommutative quantum field theory, and in the limit \(\theta\to0\) it reduces to the ordinary commutative plane [1507.06559] [1007.4929] [1809.09453].

## 1. Algebraic definition and coordinate noncommutativity

A standard realization of the Moyal–Weyl plane takes the Schwartz space \(S(\mathbb R^2)\) and equips it with the Moyal product. For fixed \(\theta\neq0\) and
\[
\Theta=\theta
\begin{pmatrix}
0&1\\
-1&0
\end{pmatrix},
\]
the algebra is \(A=(S(\mathbb R^2),\star)\), with
\[
(f\star g)(x)
=\frac{1}{(\pi\theta)^2}\int d^2y\,d^2z\;
f(x+y)\,g(x+z)\,
e^{-\tfrac{2i}{\theta}(y^1z^2-y^2z^1)}.
\]
Equivalently, in formal power-series form,
\[
(a\star b)(x)
=
a(x)\,\exp\!\Bigl(\tfrac{i}{2}\,
\overleftarrow{\partial}_\mu\,
\Theta^{\mu\nu}\,
\overrightarrow{\partial}_\nu\Bigr)\,b(x).
\]
The defining noncommutativity is then
\[
x^\mu\star x^\nu-x^\nu\star x^\mu=i\,\Theta^{\mu\nu},
\]
or, in two dimensions,
\[
[x_1,x_2]=i\,\theta
\]
in the multiplier algebra. The product is associative, complex conjugation is an involution, the Lebesgue integral is a faithful trace, and partial derivatives satisfy the Leibniz rule with respect to \(\star\) [1507.06559] [1110.6164] [1108.2184].

From the \(C^*\)-algebraic viewpoint, the noncommutative algebra \((S(\mathbb R^2),\star)\) is non-unital and completes to a \(C^*\)-algebra \(A_\theta\simeq\mathcal K(H)\) of compact operators. This completion is central in spectral-geometric treatments, where the coordinate functions are unbounded multipliers rather than bounded elements of the algebra. In higher even dimension the same construction uses a real antisymmetric \(2d\times 2d\) matrix \(\Theta\), and the underlying vector space is \(S(\mathbb R^{2d})\) [1110.6164] [1810.05459].

## 2. Operator-valued wavefunctions, Moyal representation, and semiclassical dynamics

An alternative to the star-product formalism is the operatorial approach in which the wavefunction itself is taken to be an operator \(\Psi(X,Y)\) on a Hilbert space carrying the noncommutative Poisson–Heisenberg algebra
\[
[X,Y]=i\,\theta\,\mathbf 1,\qquad
[X,P_x]=[Y,P_y]=i\,\hbar\,\mathbf 1,\qquad
[X,P_y]=[Y,P_x]=[P_x,P_y]=0.
\]
In this formulation there is no need to introduce and keep track of the star-product at every step; the eikonal ansatz becomes a literal operator exponential,
\[
\Psi(X,Y;t)=\exp\!\Bigl(\tfrac{i}{\hbar}S(X,Y;t)\Bigr),
\]
and derivatives are replaced by commutator derivatives \(ad_{X^i}(\cdot)\coloneqq[X^i,\cdot]\). Starting from
\[
i\,\hbar\,\partial_t\Psi(X,Y;t)=H\,\Psi(X,Y;t),\qquad
H=\frac{P_x^2+P_y^2}{2m}+U(X,Y),
\]
one obtains the operator-valued Hamilton–Jacobi equation
\[
\partial_t S
+\frac{1}{2m}\Bigl([ad_X\,S]^2+[ad_Y\,S]^2\Bigr)
+U(X,Y)=0,
\]
with time-independent form
\[
\frac{1}{2m}\Bigl([ad_X\,S^0]^2+[ad_Y\,S^0]^2\Bigr)+U(X,Y)=E.
\]
The associated characteristics obey
\[
\dot X=\frac1m\,ad_X\,S^0,\qquad
\dot Y=\frac1m\,ad_Y\,S^0.
\]
For plane-wave operators
\[
W_k\coloneqq \exp(i\,k_xX+i\,k_yY),
\]
the Baker–Campbell–Hausdorff formula gives
\[
W_kW_q
=
e^{-\tfrac{i}{2}\theta(k_xq_y-k_yq_x)}\,W_{k+q},
\]
so noncommutativity inserts momentum-dependent phase factors into superpositions and scattering amplitudes. In first-order Born scattering from \(k\) to \(k'\),
\[
A_\theta(k',k)
=
-\frac{m}{2\pi\hbar^2}
\int d^2x\;
e^{-i\,k'\cdot x}\,U(x)\,e^{i\,k\cdot x}\,
e^{\tfrac{i}{2}k'\wedge k},
\]
with \(k'\wedge k=\theta(k'_xk_y-k'_yk_x)\). Rewriting through the Bopp shift,
\[
Y\to Y-\bigl(\theta/\hbar\bigr)P_x,
\]
produces explicit \(\theta\)-dependent forces even for potentials that are central in the commutative case; for a central harmonic oscillator \(U=\tfrac12m\omega^2(X^2+Y^2)\), the two directions become coupled [1007.4929].

A complementary phase-space treatment due to Dias, de Gosson, Luef, and Prata starts from the phase-space Schrödinger representation on \(L^2(\mathbb R^{2n})\), then applies a metaplectic operator
\[
U=U_D\!\bigl(-\tfrac12\ln2\bigr)\circ U_R\!\bigl(-\tfrac\pi4\bigr)
\]
to pass to the Moyal representation. In that representation the wavefunction is the cross-Wigner distribution,
\[
\Phi(x,p)=W(\psi,\chi)(x,p),
\]
observables act by left star-multiplication,
\[
\breve A^W\longleftrightarrow a(x,p)\star\bullet,
\]
and the phase-space Moyal product is
\[
f\star g\,(x,p)
=
f(x,p)\,\exp\!\Bigl[\tfrac{i\hbar}{2}
\bigl(\overleftarrow\partial_x\overrightarrow\partial_p
-\overleftarrow\partial_p\overrightarrow\partial_x\bigr)\Bigr]\,g(x,p).
\]
The stargenvalue equation
\[
a(x,p)\star\Psi(x,p)=\lambda\,\Psi(x,p)
\]
has the same eigenvalues as the Weyl operator \(\hat a^W\), and
\[
i\hbar\,\partial_t\Psi=H(x,p)\star\Psi
\quad\Longleftrightarrow\quad
i\hbar\,\partial_t\psi=\hat H^W\psi.
\]
This yields a unitary equivalence between the Moyal representation and the usual Schrödinger formulation, and permits a uniform treatment of pure and mixed states [1209.1850].

## 3. Spectral geometry, Connes distance, and quantum metric structure

The canonical spectral triple of the Moyal plane uses
\[
\mathcal A=S(\mathbb R^2),\qquad
\mathcal H=L^2(\mathbb R^2)\otimes\mathbb C^2,\qquad
\pi(a)=L(a)\otimes\mathbf 1_2,
\]
where \(L(a)\psi=a\star\psi\), together with the Euclidean Dirac operator
\[
D_0=-\,i\,(\sigma^1\partial_1+\sigma^2\partial_2).
\]
One has bounded commutators \([D_0,\pi(a)]\), compactness of \(\pi(a)(1+D_0^2)^{-1}\), and the Connes spectral distance
\[
d_{D_0}(\varphi,\psi)
=
\sup\Bigl\{
|\varphi(a)-\psi(a)|:
a=a^*,\ \|[D_0,\pi(a)]\|\le1
\Bigr\}.
\]
For the canonical Moyal spectral triple, translations are isometries, and for any state \(\phi\) and any \(a\in\mathbb R^2\),
\[
d_D(\phi,\phi\circ\tau_a)=|a|.
\]
On coherent states \(\omega_z\), defined in the Schrödinger representation by \(a|z\rangle=z|z\rangle\), one has
\[
d_D(\omega_z,\omega_w)=\sqrt2\,|z-w|,
\]
which is the Euclidean distance on the plane. As \(\theta\to0\), coherent states converge to evaluation states, the Moyal product tends to pointwise multiplication, and the induced metric tends to the geodesic distance on \(\mathbb R^2\). These results are among the central reasons the Moyal plane is treated as a representative example of a quantum locally compact metric space [1110.6164] [1507.06559].

The same metric framework extends to variants of the Dirac operator. Adding a harmonic-oscillator potential yields homothetic metrics,
\[
L_D=(1+\Omega^2)\,L_{D_0},
\]
and proportional Connes distances. Gayral and Wulkenhaar constructed a non-unital spectral triple of finite volume by taking a differential square root of the harmonic oscillator Hamiltonian,
\[
D_1=Q+Q^\dagger,\qquad D_2=i(Q-Q^\dagger),
\]
with
\[
D_1^2=D_2^2=H_{\mathrm{osc}}\otimes1+\Omega\,1\otimes(\mathrm{fermion\ number}).
\]
Its spectral dimension is \(d\), its KO-dimension is \(2d\), and the Connes–Lott doubling produces a \(U(1)\)-Yang–Mills–Higgs model in which covariant coordinates,
\[
X_\mu^A=x_\mu+A_\mu(x),\qquad X_\mu^B=x_\mu+B_\mu(x),
\]
combine with the Higgs field in a unified potential. The resulting spectral action contains a cosmological-constant-like term, a mass-like term for the covariant coordinates, and the Maxwell, Higgs-kinetic, and quartic Higgs-potential terms [1108.2184].

## 4. Lorentzian causality and relativistic deformations

In Lorentzian noncommutative geometry the Moyal plane is equipped with a Kreĭn-space structure and a causal cone
\[
\mathcal C
=
\bigl\{
a=a^*\in\mathcal A:
\forall\psi\in\mathcal H,\ 
(\psi,\;J[D,\pi(a)]\psi)\le0
\bigr\}.
\]
Provided \(\mathrm{span}\,\mathcal C=\mathcal A\), this cone defines a partial order on the state space by
\[
\varphi\preceq\psi
\quad:\Longleftrightarrow\quad
\forall a\in\mathcal C,\ \varphi(a)\le\psi(a).
\]
For the class of pure coherent states
\[
\varphi_k(a)=\langle\Psi_k,\pi(a)\Psi_k\rangle,\qquad
\Psi_k(x)=\exp\!\bigl(-\tfrac1{2\theta}|x-k|^2\bigr)/\|\cdots\|_{L^2},
\]
the main theorem states
\[
\varphi_{k_1}\preceq\varphi_{k_2}
\quad\Longleftrightarrow\quad
k_2-k_1\ \text{lies in the forward light-cone }
\{x\in\mathbb R^{1,1}: |x^1|\le x^0,\ x^0\ge0\}.
\]
Accordingly, the Moyal plane supports a nontrivial causal order among physically motivated states. This addresses a point that is described as somewhat controversial in mathematical physics: up to the loss of strict locality, the causal structure on coherent states reproduces the forward/past light-cone structure of \(\mathbb R^{1,1}\) [1507.06559].

A distinct relativistic extension was developed by A. Much through warped-convolution, or Rieffel, deformation of second-quantized coordinate operators in free scalar QFT. Starting from the Bosonic Fock-space coordinate operators \(X_\mu\) and the translation representation \(U(x)=e^{i x^\mu P_\mu}\), the deformation
\[
A_\theta:=\int \alpha_{\theta k}(A)\,dE(k)
\]
produces a QFT-Moyal–Weyl spacetime in which
\[
X_j^\theta=X_j+(\theta P)^0V_j-(\theta P)^jN
\]
and
\[
[X_\mu^\theta,X_\nu^\theta]=i\,\hat\theta_{\mu\nu}.
\]
The spatial components are
\[
\hat\theta_{ij}
=
-2\bigl(\theta_{0i}V_j/c-\theta_{0j}V_i/c\bigr)N
-2\,\theta_{ij}N^2,
\]
while the mixed components contain \(\widetilde V\), \(V\), \(N\), and \(d\Gamma(Q^k/|\mathbf Q|)\). The resulting noncommutativity tensor is therefore operator-valued rather than central. This spacetime is not equal to the standard Moyal–Weyl plane: relativistic corrections appear, pointwise locality is lost while wedge locality is preserved, and only in the nonrelativistic \(v/c\to0\) limit together with restriction to the one-particle sector \(N=1\) does one recover
\[
[X_i^\theta,X_j^\theta]\to i\,\theta_{ij},\qquad
[X_0^\theta,X_j^\theta]\to0
\]
[1405.6579].

## 5. Deformation theory and Hochschild cohomology

Within algebraic deformation theory, the term “quantum plane” also refers to the algebra
\[
W_{qp}=k\langle x,y\rangle /(xy-q\,yx),
\]
where \(k\) is a field of characteristic zero and \(q\in k^\times\). In the Groenewold–Moyal realization this algebra arises by deforming the commutative multiplication \(m(a,b)=ab\) on \(k[x,y]\) through the exponential of commuting derivations,
\[
a*b=m\!\bigl(e^{h\,\partial_x\otimes\partial_y}(a\otimes b)\bigr),
\]
so that formally
\[
x*y=e^h\,y\,x,\qquad q=e^h.
\]
Gerstenhaber and Giaquinto use this deformation-theoretic setting, together with invariance of the Euler–Poincaré characteristic under deformation, to compute the Hochschild cohomology of the quantum plane, the Weyl algebra, and the \(q\)-Weyl algebra. For \(W_{qp}\), \(H^i=0\) for \(i>2\), and the total Hochschild characteristic remains \(\chi=1\) [1208.0346].

The cohomology has a precise structure. If \(q\) is not a root of unity, then
\[
H^0(W_{qp})=k,
\]
while if \(q\) is a primitive \(N\)th root of unity then
\[
H^0(W_{qp})=k[x^N,y^N].
\]
As a module over its center, \(H^1\) is free of rank \(2\) with generators
\[
[x\,\partial_x],\qquad [y\,\partial_y],
\]
and \(H^2\) contains a distinguished \(2\)-cocycle \(z_{qp}\) lifting \(\partial_x\wedge\partial_y\), together with the lifted class \(x\,\partial_x\wedge y\,\partial_y\). In contrast, the Weyl algebra
\[
W_1=k\{x,y\}/(xy-yx-1)
\]
is a jump deformation of \(k[x,y]\) for which
\[
H^i(W_1)=
\begin{cases}
k,& i=0,\\
0,& i\ge1.
\end{cases}
\]
This contrast makes the Moyal/Groenewold deformation a computational bridge between commutative polynomial algebras, the algebraic quantum plane, and the Weyl algebra [1208.0346].

## 6. Scalar field theory, matrix models, and weak-coupling partition functions

In Euclidean noncommutative field theory the Moyal plane supports scalar \(\phi^4\)-models whose interaction is local with respect to \(\star\) rather than pointwise multiplication. A basic form of the action is
\[
S[\phi]
=
\int d^d x\;
\Bigl\{
\tfrac12\,\phi\star(-\Delta+m^2)\phi
+\tfrac{\lambda}{4!}\,\phi\star\phi\star\phi\star\phi
\Bigr\},
\]
and with Gaussian regulator one writes
\[
S[\phi]
=
\int d^d x\;
\Bigl\{
\tfrac12\,\phi(x)\bigl[-\Delta+\Omega^2\|2\Theta^{-1}x\|^2+\mu^2\bigr]\phi(x)
+g\,\phi(x)\star\phi(x)\star\phi(x)\star\phi(x)
\Bigr\}.
\]
The four-point vertex acquires oscillatory phases, a standard expression of UV/IR mixing. In the oscillator basis \(a_{mn}\), however,
\[
\int d^dx\;\phi^{\star4}(x)=\mathrm{Tr}(\Phi^4),
\]
so the theory becomes a Hermitian-matrix model. At the self-dual point \(\Omega=1\), the regulated vacuum partition function takes the form
\[
Z
=
\int_{H_N(\mathbb R)}dX\,
\exp\bigl\{-\mathrm{Tr}(E\,X^2+g\,X^4)\bigr\},
\]
or, after diagonalization,
\[
Z
=
\frac{(-\pi)^{\binom N2}}{N!\,\Delta(e_1,\dots,e_N)}
\int_{\mathbb R^N}d^N\lambda\;
\frac{\Delta^2(\lambda_1,\dots,\lambda_N)\,
\exp\bigl[-\sum_j(e_j\lambda_j^2+g\lambda_j^4)\bigr]}
{\prod_{1\le k<\ell\le N}(\lambda_k+\lambda_\ell)}.
\]
The denominator entangles all eigenvalue integrals and obstructs factorization [1810.05459] [1809.09453].

A nonperturbative weak-coupling strategy replaces this residual coupling by integrating against the asymptotic volume of the diagonal subpolytope of symmetric stochastic matrices. Using Schwinger parameters,
\[
\frac1{\lambda_k+\lambda_\ell}
=
\int_0^\infty du_{k\ell}\,e^{-u_{k\ell}(\lambda_k+\lambda_\ell)},
\]
one introduces variables \(u_j\) and a polytope volume \(V_N(u)\) so that
\[
\prod_{k<\ell}du_{k\ell}
=
\tfrac12\Bigl(\prod_{j=1}^Ndu_j\Bigr)V_N(u_1,\dots,u_N),
\]
and the partition function becomes factorized in the \(\lambda_j\). For large \(N\) and nearly uniform kinetic data one obtains asymptotic formulas for \(\mathrm{Vol}(P_N(h))\), and in weak coupling the leading partition function is
\[
Z
=
\Bigl[\prod_{m=1}^N\sqrt{\tfrac\pi{e_m}}\Bigr]
\Bigl(\frac{\pi}{2\,\xi}\Bigr)^{\binom N2}
\exp\!\Bigl[
-\,\sum_{m=1}^N\frac{3\,g}{4\,e_m^2}
+O(g^2)
\Bigr],
\qquad
\xi=\frac1N\sum_{m=1}^N e_m.
\]
The same asymptotic polytope-volume method also produces \(1/N\)-expansions containing spurious poles, described as fictitious divergences, which cancel only after all terms are summed. Its stated range of validity requires weak coupling, nearly uniform kinetic spectrum, large \(N\), and a small-phase regime in the auxiliary polytope integrals [1810.05459] [1809.09453].

The Moyal–Weyl quantum plane therefore functions simultaneously as a deformation-quantized algebra, an operatorial configuration space with modified eikonal dynamics, a noncommutative metric and causal space in the sense of spectral geometry, and a matrix-model background for noncommutative quantum field theory. Across these formulations, the constant noncommutativity parameter \(\theta\) or tensor \(\Theta\) governs both the departure from commutativity and the recovery of ordinary geometry and ordinary quantum mechanics in the limit \(\theta\to0\).

Source: https://www.emergentmind.com/topics/moyal-weyl-quantum-plane