Quantization commutes with reduction for b-symplectic manifolds

Let (M,Z,ω,μ)(M,Z,\omega,\mu) be a compact connected Hamiltonian GG-space, where GG is compact and connected, MM is prequantizable, and QG(M,Z,ω)R(G)Q_G(M,Z,\omega)\in R(G) is its equivariant quantization. If 00 is a regular value of the moment map and

Mred=μ1(0)/G,Zred=(μ1(0)Z)/GM_{\mathrm{red}}=\mu^{-1}(0)/G,\qquad Z_{\mathrm{red}}=(\mu^{-1}(0)\cap Z)/G

is a bb-symplectic manifold or orbifold, with reduced form ωred\omega_{\mathrm{red}}, then quantization commutes with reduction conjecture.

[QG(M,Z,ω)]G=Q(Mred,Zred,ωred)Z.[Q_G(M,Z,\omega)]^G=Q(M_{\mathrm{red}},Z_{\mathrm{red}},\omega_{\mathrm{red}})\in\mathbb Z.

This is the [Q,R]=0[Q,R]=0 principle for bb-symplectic manifolds: the invariant part of equivariant quantization should agree with the quantization of the reduced space. The source states the result as a conjecture under the regular-value and bb-symplectic reduction hypotheses; no resolution is given.

Sources & referencesView supporting material

Primary source

Maxim Braverman, Yiannis Loizides and Yanli Song, “Geometric quantization of b-symplectic manifolds”, arXiv:1910.10016 (2021).

Additional references

2 papers in this index state this conjecture (2013–2019). The statement above is taken from the most recent of them; the others are arXiv:1309.6760.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.