Computability Theory Learning Seminar
Rachael Alvir, Department of Pure Mathematics, University of Waterloo
"Scott Complexity Part 3"
Rachael Alvir, Department of Pure Mathematics, University of Waterloo
"Scott Complexity Part 3"
Nicole Kitt, Department of Pure Mathematics, University of Waterloo
"Morphisms of horospherical varieties"
In this talk, we define and look at examples of morphisms of horospherical varieties. Additionally, we will see how morphisms of horospherical varieties are related to maps of the coloured fans.
This seminar will be held jointly online and in person:
Duncan McCoy, Université du Québec à Montréal
"The quest for alternating surgeries"
Ross Willard, Department of Pure Mathematics, University of Waterloo
"Finite axiomatizability problems for finite algebras"
Xingchi Ruan, Department of Pure Mathematics, University of Waterloo
"Lower bounds on solubility of Diophantine systems"
Given a system of r homogeneous polynomial equations with degree d with rational coefficients, we study the number of variables it needs to possess a non-trivial p-adic solution. We focus on the lower bound of this number. We learn the history and prototype of the problem, as well as the most precise estimation of the lower bound so far.
MC 5479
Robert Harris, Department of Pure Mathematics, University of Waterloo
"Abelian Covers and Line Arrangements in CP^2"
Lucia Martin Merchan, Department of Pure Mathematics, University of Waterloo
"A compact non-formal closed G2 manifold with b1=1"
Gian Cordana Sanjaya, Department of Pure Mathematics, University of Waterloo
"On the squarefree values of $a^4 + b^3$"
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"A proof sketch of Hilbert's tenth problem"
Yash Singh, Department of Pure Mathematics, University of Waterloo
"Properties of horospherical varieties"
We study when a given horospherical variety is affine. Additionally, we study G-orbits of horospherical varieties and their correspondence with colored cones.
This seminar will be held jointly online and in person: