Homology In Group Theory

Aimed at second year graduate students, this text introduces them to cohomology theory (involving a rich interplay between algebra and topology) with a minimum of prerequisites. No homological algebra is assumed beyond what is normally learned in a first course in algebraic topology, and the basics of the subject, as well as exercises, are given prior to discussion of more specialized topics.

This book consists essentially of notes which were written for an Advanced Course on Classifying Spaces and Cohomology of Groups. The course took place at the Centre de Recerca Mathematica (CRM) in Bellaterra from May 27 to June 2, 1998 and was part of an emphasis semester on Algebraic Topology. It consisted of two parallel series of 6 lectures of 90 minutes each and was intended as an introduction to new homotopy theoretic methods in group cohomology. The first part of the book is concerned with methods of decomposing the classifying space of a finite group into pieces made of classifying spaces of appropriate subgroups. Such decompositions have been used with great success in the last 10-15 years in the homotopy theory of classifying spaces of compact Lie groups and p-compact groups in the sense of Dwyer and Wilkerson. For simplicity the emphasis here is on finite groups and on homological properties of various decompositions known as centralizer resp. normalizer resp. subgroup decomposition. A unified treatment of the various decompositions is given and the relations between them are explored. This is preceeded by a detailed discussion of basic notions such as classifying spaces, simplicial complexes and homotopy colimits.

This introduction to some basic ideas in algebraic topology is devoted to the foundations and applications of homology theory. After the essentials of singular homology and some important applications are given, successive topics covered include attaching spaces, finite CW complexes, cohomology products, manifolds, Poincare duality, and fixed point theory. This second edition includes a chapter on covering spaces and many new exercises.

This book is about the interplay between algebraic topology and the theory of infinite discrete groups. It is a hugely important contribution to the field of topological and geometric group theory, and is bound to become a standard reference in the field. To keep the length reasonable and the focus clear, the author assumes the reader knows or can easily learn the necessary algebra, but wants to see the topology done in detail. The central subject of the book is the theory of ends. Here the author adopts a new algebraic approach which is geometric in spirit.

The cohomology of groups has, since its beginnings in the 1920s and 1930s, been the stage for significant interaction between algebra and topology and has led to the creation of important new fields in mathematics, like homological algebra and algebraic K-theory. This is the first book to deal comprehensively with the cohomology of finite groups: it introduces the most important and useful algebraic and topological techniques, and describes the interplay of the subject with those of homotopy theory, representation theory and group actions. The combination of theory and examples, together with the techniques for computing the cohomology of important classes of groups including symmetric groups, alternating groups, finite groups of Lie type, and some of the sporadic simple groups, enable readers to acquire an in-depth understanding of group cohomology and its extensive applications.

Historically, applications of algebraic topology to the study of topological transformation groups were originated in the work of L. E. 1. Brouwer on periodic transformations and, a little later, in the beautiful fixed point theorem ofP. A. Smith for prime periodic maps on homology spheres. Upon comparing the fixed point theorem of Smith with its predecessors, the fixed point theorems of Brouwer and Lefschetz, one finds that it is possible, at least for the case of homology spheres, to upgrade the conclusion of mere existence (or non-existence) to the actual determination of the homology type of the fixed point set, if the map is assumed to be prime periodic. The pioneer result of P. A. Smith clearly suggests a fruitful general direction of studying topological transformation groups in the framework of algebraic topology. Naturally, the immediate problems following the Smith fixed point theorem are to generalize it both in the direction of replacing the homology spheres by spaces of more general topological types and in the direction of replacing the group tl by more general compact groups.