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

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”

University 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

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1