We study the so-called weakly Koszul modules and characterise their Koszul duals. We show that the (adjusted) associated graded module of a weakly Koszul module exactly determines the homology modules of the Koszul dual. We give an example of a quasi-Koszul module which is not weakly Koszul.
We are concerned with relating derived categories of all modules of two dual Koszul algebras defined by a locally bounded quiver. We first generalize the well known Acyclic Assembly Lemma and formalize an old method of extending a functor from an additive category into a complex category to its complex category. Applying this to the Koszul functor associated with a Koszul algebra defined by a gradable quiver, we obtain a Koszul complex functor, that descends to an equivalence of a continuous family of pairs of triangulated subcategories of doubly unbounded complexes of the respective derived c…
We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.
Let p be a prime number. We compute the Yoneda extension algebra of $GL_2$ over an algebraically closed field of characteristic p by developing a theory of Koszul duality for a certain class of 2-functors, one of which controls the category of rational representations of $GL_2$ over such a field.
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 author on HOMFLYPT link homology, we propose to enhance this duality with an additional grading. We provide evidence for this enhancement in the case of $\mathrm{GL}_2$, working in the language of the second-named author's joint work with Achar, Riche, and Williamson.
We establish a character formula for indecomposable tilting modules for connected reductive groups in characteristic p in terms of p-Kazhdan-Lusztig polynomials, for p>h the Coxeter number. Using results of Andersen, one may deduce a character formula for simple modules if p>2h-3. Our results are a consequence of an extension to modular coefficients of a monoidal Koszul duality equivalence established by Bezrukavnikov and Yun.
We introduce the alternating Schur algebra $AS_F(n,d)$ as the commutant of the action of the alternating group $A_d$ on the $d$-fold tensor power of an $n$-dimensional $F$-vector space. When $F$ has characteristic different from $2$, we give a basis of $AS_F(n,d)$ in terms of bipartite graphs, and a graphical interpretation of the structure constants. We introduce the abstract Koszul duality functor on modules for the even part of any $\mathbf Z/2\mathbf Z$-graded algebra. The algebra $AS_F(n,d)$ is $\mathbf Z/2\mathbf Z$-graded, having the classical Schur algebra $S_F(n,d)$ as its even part. …
We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the latter. In particular, this applies to graded representations of the universal enveloping algebra of the Takiff Lie algebra (or the truncated current algebra) and its (super)analogues, and also to semidirect products of quantum groups with braided symmetric and exterior module algebras in case the latter are flat deformations of classical ones.
The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techn…
In this paper, we define $A_{\infty}$-Koszul duals for directed $A_{\infty}$-categories in terms of twists in their $A_{\infty}$-derived categories. Then, we compute a concrete formula of $A_{\infty}$-Koszul duals for path algebras with directed $A_n$-type Gabriel quivers. To compute an $A_\infty$-Koszul dual of such an algebra $A$, we construct a directed subcategory of a Fukaya category which are $A_\infty$-derived equivalent to the category of $A$-modules and compute Dehn twists as twists. The formula unveils all the ext groups of simple modules of the parh algebras and their higher composi…
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 an equivalence between perverse sheaves on such a variety and modules for a certain graded ring, obtaining a formality result as a corollary. For flag varieties, these results were proved earlier by Beilinson-Ginzburg-Soergel using a rather different construction.
We show that if $Λ$ is a $n$-Koszul algebra and $E=E(Λ)$ 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 in even degrees, that embeds fully faithfully into the category $C(Gr_Λ)$ of cochain complexes of graded $Λ$-modules. That extends the known equivalence, for $Λ$ Koszul (i.e. for $n=2$), between $Gr_E$ and the category of linear complexes of graded $Λ$-modules
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 of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category $\mathcal{O}$, and some quasi-hereditary algebras with Cartan decomposition in the sense of K{ö}nig.
We formulate the (co)bar construction theory of dg $K$-(co)rings and the calculus theory of the Hochschild homology and cohomology of dg $K$-rings. As applications, we compare the Hochschild (co)homologies of a complete typical dg $K$-ring and its Koszul dual. Moreover, we show that the Koszul dual of a finite dimensional complete typical $d$-symmetric dg $K$-ring is a $d$-Calabi-Yau dg algebra whose Hochschild cohomology is a Batalin-Vilkovisky algebra. Furthermore, we prove that the Hochschild cohomologies of a finite dimensional complete typical $d$-symmetric dg $K$-ring and its Koszul dual…
One of our main results is a classification all the weakly symmetric radical cube zero finite dimensional algebras over an algebraically closed field having a theory of support via the Hochschild cohomology ring satisfying Dade's Lemma. Along the way we give a characterization of when a finite dimensional Koszul algebra has such a theory of support in terms of the graded centre of the Koszul dual.
We introduce the Hochschild extensions of dg algebras, which are $A_\infty$-algebras. We show that all exact Hochschild extensions are symmetric Hochschild extensions, more precisely, every exact Hochschild extension of a finite dimensional complete typical dg algebra is a symmetric $A_\infty$-algebra. Moreover, we prove that the Koszul dual of trivial extension is Calabi-Yau completion and the Koszul dual of exact Hochschild extension is deformed Calabi-Yau completion, more precisely, the Koszul dual of the trivial extension of a finite dimensional complete dg algebra is the Calabi-Yau comple…
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 differential). We prove that this closed model category is Quillen equivalent to the category of comodules over a certain, possibly nonconilpotent dg coalgebra, a so-called extended bar construction of $A$. This generalises and complements certain aspects of dg Koszul duality for associative algebras.
In their previous work, S. Koenig, S. Ovsienko and the second author showed that every quasi-hereditary algebra is Morita equivalent to the right algebra, i.e. the opposite algebra of the left dual, of a coring. Let $A$ be an associative algebra and $V$ an $A$-coring whose right algebra $R$ is quasi-hereditary. In this paper, we give a combinatorial description of an associative algebra $B$ and a $B$-coring $W$ whose right algebra is the Ringel dual of $R$. We apply our results in small examples to obtain restrictions on the $A_\infty$-structure of the $\textrm{Ext}$-algebra of standard module…
Let $Λ=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 $Λ$ is given in Green-Solberg. This resolution is shown to have a "comultiplicative" structure in Green-Hartman-Marcos-Solberg, and this is used to find a minimal projective resolution $\mathbb{P}$ of $Λ$ over the enveloping algebra $Λ^e$. Using these results we show that the multiplication in the Hochschild cohomology ring of $Ł$ relative to the resolution $\mathbb{P}$ is given as a cup product and als…
A DG algebras $A$ over a field $k$ with $H(A)$ connected and $H_{<0}(A)=0$ has a unique up to isomorphism DG module $K$ with $H(K)\cong k$. It is proved that if $H(A)$ is degreewise finite, then $RHom_A(?,K): D^{df}_{+}(A)^{op} \equiv D_{df}^{+}}(RHom_A(K,K))$ is an exact equivalence of derived categories of DG modules with degreewise finite-dimensional homology. It induces an equivalences of $D^{df}_{b}(A)^{op}$ and the category of perfect DG $RHom_A(K,K)$-modules, and vice-versa. Corresponding statements are proved also when $H(A)$ is simply connected and $H^{<0}(A)=0$.