Events - June 2012

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.

Ross Willard, Pure Mathematics Department, University of Waterloo

“Solving group constraints - Part II”

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