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.

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

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.

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.

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.

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.

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.

Concerned with two fundamental problems in low-dimensional topology, the D(2)-problem and the realization problem, F.E.A. Johnson develops general methods and provides complete solutions in some instances. His book is suitable for graduate students wanting to learn low-dimensional homotopy theory as well as established researchers in the field.

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

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.

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

This book introduces the study of knots, providing insights into recent applications in DNA research and graph theory. It sets forth fundamental facts such as knot diagrams, braid representations, Seifert surfaces, tangles, and Alexander polynomials. It also covers more recent developments and special topics, such as chord diagrams and covering spaces. The author avoids advanced mathematical terminology and intricate techniques in algebraic topology and group theory. Numerous diagrams and exercises help readers understand and apply the theory. Each chapter includes a supplement with interesting historical and mathematical comments.

The papers collected in this volume are contributions to the 43rd session of the Seminaire de mathematiques superieures (SMS) on "Morse Theoretic Methods in Nonlinear Analysis and Symplectic Topology." This session took place at the Universite de Montreal in July 2004 and was a NATO Advanced Study Institute (ASI). The aim of the ASI was to bring together young researchers from various parts of the world and to present to them some of the most signi cant recent advances in these areas. More than 77 mathematicians from 17 countries followed the 12 series of lectures and participated in the lively exchange of ideas. The lectures covered an ample spectrum of subjects which are re ected in the present volume: Morse theory and related techniques in in nite dim- sional spaces, Floer theory and its recent extensions and generalizations, Morse and Floer theory in relation to string topology, generating functions, structure of the group of Hamiltonian di?eomorphisms and related dynamical problems, applications to robotics and many others. We thank all our main speakers for their stimulating lectures and all p- ticipants for creating a friendly atmosphere during the meeting. We also thank Ms. Diane Belanger, our administrative assistant, for her help with the organi- tion and Mr. Andre Montpetit, our technical editor, for his help in the preparation of the volume."

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

The NATO Advanced Study Institute "Axiomatic, enriched and rna tivic homotopy theory" took place at the Isaac Newton Institute of Mathematical Sciences, Cambridge, England during 9-20 September 2002. The Directors were J.P.C.Greenlees and I.Zhukov; the other or ganizers were P.G.Goerss, F.Morel, J.F.Jardine and V.P.Snaith. The title describes the content well, and both the event and the contents of the present volume reflect recent remarkable successes in model categor ies, structured ring spectra and homotopy theory of algebraic geometry. The ASI took the form of a series of 15 minicourses and a few extra lectures, and was designed to provide background, and to bring the par ticipants up to date with developments. The present volume is based on a number of the lectures given during the workshop. The ASI was the opening workshop of the four month programme "New Contexts for Stable Homotopy Theory" which explored several themes in greater depth. I am grateful to the Isaac Newton Institute for providing such an ideal venue, the NATO Science Committee for their funding, and to all the speakers at the conference, whether or not they were able to contribute to the present volume. All contributions were refereed, and I thank the authors and referees for their efforts to fit in with the tight schedule. Finally, I would like to thank my coorganizers and all the staff at the Institute for making the ASI run so smoothly. J.P.C.GREENLEES."

This work treats an introduction to commutative ring theory and algebraic plane curves, requiring of the student only a basic knowledge of algebra, with all of the algebraic facts collected into several appendices that can be easily referred to, as needed. Kunz's proven conception of teaching topics in commutative algebra together with their applications to algebraic geometry makes this book significantly different from others on plane algebraic curves. The exposition focuses on the purely algebraic aspects of plane curve theory, leaving the topological and analytical viewpoints in the background, with only casual references to these subjects and suggestions for further reading. algebras, their graduated rings and Rees algebras, to deduce basic facts about the intersection theory of plane curves; presents residue theory in the affine plane and its applications to intersection theory; methods of proof for the Riemann-Roch theorem conform to the presentation of curve theory, formulated in the language of filtrations and associated graded rings; and examples, exercises, figures and suggestions for further study round out this fairly self-contained textbook.

The heart of the book is a lengthy introduction to the representation theory of finite dimensional algebras, in which the techniques of quivers with relations and almost split sequences are discussed in some detail.