Global formality at the $G_\infty$-level

Мы до­ка­зы­ва­ем, что пу­чок $\mathcal L$-по­ли­диф­фе­рен­ци­аль­ных опе­ра­то­ров для ло­каль­но­го ал­геб­ро­и­да Ли $\mathcal L$ яв­ля­ет­ся фор­маль­ным, ес­ли его рас­смат­ри­вать как пу­чок $G_\infty$-ал­гебр с по­мо­щью мор­физ­ма Та­мар­ки­на $G_\infty\to B_\infty$.
В при­ло­же­нии мы уси­ли­ва­ем при­над­ле­жа­щий Ж. Албу ре­зуль­тат о гло­ба­ли­за­ции ло­каль­но­го ква­зи­и­зо­мор­физ­ма Та­мар­ки­на.