Associated to a Lie algebra π€ and a π€-module M is a standard complex C*(π€,M) computing the cohomology of π€ with coefficients in M; this classical construction goes back to Chevalley and Eilenberg of the late 1940s. Shortly afterwards, it was realized that this cohomology is an example of a derived functor in the category of π€-modules. The Lie algebra π€ can be replaced by a differential graded Lie algebra and M β with a dg π€-module with the same conclusion. Later, a deep connection with Koszul duality was uncovered in the works of Quillen (late 1960s) and then Hinich (late 1990s). In this talk I will discuss the cohomology of (dg) Lie coalgebras with coefficients in dg comodules. The treatment is a lot more delicate, underscoring how different Lie algebras and Lie coalgebras are (and similarly their modules and comodules). A definitive answer can be obtained for so-called conilpotent Lie coalgebras (though not necessarily conilpotent comodules). If time permits, I will also discuss some topological applications.
Tag - DG structures
Conilpotent Koszul duality, as formulated by Positselski and Lefevre-Hasegawa, gives an equivalence (of model categories, or of β-categories) between augmented dg algebras and conilpotent dg-coalgebras. One should think of this as a non-commutative version of the Lurie-Pridham correspondence: indeed in characteristic zero, cocommutative conilpotent dg coalgebras are Koszul dual to dg Lie algebras, and this is precisely the correspondence between formal moduli problems and their tangent complexes. I'll talk about a global analogue where the conilpotency assumption is removed; geometrically this corresponds to non-commutative formal moduli problems modelled on profinite completions, rather than pro-Artinian completions. Global Koszul duality is best expressed as a Quillen equivalence between curved dg algebras and curved dg coalgebras, and in both categories the weak equivalences are defined using an auxiliary object, the Maurer-Cartan dg category of a curved dg algebra.
This is a talk about the situation in commutative algebra. A homomorphism f: S β R of commutative local rings has a derived fibre F (a differential graded algebra over the residue field k of R) and we say that f is Koszul if F is formal and its homology H(F) = TorS(R,k) is a Koszul algebra in the classical sense. I'll explain why this is a very good definition and how it is satisfied by many many examples.
The main application is the construction of explicit free resolutions over R in the presence of a Koszul homomorphism. These tell you about the asymptotic homological algebra of R, and so the structure of the derived category of R. This construction simultaneously generalizes the resolutions of Priddy over a Koszul algebra, the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring.
Pre-Calabi-Yau algebras were introduced in the last decade byΒ M. Kontsevich, A. Takeda and Y. Vlassopoulos using the necklace bracket. This notion is equivalent to a cyclic Aβ-algebra for the natural bilinear form in the finite-dimensional case. Moreover, W-K. Yeung showed that double Poisson DG structures provide an example of pre-Calabi-Yau structures. In 2020, D. Fernandez and E. Herscovich proved that given a morphism of double Poisson DG algebras from A to B, one can produce a cyclic Aβ-algebra and Aβ-morphisms between the latter and the cyclic Aβ-algebras associated to A and B. I will explain how to generalize this result to pre-Calabi-Yau algebras by doing an explicit construction of a (cyclic) Aβ-algebra and Aβ-morphisms given a pre-Calabi-Yau morphism.
In this talk I will introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application of this duality, it follows that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. I will also comment on a conceptual approach to this problem that may lead to a proof of the graded commutativity, based on derived categories in the framework of DG-algebras and DG-bimodules.

You must be logged in to post a comment.