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\).NEWLINENEWLINEThere 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\).NEWLINENEWLINELet \(TP^{\circ}\subset A_P\) be an annihilator of \(TP\), and \(\mathcal{S}^k(TP^{\circ})\) its symmetric power.NEWLINENEWLINENow let us state the main theorem of the paper.NEWLINENEWLINETheorem. 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 NEWLINE\[NEWLINEH^2(A_P,\mathcal{S}^k(TP^{\circ}))=0 \text{ for all } k\geq 2,NEWLINE\]NEWLINE then the two structures are formally Poisson diffeomorphic. More precisely, there exists a diffeomorphism NEWLINE\[NEWLINE\psi: \mathcal{U}\rightarrow \mathcal{V},NEWLINE\]NEWLINE 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, NEWLINE\[NEWLINEj^{\infty}_P(\pi_1|_{\mathcal{U}})=j^{\infty}_P(\psi^*|_{\pi_2|_{\mathcal{U}}}).NEWLINE\]NEWLINENEWLINENEWLINEAs 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 NEWLINE\[NEWLINEj^1|_{\mathbb{S}(\mathfrak{g})}=j^1|_{\mathbb{S}(\mathfrak{g})}(\pi_1),NEWLINE\]NEWLINE is formally Poisson diffeomorphic to \(\pi_{\mathrm{lin}}\).