Classification of momentum proper exact Hamiltonian group actions and the equivariant Eliashberg cotangent bundle conjecture (Q6093268)

Let \(G\) be a compact and connected Lie group. A Hamiltonian \(G\)-action is called momentum proper if and only if every momentum map for the action is proper. The author introduces the Hamiltonian \(G\)-model functor from the category of symplectic representations of closed subgroups of \(G\) to the category of exact Hamiltonian \(G\)-actions. By the previous work [\textit{Y. Karshon} and \textit{F. Ziltener}, Trans. Am. Math. Soc. 370, No. 2, 1409--1428 (2018; Zbl 1431.53093)], the restriction of this functor to the momentum proper subcategory on either side induces a bijection between the sets of isomorphism classes. As a consequence the author obtains a classification of momentum proper exact Hamiltonian \(G\)-actions in terms of the momentum proper symplectic representations of closed subgroups of \(G\). Recall that the cotangent functor \(T^*\) is the canonical functor from the category of connected closed smooth manifolds and diffeomorphisms to the category of symplectic manifolds and symplectomorphisms. The Eliashberg cotangent bundle conjecture states that \(T^*\) induces an injective map between the sets of isomorphism classes. The author proves an equivariant version of this conjecture.