Robert R. Bruner - Böcker

This book is about equivariant real and complex topological $K$-theory for finite groups. Its main focus is on the study of real connective $K$-theory including $ko^*(BG)$ as a ring and $ko_*(BG)$ as a module over it. In the course of their study the authors define equivariant versions of connective $KO$-theory and connective $K$-theory with reality, in the sense of Atiyah, which give well-behaved, Noetherian, uncompleted versions of the theory. They prove local cohomology and completion theorems for these theories, giving a means of calculation as well as establishing their formal credentials. In passing from the complex to the real theories in the connective case, the authors describe the known failure of descent and explain how the $\eta$-Bockstein spectral sequence provides an effective substitute. This formal framework allows the authors to give a systematic calculation scheme to quantify the expectation that $ko^*(BG)$ should be a mixture of representation theory and group cohomology. It is characteristic that this starts with $ku^*(BG)$ and then uses the local cohomology theorem and the Bockstein spectral sequence to calculate $ku_*(BG)$, $ko^*(BG)$, and $ko_*(BG)$. To give the skeleton of the answer, the authors provide a theory of $ko$-characteristic classes for representations, with the Pontrjagin classes of quaternionic representations being the most important. Building on the general results, and their previous calculations, the authors spend the bulk of the book giving a large number of detailed calculations for specific groups (cyclic, quaternion, dihedral, $A_4$, and elementary abelian 2-groups). The calculations illustrate the richness of the theory and suggest many further lines of investigation. They have been applied in the verification of the Gromov-Lawson-Rosenberg conjecture for several new classes of finite groups.|This book is about equivariant real and complex topological $K$-theory for finite groups. Its main focus is on the study of real connective $K$-theory including $ko^*(BG)$ as a ring and $ko_*(BG)$ as a module over it. In the course of their study the authors define equivariant versions of connective $KO$-theory and connective $K$-theory with reality, in the sense of Atiyah, which give well-behaved, Noetherian, uncompleted versions of the theory. They prove local cohomology and completion theorems for these theories, giving a means of calculation as well as establishing their formal credentials. In passing from the complex to the real theories in the connective case, the authors describe the known failure of descent and explain how the $\eta$-Bockstein spectral sequence provides an effective substitute. This formal framework allows the authors to give a systematic calculation scheme to quantify the expectation that $ko^*(BG)$ should be a mixture of representation theory and group cohomology. It is characteristic that this starts with $ku^*(BG)$ and then uses the local cohomology theorem and the Bockstein spectral sequence to calculate $ku_*(BG)$, $ko^*(BG)$, and $ko_*(BG)$. To give the skeleton of the answer, the authors provide a theory of $ko$-characteristic classes for representations, with the Pontrjagin classes of quaternionic representations being the most important. Building on the general results, and their previous calculations, the authors spend the bulk of the book giving a large number of detailed calculations for specific groups (cyclic, quaternion, dihedral, $A_4$, and elementary abelian 2-groups). The calculations illustrate the richness of the theory and suggest many further lines of investigation. They have been applied in the verification of the Gromov-Lawson-Rosenberg conjecture for several new classes of finite groups.

The connective topological modular forms spectrum, $tmf$, is in a sense initial among elliptic spectra, and as such is an important link between the homotopy groups of spheres and modular forms. A primary goal of this volume is to give a complete account, with full proofs, of the homotopy of $tmf$ and several $tmf$-module spectra by means of the classical Adams spectral sequence, thus verifying, correcting, and extending existing approaches. In the process, folklore results are made precise and generalized. Anderson and Brown-Comenetz duality, and the corresponding dualities in homotopy groups, are carefully proved. The volume also includes an account of the homotopy groups of spheres through degree 44, with complete proofs, except that the Adams conjecture is used without proof. Also presented are modern stable proofs of classical results which are hard to extract from the literature. Tools used in this book include a multiplicative spectral sequence generalizing a construction of Davis and Mahowald, and computer software which computes the cohomology of modules over the Steenrod algebra and products therein. Techniques from commutative algebra are used to make the calculation precise and finite. The $H$-infinity ring structure of the sphere and of $tmf$ are used to determine many differentials and relations.

The connective topological modular forms spectrum, $tmf$, is in a sense initial among elliptic spectra, and as such is an important link between the homotopy groups of spheres and modular forms. A primary goal of this volume is to give a complete account, with full proofs, of the homotopy of $tmf$ and several $tmf$-module spectra by means of the classical Adams spectral sequence, thus verifying, correcting, and extending existing approaches. In the process, folklore results are made precise and generalized. Anderson and Brown-Comenetz duality, and the corresponding dualities in homotopy groups, are carefully proved. The volume also includes an account of the homotopy groups of spheres through degree 44, with complete proofs, except that the Adams conjecture is used without proof. Also presented are modern stable proofs of classical results which are hard to extract from the literature.Tools used in this book include a multiplicative spectral sequence generalizing a construction of Davis and Mahowald, and computer software which computes the cohomology of modules over the Steenrod algebra and products therein. Techniques from commutative algebra are used to make the calculation precise and finite. The $H$-infinity ring structure of the sphere and of $tmf$ are used to determine many differentials and relations.