Related papers: Preprojective categories of type A

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…

We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…

For general finite-dimensional self-injective algebra $A$ we construct a family of injective coassociative coproducts $A\to A\otimes A$, all $A$-bimodule morphisms. In particular such structures always exist, confirming a conjecture of…

The linear category $\mathbf{A}$ of Jacobi diagrams in handlebodies was introduced by Habiro and Massuyeau. We study the category of modules over the category $\mathbf{A}$. We generalize the adjunction given by Powell to an adjunction…

Bialkowski, Erdmann and Skowronski classified those indecomposable self-injective algebras for which the Nakayama shift of every (non-projective) simple module is isomorphic to its third syzygy. It turned out that these are precisely the…

Enomoto and Sakai classified IE-closed subcategories over hereditary algebras via twin rigid modules. However, this classification inherently relies on the vanishing of second extension spaces, thus failing for arbitrary finite-dimensional…

In this paper we study a class of modules over infinite-dimensional Lie (super)algebras, which we call conformal modules. In particular we classify and construct explicitly all irreducible conformal modules over the Virasoro and the N=1…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

In this article we study support $\tau$-tilting modules, semibricks and more over blocks of group algebras. Let $k$ be an algebraically closed field of characteristic $p>0$, $\tilde{G}$ a finite group and $G$ a normal subgroup of…

In the representation theory of finite-dimensional algebras, the study of projective presentations of maximal rank is closely related to the study of generically $\tau$-regular irreducible components of varieties of modules over such…

D.Happel and L.Unger defined a partial order on the set of basic tilting modules. We study the poset of basic pre-projective tilting modules over path algebra of infinite type. First we will give a criterion for Ext-vanishing for…

We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are…

Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\mathcal{S}$ be an arbitrary Serre subcategory of $R$-modules satisfying the condition $C_{\frak a}$ and let $\mathcal{N}$ be the subcategory of finitely generated…

In this article, we introduce the concepts of graded $s$-prime submodules which is a generalization of graded prime submodules. We study the behavior of this notion with respect to graded homomorphisms, localization of graded modules,…

We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for…

In this paper we characterize the projective modules over an arbitrary quantale, and then we apply such a characterization in order to define the K_0 group of a quantale. Then we study congruences of quantales and quantale modules by means…

We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…

Persistence modules are representations of products of totally ordered sets in the category of vector spaces. They appear naturally in the representation theory of algebras, but in recent years they have also found applications in other…