Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Brad Rogers, Queen's University
"Integers in short intervals representable as sums of two squares"
Matt Satriano, Department of Pure Mathematics, University of Waterloo
"The Main Theorem"
We jump ahead and begin proving the main algebraization theorem of the BakkerBrunebarbeTsimerman paper – Theorem 3.1.
MC 5479
Ragini Singhal, Department of Pure Mathematics, University of Waterloo
"Deformations of Nearly G_2 instantons  Part 2"
In this talk we will discuss the deformation theory for instantons on sevenmanifolds with nearly parallel G_2structure of typeI. We will see how the space of perturbations of instantons can be identified with the eigenspaces of the Dirac operatior, which can be used to prove that all the irreducible instantons with semisimple structure group are rigid.
MC 5413
Ellen Kirkman, Wake Forest University
"The Invariant Theory of ArtinSchelter Regular Algebras"
David R. Pitts, University of NebraskaLincoln
"Cartan Triples"
Cartan MASAs in von Neumann algebras have been wellstudied since the pioneering work of Feldman and Moore in the 1970's. The presence of a Cartan MASA in a a given von Neumann algebra $\mathcal{M}$ is useful for understanding the structure of $\mathcal{M}$. Cartan MASAs arise when applying the group measure space construction with a countable group $\Gamma$ acting essentially freely on the measure space $(X,\mu)$.
Anton Bernshteyn, Carnegie Mellon University
"Independent sets in algebraic hypergraphs"
Brett Nasserden, Department of Pure Mathematics, University of Waterloo
"Quotient singularities"
Singularities of algebraic varieties which are quotients of a vector space by a finite group provide interesting connections between algebraic geometry, representation theory, and group theory. I will discuss this circle of ideas with a focus on applications to algebraic geometry.
MC 5403
Brett Nasserden, Department of Pure Mathematics, University of Waterloo
"Definabilization"
Given an affine variety, scheme, or algebraic space defined over the complex numbers one may construct an associated definable analytic space in a functorial manner. With this definabilization functor in hand it becomes possible to compare categories of algebraic coherent sheaves and definable coherent sheaves. We will explain the constructions above and discuss why it is interesting from a geometric perspective.
MC 5479
Ragini Singhal, Department of Pure Mathematics, University of Waterloo
"Deformations of Nearly G_{2} Instantons"
In this talk we will discuss the deformation theory for instantons on sevenmanifolds with nearly parallel G_{2}structure of typeI. We will see how the space of perturbations of instantons can be identified with the eigenspaces of the Dirac operator, which can be used to prove that all the irreducible instantons with semisimple structure group are rigid.
MC 5413
Michael Jury, University of Florida
"A Tour of Noncommutative Function Theory"
Levon Haykazyan, University of Waterloo
"Pseudofinite sets and dimension, Part 8"
I'll talk about unimodularity. It was introduced by Hrushovski in early 90s as a generalisation of local finiteness. Unimodularity has recently reappeared in the pseudofinite setting as a tool to develop intersection theory.
MC 5403.
Zack Cramer, University of Waterloo
“Matrix Algebras with a Certain Compression Property”
Erick Knight University of Toronto
“The ζ3Pell Equation” Abstract
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
"Etale descent"
Following the BakkerBrunebarbeTsimerman paper, we show that quotients by etale equivalence relations exist for definable analytic spaces.
MC 5479
Alessandro Malusà, University of Saskatchewan
"Complex AJ conjecture"
**This talk was originally scheduled for February 12; it will now take place on February 14, 2019**
Nick Manor, Department of Pure Mathematics, University of Waterloo
"Do the Borromean rings exist?"
Pat Naylor, Department of Pure Mathematics, University of Waterloo
"Diagrammatic Methods in Topology"
A recent tool for understanding 4manifolds is something called a “trisection.” These have the interesting advantage of changing problems about 4manifolds to problems of combinatorics on surfaces. This talk will be an (accessible) tourist’s guide to some background and similar ideas from low(er) dimensional topology: Heegaard splittings and diagrams. Time permitting, we’ll also introduce a trisection and discuss some recent developments.
Sanaz Pooya, Stockholm University
"On the BaumConnes assembly map for certain semidirect products"
**This seminar has been cancelled and is rescheduled for February 27, 2019**
Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
"The Isomorphism Problem for Pregeometries"
We continue our proof for showing that the isomorphism problem for rice pregeometries with Condition B is $\Pi^0_3$hard.
MC 5413
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
"Etale descent"
Following the BakkerBrunebarbeTsimerman paper, we show that quotients by etale equivalence relations exist for definable analytic spaces.
MC 5479
Alex Wright, University of Michigan
"Dynamics, geometry, and the moduli space of Riemann surfaces"
[Talk rescheduled from February 6, 2019]
SangGyun Youn, Queen's University
"Sobolev embedding properties on compact matrix quantum groups"
Abolfazl Alam, Shahid Beheshti University
"Model Companion for Bounded Theories and some Related Complexity Questions"
Ross Willard, Department of Pure Mathematics, University of Waterloo
"Dualizing structures that are necessarily of infinite signature, part 3: the gory details"
In this lecture I will finish Pitkethly’s proof that her schizophrenic pair is in fact a dualizing pair. If time remains, I’ll sketch the proof that the term operations of the algebra are not determined by any finitesignature alter ego.
MC 5403
Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
"The Isomorphism Problem for Pregeometries"
We continue our proof for showing that the isomorphism problem for rice pregeometries with Condition B is $\Pi^0_3$hard.
MC 5413
S  M  T  W  T  F  S 

25

26

27

28

29

30

1

2

3

4

5

6

7

8

9

10

11

13

14

15


16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Indigenous Initiatives Office.