The resolution of the universal ring for modules of rank zero and projective dimension two (Q876350): Difference between revisions

\textit{M. Hochster} [``Topics in the homological theory of modules over commutative rings.'' Conference Board of the Mathematical Sciences. Regional Conference Series in Mathematics. No.~24 (1975; Zbl 0302.13003)] found a commutative noetherian ring and a universal resolution \textbf{U}\(: 0\to {\mathcal R}^e\to {\mathcal R}^f\to {\mathcal R}^g\to 0\) such that for any commutative ring \(S\) and any resolution \textbf{V}\(: 0\to {\mathcal S}^e\to {\mathcal S}^f\to {\mathcal S}^g\to 0\) there is a unique ring homomorphism \({\mathcal R}\to S\) such that \textbf{V}=\textbf{U}\(\otimes_{\mathcal R}S\). The author constructs in the case \(f=e+g\) a resolution \textbf{F} of \({\mathcal R}\) by free modules over a polynomial ring \({\mathcal P}\) over the ring of integers \({\mathbb Z}\). If \(e=1\), the universal ring \({\mathcal R}\) is defined by the generic Herzog ideal of grade \(f\) and the minimal resolution is known [\textit{A. R. Kustin} and \textit{M. Miller}, J. Lond. Math. Soc (2), Ser. 28, 247--260 (1983; Zbl 0489.13005)]. A finite free subcomplex of \textbf{F} with the same homology as \textbf{F} is obtained. The resolution \textbf{F} is used to derive important information on \(\text{Tor}_{\bullet}^{\mathcal P}({\mathcal R},{\mathbb Z})\). Finally, the modules of the minimal resolution of \(K\otimes_{\mathbb Z}{\mathcal R}\) by free \(K\otimes_{\mathbb Z}{\mathcal P}\) are described, where \(K\) is a field. Most of this modules coincide which the modules that appear when one resolves divisors of a determinantal ring defined by the \(2\times 2\) minors of an \(e\times g\) matrix.