Related papers: Resolutions over strict complete intersections
Let $(R, \mathfrak{m})$ be a regular local ring of characteristic $p > 0$. Among all proper ideals $\mathfrak{a}\subseteq R$ with a fixed order of vanishing $\text{ord}_{\mathfrak{m}}(\mathfrak{a})$, we classify the ideals for which the…
Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0<...<m_n$ with no common factor that minimally generate the numerical semigroup $\sum_{i=0}^{n}m_i\N$ and such that $m_i-m_{i-1}=m_{i+1}-m_i$ for all…
Let (R,m) be a complete local ring, a an ideal of R and M a finitely generated R-module. The aim of this paper is to show that for any non-negative integer n, the least integer i such that the i-th local cohomology with respect to a is not…
Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$-module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim…
Let $\mathfrak a$ denote an ideal of a local ring $(R, \mathfrak m).$ Let $M$ be a finitely generated $R$-module. There is a systematic study of the formal cohomology modules $\varprojlim \HH^i(M/\mathfrak a^nM), i \in \mathbb Z.$ We…
Let $A=Q/(f)$ where $(Q,\mathfrak{n})$ be a complete regular local ring of dimension $d+1$, $f\in \mathfrak{n}^i\setminus\mathfrak{n}^{i+1}$ for some $i\geq 2$ and $M$ an MCM $A-$module with $e(M)=\mu(M)i(M)+1$ then we prove that depth…
Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.
Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired…
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…
We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…
We introduce a new invariant for subcategories X of finitely generated modules over a local ring R which we call the radius of X. We show that if R is a complete intersection and X is resolving, then finiteness of the radius forces X to…
Let \fa be an ideal of a local ring (R,\fm) and M a finitely generated R-module. This paper concerns the notion \fgrade(\fa,M), the formal grade of M with respect to \fa (i.e. the least integer i such that {\vpl}_nH^i_{\fm}(M/\fa^n M)\neq…
Let $Q=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with the standard $N^n$-grading. Let $\phi$ be a morphism of finite free $N^n$-graded $Q$-modules. We translate to this setting several notions and constructions that appear…
Let $d_1,...,d_r$ be positive integers and let $I = (F_1,...,F_r)$ be an ideal generated by general forms of degrees $d_1,...,d_r$, respectively, in a polynomial ring $R$ with $n$ variables. When all the degrees are the same we give a…
This article concerns linear parts of minimal resolutions of finitely generated modules over commutative local, or graded rings. The focus is on the linearity defect of a module, which marks the point after which the linear part of its…
It is well known that the ring radical theory can be approached via language of modules. In this work, we present some generalizations of classical results from module theory, in the two-sided and graded sense. Let $\mathsf{G}$ be a group,…
We introduce higher-dimensional module factorizations associated to a regular sequence. They include higher-dimensional matrix factorizations, which are commutative cubes consisting of free modules with edges being classical matrix…
This is a study of the sequences of Betti numbers of finitely generated modules over a complete intersection local ring, $R$. The subsequences $\{\beta^R_{i}(M)\}_{i\geq 0}$ with even, respectively, odd $i$ are known to be eventually given…
We classify the possible shapes of minimal free resolutions over a regular local ring. This illustrates the existence of free resolutions whose Betti numbers behave in surprisingly pathological ways. We also give an asymptotic…
Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is…