While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

A systematic survey of all the basic results on the theory of discrete subgroups of Lie groups, presented in a convenient form for users. The book makes the theory accessible to a wide audience, and will be a standard reference for many years to come.

This up-to-date survey of the whole field of topology is the flagship of the topology subseries of the Encyclopaedia. The book gives an overview of various subfields, beginning with the elements and proceeding right up to the present frontiers of research.

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.

Following Quillen's approach to complex cobordism, the authors introduce the notion of oriented cohomology theory on the category of smooth varieties over a fixed field. They prove the existence of a universal such theory (in characteristic 0) called Algebraic Cobordism. The book also contains some examples of computations and applications.

This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures - livered at the Centre de Recerca Matem ati ca in February 2008, as part of a special year on Homotopy Theory and Higher Categories. Ieke Moerdijk's lectures constitute an introduction to the theory ofdendroidal sets, an extension of the theory of simplicial sets designed as a foundation for the homotopy theory of operads. The theory has many features analogous to the theory of simplicial sets, but it also reveals many new phenomena, thanks to the presence of automorphisms of trees. Dendroidal sets admit a closed symmetric monoidal structure related to the Boardman{Vogt tensor product. The lecture notes develop the theory very carefully, starting from scratch with the combinatorics of trees, and culminating with a model structure on the category of dendroidal sets for which the brant objects are the inner Kan dendroidal sets. The important concepts are illustrated with detailed examples.

The first contribution by Carter covers the theory of finite groups of Lie type, an important field of current mathematical research. In the second part, Platonov and Yanchevskii survey the structure of finite-dimensional division algebras, including an account of reduced K-theory.

Some Historical Background This book deals with the cohomology of groups, particularly finite ones. Historically, the subject has been one of significant interaction between algebra and topology and has directly led to the creation of such important areas of mathematics as homo logical algebra and algebraic K-theory. It arose primarily in the 1920's and 1930's independently in number theory and topology. In topology the main focus was on the work ofH. Hopf, but B. Eckmann, S. Eilenberg, and S. MacLane (among others) made significant contributions. The main thrust of the early work here was to try to understand the meanings of the low dimensional homology groups of a space X. For example, if the universal cover of X was three connected, it was known that H2(X; A. ) depends only on the fundamental group of X. Group cohomology initially appeared to explain this dependence. In number theory, group cohomology arose as a natural device for describing the main theorems of class field theory and, in particular, for describing and analyzing the Brauer group of a field. It also arose naturally in the study of group extensions, N"

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.

Fusion systems are a recent development in finite group theory and sit at the intersection of algebra and topology. This book is the first to deal comprehensively with this new and expanding field, taking the reader from the basics of the theory right to the state of the art. Three motivational chapters, indicating the interaction of fusion and fusion systems in group theory, representation theory and topology are followed by six chapters that explore the theory of fusion systems themselves. Starting with the basic definitions, the topics covered include: weakly normal and normal subsystems; morphisms and quotients; saturation theorems; results about control of fusion; and the local theory of fusion systems. At the end there is also a discussion of exotic fusion systems. Designed for use as a text and reference work, this book is suitable for graduate students and experts alike.

The theory of foliations of manifolds was created in the forties of the last century by Ch. Ehresmann and G. Reeb [ER44]. Since then, the subject has enjoyed a rapid development and thousands of papers investigating foliations have appeared. A list of papers and preprints on foliations up to 1995 can be found in Tondeur [Ton97]. Due to the great interest of topologists and geometers in this rapidly ev- ving theory, many books on foliations have also been published one after the other. We mention, for example, the books written by: I. Tamura [Tam76], G. Hector and U. Hirsch [HH83], B. Reinhart [Rei83], C. Camacho and A.L. Neto [CN85], H. Kitahara [Kit86], P. Molino [Mol88], Ph. Tondeur [Ton88], [Ton97], V. Rovenskii [Rov98], A. Candel and L. Conlon [CC03]. Also, the survey written by H.B. Lawson, Jr. [Law74] had a great impact on the de- lopment of the theory of foliations. So it is natural to ask: why write yet another book on foliations? The answerisverysimple.Ourareasofinterestandinvestigationaredi?erent.The main theme of this book is to investigate the interrelations between foliations of a manifold on one hand, and the many geometric structures that the ma- foldmayadmitontheotherhand. Amongthesestructureswemention:a?ne, Riemannian, semi-Riemannian, Finsler, symplectic, and contact structures.

The theme of the first Abel Symposium was operator algebras in a wide sense. In the last 40 years operator algebras have developed from a rather special discipline within functional analysis to become a central field in mathematics often described as "non-commutative geometry." It has branched out in several sub-disciplines and made contact with other subjects. The contributions to this volume give a state-of-the-art account of some of these sub-disciplines and the variety of topics reflect to some extent how the subject has developed. This is the first volume in a prestigious new book series linked to the Abel prize.

Rudyak 's groundbreaking monograph is the first guide on the subject of cobordism since Stong's influential notes of a generation ago. It concentrates on Thom spaces (spectra), orientability theory and (co)bordism theory (including (co)bordism with singularities and, in particular, Morava K-theories). These are all framed by (co)homology theories and spectra. The author has also performed a service to the history of science in this book, giving detailed attributions.

In algebraic topology some classical invariants - such as Betti numbers and Reidemeister torsion - are defined for compact spaces and finite group actions. They can be generalized using von Neumann algebras and their traces, and applied also to non-compact spaces and infinite groups. These new L2-invariants contain very interesting and novel information and can be applied to problems arising in topology, K-Theory, differential geometry, non-commutative geometry and spectral theory. The book, written in an accessible manner, presents a comprehensive introduction to this area of research, as well as its most recent results and developments.

Rudyak 's groundbreaking monograph is the first guide on the subject of cobordism since Stong's influential notes of a generation ago. It concentrates on Thom spaces (spectra), orientability theory and (co)bordism theory (including (co)bordism with singularities and, in particular, Morava K-theories). These are all framed by (co)homology theories and spectra. The author has also performed a service to the history of science in this book, giving detailed attributions.

Bringing together many results previously scattered throughout the research literature into a single framework, this work concentrates on the application of the author's algebraic theory of surgery to provide a unified treatment of the invariants of codimension 2 embeddings, generalizing the Alexander polynomials and Seifert forms of classical knot theory.

Algebraic K-theory is a modern branch of algebra which has many important applications in fundamental areas of mathematics connected with algebra, topology, algebraic geometry, functional analysis and algebraic number theory. Methods of algebraic K-theory are actively used in algebra and related fields, achieving interesting results. This book presents the elements of algebraic K-theory, based essentially on the fundamental works of Milnor, Swan, Bass, Quillen, Karoubi, Gersten, Loday and Waldhausen. It includes all principal algebraic K-theories, connections with topological K-theory and cyclic homology, applications to the theory of monoid and polynomial algebras and in the theory of normed algebras. This volume will be of interest to graduate students and research mathematicians who want to learn more about K-theory.

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.

This volume reflects the growing collaboration between mathematicians and theoretical physicists to treat the foundations of quantum field theory using the mathematical tools of q-deformed algebras and noncommutative differential geometry. A particular challenge is posed by gravity, which probably necessitates extension of these methods to geometries with minimum length and therefore quantization of space. This volume builds on the lectures and talks that have been given at a recent meeting on "Quantum Field Theory and Noncommutative Geometry." A considerable effort has been invested in making the contributions accessible to a wider community of readers - so this volume will not only benefit researchers in the field but also postgraduate students and scientists from related areas wishing to become better acquainted with this field.

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.

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.

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.

The Hauptvermutung is the conjecture that any two triangulations of a poly hedron are combinatorially equivalent. The conjecture was formulated at the turn of the century, and until its resolution was a central problem of topology. Initially, it was verified for low-dimensional polyhedra, and it might have been expected that furt her development of high-dimensional topology would lead to a verification in all dimensions. However, in 1961 Milnor constructed high-dimensional polyhedra with combinatorially inequivalent triangulations, disproving the Hauptvermutung in general. These polyhedra were not manifolds, leaving open the Hauptvermu tung for manifolds. The development of surgery theory led to the disproof of the high-dimensional manifold Hauptvermutung in the late 1960's. Unfortunately, the published record of the manifold Hauptvermutung has been incomplete, as was forcefully pointed out by Novikov in his lecture at the Browder 60th birthday conference held at Princeton in March 1994. This volume brings together the original 1967 papers of Casson and Sulli van, and the 1968/1972 'Princeton notes on the Hauptvermutung' of Armstrong, Rourke and Cooke, making this work physically accessible. These papers include several other results which have become part of the folklore but of which proofs have never been published. My own contribution is intended to serve as an intro duction to the Hauptvermutung, and also to give an account of some more recent developments in the area. In preparing the original papers for publication, only minimal changes of punctuation etc."

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."

From the reviews: "This is a very interesting book containing material for a comprehensive study of the cyclid homological theory of algebras, cyclic sets and S1-spaces. Lie algebras and algebraic K-theory and an introduction to Connes'work and recent results on the Novikov conjecture. The book requires a knowledge of homological algebra and Lie algebra theory as well as basic technics coming from algebraic topology. The bibliographic comments at the end of each chapter offer good suggestions for further reading and research. The book can be strongly recommended to anybody interested in noncommutative geometry, contemporary algebraic topology and related topics." European Mathematical Society Newsletter

In this second edition the authors have added a chapter 13 on MacLane (co)homology.