English

Extreme positive ternary sextics

Algebraic Geometry 2015-08-19 v2

Abstract

We study nonnegative (psd) real sextic forms q(x0,x1,x2)q(x_0,x_1,x_2) 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 SP2(R)S\subset\mathbb{P}^2(\mathbb{R}) with S=9|S|=9 for which there is a psd non-sos sextic vanishing in SS. Roughly, on every plane cubic XX with only real nodes there is a certain natural divisor class τX\tau_X of degree~99, and SS is the real zero set of some psd non-sos sextic if, and only if, there is a unique cubic XX through SS and SS represents the class τX\tau_X on XX. If this is the case, there is a unique extreme ray R+qS\mathbb{R}_+q_S of psd non-sos sextics through SS, and we show how to find qSq_S explicitly. The sextic qSq_S has a tenth real zero which for generic SS does not lie in SS, but which may degenerate into a higher singularity contained in SS. We also show that for any eight points in P2(R)\mathbb{P}^2(\mathbb{R}) 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

R2 v1 2026-06-22T10:34:40.376Z