Homological algebra modulo exact zero-divisors
Let \(S\) be a commutative noetherian local ring and let \(I\) be an ideal. When \(I\) is generated by a regular sequence, there is a well developed theory relating the homological behavior of \(S/I\)-modules to that over \(S\). The work being reviewed considers a different situation. Let \(x,y \in S\) be elements such that \(\mathrm{ann}_S(x) = (y)\) and \(\mathrm{ann}_S(y) = (x)\). We say \((x,y)\) is a \textit{pair of exact zero-divisor} of \(S\). A classic example for such a situation is provided when \(S = T/(x)\) where \(T\) itself is a commutative local noetherian ring. Henceforth, we assume that \((x,y) \in S\) is a pair of exact zero divisor and \(R = S/(x)\). Let \(M, N\) be \(R\)-modules such that \(yN = 0\). The first theorem asserts that if there is an integer \(n \geq 2\) such that \(\mathrm{Tor}_i^R(M,N) = 0\) for \(1 \leq i \leq n\), then \(\mathrm{Tor}_i^S(M,N) \cong M \otimes_S N\) for \(1 \leq i \leq n-1\). This result is in sharp contrast to the case if \(x\) were a regular element where it is a vanishing result. A similar statement is proved for homology. In section 3, authors prove the following inequality concerning Betti numbers of \(M\): \[ \beta_n^R(M) - \sum_{i=0}^{n-2}\beta_i^R(M) \leq \beta_n^S(M) \leq \sum_{i=0}^n \beta_i^R(M) \] Thus \(cx_S(M) \leq cx_R(M) + 1\) holds where \(cx_A(P)\) denotes the complexity of a \(A\)-module \(P\). The main result of the last section, Theorem 4.2, shows that the triviality of canonical element of \(\mathrm{Ext}^2_R(M,M)\) implies that \(M\) lifts from \(R\) to \(S\) as a module.
- Homology of zero-divisors
- Hochschild homology of rings of algebraic integers
- Homology of homogeneous divisors
- Gorenstein homological dimensions of modules under exact zero-divisors
- Modular \(\mathrm{d}_0 \)-algebras
- Zeroth Hochschild homology of preprojective algebras over the integers
- Modular Cohomology Algebras
- scientific article; zbMATH DE number 556497
- scientific article; zbMATH DE number 4183678
- scientific article; zbMATH DE number 3125399
- Homology of homogeneous divisors
- Betti numbers under small perturbations
- Auslander class, \(G_{C}\), and \(C\)-projective modules modulo exact zero-divisors
- Un diviseur de zéro induisant un élément d'homotopie central
- Cohomological operators on quotients by exact zero divisors
- scientific article; zbMATH DE number 7532060 (Why is no real title available?)
- \({G_C}\)-homological dimensions of modules under exact zero-divisors
- Gorenstein homological dimensions of modules under exact zero-divisors
- A study of Tate homology via the approximation theory with applications to the depth formula
- Restricting homology to hypersurfaces
- Dg module structures and minimal free resolutions modulo an exact zero divisor
- Relations between Poincaré series for quasi-complete intersection homomorphisms
- Rings for which general linear forms are exact zero divisors
- Exact decompositions and zero-divisor graphs
- The mapping cone of an Eisenbud operator and applications to exact zero divisors
This page was built for publication: Homological algebra modulo exact zero-divisors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q482155)
