Shapes

Welcome to Pure Mathematics

We are home to 30 faculty, four staff, approximately 60 graduate students, several research visitors, and numerous undergraduate students. We offer exciting and challenging programs leading to BMath, MMath and PhD degrees. We nurture a very active research environment and are intensely devoted to both ground-breaking research and excellent teaching.


News

More than 100 researchers and students from across Canada and around the world attended the 53rd annual Canadian Operator Algebras Symposium (COSY), which took place from May 26-30 at the University of Waterloo.

Events

Tuesday, March 10, 2026 10:00 am - 11:00 am EDT (GMT -04:00)

Number Theory Seminar

Matthew Young, Rutgers University

The shifted convolution problem for Siegel modular forms

The shifted convolution problem for Fourier coefficients of cusp forms has seen a lot of attention due to applications towards moments of L-functions and the subconvexity problem. However, the problem for higher rank automorphic forms (beyond GL_2) has been a notorious bottleneck towards progress on the sixth moment of the Riemann zeta function. In this talk, I will discuss recent progress on the problem for Siegel cusp forms on Sp_4. This is joint work with Wing Hong (Joseph) Leung.

Join on Zoom

Tuesday, March 10, 2026 2:30 pm - 3:45 pm EDT (GMT -04:00)

Model Theory Working Seminar

Rahim Moosa, University of Waterloo

Definable groups in CCM

I will continue totalk about “Strongly minimal groups in the theory of compact complex maniflds".

MC 5479

Wednesday, March 11, 2026 3:30 pm - 4:30 pm EDT (GMT -04:00)

Waterloo-McMaster Joint Logic Seminar

Jules Ribolzi, University of Waterloo

On Two Model-Theoretic Approaches to Complex Analytic Geometry

There is a first-order multi-sorted structure for compact complex spaces which satisfies important model-theoretic properties (quantifier elimination, elimination of imaginaries, finiteness of Morley rank,…). We call this theory $CCM$. On the other hand, any compact complex manifold is definable in the O-minimal structure $\mathbb{R}_{an}$. In this talk, we will discuss the relation between these two structures (and also their elementary extensions).

MC 5417