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

Events

Thursday, November 12, 2026 1:30 pm - 3:00 pm EST (GMT -05:00)

Computability Learning Seminar | Beining Mu | Goncharov's theorem and application

Beining Mu (University of Waterloo)

Goncharov's theorem and application

In this seminar, we will prove Goncharnov's theorem, which states that there is a structure which is computably categorical but not relatively so. Then we will proof its application in computable structure theory. In particular, we will relativize Goncharnov's theorem to \(\emptyset'\)

MC 5403

Thursday, November 12, 2026 2:30 pm - 3:30 pm EST (GMT -05:00)

Intro to My Research | Ty Ghaswala

Ty Ghaswala (University of Waterloo)

Intro to My Research

This is a series of talks by faculty members explaining their research at a level aimed at master's students. All other department members are welcome as well.

MC 5501

Ergun Yalcin (Bilkent University and University of Waterloo)
Free Actions on Products of Real Projective Spaces
There are many conjectures on restrictions on finite groups that can act freely on a topological space with prescribed homotopy type. The most famous of these conjectures is the rank conjecture, which claims that if an elementary abelian p-group of rank r acts freely on a product of k spheres, then r is less than or equal to k. In 1983, Cusick made a similar conjecture for free actions on products of real projective spaces. We recently solved the homotopy-theoretic version of Cusick’s conjecture. I will explain some of the main ideas used in the proof of this conjecture, after introducing the necessary background.
MC 5417