Related papers: Computing minimal free resolutions of right module…
This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition,…
Let $\Gamma=\langle \alpha, \beta \rangle$ be a numerical semigroup. In this article we consider the dual $\Delta^*$ of a $\Gamma$-semimodule $\Delta$; in particular we deduce a formula that expresses the minimal set of generators of…
In this paper, we study a class $\mathcal{C}$ of squarefree monomial ideals $I\subseteq R=\mathbb{K}[x_1,\dots,x_n]$ over a field $\mathbb{K}$, defined by the condition that $\dim R/I$ equals the maximum degree of the minimal generators of…
A $\mathbb{Z}^d$-graded differential $R$-module is a $\mathbb{Z}^d$-graded $R$-module $D$ equipped with an endomorphism, $\delta$, that squares to zero. For $R=k[x_1,\ldots,x_d]$, this paper establishes a lower bound on the rank of such a…
This paper develops a duality theory for connected cochain DG algebras, with particular emphasis on the non-commutative aspects. One of the main items is a dualizing DG module which induces a duality between the derived categories of DG…
An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional…
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
Let $R=\Bbbk [x_1,..., x_m]$ be a polynomial ring in $m$ variables over $\Bbbk$ with the standard $\mathbb{Z}^m$ grading and $L$ a multigraded Noetherian $R$-module. When $\Bbbk$ is a field, Tchernev has an explicit construction of a…
One can iteratively obtain a free resolution of any monomial ideal $I$ by considering the mapping cone of the map of complexes associated to adding one generator at a time. Herzog and Takayama have shown that this procedure yields a minimal…
In this paper we study the representation theory of filtered algebras with commutative associated graded whose spectrum has finitely many symplectic leaves. Examples are provided by the algebras of global sections of quantizations of…
In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this…
Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…
We classify finitely generated modules over a class of algebras introduced in the authors' Ph.D thesis, called complete gentle algebras. These rings generalise the finite-dimensional gentle algebras introduced by Assem and Skowro\'{n}ski,…
Let S be a polynomial ring and R=S/I where I is a graded ideal of S. The Multiplicity Conjecture of Herzog, Huneke, and Srinivasan which was recently proved using the Boij-Soederberg theory states that the multiplicity of R is bounded above…
We use the construction of the relative bar resolution via differential graded structures to obtain the minimal graded free resolution of $\text{Der}_{R \mid k}$, where $R$ is a determinantal ring defined by the maximal minors of an $n…
In this article, we study the multiparameter second quantum Weyl algebra at roots of unity. In this setting, the algebra is a polynomial identity (PI) algebra, and the dimension of its simple modules is bounded above by its PI degree. We…
Let R be a local ring and A a connected differential graded algebra over R which is free as a graded R-module. Using homological perturbation theory techniques, we construct a minimal free multi model for A having properties similar to that…
Let $\Lambda=kQ/I$ be a Koszul algebra over a field $k$, where $Q$ is a finite quiver. An algorithmic method for finding a minimal projective resolution $\mathbb{F}$ of the graded simple modules over $\Lambda$ is given in Green-Solberg.…
We study the homological algebra of an R = Q/I module M using A-infinity structures on Q-projective resolutions of R and M. We use these higher homotopies to construct an R-projective bar resolution of M, Q-projective resolutions for all…