# People

## 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.

## 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.

## 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.

## 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.

## 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."

## Students

## Dimitar Kodjabachev

#### Supervisor: John Greenlees

I am interested in (equivariant) (stable) homotopy theory. Recently I have been thinking about duality phenomena for topological modular forms with level structures. Before coming to Sheffield I did my Master's degree at the University of Bonn and my undergraduate studies at the University of Sofia.

## Daniel Graves

#### Supervisor: Sarah Whitehouse

The focus of my research is an area called functor homology. In particular, I consider the homological algebra of categories of functors and how these connect to (co-)homology theories for algebras. Outside of research, Gemma Halliwell and I organized a junior topology conference, EL:ECTRIC, in the Summer of 2017.

## Luca Pol

#### Supervisor: John Greenlees

I am an algebraic topologist mainly interested in (equivariant) stable homotopy theory. Currently I am working on algebraic models for rational global spectra.

## Jordan Williamson

#### Supervisor: John Greenlees

I am interested in equivariant stable homotopy theory and the application of category theory to algebraic topology via model categories. In particular, I am currently thinking about algebraic models in equivariant stable homotopy theory, and how the machinery of model categories relates to these.

## Nicola Bellumat

#### Supervisor: Neil Strickland

## James Brotherston

#### Supervisor: Sarah Whitehouse

My research area is the study of A-∞ algebras and derived A-∞ algebras. The former arises as a resolution at the operadic level of the associative operad and encodes associativity up to some higher coherence. A-∞ structures are most readily seen in loop spaces where the multiplication of loops fails to be associative but a continuous reparameterization of the unit interval provides a homotopy from the loop a(bc) to (ab)c .

## Callum Reader

#### Supervisor: Simon Willerton

For a list of previous staff, post-docs and students, please go to Former Members.