Related papers: Koszul duality between Higgs and Coulomb categorie…
The Hecke category participates in an equivalence called monoidal Koszul duality, which exchanges it with the category of (Langlands-dual) "free-monodromic tilting sheaves." Motivated by a recent conjecture of Gorsky and the first-named…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise…
The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when…
A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra…
We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\mathcal{A}$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the dg functor is…
We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and…
We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category…
Let $\overline{\mathcal{M}}_{0,n+1}$ be the moduli space of genus zero stable curves with $(n+1)$-marked points. The collection $\overline{\mathcal{M}}=\{\overline{\mathcal{M}}_{0,n+1}\}_{n\geq 2}$ forms an operad in the category of complex…
We provide a new proof of the super duality equivalence between infinite-rank parabolic BGG categories of general linear Lie (super) algebras conjectured by Cheng and Wang and first proved by Cheng and Lam. We do this by establishing a new…
This paper is a continuation of a previous paper of the author, which gave an analogue to the classical Schur-Weyl duality in the setting of Deligne categories. Given a finite-dimensional unital vector space $V$ (a vector space $V$ with a…
For a Hopf algebra B, we endow the Heisenberg double H(B^*) with the structure of a module algebra over the Drinfeld double D(B). Based on this property, we propose that H(B^*) is to be the counterpart of the algebra of fields on the…
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 develop a systematic method to describe the moduli space of vacua of four dimensional $\mathcal{N}=2$ class ${\cal S}$ theories including Coulomb branch, Higgs branch and mixed branches. In particular, we determine the Higgs and mixed…
Motivated by the polynomial representation theory of the general linear group and the theory of symplectic singularities, we study a category of perverse sheaves with coefficients in a field $k$ on any affine unimodular hypertoric variety.…
We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give…
We investigate certain complexes that are associated to an operad $\mathscr{O}$ in $k$-vector spaces, where $k$ is a field of characteristic $0$. This exploits the study of modules over the $k$-linearization of the upward walled Brauer…
Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…
In this note, we prove the Koszulity of the tensor product algebra defined in the author's previous work for sl(n) and a list of fundamental weights. This is achieved by constructing a graded Morita equivalence between the modules over this…