SR1

A Hyperkähler manifold is a riemannian manifold carrying three complex structures which behave like quaternions such that the metric is Kähler with respect to each of them. This means in particular that the manifold is a symplectic manifold in many different ways. In analogy to the Marsden-Weinstein reduction on a symplectic manifold, there is also a quotient construction for group actions that preserve the Hyperkähler structure and admit a moment map. In fact most known (non-compact) examples of hyperkähler manifolds arise in this way from an appropriate group action on a quaternionic vector space.

In the first half of the talk I will give the definition of a hyperkähler manifold and explain the hyperkähler quotient construction. As an important application I will discuss the moduli space of solutions to the gauge-theoretic "Self-duality equations on a Riemann surface", the space of Higgs bundles, and explain how it can be viewed as a hyperkähler quotient in an infinite-dimensional setting.

The aim of this talk is to get a feel for the Ricci flow. The Ricci flow was introduced by Hamilton in 1982 and was later used by Perelman to prove the Poincaré conjecture. We will introduce the notions of Ricci flow and Ricci soliton, giving simple examples in low dimension. We will also discuss briefly other types of geometric flows one can consider.

We report on joint work with Arend Bayer on the space of stability conditions for the canonical bundle on the projective plane.

We will describe a connected component of this space, generalizing and completing a previous construction of Bridgeland.

In particular, we will see how this space is related to classical results of Drezet-Le Potier on stable vector bundles on the projective plane. Using this, we can determine the group of autoequivalences of the derived category. As a consequence, we can identify a $\Gamma_1(3)$-action on the space of stability conditions, which will give a global picture of mirror symmetry for this example.

In the second hour we will give some details on the proof of the main theorem.

I will introduce Symmetric spaces via a result of Kleiner & Leeb, comparing the axioms in their definition of a Euclidean building with properties of symmetric spaces of noncompact type.

Take a group G and split it as the fundamental group of a graph of groups, then take the vertex groups and split them as fundamental groups of graphs of groups etc. If at some point you end up with a collection of unsplittable groups, then you have a hierarchy. Haken showed that for any 3-manifold M with an incompressible surface S, one can cut M along S and and then find other incompressible surfaces in M\S and cut again, and repeating this process one eventually obtains a collection of balls. Analogously, Delzant and Potyagailo showed that for any finitely presented group without 2-torsion and a certain sensible class E of subgroups of G, G admits a hierarchy where the edge groups of the splittings lie in E. I really like their proof and I will present it.