Generalized divisors and biliaison (Q2382936): Difference between revisions

In his paper [K-Theory 8, No. 3, 287--339 (1994; Zbl 0826.14005)], the author gave a theory of divisors on more general schemes than had been studied classically. Using this, \textit{J. O. Kleppe, R. Miró-Roig, U. Nagel, C. Peterson} and the reviewer [KMMNP, Mem.\ Am.\ Math.\ Soc.\ 732 (2001; Zbl 1006.14018)] laid the groundwork for the treatment of Gorenstein liaison as a theory about divisors. In this paper, the author extends this theory even further, by weakening even further the assumptions on the ambient scheme. He then shows how it correspondingly extends the study of Gorenstein liaison in this direction. More specifically, it allows for a more general treatment of biliaison, which is loosely speaking the equivalence relation generated by considering two schemes \(D,D'\) to be equivalent if they are generalized divisors on the same arithmetically Cohen-Macaulay (ACM) subscheme \(X\) (with mild restrictions), and one is linearly equivalent to the scheme obtained by adding to the other some hyperplane section divisors: \(D' \sim D + mH\). This implies that \(D\) and \(D'\) are in the same Gorenstein even liaison class. As an application, the author gives a new proof of a theorem of [KMMNP], namely that if an ideal \(I\) is obtained as the ideal of maximal minors of a homogeneous matrix, and if \(I\) has the expected height, then \(I\) is in the Gorenstein liaison class of a complete intersection. In fact, he shows that this can be achieved by biliaisons. A special kind of Gorenstein ideal was studied in [KMMNP] to achieve many of their results, namely those of the form \(M+nH\) on an ACM scheme \(X\) satisfying \(G_1\), where \(M\) is the anticanonical divisor of \(X\). In this paper the author also extends the study of such links (in the language of divisors and biliaisons) to more general \(X\), assuming only \(G_0\).