nLab
geometric quantization of symplectic groupoids

under construction

Context

Symplectic geometry

\infty-Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

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.

Definition

Geometric prequantization of a symplectic groupoid

Formulated in the language of higher differential geometry, what is traditionally called a prequantization of a symplectic groupoid SG(X,π)=exp(𝔓(X,π))SG(X,\pi) = \exp(\mathfrak{P}(X,\pi)) (see Hawkins, section 4.2) is a morphism of smooth 2-groupoids

SG(X,π)B 2U(1) conn 1 SG(X,\pi) \longrightarrow \mathbf{B}^2 U(1)_{conn^1}

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

X * SG(X,π) χ^ B 2U(1) conn 1 \array{ && X \\ & \swarrow && \searrow \\ \ast && \swArrow && SG(X,\pi) \\ & \searrow && \swarrow_{\mathrlap{\widehat{\chi}}} \\ && \mathbf{B}^2 U(1)_{conn^1} }

(hgp 13, Bongers 13 Nuiten 13) and such that the image of χ\chi in Lie algebroid cohomology (hence in Poisson cohomology) is the given Poisson bitensor πCE (𝔓(X,π))\pi \in CE^\bullet(\mathfrak{P}(X,\pi)).

By (FRS 11, based on FSS 10) the Lie algebroid cocycle

π:𝔓(X,π)[2] \pi \;\colon\; \mathfrak{P}(X,\pi) \longrightarrow \mathbb{R}[2]

directly Lie integrates to a morphism of smooth 2-groupoids of the form

exp(π) conn:SG(X,π) conn=τ 1exp(𝔓(X,π)) connB(/Γ) conn, \exp(\pi)_{conn} \;\colon\; SG(X,\pi)_{conn} = \tau_1 \exp(\mathfrak{P}(X,\pi))_{conn} \longrightarrow \mathbf{B}(\mathbb{R}/\Gamma)_{conn} \,,

which is a cocycle in degree-3 ordinary differential cohomology on the differential refinement SG(X,π) connSG(X,\pi)_{conn} 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 /Γ\mathbb{R}/\Gamma, where Γ\Gamma \hookrightarrow \mathbb{R} is the group of periods of

(TS 2𝔓(X,π)π[2])Ω cl 2(S 2). \left( T S^2 \longrightarrow \mathfrak{P}(X,\pi) \stackrel{\pi}{\longrightarrow} \mathbb{R}[2] \right) \in \Omega^2_{cl}(S^2) \,.

For Γ=\Gamma = \mathbb{Z} this hence yields

SG(X,π)=τ 1exp(𝔓(X,π)) connBU(1) conn. SG(X,\pi) = \tau_1 \exp(\mathfrak{P}(X,\pi))_{conn} \longrightarrow \mathbf{B}U(1)_{conn} \,.

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

exp(π):SH(X,π)B 2U(1). \exp(\pi) \;\colon\; SH(X,\pi) \longrightarrow \mathbf{B}^2 U(1) \,.

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 (X,ω)(X,\omega), the symplectic form defines a class in degree-3 de Rham cohomology H dR 3(X)H_{dR}^3(X).

(Notice that, while this ω\omega is typically expressed as a 2-form on X 1X_1, this represents indeed a degree-3 cocycle in the simplicial de Rham complex of the nerve of XX).

We say that ω\omega is integral if it is in the image of the curvature map

curv:H diff 2(X,U(1))H dR 3(X) curv : H^2_{diff}(X,U(1)) \to H^3_{dR}(X)

from the ordinary differential cohomology of XX. If this is the case, we say that a lift (X^,)(\hat X, \nabla) of ω\omega to H diff(X,B 2U(1))\mathbf{H}_{diff}(X, \mathbf{B}^2 U(1)), hence to the 2-groupoid of circle 2-bundles with connection over XX, is a prequantum line bundle for (X,ω)(X,\omega).

Notice that this traditional terminology is off by one: the underlying X^X\hat X \to X is a circle 2-group-principal 2-bundle on XX.

(…)

Polarization of a symplectic groupoid

(…)

(Hawkins, section 4.3)

(…)

Geometric quantization of a symplectic groupoid

(…)

(Hawkins, section 5)

(…)

Ω maxΓ(T dt=0 *𝒢 1) maxΓ(T ds=0 *𝒢 1) \sqrt{\Omega} \coloneqq \sqrt{\wedge^{max} \Gamma (T_{d t = 0}^\ast \mathcal{G}_1) } \otimes \sqrt{\wedge^{max} \Gamma (T_{d s = 0}^\ast \mathcal{G}_1) }
pr 1 *Ωpr 2 *Ω pr 1 * maxΓ(T ds=0 *𝒢 1)pr 2 * maxΓ(T dt=0 *𝒢 1)pr 1 * maxΓ(T dt=0 *𝒢 1)pr 2 * maxΓ(T ds=0 *𝒢 1) maxΓ(T d=0 *𝒢 2) maxΓ(T d=0 *𝒢 2)pr 1 * maxΓ(T dt=0 *𝒢 1)pr 2 * maxΓ(T ds=0 *𝒢 1) maxΓ(T d=0 *𝒢 2) *Ω \begin{aligned} pr_1^\ast \sqrt{\Omega} \otimes pr_2^\ast \sqrt{\Omega} & \simeq pr_1^\ast \sqrt{\wedge^{max} \Gamma (T_{d s = 0}^\ast \mathcal{G}_1) } \otimes pr_2^\ast \sqrt{\wedge^{max} \Gamma (T_{d t = 0}^\ast \mathcal{G}_1) } \otimes pr_1^\ast \sqrt{\wedge^{max} \Gamma (T_{d t = 0}^\ast\mathcal{G}_1) } \otimes pr_2^\ast \sqrt{\wedge^{max} \Gamma (T_{d s = 0}^\ast \mathcal{G}_1) } \\ & \simeq \sqrt{\wedge^{max} \Gamma (T_{d \circ = 0}^\ast \mathcal{G}_2) } \otimes \sqrt{\wedge^{max} \Gamma (T_{d \circ = 0}^\ast \mathcal{G}_2) } \otimes pr_1^\ast \sqrt{\wedge^{max} \Gamma (T_{d t = 0}^\ast\mathcal{G}_1) } \otimes pr_2^\ast \sqrt{\wedge^{max} \Gamma (T_{d s = 0}^\ast \mathcal{G}_1) } \\ & \simeq \wedge^{max} \Gamma(T_{d \circ = 0}^\ast \mathcal{G}_2) \otimes \circ^\ast \sqrt{\Omega} \end{aligned}

(…)

Properties

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

Examples

Ordinary geometric quantization of a symplectic manifold

For (X,π=ω 1)(X,\pi = \omega^{-1}) an ordinary symplectic manifold the symplectic groupoid is just the pair groupoid equipped with the multiplicative form s *ω+t *ω¯s^* \omega + t^* \bar \omega. Any ordinary prequantum line bundle PP and polarization \mathcal{F} of (X,ω)(X,\omega) induces a prequantization s *L+t *L¯s^* L + t^* \bar L and coresponding polarization of the symplectic groupoid. The resulting twisted convolution algebra? is that of compact operators on X/X/\mathcal{F}.

(EH, example 6.1)

Moyal quantization of Poisson vector space

For (X,π)(X,\pi) a Poisson vector space, hence a vector space X=VX = V equipped with a constant (translating invariant) Poisson bivector, the geometric quantization of the corresponding symplectic groupoid yields the Moyal quantization of (V,π)(V, \pi).

(GBV 94, EH 06, example 6.2)

References

Symplectic groupoids were introduced as intended tools for the quantization of Poisson manifolds in

  • Alan Weinstein, Ping Xu, Extensions of symplectic groupoids and quantization, Journal für die reine und angewandte Mathematik (1991) Volume 417 (pdf)

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

Revised on November 24, 2014 15:04:53 by Urs Schreiber (89.204.155.187)