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
Sun  Mon  Tue  Wed  Thu  Fri  Sat 

26

27

28

29

30

31

1








2

3

4

5

8








9

10

15






16

19

20

21

22








23

24

29






30

1

2

3

4

5

6








Andrej Vukovic, Department of Pure Mathematics, University of Waterloo
"Homotopy Type Theory and Univalent Foundations"
An organizational meeting for the Model Theory Seminar will be held on Thursday, September 6 at 3:30 pm in MC 5403.
Andrew Nicas, McMaster University
"Metric transforms yielding Gromov hyperbolic spaces"
Tyrone Ghaswala, University of Manitoba
"Amalgamated free products of circularly ordered groups"
Eli Shamovich, Department of Pure Mathematics, University of Waterloo
"Background and basics"
The study of free analysis  a quantized version of complex analysis was initiated by Taylor and Voiculescu. Free analysis is the study of functions of several noncommuting complex variables. This is the introductory talk of the seminar. I will cover the origins of free analysis in the works of Taylor and Voiculescu. We will define noncommutative (nc) sets and functions and provide basic examples.
MC 5479
John Dykes, Department of Pure Mathematics, University of Waterloo
"Homotopy Type Theory and Univalent Foundations: Lecture 2"
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Sheaves of Structures and Positive Model Theory"
Can we relax the assumptions on Łoś's theorem if we only care about positive formulas? The answer to this question will lead us to rediscover sheaves of structures and generalised ultraproducts.
MC 5403
Tyrone Ghaswala, University of Manitoba
"Mapping class groups, coverings, braids and groupoids"
Given a finitesheeted, possibly branched covering space between surfaces, it's natural to ask how the mapping class group of the covering surface relates to the mapping class group of the base surface. In this talk, we will take a journey through this question for surfaces with boundary. It will feature appearances from the fundamental groupoid, the BirmanHilden theorem, the Burau representation and new embeddings of the braid group in mapping class groups.
Eli Shamovich, Department of Pure Mathematics, University of Waterloo
"Fixed points of selfmaps of the free ball"
Christian Rosendal, University of Illinois at Chicago
"Geometries of topological groups"
We will discuss how topological groups (of which Banach spaces are a particular example) come equipped with inherent geometries at both the large and small scale. In the context of Banach spaces, the ensuing study is part of geometric nonlinear analysis and we shall present various results and fundamental concepts dealing both with Banach spaces and more general topological groups appearing in analysis, dynamics and topology.
MC 5501
Gurbir Dhillon, Stanford University
"Double cosets, character formulas, and the Virasoro algebra"
Simon Crawford, Department of Pure Mathematics, University of Waterloo
"Deformations of Quantum Kleinian Singularities"
Eli Shamovich, Department of Pure Mathematics, University of Waterloo
"Analytic nc functions"
In this talk, we will discuss higherorder nc functions and in particular, derivatives of arbitrary order. We will show that every locally bounded nc functions is analytic and can locally be expressed as “power series" with multilinear coefficients, the socalled TaylorTaylor series.
MC 5479
Ross Willard, Department of Pure Mathematics, University of Waterloo
"Stone duality revisited: hom functors"
Let B be a Boolean algebra and X a Stone space. Today I’ll show how Hom(B,2) naturally has the structure of a Stone space and Hom(X,2) naturally has the structure of a Boolean space. In particular, Hom(Hom(B,2),2) is isomorphic to B.
MC 5403
Adam Humeniuk, Department of Pure Mathematics, University of Waterloo
"A Primer on Topological Data Analysis"
John Dykes, Department of Pure Mathematics, University of Waterloo
"Putting the "Homotopy" in Homotopy Type Theory"
In this week's meeting of the Homotopy Type Theory Seminar, we begin by reviewing path induction. We then interpret MartinLof type theory in a homotopytheoretic manner, viewing types as higher groupoids and functions as functors. We also discuss in detail how the notion of a homotopy between paths is related to identity types. Those who did not attend previous meetings are still encouraged to come!
MC 5413
Rémi Jaoui, Department of Pure Mathematics, University of Waterloo
"Disintegration phenomena for planar algebraic vector fields"
In my talk, I will discuss some disintegration phenomena in the specific case of complex polynomial vector fields on the affine plane \mathbb{A}^2_\mathbb{C}.
Jesse Kass, University of South Carolina
"How to count lines on a cubic surface arithmetically"
Douglas Farenick, University of Regina
"Lowdimensional operator systems, equivalence, and free convexity"
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 Office of Indigenous Relations.