Extreme positive ternary sextics
Abstract
We study nonnegative (psd) real sextic forms that are not sums of squares (sos). Such a form has at most ten real zeros. We give a complete and explicit characterization of all sets with for which there is a psd non-sos sextic vanishing in . Roughly, on every plane cubic with only real nodes there is a certain natural divisor class of degree~, and is the real zero set of some psd non-sos sextic if, and only if, there is a unique cubic through and represents the class on . If this is the case, there is a unique extreme ray of psd non-sos sextics through , and we show how to find explicitly. The sextic has a tenth real zero which for generic does not lie in , but which may degenerate into a higher singularity contained in . We also show that for any eight points in in general position there exists a psd sextic that is not a sum of squares and vanishes in the given points.
Keywords
Cite
@article{arxiv.1508.03816,
title = {Extreme positive ternary sextics},
author = {Aaron Kunert and Claus Scheiderer},
journal= {arXiv preprint arXiv:1508.03816},
year = {2015}
}
Comments
v2: Error in bibliography corrected