Related papers: Koszul resolution for linear monoidal functors
There is considered the problem of describing up to linear conformal equivalence those harmonic cubic homogeneous polynomials for which the squared-norm of the Hessian is a nonzero multiple of the quadratic form defining the Euclidean…
We prove a monoidal equivalence, called universal Koszul duality, between genuine equivariant K-motives on a Kac-Moody flag variety and constructible monodromic sheaves on its Langlands dual. The equivalence is obtained by a…
We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads…
We study the interaction between various analytification functors, and a class of morphisms of rings, called homotopy epimorphisms. An analytification functor assigns to a simplicial commutative algebra over a ring $R$, along with a choice…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
We introduce a notion of Koszul A-infinity algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A-infinity algebra models for Hochschild cochains. As an application, this yields new techniques for…
We review Koszul duality in representation theory of category $ \cal O $, especially we give a new presentation of the Koszul duality functor. Combining this with work of Backelin, we show that the translation and Zuckerman functors are…
Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…
We prove Soergel's conjecture on the characters of indecomposable Soergel bimodules. We deduce that Kazhdan-Lusztig polynomials have positive coefficients for arbitrary Coxeter systems. Using results of Soergel one may deduce an algebraic…
We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the…
We propose a simple injective resolution for the Hochschild complex of the Weyl algebra. By making use of this resolution, we derive explicit expressions for nontrivial cocycles of the Weyl algebra with coefficients in twisted bimodules as…
We give a necessary and sufficient condition on a homogeneous polynomial ideal for its Taylor complex to be exact. Then we give a combinatorial construction of a minimal resolution for ideals satisfying the above condition (in particular…
The Koszul-Tate resolution is described in the context of the geometry of jet spaces and differential equations. The application due to Barnich, Brandt, and Henneaux of this resolution to computing the horizontal cohomology is analyzed.…
We generalize the modular Koszul duality of Achar-Riche to the setting of Soergel bimodules associated to any finite Coxeter system. The key new tools are a functorial monodromy action and wall-crossing functors in the mixed modular derived…
We use cellular resolutions of monomial ideals to prove an analog of Hilbert's syzygy theorem for virtual resolutions of monomial ideals on smooth toric varieties.
This paper systematically develops a notion of regular sequences in the context of $R$-linear triangulated categories for a graded-commutative ring $R$. The notion has equivalent characterizations involving Koszul objects and local…
We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…
A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul.…
We introduce the Z-polynomial of a matroid, which we define in terms of the Kazhdan-Lusztig polynomial. We then exploit a symmetry of the Z-polynomial to derive a new recursion for Kazhdan-Lusztig coefficients. We solve this recursion,…
We observe that the process of associating an action to any Schreier extension of monoids with commutative and cancellative kernel is functorial. We show that this functor is a generalisation of the direction functor, used to give a…