Finite localities I

Abstract

This is the first of a series of papers concerning what might be thought of as ‘locally grouped spaces’, in a loose analogy with the locally ringed spaces of algebraic geometry. The spaces that we have in mind are simplicial sets that generalise the simplicial sets that underlie and determine the classifying spaces of finite (or compact) groups. If the analogy is pursued, then the role of ‘structure sheaf’ is provided by the ‘fusion systems’ associated with these spaces. Our approach here will be purely algebraic and combinatorial, so we will not be concerned with topological realisations. All of the groups to be considered will be finite; but a parallel series of papers representing some joint work with Alex Gonzalez will considerably broaden the scope.