Related papers: The Existence of Pure Free Resolutions
Let $X$ be a finitely generated left module over a left artinian ring $R$, and let $p(X)=\{l_i\}$ be the infinite sequence of nonnegative integers where $l_i$ is the length of the $i$-th term of the minimal projective resolution of $X$. We…
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…
In this paper we construct free resolutions of certain class of closed subvarieties of affine spaces (the so-called "opposite big cells" of Grassmannians). Our class covers the determinantal varieties, whose resolutions were first…
Let $K\left\langle X \right\rangle$ denote the free associative algebra generated by a set $X = \{x_1, \dots, x_n\}$ over a field $K$ of characteristic $0$. Let $I_p$, for $p \geq 2$, denote the two-sided ideal in $K\left\langle X…
We establish the existence and uniqueness of finite free resolutions - and their attendant Betti numbers - for graded commuting d-tuples of Hilbert space operators. Our approach is based on the notion of free cover of a (perhaps…
We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity…
Given a sequence of related modules $M_n$ defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gr\"obner basis for each $M_n$. Furthermore, one may ask how to simultaneously compute the…
Let $\mathcal{O}$ be a Dedekind domain whose field of fractions $K$ is a global field. Let $A$ be a finite-dimensional separable $K$-algebra and let $\Lambda$ be an $\mathcal{O}$-order in $A$. Let $n$ be a positive integer and suppose that…
The ring R of real-exponent polynomials in n variables over any field has global dimension n+1 and flat dimension n. In particular, the residue field k = R/m of R modulo its maximal graded ideal m has flat dimension n via a Koszul-like…
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to…
We use the results by Eisenbud and Schreyer to prove that any Betti diagram of a graded module over a standard graded polynomial ring is a positive linear combination Betti diagrams of modules with a pure resolution. This implies the…
We construct an action of a free resolution of the Frobenius properad on the differential forms of a closed oriented manifold. As a consequence, the forms of a manifold with values in a semi-simple Lie algebra have an additional structure…
Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…
This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective…
Given a subspace L of a vector space V, the Kalman variety consists of all matrices of V that have a nonzero eigenvector in L. Ottaviani and Sturmfels described minimal equations in the case that dim L = 2 and conjectured minimal equations…
Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to…
This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation…
Let $S = k[x_{11}, \cdots, x_{1b_1}, \cdots, x_{n1}, \cdots, x_{nb_n}]$ be a polynomial ring in $m = b_1 + \cdots + b_n$ variables over a field $k$. For all $j$, $1\le j \le n$, let $P_j$ be the prime ideal generated by variables $\{x_{j1},…
We construct free resolutions for quotient rings $R/\langle \mathcal{I}', \mathcal{I}\mathcal{J}, \mathcal{J}'\rangle$, give conditions for the quotient to be realized as a fiber product, and give criteria for the construction to be…
The behaviour under coarsening functors of simple, entire, or reduced graded rings, of free graded modules over principal graded rings, of superfluous monomorphisms and of homological dimensions of graded modules, as well as adjoints of…