Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial

DOI10.1007/S00200-015-0263-6zbMATH Open1327.13098arXiv1409.5569OpenAlexW1860367272MaRDI QIDQ893343FDOQ893343

Authors: Cristina Bertone 

Publication date: 19 November 2015

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Abstract: The present paper investigates properties of quasi-stable ideals and of Borel-fixed ideals in a polynomial ring $k[x_0,dots,x_n]$, in order to design two algorithms: the first one takes as input $n$ and an admissible Hilbert polynomial $P(z)$, and outputs the complete list of saturated quasi-stable ideals in the chosen polynomial ring with the given Hilbert polynomial. The second algorithm has an extra input, the characteristic of the field $k$, and outputs the complete list of saturated Borel-fixed ideals in $k[x_0,dots,x_n]$ with Hilbert polynomial $P(z)$. The key tool for the proof of both algorithms is the combinatorial structure of a quasi-stable ideal, in particular we use a special set of generators for the considered ideals, the Pommaret basis.

Full work available at URL: https://arxiv.org/abs/1409.5569

Recommendations

• Algorithms for strongly stable ideals
• A characterization of stable and Borel ideals
• Strongly stable ideals and Hilbert polynomials
• Quasi-stability versus genericity
• Macaulay-like marked bases

zbMATH Keywords

Hilbert polynomialPommaret basisBorel-fixed idealquasi-stable ideal

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Cites Work

• An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Geometry of Syzygies
• Involutive bases of polynomial ideals
• Title not available (Why is that?)
• Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
• A Borel open cover of the Hilbert scheme
• Flat families by strongly stable ideals and a generalization of Gröbner bases
• Saturation and Castelnuovo-Mumford regularity
• Segments and Hilbert schemes of points
• Characteristic-free bounds for the Castelnuovo–Mumford regularity
• A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
• A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
• On the relation between Gröbner and Pommaret bases
• Algorithms for strongly stable ideals
• Term-ordering free involutive bases
• Borel degenerations of arithmetically Cohen-Macaulay curves in \(\mathbb{P}^{3}\)

Cited In (17)

• Strongly stable ideals and Hilbert polynomials
• Algorithms for strongly stable ideals
• On almost revlex ideals with Hilbert function of complete intersections
• Alternative polarizations of Borel fixed ideals
• An efficient implementation of the algorithm computing the Borel-fixed points of a Hilbert scheme
• Smoothable Gorenstein points via marked schemes and double-generic initial ideals
• m-full ideals II
• Polynomial complexity for Hilbert series of Borel type ideals
• Hilbert schemes with two Borel-fixed points in arbitrary characteristic
• Macaulay-like marked bases
• Double-generic initial ideal and Hilbert scheme
• A general framework for Noetherian well ordered polynomial reductions
• Combinatorial decompositions for monomial ideals
• Computing quot schemes via marked bases over quasi-stable modules
• Quasi-stability versus genericity
• Functors of liftings of projective schemes
• Bar code for monomial ideals

Uses Software

• StronglyStableIdeals

This page was built for publication: Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893343)