Derived Commutator Complete Algebras and Relative Koszul Duality for Operads

TL;DR

This paper establishes a duality framework connecting derived commutator complete associative and En-algebras with commutative algebras via a Koszul duality, extending to relative settings and filtrations.

Contribution

It introduces a new equivalence between derived commutator complete algebras and commutative algebras with coactions, and develops a relative Koszul duality theory for operads.

Findings

Proves equivalence between derived commutator complete associative algebras and commutative algebras with coactions.

Develops a theory of commutator complete En-algebras and their duality.

Relates the derived commutator filtration to the Poisson operad and Goodwillie tower.

Abstract

We prove that a connected commutator (or NC) complete associative algebra can be recovered in the derived setting from its abelianization together with its natural induced structure. Specifically, we prove an equivalence between connected derived commutator complete associative algebras and connected commutative algebras equipped with a coaction of the comonad arising from the adjunction between associative and commutative algebras. This provides a Koszul dual description of connected derived commutator (or NC) complete associative algebras and furthermore may be interpreted as a theory of relative Koszul duality for the associative operad relative to the commutative operad. We also prove analogous results in the setting of En-algebras. That is, we develop a theory of commutator complete En-algebras and a theory of relative Koszul duality for the En operad relative to the commutative operad. We relate the derived commutator filtration on associative and En-algebras to the filtration on the associative and En operad whose associated graded is the Poisson and shifted Poisson operad Pn. We argue that the derived commutator filtration on associative algebras (and En-algebras) are a relative analogue of the Goodwillie tower of the identity functor on the model category of associative algebras (and En-algebras) relative to the model category of commutative algebras.