Kaledin classes and formality criteria

Abstract: We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded algebras over operads or properads, possibly colored in groupoids. The present treatment generalizes the previous obstruction classes in two directions: outside characteristic zero and including a wider range of algebraic structures. This enables us to establish novel formality criteria, including formality descent with torsion coefficients, formality in families, intrinsic formality, and criteria in terms of chain-level lifts of homology automorphism.