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
Let A be a commutative algebraic group dened over a number field K. For a prime } in K where A has good reduction, let N};n be the number of ntorsion F}rational points of the reduction of A modulo } where F} is the residue field of } and n is a positive integer. When A is of dimension one
A classical result of Glimm from 1961 asserts that the irreducible
representations of a given separable C*algebra A are classifiable by real
numbers up to unitary equivalence if and only if A is type I. In 2008,
KerrLiPichot and, independently, Farah proved that when A is not type I,
The aim of this talk is to build up as much intuition as time allows about all things simplicial. This includes nsimplices, simplicial complexes and their polytopes, abstract simplicial complexes and the geometric realisation of such abstract objects.
The recent work of Arthur on classification of automorphic
representations on classical groups is a landmark result in the Langlands'
program. In this talk we will try to indicate the nature of the
classification and the tools that are used in the proof.
Refreshments will be served in MC 5046 at 3:30.
Let G be a locally compact group. G. Pisier considered the operator space
This is the first, introductory lecture to a learning seminar on discrete
homotopies for binary reflexive digraphs and their application to finite
relational structures. In this lecture I will briefly overview the idea
of homotopy, state Taylor's theorem (that the existence of continuous
Universal algebra has its roots in logic, and occasionally its problems approach the domain of logic. In this lecture I will explain two old open problems of this kind, both involving (incomplete) theories axiomatizable by equations.
Please note the time  regular time for Logic seminars will be 3:30pm.
This talk will be about the fields of padic numbers  which, like the
real numbers, are completions of the rationals, but with respect to a
different metric  the metric that reflects divisibility by a prime p.
We will see some very strange effects caused by this unusual metric, do
In this trilogy of tales, we will meet three women who persevered
against all odds to leave a lasting mark on mathematics and
on future generations.
We study the Mahler measure of the threevariable Laurent
polynomial x+1/x+y+1/y+zk where k is a parameter. The zeros of this
polynomial define (after desingularization) a family K3surfaces. In
favorable cases, a singular K3surface is obtained and the Mahler measure
is related to its Lfunction. This was first studied by MarieJose Bertin.
The jump is an operator on sets with nice properties. It is
defined as the halting set relativized to oracles, but this
definition does not take into account how far we use the oracle. This
leads to the fact that some of these nice properties
do not hold for the bounded Turing reducibility, such as the
Schoenfield jump inversion. We will define another
S  M  T  W  T  F  S 

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.