2015/11/19 by Astier, Vincent, Unger, Thomas · 3 citations
#11E39 #13J30 #16K20 #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1511.06330
Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to Hilbert's 17th problem, characterizing totally positive elements in terms of weighted sums of hermitian squares. As a consequence we obtain an earlier result of Procesi and Schacher and give a complete answer to their question about representation of elements as sums of hermitian squares.