Trevor Wooley, University of Bristol
“A translation-invariant perspective on arithmetic (and) harmonic analysis”
Ian Payne, Department of Pure Mathematics, University of Waterloo
“Subdirectly Irreducible Algebras in Varieties of 2-semilattices”
Adam Chapman, Tel-Hai Academic College, Israel
“Linked Fields of Characteristic 2 and their u-Invariant.”
Michael Deveau, Department of Pure Mathematics, University of Waterloo
“Enumeration Degree and Existential Atomicity”
We will investigate the notion of a Turing degree of a structure. However, since it is not as useful as we would hope, we instead use enumeration degrees, which prove more fruitful. We then establish some results concerning existential atomicity of a structure.
MC 5403
Shubham Dwivedi, Department of Pure Mathematics, University of Waterloo
“Second Variation Formula, Morse Index and Stability”
We will derive the Second variation formula for a minimal submanifold. After defining the Morse index and Stable Minimal Submanifolds, we will derive the Stability Inequality. As a result, we will prove a theorem due to Simons and another theorem due to Schoen and Yau.
M3-3103
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Two and a half examples"
After some review and a useful exercise on locally ringed spaces, we will look at three important examples. Affine plane minus the origin, affine line with doubled origin and the projective line. (We have seen the first example already, hence the half in the title.) We will show that all of these are schemes that are not affine.
MC 5479
Patrick Ingram, York University
“The critical height of a rational function”
Brandon Doherty, Department of Pure Mathematics, University of Waterloo
“The Lie Algebra of an Algebraic Group”
We will introduce the Lie Algebra of a linear algebraic group and begin studying the adjoint representation.
MC 5413
Ilia Chtcherbakov, University of Waterloo
"Topos theory XIII"
We continue chapter 8 of Goldblatt; we continue the study of Heyting algebras, and, time permitting, Kripke semantics.
MC 5413
Edward Lee, University of Waterloo
"Continuous model theory VII"
We begin chapter 7 of Model theory for metric structures; we discuss continuous analogues of saturation and homogeneity.
MC 5403