Logic Seminar
Alexi Block Gorman, McMaster University
"Toward a characterization of V_k-definability"
Alexi Block Gorman, McMaster University
"Toward a characterization of V_k-definability"
Sean Monahan, Department of Pure Mathematics, University of Waterloo
"Flipping horospherical varieties"
(the title should be read in John Sawatzky’s voice). In what is likely the final talk of the seminar, we will see how flips work in the context of MMP on horospherical varieties. This is following section 4 of Brion’s paper “Variétés sphériques et théorie de Mori”.
This seminar will be held jointly online and in person:
Leo Jimenez, Department of Pure Mathematics, University of Waterloo
"Uncollapsed Hrushovski constructions"
Hrushovski constructions have been used to construct many counterexamples in model theory, and also have interactions with combinatorics. In their uncollapsed, infinite rank form, they are very similar to the classical Fraisse limits. I will go through the basic properties of uncollapsed Hrushovski constructions, following David Evan's note "An introduction to ampleness".
MC 5417
Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo
"Deformation theory of vector bundles and of Hitchin pairs"
Eric Boulter, Department of Pure Mathematics, University of Waterloo
"Rational points on elliptic curves"
MC 5403
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"