From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein's Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane's work in the early 1940's and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.

Originating with Andreas Floer in the 1980s, Floer homology has proved to be an effective tool in tackling many important problems in three- and four-dimensional geometry, and topology. This book provides a comprehensive treatment of Floer homology, based on the Seiberg-Witten monopole equations. After first providing an overview of the results, the authors develop the analytic properties of the Seiberg-Witten equations, assuming only a basic grounding in differential geometry and analysis. The Floer groups of a general three-manifold are then defined, and their properties studied in detail. Two final chapters are devoted to the calculation of Floer groups, and to applications of the theory in topology. Suitable for beginning graduate students and researchers, this book provides the first full discussion of a central part of the study of the topology of manifolds since the mid 1990s.

Global analysis has as its primary focus the interplay between the local analysis and the global geometry and topology of a manifold. This is seen classicallv in the Gauss-Bonnet theorem and its generalizations. which culminate in the Ativah-Singer Index Theorem [ASI] which places constraints on the solutions of elliptic systems of partial differential equations in terms of the Fredholm index of the associated elliptic operator and characteristic differential forms which are related to global topologie al properties of the manifold. The Ativah-Singer Index Theorem has been generalized in several directions. notably by Atiyah-Singer to an index theorem for families [AS4]. The typical setting here is given by a family of elliptic operators (Pb) on the total space of a fibre bundle P = F_M_B. where is defined the Hilbert space on Pb 2 L 1p -llbl.dvollFll. In this case there is an abstract index class indlPI E ROIBI. Once the problem is properly formulated it turns out that no further deep analvtic information is needed in order to identify the class. These theorems and their equivariant counterparts have been enormously useful in topology. geometry. physics. and in representation theory.

In this edition, a set of Supplementary Notes and Remarks has been added at the end, grouped according to chapter. Some of these call attention to subsequent developments, others add further explanation or additional remarks. Most of the remarks are accompanied by a briefly indicated proof, which is sometimes different from the one given in the reference cited. The list of references has been expanded to include many recent contributions, but it is still not intended to be exhaustive. John C. Oxtoby Bryn Mawr, April 1980 Preface to the First Edition This book has two main themes: the Baire category theorem as a method for proving existence, and the "duality" between measure and category. The category method is illustrated by a variety of typical applications, and the analogy between measure and category is explored in all of its ramifications. To this end, the elements of metric topology are reviewed and the principal properties of Lebesgue measure are derived. It turns out that Lebesgue integration is not essential for present purposes-the Riemann integral is sufficient. Concepts of general measure theory and topology are introduced, but not just for the sake of generality. Needless to say, the term "category" refers always to Baire category; it has nothing to do with the term as it is used in homological algebra.

Knot theory is a rapidly developing field of research with many applications not only for mathematics. The present volume, written by a well-known specialist, gives a complete survey of knot theory from its very beginnings to today's most recent research results. The topics include Alexander polynomials, Jones type polynomials, and Vassiliev invariants. With its appendix containing many useful tables and an extended list of references with over 3,500 entries it is an indispensable book for everyone concerned with knot theory. The book can serve as an introduction to the field for advanced undergraduate and graduate students. Also researchers working in outside areas such as theoretical physics or molecular biology will benefit from this thorough study which is complemented by many exercises and examples.

This volume deals with the theory of finite topological spaces and its relationship with the homotopy and simple homotopy theory of polyhedra. The interaction between their intrinsic combinatorial and topological structures makes finite spaces a useful tool for studying problems in Topology, Algebra and Geometry from a new perspective. In particular, the methods developed in this manuscript are used to study Quillen's conjecture on the poset of p-subgroups of a finite group and the Andrews-Curtis conjecture on the 3-deformability of contractible two-dimensional complexes. This self-contained work constitutes the first detailed exposition on the algebraic topology of finite spaces. It is intended for topologists and combinatorialists, but it is also recommended for advanced undergraduate students and graduate students with a modest knowledge of Algebraic Topology.

Dating back to work of Berthelot, rigid cohomology appeared as a common generalization of Monsky-Washnitzer cohomology and crystalline cohomology. It is a p-adic Weil cohomology suitable for computing Zeta and L-functions for algebraic varieties on finite fields. Moreover, it is effective, in the sense that it gives algorithms to compute the number of rational points of such varieties. This is the first book to give a complete treatment of the theory, from full discussion of all the basics to descriptions of the very latest developments. Results and proofs are included that are not available elsewhere, local computations are explained, and many worked examples are given. This accessible tract will be of interest to researchers working in arithmetic geometry, p-adic cohomology theory, and related cryptographic areas.

Central to this collection of papers are new developments in the general theory of localization of spaces. This field has undergone tremendous change of late and is yielding new insight into the mysteries of classical homotopy theory. The present volume comprises the refereed articles submitted at the Conference on Algebraic Topology held in Sant Feliu de Guixols, Spain, in June 1994. Several comprehensive articles on general localization clarify the basic tools and give a report on the state of the art in the subject matter. The text is therefore accessible not only to the professional mathematician but also to the advanced student.

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.

'Et moi .... si j'avait su comment en revenir. One service mathematics has rendered the human race. It has put common sense back je n'y serais point aUe.' it belongs. on the topmost shelf next Jules Verne where to the dusty canister labelled 'discarded non. The series is divergent: therefore we may be sense'. Eric T. Bell able to do something with it. o. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

These lecture notes are intended as an introduction to the methods of classi?cation of holomorphic vector bundles over projective algebraic manifolds X. To be as concrete as possible we have mostly restricted ourselves to the case X = P . According to Serre (GAGA) the class- n cation of holomorphic vector bundles is equivalent to the classi?cation of algebraic vector bundles. Here we have used almost exclusively the language of analytic geometry. The book is intended for students who have a basic knowledge of analytic and (or) algebraic geometry. Some fundamental results from these ?elds are summarized at the beginning. One of the authors gave a survey in the Seminaire Bourbaki 1978 on the current state of the classi?cation of holomorphic vector bundles over P . This lecture then served as the basis for a course of lectures n in G]ottingen in the Winter Semester 78/79. The present work is an extended and up-dated exposition of that course. Because of the - troductory nature of this book we have had to leave out some di?cult topics such as the restriction theorem of Barth. As compensation we have appended to each section a paragraph in which historical remarks are made, further results indicated and unsolved problems presented. The book is divided into two chapters. Each chapter is subdivided into several sections which in turn are made up of a number of pa- graphs. Each section is preceded by a short description of its contents."

Over the past fifteen years, the geometrical and topological methods of the theory of manifolds have as- sumed a central role in the most advanced areas of pure and applied mathematics as well as theoretical physics. The three volumes of Modern Geometry - Methods and Applications contain a concrete exposition of these methods together with their main applications in mathematics and physics. This third volume, presented in highly accessible languages, concentrates in homology theory. It contains introductions to the contemporary methods for the calculation of homology groups and the classification of manifesto. Both scientists and students of mathematics as well as theoretical physics will find this book to be a valuable reference and text.

Algebraic geometry is a central subfield of mathematics in which the study of cycles is an important theme. Alexander Grothendieck taught that algebraic cycles should be considered from a motivic point of view and in recent years this topic has spurred a lot of activity. This book is one of two volumes that provide a self-contained account of the subject as it stands. Together, the two books contain twenty-two contributions from leading figures in the field which survey the key research strands and present interesting new results. Topics discussed include: the study of algebraic cycles using Abel-Jacobi/regulator maps and normal functions; motives (Voevodsky's triangulated category of mixed motives, finite-dimensional motives); the conjectures of Bloch-Beilinson and Murre on filtrations on Chow groups and Bloch's conjecture. Researchers and students in complex algebraic geometry and arithmetic geometry will find much of interest here.

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.

Edward Witten once said that Elliptic Cohomology was a piece of 21st Century Mathematics that happened to fall into the 20th Century. He also likened our understanding of it to what we know of the topography of an archipelago; the peaks are beautiful and clearly connected to each other, but the exact connections are buried, as yet invisible. This very active subject has connections to algebraic topology, theoretical physics, number theory and algebraic geometry, and all these connections are represented in the sixteen papers in this volume. A variety of distinct perspectives are offered, with topics including equivariant complex elliptic cohomology, the physics of M-theory, the modular characteristics of vertex operator algebras, and higher chromatic analogues of elliptic cohomology. This is the first collection of papers on elliptic cohomology in almost twenty years and gives a broad picture of the state of the art in this important field of mathematics.

The central theme of this book is the restoration of Poincare duality on stratified singular spaces by using Verdier-self-dual sheaves such as the prototypical intersection chain sheaf on a complex variety. Highlights include complete and detailed proofs of decomposition theorems for self-dual sheaves, explanation of methods for computing twisted characteristic classes and an introduction to the author's theory of non-Witt spaces and Lagrangian structures."

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.

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.

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.

Algebraic K-Theory plays an important role in many areas of modern mathematics: most notably algebraic topology, number theory, and algebraic geometry, but even including operator theory. The broad range of these topics has tended to give the subject an aura of inapproachability. This book, based on a course at the University of Maryland in the fall of 1990, is intended to enable graduate students or mathematicians working in other areas not only to learn the basics of algebraic K-Theory, but also to get a feel for its many applications. The required prerequisites are only the standard one-year graduate algebra course and the standard introductory graduate course on algebraic and geometric topology. Many topics from algebraic topology, homological algebra, and algebraic number theory are developed as needed. The final chapter gives a concise introduction to cyclic homology and its interrelationship with K-Theory.

A clear exposition, with exercises, of the basic ideas of algebraic topology. Suitable for a two-semester course at the beginning graduate level, it assumes a knowledge of point set topology and basic algebra. Although categories and functors are introduced early in the text, excessive generality is avoided, and the author explains the geometric or analytic origins of abstract concepts as they are introduced.

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.

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.

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

Helmut Koch's classic is now available in English. Competently translated by Franz Lemmermeyer, it introduces the theory of pro-p groups and their cohomology. The book contains a postscript on the recent development of the field written by H. Koch and F. Lemmermeyer, along with many additional recent references.