# Events - July 2012

Tuesday, July 31, 2012 — 10:00 AM EDT

## Student Number Theory seminar

### Xiaomei Zhao, Pure Mathematics, University of Waterloo

#### "New strategies for minor arc estimates: Part II"

Wednesday, July 25, 2012 — 3:40 PM EDT

## Computability learning seminar

### Matthew Harrison-Trainor, Pure Mathematics, University of Waterloo

#### "$n$-systems - Part II"

We will continue our discussion of $n$-systems, and prove a
general "metatheorem'' with a list of conditions that guarantee the
success of a priority construction.

Wednesday, July 25, 2012 — 1:00 PM EDT

## Geometry working seminar

### Jordan Hamilton, Pure Mathematics, University of Waterloo

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

Wednesday, July 25, 2012 — 1:00 PM EDT

## Geometry working seminar - Part 2

### Li Chen, Pure Mathematics, University of Waterloo

#### Talk #2: "Symmetry groups of differential Equations Part II - Symmetry of algebraic equations"

Wednesday, July 25, 2012 — 10:30 AM EDT

## Constraint Satisfaction seminar

### 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

Tuesday, July 24, 2012 — 10:00 AM EDT

## Student Number Theory seminar

### 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

Thursday, July 19, 2012 — 1:00 PM EDT

## Student Algebra seminar

### 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).

Wednesday, July 18, 2012 — 3:40 PM EDT

## Computability learning seminar

### 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

Wednesday, July 18, 2012 — 1:00 PM EDT

## Geometry working seminar

### Tyrone Ghaswala, Pure Mathematics, University of Waterloo

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

Wednesday, July 18, 2012 — 1:00 PM EDT

## Geometry working seminar - Part 2

### Robert Garbary, Pure Mathematics, University of Waterloo

#### "Cherning butter into milk"

This is a continuation of the previous talk.

Wednesday, July 18, 2012 — 10:30 AM EDT

## Constraint Satisfaction seminar

### 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
structures. The actual definition of bounded width may spill into part

Tuesday, July 17, 2012 — 10:00 PM EDT

## Student Number Theory seminar

### 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$.

Tuesday, July 17, 2012 — 2:30 PM EDT

## Zariski Geometries working seminar

### Adam Gutter, Pure Mathematics, University of Waterloo

#### "On elementary extensions of Zariski structures"

Thursday, July 12, 2012 — 1:00 PM EDT

## Student Algebra seminar

### David McKinnon, Pure Mathematics Department, University of Waterloo

#### "Proj, coherent sheaves, and O(1)"

Abstract: Proj, coherence, and O(1) are all scary things in Hartshorne section II.5.  I’ll do my best to explain them, and make them seem less scary.

Wednesday, July 11, 2012 — 3:40 PM EDT

## Computability learning seminar

### Carrie Knolls, Pure Mathematics Department, University of Waterloo

#### "Back and forth relations - Part II"

Wednesday, July 11, 2012 — 1:00 PM EDT

## Geometry working seminar

Spiro Karigiannis, Pure Mathematics Department, University of Waterloo will speak on:

### Talk #1: Special types of Hermitian connections, Part I."

Abstract: I will discuss natural classes of connections on almost Hermitian manifolds, including the Bismut connection. I will be following closely the hard-to-find paper by Paul Gauduchon entitled "Hermitian Connections and Dirac Operators".

Tuesday, July 10, 2012 — 2:30 PM EDT

## Zariski Geometries working seminar

### Peter Sinclair, Pure Mathematics Department, University of Waterloo

#### "Universal Specializations and Elementary Extensions"

Abstract: We will begin this talk by introducing universal
specializations (section 2.2.1 in Zilber), which are specializations
that behave very nicely when extended further. We will then discuss
irreducible coverings (section 3.5.2), and begin to show that an

Tuesday, July 10, 2012 — 10:00 AM EDT

## Student Number Theory seminar

### Xiaomei Zhao, Pure Mathematics Department, University of Waterloo

#### "New strategies for minor arc estimates: Part I"

We have seen the outline of the circle method in Waring's
problem from Shuntaro's talks, where the minor arc contribution was
established by combining Weyl's inequality with Hua's lemma. In my two
talks, we will continue to see some improvements on minor arc estimates.

Thursday, July 5, 2012 — 3:30 PM EDT

## Number theory seminar

### Shanta Laishram Indian Statistical Institute (ISI)

#### “Baker’s Explicit ABC-Conjecture and Applications”

The conjecture of Masser-Oesterl ́e, popularly known as abc-conjecture have many consequences. We use an explicit version due to Baker to solve a number of conjectures. This is a joint work with T. N. Shorey.

Thursday, July 5, 2012 — 1:00 PM EDT

## Student algebra seminar

### Omar Leon Sanchez, Department of Pure Mathematics, University of Waterloo

#### “Morphisms between spectrums.”

We will see why a ring homomorphism A → B naturally induces a morphism (SpecB,OB) → (Spec A, OA) and why the converse is also true.

Wednesday, July 4, 2012 — 1:00 PM EDT

## Geometry working seminar

Benoit Charbonneau & Ren Zhu, Pure Mathematics, University of Waterloo

Wednesday, July 4, 2012 — 10:30 AM EDT

## Constraint satisfaction seminar

### Ross Willard, Pure Mathematics Department, University of Waterloo

#### "Solving group constraints - IV"

This is the fourth, and hopefully last, of several lectures in which I will describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group.

Tuesday, July 3, 2012 — 2:30 PM EDT

## Zariski Geometries working seminar

### Peter Sinclair, University of Waterloo

#### "Pre-Smoothness - Part II"

In this talk, we will introduce a broader definition of
pre-smoothness for general constructible sets, and discuss some
properties of pre-smooth sets. Time permitting, we will also look at
the specific case when the pre-smooth set is an algebraic curve.

### July 2012

S M T W T F S
1
2
6
7
8
9
13
14
15
16
20
21
22
23
26
27
28
29
30
1
2
3
4
1. 2023 (119)
1. April (8)
2. March (51)
3. February (33)
4. January (27)
2. 2022 (179)
1. December (8)
2. November (31)
3. October (24)
4. September (17)
5. August (9)
6. July (15)
7. June (14)
8. May (13)
9. April (14)
10. March (15)
11. February (12)
12. January (7)
3. 2021 (135)
4. 2020 (103)
5. 2019 (199)
6. 2018 (212)
7. 2017 (281)
8. 2016 (335)
9. 2015 (211)
10. 2014 (235)
11. 2013 (251)
12. 2012 (135)
1. December (5)
2. November (18)
3. October (15)
4. September (7)
5. August (16)
6. July (23)
7. June (18)
8. May (20)
9. April (2)
10. March (10)
11. February (1)