## University COVID-19 update

### Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

# Events by month

## January 2019

Sun Mon Tue Wed Thu Fri Sat
30
31
1
2
3
4
5

6
7
8
9
12

13
19

20
21
26

27
1
2

### Model Theory Seminar

Thursday, January 10, 2019 — 4:00 PM EST

David Marker, University of Illinois at Chicago

"Logical Complexity of Schanuel's Conjecture"

Schanuel's Conjecture is naturally a \Pi^1_1-statement.  We show that it is equivalent to a \Pi^0_3-statement in arithmetic by showing that if there are counterexamples, then there are computable counterexamples.  The main ideas come from the work of Johnathan Kirby on exponential algebraic closure and exponential derivations.

MC 5403

### PhD Thesis Defence

Friday, January 11, 2019 — 10:00 to 10:00 AM EST

Ruizhang Jin, Pure Mathematics, University of Waterloo

"Model-theoretic Analysability in Differentially Closed Fields"

### Geometry & Topology Seminar

Friday, January 11, 2019 — 2:30 PM EST

Julius Ross, University of Illinois at Chicago

"Dualities between Complex PDEs and Planar Flows"

### Pure Math Colloquium

Monday, January 14, 2019 — 4:00 PM EST

Andriy Haydys, University of Freiburg

"G2 instantons and the Seiberg-Witten monopoles"

G2 manifolds constitute a class of Einstein seven-manifolds and are of substantial interest both in Riemannian geometry and theoretical physics. At present a vast number of compact G2 manifolds is known to exist. In this talk I will discuss a gauge-theoretic approach to the construction of invariants of compact G2 manifolds. I will focus on an interplay between gauge theories in dimensions 7 and 3 and how this can be used for the construction of the invariants.

### o-minimal GAGA Seminar

Tuesday, January 15, 2019 — 10:30 to 10:30 AM EST

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"Introduction"

This term some of us will be working through sections 2 and 3 (and  maybe 4?) of a recent paper of Bakker-Brunebarbe-Tsimerman in which a definable version of Serre's GAGA is developed (and then applied to solve an old problem of Griffiths). It is a kind of compromise between algebraic geometry and local complex analytic geometry facilitated by model theory (it seems to involve very little of the last).

### Analysis Seminar

Wednesday, January 16, 2019 — 3:30 PM EST

Tobias Fritz, Perimeter Institute

"A separation theorem for order unit modules, with applications to random walks and the Laplace transform"

### Model Theory Seminar

Thursday, January 17, 2019 — 4:00 PM EST

Rémi Jaoui, Department of Pure Mathematics, University of Waterloo

"Pseudo-finite sets and dimension, Part 6"

In this first session of the reading group for 2019, I will summarize some results of the previous lectures on probability logic and explain some applications to the study of ultraproducts of k-approximate subgroups.

MC 5403

### Geometry & Topology Seminar

Friday, January 18, 2019 — 2:30 PM EST

Andriy Haydys, University of Freiburg

"The blow up set of the Seiberg-Witten equation with multiple spinors"

### o-minimal GAGA Seminar

Tuesday, January 22, 2019 — 10:30 to 10:30 AM EST

David McKinnon, Department of Pure Mathematics, University of Waterloo

"Definable complex analytic spaces"

I'm going to talk about definable spaces, and then start on a discussion of section two of the paper of Bakker-Brunebarbe-Tsimmerman.

MC 5479

### Number Theory Seminar

Tuesday, January 22, 2019 — 12:30 to 12:30 PM EST

Daniel Smertnig, Department of Pure Mathematics, University of Waterloo

"On basic and Bass quaternion orders"

### Graduate Student Colloquium

Tuesday, January 22, 2019 — 5:00 PM EST

Christopher Hawthorne, Department of Pure Mathematics, University of Waterloo

"Cryptographic primitives and applications"

### Analysis Seminar

Wednesday, January 23, 2019 — 3:30 PM EST

Guy Salomon, Department of Pure Mathematics, University of Waterloo

"Hyperrigid subsets of Cuntz–Krieger algebras and the property of rigidity at zero”

### Computability Learning Seminar

Wednesday, January 23, 2019 — 3:30 PM EST

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"The Isomorphism Problem for Pregeometries"

### Universal Algebra Seminar

Thursday, January 24, 2019 — 3:00 PM EST

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Dualizing structures that are necessarily of infinite signature"

### Model Theory Seminar

Thursday, January 24, 2019 — 4:00 PM EST

Patrick Speissegger, McMaster University

"Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality"

### Barn raising of the omnitruncated dodecaplex

Friday, January 25, 2019 — 8:00 AM to 6:00 PM EST

Pop by the Mathematics 3 (M3) Atrium any time throughout the day and watch as the omnitruncated dodecaplex comes together. Piece-by-piece the 3D polytope model will be put together by Professor Benoit Charbonneau and student, staff, and faculty volunteers. At the end of the day it will rise up and be a permanent art installation in M3.

### Geometry & Topology Seminar

Friday, January 25, 2019 — 1:30 PM EST

Siddharth Mathur, University of Arizona

"Azumaya Algebras and the Resolution Property"

Azumaya algebras, are (etale) twisted forms of matrix rings. These objects are of great utility because they give rise to Brauer classes. Fifty years ago, Grothendieck asked whether every cohomological Brauer class has a corresponding Azumaya algebra. This question is still open even for smooth separated threefolds over the complex numbers!

### Pure Math Colloquium

Monday, January 28, 2019 — 4:00 PM EST

Michael Lipnowski, McGill University

"Algorithms for the topology of arithmetic groups"

Integer matrix Lie groups \Gamma carry extremely deep arithmetic information.  Topological invariants of \Gamma are particularly interesting.  I will describe an algorithm which, given \Gamma, computes the homology of \Gamma together with the action of certain correspondences on it (Hecke operators).  Joint work with Aurel Page.

MC 5501

### o-minimal GAGA Seminar

Tuesday, January 29, 2019 — 10:30 to 10:30 AM EST

Levon Haykazyan, Department of Pure Mathematics, University of Waterloo

"Coherence"

We discuss sections 2.2 and 2.3 of the Bakker-Brunebarbe-Tsimerman paper.

MC 5479

### Computability Learning Seminar

Wednesday, January 30, 2019 — 3:30 PM EST

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"The Isomorphism Problem for Pregeometries"

We show that the isomorphism problem for rice pregeometries in which dependent elements are dense (Condition B)  is $\Pi^0_3$-hard.

MC 5413

### Universal Algebra Seminar

Thursday, January 31, 2019 — 3:30 PM EST

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Dualizing structures that are necessarily of infinite signature, part 2: proof of duality"

In this lecture I will give Pitkethly’s proof that her schizophrenic pair (described in the seminar the previous week) is in fact a dualizing pair.

MC 5479

### Model Theory Seminar

Thursday, January 31, 2019 — 4:00 PM EST

Rémi Jaoui, Department of Pure Mathematics, University of Waterloo

"Pseudo-finite sets and dimension, Part 7"

In my talk, I will explain a proof of the stabilizer theorem in the combinatorial setting  (Sanders' Theorem) using the independence theorem of probability logic.

MC 5403

### January 2019

S M T W T F S
30
31
1
2
3
4
5
6
7
8
9
12
13
19
20
21
26
27
1
2
1. 2021 (71)
1. August (4)
2. July (17)
3. June (15)
4. May (1)
5. April (4)
6. March (11)
7. February (9)
8. January (10)
2. 2020 (103)
1. December (10)
2. November (12)
3. October (4)
4. September (3)
5. August (1)
6. July (5)
7. June (1)
8. May (3)
9. March (16)
10. February (26)
11. January (22)
3. 2019 (199)
1. December (7)
2. November (26)
3. October (19)
4. September (13)
5. August (7)
6. July (12)
7. June (18)
8. May (22)
9. April (11)
10. March (25)
11. February (17)
12. January (22)
4. 2018 (212)
5. 2017 (281)
6. 2016 (335)
7. 2015 (211)
8. 2014 (235)
9. 2013 (251)
10. 2012 (135)