English
Related papers

Related papers: Koszul duality in exact categories

200 papers

We investigate blocks of the Category $\mathcal O$ for the Virasoro algebra over the complex numbers. We demonstrate that the blocks have Kazhdan-Lusztig theories, and that the truncated blocks give rise to interesting Koszul algebras. The…

Representation Theory · Mathematics 2011-11-09 Brian D. Boe , Daniel K. Nakano , Emilie Wiesner

The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen…

K-Theory and Homology · Mathematics 2007-05-23 Satoshi Mochizuki

We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex…

Commutative Algebra · Mathematics 2007-05-23 Bogdan Ichim , Udo Vetter

We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived ideals" for any operad. The Koszul duality…

Quantum Algebra · Mathematics 2017-09-14 Theo Johnson-Freyd

We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…

K-Theory and Homology · Mathematics 2011-11-10 Joseph Hirsh , Joan Millès

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…

Representation Theory · Mathematics 2010-04-02 Yuriy Drozd , Volodymyr Mazorchuk

The goal of this paper is to prove a Koszul duality result for E_n-operads in differential graded modules over a ring. The case of an E_1-operad, which is equivalent to the associative operad, is classical. For n>1, the homology of an…

Algebraic Topology · Mathematics 2017-04-06 Benoit Fresse

We consider nonsymmetric operads with two binary operations satisfying relations in arity 3; hence these operads are quadratic, and so we can investigate Koszul duality. We first consider operations which are nonassociative (not necessarily…

Rings and Algebras · Mathematics 2016-06-08 Murray Bremner , Juana Sánchez-Ortega

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…

Category Theory · Mathematics 2022-05-12 Ai Guan , Andrey Lazarev

We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a…

Algebraic Geometry · Mathematics 2016-08-24 Bjorn Andreas , Darío Sánchez Gómez , Fernando Sancho de Salas

We introduce here the notion of Koszul duality for monoids in the monoidal category of species with respect to the ordinary product. To each Koszul monoid we associate a class of Koszul algebras in the sense of Priddy, by taking the…

Combinatorics · Mathematics 2008-12-31 Miguel A. Mendez

We establish equalities between cochain and chain type levels of maps by making use of exact functors which connect appropriate derived and coderived categories. Relevant conditions for levels of maps to be finite are extracted from the…

Algebraic Topology · Mathematics 2016-01-27 Katsuhiko Kuribayashi

Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…

Algebraic Geometry · Mathematics 2020-03-24 Roy Joshua

We present an easily applicable sufficient condition for standard Koszul algebras to be Koszul with respect to $\Delta$. If a quasi-hereditary algebra $\L$ is Koszul with respect to $\Delta$, then $\L$ and the Yoneda extension algebra of…

Representation Theory · Mathematics 2012-02-20 Dag Oskar Madsen

In this paper, we construct a category of short exact sequences of vector bundles and prove that it is equivalent to the category of double vector bundles. Moreover, operations on double vector bundles can be transferred to operations on…

Differential Geometry · Mathematics 2015-05-05 Zhuo Chen , Zhangju Liu , Yunhe Sheng

We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over…

Algebraic Geometry · Mathematics 2008-11-26 Thomas Geisser

The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul…

Commutative Algebra · Mathematics 2012-05-11 Timur R. Seifullin

We study the Koszul duality between augmented $E_n$-algebras and augmented $E_n$-coalgebras in a symmetric monoidal stable infinity $1$-category equipped with a filtration in a suitable sense. We obtain that the Koszul duality constructions…

Algebraic Topology · Mathematics 2018-03-20 Takuo Matsuoka

Let $X$ be a partial flag variety, stratified by orbits of the Borel. We give a criterion for the category of modular perverse sheaves to be equivalent to modules over a Koszul ring. This implies that modular category $\mathcal O$ is…

Representation Theory · Mathematics 2014-06-17 Jan Weidner

The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular…

Algebraic Topology · Mathematics 2025-06-23 Geoffrey Powell