2004/07/16 by Juan C. Migliore, Migliore, Juan C., Uwe Nagel +1 · 1 citation
Mathematics · #13C40 #13D02 #14M06 #14M07 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics #math.AC #math.AG #msc:13C40 #msc:13D02 #msc:14M06 #msc:14M07
paper · pdf · doi:10.48550/arxiv.math/0407298
31 pages
arxiv created 2004/07/16 · arxiv updated 2009/12/01
A tetrahedral curve is a space curve whose defining ideal is an intersection of powers of monomial prime ideals of height two. It is supported on a tetrahedral configuration of lines. Schwartau described when certain such curves are ACM, namely he restricted to curves supported on a certain four of the six lines. We consider the general situation. We first show that starting with an arbitrary tetrahedral curve, there is a particular reduction that produces a smaller tetrahedral curve and preserves the even liaison class. We call the curves that are minimal with respect to this reduction S-minimal curves. Given a tetrahedral curve, we describe a simple algorithm (involving only integers) that computes the S-minimal curve of the corresponding even liaison class; in the process it determines if the original curve is arithmetically Cohen-Macaulay or not. We also describe the minimal free resolution of an S-minimal curve, using the theory of cellular resolutions. This resolution is always linear. This result allows us to classify the arithmetically Buchsbaum, non-ACM tetrahedral curves. More importantly, it allows us to conclude that an S-minimal curve is minimal in its even liaison class; that is, the whole even liaison class can be built up from the S-minimal curve. Finally, we show that there is a large set of S-minimal curves such that each curve corresponds to a smooth point of a component of the Hilbert scheme and that this component has the expected dimension.