Mathematics – Commutative Algebra
Scientific paper
2012-02-10
Mathematics
Commutative Algebra
22 pages
Scientific paper
An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the curves was arithmetically Cohen-Macaulay (ACM) and the other was not. Starting with an arbitrary homogeneous ideal in any number of variables, we give two constructions, each of which produces, in a finite number of steps, an ideal with the Hilbert function of a codimension two ACM subscheme. We call the subscheme associated to such an ideal "numerically ACM." We study the connections between these two constructions, and in particular show that they produce ideals with the same Hilbert function. We call the resulting ideal from either construction a "numerical Macaulification" of the original ideal. Specializing to the case where the ideals are unmixed of codimension two, we show that (a) every even liaison class, $\mathcal L$, contains numerically ACM subschemes, (b) the subset, $\mathcal M$, of numerically ACM subschemes in $\mathcal L$ has, by itself, a Lazarsfeld-Rao structure, and (c) the numerical Macaulification of a minimal element of $\mathcal L$ is a minimal element of $\mathcal M$. Finally, if we further restrict to curves in $\mathbb P^3$, we show that the even liaison class of curves with Hartshorne-Rao module concentrated in one degree and having dimension $n$ contains smooth, numerically ACM curves, for all $n \geq 1$. The first (and smallest) such example is that of Harris. A consequence of our results is that the knowledge of the Hilbert function of an integral curve alone is not enough to decide whether it contains zero-dimensional arithmetically Gorenstein subschemes of arbitrarily large degree.
Migliore Juan
Nagel Uwe
No associations
LandOfFree
Numerical Macaulification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Numerical Macaulification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Numerical Macaulification will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-275925