The versatility of stable homotopy theory and its associated range of cohomological techniques has made it an important branch of mathematics. Recently there have been several fundamental developments which have been used to solve a number of longstanding questions. This programme aims to consolidate the advances within homotopy theory itself which have led to these results, to open the way to substantial further developments within the subject, to expose a diversity of new applications and to bring practitioners of these subjects into contact with each other and with practising homotopy theorists. The programme will be designed around specialist workshops, but the aim will be to maximize contact between all parties by means of a number of introductory short courses.
Recent developments have culminated in several stable homotopy constructions which are homotopy theoretic enrichments of the category of abelian groups (``spectral algebra''). These new stable homotopy categories are useful for studying a wide range of phenomena, from algebraic K-theory and arithmetic to the elliptic cohomology phenomena introduced by Witten. In algebraic geometry the motivic homotopy category of Voevodsky and Morel has already been used in Voevodsky's proof of the Milnor conjecture in algebraic K-theory. In algebraic topology, the work of Hopkins et al on elliptic cohomology has led to geometric applications and topological refinements of modular forms.
y means of a series of workshops, seminars and short courses on the themes of
- axiomatic and enriched homotopy theory
- homotopy theory of geometric categories
- K-theory and arithmetic
- Elliptic cohomology and chromatic phenomena
it is hoped to promote further applications of the latest stable homotopy theoretic techniques.