Formalizability of dg modules and morphisms of cdg algebras (Q1328074)

The aim of this paper is to study formality of certain local systems over compact Kähler manifolds, following works of \textit{J. W. Morgan} [Publ. Math., Inst. Haut. Étud. Sci. 48, 137-204 (1978; Zbl 0401.14003)] and \textit{V. Navarro Aznar} [Invent. Math. 90, 11-76 (1987; Zbl 0639.14002); Ann. Sci. Éc. Norm. Supér., IV. Sér. 26, No. 1, 99-148 (1993; Zbl 0787.55010)]. Global sections of these local systems can be seen as dg modules over cdg algebras. Following \textit{D. Sullivan} [Publ. Math., Inst. Haut. Étud. Sci. 47(1977), 269-331 (1978; Zbl 0374.57002)], we prove that formalizability of such dg modules does not depend on the ground field. Results and proofs are easily translated for cdg algebra morphisms, so we develop the case of dg modules in detail and confine ourselves to state them for cdg algebra morphisms, remarking differences whenever they can arise. For both situations, our principal tool is the minimal model. D. Sullivan's theory of the minimal model says that, for a rational space \(X\), the \(\mathbf Q\)-homotopy type is determined by a minimal model of the \(\mathbf Q\)-cdg algebra \(A_{PL}(X)\). For certain spaces, this minimal model, and so its homotopy type, is a formal consequence of its rational cohomology algebra \(H^*(X;\mathbf Q)\). They are called formal spaces. Formality of compact Kähler manifolds was first proved over the real numbers [\textit{P. Deligne, P. Griffiths, J. Morgan} and \textit{D. Sullivan}, Invent. Math. 29, 245-274 (1975; Zbl 0312.55011)]. The descent of formality from \(\mathbf R\) to \(\mathbf Q\) is due to Sullivan [loc. cit.]. For morphisms of cdg algebras, the problem has been studied by \textit{Y. Felix} and \textit{D. Tanré} [Algebraic topology, rational homotopy, Proc. Conf., Louvain-la-Neuve/Belg. 1986, Lect. Notes Math. 1318, 99-123 (1988; Zbl 0661.55007)], and by \textit{M. Vigué-Poirrier} [C. R. Acad. Sci., Paris, Sér. A 289, 809-812 (1979; Zbl 0423.55005)]. In this paper, we also give independent proofs of their results, which do not depend on the choice of a particular construction of models with extra structure (namely, filtrations), but rather on abstract properties of formalizability and minimality.