Advances and improvements in the theory of standard bases and syzygies (Q1924596): Difference between revisions

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4237372 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2902935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714165 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317713 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The tangent cone algorithm and homogenization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constant Milnor number implies constant multiplicity for quasihomogeneous singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: On an implementation of standard bases and syzygies in SINGULAR / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325833 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4769269 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3685189 / rank
 
Normal rank
Property / cites work
 
Property / cites work: La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3729028 / rank
 
Normal rank
Property / cites work
 
Property / cites work: New constructive methods in classical ideal theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4234258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topologically Trivial Deformations of Isolated Quasihomogeneous Hypersurface Singularities are Equimultiple / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some open questions in the theory of singularities / rank
 
Normal rank

Revision as of 15:19, 24 May 2024

scientific article
Language Label Description Also known as
English
Advances and improvements in the theory of standard bases and syzygies
scientific article

    Statements

    Advances and improvements in the theory of standard bases and syzygies (English)
    0 references
    0 references
    0 references
    0 references
    22 November 1996
    0 references
    The aim of this article is to describe recent advances and improvements on the tangent cone algorithm of \textit{T. Mora}. This tangent cone algorithm is itself a variant of B. Buchberger's celebrated algorithm for constructing a Gröbner basis of an ideal in a polynomial ring over a field. In the same manner as the knowledge of a Gröbner basis allows the computation of numerous invariants of the coordinate ring of a projective algebraic variety, a standard basis (computed by the tangent cone algorithm) does so for invariants of the local ring of an algebraic variety at a given point. In this paper we describe a generalization which includes Buchberger's and Mora's algorithm as special cases. That is, we prove -- with an appropriate definition of ecart -- that Mora's algorithm terminates for any ordering on the monomials of \(K[x_1, \dots, x_n]\), which is compatible with the natural semigroup structure (a fact which was found independently by Gräbe), in particular, the variables may have as well negative, positive or zero weights. More or less all algorithms using Gröbner bases (such as computation of syzygies, ideal theoretic operations, etc.) are now available in this general context. Our generalization provides also an easy manner to implement standard bases for modules over the Weyl algebra and for \({\mathcal D}\)-modules. The authors give also a proof of (a sharpened version) of Hilbert's syzygy theorem for localizations of polynomial rings over a field with respect to a general semigroup ordering. This proof, which generalizes Schreyer's proof for polynomial rings, uses just the existence of standard bases and is quite elementary. Using a deformation connecting the module of leading terms with the module itself, it is proven that standard bases can be used to compute numerical invariants of a module like the dimension, and under certain natural restrictions on the ordering in the local case, the multiplicity and Hilbert function. Computer experiments with an implementation of the described algorithms in the system SINGULAR have prompted a partial positive answer to Zariski's multiplicity conjecture which is also contained in the paper.
    0 references
    0 references
    0 references
    0 references
    0 references
    computer algebra system SINGULAR
    0 references
    tangent cone algorithm
    0 references
    Gröbner basis
    0 references
    ideal in a polynomial ring
    0 references
    standard basis
    0 references
    invariants of the local ring of an algebraic variety
    0 references
    Hilbert's syzygy theorem
    0 references
    deformation
    0 references
    dimension
    0 references
    multiplicity
    0 references
    Hilbert function
    0 references
    0 references
    0 references
    0 references