The degree complexity of smooth surfaces of codimension

DOI10.1016/J.JSC.2012.01.001zbMATH Open1242.14053OpenAlexW2962816808MaRDI QIDQ412225FDOQ412225

Authors Jeaman Ahn, Sijong Kwak, Yeongseok Song 

Publication date 4 May 2012

Published in Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

generic initial idealalgebraic surfaces of codimension 2degree complexitygraded lexicographic orderpartial elimination ideal

Mathematics Subject Classification ID

Computational aspects of higher-dimensional varieties (14Q15)

Abstract: D.Bayer and D.Mumford introduced the degree complexity of a projective scheme for the given term order as the maximal degree of the reduced Gr"{o}bner basis. It is well-known that the degree complexity with respect to the graded reverse lexicographic order is equal to the Castelnuovo-Mumford regularity (cite{BS}). However, little is known about the degree complexity with respect to the graded lexicographic order (cite{A}, cite{CS}). In this paper, we study the degree complexity of a smooth irreducible surface in $p^4$ with respect to the graded lexicographic order and its geometric meaning. Interestingly, this complexity is closely related to the invariants of the double curve of a surface under the generic projection. As results, we prove that except a few cases, the degree complexity of a smooth surface $S$ of degree $d$ with $h^0(mathcal{I}_S(2))eq0$ in $p^4$ is given by $$, where $Y_1(S)$ is a double curve of degree $$ under a generic projection of $S$ (Theorem ef{mainthm2}). Exceptional cases are either a rational normal scroll or a complete intersection surface of $(2,2)$-type or a Castelnuovo surface of degree 5 in $p^4$ whose degree complexities are in fact equal to their degrees. This complexity can also be expressed only in terms of the maximal degree of defining equations of $I_S$ (Corollary ef{cor:01} and ef{cor:02}). We also provide some illuminating examples of our results via calculations done with {it Macaulay 2} (Example ef{Exam:01}).

Recommendations

• Sur la complexité du calcul des projections d'une courbe projective
• Symmetric tensor rank, cactus rank and related complexity measures for homogeneous polynomials
• Separators of points on algebraic surfaces
• Bounds on degrees of projective schemes
• A method to compute Segre classes of subschemes of projective space
• Sparse systems of parameters for determinantal varieties
• The degree-complexity of the defining ideal of a smooth integral curve
• Generic projections, the equations defining projective varieties and Castelnuovo regularity
• scientific article; zbMATH DE number 644694
• Liaison and Castelnuovo-Mumford regularity

Cites Work

• scientific article; zbMATH DE number 3773791 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1305008 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3805712 (Why is no real title available?)
• A Castelnuovo bound for smooth surfaces
• A criterion for detecting m-regularity
• A tour through some classical theorems on algebraic surfaces
• Castelnuovo-Mumford regularity bound for smooth threefolds in P5 and extremal examples
• Generic initial ideals of points and curves
• The (dimension \(+2\))-secant lemma
• The Geometry of Syzygies
• The degree-complexity of the defining ideal of a smooth integral curve
• The multiple-point schemes of a finite curvilinear map of codimension one
• What can be computed in algebraic geometry?

Cited In (6)

• The degree-complexity of the defining ideal of a smooth integral curve
• The smooth invariance of the Kodaira dimension of a complex surface
• The regularity of partial elimination ideals, Castelnuovo normality and syzygies
• On syzygies, degree, and geometric properties of projective schemes with property \(\mathbb{N}_{3, p}\)
• Sharp bounds for higher linear syzygies and classifications of projective varieties
• Generic initial ideals of singular curves in graded lexicographic order

Uses Software

• Macaulay2

This page was built for publication: The degree complexity of smooth surfaces of codimension

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