This book presents a definitive account of the applications of the algebraic L-theory to the surgery classification of topological manifolds. The central result is the identification of a manifold structure in the homotopy type of a Poincare duality space with a local quadratic structure in the chain homotopy type of the universal cover. The difference between the homotopy types of manifolds and Poincare duality spaces is identified with the fibre of the algebraic L-theory assembly map, which passes from local to global quadratic duality structures on chain complexes. The algebraic L-theory assembly map is used to give a purely algebraic formulation of the Novikov conjectures on the homotopy invariance of the higher signatures; any other formulation necessarily factors through this one. The book is designed as an introduction to the subject, accessible to graduate students in topology; no previous acquaintance with surgery theory is assumed, and every algebraic concept is justified by its occurrence in topology.

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.

The ends of a topological space are the directions in which it becomes noncompact by tending to infinity. The tame ends of manifolds are particularly interesting, both for their own sake, and for their use in the classification of high-dimensional compact manifolds. The book is devoted to the related theory and practice of ends, dealing with manifolds and CW complexes in topology and chain complexes in algebra. The first part develops a homotopy model of the behavior at infinity of a noncompact space. The second part studies tame ends in topology. The authors show tame ends to have a uniform structure, with a periodic shift map. They use approximate fibrations to prove that tame manifold ends are the infinite cyclic covers of compact manifolds. The third part translates these topological considerations into an appropriate algebraic context, relating tameness to homological properties and algebraic K- and L-theory. This book will appeal to researchers in topology and geometry.

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.

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.

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.

Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory.
This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.

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

Compactness is related to a number of fundamental concepts of mathemat ics. Particularly important are compact Hausdorff spaces or compacta. Com pactness appeared in mathematics for the first time as one of the main topo logical properties of an interval, a square, a sphere and any closed, bounded subset of a finite dimensional Euclidean space. Once it was realized that pre cisely this property was responsible for a series of fundamental facts related to those sets such as boundedness and uniform continuity of continuous func tions defined on them, compactness was given an abstract definition in the language of general topology reaching far beyond the class of metric spaces. This immensely extended the realm of application of this concept (including in particular, function spaces of quite general nature). The fact, that general topology provided an adequate language for a description of the concept of compactness and secured a natural medium for its harmonious development is a major credit to this area of mathematics. The final formulation of a general definition of compactness and the creation of the foundations of the theory of compact topological spaces are due to P.S. Aleksandrov and Urysohn (see Aleksandrov and Urysohn (1971))."

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

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.

Fixed point theory concerns itself with a very simple, and basic, mathematical setting. For a functionf that has a setX as bothdomain and range, a ?xed point off isa pointx ofX for whichf(x)=x. Two fundamental theorems concerning ?xed points are those of Banach and of Brouwer. In Banach's theorem, X is a complete metric space with metricd andf:X?X is required to be a contraction, that is, there must existL< 1 such thatd(f(x),f(y))?Ld(x,y) for allx,y?X. Theconclusion is thatf has a ?xed point, in fact exactly one of them. Brouwer'stheorem requiresX to betheclosed unit ball in a Euclidean space and f:X?X to be a map, that is, a continuous function. Again we can conclude that f has a ?xed point. But in this case the set of?xed points need not be a single point, in fact every closed nonempty subset of the unit ball is the ?xed point set for some map. ThemetriconX in Banach'stheorem is used in the crucialhypothesis about the function, that it is a contraction. The unit ball in Euclidean space is also metric, and the metric topology determines the continuity of the function, but the focus of Brouwer's theorem is on topological characteristics of the unit ball, in particular that it is a contractible ?nite polyhedron. The theorems of Banach and Brouwer illustrate the di?erence between the two principal branches of ?xed point theory: metric ?xed point theory and topological ?xed point theory.

K -Theory has revolutionized the study of operator algebras in the last few years. As the primary component of the subject of "noncommutative topol ogy," K -theory has opened vast new vistas within the structure theory of C* algebras, as well as leading to profound and unexpected applications of opera tor algebras to problems in geometry and topology. As a result, many topolo gists and operator algebraists have feverishly begun trying to learn each others' subjects, and it appears certain that these two branches of mathematics have become deeply and permanently intertwined. Despite the fact that the whole subject is only about a decade old, operator K -theory has now reached a state of relative stability. While there will undoubtedly be many more revolutionary developments and applications in the future, it appears the basic theory has more or less reached a "final form." But because of the newness of the theory, there has so far been no comprehensive treatment of the subject. It is the ambitious goal of these notes to fill this gap. We will develop the K -theory of Banach algebras, the theory of extensions of C*-algebras, and the operator K -theory of Kasparov from scratch to its most advanced aspects. We will not treat applications in detail; however, we will outline the most striking of the applications to date in a section at the end, as well as mentioning others at suitable points in the text."

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.

DYNAMICS REPORTED reports on recent developments in dynamical systems. Dynamical systems of course originated from ordinary differential equations. Today, dynamical systems cover a much larger area, including dynamical processes described by functional and integral equations, by partial and stochastic differential equations, etc. Dynamical systems have involved remarkably in recent years. A wealth of new phenomena, new ideas and new techniques are proving to be of considerable interest to scientists in rather different fields. It is not surprising that thousands of publications on the theory itself and on its various applications are appearing DYNAMICS REPORTED presents carefully written articles on major subjects in dynamical systems and their applications, addressed not only to specialists but also to a broader range of readers including graduate students. Topics are advanced, while detailed exposition of ideas, restriction to typical results - rather than the most general one- and, last but not least, lucid proofs help to gain the utmost degree of clarity. It is hoped, that DYNAMICS REPORTED will be useful for those entering the field and will stimulate an exchange of ideas among those working in dynamical systems Summer 1991 Christopher K. R. T Jones Drs Kirchgraber Hans-Otto Walther Managing Editors Table of Contents Limit Relative Category and Critical Point Theory G. Fournier, D. Lupo, M. Ramos, M. Willem 1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2. Relative Category . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 3. Relative Cupiength . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 4. Limit Relative Category . . . . . . . . . . . . . . . . . . . . . . . '" . . . . " . . . . . . . . . . . . . . . . 10 5. The Deformation Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 6. Critical Point Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 7. Some Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.

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.

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 1890 P. J. Heawood 35] published a formula which he called the Map Colour Theorem. But he forgot to prove it. Therefore the world of mathematicians called it the Heawood Conjecture. In 1968 the formula was proven and therefore again called the Map Color Theorem. (This book is written in California, thus in American English. ) Beautiful combinatorial methods were developed in order to prove the formula. The proof is divided into twelve cases. In 1966 there were three of them still unsolved. In the academic year 1967/68 J. W. T. Youngs on those three cases at Santa Cruz. Sur invited me to work with him prisingly our joint effort led to the solution of all three cases. It was a year of hard work but great pleasure. Working together was extremely profitable and enjoyable. In spite of the fact that we saw each other every day, Ted wrote a letter to me, which I present here in shortened form: Santa Cruz, March 1, 1968 Dear Gerhard: Last night while I was checking our results on Cases 2, 8 and 11, and thinking of the great pleasure we had in the afternoon with the extra ordinarily elegant new solution for Case 11, it seemed to me appropriate to pause for a few minutes and dictate a historical memorandum. We began working on Case 8 on 10 October 1967, and it was settled on Tuesday night, 14 November 1967."

The most important invariant of a topological space is its fundamental group. When this is trivial, the resulting homotopy theory is well researched and familiar. In the general case, however, homotopy theory over nontrivial fundamental groups is much more problematic and far less well understood.

"Syzygies and Homotopy Theory" explores the problem of nonsimply connected homotopy in the first nontrivial cases and presents, for the first time, a systematic rehabilitation of Hilbert's method of syzygies in the context of non-simply connected homotopy theory. The first part of the book is theoretical, formulated to allow a general finitely presented group as a fundamental group. The innovation here is to regard syzygies as stable modules rather than minimal modules. Inevitably this forces a reconsideration of the problems of noncancellation; these are confronted in the second, practical, part of the book. In particular, the second part of the book considers how the theory works out in detail for the specific examples "F""n"" "F where "F""n "is a free group of rank "n" and F is finite. Another innovation is to parametrize the first syzygy in terms of the more familiar class of stably free modules. Furthermore, detailed description of these stably free modules is effected by a suitable modification of the method of Milnor squares.

The theory developed within this book has potential applications in various branches of algebra, including homological algebra, ring theory and K-theory. "Syzygies and Homotopy Theory "will be of interest to researchers and also to graduate students with a background in algebra and algebraic topology."