SR1

Extending work of Klyachko, we give a combinatorial description of pure equivariant sheaves on a nonsingular projective toric variety X and construct moduli spaces of such sheaves. These moduli spaces are explicit and combinatorial in nature. Subsequently, we consider the moduli space M of all Gieseker stable sheaves on X and describe its fixed point locus in terms of the moduli spaces of pure equivariant sheaves on X. Using torus localisation, one can then compute topological invariants of M. We consider the case X=S is a toric surface and compute generating functions of Euler characteristics of M. In case of torsion free sheaves, one can study wall-crossing phenomena and in case of pure dimension 1 sheaves one can verify, in examples, a conjecture of Katz relating Donaldson--Thomas invariants and Gopakumar--Vafa invariants.

We will present a self-contained introduction to gauge theory, self-duality and instanton moduli spaces. We will analyze in detail the situation of charge 1 instantons for the 4-sphere when the gauge group is SU(2). Time permitting, we will also mention the ADHM construction for k-instantons.

We describe John Stalling's method of studying finitely generated free groups via graphs and moves on graphs called folds. We will then discuss how the theory can be extended to study the automorphism group of a finitely generated free group.

I will survey the theory of quasiHamiltonian spaces, a.k.a. group valued moment maps. In rough correspondence with historical development, I will first show how they emerge from the study of loop group representations, and then how they arise as a special case of "presymplectic realizations" in Dirac geometry.

The spectrum of the integers is an affine scheme which number theorists would like to complete to a projective scheme, adding a point at infinity. We will list some reasons for wanting to do this, then gather some hints about what properties the completed object might have. In particular it seems that the desired object can only exist in some setting extending traditional algebraic geometry. We will then present the proposals of Durov and Shai Haran for such extended settings and the compactifications they construct. We will explain the close relationship between both and, if time remains, relate them to a third compactification in a third setting, proposed by Toen and Vaquie.

A -polarised K3 surface admits an embedding into weighted projective space defined by its polarisation. Let X be a family of such surfaces, then one can construct a projective model W of X such that the map from X to W realises this embedding on the general fibre. This talk considers what happens to W when we allow the fibres of the family X to degenerate.

The talk is about the homotopy type of configuration spaces. Once upon a time there was a conjecture that it is a homotopy invariant of closed manifolds. I will discuss the strong evidence supporting this claim, together with its recent disproof by a counterexample. Then I will talk about the corrected version of the original conjecture.

Suppose a power series $f(x):= \sum_{n=0}^{\infty} a_{n} x^{n}$ has radius of convergence equal to $1$ and that $lim_{x\rightarrow 1}f(x) = s$. Does it therefore follow that $\sum_{n=0}^{\infty} a_{n} = s$? Tauber's Theorem answers in the affirmative, \textit{if} one imposes a certain growth condition (a \textit{Tauberian Condition}) on the coefficients $a_{n}$. Without such a condition it is clear that this cannot be true in general - take, for example, $f(x) = \sum_{n=0}^{\infty} (-1)^{n} x^{n}.$