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

DOI10.1016/J.JALGEBRA.2017.03.022zbMATH Open1454.16034arXiv1507.04691OpenAlexW1958590735MaRDI QIDQ2397555FDOQ2397555

Authors: Leonid Positselski 

Publication date: 22 May 2017

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: This paper is a greatly expanded version of Section 9.11 in arXiv:1006.4343. 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(pi,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.

Full work available at URL: https://arxiv.org/abs/1507.04691

Recommendations

• Enhanced Koszul properties in Galois cohomology
• Koszul algebras and quadratic duals in Galois cohomology
• Koszul spaces
• Koszul duality and equivariant cohomology
• Galois cohomology of a number field is Koszul

zbMATH Keywords

Galois groupsGalois cohomologyKoszul dualityMassey productsformalityconilpotent coalgebrasnoncommutative homotopy theorynonhomogeneous quadratic relationsquasi-formalityt-structures of derived type

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Quadratic and Koszul algebras (16S37) Galois cohomology (12G05) Other (co)homology theories (category-theoretic aspects) (18G90)

Cites Work

• Title not available (Why is that?)
• The diamond lemma for ring theory
• Differential homological algebra and homogeneous spaces
• Rational homotopy theory
• Deriving DG categories
• Title not available (Why is that?)
• Koszul Duality Patterns in Representation Theory
• Des catégories abéliennes
• Title not available (Why is that?)
• DG coalgebras as formal stacks
• On a perturbation theory for the homology of the loop-space
• Obstructions to homotopy equivalences
• Splitting varieties for triple Massey products
• Triple Massey products vanish over all fields
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy Associativity of H-Spaces. I
• On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
• Koszul duality
• Rings with several objects
• ON THE HOMOLOGY THEORY OF FIBRE SPACES
• Homological algebra of homotopy algebras
• Koszul Resolutions
• Mixed Artin-Tate motives with finite coefficients
• Triple Massey products and absolute Galois groups
• Title not available (Why is that?)
• On the theory and applications of differential torsion products
• Triple Massey products and Galois theory
• \(A\)-infinity structure on Ext-algebras.
• Mixed Tate motives
• Koszul duality and Galois cohomology
• Koszul property and Bogomolov's conjecture
• Homology and fibrations I: Coalgebras, cotensor product and its derived functors
• Matric Massey products
• Nonhomogeneous quadratic duality and curvature
• The Cohomology of Augmented Algebras and Generalized Massey Products for DGA-Algebras
• Homological Algebra of Semimodules and Semicontramodules
• On rational \(K[\pi,1]\) spaces and Koszul algebras
• Galois cohomology of a number field is Koszul
• Categorical Bockstein sequences
• Koszul spaces
• The pure virtual braid group is quadratic.

Cited In (9)

• Mild pro-\(p\) groups and the Koszulity conjectures
• Right-angled Artin groups and enhanced Koszul properties
• Linear resolutions over Koszul complexes and Koszul homology algebras
• Generalized Bockstein maps and Massey products
• On the behavior of Massey products under field extension
• The Massey vanishing conjecture for number fields
• Triple Massey products and absolute Galois groups
• MFO-RIMS tandem workshop: Arithmetic homotopy and Galois theory. Abstracts from the MFO-RIMS tandem workshop held September 24--29, 2023
• Differential graded Koszul duality: An introductory survey

This page was built for publication: Koszulity of cohomology \( = K(\pi,1)\)-Ness + quasi-formality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2397555)