The degree complexity of smooth surfaces of codimension (Q412225): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962816808 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962816808 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1008.0978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The degree-complexity of the defining ideal of a smooth integral curve / rank
 
Normal rank
Property / cites work
 
Property / cites work: What can be computed in algebraic geometry? / rank
 
Normal rank
Property / cites work
 
Property / cites work: A criterion for detecting m-regularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic initial ideals of points and curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Geometry of Syzygies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4749943 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Castelnuovo-Mumford regularity bound for smooth threefolds in P5 and extremal examples / rank
 
Normal rank
Property / cites work
 
Property / cites work: The multiple-point schemes of a finite curvilinear map of codimension one / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3953910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2734112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Castelnuovo bound for smooth surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: The (dimension \(+2\))-secant lemma / rank
 
Normal rank

Latest revision as of 04:00, 5 July 2024

scientific article
Language Label Description Also known as
English
The degree complexity of smooth surfaces of codimension
scientific article

    Statements

    The degree complexity of smooth surfaces of codimension (English)
    0 references
    0 references
    0 references
    0 references
    4 May 2012
    0 references
    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. This 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}.
    0 references
    0 references
    degree complexity
    0 references
    graded lexicographic order
    0 references
    generic initial ideal
    0 references
    partial elimination ideal
    0 references
    algebraic surfaces of codimension 2
    0 references
    0 references
    0 references