## 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, 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 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 Office of Indigenous Relations.