---
title: Weyl Quantization on Pseudo-Riemannian Manifolds
url: https://www.emergentmind.com/topics/weyl-quantization-on-pseudo-riemannian-manifolds
type: topic
---

# Weyl Quantization on Pseudo-Riemannian Manifolds

Searching arXiv for the cited works and closely related papers on Weyl quantization on pseudo-Riemannian manifolds.
Weyl quantization on pseudo-Riemannian manifolds denotes a family of constructions that generalize the flat-space Weyl correspondence from \(\mathbb R^{2d}\) to curved phase spaces built from a manifold \(M\) endowed with a pseudo-Riemannian metric \(g\). In the most direct pseudodifferential form, the relevant phase space is \(T^*M\), and the quantization is defined intrinsically from the Levi-Civita connection, geodesic midpoint geometry, parallel transport, and the Van Vleck–Morette determinant; in neighboring formulations, the same problem is recast through connection-based quantization of tensorial symbols, through graded symplectic manifolds, or through supercotangent bundles adapted to spin degrees of freedom [1806.01572][2507.11965][1801.05183][1009.2271][1410.3346].

## 1. Scope of the subject

The expression “Weyl quantization on pseudo-Riemannian manifolds” does not designate a single universally adopted construction. The literature represented here separates into at least four technically distinct strands.

One strand gives a direct pseudodifferential Weyl calculus on \(T^*M\). The central construction in this direction is the balanced geodesic Weyl quantization, defined on a pseudo-Riemannian manifold by using geodesic midpoints, half-densities, and \(\Delta(x,y)^{1/2}\), and designed to retain the midpoint symmetry and symbol-operator properties of ordinary Weyl quantization [1806.01572]. A later extension allows operators on sections of vector bundles with arbitrary metric-compatible bundle connections, and develops the associated star product, Wigner function, self-adjointness correspondence, and examples for Dirac, Maxwell, Yang–Mills, and linearized Einstein operators [2507.11965].

A second strand is a curved-configuration-space Wigner–Weyl–Moyal formalism based on chosen canonical coordinates \(x^i\) and canonically conjugate momenta \(p_i\). This construction is explicit and technically workable, but it is formulated for an \(n\)-dimensional Riemannian manifold rather than for a general pseudo-Riemannian manifold, and it is chart-based rather than coordinate-free [1309.5017].

A third strand is connection-based quantization of polynomial symbols coming from tensor fields. Here the quantization depends on a symmetric linear connection and can be reformulated through the exponential map. The framework is coordinate-free at the definition level, allows pseudo-Riemannian metrics of arbitrary signature when a metric is used, and gives a dequantization theorem for differential operators, but it does not construct the full modern Weyl pseudodifferential calculus [1801.05183].

A fourth strand enlarges the phase space. In one case, the ordinary cotangent bundle is replaced by the supercotangent bundle \(\mathcal M=T^*M\oplus \Pi TM\), so that odd variables quantize to Clifford generators and classical spin observables become spinor differential operators [1009.2271]. In another, one quantizes the degree-\(2\) symplectic graded manifold canonically associated with a pseudo-Euclidean bundle, \(\mathcal M\simeq T^*[2]M\oplus E[1]\), combining ordinary Weyl quantization on the cotangent sector with Clifford quantization on the degree-\(1\) sector [1410.3346].

## 2. Coordinate-based curved configuration-space Weyl theory

A concrete prototype is the phase-space formalism for curved configuration spaces developed for an \(n\)-dimensional Riemannian manifold with metric tensor \(g_{ij}(x)\) [1309.5017]. The phase space is built from chosen coordinates \(x^i\) and canonically conjugate momenta \(p_i\), with canonical brackets
\[
\{x^i,p_j\}=\delta^i_j,\qquad \{x^i,x^j\}=0,\qquad \{p_i,p_j\}=0.
\]
The Hilbert-space structure uses the invariant density \(\sqrt{g(x)}\,dx\), so that
\[
\mathbb 1=\int dx\,\sqrt{g(x)}\,|x\rangle\langle x|.
\]

In this setting the momentum operators are chosen, following DeWitt, as
\[
\hat p_i=\frac{\hbar}{i}\left(\frac{\partial}{\partial x^i}+\frac12 \Gamma^j{}_{ji}(x)\right),
\]
with the contracted Christoffel symbol
\[
\Gamma^j{}_{ji}(x)=\frac12 \frac{\partial \ln g(x)}{\partial x^i}.
\]
Thus the metric enters the canonical momentum operator through the connection term. The corresponding Stratonovich–Weyl kernel is
\[
\hat\Delta^{(g)}(x,p) = \int dx'\, \bigl[g(x+x'/2)g(x-x'/2)\bigr]^{1/4} e^{i p_i x'^i/\hbar} |x+x'/2\rangle\langle x-x'/2|,
\]
and for an operator \(\hat A\) the Weyl symbol is
\[
W_{\hat A}^{(g)}(x,p)=\mathrm{tr}\bigl[\hat A\,\hat\Delta^{(g)}(x,p)\bigr].
\]

The formal Weyl rule survives for the canonical pairs. In particular,
\[
W_{\hat x^i}^{(g)}(x,p)=x^i,\qquad W_{\hat p_i}^{(g)}(x,p)=p_i.
\]
The star product also keeps the standard canonical form once symbols are defined relative to the curved quantizer:
\[
(W_{\hat A}^{(g)}\star W_{\hat B}^{(g)})(x,p)
=
W_{\hat A}^{(g)}\!\left(x+\frac{i\hbar}{2}\vec\partial_p,\, p-\frac{i\hbar}{2}\vec\partial_x\right) W_{\hat B}^{(g)}(x,p).
\]
Curvature therefore enters not through an explicit deformation of the Moyal kernel, but through the quantizer, the momentum operators, and the Weyl symbols of geometric Hamiltonians.

For the classical Hamiltonian
\[
H(x,p)=\frac{1}{2m}g^{ij}(x)p_i p_j + V(x),
\]
the paper adopts
\[
\hat H=\frac{1}{2m}\hat p_i\,g^{ij}(\hat x)\,\hat p_j+\hbar^2 Q(\hat x)+V(\hat x),
\]
and the Weyl symbol becomes
\[
W_{\hat H}^{(g)}(x,p) = \frac{1}{2m}p_i g^{ij}(x) p_j + U(x),
\]
with
\[
U(x)=V(x)+\hbar^2 Q(x)+\frac{\hbar^2}{8m}\,\partial_i\partial_j g^{ij}(x).
\]
The exact quantum Liouville equation reduces in the semiclassical limit to the classical Liouville equation on \(T^*M\). The limitation is explicit: the framework is formulated for Riemannian configuration manifolds, not for general pseudo-Riemannian or Lorentzian spacetime quantization [1309.5017].

## 3. Balanced geodesic Weyl quantization on \(T^*M\)

The intrinsic pseudodifferential Weyl calculus on a pseudo-Riemannian manifold is the balanced geodesic Weyl quantization [1806.01572]. The construction assumes a pseudo-Riemannian manifold \((M,g)\), its Levi-Civita connection, geodesics, the exponential map, Synge’s world function, and the Van Vleck–Morette determinant
\[
\Delta(x,y):= \left| \frac{\partial (y-x)_\mu}{\partial y^\nu} \right| \frac{|g(x)|^{1/2}}{|g(y)|^{1/2}}.
\]
It is defined on a geodesically convex neighborhood \(\Omega\subset M\times M\), so that every \((x,y)\in\Omega\) is connected by a unique distinguished geodesic.

For the \(\tau\)-quantization one sets \(z_\tau=x+\tau(y-x)\) and \(u_\tau=(y-x)_\tau\in T_{z_\tau}M\), and defines
\[
\operatorname{Op}_\tau(b)(x,y) := \chi(x,y)\,\Delta(x,y)^{1/2} \frac{|g(x)|^{1/4}|g(y)|^{1/4}}{|g(z_\tau)|^{1/2}} \int_{T_{z_\tau}^*M} b(z_\tau,p)\,e^{- \frac{i}{\hbar}u_\tau\cdot p}\, \frac{dp}{(2\pi\hbar)^d}.
\]
The Weyl case is \(\tau=\frac12\). If \(M=\mathbb R^d\) with flat metric, then \(|g|=1\), \(\Delta=1\), geodesics are straight lines, and the formula reduces exactly to the standard flat \(\tau\)-quantization [1806.01572].

The balanced factors are not decorative. They yield the exact Hilbert–Schmidt identity
\[
\operatorname{Tr}\big(\operatorname{Op}(a)^*\operatorname{Op}(b)\big) = \int_{T^*M}\overline{a(z,p)}\,b(z,p)\, \frac{dz\,dp}{(2\pi\hbar)^d},
\]
which is the curved analogue of the flat Weyl isometry between \(L^2\)-symbols and Hilbert–Schmidt operators. They also underlie the parity theorem: if \(a\) is an even polynomial in \(p\), then \(\operatorname{Op}(a)\) has only even-degree derivatives, and if \(a\) is an odd polynomial, then \(\operatorname{Op}(a)\) has only odd-degree derivatives [1806.01572].

For quadratic symbols the calculus gives a distinguished curvature correction. Specializing to the inverse metric,
\[
\operatorname{Op}_\tau(g^{\mu\nu}p_\mu p_\nu) = -g^{\mu\nu}\nabla_\mu\nabla_\nu+\frac16 R,
\]
independent of \(\tau\). Thus the balanced quantization of the kinetic energy yields the Laplace-Beltrami or d’Alembertian operator together with the familiar \(\frac16R\) term [1806.01572].

The star product is defined by \(\operatorname{Op}(a*b)=\operatorname{Op}(a)\operatorname{Op}(b)\). Its asymptotic expansion begins with
\[
(a*b)_0=ab,\qquad
(a*b)_1=\frac{i}{2}(a^\alpha b_\alpha-a_\alpha b^\alpha),
\]
and from order \(\hbar^2\) onward contains genuine manifold corrections involving the Riemann tensor, Ricci tensor, covariant derivatives of curvature, and quadratic curvature terms. The zeroth and first terms are exactly the flat Moyal terms; curvature deforms the product starting at second order [1806.01572].

## 4. Connection-based polynomial quantization and the exponential map

A distinct but closely related approach quantizes polynomial symbols arising from tensor fields by using a symmetric linear connection \(\nabla\) [1801.05183]. For a symmetric contravariant tensor field \(\Phi\) of order \(r\), the quantized operator \(\widehat{\Phi}\) acts by contraction of \(\Phi\) with the symmetrized \(r\)-fold covariant derivative of a function, multiplied by \((-ih)^r\). The construction is coordinate-free at the definition level and depends only on the connection.

This quantization admits a dequantization theorem: every linear differential operator of order \(r\) has a unique decomposition into quantized symmetric contravariant tensors of orders \(r,r-1,\dots,0\). Through the usual identification of symmetric contravariant tensors with fiberwise polynomial functions on \(T^*M\), the dequantized tensor is also the Hamiltonian of the differential operator [1801.05183].

The same paper introduces a second quantization method built from the exponential map of the connection. For a symmetric covariant tensor field \(a\) of order \(r\), one pulls back a function \(f\) by the exponential map and evaluates the ordinary \(r\)-th differential along each tangent fiber at the origin. The key result is Theorem 5.1:
\[
d_0^r \widehat f = (\nabla^r_{\mathrm{sym}} f)_{x_0}.
\]
In words, the \(r\)-th ordinary differential of \(f\circ \exp_{x_0}\) at the origin of \(T_{x_0}M\) equals the symmetrized \(r\)-fold covariant derivative of \(f\) at \(x_0\). This identity explains why the connection-based quantization and the exponential-map quantization coincide [1801.05183].

The pseudo-Riemannian relevance is explicit. The framework is formulated for an arbitrary symmetric linear connection, and when a metric is used it may be pseudo-Riemannian of arbitrary signature. In particular, the contravariant metric tensor quantizes to
\[
\widehat{\Phi}=-h^2\Delta,
\]
where \(\Delta\) is the Laplacian associated with the metric; in pseudo-Riemannian signature this is the Laplace-Beltrami or d’Alembert-type operator [1801.05183].

The extension beyond polynomial symbols proceeds through fields of distributions on tangent fibers. Assuming geodesic completeness, the paper states that functions in \(C^\infty(TM)\) satisfying the Paley–Wiener–Schwartz conditions in the fibers are quantizable by means of the exponential associated with \(\nabla\), and that those quantized as differential operators are precisely the Hamiltonians [1801.05183]. This suggests a route toward a pseudodifferential theory, but the paper does not develop a full midpoint-symmetric Weyl calculus.

## 5. Spinorial and graded extensions

A major neighboring framework replaces the scalar cotangent phase space by phase spaces carrying odd or graded directions. For spinning particles on a pseudo-Riemannian spin manifold \((M,g)\) of signature \((p,q)\), the natural classical phase space is the supercotangent bundle
\[
\mathcal M:=T^*M\oplus \Pi TM,
\]
with even coordinates \((x^i,p_i)\) and odd coordinates \(\xi^i\) encoding spin degrees of freedom [1009.2271]. The canonical \(1\)-form is
\[
\alpha=p_i\,dx^i+\frac{\hbar}{2i}\,g_{ij}\,\xi^i\,d^\nabla \xi^j,
\]
and \(\omega=d\alpha\) is the super-symplectic form. The odd observables
\[
S^{ij}=\frac{\hbar}{i}\,\xi^i\xi^j
\]
generate a Lie algebra isomorphic to \(o(p,q)\).

Geometric quantization of \((\mathcal M,\omega)\), after a suitable choice of polarization, reconstructs the standard spin-geometry objects on \((M,g)\). In Darboux coordinates, the quantization map satisfies
\[
\mathcal Q(x^i)=x^i,\qquad
\mathcal Q(p_i)=\frac{\hbar}{i}\partial_i,\qquad
\mathcal Q(\xi^i)=\frac{\gamma^i}{\sqrt2}.
\]
The even momenta therefore become differential operators as in ordinary Weyl quantization, while the odd variables quantize to Clifford generators [1009.2271].

This supercotangent formalism also supports a conformally equivariant quantization on conformally flat pseudo-Riemannian spin manifolds. The paper compares tensorial symbols, Hamiltonian symbols on \(\mathcal M\), and spinor differential operators, and constructs a superization map together with a quantization map preserving principal symbols. The Dirac operator appears as the quantization of the basic odd linear symbol \(\Delta=p_i\xi^i\), and degree-one superization is related to Killing–Yano tensors and hidden symmetries of spinning particles [1009.2271].

A related graded-manifold construction begins from an even-rank pseudo-Euclidean vector bundle \((E,g)\to M\) with spinor bundle \(S\). The canonical degree-\(2\) symplectic graded manifold is
\[
\mathcal M \cong T^*[2]M\oplus E[1],
\]
and the main structural theorem identifies the associated graded algebra of a new filtration on \(\mathcal D(M,S)\) with \(\mathcal O(\mathcal M)\) [1410.3346]. The filtration assigns degree \(1\) to Clifford generators and degree \(2\) to covariant derivatives. The Weyl quantization
\[
\mathcal WQ_\hbar:\mathcal O(T^*[2]M\oplus E[1])\to\mathcal D(M,S)
\]
combines ordinary Weyl quantization on \(T^*M\) with Clifford quantization on \(E[1]\). For \(F\in\mathcal O(E[1])\),
\[
\mathcal WQ_\hbar(F)= \left(\tfrac{\hbar}{2i}\right)^{\deg(F)/2}\gamma(F),
\]
and for \(X\in\mathfrak X(M)\subset \mathcal O_2(\mathcal M)\),
\[
\mathcal WQ_\hbar(X)=\frac{\hbar}{2i}\left[\nabla_X^S+\frac12\Tr\nabla X\right].
\]
The quantization satisfies
\[
[\mathcal WQ_\hbar(F),\mathcal WQ_\hbar(G)] = \frac{\hbar}{i}\,\mathcal WQ_\hbar(\{F,G\})+O(\hbar^2),
\]
and defines a symmetric star product on \(\mathcal O(\mathcal M)\) [1410.3346]. Its main applications are to Courant algebroids and Dirac generating operators rather than to scalar pseudodifferential analysis on \(T^*M\).

## 6. Vector-bundle-valued Weyl calculus and physically important operators

The vector-bundle extension develops an intrinsic Weyl pseudodifferential calculus on a smooth oriented pseudo-Riemannian manifold \((M,g)\), with operators acting on sections of complex vector bundles endowed with pseudo-Hermitian fiber metrics and compatible connections [2507.11965]. Symbols are sections of pullback bundles \(\pi^*(E^*\otimes F)\) over \(T^*M\), and the construction depends on the Levi-Civita connection, the bundle connections, and a real parameter \(\gamma\) controlling the power of the Van Vleck–Morette determinant.

For \(\Psi\in\Gamma(F)\) and \(\Phi\in\Gamma(E)\), the Wigner function is a bundle-valued symbol
\[
W[\Psi,\Phi]\in \Gamma(T^*M,\pi^*(F^*\otimes E)),
\]
defined by a geodesic midpoint formula with parallel transport and the factor \(\Delta^{-\gamma}\). The corresponding Weyl operator is specified by dual pairing with this Wigner function, and its Schwartz kernel is
\[
A(x,y) = \Delta^{1-\gamma}(x,y)\chi(x,y) \int_{T^*_z M} \#1{x}{z}\, a(z,p)\, \#1{z}{y}\, e^{-\frac{i p \cdot u}{\epsilon}} \frac{d \mu_{T^*_z M}(p)}{(2 \pi \epsilon)^d},
\]
where \(z\) is the geodesic midpoint and \(u\) is the corresponding relative tangent vector. The inverse kernel-to-symbol map holds modulo smoothing symbols [2507.11965].

A central theorem is the curved bundle-valued analogue of the flat Weyl self-adjointness property:
\[
a=a^\dagger \mod \mathcal S^{-\infty} \qquad\Longleftrightarrow\qquad \hat A=\hat A^\dagger \mod \Psi^{-\infty}.
\]
For trivial line bundles this reduces to the statement that real Weyl symbols correspond to formally self-adjoint operators modulo smoothing terms [2507.11965].

The induced star product \(a\star b\) has an exact oscillatory formula involving geodesic triangles, a scalar geometric factor \(\Lambda(z,u_1,u_2)\), and bundle holonomy \(\mathbb H_z(\nabla^{\pi^*F})\). Its semiclassical expansion through third order is
\[
a\star b=\sum_{k=0}^3 \epsilon^k (a\star b)_k+\mathcal O(\epsilon^4),
\]
with
\[
(a \star b)_0 = ab,\qquad
(a \star b)_1 = \tfrac{i}{2}\left(a_\alpha b^\alpha-a^\alpha b_\alpha\right).
\]
At second and third order the expansion contains Ricci terms, Riemann terms involving \(p_\beta\), covariant derivatives of curvature, and bundle-curvature terms \(F_{\alpha\beta}\) and \(F_{\alpha\beta;\gamma}\). In flat space with trivial bundles and \(\gamma=\frac12\), these corrections vanish and the usual Moyal expansion is recovered [2507.11965].

This framework also gives explicit Weyl symbols for geometrically significant operators. For the scalar wave operator,
\[
d(z,p)= - \frac{1}{\epsilon^2} g^{\mu \nu}(z) p_{\mu} p_{\nu} +  \frac{\gamma}{3} R(z).
\]
For the Dirac operator \((i\epsilon \gamma^\mu \nabla_\mu-m)\psi\), the Weyl symbol is
\[
d(z,p)=-\gamma^\mu(z)p_\mu-m.
\]
The paper likewise computes symbols for the Maxwell operator, the linearized Yang–Mills operator, and the linearized Einstein operator around a vacuum Einstein background with cosmological constant \(\Lambda\) [2507.11965].

For \(\gamma=\frac12\), the Wigner function satisfies the corresponding Moyal equation. If \(\hat D\Phi=0\) and \(d(z,p)\) is the Weyl symbol of \(\hat D\), then
\[
\hat D\Phi=0 \qquad\Longleftrightarrow\qquad
d\star W[\Phi,\Phi]\in \mathcal S^{-\infty},
\]
and on globally geodesically convex manifolds, or in Minkowski space, this strengthens to
\[
d\star W[\Phi,\Phi]=0.
\]
The resulting calculus is intended for quantum field theory on curved spacetimes, semiclassical propagation, and kinetic theory, but it remains local near the diagonal in general [2507.11965].

## 7. Locality, pseudo-Riemannian specificity, and common misconceptions

The pseudo-Riemannian character of the subject is not incidental. It enters through indefinite metric tensors, Levi-Civita connections, geodesic midpoint constructions, the density factors \(|g|^{1/2}\) or \(|g|^{1/4}\), the Van Vleck–Morette determinant, and curvature corrections involving \(R^\rho{}_{\sigma\mu\nu}\) and \(R_{\mu\nu}\) [1806.01572][2507.11965]. It also changes the natural operators of interest: the kinetic symbol \(g^{\mu\nu}p_\mu p_\nu\) quantizes to a Laplace-Beltrami or d’Alembertian type operator rather than only to an elliptic Laplacian [1801.05183].

At the same time, most intrinsic constructions are local. The balanced geodesic calculus is canonical only on a geodesically convex neighborhood of the diagonal and uses a cutoff \(\chi\); many equivalences are asserted modulo smoothing terms \(O(\hbar^\infty)\), \(\Psi^{-\infty}\), or \(\mathcal S^{-\infty}\) [1806.01572][2507.11965]. This locality is especially important in pseudo-Riemannian geometry, where multiple geodesics, conjugate points, or the absence of a connecting geodesic are generic away from the diagonal [1806.01572].

A common misconception is to identify all curved-manifold symbol calculi with a direct Weyl pseudodifferential calculus on \(T^*M\). The literature here shows otherwise. The curved configuration-space Wigner formalism is explicitly Riemannian and chart-based [1309.5017]. The connection-and-exponential-map approach gives a geometric quantization of polynomial symbols and a distributional extension, but not a full modern Weyl calculus [1801.05183]. The supercotangent and degree-\(2\) graded-manifold constructions are highly relevant to spin and Clifford geometry, yet they quantize enlarged phase spaces and target spinor differential operators rather than scalar pseudodifferential operators on \(T^*M\) alone [1009.2271][1410.3346].

This suggests a precise taxonomy. The core Weyl theory on pseudo-Riemannian manifolds is the intrinsic midpoint quantization on \(T^*M\) built from geodesic geometry and Van Vleck balancing [1806.01572], together with its extension to bundle-valued symbols and arbitrary compatible bundle connections [2507.11965]. Around that core lie connection-based polynomial quantizations and super or graded extensions that preserve the Weyl idea of symmetric symbol-operator correspondence while adapting it to tensorial, spinorial, or generalized-geometric settings [1801.05183][1009.2271][1410.3346].

Source: https://www.emergentmind.com/topics/weyl-quantization-on-pseudo-riemannian-manifolds