Related papers: Computing minimal free resolutions of right module…
Finite group actions on free resolutions and modules arise naturally in many interesting examples. Understanding these actions amounts to describing the terms of a free resolution or the graded components of a module as group…
We give an explicit algorithm to compute a projective resolution of a module over the noncommutative ring based on the noncommutative Groebner bases theory.
Let $R$ be any noetherian local ring with residue field $k$, and $A$ the homology of the Koszul complex on a minimal set of generators of the maximal ideal of $R$. In this paper, we show that a minimal free resolution of $k$ over $R$ can be…
We discuss certain homological properties of graded algebras whose trivial modules admit non-pure resolutions. Such algebras include both of Artin-Schelter regular algebras of types (12221) and (13431). Under certain conditions, a module…
We compute explicit homological invariants of a trimmed graded double Ore extension of the quantum plane. For a pilot family of type (14641), we determine the minimal graded free resolution and graded Betti numbers of the trivial right…
A free resolution of free partially commutative monoids is constructed and with its help the homological dimension of these monoids is calculated.
Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of…
With a view to study problems of smoothability, we construct a minimal free resolution for the coordinate ring of an algebroid monomial curve associated to an $AS$ numerical semigroup (i.e. generated by an arithmetic sequence), obtained…
We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why…
One standard approach to compute the Hilbert function of any graded module over a field is to come up with a free-resolution for the graded module and another is via a Hilbert power series which serves as a generating function. The proposed…
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…
Let $\mathbb{K}$ be a field and $A$ a Noetherian $\mathbb{K}$-algebra. In a paper of 2020, M. Albert, C. Bertone, M. Roggero and W. M. Seiler proved that, given a quasi-stable module $U \subset R^m$ with $R=\mathbb{K}[x_0,\dots,x_n]$, any…
Let $I \subset k[x_1, \dotsc, x_n]$ be a squarefree monomial ideal a polynomial ring. In this paper we study multiplications on the minimal free resolution $\mathbb{F}$ of $k[x_1, \dotsc, x_n]/I$. In particular, we characterize the possible…
The Betti tables of a multigraded module encode the grades at which there is an algebraic change in the module. Multigraded modules show up in many areas of pure and applied mathematics, and in particular in topological data analysis, where…
We introduce the class of modules with initially linear syzygies, which includes ideals with linear quotients, and study their minimal resolutions. Using a contracting homotopy for the resolutions, we see that the minimal resolution of a…
We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…
We will explore some properties of minimal graded free resolutions of $R/I$, where $R$ is a trivariate polynomial ring over a field and $I$ is a monomial ideal. Our focus will be to consider a specific form of the resolutions when $I$ is…
We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of…
We present a general algorithm for constructing a free resolution for unit groups of orders in semisimple rational algebras. The approach is based on computing a contractible $G$-complex employing the theory of minimal classes of quadratic…
In this paper we compute the set of point modules of finitely semi-graded rings. In particular, from the parametrization of the point modules for the quantum affine n-space, the set of point modules for some important examples of non…