Events - July 2012

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

Xiaomei Zhao, Pure Mathematics, University of Waterloo

"New strategies for minor arc estimates: Part II"

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

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

Jordan Hamilton, Pure Mathematics, University of Waterloo

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

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

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

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

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

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

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

Tyrone Ghaswala, Pure Mathematics, University of Waterloo

"Making your stomach Chern"

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

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

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

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

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

Adam Gutter, Pure Mathematics, University of Waterloo

"On elementary extensions of Zariski structures"

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

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

Carrie Knolls, Pure Mathematics Department, University of Waterloo

"Back and forth relations - Part II"

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

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

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

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

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

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

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

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

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

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.

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