2017/01/25 by Philipp Jukic, Jukic, Philipp
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Algebraic Geometry (math.AG) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1701.07013
openalex publication_date 2017/01/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this work we will investigate a certain generalization of the so called S-lemma in higher degrees. The importance of this generalization is, that it is closely related to Hilbert's 1888 theorem about tenary quartics. In fact, if such a generalization exits, then one can state a Hilbert-like theorem, where positivity is only demanded on some semi-algebraic set. We will show that such a generalization is not possible, at least not without additional conditions. To prove this, we will use and generalize certain tools developed by Netzer ([Ne]). These new tools will allow us to conclude that this generalization of the S-lemma is not possible because of geometric reasons. Furthermore, we are able to establish a link between geometric reasons and algebraic reasons. This will be accomplished within the framework of quadratic modules.