Advances and improvements in the theory of standard bases and syzygies
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.
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Constant Milnor number implies constant multiplicity for quasihomogeneous singularities
- scientific article; zbMATH DE number 3857249 (Why is no real title available?)
- scientific article; zbMATH DE number 3907766 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3961783 (Why is no real title available?)
- scientific article; zbMATH DE number 1263375 (Why is no real title available?)
- scientific article; zbMATH DE number 1273642 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 3443961 (Why is no real title available?)
- La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra
- New constructive methods in classical ideal theory
- On an implementation of standard bases and syzygies in SINGULAR
- Some open questions in the theory of singularities
- The tangent cone algorithm and homogenization
- Topologically Trivial Deformations of Isolated Quasihomogeneous Hypersurface Singularities are Equimultiple
- Algorithm computing the local \(b\) function by an approximate division algorithm in \(\widehat{\mathcal D}\)
- Evaluation techniques for zero-dimensional primary decomposition
- A combinatorial approach to involution and -regularity. I: Involutive bases in polynomial algebras of solvable type
- La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra
- The virtues of laziness: Complexity of the tangent cone algorithm
- The tangent cone algorithm and homogenization
- Computer algebra and algebraic geometry -- achievements and perspectives
- Local equations for the toric Hilbert scheme
- On an implementation of standard bases and syzygies in SINGULAR
- The -Gröbner bases under polynomial composition
- Tangent cone algorithm for homogenized differential operators
- Standard bases for local rings of branches and their modules of differentials
- Newton's method with deflation for isolated singularities of polynomial systems
- [[:Publication:2517806|Standard bases in \(Kt_1,\ldots ,t_m[x_1,\ldots ,x_n]^s\)]]
- A normal form algorithm for the Brieskorn lattice
- Standard bases in mixed power series and polynomial rings over rings
- scientific article; zbMATH DE number 3889695 (Why is no real title available?)
- scientific article; zbMATH DE number 16660 (Why is no real title available?)
- scientific article; zbMATH DE number 1504613 (Why is no real title available?)
- Standard bases with special generators of the leading idea
- Toward a theory of monomial preorders
- Topological Equisingularity: Old Problems from a New Perspective (with an Appendix by G.-M. Greuel and G. Pfister on SINGULAR)
- Deformations with constant Lê numbers and multiplicity of nonisolated hypersurface singularities
- Reduction Mod p of Standard Bases
- The motive of the Hilbert scheme of points in all dimensions
- Sasbi-standard bases of modules
- Symplectic monodromy at radius zero and equimultiplicity of -constant families
- Zariski's multiplicity question and aligned singularities
- On the computation of generalized standard bases
This page was built for publication: Advances and improvements in the theory of standard bases and syzygies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924596)
