1. Historical Remarks Convex Integration theory, first introduced by M. Gromov [17], is one of three general methods in immersion-theoretic topology for solving a broad range of problems in geometry and topology. The other methods are: (i) Removal of Singularities, introduced by M. Gromov and Y. Eliashberg [8]; (ii) the covering homotopy method which, following M. Gromov's thesis [16], is also referred to as the method of sheaves. The covering homotopy method is due originally to S. Smale [36] who proved a crucial covering homotopy result in order to solve the classification problem for immersions of spheres in Euclidean space. These general methods are not linearly related in the sense that succes sive methods subsumed the previous methods. Each method has its own distinct foundation, based on an independent geometrical or analytical insight. Conse quently, each method has a range of applications to problems in topology that are best suited to its particular insight. For example, a distinguishing feature of Convex Integration theory is that it applies to solve closed relations in jet spaces, including certain general classes of underdetermined non-linear systems of par tial differential equations. As a case of interest, the Nash-Kuiper Cl-isometrie immersion theorem ean be reformulated and proved using Convex Integration theory (cf. Gromov [18]). No such results on closed relations in jet spaees can be proved by means of the other two methods.

Geodesic flows of Riemannian metrics on manifolds are one of the classical objects in geometry. A particular place among them is occupied by integrable geodesic flows. We consider them in the context of the general theory of integrable Hamiltonian systems, and in particular, from the viewpoint of a new topological classification theory, which was recently developed for integrable Hamiltonian systems with two degrees of freedom. As a result, we will see that such a new approach is very useful for a deeper understanding of the topology and geometry of integrable geodesic flows. The main object to be studied in our paper is the class of integrable geodesic flows on two-dimensional surfaces. There are many such flows on surfaces of small genus, in particular, on the sphere and torus. On the contrary, on surfaces of genus 9 > 1, no such flows exist in the analytical case. One of the most important and interesting problems consists in the classification of integrable flows up to different equivalence relations such as (1) an isometry, (2) the Liouville equivalence, (3) the trajectory equivalence (smooth and continuous), and (4) the geodesic equivalence. In recent years, a new technique was developed, which gives, in particular, a possibility to classify integrable geodesic flows up to these kinds of equivalences. This technique is presented in our paper, together with various applications. The first part of our book, namely, Chaps.

Like any books on a subject as vast as this, this book has to have a point-of-view to guide the selection of topics. Naber takes the view that the rekindled interest that mathematics and physics have shown in each other of late should be fostered, and that this is best accomplished by allowing them to cohabit. The book weaves together rudimentary notions from the classical gauge theory of physics with the topological and geometrical concepts that became the mathematical models of these notions. The reader is asked to join the author on some vague notion of what an electromagnetic field might be, to be willing to accept a few of the more elementary pronouncements of quantum mechanics, and to have a solid background in real analysis and linear algebra and some of the vocabulary of modern algebra. In return, the book offers an excursion that begins with the definition of a topological space and finds its way eventually to the moduli space of anti-self-dual SU(2) connections on S4 with instanton number -1.

One service mathematics has rendered the 'Et moi, "0' si j'avait su oomment en revenir. human race. It has put common sense back je n'y serais point aile: ' Jules Verne where it belongs. on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell 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'el: re of this series."

The 20th Century brought the rise of General Topology. It arose from the effort to establish a solid base for Analysis and it is intimately related to the success of set theory. Many Valued Topology and Its Applications seeks to extend the field by taking the monadic axioms of general topology seriously and continuing the theory of topological spaces as topological space objects within an almost completely ordered monad in a given base category C. The richness of this theory is shown by the fundamental fact that the category of topological space objects in a complete and cocomplete (epi, extremal mono)-category C is topological over C in the sense of J. Adamek, H. Herrlich, and G.E. Strecker. Moreover, a careful, categorical study of the most important topological notions and concepts is given - e.g., density, closedness of extremal subobjects, Hausdorff's separation axiom, regularity, and compactness. An interpretation of these structures, not only by the ordinary filter monad, but also by many valued filter monads, underlines the richness of the explained theory and gives rise to new concrete concepts of topological spaces - so-called many valued topological spaces. Hence, many valued topological spaces play a significant role in various fields of mathematics - e.g., in the theory of locales, convergence spaces, stochastic processes, and smooth Borel probability measures. In its first part, the book develops the necessary categorical basis for general topology. In the second part, the previously given categorical concepts are applied to monadic settings determined by many valued filter monads. The third part comprises various applications of many valued topologies to probability theory and statistics as well as to non-classical model theory. These applications illustrate the significance of many valued topology for further research work in these important fields.

Nonstandard Methods of Analysis is concerned with the main trends in this field; infinitesimal analysis and Boolean-valued analysis. The methods that have been developed in the last twenty-five years are explained in detail, and are collected in book form for the first time. Special attention is paid to general principles and fundamentals of formalisms for infinitesimals as well as to the technique of descents and ascents in a Boolean-valued universe. The book also includes various novel applications of nonstandard methods to ordered algebraic systems, vector lattices, subdifferentials, convex programming etc. that have been developed in recent years. For graduate students, postgraduates and all researchers interested in applying nonstandard methods in their work.

From the reviews: "This is an excellent exposition about abelian Reidemeister torsions for three-manifolds." -Zentralblatt Math

"This monograph contains a wealth of information many topologists will find very handy. ...Many of the new points of view pioneered by Turaev are gradually becoming mainstream and are spreading beyond the pure topology world. This monograph is a timely and very useful addition to the scientific literature." -Mathematical Reviews

This is the award-winning monograph of the Sunyer i Balaguer Prize 1999. The book presents recently discovered connections between Artin s braid groups and left self-distributive systems, which are sets equipped with a binary operation satisfying the identity x(yz) = (xy)(xz). Although not a comprehensive course, the exposition is self-contained, and many basic results are established. In particular, the first chapters include a thorough algebraic study of Artin s braid groups."

"Categorical Perspectives" consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. A number of articles in the areas of topology, algebra and computer science reflect the varied interests of George Strecker to whom this work is dedicated. Notable also are an exposition of the contributions and importance of George Strecker's research and a survey chapter on general category theory. This work is an excellent reference text for researchers and graduate students in category theory and related areas. Contributors: H.L. Bentley * G. Castellini * R. El Bashir * H. Herrlich * M. Husek * L. Janos * J. Koslowski * V.A. Lemin * A. Melton * G. Preua * Y.T. Rhineghost * B.S.W. Schroeder * L. Schr"der * G.E. Strecker * A. Zmrzlina

Applying functional analysis and operator theory to some concrete asymptotic problems of linear algebra, this book contains results on the stability of projection methods, deals with asymptotic inverses and Moore-Penrose inversion of large Toeplitz matrices, and embarks on the asymptotic behaviour of the norms of inverses, the pseudospectra, the singular values, and the eigenvalues of large Toeplitz matrices. The approach is heavily based on Banach algebra techniques and nicely demonstrates the usefulness of C*-algebras and local principles in numerical analysis, including classical topics as well as results and methods from the last few years. Though employing modern tools, the exposition is elementary and points out the mathematical background behind some interesting phenomena encountered with large Toeplitz matrices. Accessible to readers with basic knowledge in functional analysis, the book addresses graduates, teachers, and researchers and should be of interest to everyone who has to deal with infinite matrices (Toeplitz or not) and their large truncations.

This book contains contributions from a workshop on topology and geometry of polymers, held at the IMA in June 1996, which brought together topologists, combinatorialists, theoretical physicists and polymer scientists, with a common interest in polymer topology. Polymers can be highly self-entangled even in dilute solution. In the melt the inter- and intra-chain entanglements can dominate the rheological properties of these phenomena. Although the possibility of knotting in ring polymers has been recognized for more than thirty years it is only recently that the powerful methods of algebraic topology have been used in treating models of polymers. This book contains a series of chapters which review the current state of the field and give an up to date account of what is known and perhaps more importantly, what is still unknown. The field abounds with open problems. The book is of interest to workers in polymer statistical mechanics but will also be useful as an introduction to topological methods for polymer scientists, and will introduce mathematicians to an area of science where topological approaches are making a substantial contribution.

1.1 Background The subject of this book is Morse homology as a combination of relative Morse theory and Conley's continuation principle. The latter will be useda s an instrument to express the homology encoded in a Morse complex associated to a fixed Morse function independent of this function. Originally, this type of Morse-theoretical tool was developed by Andreas Floer in order to find a proof of the famous Arnold conjecture, whereas classical Morse theory turned out to fail in the infinite-dimensional setting. In this framework, the homological variant of Morse theory is also known as Floer homology. This kind of homology theory is the central topic of this book. But first, it seems worthwhile to outline the standard Morse theory. 1.1.1 Classical Morse Theory The fact that Morse theory can be formulated in a homological way is by no means a new idea. The reader is referred to the excellent survey paper by Raoul Bott [Bol.

This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesville, Florida, USA, in December, 1991. Together, these give an overview of some recent advances in the area of ordered algebraic structures. The first part of the book is devoted to ordered permutation groups and universal, as well as model-theoretic, aspects. The second part deals with material variously connected to general topology and functional analysis. Collectively, the contents of the book demonstrate the wide applicability of order-theoretic methods, and how ordered algebraic structures have connections with many research disciplines. For researchers and graduate students whose work involves ordered algebraic structures.

This Seminar began in Moscow in November 1943 and has continued without interruption up to the present. We are happy that with this vol ume, Birkhiiuser has begun to publish papers of talks from the Seminar. It was, unfortunately, difficult to organize their publication before 1990. Since 1990, most of the talks have taken place at Rutgers University in New Brunswick, New Jersey. Parallel seminars were also held in Moscow, and during July, 1992, at IRES in Bures-sur-Yvette, France. Speakers were invited to submit papers in their own style, and to elaborate on what they discussed in the Seminar. We hope that readers will find the diversity of styles appealing, and recognize that to some extent this reflects the diversity of styles in a mathematical society. The principal aim was to have interesting talks, even if the topic was not especially popular at the time. The papers listed in the Table of Contents reflect some of the rich variety of ideas presented in the Seminar. Not all the speakers submit ted papers. Among the interesting talks that influenced the seminar in an important way, let us mention, for example, that of R. Langlands on per colation theory and those of J. Conway and J. McKay on sporadic groups. In addition, there were many extemporaneous talks as well as short discus sions."

This book contains a collection of articles summarizing together the state of knowl- edge in a broad portion of modern homotopy theory. These articles were assembled during 1998 and 1999, on the occasion of an emphasis semester organized by the Centre de Recerca Matematica (CRM) and its highlight, the 1998 Barcelona Con- ference on Algebraic Topology (BCAT). First of all, we are indebted to all the authors for submitting their work, and to the referees for their help in the selec- tion and for their generous contribution to the content of the articles. Many talks given during the CRM semester or at the conference focused on aspects of the following topics: abstract stable homotopy, model categories, homotopical localizations and cellular approximations, p-compact groups, mod- ules over the Steenrod algebra, classifying spaces for proper actions of discrete groups, K-theory and other generalized cohomology theories, cohomology of fi- nite and profinite groups, Hochschild homology, configuration spaces, Lusternik- Schnirelmann category, stable and unstable splittings. Other talks treated multi- disciplinary subjects related to quantum field theory, differential geometry, homo- topical dynamics, tilings, and various aspects of group theory. In addition, an advanced course on Classifying Spaces and Cohomology of Groups was organized by the CRM in the days preceding the conference. Lecture notes from this course will be published by Birkhauser Verlag as the first volume of a newly created CRM Advanced Course series.

The fundamental theorem of algebra states that any complex polynomial must have a complex root. This book examines three pairs of proofs of the theorem from three different areas of mathematics: abstract algebra, complex analysis and topology. The first proof in each pair is fairly straightforward and depends only on what could be considered elementary mathematics. However, each of these first proofs leads to more general results from which the fundamental theorem can be deduced as a direct consequence. These general results constitute the second proof in each pair. To arrive at each of the proofs, enough of the general theory of each relevant area is developed to understand the proof. In addition to the proofs and techniques themselves, many applications such as the insolvability of the quintic and the transcendence of e and pi are presented. Finally, a series of appendices give six additional proofs including a version of Gauss'original first proof. The book is intended for junior/senior level undergraduate mathematics students or first year graduate students, and would make an ideal "capstone" course in mathematics.

Systems with sub-processes evolving on many different time scales are ubiquitous in applications: chemical reactions, electro-optical and neuro-biological systems, to name just a few. This volume contains papers that expose the state of the art in mathematical techniques for analyzing such systems. Recently developed geometric ideas are highlighted in this work that includes a theory of relaxation-oscillation phenomena in higher dimensional phase spaces. Subtle exponentially small effects result from singular perturbations implicit in certain multiple time scale systems. Their role in the slow motion of fronts, bifurcations, and jumping between invariant tori are all explored here. Neurobiology has played a particularly stimulating role in the development of these techniques and one paper is directed specifically at applying geometric singular perturbation theory to reveal the synchrony in networks of neural oscillators.

Daniel Quillen's definition of the higher algebraic K-groups of a ring emphasized the importance of computing the homology of groups of matrices. This text traces the development of this theory from Quillen's fundamental calculation of the cohomology of GLn (Fq). The stability theorems and low-dimensional results of A. Suslin, W. van der Kallen and others are presented as well as recent results for rank one groups. A chapter on the Friedlander-Milnor-conjecture concerning the homology of algebraic groups made discrete is also included. This marks the first time that these results have been collected in a single volume. The book should prove useful to graduate students and researchers in K-theory, group cohomology, algebraic geometry and topology.

The papers contained in this volume are an indication of the topics th discussed and the interests of the participants of The 9 International Conference on Probability in Banach Spaces, held at Sandjberg, Denmark, August 16-21, 1993. A glance at the table of contents indicates the broad range of topics covered at this conference. What defines research in this field is not so much the topics considered but the generality of the ques tions that are asked. The goal is to examine the behavior of large classes of stochastic processes and to describe it in terms of a few simple prop erties that the processes share. The reward of research like this is that occasionally one can gain deep insight, even about familiar processes, by stripping away details, that in hindsight turn out to be extraneous. A good understanding about the disciplines involved in this field can be obtained from the recent book, Probability in Banach Spaces, Springer-Verlag, by M. Ledoux and M. Thlagrand. On page 5, of this book, there is a list of previous conferences in probability in Banach spaces, including the other eight international conferences. One can see that research in this field over the last twenty years has contributed significantly to knowledge in probability and has had important applications in many other branches of mathematics, most notably in statistics and functional analysis."

" . . . that famous pedagogical method whereby one begins with the general and proceeds to the particular only after the student is too confused to understand even that anymore. " Michael Spivak This text was written as an antidote to topology courses such as Spivak It is meant to provide the student with an experience in geomet describes. ric topology. Traditionally, the only topology an undergraduate might see is point-set topology at a fairly abstract level. The next course the average stu dent would take would be a graduate course in algebraic topology, and such courses are commonly very homological in nature, providing quick access to current research, but not developing any intuition or geometric sense. I have tried in this text to provide the undergraduate with a pragmatic introduction to the field, including a sampling from point-set, geometric, and algebraic topology, and trying not to include anything that the student cannot immediately experience. The exercises are to be considered as an in tegral part of the text and, ideally, should be addressed when they are met, rather than at the end of a block of material. Many of them are quite easy and are intended to give the student practice working with the definitions and digesting the current topic before proceeding. The appendix provides a brief survey of the group theory needed."

This book is an exposition of the technique of surgery on simply-connected smooth manifolds. Systematic study of differentiable manifolds using these ideas was begun by Milnor [45] and Wallace [68] and developed extensively in the last ten years. It is now possible to give a reasonably complete theory of simply-connected manifolds of dimension ~ 5 using this approach and that is what I will try to begin here. The emphasis has been placed on stating and proving the general results necessary to apply this method in various contexts. In Chapter II, these results are stated, and then applications are given to characterizing the homotopy type of differentiable manifolds and classifying manifolds within a given homotopy type. This theory was first extensively developed in Kervaire and Milnor [34] in the case of homotopy spheres, globalized by S. P. Novikov [49] and the author [6] for closed 1-connected manifolds, and extended to the bounded case by Wall [65] and Golo [23]. The thesis of Sullivan [62] reformed the theory in an elegant way in terms of classifying spaces.

Most texts on algebraic topology emphasize homological algebra, with topological considerations limited to a few propositions about the geometry of simplicial complexes. There is much to be gained however, by using the more sophisticated concept of cell (CW) complex. Even for simple computations, this concept ordinarily allows us to bypass much tedious algebra and often gives geometric insight into the homology and homotopy theory of a space. For example, the easiest way to calculate and interpret the homology of Cpn, complex projective n-space, is by means of a cellular decomposition with only n+ 1 cells. Also, by a suitable construction we can "realize" the sin gular complex of a space as a CW complex and perhaps thus give a more geometric basis for some arguments involving singular homology theory for general spaces and a more concrete basis for singular ho motopy type. As a fInal example, if we start with the category of sim plicial complexes and maps, common topological constructions such as the formation of product spaces, identifIcation spaces, and adjunction spaces lead us often into the category of CW complexes. These topics, among others, are usually not treated thoroughly in a standard text, and the interested student must fInd them scattered through the literature. This book is a study of CW complexes. It is intended to supplement and be used concurrently with a standard text on algebraic topology."

The work of Max Dehn (1878-1952) has been quietly influential in mathematics since the beginning of the 20th century. In 1900 he became the first to solve one of the famous Hilbert problems (the third, on the decomposition of polyhedra), in 1907 he collaborated with Heegaard to produce the first survey of topology, and in 1910 he began publishing his own investigations in topology and combinatorial group theory. His influence is apparent in the terms Dehn's algorithm, Dehn's lemma and Dehn surgery (and Dehnsche Gruppenbilder, generally known in English as Cayley diagrams), but direct access to his work has been difficult. No edition of his works has been produced, and some of his most important results were never published, at least not by him. The present volume is a modest attempt to bring Dehn's work to a wider audience, particularly topologists and group theorists curious about the origins of their subject and interested in mining the sources for new ideas. It consists of English translations of eight works : five of Dehn's major papers in topology and combinatorial group theory, and three unpublished works which illuminate the published papers and contain some results not available elsewhere. In addition, I have written a short introduction to each work, summarising its contents and trying to establish its place among related works of Dehn and others, and I have added an appendix on the Dehn-Nielsen theorem (often known simply as Nielsen's theorem) .

Incorporated in this volume are the first two books in Mukai's series on Moduli Theory. The notion of a moduli space is central to geometry. However, its influence is not confined there; for example, the theory of moduli spaces is a crucial ingredient in the proof of Fermat's last theorem. Researchers and graduate students working in areas ranging from Donaldson or Seiberg-Witten invariants to more concrete problems such as vector bundles on curves will find this to be a valuable resource. Among other things this volume includes an improved presentation of the classical foundations of invariant theory that, in addition to geometers, would be useful to those studying representation theory. This translation gives an accurate account of Mukai's influential Japanese texts.

This book is an outgrowth of the Workshop on "Regulators in Analysis, Geom etry and Number Theory" held at the Edmund Landau Center for Research in Mathematical Analysis of The Hebrew University of Jerusalem in 1996. During the preparation and the holding of the workshop we were greatly helped by the director of the Landau Center: Lior Tsafriri during the time of the planning of the conference, and Hershel Farkas during the meeting itself. Organizing and running this workshop was a true pleasure, thanks to the expert technical help provided by the Landau Center in general, and by its secretary Simcha Kojman in particular. We would like to express our hearty thanks to all of them. However, the articles assembled in the present volume do not represent the proceedings of this workshop; neither could all contributors to the book make it to the meeting, nor do the contributions herein necessarily reflect talks given in Jerusalem. In the introduction, we outline our view of the theory to which this volume intends to contribute. The crucial objective of the present volume is to bring together concepts, methods, and results from analysis, differential as well as algebraic geometry, and number theory in order to work towards a deeper and more comprehensive understanding of regulators and secondary invariants. Our thanks go to all the participants of the workshop and authors of this volume. May the readers of this book enjoy and profit from the combination of mathematical ideas here documented."