Search arXivSearch

arXiv · 2604.16805

A Non-graded Koszul Duality and Its Applications

Abstract

Let \(Λ\) be a finite-dimensional Koszul algebra with Koszul dual \(Λ^!\). We establish derived Koszul dualities at the level of bounded derived categories, both in the graded setting \(\mathsf{D}^{b}(Λ\textup{-gmod})\) and in the ungraded setting \(\mathsf{D}^{b}(Λ\textup{-mod})\), without imposing finiteness conditions on \(Λ^!\). We first prove a graded derived Koszul duality for every finite-dimensional Koszul algebra, with no Noetherian or coherence assumptions on the Koszul dual. We then show that the bounded derived category \(\mathsf{D}^{b}(Λ\textup{-mod})\) can be reconstructed from the graded theory as the triangulated hull of an orbit category. This yields a genuinely non-graded derived Koszul duality. We further establish singular and dg refinements of these dualities. For Iwanaga--Gorenstein Koszul algebras, this gives a stable Koszul duality for graded Gorenstein-projective modules and their ungraded counterparts, providing a non-graded form of the Bernstein--Gel'fand--Gel'fand correspondence. As applications, we obtain new descriptions of the bounded derived categories \(\mathsf{D}^{b}(\mathcal{O}_λ)\) for all integral blocks of category \(\mathcal{O}\), including singular blocks, thereby closing a gap left open in the work of Beilinson, Ginzburg, and Soergel. We also establish analogous dualities for certain categories of perverse sheaves arising in geometric representation theory. Finally, we formulate conjectural descriptions of bounded derived and singularity categories of finite-dimensional graded algebras in terms of dg orbit categories.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. M. Bouhada. 2026-05-30. A Non-graded Koszul Duality and Its Applications. https://arxiv.org/abs/2604.16805

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Minuscule Relations in Quantum $K$-Theory of Flag Varieties

We study the quantum $K$-theory of the flag variety $G/B$. For each minuscule fundamental weight $\varpi$, we construct an explicit relation in the torus-equivariant quantum $K$-theory $QK_T(G/B)$. The relation can be regarded as a quantum deformation of the character of the irreducible representation with highest weight $\varpi$.

math.RT

A Gelfand model for the Okada algebra

In this paper, we construct a Gelfand model for the Okada algebra $O_n(X,Y)$ with generic parameters $X$ and $Y$, on the space of symmetric Okada arc diagrams using a conjugation-type action. The model is constructed inductively by identifying the Okada algebra as a diagram algebra and using the Jones basic construction to obtain a tower of algebras that are themselves Okada algebras at lower levels. We use the model to obtain all the irreducible representations of $O_n(X,Y)$, indexed by the elements of rank $n$ of the Young--Fibonacci lattice, and identify them with the cell modules of $O_n(X,Y)$.

math.RT

Categorical Lie-Rinehart modules and Shen-Larsson functors

We develop a categorical framework for Lie-Rinehart monoids and their weak modules in a symmetric monoidal category. Using crossed homomorphisms, we construct a natural action of the monoidal category of modules over a Lie monoid on the category of weak Lie-Rinehart modules, thereby obtaining categorical versions of the Shen-Larsson functors. We further characterize the conditions under which the category of weak modules admits a monoidal structure and identify the corresponding condition for the associated functors to be strict monoidal. A dual theory for Lie- Rinehart comonoids and weak comodules is developed using cocrossed homomorphisms. Combining the module and comodule constructions, we obtain a bimodule category structure on the category of weak modules. Finally, we specialize the general framework to the symmetric monoidal category of super vector spaces, recovering Lie-Rinehart superalgebras and their associated Shen-Larsson-type constructions.

math.RT