Numerical Macaulification

zbMATH Open1317.13044MaRDI QIDQ5500520FDOQ5500520

Authors: Juan C. Migliore, Uwe Nagel 

Publication date: 6 August 2015

Abstract: 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, $mathcalL$, contains numerically ACM subschemes, (b) the subset, $mathcalM$, of numerically ACM subschemes in $mathcalL$ has, by itself, a Lazarsfeld-Rao structure, and (c) the numerical Macaulification of a minimal element of $mathcalL$ is a minimal element of $mathcalM$. 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 $ngeq1$. 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.

Full work available at URL: https://arxiv.org/abs/1202.2275

Recommendations

• Numerical characters and Macaulay functions
• Numerical cohomology
• Numerical Schubert calculus
• Numerical quadrature computation of the Macdonald function for complex orders
• Numerical implicitization: a Macaulay2 package
• Numerically non-special varieties
• Numerical algebraic geometry
• scientific article; zbMATH DE number 953044
• Cohomological Mackey functors in number theory
• Cohen-Macaulay approximation and multiplicity

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Linkage, complete intersections and determinantal ideals (13C40) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Low codimension problems in algebraic geometry (14M07) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Linkage (14M06)

Cited In (4)

• Numerical characters and Macaulay functions
• Numerical implicitization: a Macaulay2 package
• When the positivity of the \(h\)-vector implies the Cohen-Macaulay property
• Numerical triviality and pullbacks

This page was built for publication: Numerical Macaulification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5500520)