Determinantal Representations and Bézoutians

Abstract

We show that for every smooth hyperbolic polynomial h there is another hyperbolic polynomial q such that qh has a definite determinantal representation. This is proved by considering sum-of-squares decompositions of certain bilinear forms called Bézoutians. Besides commutative algebra, the proof relies on results from real algebraic geometry.

v2: differently organized