Computability Theory Learning Seminar
Andy Zucker, Department of Pure Mathematics, University of Waterloo
"Reverse Math VIII"
We continue our discussion of the reverse math theoretic aspects of Devlin's theorem.
MC 5403
Andy Zucker, Department of Pure Mathematics, University of Waterloo
"Reverse Math VIII"
We continue our discussion of the reverse math theoretic aspects of Devlin's theorem.
MC 5403
Talk #1 (1:00pm - 2:15pm)
Jacques van Wyk, Department of Pure Mathematics, University of Waterloo
"Fundamentals of Elliptic Partial Differential Operators"
Yash Singh, Department of Pure Mathematics, University of Waterloo
"Sheaves of Modules on Schemes"
We introduce sheaves of modules associated to schemes and in particular study the theory of coherent sheaves, quasi-coherent sheaves, and vector bundles.
MC 5403
Marcelo Laca, University of Victoria
"On the Matter of Numbers"
Erik Seguin, Department of Pure Mathematics, University of Waterloo
"Haagerup's noncommutative Grothendieck inequality (cont. cont. cont.)"
We will continue^3 to prove things related to and on the subject of the NCG theorem. Possibly we will finish the proof of the theorem this week, and possibly not; we conjecture that no third option exists, but we are unable to prove this claim at present. Time permitting, we may attempt to prove this rigorously; this attempt is unlikely to be successful, veracity of the claim notwithstanding.
Andrew Zucker, Department of Pure Mathematics, University of Waterloo
"Reverse Math VII"
We discuss some results and open problems related to the reverse mathematics of results in structural Ramsey theory.
MC 5403
Daniel Han, Department of Pure Mathematics, Univesity of Waterloo
"Derived functors and (co)homology theories"
We will give an overview of derived functors and their use to form homological invariants for objects in abelian categories. Using this abstract machinery, we will give rise to group cohomology, sheaf cohomology, and others. Lastly, the Eilenberg-Watts theorem will be presented to give a loose explanation as to why many of these cohomology groups are presented as Ext groups.
MC 5479
Arundhathi Krishnan, Munster Technological University, Cork
"Markovianity and the Thompson Monoid F+"
We show that representations of the Thompson monoid F+ yield a large class of unilateral stationary noncommutative Markov processes. As a partial converse, unilateral stationary Markov processes in tensor dilation form (and in particular, in the commutative setting) are shown to yield representations of F+. This is joint work with Claus Koestler and Stephen J. Wills.
MC 5479
Erik Seguin, Department of Pure Mathematics, University of Waterloo
"Haagerup's noncommutative Grothendieck inequality (cont. cont.)"
We will continue^2 to prove things related to and on the subject of the NCG theorem. Possibly we will finish the proof of the theorem this week, and possibly not; we conjecture that no third option exists, but we are unable to prove this claim at present. Time permitting, we may attempt to prove this rigorously; this attempt is unlikely to be successful, veracity of the claim notwithstanding.
Leo Jimenez, Department of Pure Mathematics, University of Waterloo
"Restricted Zilber Trichotomy"
We continue to read Ben Castle’s paper.
MC 5479