Determinantal representations of hyperbolic plane curves: An elementary approach

TL;DR

This paper provides an elementary proof that every hyperbolic plane curve can be represented by a definite Hermitian matrix determinant, linking matrix definiteness to the topology of minors and extending Dixon's classical construction.

Contribution

It offers a more concrete proof that every hyperbolic plane curve admits a definite Hermitian determinantal representation, broadening understanding of hyperbolic hypersurfaces.

Findings

Every hyperbolic plane curve has a definite Hermitian determinantal representation.

The proof relates matrix definiteness to the topology of minors.

Hyperbolic regions are characterized by linear matrix inequalities.

Abstract

If a real symmetric matrix of linear forms is positive definite at some point, then its determinant is a hyperbolic hypersurface. In 2007, Helton and Vinnikov proved a converse in three variables, namely that every hyperbolic plane curve has a definite real symmetric determinantal representation. The goal of this paper is to give a more concrete proof of a slightly weaker statement. Here we show that every hyperbolic plane curve has a definite determinantal representation with Hermitian matrices. We do this by relating the definiteness of a matrix to the real topology of its minors and extending a construction of Dixon from 1902. Like Helton and Vinnikov's theorem, this implies that every hyperbolic region in the plane is defined by a linear matrix inequality.