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.

A new foundation of Topology, summarized under the name Convenient Topology, is considered such that several deficiencies of topological and uniform spaces are remedied. This does not mean that these spaces are superfluous. It means exactly that a better framework for handling problems of a topological nature is used. In this setting semiuniform convergence spaces play an essential role. They include not only convergence structures such as topological structures and limit space structures, but also uniform convergence structures such as uniform structures and uniform limit space structures, and they are suitable for studying continuity, Cauchy continuity and uniform continuity as well as convergence structures in function spaces, e.g. simple convergence, continuous convergence and uniform convergence. Various interesting results are presented which cannot be obtained by using topological or uniform spaces in the usual context. The text is self-contained with the exception of the last chapter, where the intuitive concept of nearness is incorporated in Convenient Topology (there exist already excellent expositions on nearness spaces).

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.

This volume is the Proceedings of the Third Korea-China-Japan Inter national Symposium on Ring Theory held jointly with the Second Korea Japan Joint Ring Theory Seminar which took place at the historical resort area of Korea, Kyongju, June 28-July 3, 1999. It also includes articles by some invited mathematicians who were unable to attend the conference. Over 90 mathematicians from 12 countries attended this conference. The conference is held every 4 years on a rotating basis. The first con ference was held in 1991 at Guilin, China. In 1995 the second conference took place in Okayama, Japan. At the second conference it was decided to include Korea, who hosted this conference of 1999. During the past century Ring Theory has diversified into many subar eas. This is reflected in these articles from over 25 well-known mathemati cians covering a broad range of topics, including: Classical Ring Theory, Module Theory, Representation Theory, and the theory of Hopf Algebras. Among these peer reviewed papers are invited survey articles as well as research articles. The survey articles provide an overview of various areas for researchers looking for a new or related field to investigate, while the research articles give the flavor of current research. We feel that the variety of related topics will stimulate interaction between researchers. Moreover the Open Problems section provides guidance for future research. This book should prove attractive to a wide audience of algebraists. Gary F. Birkenmeier, Lafayette, U. S. A."

This text features a careful treatment of flow lines and algebraic invariants in contact form geometry, a vast area of research connected to symplectic field theory, pseudo-holomorphic curves, and Gromov-Witten invariants (contact homology). In particular, it develops a novel algebraic tool in this field: rooted in the concept of critical points at infinity, the new algebraic invariants defined here are useful in the investigation of contact structures and Reeb vector fields. The book opens with a review of prior results and then proceeds through an examination of variational problems, non-Fredholm behavior, true and false critical points at infinity, and topological implications. An increasing convergence with regular and singular Yamabe-type problems is discussed, and the intersection between contact form and Riemannian geometry is emphasized. Rich in open problems and full, detailed proofs, this work lays the foundation for new avenues of study in contact form geometry and will benefit graduate students and researchers.

Assuming that the reader is familiar with sheaf theory, the book gives a self-contained introduction to the theory of constructible sheaves related to many kinds of singular spaces, such as cell complexes, triangulated spaces, semialgebraic and subanalytic sets, complex algebraic or analytic sets, stratified spaces, and quotient spaces. The relation to the underlying geometrical ideas are worked out in detail, together with many applications to the topology of such spaces. All chapters have their own detailed introduction, containing the main results and definitions, illustrated in simple terms by a number of examples. The technical details of the proof are postponed to later sections, since these are not needed for the applications.

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

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

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 book consists of articles at the frontier of current research in Algebraic Topology. It presents recent results by top notch experts, and is intended primarily for researchers and graduate students working in the field of algebraic topology. Included is an important article by Cohen, Johnes and Yan on the homology of the space of smooth loops on a manifold M, endowed with the Chas-Sullivan intersection product, as well as an article by Goerss, Henn and Mahowald on stable homotopy groups of spheres, which uses the cutting edge technology of "topological modular forms."

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.

"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

Plurisubharmonic functions playa major role in the theory of functions of several complex variables. The extensiveness of plurisubharmonic functions, the simplicity of their definition together with the richness of their properties and. most importantly, their close connection with holomorphic functions have assured plurisubharmonic functions a lasting place in multidimensional complex analysis. (Pluri)subharmonic functions first made their appearance in the works of Hartogs at the beginning of the century. They figure in an essential way, for example, in the proof of the famous theorem of Hartogs (1906) on joint holomorphicity. Defined at first on the complex plane IC, the class of subharmonic functions became thereafter one of the most fundamental tools in the investigation of analytic functions of one or several variables. The theory of subharmonic functions was developed and generalized in various directions: subharmonic functions in Euclidean space IRn, plurisubharmonic functions in complex space en and others. Subharmonic functions and the foundations ofthe associated classical poten tial theory are sufficiently well exposed in the literature, and so we introduce here only a few fundamental results which we require. More detailed expositions can be found in the monographs of Privalov (1937), Brelot (1961), and Landkof (1966). See also Brelot (1972), where a history of the development of the theory of subharmonic functions is given."

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.

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.

Rational homotopy theory is a subfield of algebraic topology. Written by three authorities in the field, this book contains all the main theorems of the field with complete proofs. As both notation and techniques of rational homotopy theory have been considerably simplified, the book presents modern elementary proofs for many results that were proven ten or fifteen years ago.

Here is an introduction to the theory of quantum groups with emphasis on the spectacular connections with knot theory and Drinfeld's recent fundamental contributions. It presents the quantum groups attached to SL2 as well as the basic concepts of the theory of Hopf algebras. Coverage also focuses on Hopf algebras that produce solutions of the Yang-Baxter equation and provides an account of Drinfeld's elegant treatment of the monodromy of the Knizhnik-Zamolodchikov equations.

This book provides an introduction to the basic concepts in differential topology, differential geometry, and differential equations, and some of the main basic theorems in all three areas. This new edition includes new chapters, sections, examples, and exercises. From the reviews: "There are many books on the fundamentals of differential geometry, but this one is quite exceptional; this is not surprising for those who know Serge Lang's books." --EMS NEWSLETTER

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 reviewed papers from the 1997 IUTAM Symposium, presenting the latest results from leading scientists within the field of detection and simulation of organized flow structures. It describes various aspects of complex, organized flow motion, including topics from decomposition techniques to topological concepts.

Permutation Groups form one of the oldest parts of group theory. Through the ubiquity of group actions and the concrete representations which they afford, both finite and infinite permutation groups arise in many parts of mathematics and continue to be a lively topic of research in their own right. The book begins with the basic ideas, standard constructions and important examples in the theory of permutation groups.It then develops the combinatorial and group theoretic structure of primitive groups leading to the proof of the pivotal O'Nan-Scott Theorem which links finite primitive groups with finite simple groups. Special topics covered include the Mathieu groups, multiply transitive groups, and recent work on the subgroups of the infinite symmetric groups. This text can serve as an introduction to permutation groups in a course at the graduate or advanced undergraduate level, or for self- study. It includes many exercises and detailed references to the current literature.

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.

Valuation theory is used constantly in algebraic number theory and field theory, and is currently gaining considerable research interest. Ribenboim fills a unique niche in the literature as he presents one of the first introductions to classical valuation theory in this up-to-date rendering of the authors long-standing experience with the applications of the theory. The presentation is fully up-to-date and will serve as a valuable resource for students and mathematicians.