C6

 Parametrized spectra are topological objects that represent
twisted forms of cohomology theories.  In this talk I will describe a theory
of parametrized spectra as highly structured bundle-like objects.  In
particular, we can make sense of the structure "group" of a bundle of
spectra.  This point of view leads to new examples and a good framework for
twisted equivariant cohomology theories.  

Given a 3-dimensional TQFT, the "conformal blocks" are the
values of that TQFT on closed Riemann surfaces.
The construction that we'll present (joint work with Douglas &
Bartels) takes as only input the value of the TQFT on discs. Towards
the end, I will explain to what extent the conformal blocks that we
construct agree with the conformal blocks constructed e.g. from the
theory of vertex operator algebras.

 We describe a framework for defining and classifying TQFTs via
surgery. Given a functor 
from the category of smooth manifolds and diffeomorphisms to
finite-dimensional vector spaces, 
and maps induced by surgery along framed spheres, we give a set of axioms
that allows one to assemble functorial coboridsm maps. 
Using this, we can reprove the correspondence between (1+1)-dimensional
TQFTs and commutative Frobenius algebras, 
and classify (2+1)-dimensional TQFTs in terms of a new structure, namely
split graded involutive nearly Frobenius algebras 
endowed with a certain mapping class group representation. The latter has
not appeared in the literature even in conjectural form. 
This framework is also well-suited to defining natural cobordism maps in
Heegaard Floer homology.

Vector bundles over a compact manifold can be defined via transition 
functions to a linear group. Often one imposes 
conditions on this structure group. For example for real vector bundles on 
may  ask that all 
transition functions lie in the special orthogonal group to encode 
orientability. Commutative K-theory arises when we impose the condition 
that the transition functions commute with each other whenever they are 
simultaneously defined.

We will introduce commutative K-theory and some natural variants of it, 
and will show that they give rise to  new generalised 
cohomology theories.

This is joint work with Adem, Gomez and Lind building on previous work by 
Adem, F. Cohen, and Gomez.

I shall outline a general method for finding upper bounds on the diameters of finite groups, based on the Solovay-Kitaev procedure from quantum computation. This method may be fruitfully applied to groups arising as quotients of many familiar pro-p groups. Time permitting, I will indicate a connection with weak spectral gap, and give some applications.

Waldhausen defined higher K-groups for categories with certain extra structure. In this talk I will define categories with cofibrations and weak equivalences, outline Waldhausen's construction of the associated K-Theory space, mention a few important theorems and give some examples. If time permits I will discuss the infinite loop space structure on the K-Theory space.

Subgroup separability is a group-theoretic property that has important implications for geometry and topology, because it allows us to lift immersions to embeddings in a finite sheeted covering space. I will describe how this works in the case of graphs, and go on to motivate the construction of special cube complexes as an attempt to generalise the technique to higher dimensions.

As the title says, in this talk I will be giving a casual introduction to higher categories. I will begin by introducing strict n-categories and look closely at the resulting structure for n=2. After discussing why this turns out to be an unsatisfying definition I will discuss in what ways it can be weakened. Broadly there are two main classes of models for weak n-categories: algebraic and geometric. The differences between these two classes will be demonstrated by looking at bicategories on the algebraic side and quasicategories on the geometric.

Ice sheets are among the key controls on global climate and sea-level change. A detailed understanding of ice sheet dynamics is crucial so to make accurate predictions of their mass balance into the future. Ice streams are the dominant negative component in this balance, accounting for up to 90$\%$ of the Antarctic ice flux into ice shelves and ultimately into the sea. Despite their importance, our understanding of ice-stream dynamics is far from complete.

A range of observations associate ice streams with meltwater. Meltwater lubricates the ice at its bed, allowing it to slide with less internal deformation. It is believed that ice streams may appear due to a localization feedback between ice flow, basal melting and water pressure in the underlying sediments. I will present a model of subglacial water flow below ice sheets, and particularly below ice streams. This hydrologic model is coupled to a model for ice flow. I show that under some conditions this coupled system gives rise to ice streams by instability of the internal dynamics.