Koszulity of cohomology = K(π,1)-ness + quasi-formality

Journal of Algebra. 2017. Vol. 483. P. 188–229.

Посицельский Л. Е.

This paper is a greatly expanded version of [37, Section 9.11]. A series of definitions and results illustrating the thesis in the title (where quasi-formality means vanishing of a certain kind of Massey multiplications in the cohomology) is presented. In particular, we include a categorical interpretation of the “Koszulity implies K(π,1)” claim, discuss the differences between two versions of Massey operations, and apply the derived nonhomogeneous Koszul duality theory in order to deduce the main theorem. In the end we demonstrate a counterexample providing a negative answer to a question of Hopkins and Wickelgren about formality of the cochain DG-algebras of absolute Galois groups, thus showing that quasi-formality cannot be strengthened to formality in the title assertion.

Ключевые слова: formality, Galois cohomology, Nonhomogeneous quadratic relations, Conilpotent coalgebras, Koszul duality, t-Structures of derived type, Massey products, Quasi-formality, Noncommutative homotopy theory, Galois groups