Formal equivalence of Poisson structures around Poisson submanifolds (Q429109)

Let \(M\) be a Poisson manifold. It can be defined by a bivector \(\pi\) that satisfies \([\pi,\pi]=0\). Let \(P\) be a Poisson submanifold. Denote by \(j^k|_P\pi\) the \(k\)-jet of \(\pi\) along \(P\). There exist a natural Lie algebroid structure on \(T^^*_M\), determined by \([df,dg]:=d\{f,g\}\). It induces a Lie algebroid structure on \(T^*_PM\), this Lie algebroid is denoted by \(A_P\). Let \(TP^{\circ}\subset A_P\) be an annihilator of \(TP\), and \(\mathcal{S}^k(TP^{\circ})\) its symmetric power. Now let us state the main theorem of the paper. Theorem. Let \(\pi_1\), \(\pi_2\) be two Poisson structures on \(M\) such that \(P\subset M\) is an embedded Poisson submanifold for both and such that they have the same first order jet along \(P\). If their common algebroid \(A_P\) has the property that \[ H^2(A_P,\mathcal{S}^k(TP^{\circ}))=0 \text{ for all } k\geq 2, \] then the two structures are formally Poisson diffeomorphic. More precisely, there exists a diffeomorphism \[ \psi: \mathcal{U}\rightarrow \mathcal{V}, \] with \(d\psi|_{T^pM}=\operatorname{id}_{T^pM}\), where \(\mathcal{U}\) and \(\mathcal{V}\) are open neighborhoods of \(P\), such that \(\pi_1|_{\mathcal{U}}\) and \(\psi^*(\pi_2|_{\mathcal{V}})\) have the same infinite jet along \(P\), namely, \[ j^{\infty}_P(\pi_1|_{\mathcal{U}})=j^{\infty}_P(\psi^*|_{\pi_2|_{\mathcal{U}}}). \] As a corollary the following statement holds. Let \(\mathfrak{g}\) be a semisimple Lie algebra of compact type and consider \(\pi_{\mathrm{lin}}\), the linear Poisson structure on \(\mathfrak{g}^*\). Let \(\mathbb{S}(\mathfrak{g})\subset \mathfrak{g}^*\) be the sphere in \(\mathfrak{g}^*\) centered at \(0\) of radius \(1\) with respect to some invariant inner product. Then \(\mathbb{S}(\mathfrak{g})\) is a Poisson submanifold, and any Poisson structure \(\pi_1\) defined in some open neighborhood of \(\mathbb{S}(\mathfrak{g})\) such that \[ j^1|_{\mathbb{S}(\mathfrak{g})}=j^1|_{\mathbb{S}(\mathfrak{g})}(\pi_1), \] is formally Poisson diffeomorphic to \(\pi_{\mathrm{lin}}\).