14:00
Sums of squares in group algebras and vanishing of cohomology
Abstract
I will discuss algebraic conditions that for a given group guarantee or characterize the vanishing of cohomology in a given degree with coefficients in any unitary representation. These conditions will be expressed in terms positivity of certain elements over group algebras, where positivity is meant as being a sum of hermitian squares. I will explain how conditions like this can be used to give computer-assisted proofs of vanishing of cohomology.