Related papers: Koszul duality for non-graded derived categories
Let $M$ be a Liouville 6-manifold which is the smooth fiber of a Lefschetz fibration on $\mathbb{C}^4$ constructed by suspending a Lefschetz fibration on $\mathbb{C}^3$. We prove that for many examples including stabilizations of Milnor…
This paper proves a Koszul duality result between weighted $\mathcal{A}_{\infty}$-algebras constructed in the author's previous work. In the process, we construct a new box tensor product for weighted $\mathcal{A}_{\infty}$ bimodules, and…
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small…
We are going to show that the sheafication of graded Koszul modules $% K_{\Gamma}$ over $\Gamma_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_{\Gamma}$ of the coherents sheaves on projective space,…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg.…
Koszul duality is a fundamental correspondence between algebras for an operad $\mathcal{O}$ and coalgebras for its dual cooperad $B\mathcal{O}$, built from $\mathcal{O}$ using the bar construction. Francis-Gaitsgory proposed a conjecture…
We give a description of a certain induced module for a quantum group of type $A$. Together with our previous results this gives a proof of Lusztig's conjectural multiplicity formula for non-restricted modules over the De Concini-Kac type…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines…
It is a small step toward the Koszul-type algebras. The piecewise-Koszul algebras are, in general, a new class of quadratic algebras but not the classical Koszul ones, simultaneously they agree with both the classical Koszul and higher…
We construct from a finitary exact category with duality a module over its Hall algebra, called the Hall module, encoding the first order self-dual extension structure of the category. We study in detail Hall modules arising from the…
We generalize the theory of Koszul complexes and Koszul algebras (in particular, Koszul duality between symmetric and exterior algebras) to symmetric tensor categories. In characteristic $p\ge 5$, this theory exhibits peculiar effects, not…
Extended Khovanov arc algebras $\mathrm{K}_m^n$ are graded associative algebras which naturally appear in a variety of contexts, from knot and link homology, low-dimensional topology and topological quantum field theory to representation…
For any finite sequence of elements $s_1, \ldots , s_d$ in a commutative noetherian ring $R$, we show that for $n \gg 0$, the natural map from the Koszul complex $K(s_1^n, \ldots , s_d^n)$ to the Koszul complex $K(s_1, \ldots , s_d)$…
Let C be a semidualizing complex over a noetherian local ring A. If there exists a local homomorphism with source A satisfying some homological properties, then C is dualizing.
The main objective of this paper is to provide a theory for computing the Hochschild cohomology of algebras arising from a linear category with finitely many objects and zero compositions. For this purpose, we consider such a category using…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
The connective ku-(co)homology of elementary abelian 2-groups is determined as a functor of the elementary abelian 2-group. The argument requires only the calculation of the rank one case and the Atiyah-Segal theorem for KU-cohomology…
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…
Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good…