Events

Adam Gutter, Pure Mathematics, University of Waterloo

"On elementary extensions of Zariski structures"

The goal of this talk is to prove that any elementary extension of a Zariski structure can be viewed as a Zariski structure itself. Combining this with the results about universal specialisations from the previous seminar, we obtain that dimension is a local property.

Cassie Naymie, Pure Mathematics Department, University of Waterloo

"Lev's bounds for subsets containing no 3-APs (Part 1)"

Abstract: We say that $\{x,y,z\}$ forms a three term arithmetic
progression (or 3-AP) if $x+z=2y$. For a finite abelian group $G$ we're
interested in finding the largest cardinality of all subsets $A\subseteq
G$ with $A$ containing no 3-APs. We denote this cardinality by $D(G)$.
In this talk we will prove a result of Lev's showing how $D(G)$ can be
bounded above based on the structure of the group $G$.

Ian Payne, Pure Mathematics, University of Waterloo

"Bounded Width and the Local Consistency Algorithm: Part 1"

I will define what it means for a relational structure
$\mathbb{A}$ to have bounded width, and explain why such structures
are important. To do this, the local consistency algorithm has to be
explained, which requires several definitions about relational

Tyrone Ghaswala, Pure Mathematics, University of Waterloo

"Making your stomach Chern"

Consider a complex vector bundle $E$ over a manifold $M$. The

Robert Garbary, Pure Mathematics, University of Waterloo

"Cherning butter into milk"

This is a continuation of the previous talk.

Matthew Harrison-Trainor, Pure Mathematics, University of Waterloo

"$n$-systems"

Many constructions in computability theory are priority
arguments which build a c.e. set satisfying a list of requirements.
The complexity of such a construction can be measured by the
complexity of seeing how the requirements are satisfied, for example,
finite injury arguments are $\Delta_2$. We will introduce $n$-systems,
a general method of formalizing such constructions which is useful

Robert Garbary, Pure Mathematics, University of Waterloo

"Coherence and O(1)"

On an affine scheme Spec(R), a coherent sheaf is a sheaf that 'comes from a module' over R. In the case where S is a ($\mathbb{Z}$-)graded ring, we may construct a graded S-module out of S by 'twisting' the grading. This sheaf (over Proj(S)) is called O(1). I will go over some non-examples of coherence, and go over the construction and basic properties of O(1).

Cassie Naymie, Pure Mathematics, University of Waterloo

"Lev's bounds for subsets containing no 3-APs (Part 2)"

We say that $\{x,y,z\}$ forms a three term arithmetic progression
(or 3-AP) if $x+z=2y$. For a finite abelian group $G$ we're interested in
finding the largest cardinality of all subsets $A\subseteq G$ with $A$
containing no 3-APs. We denote this cardinality by $D(G)$. In this talk we

Ian Payne, Pure Mathematics, University of Waterloo

"Bounded Width and the Local Consistency Algorithm: Part 2"

This talk will be a continuation of the discussion in "part 1". There
are a few facts and definitions left to state before the local
consistency algorithm can be explained. Once this is all done, I will
define what it means for a structure to have bounded width, and prove

Jordan Hamilton, Pure Mathematics, University of Waterloo

Talk #1: "Generalized holomorphic bundles on Kodaira surfaces"

In this talk we continue the theme of examining which structures a Kodaira surface can admit. In particular, we will work with generalized holomorphic bundles.

Filter by:

Zariski Geometries working seminar

Adam Gutter, Pure Mathematics, University of Waterloo

"On elementary extensions of Zariski structures"

Student Number Theory seminar

Cassie Naymie, Pure Mathematics Department, University of Waterloo

"Lev's bounds for subsets containing no 3-APs (Part 1)"

Constraint Satisfaction seminar

Ian Payne, Pure Mathematics, University of Waterloo

"Bounded Width and the Local Consistency Algorithm: Part 1"

Geometry working seminar

Tyrone Ghaswala, Pure Mathematics, University of Waterloo

"Making your stomach Chern"

Geometry working seminar - Part 2

Robert Garbary, Pure Mathematics, University of Waterloo

"Cherning butter into milk"

Computability learning seminar

Matthew Harrison-Trainor, Pure Mathematics, University of Waterloo

"$n$-systems"

Student Algebra seminar

Robert Garbary, Pure Mathematics, University of Waterloo

"Coherence and O(1)"

Student Number Theory seminar

Cassie Naymie, Pure Mathematics, University of Waterloo

"Lev's bounds for subsets containing no 3-APs (Part 2)"

Constraint Satisfaction seminar

Ian Payne, Pure Mathematics, University of Waterloo

"Bounded Width and the Local Consistency Algorithm: Part 2"

Geometry working seminar

Jordan Hamilton, Pure Mathematics, University of Waterloo

Talk #1: "Generalized holomorphic bundles on Kodaira surfaces"

Contact Info