Lerman–Montgomery–Sjamaar conjecture on cotangent symplectic reductions

Let GG and HH be Lie groups and let XX and YY be smooth manifolds on which GG and HH, respectively, act properly. Assume that the orbit spaces X/GX/G and Y/HY/H are diffeomorphic in the sense that there exists a homeomorphism

ϕ:X/GY/H\phi:X/G\rightarrow Y/H

such that the pullback map

ϕ:C(Y/H):=C(Y)HC(X/G):=C(X)G\phi^*:C^\infty(Y/H):=C^\infty(Y)^H\rightarrow C^\infty(X/G):=C^\infty(X)^G

is an isomorphism. The cotangent symplectic reductions TX\sslashGT^*X\sslash G and TY\sslashHT^*Y\sslash H are stratified symplectic spaces, with smooth functions inherited from invariant smooth functions on the corresponding cotangent bundles. Lerman–Montgomery–Sjamaar conjecture. Under these assumptions, TX\sslashGT^*X\sslash G and TY\sslashHT^*Y\sslash H are isomorphic as stratified symplectic spaces: there exists a homeomorphism between them whose pullback is an isomorphism of their Poisson algebras of smooth functions. The conjecture asserts that the cotangent symplectic reduction is determined by the smooth orbit space. The source attributes this conjecture to an earlier work and presents it without evidence of resolution; its status is therefore open.

Sources & referencesView supporting material

Primary source

Xiaoyang Chen and Jianyu Ou, “Symplectic aspects of polar actions”, arXiv:1701.07985 (2017).

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.