The degree complexity of smooth surfaces of codimension

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} (m a t h c a l I_{S} (2)) e q 0

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}).

Review text

For a given term order, \textit{D. Bayer} and \textit{D. Mumford} [Symp. Math. 34, 1--48 (1993; Zbl 0846.13017)] defined the degree complexity of a projective scheme as the maximal degree of the reduced Gröbner basis of its defining saturated ideal in generic coordinates. Furthermore, it is shown in \textit{D. Bayer} and \textit{D. Stillman} [Invent. Math. 87, 1--11 (1987; Zbl 0625.13003)] that the degree complexity with respect to the graded reverse lexicographic order is equal to the Castelnuovo-Mumford regularity. However, much less is known if one uses the graded lexicographic order.NEWLINENEWLINEThis paper deals with the computation of the degree complexity of a smooth irreducible surface in \(\mathbb{P}^{4}\). Let \(S\) be a smooth irreducible surface of degree \(d\) with \(h^{0}(l_{S}(2)) \neq 0\) and \(I_{S}\) the defining saturated ideal of \(S\). Denote by \(g(S)\) the genus of \(S\). The authors prove that, except three cases, the degree complexity of \(S\) is given by \(2+\binom{\deg Y_1(S)-1}{2}-g(Y_{1}(S))\), where \(Y_{1}(S)\) is a smooth double curve of \(S\) in \(\mathbb{P}^{3}\) under a generic projection and \(\deg Y_1(S)=\binom{d-1}{2}-g(S \cap H)\). 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 \(\mathbb{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\). Finally they provide some examples of their results via calculations done with \texttt{Macaulay 2}.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

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)