Search arXivSearch

arXiv · 2608.27660

Acyclic and totally acyclic objects in the $Q$-shaped derived category

Abstract

This paper concerns homological algebra based on $Q$-shaped diagrams, where $Q$ belongs to a certain class of small categories. We will show that the Gorenstein property of noetherian commutative rings is characterised by the condition that acyclicity coincides with total acyclicity for $Q$-shaped diagrams of suitable classes of modules. Many special cases occur as corollaries, for instance $N$-complexes. This generalises a classic result by Iyengar and Krause to the programme of $Q$-shaped derived categories, which builds on an insight of Iyama and Minamoto. We prove our result using an adjoint triple of functors relating $Q$-shaped diagrams to chain complexes. One of the functors was introduced by Jasso, and the whole triple generalises the compression, cocompression, and expansion functors for differential modules introduced by Avramov, Buchweitz, and Iyengar and by Nkansah. We consider the adjoint triple to be the main contribution of this paper.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Henrik Holm, Peter Jorgensen. 2026-08-27. Acyclic and totally acyclic objects in the $Q$-shaped derived category. https://arxiv.org/abs/2608.27660

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