The degree-complexity of the defining ideal of a smooth integral curve

• Autores: Jeaman Ahn
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 43, Nº 6-7, 2008, págs. 422-441
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Let I be the defining ideal of a non-degenerate smooth integral curve of degree d and of genus g in where n=3. The degree-complexity of I with respect to a term order t is the maximum degree in a reduced Gröbner basis of I, and is exactly the highest degree of a minimal generator of . For the degree lexicographic order, we show that the degree-complexity of I in generic coordinates is with the exception of two cases: (1) a rational normal curve in and (2) an elliptic curve of degree 4 in , where the degree-complexities are 3 and 4 respectively. Additionally if is a non-degenerate integral scheme then we show that, for the degree lexicographic order, the degree-complexity of X in generic coordinates is not changed by an isomorphic projection of X from a general point.