Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
121 tokens/sec
GPT-4o
9 tokens/sec
Gemini 2.5 Pro Pro
47 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A Positivstellensatz for projective real varieties (1104.1772v1)

Published 10 Apr 2011 in math.AG

Abstract: Given two positive definite forms f, g in R[x_0,...,x_n], we prove that fgN is a sum of squares of forms for all sufficiently large N >= 0. We generalize this result to projective R-varieties X as follows. Suppose that X is reduced without one-dimensional irreducible components, and X(R) is Zariski dense in X. Given everywhere positive global sections f of L{\otimes2} and g of M{\otimes2}, where L, M are invertible sheaves on X and M is ample, fgN is a sum of squares of sections of L\otimes M{\otimes N} for all large N >= 0. In fact we prove a much more general version with semi-algebraic constraints, defined by sections of invertible sheaves. For nonsingular curves and surfaces and sufficiently regular constraints, the result remains true even if f is just nonnegative. The main tools are local-global principles for sums of squares, and on the other hand an existence theorem for totally real global sections of invertible sheaves, which is the second main result of this paper. For this theorem, X may be quasi-projective, but again should not have curve components. In fact, this result is false for curves in general.

Summary

We haven't generated a summary for this paper yet.