Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds

We show that all compact hyperkähler manifolds are bigraded strongly formal in the sense of Milivojević and Stelzig, proving that in the context of pluripotential homotopy theory they play the same role as compact Kähler manifolds in rational homotopy theory. Indeed, the main result arises from general algebraic considerations on categories of objects with more differentials, that of multicomplexes and commutative n-differential graded algebras. For them we discuss a standard model category structure, introduce a generalization of the ∂∂̄-Lemma and establish an algebraic formality theorem.