If \(S\) is a polynomial ring and \(M\) a finitely generated graded \(S\)-module, the author introduces the notion of a sequence \((f_1,\dots,f_r)\) of homogeneous polynomials which is regular up to a certain degree. For general modules \(M\), he then provides two characterisations of sequences regular up to a degree \(D\): one in terms of the Hilbert series of \(M/(f_1,\dots,f_r)M\) and one in terms of first syzygies. For the special case \(M=S\), two further characterisations are given: one via Betti numbers and one via the Koszul complex of the sequence and the minimal free resolution of the ideal generated by the sequence. Some applications of the results, in particular to the analysis of Faugeère's F5 algorithm for Gröbner bases computations, are given.
- Homological characterization of bounded \(\mathbb{F}_2\)-regularity
- Bounds for the Castelnuovo-Mumford regularity of modules
- Bounds for the Castelnuovo-Mumford regularity
- Hilbert regularity of \(\mathbb Z\)-graded modules over polynomial rings
- Bounds for regularity and coregularity of graded modules
- An inequality for Hilbert series of graded algebras.
- Errata for ``Syzygies of semi-regular sequences
- F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
- Generic sequences of polynomials
- Hilbert functions of graded algebras
- scientific article; zbMATH DE number 3973001 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 2151220 (Why is no real title available?)
- Modifying Faugère's F5 algorithm to ensure termination
- Syzygies of semi-regular sequences
- The Geometry of Syzygies
- Homological characterization of bounded \(\mathbb{F}_2\)-regularity
- Syzygies of semi-regular sequences
- On two classes of regular sequences
- New complexity estimation on the rainbow-band-separation attack
- Regularity on a Fixed Set
- On biregularity and regularity
- On the existence of homogeneous semi-regular sequences in \(\mathbb{F}_2[X_1,\ldots,X_n]/(X_1^2,\ldots,X_n^2)\)
- A single exponential time algorithm for homogeneous regular sequence tests
- Polynomial XL: a variant of the XL algorithm using Macaulay matrices over polynomial rings
This page was built for publication: Bounded regularity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479798)
