ISSN:
1420-8938
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract. Let $ {\Bbb P}^{\rm 3} $ be the 3-dimensional projective space over an algebraically closed field K of characteristic 0, and R be the graded polynomial ring K[x 0,x 1,x 2,x 3]. If C is a curve of $ {\Bbb P}^{\rm 3} $ , let $ M_C :\, =\, \bigoplus \limits _{n\in {\Bbb Z}}H^1{\cal I}_C (n) $ be its Hartshorne-Rao module: it is a graded R-module of finite length which, up to a shift in degrees, characterizes the biliaison class of C.¶M. Martin-Deschamps & D. Perrin (Sur la classification des courbes gauches. Astérisque 184 – 185 (1990)) have proved that in every biliaison class of non arithmetically Cohen-Macaulay curves there exists a minimal curve, unique up to a deformation with constant cohomology and Hartshorne-Rao module, that is a curve C such that, if C 1 is any curve in the biliaison class of C, then M C 1 = M C (-n), with $ n\geq 0 $ .¶They have moreover given an algorithm for the computation of a minimal curve, based on the computation and the analysis of the minors of given orders of some submatrices of the second syzygy matrix $ \sigma_2 $ of M.¶The aim of this paper is to give an improvement to the algorithm for computing a minimal curve of a given Hartshorne-Rao module. The key remark is that the information obtained from $ \sigma_2 $ can analogously be obtained from the matrix $ f(\sigma_2) $ with entries in the polynomial ring K[ u ], where $ f\! : R\rightarrow K[u] $ is a map which evaluates the variables of R to random linear polynomials in K[u]. The advantage of this approach is first, that the computations are done in a simpler polynomial ring and second, that in K[u] we can take advantage of the Smith Normal Form algorithm to analyze the structure of the minors of the given matrices. The algorithm is therefore probabilistic but rather efficient and allows to compute (the invariants of) a minimal curve associated to modules whose syzygies matrices are considerably large.¶The algorithms presented here have been partially implemented and tested in the computer algebra systems CoCoA, Maple and Macaulay.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s000130050058
Permalink