Positive polynomials on projective limits of real algebraic varieties

We reveal some important geometric aspects related to non-convex optimization of sparse polynomials. The main result, a Positivstellensatz on the fibre product of real algebraic affine varieties, is iterated to a comprehensive class of projective limits of such varieties. This framework includes as necessary ingredients recent works on the multivariate moment problem, disintegration and projective limits of probability measures and basic techniques of the theory of locally convex vector spaces. A variety of applications illustrate the versatility of this novel geometric approach to polynomial optimization.