Weighted cup-length calculations in singular cohomology led Farber and Grant in 2008 to general lower bounds for the topological complexity of lens spaces. We replace singular cohomology by connective complex K-theory, and weighted cup-length arguments by considerations with biequivariant maps on spheres to improve on Farber–Grant’s bounds by arbitrarily large amounts. Our calculations are base...

We define a cohomology theory for topological semigroups, with seminormed cohomology groups. Our theory can be considered as a topological version of bounded cohomology of discrete semigroups. 1. Definition of the cohomology Bounded cohomology was first defined for discrete groups by F. Trauber and then for topological spaces by M. Gromov [6]. In this paper we establish a topological bounded co...

We describe some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict attention to the case of finite Galois groups. We describe the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace or norm mapping constructed by Greenlees and May in the context of generalized Tate cohomology. ...

Wepresent a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian groups of many common spaces are easier to compute in many cases. Cellular cohomology is a special kind of cohomology designed for cell complexes: these are built...

By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation theorems generalizing the classical ones. This categorical approach is based on the fact that if groups are regarded as categories, then, on the one hand, crossed m...

This is a brief study of the homology of cubical sets, with two main purposes. First, this combinatorial structure is viewed as representing directed spaces, breaking the intrinsic symmetries of topological spaces. Cubical sets have a directed homology, consisting of preordered abelian groups where the positive cone comes from the structural cubes. But cubical sets can also express topological ...

We discuss some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict attention to the case of finite Galois groups and to global Galois extensions. We describe parts of the general framework developed by Rognes. Central rôles are played by the notion of strong duality and a trace mapping constructed by Greenlees and May in the context ...