Some positivstellensätze for polynomial matrices (Q496788)

The paper under review deals with positivity of polynomial matrices, i.e., matrices with entries from the ring of polynomials in finitely many variables over the reals. A version of Krivine-Stengle's Positivstellensatz is established (compare with \textit{J. Cimprič} [J. Algebra 359, 89--103 (2012; Zbl 1256.13016)] and \textit{K. Schmüdgen} [in: Emerging applications of algebraic geometry. Papers of the IMA workshops Optimization and control, January 16--20, 2007 and Applications in biology, dynamics, and statistics, March 5--9, 2007, held at IMA, Minneapolis, MN, USA. New York, NY: Springer. 325--350 (2009; Zbl 1158.13313)]). \textit{M. Schweighofer}'s Positivstellensatz [SIAM J. Optim. 17, No. 3, 920--942 (2006; Zbl 1118.13026)], \textit{C. Scheiderer}'s local-global principle, \textit{C. Scheiderer}'s Hessian criterion [Math. Z. 245, No. 4, 725--760 (2003; Zbl 1056.14078); J. Algebra 289, No. 2, 558--573 (2005; Zbl 1082.14058)] and \textit{M. Marshall}'s boundary Hessian conditions [Positive polynomials and sums of squares. Mathematical Surveys and Monographs 146. Providence, RI: American Mathematical Society (AMS) (2008; Zbl 1169.13001)] are formulated in this non-commutative setting.