Abstract:To any $\mathfrak{g}$-manifold $M$ are associated two dglas $\operatorname{tot}\big(\Lambda^{\bullet} \mathfrak{g}^\vee \otimes_{\Bbbk} T_{\operatorname{poly}}^{\bullet} \big)$ and $\operatorname{tot} \big(\Lambda^{\bullet} \mathfrak{g}^\vee\otimes_{\Bbbk} D_{\operatorname{poly}}^{\bullet} \big)$, whose cohomologies $H_{\operatorname{CE}}(\mathfrak{g}, T_{\operatorname{poly}}^{\bullet} \xrightarrow{0} T_{\operatorname{poly}}^{\bullet+1})$ and $H_{\operatorname{CE}}(\mathfrak{g}, D_{\operatorname{poly}}^{\bullet} \xrightarrow{0} D_{\operatorname{poly}}^{\bullet+1})$ are Gerstenhaber algebras. We establish a formality theorem for $\mathfrak{g}$-manifolds: there exists an $L_\infty$ quasi-isomorphism $\Phi: \operatorname{tot}\big(\Lambda^{\bullet} \mathfrak{g}^\vee \otimes_{\Bbbk} T_{\operatorname{poly}}^{\bullet} \big) \to \operatorname{tot} \big(\Lambda^{\bullet} \mathfrak{g}^\vee\otimes_{\Bbbk} D_{\operatorname{poly}}^{\bullet} \big)$ whose first `Taylor coefficient' (1) is equal to the Hochschild-Kostant-Rosenberg map twisted by the square root of the Todd cocycle of the $\mathfrak{g}$-manifold $M$ and (2) induces an isomorphism of Gerstenhaber algebras on the level of cohomology. Consequently, the Hochschild-Kostant-Rosenberg map twisted by the square root of the Todd class of the $\mathfrak{g}$-manifold $M$ is an isomorphism of Gerstenhaber algebras from $H_{\operatorname{CE}}(\mathfrak{g}, T_{\operatorname{poly}}^{\bullet} \xrightarrow{0} T_{\operatorname{poly}}^{\bullet+1})$ to $H_{\operatorname{CE}}(\mathfrak{g}, D_{\operatorname{poly}}^{\bullet} \xrightarrow{0} D_{\operatorname{poly}}^{\bullet+1})$.

Bigraded notions of formality and Aeppli-Bott-Chern-Massey products

A-infinity Structure on Ext-algebras

Nontrivial Massey products on compact Kähler manifolds

Equivariant formality in complex-oriented theories

Bott-Chern formality and Massey products on strong Kähler with torsion and Kähler solvmanifolds

Bott–Chern Formality and Massey Products on Strong Kähler with Torsion and Kähler Solvmanifolds

Formality for g-manifolds

Some Kähler Structures on Products of 2-Spheres

Kaledin classes and formality criteria

On higher Jacobians, Laplace equations and Lefschetz properties

E2 formality via obstruction theory

Formality of Sphere Bundles

Some remarks about deformation theory and formality conjecture

$δ$-Forms on Lubin--Tate Space

On the formality problem for manifolds with special holonomy

The product on $\W$-spaces of rational forms

Formality of $A_\infty$-Algebras

The hierarchies of identities and closed products for multiple complexes

Bergman bundles and applications to the geometry of compact complex manifolds

Weil bundles and $α-$structures

The bigraded Rumin complex via differential forms