Strong nonnegativity and sums of squares on real varieties

Mohamed Omar, Brian Osserman

Motivated by scheme theory, we introduce strong nonnegativity on real varieties, which has the property that a sum of squares is strongly nonnegative. We show that this algebraic p…