Events - 2012

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

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.

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

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.

Peter Sinclair, Pure Mathematics Department, University of Waterloo

“Pre-Smoothness”

Abstract
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.

Benoit Charbonneau & Sprio Karigiannis, Pure Mathematics Department, University of Waterloo.

Talk 1:
"Flow of connections within a complex gauge equivalence class" (Benoit Charbonneau)

Given a vector bundle on a Kähler manifold, and a connection on this vector bundle, one can hope to minimize the part of the curvature parallel to the Kähler form following a heat flow. We will explore the details of this construction.

Shuntaro Yamagishi, Pure Mathematices Department, University of Waterloo 

"Circle Method on Waring's Problem (Minor Arcs)"

A classic application of Hardy-Littlewood circle method is the Waring's problem. This talk is meant to be an introduction to circle method. I will cover the minor arcs in the second week.

Robert Garbary, Pure Mathematics Department, University of Waterloo

"More on localisations"

We will continue to discuss the relationship between basic open subsets of Spec(R) and localisations of R.  Then we describe how to view R as the ring of functions on Spec(R).

Ross Willard, Pure Mathematics Department, University of Waterloo

"Solving group constraints - III"

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

Please note time.

Shuntaro Yamagishi, Pure Mathematics Department, University of Waterloo

"Circle Method on Waring's Problem (Major Arcs)"

Abstract: A classic application of Hardy-Littlewood circle method
is the Warding's problem. This talk is meant to be an
introduction to circle method. I will cover the major arcs in the
first week.

Matthew Harrison-Trainor, Pure Mathematics University of Waterloo

“Omitting Partial Types and Hyperimmune Degrees - Part II”

We will show that hyperimmune degrees are able to omit non-principal partial types, and in fact are the only such types. By seeing that this proof can be carried out in RCA0, we will show that omitting partial types and the existence of hyperimmune degrees are equivalent over RCA0.