Lisa Marquand, Stony Brook University
"Symplectic Birational Involutions of manifolds of OG10 type"
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
Roberto Hernandez Palomares, Department of Pure Mathematics, University of Waterloo
"K-theoretic classification of inductive limit actions of fusion categories on AF C*-algebras"
Jason Lotay, Oxford University
"Minimal Lagrangians and where to find them"
Note: The time of this talk is different from the usual Number Theory Seminar time.
Trevor Wooley, Purdue University
"Waring's problem and Freiman's theorem"
Christopher Lang, Department of Pure Mathematics, University of Waterloo
"Hyperbolic monopoles with continuous symmetries (part 2)"
Few examples of hyperbolic monopoles exist. By modifying previous work of mine with collaborators, we will discuss a structure theorem for generating highly symmetric hyperbolic monopoles. We will briefly cover general geometric details discussed in my previous talk and focus more on the use of representation theory to generate monopoles and examine some examples generated by the method.
MC 5403
David Meretzky, University of Notre Dame
"A boundedness condition for differential fields"
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
Francisco Villacis, Department of Pure Mathematics, University of Waterloo
"Integrable System on Smooth Projective Toric Varieties, Part 2"
This is a continuation to my previous talk on building an integrable system on smooth projective toric varieties. In my previous talk, I explained how to view a smooth projective toric variety as a symplectic reduction. In this talk I will briefly review this construction and from here show that the torus action in our variety is Hamiltonian and explain how the integrable system is constructed.
Maya Gusak, University of Waterloo
"Elliptic Curve Cryptography"
MC 5403