| deformation quantization | |
|---|---|
| Name | Deformation quantization |
| Field | Mathematical physics |
| Introduced | 1970s |
| Founders | Bayen–Flato–Frønsdal–Lichnerowicz–Sternheimer (program) |
| Key people | Maxim Kontsevich, Flato, Sternheimer, Bayen, Lichnerowicz, Moshé Flato |
| Notable results | Kontsevich formality theorem, Weyl quantization, Moyal product |
deformation quantization
Deformation quantization is a formalism in Mathematical physics that constructs a quantum algebra of observables by deforming the commutative algebra of classical observables on a phase space into a noncommutative associative algebra. It matters in Quantum mechanics and Quantum field theory because it provides a bridge between classical Hamiltonian mechanics and operator-based quantizations (such as Weyl quantization and canonical quantization), clarifies the role of the Poisson bracket and yields explicit computational tools like the Moyal product.
Deformation quantization originated in the 1970s in a program initiated by Bayen–Flato–Frønsdal–Lichnerowicz–Sternheimer which proposed deforming the pointwise product of functions on phase space into a noncommutative product parameterized by Planck's constant ħ. Early concrete examples include the Weyl quantization and the Moyal product introduced by H. J. Groenewold and José Enrique Moyal. The subject matured through contributions by Moshé Flato, Daniel Sternheimer, and Alain Lichnerowicz and achieved a major milestone with Maxim Kontsevich's 1997 Kontsevich formality theorem proving existence and classification of star products on general Poisson manifolds. Deformation quantization interacts with representation theory (e.g., C*-algebra approaches), symplectic geometry, and mathematical aspects of quantum field theory.
At its core deformation quantization is concerned with formal associative deformations of the commutative algebra C^{\infty}(M) of smooth functions on a manifold M, equipped with a Poisson bracket {·,·}. A star product ⋆ is an associative product on the space C^{\infty}(M)ħ of formal power series in ħ of the form f ⋆ g = fg + ∑_{k≥1} ħ^k B_k(f,g) where B_k are bidifferential operators and the first-order commutator reproduces the Poisson bracket: (f ⋆ g − g ⋆ f)/(2iħ) = {f,g} + O(ħ). Existence and classification are controlled by cohomological tools such as the Hochschild cohomology of algebras and the Poisson cohomology of M. The Kontsevich formality theorem provides an L∞ quasi-isomorphism between the Lie algebra of polyvector fields and the Hochschild complex, giving a universal formula for star products on arbitrary Poisson manifolds. In the symplectic case, the Fedosov quantization constructs explicit star products using connections and curvature in the framework of symplectic geometry.
Canonical examples include the Moyal–Weyl star product on flat phase space R^{2n}, which recovers the standard Weyl transform and the Heisenberg commutation relations. On a symplectic manifold, Fedosov’s construction yields families of star products parameterized by formal series in ħ and cohomology classes in H^2_{dR}(M)ħ. The Berezin–Toeplitz quantization on Kähler manifolds relates deformation quantization to geometric quantization and Toeplitz operators. Kontsevich’s universal star product provides explicit formulae expressed as sums over graphs and integrals of configuration space forms; these graphs connect to techniques used in perturbative quantum field theory and Feynman diagrams. Other notable constructions involve Rieffel deformation for C*-algebras and Drinfeld twists in the theory of quantum groups.
Deformation quantization complements canonical operator quantization: the algebra (C^{\infty}(M)ħ, ⋆) can often be represented on Hilbert spaces producing operator algebras isomorphic to those obtained by canonical quantization procedures. The symbol calculus (e.g., Weyl symbols) maps operators to functions with a star product encoding operator composition. In contexts tied to path integral methods, Kontsevich’s formality has been interpreted via perturbative expansion of certain topological sigma models; work by Cattaneo and Felder related the formality map to the perturbative Poisson sigma model, connecting deformation quantization to path integral techniques and to concepts used in perturbative quantum field theory.
In physics, deformation quantization provides tools for semiclassical analysis, the study of quantum corrections, and quantization on curved phase spaces where canonical methods are problematic. It appears in studies of quantum integrable systems, noncommutative geometry approaches to quantum gravity and in effective descriptions of quantum Hall effect and deformation-based models of string theory backgrounds with B-fields. In mathematics it has deep implications for symplectic topology, index theory (via star products and trace densities), representation theory of Lie algebras, and the development of noncommutative geometry frameworks such as those inspired by Alain Connes. Deformation techniques also interface with categorical approaches like A∞-algebras and homological mirror symmetry.
Deformation quantization formalizes the transition from classical to quantum by treating ħ as a deformation parameter and encoding quantum corrections order-by-order in ħ; in the limit ħ → 0 the star product reduces to the classical pointwise product and the commutator to the Poisson bracket, making the correspondence principle explicit. Semiclassical expansions, WKB-type approximations, and trace formulas can be analyzed within the deformation framework to study spectral asymptotics and quantum-classical correspondence on curved phase spaces. The formal nature of many constructions (power series in ħ) raises questions about convergence and analytic continuation; in practice one often works with formal deformation classes, strict deformation quantizations for C*-algebras, or asymptotic expansions tied to physical regimes. Category:Mathematical physics