∞-Lie theory (higher geometry)
Formal Lie groupoids
Traditional geometric quantization applies to symplectic manifolds but not to Poisson manifolds. However, every Poisson manifold can be regarded as a symplectic Lie n-algebroid: a Poisson Lie algebroid. This is symplectic, in higher symplectic geometry. Its Lie integration is a symplectic groupoid.
There is an generalization of the machinery of geometric quantization to symplectic groupoids which hence provides a geometric quantization of Poisson manifolds.
Geometric prequantization of a symplectic groupoid
Formulated in the language of higher differential geometry, what is traditionally called a prequantization of a symplectic groupoid (see Hawkins, section 4.2) is a morphism of smooth 2-groupoids
to the moduli 2-stack of circle 2-bundles with 1-form connection, such that this 2-connection is trivial on the underlying Poisson manifold
(hgp 13, Bongers 13 Nuiten 13) and such that the image of in Lie algebroid cohomology (hence in Poisson cohomology) is the given Poisson bitensor .
By (FRS 11, based on FSS 10) the Lie algebroid cocycle
directly Lie integrates to a morphism of smooth 2-groupoids of the form
which is a cocycle in degree-3 ordinary differential cohomology on the differential refinement of the symplectic groupoid by Lie algebroid valued differential forms (the moduli stack of the 2d Chern-Simons theory induced by the cocycle), with coefficients in the quotient group , where is the group of periods of
For this hence yields
This integrality condition is the one that appears in the traditional literature as (Bonechi-Cattaneo-Zabzine 05, (1.7)-(1.11)) based on (Crainic-Zhu 04, theorem 3).
Forgetting the differential refinement and the principal 2-connection structure we get an underlying circle 2-group-principal 2-bundle on the symplectic groupoid, modulated by
That this coincides with the one in the traditional literature can be seen fairly explicitly for instance from (Bonechi-Cattaneo-Zabzine 05, remark 3).
Notice that given a symplectic groupoid , the symplectic form defines a class in degree-3 de Rham cohomology .
(Notice that, while this is typically expressed as a 2-form on , this represents indeed a degree-3 cocycle in the simplicial de Rham complex of the nerve of ).
We say that is integral if it is in the image of the curvature map
from the ordinary differential cohomology of . If this is the case, we say that a lift of to , hence to the 2-groupoid of circle 2-bundles with connection over , is a prequantum line bundle for .
Notice that this traditional terminology is off by one: the underlying is a circle 2-group-principal 2-bundle on .
Polarization of a symplectic groupoid
(Hawkins, section 4.3)
Geometric quantization of a symplectic groupoid
(Hawkins, section 5)
Relation to deformation quantization
There does not seem to be in the literazure a precise relation between the methods of geometric quantization discussed here and methods of deformation quantization. But the following similarity might be relevant:
If the task is to quantize a Poisson manifold, then both methods, Maxim Kontsevich’s construction of deformation quantization as well as Eli Hawkins’ geometric quantization pass through a 2-plectic geometry on the Poisson Lie algebroid which is induced by the Poisson manifold; Kontsevich’s construction of the star product, as clarified by Cattaneo and Felder, is really that of the 3-point function in the 2-dimension sigma-model QFT whose target space is that Poisson Lie algebroid – the Poisson sigma-model –, and the symplectic 2-groupoid that Hawkins et al consider is the “extended” geometric quantization over the as in extended prequantum field theory associated with this theory.
For more on this see at extended geometric quantization of 2d Chern-Simons theory
Ordinary geometric quantization of a symplectic manifold
For an ordinary symplectic manifold the symplectic groupoid is just the pair groupoid equipped with the multiplicative form . Any ordinary prequantum line bundle and polarization of induces a prequantization and coresponding polarization of the symplectic groupoid. The resulting twisted convolution algebra? is that of compact operators on .
(EH, example 6.1)
Moyal quantization of Poisson vector space
For a Poisson vector space, hence a vector space equipped with a constant (translating invariant) Poisson bivector, the geometric quantization of the corresponding symplectic groupoid yields the Moyal quantization of .
(GBV 94, EH 06, example 6.2)
Symplectic groupoids were introduced as intended tools for the quantization of Poisson manifolds in
Alan Weinstein, Symplectic groupoids and Poisson manifolds, Bull. Amer. Math. Soc. (N.S.) 16 (1987), 101–104; Symplectic groupoids, geometric quantization, and irrational rotation algebras in Symplectic geometry, groupoids, and integrable systems (Berkeley, CA, 1989), 281–290, Springer, New York, (1991) MR1104934; Tangential deformation quantization and polarized symplectic groupoids, in Deformation theory and symplectic geometry (Ascona, 1996), 301–314, Kluwer (1997) MR1480730
Alan Weinstein, Ping Xu, Extensions of symplectic groupoids and quantization, Journal für die reine und angewandte Mathematik (1991) Volume 417 (pdf)
S. Zakrzewski, Quantum and classical pseudogroups I, II, Commun. Math. Phys. 134 (1990)
Their prequantization is developed in
A notion of polarization and of actual geometric quantization of symplectic groupoids, yielding a strict deformation quantization of the underlying Poisson manifold, originates in
- Alan Weinstein, Noncommutative geometry and geometric quantization in P. Donato et al. (eds.) Symplectic geometry and Mathematical physics, Birkhäuser 1991
and is further developed in
The case over Poisson vector spaces leading to Moyal quantization was considered earlier in
- Jose M. Gracia-Bondia, Joseph C. Varilly, From geometric quantization to Moyal quantization, J. Math. Phys. 36 (1995) 2691-2701 (arXiv:hep-th/9406170)
The interpretation of symplectic groupoids in higher geometry is made fairly explicit in (LGX) above. This is further expanded on in
The cohomological quantization of symplectic groupoids in this sense, making the construction in (Weinstein 91, Hawkins 08) Morita invariant is in