Mod Two Homology And Cohomology

Cohomology and homology modulo 2 helps the reader grasp more readily the basics of a major tool in algebraic topology. Compared to a more general approach to (co)homology this refreshing approach has many pedagogical advantages: 1. It leads more quickly to the essentials of the subject, 2. An absence of signs and orientation considerations simplifies the theory, 3. Computations and advanced applications can be presented at an earlier stage, 4. Simple geometrical interpretations of (co)chains. Mod 2 (co)homology was developed in the first quarter of the twentieth century as an alternative to integral homology, before both became particular cases of (co)homology with arbitrary coefficients. The first chapters of this book may serve as a basis for a graduate-level introductory course to (co)homology. Simplicial and singular mod 2 (co)homology are introduced, with their products and Steenrod squares, as well as equivariant cohomology. Classical applications include Brouwer's fixed point theorem, Poincaré duality, Borsuk-Ulam theorem, Hopf invariant, Smith theory, Kervaire invariant, etc. The cohomology of flag manifolds is treated in detail (without spectral sequences), including the relationship between Stiefel-Whitney classes and Schubert calculus. More recent developments are also covered, including topological complexity, face spaces, equivariant Morse theory, conjugation spaces, polygon spaces, amongst others. Each chapter ends with exercises, with some hints and answers at the end of the book.

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.

Surveys several algebraic invariants, including the fundamental group, singular and Cech homology groups, and a variety of cohomology groups.

This textbook on homology and cohomology theory is geared towards the beginning graduate student. Singular homology theory is developed systematically, avoiding all unnecessary definitions, terminology, and technical machinery. Wherever possible, the geometric motivation behind various algebraic concepts is emphasized. The only formal prerequisites are knowledge of the basic facts of abelian groups and point set topology. Singular Homology Theory is a continuation of t he author's earlier book, Algebraic Topology: An Introduction, which presents such important supplementary material as the theory of the fundamental group and a thorough discussion of 2-dimensional manifolds. However, this earlier book is not a prerequisite for understanding Singular Homology Theory.

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 gives a brief treatment of the equivariant cohomology of the classical configuration space F(R^d,n) from its beginnings to recent developments. This subject has been studied intensively, starting with the classical papers of Artin (1925/1947) on the theory of braids, and progressing through the work of Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). The focus of this book is on the mod 2 equivariant cohomology algebras of F(R^d,n), whose additive structure was described by Cohen (1976) and whose algebra structure was studied in an influential paper by Hung (1990). A detailed new proof of Hung's main theorem is given, however it is shown that some of the arguments given by him on the way to his result are incorrect, as are some of the intermediate results in his paper. This invalidates a paper by three of the authors, Blagojević, Lück and Ziegler (2016), who used a claimed intermediate result in order to derive lower bounds for the existence of k-regular and l-skew embeddings. Using the new proof of Hung's main theorem, new lower bounds for the existence of highly regular embeddings are obtained: Some of them agree with the previously claimed bounds, some are weaker. Assuming only a standard graduate background in algebraic topology, this book carefully guides the reader on the way into the subject. It is aimed at graduate students and researchers interested in the development of algebraic topology in its applications in geometry.

The amount of algebraic topology a graduate student specializing in topology must learn can be intimidating. Moreover, by their second year of graduate studies, students must make the transition from understanding simple proofs line-by-line to understanding the overall structure of proofs of difficult theorems. To help students make this transition, the material in this book is presented in an increasingly sophisticated manner. It is intended to bridge the gap between algebraic and geometric topology, both by providing the algebraic tools that a geometric topologist needs and by concentrating on those areas of algebraic topology that are geometrically motivated. Prerequisites for using this book include basic set-theoretic topology, the definition of CW-complexes, some knowledge of the fundamental group/covering space theory, and the construction of singular homology. Most of this material is briefly reviewed at the beginning of the book. The topics discussed by the authors include typical material for first- and second-year graduate courses. The core of the exposition consists of chapters on homotopy groups and on spectral sequences. There is also material that would interest students of geometric topology (homology with local coefficients and obstruction theory) and algebraic topology (spectra and generalized homology), as well as preparation for more advanced topics such as algebraic $K$-theory and the s-cobordism theorem. A unique feature of the book is the inclusion, at the end of each chapter, of several projects that require students to present proofs of substantial theorems and to write notes accompanying their explanations. Working on these projects allows students to grapple with the “big picture”, teaches them how to give mathematical lectures, and prepares them for participating in research seminars. The book is designed as a textbook for graduate students studying algebraic and geometric topology and homotopy theory. It will also be useful for students from other fields such as differential geometry, algebraic geometry, and homological algebra. The exposition in the text is clear; special cases are presented over complex general statements.

This paper studies the mod 2 cohomology [italic]H*[italic]X of finite [italic]H-spaces. It is shown that when [italic]X is connected and simply connected then [italic]H*[italic]X has no indecomposables of even degree. As a consequence, [italic]H*([capital Greek]Omega[italic]X;[bold]Z) and [italic]K*[italic]X have no 2 torsion. The main result is proved by using Morava [script]K-theory.