Cohomology of arithmetic groups serves as a tool in studying possible relations between the theory of automorphic forms and the arithmetic of algebraic varieties resp. the geometry of locally symmetric spaces. These proceedings will serve as a guide to this still rapidly developing area of mathematics. Besides two survey articles, the contributions are original research papers.

This monograph develops the Gröbner basis methods needed to perform efficient state of the art calculations in the cohomology of finite groups. Results obtained include the first counterexample to the conjecture that the ideal of essential classes squares to zero. The context is J. F. Carlson’s minimal resolutions approach to cohomology computations.

Cohomology of Groups

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.