## 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

**Returning to in-person experiences in February:** Visit the COVID-19 website for more information.

Wednesday, June 3, 2015 — 1:30 PM EDT

**Adam Dor On, Department of Pure Mathematics, University of Waterloo **

“K1 of a C*-algebra, continued”

Friday, May 29, 2015 — 12:30 PM EDT

**Sam Harris, Department of Pure Mathematics, University of Waterloo **

“K1 of a C*-algebra”

Having defined K0 of a C*-algebra, we now define K1 as well as provide examples and basic properties.

Thursday, May 28, 2015 — 2:00 PM EDT

**Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo **

“Ramsey’s Theorem”

We have seen with Sam two proofs of Ramsey’s Theorem. This time we give a third proof of that uses Konig’s Lemma but can be carried out in RCA0.

M3-4206

Thursday, May 28, 2015 — 1:30 PM EDT

**Igor Shparlinski, University of New South Wales **

“Effective Hilbert’s Nullstellensatz and Finite Fields”

Wednesday, May 27, 2015 — 1:30 PM EDT

Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo

“K0 of a C*-algebra, continued”

Tuesday, May 26, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Pure Mathematics Department, University of Waterloo **

“Differential Analysis III: The Kuranishi Model and the Sard-Smale Theorem”

Tuesday, May 26, 2015 — 8:57 AM EDT

**Shuntaro Yamagishi, Department of Pure Math, University of Waterloo **

“Diophantine equations in the primes”

In their paper ”Diophantine equations in the primes”, Cook and Magyar give a condition for a system of polynomials to be soluble in primes via the Hardy-Littlewood circle method. I would like to describe their method.

MC 5479

Friday, May 22, 2015 — 1:30 PM EDT

**Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo **

“Classification of simple graph algebras”

Abstract

Wednesday, May 20, 2015 — 2:30 PM EDT

**Stanley Yao Xiao, Department of Pure Math, University of Waterloo **

“Rational points on algebraic varieties repel each other”

In this talk I will a powerful ”point repulsion” principle for rational points lying on algebraic varieties, also known as the ‘determinant method’.

MC 5479

Wednesday, May 20, 2015 — 1:30 PM EDT

**Raymond Cheng, Pure Math Department, University of Waterloo **

“Bundles over Complex Tori, Continued”

I will tie up some loose ends on the classification of vector bundles on elliptic curves from last time and discuss some of Atiyah’s techniques in the classification. After that, I will comment on the progress made on classifying vector bundles over higher dimensional tori.

M3 2134

Wednesday, May 13, 2015 — 1:30 PM EDT

**Raymond Cheng, Pure Math Department, University of Waterloo **

“Bundles over Complex Tori”

Tuesday, May 12, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo **

“Differential Analysis II: The Banach space implicit function theorem”

Tuesday, May 5, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo **

“Differential Analysis I: The Banach space implicit function theorem”

Thursday, April 9, 2015 — 1:30 PM EDT

**Dmitry Badziahin, Durham University**

"On a generalised Thue-Morse generating function and its continued fraction expansion"

Tuesday, March 31, 2015 — 4:30 PM EDT

**Alan Arroyo, Combinatorics & Optimization, University of Waterloo**

"Jordan Curve Theorem: a proof using graphs."

Jordan Curve Theorem states that every non-self-intersecting closed

Tuesday, March 31, 2015 — 3:30 PM EDT

**Sam Eisenstat, Department of Pure Mathematics, University of Waterloo **

“Ramsey’s Theorem in Reverse Mathematics”

Monday, March 30, 2015 — 1:00 PM EDT

**Jason Bell and Rahim Moosa, Department of Pure Mathematics, University of Waterloo **

“Finale”

We wrap up proof of the approximate group theorem.

Monday, March 30, 2015 1:00 pm MC 5479

** Please note Day and Room**

Friday, March 27, 2015 — 3:30 PM EDT

**Jaspar Wiart, Department of Pure Math, University of Waterloo**

“Operator algebras arising from number theory.”

Friday, March 27, 2015 — 2:30 PM EDT

**Geoffrey Scott, University of Toronto **

“Integrable Systems on Log-Symplectic Manifolds”

Thursday, March 26, 2015 — 4:30 PM EDT

Kamyar Moshksar, Pure Mathematics, University of Waterloo

"Decentralized Communications Networks"

After a brief introduction to the concept of channel capacity and reliable transmission over noisy environments, we focus on a class of interference channels known as decentralized networks. By definition, these are networks with no central controller or direct coordination among existing parties. We show how separate transmitter-receiver pairs learn about the parameters in the underlying affine system model and discuss fundamental limits of communication in this framework.

Tuesday, March 24, 2015 — 3:30 PM EDT

**Michael Deveau, Department of Pure Mathematics**

"Weak König's Lemma over RCA_0"

Since the addition of Konig's Lemma to RCA_0 presented last time proved to be too strong, we will next investigate the addition of Weak Konig's Lemma to RCA_0. To show that this will have strength strictly between RCA_0 and ACA_0, we will spend some time discussing the PA degrees, including an important application of the Low Basis Theorem.

Tuesday, March 24, 2015 — 2:30 PM EDT

**Ian Payne, Department of Pure Mathematics, University of Waterloo **

“A CSP algorithm and some work towards a better one”

Tuesday, March 24, 2015 — 1:00 PM EDT

Jason Bell, Department of Pure Mathematics, University of Waterloo

"Approximate Groups: IX"

We continue to follow van den Dries’ Seminaire Bourbaki article entitled "Approximate Groups [after Hrushovski, and Breuillard, Green, Tao]". The subject involves the interaction of additive combinatorics and model theory.

Monday, March 23, 2015 — 4:00 PM EDT

**Chantal David, Concordia University **

“Zeroes and Zeta Functions and Symmetry: One level density for families of L-functions attached to elliptic curves”

University 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

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

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 Indigenous Initiatives Office.