Related papers: Exterior powers and Tor-persistence

Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim…

Let $A$ be a commutative Noetherian ring of characteristic $p>0$, such that $\dim(A)=d$. Let $P$ be a projective $A[T_1,...,T_n]$-module of rank $d$. We show that $P$ is cancellative if and only if $P/<T_1,...,T_n>P$ is cancellative. We…

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings,…

Let $R$ be a commutative noetherian ring, $\fa$ an ideal of $R$ and $M,N$ finite $R$--modules. We prove that the following statements are equivalent. \begin{enumerate} \item[(i)] $\lc^{i}_{\fa}(M,N)$ is finite for all $i< n$. \item[(ii)]…

A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…

We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- \'etale cohomology groups of…

Let $R$ be a Cohen-Macaulay local ring and let $M$ and $N$ be non-zero finitely generated $R$-modules. We investigate necessary conditions for the depth formula $\depth(M)+\depth(N)=\depth(R)+\depth(M\otimes_{R}N)$ to hold. We show that,…

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let $R$ be a commutative Noetherian ring and $a$ an ideal in the Jacobson radical of $R$. Let $\hat{R}^a$ be the $a$-adic completion of $R$.…

Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl…

For a Noetherian $R$-algebra $\Lambda$, there is a canonical inclusion $\mathsf{tors}\Lambda\to\prod_{\mathfrak{p}\in \mathrm{Spec} R}\mathsf{tors}(\kappa(\mathfrak{p})\Lambda)$, and each element in the image satisfies a certain…

Let $R$ and $S$ be rings and $_R\omega_S$ a semidualizing bimodule. We study when the double functor $\Tor^S_i(\omega, \Ext^i_{R}(\omega,-))$ preserves epimorphisms and the double functor $\Ext_{R}^i(\omega, \Tor_i^{S}(\omega,-))$ preserves…

Let $R$ be an excellent local domain of positive characteristic with residue field $k$ and let $R^+$ be its absolute integral closure. If $\text{Tor}^R_1(R^+,k)$ vanishes, then $R$ is Cohen-Macaulay, normal, F-rational and F-pure. If $R$…

In analogy with the classical, affine toric rings, we define a local toric ring as the quotient of a regular local ring modulo an ideal generated by binomials in a regular system of parameters with unit coefficients; if the coefficients are…

Let $R=\bigoplus_{i\geq 0}R_i$ be a Noetherian commutative non-negatively graded ring such that $(R_0,\mathfrak{m}_0)$ is a Henselian local ring. Let $\mathfrak{m}$ be its unique graded maximal ideal $\mathfrak{m}_0+\bigoplus_{i>0}R_i$. Let…

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$, $N$ a perfect $A$-module and let $I$ be an ideal in $A$ with $\ell(N/IN)$ finite. We show that there is a integer $r_I \geq -1$ (depending only on $I$ and $N$)…

Let \frak a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that {\rm Ann}_R(H_{\frak a}^{{\dim M}({\frak a}, M)}(M))= {\rm Ann}_R(M/T_R({\frak a}, M)), where T_R({\frak a}, M) is the largest…

We study H. Dao's invariant $\eta_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $\eta_c^R$ vanishes for all pairs of modules when $R$ is a…

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…

For a commutative noetherian ring $R$, we classify all the hereditary cotorsion pairs cogenerated by pure-injective modules of finite injective dimension. The classification is done in terms of integer-valued functions on the spectrum of…