Related papers: Finite Filtrations of Modules and Shellable Multic…
In this paper, we will introduce a subcategory of totally reflexive modules that have a saturated filtration by other totally reflexive modules. We will prove these are precisely the totally reflexive modules with an upper-triangular…
We introduce the notion of pure extending modules, a refinement of classical extending modules in which only pure submodules are required to be essential in direct summands. Fundamental properties and characterizations are established,…
Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We…
We develop the theory of mixed finite elements in terms of special inverse systems of complexes of differential forms, defined over cellular complexes. Inclusion of cells corresponds to pullback of forms. The theory covers for instance…
Smooth modules for affine Kac-Moody algebras have a prime importance for the quantum field theory as they correspond to the representations of the universal affine vertex algebras. But, very little is known about such modules beyond the…
We give a definition of an amenable fusion module over a fusion algebra. A notion of relative integrability for the `coduals' of coideals of compact quantum groups was recently introduced in the joint work of de Commer and Dzokou Talla. We…
We investigate the properties of pure derived categories of module categories, and show that pure derived categories share many nice properties of classical derived categories. In particular, we show that bounded pure derived categories can…
We establish an inequality relating the projective dimension of a DG-module in $\mathrm{D}^\mathrm{b}_\mathrm{f}(A)$ to its grade and introduce the concept of perfect DG-modules as a natural generalization of perfect modules. It is proved…
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.
A ring is clean (almost clean) if each of its elements is the sum of a unit (regular element) and an idempotent. A module is clean (almost clean) if its endomorphism ring is clean (almost clean). We show that every quasi-continuous and…
We study equivariant resolutions and local cohomologies of toric sheaves for affine toric varieties, where our focus is on the construction of new examples of decomposable maximal Cohen-Macaulay modules of higher rank. A result of Klyachko…
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…
Given a quasi-hereditary superalgebra $A$, the first author and R. Muth have defined generalized Schur bi-superalgebras $T^A(n)$ and proved that these algebras are again quasi-hereditary. In particular, $T^A(n)$ comes with a family of…
The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.
The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…
We introduce and study strongly vertex dismissible, vertex dismissible, and scalable simplicial complexes as non-pure extensions of vertex decomposability and shellability. Strong vertex dismissibility is defined recursively by relaxing the…
We prove that the depth formula holds for two finitely generated Tor-independent modules over Cohen-Macaulay local rings if one of the modules considered has finite reducing projective dimension (for example, if it has finite projective…
We prove that the p-Quillen complex of a finite solvable group with cyclic derived group is Cohen-Macaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made.
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of Smodels programs under the stable model semantics. The composition of Smodels program modules is suitably limited by module conditions which ensure the…
We classify the finite irreducible modules over the conformal superalgebra $K'_{4}$ by their correspondence with finite conformal modules over the associated annihilation superalgebra $\mathcal A(K'_{4})$. This is achieved by a complete…