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, June 29, 2018 1:00 PM EDT
Parham Hamidi, Department of Pure Mathematics, University of Waterloo
"A whole new dimension!"
So far we have explored various aspects of schemes (through space-time!) without talking about some of the most fundamental notions in algebraic geometry. As we approach the end of our seminar ("cries"), we discuss what we mean by dimension of schemes. Even though the definition may seem a subtle one, we will see that it agrees with and generalizes our intuition from the classical algebraic geometry.
MC 5417
Tuesday, June 26, 2018 4:00 PM EDT
Jake Zimmermann Simmons, Department of Pure Mathematics, University of Waterloo
"The First Steps in Universal Algebra; A Generalization of Objects That We Take For Granted"
This talk will be an introduction to some basic concepts in universal algebra, including congruences, general homomorphisms, lattices, and the congruence lattice of an algebra. We will start with the general definition of an algebra and explore some examples. Given time, we will discuss products and subdirect embeddings, which are among the most important ideas in universal algebra.
Wednesday, June 20, 2018 3:30 PM EDT
Jacob Campbell, Department of Pure Mathematics, University of Waterloo
Tuesday, June 19, 2018 2:00 PM EDT
Ignacio Garcia, Universidad Nacional de Mar del Plata and CONICET
"Assouad dimension of self-similar sets with overlaps in Rd"
Friday, June 15, 2018 3:00 PM EDT
Anand Pillay, University of Notre Dame
"Combinatorics and pseudofinite groups"
In this joint work with Conant and Terry we prove some Szemeredi-type theorems in the context of finite groups equipped with a distinguished subset, using model-theoretic tools.
MC 5479
Friday, June 15, 2018 1:00 PM EDT
David Urbanik, Department of Pure Mathematics, University of Waterloo
"Abstract Nonsense in Algebraic Geometry"
We explain how the language of category theory can be used to clarify certain ideas in algebraic geometry, with a particular emphasis on the role of universal properties and the Yoneda Lemma. We will connect this to our discussion of fibre products from last time.
MC 5417
Thursday, June 14, 2018 2:15 PM EDT
As part of the Faculty of Mathematics Recognizing Excellence Series, Anand Pillay (2018 Honorary Doctorate recipient) will be presenting a discussion entitled "Logic, Mathematics and Culture." Anand will discuss a brief history of mathematical logic, and some personal perspectives on working in mathematics.
Please see https://uwaterloo.ca/math/events/recognizing-excellence-series-0 for the complete series schedule.
Tuesday, June 12, 2018 2:30 PM EDT
Daniel Pepper, Department of Pure Mathematics, University of Waterloo
We will continue the study of how to do stochastic integration against the free Brownian motion. This talk will focus on the integration of "simple adapted bi-processes", with emphasis on properties which will allow us later on to go beyond the "simple" case.
[Please note the starting time of 2:30 pm, different from the one of the preceding talk in this seminar.]
M3 3103
Tuesday, June 12, 2018 2:00 PM EDT
Karl Dilcher, Dalhousie University
"Zeros and irreducibility of gcd-polynomials"
Tuesday, June 12, 2018 9:00 AM EDT
J.C. Saunders, Department of Pure Mathematics, University of Waterloo
"Problems in Combinatorial and Analytic Number Theory"
Friday, June 8, 2018 12:30 PM EDT
Diana Castaneda-Santos, Department of Pure Mathematics, University of Waterloo
"Fibered products"
In this talk we will define fibered products of schemes and study some examples. We will see how their universal property gives us a nice description of the fibered product of affine schemes in terms of the affine scheme of a tensor product of rings. We will study four types of morphisms (open embeddings, adding variables, closed embeddings, and localization) that will give us tools to calculate fibered products of arbitrary schemes.
MC 5417
Monday, June 4, 2018 4:00 PM EDT
Antonio Montalban, University of California - Berkeley
"Infinite Games"
Infinite two-player games have been a very useful tool to prove many results in logic and other areas. What makes them fascinating to computability theorists is that winning strategies can be extremely complex even for simple games.
Friday, June 1, 2018 1:00 PM EDT
Justin Laverdure, Department of Pure Mathematics, University of Waterloo
"Scheme-theoretic image"
We define the scheme theoretic image of a morphism of schemes, and see that under either of two assumptions (quasicompact morphism or reduced source), the image can be computed affine-locally. We will, of course, also see examples where this cannot be done.
MC 5417