nLab formal deformation quantization

Contents

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Symplectic geometry

Algebra

Noncommutative geometry

Formal geometry

Contents

Idea

The notion of formal deformation quantization (often taken to be the default notion of deformation quantization) is one formalization of the general idea of quantization of a classical mechanical system/classical field theory to a quantum mechanical system/quantum field theory, at least perturbatively in small (really: infinitesimal) values of Planck's constant \hbar.

Formal deformation quantization focuses on the algebras of observables of a physical system (hence on the Heisenberg picture): it provides rules for how to deform the commutative algebra of classical observables to a non-commutative algebra of quantum observables. (This is in contrast to geometric quantization, which focuses on the spaces of states and hence on the Schrödinger picture.)

Usually and traditionally, deformation quantization refers to (just) formal deformations, in the sense that it produces formal power series expansions in a formal parameter \hbar (physically: Planck's constant) of the product in the deformed algebra of observables.

classical mechanicssemiclassical approximationformal deformation quantizationquantum mechanics
𝒪( 0)\mathcal{O}(\hbar^0)𝒪( 1)\mathcal{O}(\hbar^1)𝒪( n)\mathcal{O}(\hbar^n)𝒪( )\mathcal{O}(\hbar^\infty)

(This is related to perturbation theory, which is about formal power series in coupling constants, instead of in Planck's constant.)

But there are refinements of this to C-star algebraic deformation quantization which studies the proper deformation to a genuine C-star algebra of observables. (This in turn is related to genuine geometric quantization via the notion of geometric quantization of symplectic groupoids.)

One can, therefore, argue that only strict deformation quantization is genuine quantization. For instance in (Gukov-Witten 09, section 1.4) it says

Generally speaking, physics is based on [[ strict ]] quantization, rather than [[ formal ]] deformation quantization, although conventional quantization sometimes leads to problems that can be treated by deformation quantization.

As other methods of quantization, deformation quantization has as input a description of a classical mechanical system, which is in this case most often a smooth Poisson manifold. The deformation quantization replaces the algebra of smooth functions on the Poisson manifold with the same vector space, but equipped with new noncommutative associative unital product whose commutator agrees, up to order \hbar, with the underlying Poisson bracket. Of course the proper study of quantization of Poisson manifolds studied the appropriate notion at the level of sheaves of algebras. Gluing local solutions to the quantization problem furthermore involves stacks and specifically gerbes.

Definition

If the result of deformation quantization is an algebra over the power series ring [[]]\mathbb{R}[ [ \hbar ] ] of a formal parameter \hbar (thought of as Planck's constant) such that the limit 0\hbar \to 0 reproduces the starting point of the deformation, then one speaks of

In much of the literature this is regarded as the default meaning of “deformation quantization”. But this is really the case corresponding to perturbation theory in quantum field theory. A “genuine” or “strict” deformation quantization

is supposed to result in a non-formal deformation, which in terms of the above formal power series at least means that one can set =1\hbar = 1 such that all expressions in \hbar converge, but which in general is taken to mean something stronger, such as that there is a continuous field of C-star algebraic deformation quantization.

Formal deformation quantization

We first give the traditional

of a Poisson manifold/Poisson algebra. Thought of in terms of physics this describes a quantization of a system of quantum mechanics, as opposed to full quantum field theory.

More abstractly, this may be formulated and generalized in terms of lifts of algebras over an operad over a P-n operad? to a BD-n operad? and hence an E-n operad, for n=1n = 1. This we discuss in

In this formulation one sees that for genral nn the construction applies to nn-dimensional quantum field theory (with quantum mechanics for n=1n = 1 be 1-dimensional quantum field theory, for instance the sigma-model “on the worldline” of a particle). A formulation of deformation quantization to local quantum field theory formulated in terms of factorization algebras of observables over spacetime/worldvolume is indicated in (Costello-Gwilliam, chapter 5).

Explicit definition of deformation of Poisson manifolds/Poisson algebras

Let MM be a Poisson manifold and let A=C (M)A = C^\infty(M) be the Poisson algebra of smooth functions.

Definition

A *\ast-product (star product) on AA is a product on the power series A[[t]]A [ [ t ] ] that is (1) bilinear over [[t]]\mathbb{R}[ [ t ] ], (2) associative, and (3) for a,bAa,b \in A it can be written out as a formal power series

a*b= n=0 B n(a,b)t n a \ast b = \sum_{n=0}^\infty B_n(a,b) t^n

where B nB_n are bilinear maps on AA such that B 0(a,b)=abB_0(a,b) = ab.

Definition

A (formal) deformation quantization of MM is a star product on A=C (M)A = C^\infty(M) such that the Poisson bracket {a,b}=B 1(a,b)B 1(b,a)\{a,b\} = B_1(a,b) - B_1(b,a) for a,bAa,b \in A; by bilinearity over [[t]]\mathbb{R}[ [ t ] ], this characterizes it.

Formulation as lifts from P nP_n-algebras to BD nBD_n-algebras and E nE_n-algebras

(…)

(Costello-Gwilliam, section 2.3, 2.4)

(…)

algebraic deformation quantization

dimensionclassical field theoryLagrangian BV quantum field theoryfactorization algebra of observables
general nnP-n algebraBD-n algebra?E-n algebra
n=0n = 0Poisson 0-algebraBD-0 algebra? = BD algebraE-0 algebra? = pointed space
n=1n = 1P-1 algebra = Poisson algebraBD-1 algebra?E-1 algebra? = A-∞ algebra

Deformation quantization in perturbative quantum field theory

Deformation quantization in perturbative quantum field theory is discussed for free field theory via Moyal deformation quantization yielding Wick algebras in (Dütsch-Fredenhagen 00, Hirschfeld-Henselder 02), and for interacting perturbative quantum field theory (perturbative AQFT) via Fedosov deformation quantization in (Collini 16), see also (Hawkins-Rejzner 16).

Strict deformation quantization

(…) C-star algebraic deformation quantization (…)

Properties

Existence results

Vladimir Drinfel'd has sketched a proof (and gave main ingredients) to show that every Poisson Lie group can be deformation quantized to a Hopf algebra; this proof has been completed by Etingof and Kazhdan. Maxim Kontsevich proved a certain formality theorem (formality is here in the sense of formal dg-algebra in rational homotopy theory) whose main corollary (and motivation) was the statement that every Poisson manifold has a deformation quantization (Kontsevich 97).

For symplectic manifolds and those Poisson manifolds that have a regular foliation by symplectic leafs, the theory of deformation quantization is much simpler; Boris Fedosov gave a construction of star products on symplectic manifolds using symplectic connections on smooth manifolds (Fedosov 94), see at Fedosov's deformation quantization. An analogous argument was given by Roman Bezrukavnikov and Dmitry Kaledin in the context of an algebraic symplectic form (BK 04).

Caution: the following are rough notes from a talk by J.D.S. Jones (Cambridge, 8.1.2013); there are probably many typos and sign errors.

Deformation of Poisson manifolds

Theorem

(Kontsevich). Every Poisson manifold has a (formal) deformation quantization.

This was shown in (Kontsevich 97). There the deformed product is constructed by a kind of Feynman diagram perturbation series. Later this was identified as the perturbation series of the Poisson sigma-model for the given Poisson manifold. See there for more details.

Deformation of Algebraic Varieties

(Not from the notes of J.D.S. Jones)

Let XX be a smooth algebraic variety over a field 𝕜\mathbb{k} of characteristic 00. The analogue of the HKR Theorem here is this:

Theorem

(Swan, Yekutieli). There is a canonical isomorphism

Ext X 2 i(𝒪 X,𝒪 X) qH iq(X, q(𝒯 X)). \operatorname{Ext}^i_{X^2}(\mathcal{O}_X, \mathcal{O}_X) \cong \bigoplus_q \operatorname{H}^{i - q}(X, \bigwedge^q (\mathcal{T}_X)) .

Here 𝒯 X\mathcal{T}_X is the tangent sheaf of XX, and XX is embedded diagonally in X 2X^2.

This is a consequence of the following result. Let 𝒞 cd,X\mathcal{C}_{cd, X} be the sheaf of continuous Hochschild cochains of XX. It is a bounded below complex of quasi-coherent 𝒪 X 2\mathcal{O}_{X^2}-modules.

Theorem

(Yekutieli).

  1. There is a canonical isomorphism

    Rℋℴ𝓂 X 2(𝒪 X,𝒪 X)𝒞 cd,X \operatorname{R} \mathcal{Hom}_{X^2}(\mathcal{O}_X, \mathcal{O}_X) \cong \mathcal{C}_{cd, X}

    in the derived category of 𝒪 X 2\mathcal{O}_{X^2}-modules.

  2. There is a canonical quasi-isomorphism of complexes of 𝒪 X 2\mathcal{O}_{X^2}-modules

    q q(𝒯 X)[q]𝒞 cd,X. \bigoplus_q \bigwedge^q (\mathcal{T}_X)[-q] \to \mathcal{C}_{cd, X} .
  3. Therefore there is a canonical isomorphism

    Rℋℴ𝓂 X 2(𝒪 X,𝒪 X) q q(𝒯 X)[q] \operatorname{R} \mathcal{Hom}_{X^2}(\mathcal{O}_X, \mathcal{O}_X) \cong \bigoplus_q \bigwedge^q (\mathcal{T}_X)[-q]

    in the derived category of 𝒪 X 2\mathcal{O}_{X^2}-modules.

The relation to deformation quantization is this: 𝒞 cd,X\mathcal{C}_{cd, X} is a shift by 11 of the sheaf of 𝒟 poly,X\mathcal{D}_{poly, X} of polydifferential operators (viewed only as a complex of quasi-coherent 𝒪 X 2\mathcal{O}_{X^2}-modules). Similarly, q q(𝒯 X)[q]\bigoplus_q \bigwedge^q (\mathcal{T}_X)[-q] is the shift by 11 of the sheaf 𝒯 poly,X\mathcal{T}_{poly, X} of polyvector fields. Thus item 2 in the theorem above says that there is a canonical 𝒪 X 2\mathcal{O}_{X^2}-linear quasi-isomorphism

𝒯 poly,X𝒟 poly,X. \mathcal{T}_{poly, X} \to \mathcal{D}_{poly, X} .

Trying to replicate the global formality theorem of Kontsevich, one would like to upgrade this to an L \mathrm{L}_{\infty} quasi-isomorphism. However, it seems that in general this cannot be done directly, but only after a suitable resolution.

Here is the result. (See also Van den Bergh.) Any quasi-coherent sheaf \mathcal{M} on XX admits a canonical flasque resolution called the mixed resolution:

Mix(). \mathcal{M} \to \operatorname{Mix}(\mathcal{M}) .

This “mixes” the jet resolution with the Cech resolution (corresponding to an affine open covering of XX that we suppress). In particular there are quasi-isomorphisms of sheaves of DG Lie algebras

𝒯 poly,XMix(𝒯 poly,X) \mathcal{T}_{poly, X} \to \operatorname{Mix}(\mathcal{T}_{poly, X})

and

𝒟 poly,XMix(𝒟 poly,X). \mathcal{D}_{poly, X} \to \operatorname{Mix}(\mathcal{D}_{poly, X}) .
Theorem

(Yekutieli). There is an L \mathrm{L}_{\infty} quasi-isomorphism

Ψ:Mix(𝒯 poly,X)Mix(𝒟 poly,X) \Psi : \operatorname{Mix}(\mathcal{T}_{poly, X}) \to \operatorname{Mix}(\mathcal{D}_{poly, X})

whose 11-st order term commutes with the HKR quasi-isomorphism above. It is independent of choices up to quasi-isomorphism.

A Poisson deformation of 𝒪 X\mathcal{O}_X is a sheaf 𝒜\mathcal{A} of Poisson 𝕜[[]]\mathbb{k}[[\hbar]]-algebras on XX, with an isomorphism 𝕜 𝕜[[]]𝒜𝒪 X\mathbb{k} \otimes_{\mathbb{k}[[\hbar]]} \mathcal{A} \cong \mathcal{O}_X called an augmentation. Likewise an associative deformation of 𝒪 X\mathcal{O}_X is a sheaf 𝒜\mathcal{A} of associative unital (but noncommutative) 𝕜[[]]\mathbb{k}[[\hbar]]-algebras on XX, with an augmentation to 𝒪 X\mathcal{O}_X.

Theorem 4 implies:

Theorem

(Yekutieli). Assume that the cohomology groups H 1(X,𝒪 X)\operatorname{H}^{1}(X, \mathcal{O}_X) and H 2(X,𝒪 X)\operatorname{H}^{2}(X, \mathcal{O}_X) vanish. Then there is a canonical bijection

quant:{ Poisson deformations of𝒪 X}isomorphism{ associative deformations of𝒪 X}isomorphism \mathrm{quant} : \quad \frac{ \{ \text{ Poisson deformations of} \; \mathcal{O}_X \} }{\text{isomorphism}} \quad \xrightarrow{\, \simeq \,} \quad \frac{ \{ \text{ associative deformations of} \; \mathcal{O}_X \} }{\text{isomorphism}}

called quantization. It preserves first order brackets.

When XX is affine this is Theorem 0.1 of this paper. For the full statement see Corollary 11.2 of this paper.

For twisted (or stacky) deformations there is a corresponding (but much more difficult to state and prove). See the paper and the survey.

Gerstenhaber’s deformation theory by Hochschild (co)homology

Let VV be a kk-vector space and consider C p(V,V)=Hom(V p,V)C^p(V,V) = \Hom(V^{\otimes p}, V). We define a “circle operator” \circ as follows: for fC p(V,V)f \in C^p(V,V) and gC q(V,V)g \in C^q(V,V), we define fgC p+q1(V,V)f \circ g \in C^{p+q-1}(V,V) as the map

(fg)(v 1,v p+q1)=f(v 1,,v i1,g(v i,,v i+q1),v i+q,,v p+q1). (f \circ g)(v_1, \ldots v_{p+q-1}) = f(v_1, \ldots, v_{i-1}, g(v_i, \ldots, v_{i+q-1}), v_{i+q}, \ldots, v_{p+q-1}).

For fC *(V,V)f \in C^\ast(V,V), let A f(g,h)=(fg)hf(gh)A_f(g,h) = (f \circ g) \circ h - f \circ (g \circ h). (This is graded symmetric.) It follows that the commutator of \circ is given by

[f,g]=fg(1) (|f|1)(|g|1)gf [f,g] = f \circ g - (-1)^{(|f| - 1)(|g|-1)} g \circ f

where |f|=p|f| = p when fC p(V,V)f \in C^p(V,V). This defines a graded Lie bracket of degree -1.

Example

Let μC 2(V,V)\mu \in C^2(V,V) (μ:VVV\mu : V \otimes V \to V). Note that μ\mu is associative iff μμ=0\mu \circ \mu = 0 iff [μ,μ]=0[\mu, \mu] = 0. Let d μ:C p(V,V)C p+1(V,V)d_\mu : C^{p}(V,V) \to C^{p+1}(V,V) be defined by d μ(x)=μx±xμ=[μ,x]d_\mu(x) = \mu \otimes x \pm x \otimes \mu = [\mu, x]. We have d μd μ=0d_\mu \circ d_\mu = 0 so (C *(V,V),d μ)(C^\ast(V,V), d_\mu) becomes a differential graded algebra. In fact this is the Hochschild cochain complex of the associative algebra A=(V,μ)A = (V, \mu).

Apply this example to the construction of deformation quantization. The star product is uniquely determined by θ:AAA[[t]]\theta : A \otimes A \to A[ [ t ] ] given by θ(a,b)=ab+c(a,b)\theta(a,b) = ab + c(a,b). What we want is that

(μ+c)(μ+c)=0; (\mu + c) \otimes (\mu + c) = 0;

write this out and we get the equation

d μc+cc=0, d_\mu c + c \circ c = 0,

or d μc+12[c,c]=0d_\mu c + \frac{1}{2}[c,c] = 0; this is the Maurer-Cartan equation. Hence we are looking for solutions of the M-C equation but in the Hochschild complex C *(A,A)[[t]]C^\ast(A,A)[ [ t ] ]. One should note that d μd_\mu is actually a derivation of the Lie bracket, hence we have a dg-Lie algebra.

Theorem

(HKR theorem). HH p(A,A)=Γ(M,Λ pTM)HH^p(A,A) = \Gamma(M, \Lambda^p TM).

(Note that C p(C (M),C (M))C^p(C^\infty(M),C^\infty(M)) should be interpreted as Hom diff(C (M),C (M))\Hom_{diff}(C^\infty(M), C^\infty(M)).) Under this isomorphism the Poisson bracket is mapped to the Poisson tensor:

{,}HH 2(A,A)PΓ(M,Λ 2TM). \{ \cdot , \cdot \} \in HH^2(A,A) \quad \mapsto \quad P \in \Gamma(M, \Lambda^2 TM).

The bracket in Hochschild cohomology (Gerstenhaber bracket) goes to the Schouten bracket:

[,] G[,] S. [ \cdot , \cdot ]_G \quad \mapsto \quad [ \cdot, \cdot ]_S.

For vector fields ξ\xi and η\eta, the Schouten bracket satisfies (1) [ξ,η] S=[ξ,η][\xi,\eta]_S = [\xi,\eta] (the Lie bracket), and (2) [α,βγ]=[α,β]γ±[α,γ]β[\alpha, \beta \wedge \gamma] = [\alpha,\beta] \wedge \gamma \pm [\alpha,\gamma] \wedge \beta; note that this completely determines it (everything is locally given by wedges…).

In the Hochschild cohomology HH *(A,A)HH^\ast(A,A) of AA, d μP0d_\mu P \mapsto 0 and [P,P] S=0[P,P]_S = 0, so we have a solution to M-C in H *(A,A)[[t]]H^\ast(A,A)[ [ t ] ].

In terms of differential graded Lie algebras

Definition

Let L 1L_1 and L 2L_2 be differential graded Lie algebras (dgL). A quasi-isomorphism f:L 1L 2f : L_1 \to L_2 is a homomorphism of dgLs that induces an isomorphism on homology. L 1L_1 and L 2L_2 are quasi-isomorphic if there exists MM with quasi-isomorphisms L 1ML 2L_1 \leftarrow M \rightarrow L_2. It can be verified that this is an equivalence relation.

Theorem

(Kontsevich). If L 1L_1 is quasi-isomorphic to L 2L_2 then there is a solution to the M-C equation in L 1L_1 iff there is a solution to the M-C equation in L 2L_2.

Theorem

(Kontsevich formality). C *(A,A)[[t]]C^\ast(A,A)[ [ t ] ] is quasi-isomorphic to H *(A,A)[[t]]H^\ast(A,A)[ [ t ] ]. (A=C (M)A = C^\infty(M))

Hence there is a solution to M-C in C *(A,A)[[t]]C^\ast(A,A)[ [ t ] ], and hence there is a deformation quantization (!).

The Deligne conjecture

We have (C *(A,A),d μ)(C^*(A,A), d_\mu), the Gerstenhaber bracket, and we also have a cup product

(fg)(a 1,,a p+q)=μ(f(a 1,,a p),g(a p+1,,a p+q)) (f \cup g) (a_1, \ldots, a_{p+q}) = \mu(f(a_1,\ldots,a_p), g(a_{p+1},\ldots,a_{p+q}))

for f:A pAf : A^{\otimes p} \to A, g:A qAg : A^{\otimes q} \to A; this satisfies also d μ(fg)=(d μf)g±fd μgd_\mu(f \cup g) = (d_\mu f) \cup g \pm f \cup d_\mu g. The Deligne conjecture gives a relationship between these things.

In HH *(A,A)HH^*(A,A), we have:

  1. [,][\cdot, \cdot] is a graded Lie bracket of degree -1.
  2. The cup product \cup is graded commutative.
  3. The Jacobi identity for [,][\cdot,\cdot].
  4. [a,bc]=[a,b]c±[a,c]b[a, b \cup c] = [a,b] \cup c \pm [a,c] \cup b.

Such a thing is called a Gerstenhaber algebra. Note that we do not have these relations in C *(A,A)C^*(A,A), they are only true modulo boundaries.

Theorem

(Deligne conjecture). C *(A,A)C^*(A,A) is a G G_\infty-algebra, which is a Gerstenhaber algebra up to coherent homotopy.

Deformation by universal enveloping algebras

It is a classical fact [Gutt 1983, §4 (4.2), cf. Gutt 2011, §2.2] that the universal enveloping algebra of a Lie algebra provides a deformation quantization of the corresponding Lie-Poisson structure (example below). Remarkably, this statement generalizes to more general polynomial Poisson algebras (def. below) for a suitable generalized concept of universal enveloping algebra (def. below): it is always true up to third order in \hbar, and sometimes to higher order (Penkava-Vanhaecke 00, theorem 3.2, prop. below). In particular it also holds true for restrictions of Poisson bracket Lie algebras to their Heisenberg Lie algebras (example below).

Definition

(polynomial Poisson algebra)

A Poisson algebra ((A,),{,})((A,\cdot), \{-,-\}) is called a polynomial Poisson algebra if the underlying commutative algebra (A,)(A,\cdot) is a polynomial algebra, hence a symmetric algebra

Sym(V)T(V)/(xyyx|x,yV) Sym(V) \coloneqq T(V)/(x \otimes y - y \otimes x \vert x,y \in V)

on some vector space VV. Here

T(V)nV n T(V) \coloneqq \underset{n \in \mathbb{N}}{\oplus} V^{\otimes^n}

denotes the tensor algebra of VV. We write

μ:T(V)Sym(V) \mu \;\colon\; T(V) \longrightarrow Sym(V)

for the canonical projection map (which is an algebra homomorphism) and

σ:Sym(V)T(V) \sigma \;\colon\; Sym(V) \longrightarrow T(V)

for its linear inverse (symmetrization, which is not in general an algebra homomorphism).

Notice that by its bi-derivation property the Poisson bracket on a polynomial Poisson algebra is fixed by its restriction to linear elements

{,}:VVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow Sym(V) \,.
Example

(polynomial Lie-Poisson structure)

Let (C ( n),π)(C^\infty(\mathbb{R}^n), \pi) be a Poisson manifold whose underlying manifold is a Cartesian space n\mathbb{R}^n. Then the restriction of its Poisson algebra (C ( n,),π ij i() j())( C^\infty(\mathbb{R}^n, \cdot), \pi^{i j} \partial_i(-) \cdot \partial_j(-) ) to the polynomial functions [x 1,,x n]ookrightarrowC ( n)\mathbb{R}[x^1, \cdots, x^n ] \ookrightarrow C^\infty(\mathbb{R}^n) is a polynomial Poisson algebra according to def. .

In particular if (𝔤,[,])(\mathfrak{g}, [-,-]) is a Lie algebra and (𝔤 *,{,})(\mathfrak{g}^\ast, \{-,-\}) the corresponding Lie-Poisson manifold, then the corresponding polynomial Poisson algebra is (Sym(𝔤),{,})(Sym(\mathfrak{g}), \{-,-\}) where the restriction of the Poisson bracket to linear polynomial elements coincides with the Lie bracket:

{x,y}=[x,y]. \{x,y\} = [x,y] \,.
Definition

(universal enveloping algebra of polynomial Poisson algebra)

Given a polynomial Poisson algebra (Sym(V),{,})(Sym(V), \{-,-\}) (def. ), say that its universal enveloping algebra 𝒰(V,{,})\mathcal{U}(V,\{-,-\}) is the associative algebra which is the quotient of the tensor algebra of VV with a formal variable \hbar adjoined by the two-sided ideal which is generated by the the \hbar-Poisson bracket relation on linear elements:

𝒰(V,{,})T(V)/(xyyx{x,y}|x,yV). \mathcal{U}(V,\{-,-\}) \;\coloneqq\; T(V)/( x \otimes y - y \otimes x - \hbar \{x,y\} \vert x,y \in V ) \,.

This comes with the quotient projection linear map which we denote by

ρ:T(V)[[]]𝒰(V,{,}). \rho \;\colon\; T(V)[ [ \hbar ] ] \longrightarrow \mathcal{U}(V,\hbar\{-,-\}) \,.

(Penkava-Vanhaecke 00, def. 3.1)

Example

(universal enveloping algebra of Lie algebra)

In the case of a polynomial Lie-Poisson structure (Sym(𝔤),[,])(Sym(\mathfrak{g}), [-,-]) (example ) the universal enveloping algebra 𝒰(𝔤,[,])\mathcal{U}(\mathfrak{g},[-,-]) from def. (for =1\hbar = 1) coincides with the standard universal enveloping algebra of the Lie algebra (𝔤,[,])(\mathfrak{g}, [-,-]).

The combined linear projection maps from def. and def. we denote by

τρ(σ/[[]]):Sym(V)[[]]𝒰(V,{,}). \tau \coloneqq \rho \circ (\sigma/[ [ \hbar ] ]) \;\colon\; Sym(V)[ [ \hbar ] ] \longrightarrow \mathcal{U}(V,\{-,-\}) \,.
Proposition

(universal enveloping algebra provides formal deformation quantization at least up to order 3)

Let (Sym(V),{,})( Sym(V), \{-,-\} ) be a polynomial Poisson algebra (def. ) such that the canonical linear map to its universal enveloping algebra (def. ) is injective up to order n{}n \in \mathbb{N}\cup \{\infty\}

τ/( n+1):Sym(V)[[]]/( n+1)𝒰(V,{,})/( n+1). \tau/(\hbar^{n+1}) \;\colon\; Sym(V)[ [ \hbar ] ]/(\hbar^{n+1}) \hookrightarrow \mathcal{U}(V,\hbar\{-,-\})/(\hbar^{n+1}) \,.

Then the restriction of the product on 𝒰(V,{,})/( n+1)\mathcal{U}(V,\hbar\{-,-\})/(\hbar^{n+1}) to Sym(V)/( n+1)Sym(V)/(\hbar^{n+1}) is a formal deformation quantization of (Sym(V),{,})(Sym(V), \{-,-\}) to order nn (hence a genuine deformation quantization in the case that n=n = \infty).

Moreover, this is always the case for n=3n = 3, hence for every polynomial Poisson algebra its universal enveloping algebra always provides a deformation quantization of order 33 in \hbar.

(Penkava-Vanhaecke 00, theorem 3.2 with section 2)

Example

(formal deformation quantization of Lie-Poisson structures by universal enveloping algebras)

In the following cases the map τ\tau in prop. is injective to arbitrary order, hence in these cases the universal enveloping algebra provides a genuine formal deformation quantization:

  1. The case that the Poisson bracket is linear in that it restricts as

    {,}:VVVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow V \hookrightarrow Sym(V) \,.

    This is the case of the Lie-Poisson structure from example and the universal enveloping algebra that provides its deformation quantization is the standard one (example ).

  2. More generally, the case that the Poisson bracket restricted to linear elements has linear and constant contribution in that it restricts as

    {,}:VVVSym(V). \{-,-\} \;\colon\; V \otimes V \longrightarrow \mathbb{R} \oplus V \hookrightarrow Sym(V) \,.

    This includes notably the Poisson structures induced by symplectic vector spaces, in which case the restriction

    {,}:(V)(V)(V) \{-,-\} \;\colon\; (\mathbb{R} \oplus V) \otimes (\mathbb{R} \oplus V) \longrightarrow (\mathbb{R} \oplus V)

    is the Lie bracket of the associated Heisenberg Lie algebra.

This is Penkava & Vanhaecke 2000, p. 26. The first statement in itself is a classical fact (reviewed e.g. in Gutt 2011).

Motivic Galois group action on the space of quantizations

In (Kontsevich 99) it was indicated that a quotient group of the motivic Galois group apparently equivalent to the Grothendieck-Teichmüller group naturally acts on the space of formal deformation quantizations of a finite dimensional manifold. See also at cosmic Galois group.

This has been formalized as follows. The formal deformation quantization of (Kontsevich 97) is all induced by the Kontsevich formality theorem, which states that over suitable manifolds/varieties XX there is an equivalence of L-∞ algebras

𝒳(X)C (X) \mathcal{X}(X) \stackrel{\simeq}{\to} C^\bullet(X)

identifying the multivector fields on XX with the Hochschild cohomology complex (of its function algebra). Every choice of such an equivalence induces one formal deformation quantization of a Poisson manifold XX, and the two quantizations induced by two equivalent (homotopic) equivalences are in turn equivalent.

Therefore one may regard the ∞-groupoid Maps equiv L (𝒳(X),C (X))Maps^{L_\infty}_{equiv}(\mathcal{X}(X), C^\bullet(X)) as the “space of formal deformation quantizations” of XX.

In (Dolgushev 1109, theorem 6.2, Dolgushev 1111, theorem 3.1) it is shown that the set π 0Maps equiv L (𝒳(X),C (X))\pi_0 Maps^{L_\infty}_{equiv}(\mathcal{X}(X), C^\bullet(X)) of connected components of this space is, up to a choice of basepoint, the Grothendieck-Teichmüller group, hence is a torsor over that group.

(This is based on identifications of the GRT Lie algebra with the degree-0 chain cohomology of the graph complex, due to Thomas Willwacher. See at Grothendieck-Teichmüller group – relation to the graph complex.

Aspects of the generalization of this statement to more general spaces then n\mathbb{R}^n are discussed in Dolgushev-Rogers-Willwacher 12.

For discussion of motivic structures in geometric quantization see at motivic quantization.

Examples

duality between \;algebra and geometry

A\phantom{A}geometryA\phantom{A}A\phantom{A}categoryA\phantom{A}A\phantom{A}dual categoryA\phantom{A}A\phantom{A}algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand-KolmogorovAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A}A\phantom{A}comm. C-star-algebraA\phantom{A}
A\phantom{A}noncomm. topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A}A\phantom{A}general C-star-algebraA\phantom{A}
A\phantom{A}algebraic geometryA\phantom{A}A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A}A\phantom{A}almost by def.TopAlg fin op\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{fin} A\phantom{A}A\phantom{A}fin. gen.A\phantom{A}
A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}noncomm. algebraicA\phantom{A}
A\phantom{A}geometryA\phantom{A}
A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A}A\phantom{A}fin. gen.
A\phantom{A}associative algebraA\phantom{A}A\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A}A\phantom{A}Milnor's exerciseTopAlg comm op\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperSpaces Cart n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A}A\phantom{A}Milnor's exercise Alg 2AAAA op C ( n) q\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A}A\phantom{A}supercommutativeA\phantom{A}
A\phantom{A}superalgebraA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}
A\phantom{A}(super Lie theory)A\phantom{A}
ASuperL Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}AALada-MarklA sdgcAlg op CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}A\phantom{A}differential graded-commutativeA\phantom{A}
A\phantom{A}superalgebra
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}algebraA\phantom{A}A\phantom{A}geometryA\phantom{A}
A\phantom{A}Poisson algebraA\phantom{A}A\phantom{A}Poisson manifoldA\phantom{A}
A\phantom{A}deformation quantizationA\phantom{A}A\phantom{A}geometric quantizationA\phantom{A}
A\phantom{A}algebra of observablesA\phantom{A}space of statesA\phantom{A}
A\phantom{A}Heisenberg pictureA\phantom{A}Schrödinger pictureA\phantom{A}
A\phantom{A}AQFTA\phantom{A}A\phantom{A}FQFTA\phantom{A}
A\phantom{A}higher algebraA\phantom{A}A\phantom{A}higher geometryA\phantom{A}
A\phantom{A}Poisson n-algebraA\phantom{A}A\phantom{A}n-plectic manifoldA\phantom{A}
A\phantom{A}En-algebrasA\phantom{A}A\phantom{A}higher symplectic geometryA\phantom{A}
A\phantom{A}BD-BV quantizationA\phantom{A}A\phantom{A}higher geometric quantizationA\phantom{A}
A\phantom{A}factorization algebra of observablesA\phantom{A}A\phantom{A}extended quantum field theoryA\phantom{A}
A\phantom{A}factorization homologyA\phantom{A}A\phantom{A}cobordism representationA\phantom{A}

Examples of sequences of local structures

geometrypointfirst order infinitesimal\subsetformal = arbitrary order infinitesimal\subsetlocal = stalkwise\subsetfinite
\leftarrow differentiationintegration \to
smooth functionsderivativeTaylor seriesgermsmooth function
curve (path)tangent vectorjetgerm of curvecurve
smooth spaceinfinitesimal neighbourhoodformal neighbourhoodgerm of a spaceopen neighbourhood
function algebrasquare-0 ring extensionnilpotent ring extension/formal completionring extension
arithmetic geometry𝔽 p\mathbb{F}_p finite field p\mathbb{Z}_p p-adic integers (p)\mathbb{Z}_{(p)} localization at (p)\mathbb{Z} integers
Lie theoryLie algebraformal grouplocal Lie groupLie group
symplectic geometryPoisson manifoldformal deformation quantizationlocal strict deformation quantizationstrict deformation quantization

References

The concept of formal deformation quantization originates with:

Review:

See also:

Monographs:

The Fedosov deformation quantization prescription for deformation quantization of symplectic manifolds and varieties and also of Poisson manifolds that have a regular foliation by symplectic leaves is discussed in

  • Boris Fedosov, Formal quantization, Some Topics of Modern Mathematics and their Applications to Problems of Mathematical Physics (in Russian), Moscow (1985), 129-136.

  • Boris Fedosov, Index theorem in the algebra of quantum observables, Sov. Phys. Dokl. 34 (1989), 318-321.

  • Boris Fedosov, A simple geometrical construction of deformation quantization J. Differential Geom. Volume 40, Number 2 (1994), 213-238. (EUCLID)

For algebraic forms this is discussed in

More discussion of this approach is in

A direct and general formula for the deformation quantization of any Poisson manifold was given in

see also

  • Peter Banks, Erik Panzer, Brent Pym, Multiple zeta values in deformation quantization (arXiv:1812.11649)

This secretly uses the Poisson sigma-model (see there for more details) induced by the given target Poisson Lie algebroid.

A popular exposition of formal deformation quantization with emphasis of the stringy Poisson sigma-model-construction:

The classification of the space of such formal deformation quantization is discussed in

Deformation quantization of polynomial Poisson algebras via universal enveloping algebra (generalizing that of Lie-Poisson structures) is discussed in

Deformation quantization of algebraic varieties is in

  • Amnon Yekutieli, Deformation Quantization in Algebraic Geometry, Advances in Mathematics 198 (2005) 383-432.

    Erratum: Advances in Mathematics 217 (2008) 2897-2906.

See also

Deformation quantization in perturbative quantum field theory is discussed for free field theory is due to

  • Joseph Dito, Star-product approach to quantum field theory: The free scalar field. Letters in Mathematical Physics, 20(2):125–134, 1990 (spire)

and further expanded on in

and for interacting perturbative quantum field theory (perturbative AQFT) in

The relation to geometric quantization is discussed in

and some remarks on the relation are also in section 1.4 of

which is about quantization via the A-model.

The formulation of deformation quantization as lifts from P-n operads? over BD-n operads? to E-n operads is discussed in section 2.3 and 2.4 of

See also

  • Wikipedia

  • F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, D. Sternheimer, Quantum mechanics as a deformation of classical mechanics, Lett. Math. Phys. 1 (1975/77), MR674337, doi; Deformation theory and quantization. I. Deformations of symplectic structures, Ann. Physics 111 (1978), no. 1, 61–110, MR496157; Deformation theory and quantization. II. Physical applications, Ann. Physics 111 (1978), no. 1, 111–151, MR496158

  • M. Flato, A. Lichnerowicz, D. Sternheimer, Deformations of Poisson brackets, Dirac brackets and applications, J. Math. Phys. 17 (1976), no. 9, 1754–1762, MR420723, doi

  • D. Arnal, J.-C. Cortet, *\ast-products in the method of orbits for nilpotent groups, J. Geom. Phys. 2 (1985), no. 2, 83–116, doi

On the stack of deformation quantizations:

The action of a motivic Galois group (“cosmic Galois group”) on the space of deformation quantization was observed in

See also at motives in physics.

Last revised on November 30, 2023 at 13:39:26. See the history of this page for a list of all contributions to it.