This is the third version of a book on differential manifolds. The first version appeared in 1962, and was written at the very beginning of a period of great expansion of the subject. At the time, I found no satisfactory book for the foundations of the subject, for multiple reasons. I expanded the book in 1971, and I expand it still further today. Specifically, I have added three chapters on Riemannian and pseudo Riemannian geometry, that is, covariant derivatives, curvature, and some applications up to the Hopf-Rinow and Hadamard-Cartan theorems, as well as some calculus of variations and applications to volume forms. I have rewritten the sections on sprays, and I have given more examples of the use of Stokes' theorem. I have also given many more references to the literature, all of this to broaden the perspective of the book, which I hope can be used among things for a general course leading into many directions. The present book still meets the old needs, but fulfills new ones. At the most basic level, the book gives an introduction to the basic concepts which are used in differential topology, differential geometry, and differential equations. In differential topology, one studies for instance homotopy classes of maps and the possibility of finding suitable differentiable maps in them (immersions, embeddings, isomorphisms, etc.).

The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new.

This IMA Volume in Mathematics and its Applications TOWARDS HIGHER CATEGORIES contains expository and research papers based on a highly successful IMA Summer Program on n-Categories: Foundations and Applications. We are grateful to all the participants for making this occasion a very productive and stimulating one. We would like to thank John C. Baez (Department of Mathematics, University of California Riverside) and J. Peter May (Department of Ma- ematics, University of Chicago) for their superb role as summer program organizers and editors of this volume. We take this opportunity to thank the National Science Foundation for its support of the IMA. Series Editors Fadil Santosa, Director of the IMA Markus Keel, Deputy Director of the IMA v PREFACE DEDICATED TO MAX KELLY, JUNE 5 1930 TO JANUARY 26 2007. This is not a proceedings of the 2004 conference "n-Categories: Fo- dations and Applications" that we organized and ran at the IMA during the two weeks June 7-18, 2004! We thank all the participants for helping make that a vibrant and inspiring occasion. We also thank the IMA sta? for a magni?cent job. There has been a great deal of work in higher c- egory theory since then, but we still feel that it is not yet time to o?er a volume devoted to the main topic of the conference.

This book describes the construction and the properties of CW-complexes. These spaces are important because firstly they are the correct framework for homotopy theory, and secondly most spaces that arise in pure mathematics are of this type. The authors discuss the foundations and also developments, for example, the theory of finite CW-complexes, CW-complexes in relation to the theory of fibrations, and Milnor's work on spaces of the type of CW-complexes. They establish very clearly the relationship between CW-complexes and the theory of simplicial complexes, which is developed in great detail. Exercises are provided throughout the book; some are straightforward, others extend the text in a non-trivial way. For the latter; further reference is given for their solution. Each chapter ends with a section sketching the historical development. An appendix gives basic results from topology, homology and homotopy theory. These features will aid graduate students, who can use the work as a course text. As a contemporary reference work it will be essential reading for the more specialized workers in algebraic topology and homotopy theory.

In the study of algebraic/analytic varieties a key aspect is the description of the invariants of their singularities. This book targets the challenging non-isolated case. Let f be a complex analytic hypersurface germ in three variables whose zero set has a 1-dimensional singular locus. We develop an explicit procedure and algorithm that describe the boundary M of the Milnor fiber of f as an oriented plumbed 3-manifold. This method also provides the characteristic polynomial of the algebraic monodromy. We then determine the multiplicity system of the open book decomposition of M cut out by the argument of g for any complex analytic germ g such that the pair (f,g) is an ICIS. Moreover, the horizontal and vertical monodromies of the transversal type singularities associated with the singular locus of f and of the ICIS (f,g) are also described. The theory is supported by a substantial amount of examples, including homogeneous and composed singularities and suspensions. The properties peculiar to M are also emphasized.

This is a relatively fast paced graduate level introduction to complex algebraic geometry, from the basics to the frontier of the subject. It covers sheaf theory, cohomology, some Hodge theory, as well as some of the more algebraic aspects of algebraic geometry. The author frequently refers the reader if the treatment of a certain topic is readily available elsewhere but goes into considerable detail on topics for which his treatment puts a twist or a more transparent viewpoint. His cases of exploration and are chosen very carefully and deliberately. The textbook achieves its purpose of taking new students of complex algebraic geometry through this a deep yet broad introduction to a vast subject, eventually bringing them to the forefront of the topic via a non-intimidating style.

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.

Topological Dynamics has its roots deep in the theory of differential equations, specifically in that portion called the "qualitative theory." The most notable early work was that of Poincare and Bendixson, regarding stability of solutions of differential equations, and the subject has grown around this nucleus. It has developed now to a point where it is fully capable of standing on its own feet as a branch of Mathematics studied for its intrinsic interest and beauty, and since the publication of Topological Dynamics by Gottschalk and Hedlund, it has been the subject of widespread study in its own right, as well as for the light it sheds on differential equations. The Bibliography for Topological Dyna mics by Gottschalk contains 1634 entries in the 1969 edition, and progress in the field since then has been even more prodigious. The study of dynamical systems is an idealization of the physical studies bearing such names as aerodynamics, hydrodynamics, electrodynamics, etc. We begin with some space (call it X) and we imagine in this space some sort of idealized particles which change position as time passes."

Geometry and topology are strongly motivated by the visualization of ideal objects that have certain special characteristics. A clear formulation of a specific property or a logically consistent proof of a theorem often comes only after the mathematician has correctly "seen" what is going on. These pictures which are meant to serve as signposts leading to mathematical understanding, frequently also contain a beauty of their own. The principal aim of this book is to narrate, in an accessible and fairly visual language, about some classical and modern achievements of geometry and topology in both intrinsic mathematical problems and applications to mathematical physics. The book starts from classical notions of topology and ends with remarkable new results in Hamiltonian geometry. Fomenko lays special emphasis upon visual explanations of the problems and results and downplays the abstract logical aspects of calculations. As an example, readers can very quickly penetrate into the new theory of topological descriptions of integrable Hamiltonian differential equations. The book includes numerous graphical sheets drawn by the author, which are presented in special sections of "Visual material." These pictures illustrate the mathematical ideas and results contained in the book. Using these pictures, the reader can understand many modern mathematical ideas and methods. Although "Visual Geometry and Topology" is about mathematics, Fomenko has written and illustrated this book so that students and researchers from all the natural sciences and also artists and art students will find something of interest within its pages.

Historically, applications of algebraic topology to the study of topological transformation groups were originated in the work of L. E. 1. Brouwer on periodic transformations and, a little later, in the beautiful fixed point theorem ofP. A. Smith for prime periodic maps on homology spheres. Upon comparing the fixed point theorem of Smith with its predecessors, the fixed point theorems of Brouwer and Lefschetz, one finds that it is possible, at least for the case of homology spheres, to upgrade the conclusion of mere existence (or non-existence) to the actual determination of the homology type of the fixed point set, if the map is assumed to be prime periodic. The pioneer result of P. A. Smith clearly suggests a fruitful general direction of studying topological transformation groups in the framework of algebraic topology. Naturally, the immediate problems following the Smith fixed point theorem are to generalize it both in the direction of replacing the homology spheres by spaces of more general topological types and in the direction of replacing the group tl by more general compact groups.

Since its very existence as a separate field within computer science, computer graphics had to make extensive use of non-trivial mathematics, for example, projective geometry, solid modelling, and approximation theory. This interplay of mathematics and computer science is exciting, but also makes it difficult for students and researchers to assimilate or maintain a view of the necessary mathematics. The possibilities offered by an interdisciplinary approach are still not fully utilized. This book gives a selection of contributions to a workshop held near Genoa, Italy, in October 1991, where a group of mathematicians and computer scientists gathered to explore ways of extending the cooperation between mathematics and computer graphics.

Topology occupies a central position in modern mathematics, and the concept of the fibre bundle provides an appropriate framework for studying differential geometry. Fibrewise homotopy theory is a very large subject that has attracted a good deal of research in recent years. This book provides an overview of the subject as it stands at present.

The contents of this title include: Badrikian, A.: Prolegomenes au calcul des probabilites dans les Banach; Fernique, X.: Regularite des trajectoires des fonctions aleatoires Gaussiennes; Hoffmann-Jorgensen, Jorgen: Probability in Banach space; and, Kuelbs, J.: The law of the iterated logarithm and related strong convergence theorems for Banach space valued random variables.

Topology is a relatively young and very important branch of mathematics. It studies properties of objects that are preserved by deformations, twistings, and stretchings, but not tearing. This book deals with the topology of curves and surfaces as well as with the fundamental concepts of homotopy and homology, and does this in a lively and well-motivated way. There is hardly an area of mathematics that does not make use of topological results and concepts. The importance of topological methods for different areas of physics is also beyond doubt. They are used in field theory and general relativity, in the physics of low temperatures, and in modern quantum theory. The book is well suited not only as preparation for students who plan to take a course in algebraic topology but also for advanced undergraduates or beginning graduates interested in finding out what topology is all about. The book has more than 200 problems, many examples, and over 200 illustrations.

In the Fall of 1975 we started a joint project with the ultimate goal of topo logically classifying real algebraic sets. This has been a long happy collaboration (c.f., [K2)). In 1985 while visiting M.S.R.1. we organized and presented our classification results up to that point in the M.S.R.1. preprint series [AK14] -[AK17]. Since these results are interdependent and require some prerequisites as well as familiarity with real algebraic geometry, we decided to make them self contained by presenting them as a part of a book in real algebraic geometry. Even though we have not arrived to our final goal yet we feel that it is time to introduce them in a self contained coherent version and demonstrate their use by giving some applications. Chapter I gives the overview of the classification program. Chapter II has all the necessary background for the rest of the book, which therefore can be used as a course in real algebraic geometry. It starts with the elementary properties of real algebraic sets and ends with the recent solution of the Nash Conjecture. Chapter III and Chapter IV develop the theory of resolution towers. Resolution towers are basic topologically defined objects generalizing the notion of manifold.

This book contains two contributions: "Combinatorial and Asymptotic Methods in Algebra" by V.A. Ufnarovskij is a survey of various combinatorial methods in infinite-dimensional algebras, widely interpreted to contain homological algebra and vigorously developing computer algebra, and narrowly interpreted as the study of algebraic objects defined by generators and their relations. The author shows how objects like words, graphs and automata provide valuable information in asymptotic studies. The main methods emply the notions of Grobner bases, generating functions, growth and those of homological algebra. Treated are also problems of relationships between different series, such as Hilbert, Poincare and Poincare-Betti series. Hyperbolic and quantum groups are also discussed. The reader does not need much of background material for he can find definitions and simple properties of the defined notions introduced along the way. "Non-Associative Structures" by E.N.Kuz'min and I.P.Shestakov surveys the modern state of the theory of non-associative structures that are nearly associative. Jordan, alternative, Malcev, and quasigroup algebras are discussed as well as applications of these structures in various areas of mathematics and primarily their relationship with the associative algebras. Quasigroups and loops are treated too. The survey is self-contained and complete with references to proofs in the literature. The book will be of great interest to graduate students and researchers in mathematics, computer science and theoretical physics."

In 1989-90 the Mathematical Sciences Research Institute conducted a program on "Algebraic Topology and its " "Applications." The main areas of concentration were homotopy theory, K-theory, and applications to geometric topology, gauge theory, and moduli spaces. Workshops were conducted in these three areas. This volume consists of invited, expository articles on the topics studied during this program. They describe recent advances and point to possible new directions. They should prove to be useful references for researchers in Algebraic Topology and related fields, as well as to graduate students.

The authors present introductory material in algebraic topology from a novel point of view in using a homotopy-theoretic approach. This carefully written book can be read by any student who knows some topology, providing a useful method to quickly learn this novel homotopy-theoretic point of view of algebraic topology.

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.

This English edition has an additional chapter "Elements of Homological Al gebra." Homological methods appear to be effective in many problems in the theory of algebras; we hope their inclusion makes this book more complete and self-contained as a textbook. We have also taken this occasion to correct several inaccuracies and errors in the original Russian edition. We should like to express our gratitude to V. Dlab who has not only metic ulously translated the text, but has also contributed by writing an Appendix devoted to a new important class of algebras, viz. quasi-hereditary algebras. Finally, we are indebted to the publishers, Springer-Verlag, for enabling this book to reach such a wide audience in the world of mathematical community. Kiev, February 1993 Yu.A. Drozd V.V. Kirichenko Preface The theory of finite dimensional algebras is one of the oldest branches of modern algebra. Its origin is linked to the work of Hamilton who discovered the famous algebra of quaternions, and Cayley who developed matrix theory. Later finite dimensional algebras were studied by a large number of mathematicians including B. Peirce, C.S. Peirce, Clifford, .Weierstrass, Dedekind, Jordan and Frobenius. At the end of the last century T. Molien and E. Cartan described the semisimple algebras over the complex and real fields and paved the first steps towards the study of non-semi simple algebras."

Property (T) is a rigidity property for topological groups, first formulated by D. Kazhdan in the mid 1960's with the aim of demonstrating that a large class of lattices are finitely generated. Later developments have shown that Property (T) plays an important role in an amazingly large variety of subjects, including discrete subgroups of Lie groups, ergodic theory, random walks, operator algebras, combinatorics, and theoretical computer science. This monograph offers a comprehensive introduction to the theory. It describes the two most important points of view on Property (T): the first uses a unitary group representation approach, and the second a fixed point property for affine isometric actions. Via these the authors discuss a range of important examples and applications to several domains of mathematics. A detailed appendix provides a systematic exposition of parts of the theory of group representations that are used to formulate and develop Property (T).

The moduli space Mg of curves of fixed genus g - that is, the algebraic variety that parametrizes all curves of genus g - is one of the most intriguing objects of study in algebraic geometry these days. Its appeal results not only from its beautiful mathematical structure but also from recent developments in theoretical physics, in particular in conformal field theory.

Topological K-theory is a key tool in topology, differential geometry and index theory, yet this is the first contemporary introduction for graduate students new to the subject. No background in algebraic topology is assumed; the reader need only have taken the standard first courses in real analysis, abstract algebra, and point-set topology. The book begins with a detailed discussion of vector bundles and related algebraic notions, followed by the definition of K-theory and proofs of the most important theorems in the subject, such as the Bott periodicity theorem and the Thom isomorphism theorem. The multiplicative structure of K-theory and the Adams operations are also discussed and the final chapter details the construction and computation of characteristic classes. With every important aspect of the topic covered, and exercises at the end of each chapter, this is the definitive book for a first course in topological K-theory.

This text on contact topology is a comprehensive introduction to the subject, including recent striking applications in geometric and differential topology: Eliashberg's proof of Cerf's theorem via the classification of tight contact structures on the 3-sphere, and the Kronheimer-Mrowka proof of property P for knots via symplectic fillings of contact 3-manifolds. Starting with the basic differential topology of contact manifolds, all aspects of 3-dimensional contact manifolds are treated in this book. One notable feature is a detailed exposition of Eliashberg's classification of overtwisted contact structures. Later chapters also deal with higher-dimensional contact topology. Here the focus is on contact surgery, but other constructions of contact manifolds are described, such as open books or fibre connected sums. This book serves both as a self-contained introduction to the subject for advanced graduate students and as a reference for researchers.

An ultrafilter is a truth-value assignment to the family of subsets of a set, and a method of convergence to infinity. From the first (logical) property arises its connection with two-valued logic and model theory; from the second (convergence) property arises its connection with topology and set theory. Both these descriptions of an ultrafilter are connected with compactness. The model-theoretic property finds its expression in the construction of the ultraproduct and the compactness type of theorem of Los (implying the compactness theorem of first-order logic); and the convergence property leads to the process of completion by the adjunction of an ideal element for every ultrafilter-i. e., to the Stone-Cech com pactification process (implying the Tychonoff theorem on the compact ness of products). Since these are two ways of describing the same mathematical object, it is reasonable to expect that a study of ultrafilters from these points of view will yield results and methods which can be fruitfully crossbred. This unifying aspect is indeed what we have attempted to emphasize in the present work."