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 17, 2026 11:30 am - 12:30 pm EDT (GMT -04:00)

Logic Seminar

Nathaniel Bannister, Carnegie Mellon University

Condensed Sets and the Solovay Model

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the κ-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism andautomatic continuity in the Solovay model to outline a proof of Clausen--Scholze's resolution of the Whiteheadproblem for discrete condensed abelian groups. Joint work with Dianthe Basak.

MC 5417

Tuesday, March 17, 2026 4:00 pm - 5:00 pm EDT (GMT -04:00)

Model Theory Working Seminar

Fateme Peimany, University of Waterloo

Definable groups in CCM

We continue to study the structure of groups definable in CCM, toward showing that every strongly minimal group is either a complex torus or a (commutative) linear algebraic group.

MC 5479

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

Differential Geometry Working Seminar

Viktor Majewski, University of Waterloo

Filling Holes in the Spin(7)-Teichmüller Space and String Cohomology

In this talk, I apply the analytic results from the first talk to study the boundary of the Spin(7) Teichmüller space.Using compactness results for Ricci-flat metrics together with known examples of Spin(7) manifolds, it is knownthat Spin(7) orbifolds with SU(N) isotropy arise as boundary points of the moduli space. Building on theresolution scheme for Spin(7) orbifolds that I discussed in 2024, and which I will briefly review, we show howthis boundary can be removed by requiring Spin(7) orbifolds to encode information about their resolutions. Inthis way, the Teichmüller space is enlarged to include orbifold limits together with their compatible resolutions,thereby filling in the boundary. Finally, we explain how this perspective is related to a Spin(7) analogue of thecrepant resolution conjecture from string cohomology, providing a geometric interpretation of the obstructioncomplex discussed in the linear gluing analysis in the first talk.

MC 5403