Homogeneous symmetric trace-positive sextics with vanishing abelianization are sums of Hermitian squares and commutators

Daniel Keren

Let $\mathbb{R}⟨X,Y⟩$ be the free algebra on two symmetric letters. A polynomial is trace-positive if it has non-negative trace on every pair of real symmetric matrice…