Events - March 2023

Aleksandar Milivojevic, Max Planck Institute for Mathematics, Bonn

"Topological aspects of almost complex structures on the six sphere"

Keke Zhang, Department of Pure Mathematics, University of Waterloo

"More about the Langlands Program"

We will talk about the Fourier-Mukai transform and how it relates to geometric Langlands correspondence, Geometric Langlands for reductive groups (geometric Satake equivalence) and their examples. If time allows, we will give a deformed version of the Fourier-Mukai transform.

This seminar will be held both online and in person:

Lucia Martin Merchan, Department of Pure Mathematics, University of Waterloo

"Formality of Joyce's manifolds"

William Gollinger, University of Waterloo

"Four" proofs that \pi_1(G) is abelian

Guoliang Yu, Texas A&M University

"Index theory of the Dirac operator on manifolds with polyhedral boundary and its applications"

I will introduce a new index theory for Dirac operators on manifolds with polyhedral boundary and discuss how this theory can be applied to solve Gromov's dihedral extremality conjecture on scalar curvature. This is joint work with Jinmin Wang and Zhizhang Xie. This talk will be accessible to non-experts including graduate students.

MC 5501

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Metatheorems (Part 2)"

We will introduce the game metatheorem of Antonio Montalban and discuss its function. Several examples of its usefulness will be given.

MC 5403

Maya Gusak, University of Waterloo

"Elliptic Curve Cryptography"

MC 5403

Leo Jimenez, Department of Pure Mathematics, University of Waterloo

"Uncollapsed Hrushovski constructions, part 2"

Last week, we constructed the Hrushovski-Fraisse limit of a class of finite relational structures. This week, I will axiomatize these limits and prove they are omega-stable. I will also give a characterization of forking. If time allows, I will show some potential application. 

MC 5417

David Meretzky, University of Notre Dame

"A boundedness condition for differential fields"

Jason Lotay, Oxford University

"Minimal Lagrangians and where to find them"

Rachael Alvir, Department of Pure Mathematics, University of Waterloo

"Even More Effectively Closed Sets"

An effectively closed set (or $\Pi^0_1$ class) in Baire space $\omega^\omega$ is the set $[T]$ of infinite branches through a computable tree $T$. This semester in the computability seminar, we will be studying $\Pi^0_1$ classes from Cenzer \& Remmel's textbook. This week we will continue proving an effective version of the perfect set theorem.

MC 5403

Eric Boulter, Department of Pure Mathematics, University of Waterloo

"Rational points on elliptic curves"

MC 5403