Related papers: Categorical Koszul duality

For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic…

We show that if $\Lambda$ is a $n$-Koszul algebra and $E=E(\Lambda)$ is its Yoneda algebra, then there is a full subcategory $\mathcal{L}_E$ of the category $Gr_E$ of graded $E$-modules, which contains all the graded $E$-modules presented…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

A fundamental result of Beilinson-Ginzburg-Soergel states that on flag varieties and related spaces, a certain modified version of the category of l-adic perverse sheaves exhibits a phenomenon known as Koszul duality. The modification…

We give a new proof that for a finite group G, the category of rational G-equivariant spectra is Quillen equivalent to the product of the model categories of chain complexes of modules over the rational group ring of the Weyl group of H in…

In this paper we study a category of trees TI and prove that it is a Koszul category. Consequences are the interpretation of the reduced bar construction of operads of Ginzburg and Kapranov as the Koszul complex of this category, and the…

Let $X$ be a finite connected simplicial complex, and let $\delta$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with…

We establish a categorical version of Vogan duality for quasi-split real groups. This proves a conjecture of Soergel in the quasi-split case.

In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul…

Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gr\"obner basis theory, we show that these algebras are Koszul and that…

We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories.

Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\lambda$-calculus. An…

We extend the Koszul duality theory of associative algebras to algebras over an operad. Recall that in the classical case, this Koszul duality theory relies on an important chain complex: the Koszul complex. We show that the cotangent…

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…

Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…

We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson $n$-algebras given by polynomial functions on a…

In this paper, we give a method for relating the generalized category $\mathcal{O}$ defined by the author and collaborators to explicit finitely presented algebras, and apply this to quiver varieties. This allows us to describe…

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…