Current members

Staff

Neil Strickland

I work in stable homotopy theory, a branch of topology in which one studies phenomena that occur uniformly in all sufficiently high dimensions. 

On the one hand, the subject involves many direct geometrical constructions with interesting spaces such as complex algebraic varieties, coset spaces of Lie groups, spaces of subsets of Euclidean space, and so on. On the other hand, one can use generalised cohomology theories to translate problems in stable homotopy theory into questions in pure algebra, in a strikingly rich and beautiful way. 

The algebra involved centres around the theory of formal groups, which is essentially a branch of algebraic geometry, although not one of the most familiar branches. It has connections with commutative algebra, Galois theory, the study of elliptic curves, finite and profinite groups, modular representation theory, and many other areas. 

To translate efficiently between algebra and topology we need to make heavy use of category theory, and this also has applications both on the purely algebraic and the purely topological side.

Neil's University of Sheffield staff profile

Neil's personal website

Markus Szymik

My research revolves around symmetries in topology, geometry, and algebra. I use homotopy theory and homological algebra, representation theory and K-theory to understand groups and their generalisations. 

These methods have applications far beyond the study of symmetry: they have been used in data and computer science (topological data analysis, homotopy type theory, and topological quantum computing). 

On the theoretical side, I am currently thinking about knot theory and analogies with number theory.

Markus' University of Sheffield staff profile

Markus' personal website

Sarah Whitehouse

In algebraic topology, we use algebra to extract topological or geometric information about spaces. Among the standard tools used to carry out the translation from topology to algebra are generalised cohomology theories. Given such a theory there is an associated algebra of operations, carrying a wealth of structure and information. 

I am particularly interested in studying the structure and properties of these algebras. A simple, yet still interesting example, is given by complex K-theory. This theory has a strong geometric flavour and yet there is a rich interplay with other areas, such as number theory. 

The interplay between topology and algebra leads to "up to homotopy" versions of algebraic structures. I am interested in A-infinity and E-infinity algebras, arising when one weakens associativity and commutativity conditions.

Sarah's University of Sheffield staff profile

Sarah's personal website

Simon Willerton

I am interested in various ideas in low-dimensional topology coming from quantum physics, and in their relationship to geometry and algebraic topology. In particular, methods from quantum field theory give rise to new invariants of knots and three-manifolds – these are the so-called quantum and Vassiliev (or finite-type) invariants. 

A large part of the motivation for my work is to understand these invariants from a topological or geometric point of view. For instance, the Kontsevich integral is a construction which takes a knot and gives back a sort of Feynman diagram expansion: this embodies a rich algebraic structure that is reminiscent of certain objects from algebraic topology, but it is not clear at the moment how to relate these. 

Well-studied examples of quantum invariants arise when one fixes a Lie group. Motivated in part by trying to understand the Kontsevich integral, I have considered (with collaborators in San Diego and Oxford) the less well-studied invariants which arise when one fixes a hyper-Kahler manifold. This work has revealed unexpected algebraic structures in the derived category of coherent sheaves on a complex manifold. 

The theory of gerbes is a related interest of mine. Gerbes can be thought of as the next step beyond line bundles. Ideas from this area feed into K-theory, string theory and the quantum invariants mentioned above. In recent times I have been interested in the connections between metric spaces and category theory. This has lead in particular to me studying measures of biodiversity.

Simon's University of Sheffield staff profile

Simon's personal website

Ieke Moerdijk

My focus of research is on the interface of category theory and algebraic topology. Currently, I concentrate mainly on developing the theory of dendroidal sets and dendroidal spaces. This is an extension of the simplicial theory, and can be used to model the homotopy theory of operads and their algebras, of infinite loop spaces and of several related structures. 

Earlier on, I also did work on Lie groupoids and foliations, and on applications of topology to mathematical logic. My main affiliation is with Utrecht University. I also work on improving cross fertilisation between the topologists in Utrecht and in Sheffield.

Ieke's University of Sheffield staff profile

Ieke's Utrecht University staff profile

James Cranch

I'm a member of teaching staff. When I get a chance to do research, I think about topology and higher category theory, two increasingly closely-related areas. 

Recently I've been working with Sheffield's computer scientists, trying to explain why similar algebraic structures occur both in topology and in the study of concurrent programs.

James' University of Sheffield staff profile

James' personal website

James Brotherston

I'm a postdoc working with Neil Strickland on a project to interpret Singer's invariant theoretic description of the Lambda algebra, and associated constructions, in the formal geometric language of the additive formal group.

Prior to this I was a PhD student of Sarah Whitehouse studying model categories on filtered chain complexes and bicomplexes that relate to spectral sequences.

Callum Reader

Postdoc working with Sarah Whitehouse

Students