Mathematics – Algebraic Geometry
Scientific paper
2011-04-10
Mathematics
Algebraic Geometry
14 pp
Scientific paper
Given two positive definite forms f, g in R[x_0,...,x_n], we prove that fg^N 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, fg^N 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.
No associations
LandOfFree
A Positivstellensatz for projective real varieties does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Positivstellensatz for projective real varieties, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Positivstellensatz for projective real varieties will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-316410