Annihilators of Koszul homologies and almost complete intersections (Q2154979)

The study in the present article originates in homological conjectures. \textit{S. P. Dutta} [J. Algebra 383, 232--241 (2013; Zbl 1299.13016)] showed that the proof of the monomial conjecture can be reduced to the case of complete local, almost complete intersection rings (that is, a regular local ring modulo ideal generated by height \(+1\) elements) and considered conditions for such rings to satisfy the monomial conjecture. First, the author gives such a condition by using a Koszul homology. Let \(R\) be a local almost complete intersection ring with maximal ideal \(\mathfrak m\) and \(\boldsymbol x\) a system of parameters for \(R\). Then \(R\) satisfies the monomial conjecture if and only if \[ (\boldsymbol x) \subsetneq 0:_R H_1(\boldsymbol x; R). \tag{\(\#\)} \] Since the mononial conjecture is solved in affirmative, \((\#)\) is true in general. Next, the author studied higher Koszul homologies. Also, assume that \(R\) is local almost complete intersection and \(\boldsymbol x\) a system of parameters for \(R\). If \(R\) has mixed characteristic \(p\), then assume that \(x_1 = p\) in addition. He showed that \(\mathfrak m H_i(\boldsymbol x; R) = 0\) for all \(i \geq 1\) if \(\mathfrak m^2 \subset (\boldsymbol x)\). In this case, the residue field \(R/\mathfrak m\) has a resolution of length \(\leq \dim R + 1\) by residual approximation complex which is invented by [\textit{S. H. Hassanzadeh} and \textit{J. Naéliton}, Algebra Number Theory 10, No. 4, 737--770 (2016; Zbl 1343.13015)]. Finally, he showed that the small Cohen-Macaulay conjecture is valid for all complete local ring if and only if the conjecture is valid for complete local, almost complete intersection rings.