University of Oxford

This talk will be an introduction to the space of Bridgeland stability conditions on a triangulated category, focussing on the case of the derived category of coherent sheaves on a curve. These spaces of stability conditions have their roots in physics, and have a mirror theoretic interpretation as moduli of complex structures on the mirror variety.

For curves of genus g > 0, we will see that any stability condition comes from the classical notion of slope stability for torsion-free sheaves. On the projective line we can study the more complicated behaviour via a derived equivalence to the derived category of modules over the Kronecker quiver.

Based on an MPI library written over 10 years ago, OP2 is a new open-source library which is aimed at application developers using unstructured grids. Using a single API, it targets a variety of HPC architectures, including both manycore GPUs and multicore CPUs with vector units. The talk will cover the API design, key aspects of the parallel implementation on the different platforms, and preliminary performance results on a small but representative CFD test code.

Project homepage: http://people.maths.ox.ac.uk/gilesm/op2/

We consider the iterative solution of large sparse linear least squares (LS) problems. Specifically, we focus on the design and implementation of reliable stopping criteria for the widely-used algorithm LSQR of Paige and Saunders. First we perform a backward perturbation analysis of the LS problem. We show why certain projections of the residual vector are good measures of convergence, and we propose stopping criteria that use these quantities. These projections are too expensive to compute to be used directly in practice. We show how to estimate them efficiently at every iteration of the algorithm LSQR. Our proposed stopping criteria can therefore be used in practice.

This talk is based on joint work with Xiao-Wen Chang, Chris Paige, Pavel Jiranek, and Serge Gratton.

I will sketch a method to prolong certain classes of differential equations on manifolds using Lie algebra cohomology. The talk will be based on articles by Branson, Cap, Eastwood and Gover (arXiv:math/0402100 and ESI preprint 1483).

All of Joyce's constructions of compact manifolds with special holonomy are in some sense generalisations of the Kummer construction of a K3 surface. We will begin by reviewing manifolds with special holonomy and the Kummer construction. We will then describe Joyce's constructions of compact manifolds with holonomy G_2 and Spin(7).

The maximum principle is one of the main tools use to understand the behaviour of solutions to the Ricci flow. It is a very powerful tool that can be used to show that pointwise inequalities on the initial data of parabolic PDE are preserved by the evolution. A particular weak maximum principle for vector bundles will be discussed with references to Hamilton's seminal work [J. Differential Geom. 17 (1982), no. 2, 255–306; MR664497] on 3-manifolds with positive Ricci curvature and his follow up paper [J. Differential Geom. 24 (1986), no. 2, 153–179; MR0862046] that extends to 4-manifolds with various curvature assumptions.

In the first part of this talk we introduce hypersymplectic manifolds and compare various aspects of their geometry with related notions in hyperkähler geometry. In particular, we explain the hypersymplectic quotient construction. Since many examples of hyperkähler structures arise from Yang-Mills moduli spaces via the hyperkähler quotient construction, we discuss the gauge theoretic equations for a (twisted) harmonic map from a Riemann surface into a compact Lie group. They can be viewed as the zero condition for a hypersymplectic moment map in an infinite-dimensional setup.

We will recall basic definitions and facts about homogeneous Riemannian manifolds and we will discuss the Einstein condition on this kind of spaces. In particular, we will talk about non existence results of invariant Einstein metrics. Finally, we will talk briefly about the Ricci flow equation in the homogeneous setting.

The representation theory of the symmetric groups is far more advanced than that of arbitrary finite groups. The blocks of symmetric groups with defect group of order pⁿ are classified, in the sense that there is a finite list of possible Morita equivalence types of blocks, and it is relatively straightforward to write down a representative from each class.

In this talk we will look at the case where n=2. Here the theory is fairly well understood. After introducing combinatorial wizardry such as cores, the abacus, and Scopes moves, we will see a new result, namely that the simple modules for any p-block of weight 2 "come from" (technically, have isomorphic sources to) simple modules for S_2p or the wreath product of S_p and C₂.