Events

Matthew Satriano, Department of Pure Mathematics, University of Waterloo

"Toric MMP"

I will discuss the minimal model program for toric varieties.

This seminar will be held jointly online and in person:

• Room: MC 5417
• Zoom information: Meeting ID: 991 8438 2567; Passcode: 502765; Link: https://uwaterloo.zoom.us/j/99184382567?pwd=aEEzM2tGV3BtbDdLdE40VzIydndrQT09

Christine Eagles, Department of Pure Mathematics, University of Waterloo

"A Note on Geometric Theories of Fields"

Will Johnson and Jinhe Ye have shown equivalence conditions on expansions of very slim fields, strongly geometric fields and algebraically bounded fields. As a consequence, we get a one-cardinal results for definable sets and positive dimensional interpretable set. We will work though this paper, entitled "A Note on Geometric Theories of Fields".

MC 5417

Keke Zhang, Department of Pure Mathematics, University of Waterloo

"An Introduction to Geometric Langlands"

We will begin with a discussion of the origin of the Langlands program in number theory, which is class field theory. Then we will give an introduction to the geometric Langlands conjecture. We will show Deligne's proof of the simplest case, which is the statement for GL(1).

This seminar will be held both online and in person:

Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo

"The geometry of G2 manifolds: a marriage of non-associative algebra and non-linear analysis"

Rasul Shafikov, Western University

"Lagrangian embeddings, rational convexity, and approximation"

A celebrated theorem of Duval and Sibony characterizes rationally convex real submanifolds in complex Euclidean spaces as those isotropic with respect to a Kahler form. I will discuss how the results in symplectic geometry can be used to obtain some new results in the approximation theory.

MC 5417

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Effectively closed sets - Part V"

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 basis theorems and take a brief detour into Martin-Lof randomness.

MC 5403

Camila Sehnem, Department of Pure Mathematics, University of Waterloo

"C*-envelopes and semigroup C*-algebras"

Patrick Ingram, York University

"Variation of canonical heights in arithmetic dynamics"

Yash Totani, Department of Pure Mathematics, University of Waterloo

"Binary quadratic forms of class number 3"

Upon providing a historical overview of the theory of binary quadratic forms, we talk about the problem of representing positive integers by some specific binary quadratic forms. We will see how the theory of modular forms comes to our rescue.

MC 5403

J.C. Saunders, Middle Tennessee State University

"The Euler Totient Function on Lucas Sequences"