Kamyar Moshksar
“On Asynchronous Interference Channels”
Hongdi Huang, Department of Pure Mathematics, University of Waterloo
“Maschke’s Theorem in Hopf algebra.”
Paul Skoufranis, York University
“Majorization in C*-Algebras”
William Slofstra, Institute for Quantum Computing, University of Waterloo
"Tsirelson's problem and linear system games"
Jonny Stephenson, Pure Mathematics, University of Waterloo
"Jumps of relations"
We will show that the Kleene relation introduced last week is r.i.c.e complete, and use it to define a jump operator on relations in structures. We will check that the jump behaves as expected: if Q' is the jump of a relation Q, then Q is r.i. computable in Q', but Q' is not r.i. computable in Q.
Jason Bell, Pure Mathematics, University of Waterloo
"The Schafke-Singer theorem, III"
We finish (I hope) the proof of the theorem of Schafke and Singer.
Patrick Naylor, Department of Pure Mathematics, University of Waterloo
“Getting back to basics (of sheaves)”
This week, we’ll try to wrap up our discussion of sheaves. We’ll give a sketch of why the category of sheaves of abelian groups forms an abelian category, and give a method of describing sheaves via a topological base. If time permits, we may even discuss the long awaited notion of a scheme.
MC 5413
CANCELLED
Ghaith Hiary, Ohio State University
“Computing quadratic Dirichlet L-functions”
Ross Willard, Department of Pure Mathematics, University of Waterloo
“Almost homogeneity and the decidable discriminator variety problem”
Anthony McCormick, Pure Mathematics, University of Waterloo
"Formality of Compact Kähler Manifolds"