Related papers: Free resolutions over short local rings
We study simple $\mathfrak{sl}(2)$-modules over $\mathbb C$ that are free of finite rank as $U(\mathfrak h)$-modules, where $\mathfrak h$ is a Cartan subalgebra of $\mathfrak{sl}(2)$. Our main result is an explicit classification of the…
Let $M$ be a finitely generated bigraded module over the standard bigraded polynomial ring $S=K[x_1,...,x_m, y_1,...,y_n]$, and let $Q=(y_1,...,y_n)$. The local cohomology modules $H^k_Q(M)$ are naturally bigraded, and the components…
This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of…
Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…
For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental…
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…
Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed \'etale…
Let A be the ring obtained by localizing the polynomial ring k[X,Y,Z,W] over a field k at the maximal ideal (X,Y,Z,W) and modulo the ideal (XW-YZ). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal…
In this paper, we aim to obtain some results under the condition that the dual of a module over a commutative Noetherian ring has finite Gorenstein dimension. In this direction, we derive results involving vanishing of Ext as well as the…
We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…
We study the category of Z^l-graded modules with finite-dimensional graded pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre subcategories with finitely many isomorphism classes of simple objects. We construct…
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…
Let E and G be free modules of rank e and g, respectively, over a commutative noetherian ring R. The identity map on E^* tensor G induces the Koszul complex ... -> S_mE^* tensor S_nG tensor Wedge^p(E^* tensor G) -> S_{m+1}E^* tensor…
We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…
Let $R$ be a standard graded commutative algebra over a field $k$, let $K$ be its Koszul complex viewed as a differential graded $k$-algebra, and let $H$ be the homology algebra of $K$. This paper studies the interplay between homological…
In this paper, we describe the structure of the localization of Ext^{i}_{R}(R/P,M), where P is a prime ideal and M is a module, at certain Ore sets X. We first study the situation for FBN rings, and then consider matters for a large class…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
Given a topological ring $R$, we study semitopological $R$-modules, construct their completions, Bohr and borno modifications. For every topological space $X$, we construct the free (semi)topological $R$-module over $X$ and prove that for a…
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax…
It is shown that the methods and algorithms, developed in (A. Capani et al., Computing minimal finite free resolutions, {\it Journal of Pure and Applied Algebra}, (117& 118)(1997), 105 -- 117; M. Kreuzer and L. Robbiano, {\it Computational…