Rigidity of infinitesimal momentum maps (Q2627994)

The authors prove two rigidity theorems for momentum maps of compact semisimple Poisson Lie group actions. The proofs use a global linearization theorem from \textit{V. L. Ginzburg} and \textit{A. Weinstein} [J. Am. Math. Soc. 5, No. 2, 445--453 (1992; Zbl 0766.58018)] and a normal form theorem from \textit{E. Miranda} et al. [Adv. Math. 229, No. 2, 1136--1179 (2012; Zbl 1232.53071)]. A Poisson Lie group is a pair \((G,\pi_G)\), where \(G\) is a Lie group and \(\pi_G\) is a multiplicative Poisson structure. If \((M,\pi)\) is a Poisson manifold, then an action \(\Phi:G \times M \rightarrow \)M of \((G,\pi_G)\) on \((M,\pi)\) is called a \textbf{Poisson action} if \[ \{f \circ \Phi, g \circ \Phi\}_{G \times M} = \{f,g\}_M \circ \Phi \] for all \(f,g \in \mathscr{C}^\infty(M)\), where the Poisson structure on \(G \times M\) is \(\pi_G \oplus \pi\). A \textbf{momentum map} for the Poisson action is a map \(J:M \rightarrow G^\ast\) such that \[ \hat{X} = \pi^\#(J^\ast(\theta_X)), \] where \(\hat{X}\) is the fundamental vector field associated to \(X \in \mathfrak{g}\), \(\theta_X\) is the left invariant 1-form associated to \(X\), and \(\pi^\#:T^\ast M \rightarrow TM\) denotes the anchor map \(\pi^\#(\alpha) := \pi(\alpha,\cdot)\). The momentum map is called \textbf{\(G\)-equivariant} if for every \(g \in G\) we have \(J \circ \Phi_g = \lambda_g \circ J\), where \(\lambda_g\)is the left dressing action of \(G\) on its dual \(G^\ast\). The first main theorem of the paper is as follows, where a \textbf{Hamiltonian action} is defined to be a Poisson action given by an equivariant momentum map. Theorem 1.1 (3.3): Let \(G\) be a compact semisimple Poisson Lie group \(G\) acting on a compact Poisson manifold \((M,\pi)\) in a Hamiltonian fashion with momentum map \(J_0:M \rightarrow G^\ast\). There exists a positive integer \(l\) and two positive real numbers \(\alpha\) and \(\beta\) (with \(\beta < 1 < \alpha\)) such that, if \(J_1\) is another momentum map on \(M\) with respect to the same Poisson structure and Poisson Lie group, satisfying \[ \|J_0 - J_1\|_{2l-1} \leq \alpha \quad \text{and} \quad \|J_0 - J_1\|_l \leq \beta, \] then there exists a Poisson diffeomorphism \(\psi\) of class \(\mathscr{C}^k\), for all \(k \geq l\), on \(M\) such that \[ J_1 \circ \psi = J_0. \] The authors' second main theorem concerns an infinitesimal version of an equivariant momentum map generating the fundamental vector fields of a Poisson action. Define an \textbf{infinitesimal momentum map} to be a map \(\alpha:\mathfrak{g} \rightarrow \Omega^1(M): X \mapsto \alpha_X\) such that \(\hat{X} = \pi^\#(\alpha_X)\), \(\alpha_{[X,Y]} = [\alpha_X,\alpha_Y]_\pi\), and \(d\alpha_X = \alpha \wedge \alpha \circ \delta(X)\). In the preceding definition \(\hat{X}\) is the fundamental vector field associated to \(X\), \(\pi^\#\) denotes the anchor map, \([\cdot,\cdot]_\pi: \Omega^1(M) \times \Omega^1(M) \rightarrow \Omega^1(M)\) is a skew-symmetric operation induced by the anchor map, and \(\delta = d_e \pi_G\) is a 1-cocycle on \(\mathfrak{g}\). A \textbf{pre-Hamiltonian action} is then an action of \((G,\pi_G)\) on \((M,\pi)\) defining an infinitesimal momentum map \(\alpha\). The authors prove the following. Theorem 1.2 (4.8): Consider a pre-Hamiltonian action of a semisimple compact Poisson Lie group \((G,\pi_G)\) on a compact Poisson manifold \((M,\pi)\), generated by an infinitesimal momentum map \(\alpha\). There exists a positive integer \(l\) and two positive real numbers \(a\) and \(b\) (with \(b < 1 < a\)) such that, if \(\tilde{\alpha}\) is another infinitesimal momentum map on \(M\) with respect to the same Poisson structure, satisfying \[ \|\alpha - \tilde{\alpha}\|_{2l-1} \leq a \quad \text{and} \quad \|\alpha - \tilde{\alpha}\| \leq b, \] then there exists a Lie algebra morphism \(\Phi:\Omega^1(M) \rightarrow \Omega^1(M)\) preserving the chain map property of class \(\mathscr{C}^k\), for all \(k \geq l\), on \(M\) such that \(\Phi(\alpha_X) = \tilde{\alpha}_X\). As a corollary to Theorem 3.3 the authors give the following application to groupoids, where \(\Sigma(M)\) denotes the symplectic groupoid over \(M\). Corollary 3.4: Given two close momentum maps \(J_i:M \rightarrow G^\ast\), \(i=1,2\) on an integrable Poisson manifold \(M\), then there exists a symplectic groupoid morphism \(\phi\) on \(\Sigma(M)\) such that the corresponding lifted moment maps \(J_i^{\Sigma(M)}\) satisfy \(J_1^{\Sigma(M)} = J_2^{\Sigma(M)} \circ \phi\).