Related papers: Two kinds of derived categories, Koszul duality, a…
This is an overview on derived nonhomogeneous Koszul duality over a field, mostly based on the author's memoir arXiv:0905.2621. The paper is intended to serve as a pedagogical introduction and a summary of the covariant duality between…
We show that the category of non-counital conilpotent dg-coalgebras and the category of non-unital dg-algebras carry model structures compatible with their closed non-unital monoidal and closed non-unital module category structures…
For any dg algebra $A$ we construct a closed model category structure on dg $A$-modules such that the corresponding homotopy category is compactly generated by dg $A$-modules that are finitely generated and free over $A$ (disregarding the…
In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor…
We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of…
The concept of Koszul differential graded algebra (Koszul DG algebra) is introduced. Koszul DG algebras exist extensively, and have nice properties similar to the classic Koszul algebras. A DG version of the Koszul duality is proved. When…
We give a combinatorial model structure to the category of, not necessarily conilpotent, differential graded (dg) cocommutative coalgebras and an $\infty$-category structure to the category of curved Lie algebras over an algebraically…
This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any…
We are concerned with relating derived categories of all modules of two dual Koszul algebras defined by a locally bounded quiver. We first generalize the well known Acyclic Assembly Lemma and formalize an old method of extending a functor…
We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version…
We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…
We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with…
Let $C$ be a $k$-coalgebra, where $k$ is a field. The category of pseudocompact left $C^*$-modules is dual to both the category of discrete right $C^*$-modules and to the category of left $C$-comodules. We obtain this way two sides of a…
We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category, and show that it is invariant under suitable Morita equivalences of the second kind. A…
Given a curved differential graded algebra $A$, we define a new model structure on the category of curved differential graded $A$-modules, called the injective Guan-Lazarev model structure. We prove that the category of CDG $A$-modules with…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
Let $A$ be a proper non-positive dg algebra over a field $k$. For a simple-minded collection of the finite-dimensional derived category $\mathcal{D}_{fd}(A)$, we construct a 'dual' silting object of the perfect derived category…
A DG algebras $A$ over a field $k$ with $H(A)$ connected and $H_{<0}(A)=0$ has a unique up to isomorphism DG module $K$ with $H(K)\cong k$. It is proved that if $H(A)$ is degreewise finite, then $RHom_A(?,K): D^{df}_{+}(A)^{op} \equiv…
Let \(\Lambda\) be a finite-dimensional Koszul algebra with Koszul dual \(\Lambda^!\). We establish derived Koszul dualities at the level of bounded derived categories, both in the graded setting \(\mathsf{D}^{b}(\Lambda\textup{-gmod})\)…