Related papers: Proper Resolutions and Gorenstein Categories

Let $G\subseteq GL(n)$ be a finite group without pseudo-reflections. We present an algorithm to compute and verify a candidate for the Cox ring of a resolution $X\rightarrow \mathbb{C}^n/G$, which is based just on the geometry of the…

This is the second paper in a series on representations over diagrams of abelian categories. We show that, under certain conditions, a compatible family of abelian model categories indexed by a skeletal small category can be amalgamated…

We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$…

The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for…

The quantified constraint satisfaction problem (QCSP) is the problem of deciding, given a structure and a first-order prenex sentence whose quantifier-free part is the conjunction of atoms, whether or not the sentence holds on the…

Let $\mathcal{X}$ be a class of left $R$-modules, $\mathcal{Y}$ be a class of right $R$-modules. In this paper, we introduce and study Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat modules as a common generalization of some known modules…

Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…

Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…

On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties. On the other hand, in a recent work, A.…

Rump has recently showed the existence of a unique maximal Quillen exact structure on any additive category. We study when this is given by the stable short exact sequences, i.e. kernel-cokernel pairs consisting of a semi-stable kernel and…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the…

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a…

An artin algebra $A$ is said to be CM-finite if there are only finitely many, up to isomorphisms, indecomposable finitely generated Gorenstein-projective $A$-modules. We prove that for a Gorenstein artin algebra, it is CM-finite if and only…

For coalgebras $C$ over a field, we study when the categories ${}^C\Mm$ of left $C$-comodules and $\Mm^C$ of right $C$-comodules are symmetric categories, in the sense that there is a duality between the categories of finitely presented…

For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize…

Neeman shows that the completion of a triangulated category with respect to a good metric yields a triangulated category. We compute completions of discrete cluster categories with respect to metrics induced by internal t-structures. In…

We develop a theory of completeness for weight structures on stable categories, dual to the theory of complete t-structures. As in the bounded case, we show that complete weight structures are determined by their weight heart, giving rise…

We discuss various methods and their effectiveness for solving linear equations over finitely generated abelian groups. More precisely, if $\varphi\colon G\to H$ is a homomorphism of finitely generated abelian groups and $b\in H$, we…