L. Szpiro's conjecture on Gorenstein algebras in codimension 2 (Q2488318): Difference between revisions

The motivation of the author is to study the structure of the canonical surfaces \(X\) in \(\mathbb P^4\), for which \(K^2\geq 13\), where \(K\) is the canonical divisor of \(X\). In this paper the author considers a more general question: Let \(A\) be a `good' Cohen-Macaulay ring, and \(R\) be a \(A-\)module with the duality property \(R=\text{ Ext}^2_A(R,A)\), is it then possible to get a ring structure on \(R\) from this property? The main results are: \noindent Let \((A,m)\) be a Cohen-Macaulay local ring, let \(R\) be a finite \(A-\)module with distinguished element \(e\in R\). Suppose that \(R\) has a \(A\) minimal free resolution of length 2. Let \(\varphi \) be the matrix presentation of \(R\) as an \(A-\)module, with the first row corresponding to the element \(e\in R\). Let \(\varphi '\) be the matrix obtained from \(\varphi \) by deleting the first row. Denote by \(I'\) the ideal generated by the maximal minors of \(\varphi '\). Suppose that \(\text{ depth( Ann}_AR,A)=2\) and \(\text{ depth}I'\geq 4\), then \(R\cong \text{ Hom}_{A_Y}(C,C),\) where \(A_Y=A/\text{ Ann}_A R\) and \(C= \text{ Hom}_{A_Y}(R,A_Y)\), in particular \(R\) has a ring structure. \noindent Let \((A,m)\) be a Cohen-Macaulay local ring, with \(2\) invertible in \(A\). Let \(R\) be a Gorenstein \(A-\)algebra of codimension 2, then \(R\) admits as an \(A-\) module a symmetric minimal free resolution. \noindent The author also gives graded versions of the above results.