Every symmetric polynomial p = p(x) = p(x1,..., xg) (with real coefficients) in g noncommuting variables x1,..., xg can be written as a sum and difference of squares of noncommutative polynomials: $$ (SDS) p(x) = \sum\limits_{j = 1}^{\sigma _ + } {f_j^ + (x)^T f_j^ + (x)} - \sum\limits_{\ell = 1}^{\sigma _ - } {f_\ell ^ - (x)^T f_\ell ^ - (x)} , $$ where fj+, fl− are noncommutative polynomials. Let σ−min(p), the negative signature of p, denote the minimum number of negative squares used in this representation; and let the Hessian of p be defined by the formula $$ p''(x)[h]: = \frac{{d^2 p(x + th)}} {{dt^2 }}|_{t = 0} . $$ In this paper, we classify all symmetric noncommutative polynomials p(x) such that $$ \sigma _ - ^{min} (p'') \leqslant 1. $$ We also introduce the relaxed Hessian of a symmetric polynomial p of degree d via the formula $$ p''_{\lambda ,\delta } (x)[h]: = p''(x)[h] + \delta \sum {m(x)^T h_j^2 m(x) + } \lambda p'(x)[h]^T p'(x)[h] $$ for λ, δ, ∈, ℝ and show that if this relaxed Hessian is positive semidefinite in a suitable and relatively innocuous way, then p has degree at most 2. Here the sum is over monomials m(x) in x of degree at most d − 1 and 1 ≤ j ≤ g. This analysis is motivated by an attempt to develop properties of noncommutative real algebraic varieties pertaining to curvature, since, as will be shown elsewhere, \( - \left\langle {p''_{\lambda ,\delta } (x)[h]v,v} \right\rangle \) (appropriately restricted) plays the role of a noncommutative second fundamental form.
Read full abstract