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

Visit our **COVID-19 Information website** for information on our response to the pandemic.

Please note: The University of Waterloo is closed for all events until further notice.

Friday, May 31, 2019 — 2:30 PM EDT

**Alessandro Portaluri, University of Turin**

"Existence and Stability Results in Celestial Mechanics"

Is the solar system stable? This is maybe one of the oldest open questions in dynamical systems. It is still a lively and very active research field starting from Newton, Lagrange, Maxwell, Poincar\'e and Birkhoff (only to mention a few) who proved several astonishing results in this direction.

Thursday, May 30, 2019 — 10:00 AM EDT

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

"Computability Theory and Some Applications"

Tuesday, May 28, 2019 — 4:00 PM EDT

**Pawel Sarkowicz, Department of Pure Mathematics, University of Waterloo**

"A Fourier Series Approach to the Isoperimetric Problem"

We will discuss the isoperimetric problem, which is a question of relating the area of an enclosed space to its perimeter (at least in the plane). We will see how this inequality comes to fruition and what it’s optimal solution is using Fourier series. Time permitting, we will look at generalizations of the problem.

MC 5501

Tuesday, May 28, 2019 — 12:00 PM EDT

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

"Localisation and the Nullstellensatz"

Jeff defined the basic open sets $D_f$. We'll see that in fact $D_f\simeq \mathrm{Spec}(R_f)$ where $R_f$ is a localisation. We might be able to finish the proof that $\mathrm{Spec}(R)$ is Hausdorff iff $\mathrm{Kdim}(R)=0$. Lastly, we can show that if $A$ is an affine algebra then the closed points are dense in $\mathrm{Spec}(A)$.

MC 5479

Tuesday, May 28, 2019 — 9:30 AM EDT

**Speaker 1: Shubham Dwivedi, Department of Pure Mathematics, University of Waterloo**

"Differential Harnack estimates"

We will discuss differential harnack estimates including Hamilton’s matrix harnack estimate for solutions of the heat equation and the Li-Yau inequality. If time permits, we will discuss harnack estimates for the Ricci flow.

**Speaker 2: Spiro Kargiannis, Department of Pure Mathematics, University of Waterloo**

"Bubble Tree Convergence for Harmonic Maps"

Friday, May 24, 2019 — 10:30 AM EDT

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

"Quantum XOR games and Connes' embedding problem"

Thursday, May 23, 2019 — 1:00 PM EDT

**Greg Patchell, Department of Pure Mathematics, University of Waterloo**

"Model Theory of von Neumann Algebras II"

Thursday, May 23, 2019 — 10:00 AM EDT

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

"Degrees of Categoricity of Trees"

Tuesday, May 21, 2019 — 12:00 PM EDT

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

"Zariski Topology 101"

We'll (at least partially) answer the following questions: when is Spec(*R*) compact? Hausdorff? connected? irreducible? noetherian? Also, the basic open sets that Jeff described last time can be interpreted as localisations --- we will talk about that if time permits.

MC 5479

Tuesday, May 21, 2019 — 9:30 AM EDT

**Speaker 1: Christopher Lang, Department of Pure Mathematics, University of Waterloo**

"Using Group Actions to Simplify Nahm Data"

The Nahm equations are a system of differential equations for $u(k)$-valued functions on $(a,b)\subset\mathbb{R}$. Solutions of the Nahm equations are called Nahm data. By imposing certain conditions on the Nahm data, the ADHM-Nahm procedure gives rise to monopoles in $\mathbb{R}^3$. Elaborating on [1], we examine how the actions of $\mathbb{R}^3$, $u(k)$, and $\mathrm{SU}(2)$ simplify the Nahm data.

Thursday, May 16, 2019 — 1:00 PM EDT

**Pawel Sarkowicz, Department of Pure Mathematics, University of Waterloo**

This week we will define elementary substructures and prove the Downward (and possibly Upward) Löwenheim-Skolem Theorem(s). To that end, we will introduce the notion of separable languages.

MC 5403

Wednesday, May 15, 2019 — 3:30 PM EDT

**Michael Hartz, FernUniversität in Hagen**

"Dilations in finite dimensions and matrix convexity"

Wednesday, May 15, 2019 — 12:30 PM EDT

**Aasaimani Thamizhazhagan, Department of Pure Mathematics, University of Waterloo**

"On the invertible elements of Fourier-Stieltjes algebra"

Tuesday, May 14, 2019 — 2:00 PM EDT

**Robert Xu Yang, Department of Pure Mathematics, University of Waterloo**

"Sidon and Kronecker-like sets in harmonic analysis"

Let $G$ be a compact abelian group and $\Gamma$ be its discrete dual group. In this thesis we study various types of interpolation sets.

Tuesday, May 14, 2019 — 12:00 PM EDT

**Jeffrey Samuelson, Department of Pure Mathematics, University of Waterloo**

"Introducing affine schemes"

We will introduce the notion of an affine scheme and describe the Zariski topology, after which we will discuss several examples.

MC 5479

Monday, May 13, 2019 — 4:00 PM EDT

**Mahmoud Filali, University of Oulu**

"Arens irregularity in harmonic analysis"

Arens irregularity of a Banach algebra is due to elements in its Banach dual which are not weakly almost periodic.

Monday, May 13, 2019 — 10:00 AM EDT

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

"Degrees of Categoricity and the Isomorphism Problem"

Friday, May 10, 2019 — 3:00 PM EDT

**Jaspar Wiart, RICAM, Austrian Academy of Sciences**

Thursday, May 9, 2019 — 1:00 PM EDT

**Gregory Patchell, University of Waterloo**

"Model Theory of Tracial von Neumann Algebras"

This talk is the latest in a series of seminars on the model theory of C*-algebras. This week, we axiomatize tracial von Neumann algebras, tracial factors, and II\textsubscript{1} factors. We define local classes of algebras and determine whether several classes of finite factors are local and/or axiomatizable. We follow Farah, Hart, and Sherman's work in their series of papers titled “Model Theory of Operator Algebras.”

MC 5403

Thursday, May 2, 2019 — 10:00 AM EDT

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

"Degrees of Categoricity, the Isomorphism Problem, and the Turing Ordinal"

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