L3

 The unknotting number of a knot is an incredibly difficult invariant to compute.
In fact, there are many knots which are conjectured to have unknotting number 2 but for
which no proof of this is currently available. It therefore remains an unsolved problem to find an
algorithm that determines whether a knot has unknotting number one. In my talk, I will
show that an analogous problem for links is soluble. We say that a link has splitting number
one if some crossing change turns it into a split link. I will give an algorithm that
determines whether a link has splitting number one. (In the case where the link has
two components, we must make a hypothesis on their linking number.) The proof
that the algorithm works uses sutured manifolds and normal surfaces.

We call a graph $H$ \emph{Ramsey-unsaturated} if there is an edge in the

complement of $H$ such that the Ramsey number $r(H)$ of $H$ does not

change upon adding it to $H$. This notion was introduced by Balister,

Lehel and Schelp who also showed that cycles (except for $C_4$) are

Ramsey-unsaturated, and conjectured that, moreover, one may add {\em

any} chord without changing the Ramsey number of the cycle $C_n$, unless

$n$ is even and adding the chord creates an odd cycle.

We prove this conjecture for large cycles by showing a stronger

statement: If a graph $H$ is obtained by adding a linear number of

chords to a cycle $C_n$, then $r(H)=r(C_n)$, as long as the maximum

degree of $H$ is bounded, $H$ is either bipartite (for even $n$) or

almost bipartite (for odd $n$), and $n$ is large.

This motivates us to call cycles \emph{strongly} Ramsey-unsaturated.

Our proof uses the regularity method.

In this talk our aim is to explain why there exist hyperkähler metrics on the cotangent bundles and on coadjoint orbits of complex Lie groups. The key observation is that both the cotangent bundle of $G^\mathbb C$ and complex coadjoint orbits can be constructed as hyperkähler quotients in an infinite-dimensional setting: They may be identified with certain moduli spaces of solutions to Nahm's equations, which is a system of non-linear ODEs arising in gauge theory. 

In the first half we will describe the hyperkähler quotient construction, which can be viewed as a version of the Marsden-Weinstein symplectic quotient for complex symplectic manifolds. We will then introduce Nahm's equations and explain how their moduli spaces of solutions may be related to the above Lie theoretic objects.

The geometric Langlands correspondence relates rank n integrable connections 
on a complex Riemann surface $X$ to regular holonomic D-modules on 
$Bun_n(X)$, the moduli stack of rank n vector bundles on $X$.  If we replace 
$X$ by a smooth irreducible curve over a finite field of characteristic p 
then there is a version of the geometric Langlands correspondence involving 
$l$-adic perverse sheaves for $l\neq p$.  In this lecture we consider the 
case $l=p$, proposing a $p$-adic version of the geometric Langlands 
correspondence relating convergent $F$-isocrystals on $X$ to arithmetic 
$D$-modules on $Bun_n(X)$.

The geometric Langlands correspondence relates rank n integrable connections on a complex Riemann surface $X$ to regular holonomic D-modules on  $Bun_n(X)$, the moduli stack of rank n vector bundles on $X$.  If we replace $X$ by a smooth irreducible curve over a finite field of characteristic p then there is a version of the geometric Langlands correspondence involving $l$-adic perverse sheaves for $l\neq p$.  In this lecture we consider the case $l=p$, proposing a $p$-adic version of the geometric Langlands correspondence relating convergent $F$-isocrystals on $X$ to arithmetic $D$-modules on $Bun_n(X)$.

The mid 1980s saw a shift in the nature of the relationship between mathematics and physics. Differential equations and geometry applied in a classical setting were no longer the principal players; in the quantum world topology and algebra had come to the fore. In this talk we discuss a method of classifying 2-dim invertible Klein topological quantum field theories (KTQFTs). A key object of study will be the unoriented cobordism category $\mathscr{K}$, whose objects are closed 1-manifolds and whose morphisms are surfaces (a KTQFT is a functor $\mathscr{K}\rightarrow\operatorname{Vect}_{\mathbb{C}}$). Time permitting, the open-closed version of the category will be considered, yielding some surprising results.

We also state some connections to some open problems.