A generalized etale cohomology theory is a theory which is represented by a presheaf of spectra on an etale site for an algebraic variety, in analogy with the way an ordinary spectrum represents a cohomology theory for spaces. Examples include etale cohomology and etale K-theory. This book gives new and complete proofs of both Thomason's descent theorem for Bott periodic K-theory and the Nisnevich descent theorem. In doing so, it exposes most of the major ideas of the homotopy theory of presheaves of spectra, and generalized etale homology theories in particular. The treatment includes, for the purpose of adequately dealing with cup product structures, a development of stable homotopy theory for n-fold spectra, which is then promoted to the level of presheaves of n-fold spectra.

This book should be of interest to all researchers working in fields related to algebraic K-theory. The techniques presented here are essentially combinatorial, and hence algebraic. An extensive background in traditional stable homotopy theory is not assumed.

------ Reviews

(...) in developing the techniques of the subject, introduces the reader to the stable homotopy category of simplicial presheaves. (...) This book provides the user with the first complete account which is sensitive enough to be compatible with the sort of closed model category necessary in "K"-theory applications (...). As an application of the techniques the author gives proofs of the descent theorems of R. W. Thomason and Y. A. Nisnevich. (...) The book concludes with a discussion of the Lichtenbaum-Quillen conjecture (an approximation to Thomason's theorem without Bott periodicity). The recent proof of this conjecture, by V. Voevodsky, (...) makes this volume compulsory reading for all who want to be au fait with current trends in algebraic "K"-theory

- Zentralblatt MATH

The presentation of these topics is highly original. The book will be very useful for any researcher interested in subjects related to algebraic "K"-theory.

- Matematica

This book offers a detailed presentation of results needed to prove the Morse Homology Theorem using classical techniques from algebraic topology and homotopy theory. The text presents results that were formerly scattered in the mathematical literature, in a single reference with complete and detailed proofs. The core material includes CW-complexes, Morse theory, hyperbolic dynamical systems (the Lamba-Lemma, the Stable/Unstable Manifold Theorem), transversality theory, the Morse-Smale-Witten boundary operator, and Conley index theory.

Developed from a first-year graduate course in algebraic topology, this text is an informal introduction to some of the main ideas of contemporary homotopy and cohomology theory. The materials are structured around four core areas: de Rham theory, the Cech-de Rham complex, spectral sequences, and characteristic classes. By using the de Rham theory of differential forms as a prototype of cohomology, the machineries of algebraic topology are made easier to assimilate. With its stress on concreteness, motivation, and readability, this book is equally suitable for self-study and as a one-semester course in topology.

Sheaf Theory is modern, active field of mathematics at the intersection of algebraic topology, algebraic geometry and partial differential equations. This volume offers a comprehensive and self-contained treatment of Sheaf Theory from the basis up, with emphasis on the microlocal point of view.

From the reviews:

"Clearly and precisely written, and contains many interesting ideas: it describes a whole, largely new branch of mathematics." Bulletin of the L.M.S.

This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison between algebraic and topological K-theory of topological algebras, the K-theory of schemes, and the theory of dg-categories.

Equivariant cohomology on smooth manifolds is the subject of this book which is part of a collection of volumes edited by J. Bruning and V.W. Guillemin. The point of departure are two relatively short but very remarkable papers be Henry Cartan, published in 1950 in the Proceedings of the "Colloque de Topologie." These papers are reproduced here, together with a modern introduction to the subject, written by two of the leading experts in the field. This "introduction" comes as a textbook of its own, though, presenting the first full treatment of equivariant cohomology in the de Rahm setting. The well known topological approach is linked with the differential form aspect through the equivariant de Rahm theorem. The systematic use of supersymmetry simplifies considerably the ensuing development of the basic technical tools which are then applied to a variety of subjects, leading up to the localization theorems and other very recent results."

An arrangement of hyperplanes is a finite collection of codimension one affine subspaces in a finite dimensional vector space. Arrangements have emerged independently as important objects in various fields of mathematics such as combinatorics, braids, configuration spaces, representation theory, reflection groups, singularity theory, and in computer science and physics. This book is the first comprehensive study of the subject. It treats arrangements with methods from combinatorics, algebra, algebraic geometry, topology, and group actions. It emphasizes general techniques which illuminate the connections among the different aspects of the subject. Its main purpose is to lay the foundations of the theory. Consequently, it is essentially self-contained and proofs are provided. Nevertheless, there are several new results here. In particular, many theorems that were previously known only for central arrangements are proved here for the first time in completegenerality. The text provides the advanced graduate student entry into a vital and active area of research. The working mathematician will findthe book useful as a source of basic results of the theory, open problems, and a comprehensive bibliography of the subject.

P. Dolbeault: R sidus et courants.- D. Mumford: Varieties defined by quadratic equations.- A. N ron: Hauteurs et th orie des intersections.- A. Seidenberg: Report on analytic product.- C.S. Seshadri: Moduli of p-vector bundles over an algebraic curve.- O. Zariski: Contributions to the problem of equi-singularity.

A new combinatorial foundation of the two concepts, based on a consideration of deep and classical results of homotopy theory, and an axiomatic characterization of the assumptions under which results in this field hold. Includes numerous explicit examples and applications in various fields of topology and algebra.

Homology is a powerful tool used by mathematicians to study the properties of spaces and maps that are insensitive to small perturbations. This book uses a computer to develop a combinatorial computational approach to the subject. The core of the book deals with homology theory and its computation. Following this is a section containing extensions to further developments in algebraic topology, applications to computational dynamics, and applications to image processing. Included are exercises and software that can be used to compute homology groups and maps. The book will appeal to researchers and graduate students in mathematics, computer science, engineering, and nonlinear dynamics.

In this well-written presentation, motivated by numerous examples and problems, the authors introduce the basic theory of braid groups, highlighting several definitions that show their equivalence; this is followed by a treatment of the relationship between braids, knots and links. Important results then treat the linearity and orderability of the subject. Relevant additional material is included in five large appendices.

Braid Groups will serve graduate students and a number of mathematicians coming from diverse disciplines.

toComplexRe ectionGroups and Their Braid Groups 123 Michel Broue Universite Paris Diderot Paris 7 UFR de Mathematiques 175 Rue du Chevaleret 75013 Paris France broue@math. jussieu. fr ISBN: 978-3-642-11174-7 e-ISBN: 978-3-642-11175-4 DOI: 10. 1007/978-3-642-11175-4 Springer Heidelberg Dordrecht London New York Lecture Notes in Mathematics ISSN print edition: 0075-8434 ISSN electronic edition: 1617-9692 Library of Congress Control Number: 2009943837 Mathematics Subject Classi cation (2000): 20, 13, 16, 55 c Springer-Verlag Berlin Heidelberg 2010 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, speci cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro lm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of aspeci c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover illustration: c Anouk Grinberg Cover design: SPi Publisher Services Printed on acid-free paper springer. com Preface Weyl groups are ?nite groups acting as re?ection groups on rational vector spaces. It iswellknownthat theserationalre?ectiongroupsappearas"ske- tons" of many important mathematical objects: algebraic groups, Hecke algebras, Artin-Tits braid groups, etc."

This book is based on notes for a master's course given at Queen Mary, University of London, in the 1998/9 session. Such courses in London are quite short, and the course consisted essentially of the material in the ?rst three chapters, together with a two-hour lecture on connections with group theory. Chapter 5 is a considerably expanded version of this. For the course, the main sources were the books by Hopcroft and Ullman ( 20]), by Cohen ( 4]), and by Epstein et al. ( 7]). Some use was also made of a later book by Hopcroft and Ullman ( 21]). The ulterior motive in the ?rst three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Three such notions are considered. These are: generated by a type 0 grammar, recognised by a Turing machine (deterministic or not) and de?ned by means of a Godel ] numbering, having de?ned "recursively enumerable" for sets of natural numbers. It is hoped that this has been achieved without too many ar- ments using complicated notation. This is a problem with the entire subject, and it is important to understand the idea of the proof, which is often quite simple. Two particular places that are heavy going are the proof at the end of Chapter 1 that a language recognised by a Turing machine is type 0, and the proof in Chapter 2 that a Turing machine computable function is partial recursive."

S.G. Gindikin, I.I. Pjateckii-Sapiro, E.B. Vinberg: Homogeneous K hler manifolds.- S.G. Greenfield: Extendibility properties of real submanifolds of Cn.- W. Kaup: Holomorphische Abbildungen in Hyperbolische R ume.- A. Koranyi: Holomorphic and harmonic functions on bounded symmetric domains.- J.L. Koszul: Formes harmoniques vectorielles sur les espaces localement sym triques.- S. Murakami: Plongements holomorphes de domaines sym triques.- E.M. Stein: The analogues of Fatous 's theorem and estimates for maximal functions.

A fundamental object of study in group theory is the lower central series of groups. Understanding its relationship with the dimension series, which consists of the subgroups determined by the augmentation powers, is a challenging task. This monograph presents an exposition of different methods for investigating this relationship. In addition to group theorists, the results are also of interest to topologists and number theorists. The approach is mainly combinatorial and homological. A novel feature is an exposition of simplicial methods for the study of problems in group theory.

J. Frank Adams was one of the world's leading topologists. He solved a number of celebrated problems in algebraic topology, a subject in which he initiated many of the most active areas of research. He wrote a large number of papers during the period 1955-1988, and they are characterised by elegant writing and depth of thought. Few of them have been superseded by later work. This selection, in two volumes, brings together all his major research contributions. They are organised by subject matter rather than in strict chronological order. The first contains papers on: the cobar construction, the Adams spectral sequence, higher-order cohomology operations, and the Hopf invariant one problem; applications of K-theory; generalised homology and cohomology theories. The second volume is mainly concerned with Adams' contributions to: characteristic classes and calculations in K-theory; modules over the Steenrod algebra and their Ext groups; finite H-spaces and compact Lie groups; maps between classifying spaces of compact groups. Every serious student or practitioner of algebraic topology will want to own a copy of these two volumes both as a historical record and as a source of continued reference.

Topological K-theory is one of the most important invariants for noncommutative algebras. Bott periodicity, homotopy invariance, and various long exact sequences distinguish it from algebraic K-theory. This book describes a bivariant K-theory for bornological algebras, which provides a vast generalization of topological K-theory. In addition, it details other approaches to bivariant K-theories for operator algebras. The book studies a number of applications, including K-theory of crossed products, the Baum-Connes assembly map, twisted K-theory with some of its applications, and some variants of the Atiyah-Singer Index Theorem.

AT-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem (cf. Borel and Serre 2]). For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch 3] con sidered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological J DEGREES-theory" that this book will study. Topological DEGREES-theory has become an important tool in topology. Using- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with //-space structures are S DEGREES, S DEGREES and S' DEGREES. Moreover, it is possible to derive a substantial part of stable homotopy theory from A DEGREES-theory (cf. J. F. Adams 2]). Further applications to analysis and algebra are found in the work of Atiyah-Singer 2], Bass 1], Quillen 1], and others. A key factor in these applications is Bott periodicity (Bott 2]). The purpose of this book is to provide advanced students and mathematicians in other fields with the fundamental material in this subject. In addition, several applications of the type described above are included. In general we have tried to make this book self-contained, beginning with elementary concepts wherever possible; however, we assume that the reader is familiar with the basic definitions of homotopy theory: homotopy classes of maps and ho

The aim of this book is to promote a fibrewise perspective, particularly in topology, which is central to modern mathematics. Already this view is standard in the theory of fibre bundles and therefore in such subjects as global analysis. It has a role to play also in general and equivariant topology. There are strong links with equivariant topology, a topic which has latterly been subject to great research activity. It is to be hoped that this book will provide a solid and invigorating foundation for the increasing research interest in fibrewise topology

Rational homotopy is a very powerful tool for differential topology and geometry. This text aims to provide graduates and researchers with the tools necessary for the use of rational homotopy in geometry. Algebraic Models in Geometry has been written for topologists who are drawn to geometrical problems amenable to topological methods and also for geometers who are faced with problems requiring topological approaches and thus need a simple and concrete introduction to rational homotopy. This is essentially a book of applications. Geodesics, curvature, embeddings of manifolds, blow-ups, complex and Kahler manifolds, symplectic geometry, torus actions, configurations and arrangements are all covered. The chapters related to these subjects act as an introduction to the topic, a survey, and a guide to the literature. But no matter what the particular subject is, the central theme of the book persists; namely, there is a beautiful connection between geometry and rational homotopy which both serves to solve geometric problems and spur the development of topological methods.

Computational methods to approximate the solution of differential equations play a crucial role in science, engineering, mathematics, and technology. The key processes that govern the physical world—wave propagation, thermodynamics, fluid flow, solid deformation, electricity and magnetism, quantum mechanics, general relativity, and many more—are described by differential equations. We depend on numerical methods for the ability to simulate, explore, predict, and control systems involving these processes. The finite element exterior calculus, or FEEC, is a powerful new theoretical approach to the design and understanding of numerical methods to solve partial differential equations (PDEs). The methods derived with FEEC preserve crucial geometric and topological structures underlying the equations and are among the most successful examples of structure-preserving methods in numerical PDEs. This volume aims to help numerical analysts master the fundamentals of FEEC, including the geometrical and functional analysis preliminaries, quickly and in one place. It is also accessible to mathematicians and students of mathematics from areas other than numerical analysis who are interested in understanding how techniques from geometry and topology play a role in numerical PDEs.

This book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at graduate students in algebraic topology and algebraic geometry, it contains background material from both of these fields, as well as the foundations of motivic homotopy theory. It will serve as a good introduction as well as a convenient reference for a broad group of mathematicians to this important and fascinating new subject. Vladimir Voevodsky is one of the founders of the theory and received the Fields medal for his work, and the other authors have all done important work in the subject.

This book gives a general outlook on homotopy theory; fundamental concepts, such as homotopy groups and spectral sequences, are developed from a few axioms and are thus available in a broad variety of contexts. Many examples and applications in topology and algebra are discussed, including an introduction to rational homotopy theory in terms of both differential Lie algebras and De Rham algebras. The author describes powerful tools for homotopy classification problems, particularly for the classification of homotopy types and for the computation of the group homotopy equivalences. Applications and examples of such computations are given, including when the fundamental group is non-trivial. Moreover, the deep connection between the homotopy classification problems and the cohomology theory of small categories is demonstrated. The prerequisites of the book are few: elementary topology and algebra. Consequently, this account will be valuable for non-specialists and experts alike. It is an important supplement to the standard presentations of algebraic topology, homotopy theory, category theory and homological algebra.

Written by leading experts in the field, this monograph provides homotopy theoretic foundations for surgery theory on higher-dimensional manifolds. Presenting classical ideas in a modern framework, the authors carefully highlight how their results relate to (and generalize) existing results in the literature. The central result of the book expresses algebraic surgery theory in terms of the geometric Hopf invariant, a construction in stable homotopy theory which captures the double points of immersions. Many illustrative examples and applications of the abstract results are included in the book, making it of wide interest to topologists. Serving as a valuable reference, this work is aimed at graduate students and researchers interested in understanding how the algebraic and geometric topology fit together in the surgery theory of manifolds. It is the only book providing such a wide-ranging historical approach to the Hopf invariant, double points and surgery theory, with many results old and new.

This book is a publication in Swiss Seminars, a subseries of Progress in Mathematics. It is an expanded version of the notes from a seminar on intersection cohomology theory, which met at the University of Bern, Switzerland, in the spring of 1983. This volume supplies an introduction to the piecewise linear and sheaf-theoretic versions of that theory as developed by M. Goresky and R. MacPherson in Topology 19 (1980), and in Inventiones Mathematicae 72 (1983). While some familiarity with algebraic topology and sheaf theory is assumed, the notes include a self-contained account of further material on constructibility, derived categories, Verdier duality, biduality, and on stratified spaces, which is used in the second paper but not found in standard texts. The volume should be useful to someone interested in acquiring some basic knowledge about the field... a Mathematical Reviews