Master's Project Presentation
Adam Humeniuk, Pure Mathematics, University of Waterloo
"Existence of the C*-envelope"
In 1969, Arveson defined the C*-envelope of an operator algebra or operator system as a universal quotient amongst all C*-algebras which contain it. He left the existence of the C*-envelope as an open problem. In a whirlwind tour of my Master's research paper, I'll discuss the diverse tools used to prove its existence in the intervening decades.