arXiv math/03044472003-04-28math.AGmath.AC

Gorenstein Biliaison and ACM Sheaves

Marta Casanellas, Robin Hartshorne

备注：: Key words and phrases: linkage, liaison, biliaison, Gorenstein scheme, maximal Cohen-Macaulay modules; 30 pages

英文摘要：

Let $X$ be a normal arithmetically Gorenstein scheme in ${\mathbb P}^n$. We give a criterion for all codimension two ACM subschemes of $X$ to be in the same Gorenstein biliaison class on $X$, in terms of the category of ACM sheaves on $X$. These are sheaves that correspond to the graded maximal Cohen--Macaulay modules on the homogeneous coordinate ring of $X$. Using known results on MCM modules, we are able to determine the Gorenstein biliaison classes of codimension two subschemes of certain varieties, including the nonsingular quadric surface in ${\mathbb P}^3$, and the cone over it in ${\mathbb P}^4$. As an application we obtain a new proof of some theorems of Lesperance about curves in ${\mathbb P}^4$, and answer some questions be raised.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Generalized Divisors and Biliaison

We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a stronger form of the theorem of Gaeta, that standard determinantal schemes are in the Gorenstein biliaison class of a complete intersection. We also show, for schemes of codimension three in ${\mathbb P}^n$, that the relation of Gorenstein biliaison is equivalent to the relation of even strict Gorenstein liaison.

2006-11-29math.AG

Liaison addition and the structure of a Gorenstein liaison class

We study the concept of liaison addition for codimension two subschemes of an arithmetically Gorenstein projective scheme. We show how it relates to liaison and biliaison classes of subschemes and use it to investigate the structure of Gorenstein liaison equivalence classes, extending the known theory for complete intersection liaison of codimension two subschemes. In particular, we show that on the non-singular quadric threefold in projective 4-space, every non-licci ACM curve can be obtained from a single line by successive liaison additions with lines and CI-biliaisons.

2006-11-30math.ACmath.AG

Gorenstein Liaison and ACM Sheaves

We study Gorenstein liaison of codimension two subschemes of an arithmetically Gorenstein scheme X. Our main result is a criterion for two such subschemes to be in the same Gorenstein liaison class, in terms of the category of ACM sheaves on X. As a consequence we obtain a criterion for X to have the property that every codimension 2 arithmetically Cohen-Macaulay subscheme is in the Gorenstein liaison class of a complete intersection. Using these tools we prove that every arithmetically Gorenstein subscheme of $\mathbb{P}^n$ is in the Gorenstein liaison class of a complete intesection and we a…

2003-07-29math.ACmath.AG

Experiments with Gorenstein Liaison

We give some experimental data of Gorenstein liaison, working with points in ${\mathbb P}^3$ and curves in ${\mathbb P}^4$, to see how far the familiar situation of liaison, biliaison, and Rao modules of curves in ${\mathbb P}^3$ will extend to subvarieties of codimension 3 in higher ${\mathbb P}^4$.

2001-06-28math.AG

Geometry of arithmetically Gorenstein curves in ${\mathbb P}^4$

We characterize the postulation character of arithmetically Gorenstein curves in ${\mathbb P}^4$. We give conditions under which the curve can be realized in the form $mH-K$ on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in ${\mathbb P}^4$ can be obtained from a line by a series of ascending complete-intersection biliaisons.

2003-01-15math.AG

Codimension 3 Arithmetically Gorenstein Subschemes of projective $N$-space

We study the lowest dimensional open case of the question whether every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^N$ is glicci, that is, whether every zero-scheme in $\mathbb{P}^3$ is glicci. We show that a set of $n \geq 56$ points in general position in $\PP^3$ admits no strictly descending Gorenstein liaison or biliaison. In order to prove this theorem, we establish a number of important results about arithmetically Gorenstein zero-schemes in $\mathbb{P}^3$.

2008-02-28math.AG

更多相关论文收起更多论文

Monomial ideals and the Gorenstein liaison class of a complete intersection

It is well known that for a subscheme $V$ in ${\mathbb P}^{n}$ of codimension two, the conditions (1) $V$ is ACM, and (2) $V$ is "licci" (i.e. $V$ is in the liaison class of a complete intersection) are equivalent. In higher codimension, (2) implies (1) but the converse is false. For Gorenstein liaison the analog of (2) is: $(2')$ $V$ is "glicci" (i.e. $V$ is in the Gorenstein liaison class of a complete intersection). It remains true that $(2')$ implies (1) but now the converse is an important open question. Previously the authors described a mechanism for lifting monomial ideals to reduced u…

2001-03-27math.ACmath.AG

Minimal links and a result of Gaeta

If $V$ is an equidimensional codimension $c$ subscheme of an $n$-dimensional projective space, and $V$ is linked to $V'$ by a complete intersection $X$, then we say that $V$ is {\em minimally linked} to $V'$ if $X$ is a codimension $c$ complete intersection of smallest degree containing $V$. Gaeta showed that if $V$ is any arithmetically Cohen-Macaulay (ACM) subscheme of codimension two then there is a finite sequence of minimal links beginning with $V$ and arriving at a complete intersection. We extend this work in the following ways: 1) In the codimension 2 non-ACM case, we show that for any…

2008-04-03math.ACmath.AG