Year: 2024
Type: preprint
Abstract: In [4] Sturmfels linked the Hilbert Nullstellensatz to Gröbner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gröbner basis of a certain ideal. In this paper, we give a counterexample to this claim. We also show how the introduction of an extra variable restores the claim in a deformed setup, which we call extended final polynomials.
Source: arXiv (Cornell University)
Authors: Lundgaard, Peter, Poulsen, Andreas Bøgh
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Aarhus Universitet
OpenAlex ID: W4399115409