Computability Theory Learning Seminar
Xinyue (Cynthia) Xie & Layth Al-Hellawi, Department of Pure Mathematics, University of Waterloo
"Effectiveness Properties of Walker's Cancellation Theorem - Part I"
Xinyue (Cynthia) Xie & Layth Al-Hellawi, Department of Pure Mathematics, University of Waterloo
"Effectiveness Properties of Walker's Cancellation Theorem - Part I"
Changho Han, Department of Pure Mathematics, University of Waterloo
"Divisors and line bundles on horospherical varieties II"
Ty Ghaswala, CEMC, University of Waterloo
"Boundary Dehn twists are excellent!"
Barbara Csima, Department of Pure Mathematics, University of Waterloo
"Degrees of Categoricity"
A degree of categoricity is a Turing degree that exactly captures the complexity of computing isomorphisms between computable copies of some computable structure. In this talk I will start by giving some easy examples of degrees of categoricity. I will then give a review of what is known about degrees of categoricity, culminating in new results (joint work with Dino Rossegger).
Yash Totani, Department of Pure Mathematics, University of Waterloo
"A function field analogue of Landau's theorem"
A famous theorem of Landau classifies the numbers which can be written as the sum of two squares and provides the asymptotic density of such numbers in the set of integers. In this talk, we will be looking at a function field analogue due to Soroker, Smilansky and Wolf.
This seminar will be held jointly online and in person:
Anton Iliashenko, Department of Pure Mathematics, University of Waterloo
"Betti numbers of nearly G2 manifolds"
On a Riemannian manifold there is a Weitzenböck identity which is a relationship between the Laplacian, the Bochner Laplacian and the curvature. We will consider this formula in the nearly G_2 setting and see how bounds on the Weyl Tensor or Sectional Curvature can give us certain information about the Betti numbers.
MC 5403
Xinyue (Cynthia) Xie & Layth Al-Hellawi, Department of Pure Mathematics, University of Waterloo
"Effectiveness properties of the Walker's Cancellation Theorem - Part II"
Matthew Satriano, Department of Pure Mathematics, University of Waterloo
"The canonical divisor and properties of Cartier divisors for horospherical varieties"
We will discuss criteria for Cartier divisors to be base point free or ample. We will also give a formula for the canonical divisor. We will include many examples.
This seminar will be held jointly online and in person:
Sung Gi Park, Harvard University
"Kodaira dimension and hyperbolicity for smooth families of varieties"
Patrick Speissegger, McMaster University
"The real Gamma and Zeta functions are jointly o-minimal"