Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Friday, October 31, 2014 — 2:30 PM EDT
Alan Thompson, Department of Pure Mathematics, University of Waterloo
“Calabi-Yau threefolds fibred by lattice polarized K3 surfaces”
Friday, October 31, 2014 — 1:00 PM EDT
Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo
“Varieties versus schemes, Part II”
Wednesday, October 29, 2014 — 11:30 PM EDT
Phillip Xiao, Department of Pure Mathematics, University of Waterloo
“K-theory for C*-algebras and vector bundles - Part I”
Wednesday, October 29, 2014 — 3:30 PM EDT
Denis Hirschfeldt, University of Chicago
“Computability Theoretic Reduction between Pi12Principles”
Wednesday, October 29, 2014 — 1:30 PM EDT
Mohamed El Alami, Department of Pure Mathematics, University of Waterloo
“More K0”
Tuesday, October 28, 2014 — 10:30 AM EDT
Ross Willard, Department of Pure Mathematics, University of Waterloo
“Adding Gaussian elimination to local consistency checking”
Monday, October 27, 2014 — 4:00 PM EDT
Denis Hirschfeldt, University of Chicago
"Computable Mathematics and Reverse Mathematics"
Friday, October 24, 2014 — 3:30 PM EDT
Matthew Wiersma, Pure Mathematics, University of Waterloo
"Intermediate $C^*$-norms"
Friday, October 24, 2014 — 2:30 PM EDT
Francesco Sala, University of Western Ontario
“Sheaves on root stacks and Nakajima quiver varieties”
Friday, October 24, 2014 — 1:00 PM EDT
Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo
“Varieties versus schemes”
Last week, we saw the definition of a scheme. In this weeks talk, well present more examples of schemes and illustrate how, in some cases, schemes provide a better framework than varieties for studying certain geometric questions.
Thursday, October 23, 2014 — 4:30 PM EDT
Jonathan Herman, Pure Mathematics, University of Waterloo
"The Curvature of Curves and Surfaces"
Thursday, October 23, 2014 — 1:30 PM EDT
Jonas Jankauskas, Pure Mathematics, University of Waterloo
"There are no two non-real conjugates of a Pisot number with the same imaginary part"
In this talk, we will present the results from the recent arXiv paper by A. Dubickas, K. G. Hare and J. Jankauskas on the solution of three and four term linear equations in the conjugates of a Pisot number.
Tuesday, October 21, 2014 — 10:30 PM EDT
Ross Willard, Pure Mathematics, University of Waterloo
"Adding Gaussian elimination to local consistency checking - 2"
In this second of several lectures, I will present a polynomial-time consistency checking algorithm for constraint networks over a finite template having a Taylor polymorphism. I conjecture that the algorithm is complete for Maltsev templates, and in future lectures will provide evidence supporting this conjecture.
Tuesday, October 21, 2014 — 3:30 PM EDT
Mohammad Mahmoud, Pure Mathematics, University of Waterloo
"Torsion-free groups: linear independence and computable categoricity"
We continue through Melnikov's survey paper on Computable
Abelian Groups. We use the effective analysis of linear independence
(discussed before by Sam) to characterize computable categoricity. We
go through the proof that "Every computable torsion-free
Tuesday, October 21, 2014 — 1:00 PM EDT
Jason Lotay, University College London
“Hyperkaehler 4-manifolds with boundary”
Monday, October 20, 2014 — 4:00 PM EDT
Jacob Tsimmerman, University of Toronto
“Bounding Torsion in Geometric Families of Abelian Varieties”
Friday, October 17, 2014 — 3:30 PM EDT
David Pitts, University of Nebraska
"Cartan Pairs and Extensions of Inverse Semigroups”
Friday, October 17, 2014 — 1:00 PM EDT
Shuntaro Yamagishi, Pure Mathematics, University of Waterloo
"Five or six things Ehsaan wants me to talk about"
Ehsaan gave me a list of five or six things he wants me to talk about this Friday. The list includes: the definition of ringed spaces, locally ringed spaces, schemes; an example of a non-affine scheme, etc. I plan to talk about these things.
Thursday, October 16, 2014 — 1:30 PM EDT
Fang Song, Institute for Quantum Computing University of Waterloo
“An efficient quantum algorithm for computing the unit group of an arbitrary degree number field”
Wednesday, October 15, 2014 — 3:30 PM EDT
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
“A model theory for meromorphic dynamics?”
Wednesday, October 15, 2014 — 2:30 PM EDT
Jason Bell, Department of Pure Mathematics, University of Waterloo
“Etale Groupoid algebras, II: Leavitt path algebras”
Wednesday, October 15, 2014 — 1:30 PM EDT
Ritvik Ramkumar, Department of Pure Mathematics, University of Waterloo
“More K0”
Continuing where Philip left off, we will finish talking about K0of local rings and Dedekind domains.
Tuesday, October 14, 2014 — 1:00 PM EDT
Spiro Karigiannis, Pure Mathematics Department, University of Waterloo
“The first and second variation formulas for the volume functional in Riemannian geometry”
Tuesday, October 14, 2014 — 10:30 AM EDT
Ross Willard, Department of Pure Mathematics, University of Waterloo
“Adding Gaussian elimination to local consistency checking”
Friday, October 10, 2014 — 3:30 PM EDT