Homotopy transfer and formality

Abstract

In this paper, we prove that, given appropriate hypotheses, nformality of a differential graded algebraic structure is equivalent to the existence of a chain-level automorphism lifting a degree twisting isomorphism relative to a unit of order greater than n. A similar result with slightly different hypothesis was proved by Joana Cirici and the second author. We use the homotopy transfer theorem and an explicit inductive procedure in order to kill the higher operations. As an application of our result, we prove formality with coefficients in the p-adic integers of certain dg-algebras coming from hyperplane and toric arrangements and configuration spaces.Résumé. -Dans cet article nous montrons que, sous certaines hypothèses, la n-formalité d'une structure algébrique différentielle graduée est équivalente à l'existence d'un automorphisme au niveau des chaînes relevant un isomorphisme gradué tordant relatif à une unité d'ordre plus grand que n. Un résultat similaire sous des hypothèse légèrement différentes avait été prouvé par Joana Cirici et le second auteur. Nous utilisons le théorème de transfert homotopique et une procédure récursive explicite pour tuer les opérations supérieures. Comme application de ce résultat, nous prouvons la formalité à coefficients dans les entiers p-adiques de certaines dg-algèbres venant d'arrangements d'hyperplans ou d'arrangements toriques ainsi que des espaces de configurations.

Étale cohomology, purity and formality with torsion coefficients

“…However, contrary to the situation here, that automorphism does not come directly from algebraic geometry. In [16], these formality results are proved over the ring $$\mathbb {Z}_\ell$$ instead of $$\mathbb {F}_\ell$$. This paper uses homotopy transfer techniques instead of the $$\infty$$‐categorical methods used in the present paper.…”