Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Sun  Mon  Tue  Wed  Thu  Fri  Sat 

26

27

28

29

30

31

1








2

3

5

7

8








9

10

15






16

17

18

19

21

22









23

25

29






30

1

2

3

4

5

6








Speaker 1: Patrick Naylor, Department of Pure Mathematics, University of Waterloo
"Handles and Kirby diagrams"
Ever wanted to represent a manifold with a diagram? Via several examples, this talk will explain how low dimensional manifolds and the relationships between them can be described by Kirby diagrams. We will review the necessary Morse theory to describe handle decompositions, and then use this to draw many pictures.
Speaker 2: Jason d'Eon, Department of Pure Mathematics, University of Waterloo
Jeffrey Samuelson, Department of Pure Mathematics, University of Waterloo
"An Agrarian Interlude"
Anton Mosunov, Department of Pure Mathematics, University of Waterloo
"Absolute Bounds on the Number of Solutions of Certain Equations of Thue and ThueMahler Type"
Let $F(X, Y)$ be an irreducible polynomial with integer coefficients of degree at least three. In 1909 it was proved by Thue that the Diophantine equation
$$F(x, y) = m,$$
Carlos Valero, Department of Pure Mathematics, University of Waterloo
"Ask Sheeves"
This will be a continuation of Tuesday's talk.
MC 5479
Christopher Lang, Department of Pure Mathematics, University of Waterloo
"The ADHMNahm Procedure"
In my last talk, we examined how group actions simplify the Nahm equations. In this talk, we outline the procedure that generates monopoles from solutions of these equations, the ADHMNahm procedure. Then, using Maple,, we follow this procedure to generate explicit examples of monopoles.
Spencer Whitehead, Department of Pure Mathematics, University of Waterloo
'Decorated Coxeter Diagrams'
Diana Castaneda Santos, Department of Pure Mathematics, University of Waterloo
"A variety of schemes"
in this talk we will define schemes. We will see some examples of schemes that are not affine schemes. Next, we will study properties of locally ringed spaces and stalks of schemes along with their residue fields. Finally, we will see how to glue schemes and depending on the gluing we can have different types of schemes.
MC 5479
Nickolas Rollick, Department of Pure Mathematics, University of Waterloo
"Approximation Constants for Closed Subschemes of Projective Varieties"
Sylvie Davis, Department of Pure Mathematics, University of Waterloo
"Monoids, Computation, and the State Complexity of Regular Languages"
Valentina Harizanov, George Washington University
"Arithmetically categorical structures"
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Computability Theory and Some Applications"
Jeff Samuelson, Department of Pure Mathematics, University of Waterloo
"A variety of schemes, part II"
We give the general definition of schemes and discuss several examples.
MC 5479
Samuel Harris, Department of Pure Mathematics, University of Waterloo
"Applying unitary correlations to matrixvalued Tsirelson correlations"
In this talk we’ll explore another application of unitary correlations. We’ll use C*algebraic analogues of quantum teleportation and superdense coding to transform nonspatial unitary correlations into a matrix version of nonspatial Tsirelson correlations. On the way, we’ll also find some separations for matrixvalued Tsirelson correlations between the quantum and the quantum spatial models.
Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
"The Isomorphism Problem of the Class of Computable Trees of Finite Rank"
Eric Boulter, Department of Pure Mathematics, University of Waterloo
"The Parallel Postulate: a 2000year controversy"
Roger Smith, Texas A&M University
"A Galois correspondence for crossed products"
We consider a discrete group G acting by outer automorphisms on a simple unital C*algebra A. We address the problem of characterising the C*algebras lying between A and its crossed product by G. The main result is that these are parameterised by the subgroups of G. This is joint work with Jan Cameron.
MC 5417
Carlos Valero, Department of Pure Mathematics, University of Waterloo
"Why we Caré about the Poincaré Conjecture?"
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Different extensions of firstorder logic"
How does one capture the properties that aren’t definable by firstorder sentences or even theories? One way is to allow infinitary conjunctions of firstorder sentences. Another is to expand the language that is being used. In this talk I will discuss the cases when these two extensions coincide, and sketch a proof by W. Craig and R.L. Vaught that a computably axiomatizable theory can be finitely axiomatized using additional predicates.
Sergey Grigorian, University of Texas  Rio Grande Valley
"Heat Flow of Isometric G2structures"
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca