# Events by month

## November 2018

Sun Mon Tue Wed Thu Fri Sat
28
29
30
31
3

4
10

11
12
17

18
19
20
24

25
26
1

### Homotopy Type Theory Seminar

Thursday, November 1, 2018 — 3:00 PM EDT

John Dykes, Department of Pure Mathematics, University of Waterloo

"Propositional Logic"

In this week's meeting of the homotopy type theory seminar, we begin by discussing how homotopy equivalence behaves with certain common types. We talk about the difference between classical and intuitionistic logic and introduce propositional truncation. We then prove that univalence implies function extensionality.

MC 5413

### Analysis Seminar

Friday, November 2, 2018 — 3:00 PM EDT

Yin Zhi, Harbin Institute of Technology

"Random and free observables saturate the Tsirelson bound for CHSH inequality"

### Pure Math Colloquium

Monday, November 5, 2018 — 4:00 PM EST

Michael Coons, University of Newcastle

"Mahler’s methods: theorems, speculations and variations"

Tuesday, November 6, 2018 — 4:30 PM EST

Ertan Elma, Department of Pure Mathematics, University of Waterloo

### Learning Seminar on Free Analysis

Wednesday, November 7, 2018 — 2:00 PM EST

Eli Shamovich, Department of Pure Mathematics, University of Waterloo

"The isomorphism problem"

We will continue the discussion of the isomorphism problem for subvarieties of the free ball. We will prove that the algebras of bounded nc functions on two subvarieties are completely isometrically isomorphic if and only if the varieties are ball-biholomorphic. We will then discuss the homogeneous case and talk a bit about other isomorphism types.

MC 5479

### Universal Algebra Learning Seminar

Wednesday, November 7, 2018 — 3:30 PM EST

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"Duality Compactness Theorem"

One more building block on the way to establishing some nice theorems: if a finite structure of finite signature dualizes every finite member of ISP(M), then it dualizes the entirety of the class. If we have time, we'll also see that brute force does dualize the finite members! Unfortunately, these two facts don't mesh yet.

MC 5403

### Random Matrices Learning Seminar

Thursday, November 8, 2018 — 3:00 PM EST

Daniel Perales, Department of Pure Mathematics, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

### Model Theory Seminar

Thursday, November 8, 2018 — 4:00 PM EST

Christopher Hawthorne, Department of Pure Mathematics, University of Waterloo

"Stable Regularity Lemma"

### Geometry and Topology Seminar

Friday, November 9, 2018 — 1:30 PM EST

Artour Tomberg, Western University

"Metrics on twistor spaces of hypercomplex manifolds"

### Algebra Seminar

Friday, November 9, 2018 — 2:30 PM EST

Chelsea Walton, University of Illinois at Urbana-Champaign

"On the quadratic dual of the Fomin-Kirillov algebras"

This talk will be based on recent joint work with James Zhang on the quadratic dual (aka Koszul dual) of the Fomin-Kirillov algebras. It will include a brief review of nice ring-theoretic and homological properties of noncommutative graded algebras. No prior knowledge is assumed and open questions will be provided at the end.

MC 5479

### Analysis Seminar

Friday, November 9, 2018 — 3:00 PM EST

Laurent Marcoux, Department of Pure Mathematics, University of Waterloo

"Hilbert space operators with compatible off-diagonal corners"

Given a complex, separable Hilbert space $\mathcal{H}$, we characterize those operators for which $\| P T (I − P ) \| = \| (I − P )T P \|$  for all orthogonal projections $P$ on $\mathcal{H}$.

### Number Theory Seminar

Tuesday, November 13, 2018 — 1:30 PM EST

Jerry Wang, Department of Pure Mathematics, University of Waterloo

"The number of elliptic curves ordered by conductor"

### Algebra Seminar

Tuesday, November 13, 2018 — 2:30 PM EST

Travis Scrimshaw, University of Queensland

"Stable Grothendieck polynomials and crystals"

### Universal Algebra

Wednesday, November 14, 2018 — 3:30 PM EST

Justin Laverdure, Pure Math Department

"Duality Compactness Part 2"

We'll prove the DCT itself, after having seen several supporting lemmas.

MC 5403

### Homotopy Type Seminar

Thursday, November 15, 2018 — 3:00 PM EST
Andrej Vukovic, Pure Math Department, University of Waterloo   "Univalence Implies Function Extensionality"   Since we did not get around to it last time, in this week's meeting of the Homotopy Type Theory Seminar, we prove that univalence implies function extensionality.   MC 5413

### Random Matrices Learning Seminar

Thursday, November 15, 2018 — 3:00 PM EST

Daniel Perales Anaya, Pure Math Department, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

### Model Theory Seminar

Thursday, November 15, 2018 — 4:00 PM EST

Remi Jaoui, Pure Math Department, University of Waterloo

"Pseudo-finite sets and dimension, Part 5"

In this second talk on probability logic, I will discuss stability for terms (or real-valued formulas) in probability logic.

MC 5403

### Geometry & Topology Seminar

Friday, November 16, 2018 — 1:30 PM EST

"Nearly-Kahler 6-Manifolds of Cohomogeneity-Two"

### Analysis Seminar

Friday, November 16, 2018 — 3:00 PM EST

Brian Forrest, Department of Pure Mathematics, University of Waterloo

"Exotic Ideals in the Fourier-Stieltjes Algebra of a Locally Compact Group"

### Universal Algebra Learning Seminar

Wednesday, November 21, 2018 — 3:30 PM EST

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Dualizing the finite level"

Last week, Justin proved the Duality Compactness Theorem, which reduces the task of proving a duality to proving it “at the finite level,” that is, for the finite algebras in the quasi-variety ISP(M), at least for alter egos with a finite signature. This week I will present a characterization of when an alter ego dualizes the finite algebras in ISP(M). The characterization is especially useful when the term operations of M are understood.

MC 5403

Wednesday, November 21, 2018 — 4:30 PM EST

Maxwell Levit, Department of Combinatorics & Optimization, University of Waterloo

"Topological Combinatorics and Combinatorial Topology"

I’ll tell you about a topological proof of a combinatorial result (The Borsuk-Ulam Theorem implies Kneser’s Conjecture), and a combinatorial proof of a topological result (Sperner’s Lemma implies the Brouwer fixed point theorem).

MC 5501

### Random Matrices Learning Seminar

Thursday, November 22, 2018 — 3:00 PM EST

Daniel Perales, Department of Pure Mathematics, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

In this session we will begin by ;reviewing the notion of real stability and some of its basic properties. Then we continue with the study of operators that preserve real stability. For this, we will look into the proof of the Gauss-Lucas Theorem, which asserts that for any complex polynomial f, the roots of its derivative, f', are contained in the convex hull of the roots of f.

### Model Theory Seminar

Thursday, November 22, 2018 — 4:00 PM EST

Ruizhang Jin, Department of Pure Mathematics, University of Waterloo

"Model-theoretic Analysability in Differentially Closed Fields"

### Geometry & Topology Seminar

Friday, November 23, 2018 — 1:30 PM EST

Hanci Chi, McMaster University

"Invariant Einstein Metrics of Cohomogeneity One with Principal Orbits as Wallach Spaces"

### Analysis Seminar

Friday, November 23, 2018 — 3:00 PM EST

Andrea Vaccaro, University of Pisa/York University

"Trace spaces of Counterexamples to Naimark's Problem"

### Number Theory Seminar

Tuesday, November 27, 2018 — 1:30 PM EST

Ananth Shankar, MIT

"Exceptional splitting of abelian surfaces over global function fields"

### Algebra Seminar

Tuesday, November 27, 2018 — 2:30 PM EST

Owen Biesel, Carleton College

"G-closures and discriminant algebras"

Tuesday, November 27, 2018 — 4:30 PM EST

Aasaimani Thamizhazhagan, Department of Pure Mathematics, University of Waterloo

"Uncertainty Principles and Fourier Analysis"

The uncertainty principle is partly a description of a characteristic feature of quantum mechanical systems, partly a statement about the limitations of one's ability to perform measurements on a system without disturbing, and partly a meta-theorem in harmonic analysis that can be summed up as follows:

"A non-zero function and its Fourier transform cannot both be sharply localized."- G. B. Folland

MC 5501

### Universal Algebra Learning Seminar

Wednesday, November 28, 2018 — 3:30 PM EST

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Examples of dualizable and nondualizable algebras"

Having established useful criteria, I will illustrate their use in proving finite algebras are, or are not, dualizable.

MC 5403

### Homotopy Type Theory Seminar

Thursday, November 29, 2018 — 3:00 PM EST

Andrej Vukovic, Department of Pure Mathematics, University of Waterloo

"Fundamental Group of the Circle and Other Highlights"

Today we construct the circle type and show that its fundamental group is Z, using synthetic homotopy theory. As requested at the last meeting, we also show that function extensionality implies weak function extensionality.

MC 5413

### Model Theory Seminar

Thursday, November 29, 2018 — 4:00 PM EST

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"Pseudo-finite sets and dimension, Part 6"

I will discuss the pseudo-finite Larsen-Pink inequality, which compares pseudo-finite dimension to algebraic dimension in simple algebraic groups.

MC 5403

### Analysis Seminar

Friday, November 30, 2018 — 3:00 PM EST

Sascha Troscheit, Department of Pure Mathematics, University of Waterloo

"Quasi self-similarity and the dimension drop conjecture for self-conformal sets"

### November 2018

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