-
A Representation theoretic perspective of Koszul theory
Authors:
Ales Bouhada,
Min Huang,
Zetao Lin,
Shiping Liu
Abstract:
We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and the quadratic dual $\La^!$, which enables us to describe the linear projective resolutions and the colinear injective coresolutions of graded simple $\La$-modu…
▽ More
We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and the quadratic dual $\La^!$, which enables us to describe the linear projective resolutions and the colinear injective coresolutions of graded simple $\La$-modules in terms of $\La^!$. As applications, we obtain a new class of Koszul algebras and a stronger version of the Extension Conjecture for finite dimensional Koszul algebras with a noetherian Koszul dual. Then we construct two Koszul functors, which induce a $2$-real-parameter family of pairs of derived Koszul functors between categories derived from graded $\La$-modules and those derived from graded $\La^!$-modules. In case $\La$ is Koszul, each pair of derived Koszul functors are mutually quasi-inverse, one of the pairs is Beilinson, Ginzburg and Soergel's Koszul duality. If $\La$ and $\La^!$ are locally bounded on opposite sides, then the Koszul functors induce two equivalences of bounded derived categories: one for finitely piece-supported graded modules, and one for finite dimensional graded modules. And if $\La$ and $\La^!$ are both locally bounded, then the bounded derived category of finite dimensional graded $\La$-modules has almost split triangles with the Auslander-Reiten translations and the Serre functors given by composites of derived Koszul functors.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Koszul duality for non-graded derived categories
Authors:
Ales Bouhada,
Min Huang,
Shiping Liu
Abstract:
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 grad…
▽ More
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 categories of all modules of the Koszul algebra and its Koszul dual. Under this special setting, this extends Beilinson, Ginzburg and Soegel's Koszul duality. In case the Koszul algebra is right or left locally bounded and its Koszul dual is left or right locally bounded respectively (for instance, the quiver has no right infinite path or no left infinite path), our Koszul duality restricts to an equivalence of the bounded derived categories of finitely supported modules, and an equivalence of the bounded derived categories of finite dimensional modules.
△ Less
Submitted 16 August, 2019;
originally announced August 2019.
-
Singularity categories of locally bounded categories with radical square zero
Authors:
Ales M. Bouhada
Abstract:
This paper studies several singularity categories of a locally bounded $k-$linear category $\mathscr{C}$ with radical square zero. Following the work of Bautista and Liu [6], we give a complete description of $D^{b}_{sg}(\mathscr{C})$, $D^{b}_{sg}(\mathscr{C}^{op})$, $D^{-}_{sg}(proj$-$\mathscr{C})$, and $D^{+}_{sg}(inj$-$\mathscr{C})$ by proving a triangle equivalences between these categories an…
▽ More
This paper studies several singularity categories of a locally bounded $k-$linear category $\mathscr{C}$ with radical square zero. Following the work of Bautista and Liu [6], we give a complete description of $D^{b}_{sg}(\mathscr{C})$, $D^{b}_{sg}(\mathscr{C}^{op})$, $D^{-}_{sg}(proj$-$\mathscr{C})$, and $D^{+}_{sg}(inj$-$\mathscr{C})$ by proving a triangle equivalences between these categories and certain orbit categories of the bounded derived categories of certain semisimple abelian categories of representations. In the end, we will give some examples to show how one can easily compute the generators of $D_{sg}(\mathscr{C})$ from the quiver of $\mathscr{C}$.
△ Less
Submitted 21 August, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
An alternative way to solve the Cohen-Macaulay-ness conjecture in the quiver variety
Authors:
Ales M. Bouhada
Abstract:
This short paper is another way to say that one can attack the Cohen-Macaulay-ness conjecture in the geometry of quiver variety using homological algebra.
This short paper is another way to say that one can attack the Cohen-Macaulay-ness conjecture in the geometry of quiver variety using homological algebra.
△ Less
Submitted 14 January, 2019; v1 submitted 27 September, 2018;
originally announced September 2018.
