The present volume grew out of the Heidelberg Knot Theory Semester, organized by the editors in winter 2008/09 at Heidelberg University. The contributed papers bring the reader up to date on the currently most actively pursued areas of mathematical knot theory and its applications in mathematical physics and cell biology. Both original research and survey articles are presented; numerous illustrations support the text. The book will be of great interest to researchers in topology, geometry, and mathematical physics, graduate students specializing in knot theory, and cell biologists interested in the topology of DNA strands.

Symmetries in dynamical systems, "KAM theory and other perturbation theories," "Infinite dimensional systems," "Time series analysis" and "Numerical continuation and bifurcation analysis" were the main topics of the December 1995 Dynamical Systems Conference held in Groningen in honour of Johann Bernoulli. They now form the core of this work which seeks to present the state of the art in various branches of the theory of dynamical systems. A number of articles have a survey character whereas others deal with recent results in current research. It contains interesting material for all members of the dynamical systems community, ranging from geometric and analytic aspects from a mathematical point of view to applications in various sciences.

The work of Professor Eduard Cech had a si~ificant influence on the development of algebraic and general topology and differential geometry. This book, which appears on the occasion of the centenary of Cech's birth, contains some of his most important papers and traces the subsequent trends emerging from his ideas. The body of the book consists of four chapters devoted to algebraic topology, Cech-Stone compactification, dimension theory and differential geometry. Each of these includes a selection of Cech's papers, a brief summary of some results which followed from his work or constituted solutions to the problems he posed, and several selected papers by various authors concerning the areas of study he initiated. The book also contains a concise biography borrowed with minor changes from the book Topological papers of E. tech, a list of Cech's publications and a very brief note on his activity in the didactics of mathematics. The editors wish to express their sincere gratitude to all who contributed to the completion and publication of this book.

I. The topics of this book The concept of a matroid has been known for more than five decades. Whitney (1935) introduced it as a common generalization of graphs and matrices. In the last two decades, it has become clear how important the concept is, for the following reasons: (1) Combinatorics (or discrete mathematics) was considered by many to be a collection of interesting, sometimes deep, but mostly unrelated ideas. However, like other branches of mathematics, combinatorics also encompasses some gen eral tools that can be learned and then applied, to various problems. Matroid theory is one of these tools. (2) Within combinatorics, the relative importance of algorithms has in creased with the spread of computers. Classical analysis did not even consider problems where "only" a finite number of cases were to be studied. Now such problems are not only considered, but their complexity is often analyzed in con siderable detail. Some questions of this type (for example, the determination of when the so called "greedy" algorithm is optimal) cannot even be answered without matroidal tools."

The biennial meetings at Sao Carlos have helped create a worldwide community of experts and young researchers working on singularity theory, with a special focus on applications to a wide variety of topics in both pure and applied mathematics. The tenth meeting, celebrating the 60th birthdays of Terence Gaffney and Maria Aparecida Soares Ruas, was a special occasion attracting the best known names in the area. This volume contains contributions by the attendees, including three articles written or co-authored by Gaffney himself, and survey articles on the existence of Milnor fibrations, global classifications and graphs, pairs of foliations on surfaces, and Gaffney's work on equisingularity.

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.

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

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

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.

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

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.

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

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.

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

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 aim of this book is to serve both as an introduction to profinite groups and as a reference for specialists in some areas of the theory. The book is reasonably self-contained. Profinite groups are Galois groups. As such they are of interest in algebraic number theory. Much of recent research on abstract infinite groups is related to profinite groups because residually finite groups are naturally embedded in a profinite group. In addition to basic facts about general profinite groups, the book emphasizes free constructions (particularly free profinite groups and the structure of their subgroups). Homology and cohomology is described with a minimum of prerequisites.

This second edition contains three new appendices dealing with a new characterization of free profinite groups, presentations of pro-p groups and a new conceptually simpler approach to the proof of some classical subgroup theorems. Throughout the text there are additions in the form of new results, improved proofs, typographical corrections, and an enlarged bibliography. The list of open questions has been updated; comments and references have been added about those previously open problems that have been solved after the first edition appeared.

In the preface to Volume One I promised a second volume which would contain the theory of linear mappings and special classes of spaces im portant in analysis. It took me nearly twenty years to fulfill this promise, at least to some extent. To the six chapters of Volume One I added two new chapters, one on linear mappings and duality (Chapter Seven), the second on spaces of linear mappings (Chapter Eight). A glance at the Contents and the short introductions to the two new chapters will give a fair impression of the material included in this volume. I regret that I had to give up my intention to write a third chapter on nuclear spaces. It seemed impossible to include the recent deep results in this field without creating a great further delay. A substantial part of this book grew out of lectures I held at the Mathematics Department of the University of Maryland. during the academic years 1963-1964, 1967-1968, and 1971-1972. I would like to express my gratitude to my colleagues J. BRACE, S. GOLDBERG, J. HORVATH, and G. MALTESE for many stimulating and helpful discussions during these years. I am particularly indebted to H. JARCHOW (Ziirich) and D. KEIM (Frankfurt) for many suggestions and corrections. Both have read the whole manuscript. N. ADASCH (Frankfurt), V. EBERHARDT (Miinchen), H. MEISE (Diisseldorf), and R. HOLLSTEIN (Paderborn) helped with important observations."

This volume contains a selection of papers by the participants of the 6. International Conference on Probability in Banach Spaces, Sand bjerg, Denmark, June 16-D1, 1986. The conference was attended by 45 participants from several countries. One thing makes this conference completely different from the previous five ones, namely that it was ar ranged jointly in Probability in Banach spaces and Banach space theory with almost equal representation of scientists in the two fields. Though these fields are closely related it seems that direct collaboration between researchers in the two groups has been seldom. It is our feeling that the conference, where the participants were together for five days taking part in lectures and intense discussions of mutual problems, has contributed to a better understanding and closer collaboration in the two fields. The papers in the present volume do not cover all the material pre sented in the lectures; several results covered have been published else where. The sponsors of the conference are: The Carlsberg Foundation, The Danish Natural Science Research Council, The Danish Department of Education, The Department of Mathematics, Odense University, The Department of Mathematics, Aarhus University, The Knudsen Foundation, Odense, Odense University, The Research Foundation of Aarhus University, The Thborg Foundation. The participants and the organizers would like to thank these institu tions for their support. The Organizers. Contents A. de Acosta and M. Ledoux, On the identification of the limits in the law of the iterated logarithm in Banach spaces. . . . ."