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

Tuesday, February 28, 2017 — 3:30 PM EST

**Michael Deveau, Department of Pure Mathematics, University of Waterloo **

“Enumeration Degree and Existential Atomicity”

We will investigate the notion of a Turing degree of a structure. However, since it is not as useful as we would hope, we instead use enumeration degrees, which prove more fruitful. We then establish some results concerning existential atomicity of a structure.

MC 5403

Tuesday, February 28, 2017 — 2:30 PM EST

**Adam Chapman, Tel-Hai Academic College, Israel **

“Linked Fields of Characteristic 2 and their u-Invariant.”

Tuesday, February 28, 2017 — 11:00 AM EST

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

“Subdirectly Irreducible Algebras in Varieties of 2-semilattices”

Monday, February 27, 2017 — 4:00 PM EST

**Trevor Wooley, University of Bristol **

“A translation-invariant perspective on arithmetic (and) harmonic analysis”

Monday, February 27, 2017 — 3:00 PM EST

**Zack Cramer, Department of Pure Math, University of Waterloo**

"The Gershgorin Circle Theorem"

Monday, February 27, 2017 — 2:30 PM EST

**Anthony McCormick, Department of Pure Mathematics, University of Waterloo **

“Graded Lie Brackets in Differential Geometry”

We will discuss the basic theory and applications of various graded Lie brackets which appear naturally in differential geometry; namely the Frolicher-Nijenhuis, Schouten-Nijenhuis and Nijenhuis-Richardson brackets.

M3-3103

Monday, February 27, 2017 — 11:30 AM EST

**Yoav Len, University of Waterloo**

In this talk I will give an introduction to tropical geometry, and explain some of the terms that are relevant for studying Hodge theory for matroids.

MC 5403

Friday, February 24, 2017 — 2:30 PM EST

**Susama Agarwala, United States Naval Academy **

“Positive Grassmannians and the Geometry of Wilson Loop diagrams”

Friday, February 17, 2017 — 4:00 PM EST

**Daniel Halpern-Leistner, Columbia University**

"Equivariant geometry and Calabi-Yau manifolds"

Friday, February 17, 2017 — 2:30 PM EST

**Changliang Wang, McMaster University**

"Stability of Riemannian manifolds with Killing spinors"

Thursday, February 16, 2017 — 1:30 PM EST

**Alexander Dahl, York University**

"Distribution of class numbers in continued fraction families of real quadratic fields"

Thursday, February 16, 2017 — 1:30 PM EST

**Anthony McCormick, Department of Pure Mathematics, University of Waterloo**

"Reductive Linear Algebraic Groups"

We will begin our discussion of reductive and semisimple linear algebraic groups and explain some of the intuition behind why these properties are useful. Namely, I hope to make the classification theorem of semisimple linear algebraic groups using root systems, which we will see later this term, seem plausible.

MC 5413

Thursday, February 16, 2017 — 12:30 PM EST

**Nickolas Rollick, Department of Pure Mathematics, University of Waterloo**

"Schemes at last"

Wednesday, February 15, 2017 — 5:00 PM EST

**Ertan Elma, Department of Pure Mathematics, University of Waterloo**

"The Square Sieve"

We will see a method to estimate the number of squares in a given set of integers.

MC 5403

Wednesday, February 15, 2017 — 3:30 PM EST

**Chris Schafhauser, Department of Pure Mathematics, University of Waterloo**

"Amenability and Quasidiagonality -- The Tikuisis-White-Winter Theorem"

Tuesday, February 14, 2017 — 3:00 PM EST

**Michael Deveau, Department of Pure Mathematics, University of Waterloo**

"Scott Sentences for Existentially Atomic Structures"

We have seen the existence of a Scott family comprised of existential formulas for a structure is equivalent to the that structure being existentially atomic. We can now define the equivalent notion for a single (infinite) sentence, and prove that possessing such a sentence is also equivalent to the structure being existentially atomic. As per usual, we will also prove an effective version.

MC 5403

Tuesday, February 14, 2017 — 11:00 AM EST

**Rahim Moosa, Department of Pure Mathematics, University of Waterloo**

"Bounding solutions to first-order differential equations"

In this talk I will try to show how a recent theorem of myself and James Freitag on the model theory of differentially closed fields answers a question of Eremenko's from 1998 on algebraic solutions to a differential equation of the form P(x,x')=0 where P is a polynomial over C(t).

MC 5403

Monday, February 13, 2017 — 4:00 PM EST

**William Slofstra, Institute for Quantum Computing, University of Waterloo**

"The mathematics of non-local games"

Monday, February 13, 2017 — 11:30 AM EST

**Ivan Kobyzev, Department of Pure Mathematics, University of Waterloo**

In this talk we will finish the proof of the log-concavity conjecture using Hodge theory for matroids. This is a continuation of the previous talk.

MC 5403

Monday, February 13, 2017 — 11:30 AM EST

**Ruizhang Jin, Department of Pure Mathematics, University of Waterloo**

"NIP, Keisler measures and Combinatorics"

We continue reading this Bourbaki seminar article by Starchenko. We will study Keisler measure, and hopefully finish section 3.1-3.3.

MC 5413

Friday, February 10, 2017 — 3:30 PM EST

****CANCELLED****

**Zsolt Tanko, Department of Pure Mathematics, University of Waterloo**

"Homology of the Fourier algebra"

Friday, February 10, 2017 — 2:30 PM EST

**Jose A. Zapata, Centro de Ciencias Matematicas, Universidad Nacional Autonoma de Mexico**

"The bundle of a lattice gauge field"

Thursday, February 9, 2017 — 4:00 PM EST

**Ertan Elma, Department of Pure Mathematics, University of Waterloo**

"Perron's Formula"

The aim of this talk is to observe some connections between the Riemann zeta function and the prime numbers. While doing this, we will naturally touch Perron's formula which relates an arithmetical object to an analytic one. On one side of this formula, we will see a sum over natural numbers, on the other side, we will see an integral in the complex plane of a meromorphic function.

MC 5501

Thursday, February 9, 2017 — 3:00 PM EST

**Wilson Cheung, University of Waterloo**

"Topos theory XI"

We continue chapter 7 of Goldblatt; we study Boolean topoi and implication.

MC 5413

Thursday, February 9, 2017 — 1:30 PM EST

**Kevin Hare, Department of Pure Mathematics, University of Waterloo**

"Continued Logarithms"

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