Infinite dimensional manifolds, Lie groups and algebras arise naturally in many areas of mathematics and physics. Having been used mainly as a tool for the study of finite dimensional objects, the emphasis has changed and they are now frequently studied for their own independent interest. On the one hand this is a collection of closely related articles on infinite dimensional Kahler manifolds and associated group actions which grew out of a DMV-Seminar on the same subject. On the other hand it covers significantly more ground than was possible during the seminar in Oberwolfach and is in a certain sense intended as a systematic approach which ranges from the foundations of the subject to recent developments. It should be accessible to doctoral students and as well researchers coming from a wide range of areas. The initial chapters are devoted to a rather selfcontained introduction to group actions on complex and symplectic manifolds and to Borel-Weil theory in finite dimensions. These are followed by a treatment of the basics of infinite dimensional Lie groups, their actions and their representations. Finally, a number of more specialized and advanced topics are discussed, e.g., Borel-Weil theory for loop groups, aspects of the Virasoro algebra, (gauge) group actions and determinant bundles, and second quantization and the geometry of the infinite dimensional Grassmann manifold.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

Based on a lecture course, this text gives a rigorous introduction to nonlinear analysis, dynamical systems and bifurcation theory including catastrophe theory. Wherever appropriate it emphasizes a geometrical or coordinate-free approach allowing a clear focus on the essential mathematical structures. It brings out features common to different branches of the subject while giving ample references for more advanced or technical developments.

The book lays algebraic foundations for real geometry through a systematic investigation of partially ordered rings of semi-algebraic functions. Real spectra serve as primary geometric objects, the maps between them are determined by rings of functions associated with the spectra. The many different possible choices for these rings of functions are studied via reflections of partially ordered rings. Readers should feel comfortable using basic algebraic and categorical concepts. As motivational background some familiarity with real geometry will be helpful. The book aims at researchers and graduate students with an interest in real algebra and geometry, ordered algebraic structures, topology and rings of continuous functions.

The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based on which effective algorithms are implemented and applied to diverse problems in science and engineering. In the last decade, both theorists and practitioners have more and more realized the significance and power of elimination methods and their underlying theories. Active and extensive research has contributed a great deal of new developments on algorithms and soft ware tools to the subject, that have been widely acknowledged. Their applications have taken place from pure and applied mathematics to geometric modeling and robotics, and to artificial neural networks. This book provides a systematic and uniform treatment of elimination algo rithms that compute various zero decompositions for systems of multivariate poly nomials. The central concepts are triangular sets and systems of different kinds, in terms of which the decompositions are represented. The prerequisites for the concepts and algorithms are results from basic algebra and some knowledge of algorithmic mathematics."

A substantially revised edition of the UTM volume, with a view to making the book far more accessible to undergraduates. It contains a larger number of detailed explanations and exercises, together with fully worked solutions to the essential problems and a new chapter on the historical aspects.

The continued and dramatic rise in the size of data sets has meant that new methods are required to model and analyze them. This timely account introduces topological data analysis (TDA), a method for modeling data by geometric objects, namely graphs and their higher-dimensional versions: simplicial complexes. The authors outline the necessary background material on topology and data philosophy for newcomers, while more complex concepts are highlighted for advanced learners. The book covers all the main TDA techniques, including persistent homology, cohomology, and Mapper. The final section focuses on the diverse applications of TDA, examining a number of case studies drawn from monitoring the progression of infectious diseases to the study of motion capture data. Mathematicians moving into data science, as well as data scientists or computer scientists seeking to understand this new area, will appreciate this self-contained resource which explains the underlying technology and how it can be used.

This book is an introduction to the theory of shadowing of approximate trajectories in dynamical systems by exact ones. This is the first book completely devoted to the theory of shadowing. It shows the importance of shadowing theory for both the qualitative theory of dynamical systems and the theory of numerical methods. Shadowing Methods allow us to estimate differences between exact and approximate solutions on infinite time intervals and to understand the influence of error terms. The book is intended for specialists in dynamical systems, for researchers and graduate students in the theory of numerical methods.

This volume contains 19 articles written by speakers at the Advanced Study Institute on 'Modular representations and subgroup structure of al gebraic groups and related finite groups' held at the Isaac Newton Institute, Cambridge from 23rd June to 4th July 1997. We acknowledge with gratitude the financial support given by the NATO Science Committee to enable this ASI to take place. Generous financial support was also provided by the European Union. We are also pleased to acknowledge funds given by EPSRC to the Newton Institute which were used to support the meeting. It is a pleasure to thank the Director of the Isaac Newton Institute, Professor Keith Moffatt, and the staff of the Institute for their dedicated work which did so much to further the success of the meeting. The editors wish to thank Dr. Ross Lawther and Dr. Nick Inglis most warmly for their help in the production of this volume. Dr. Lawther in particular made an invaluable contribution in preparing the volume for submission to the publishers. Finally we wish to thank the distinguished speakers at the ASI who agreed to write articles for this volume based on their lectures at the meet ing. We hope that the volume will stimulate further significant advances in the theory of algebraic groups."

This is the softcover reprint of the 1974 English translation of the later chapters of Bourbaki 's Topologie Generale. Initial chapters study subgroups and quotients of R, real vector spaces and projective spaces, and additive groups Rn. Analogous properties are then studied for complex numbers. Later chapters illustrate the use of real numbers in general topology and discuss various topologies of function spaces and approximation of functions.

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee. The domains of discrete geometry and computer imagery are closely related. Discrete geometry provides both theoretical and algorithmic models for the p- cessing, analysis and synthesis of images; in return computer imagery, in its variety of applications, constitutes a remarkable experimentational eld and is a source of challenging problems. The number of returning participants, the arrival each year of contributions from new laboratories and new researchers, as well as the quality and originality of the results have contributed to the success of the conference and are an - dication of the dynamism of this eld. The DGCI has become one of the major conferences related to this topic, including participating researchers and la- ratories from all over the world. Of the 41 papers received this year, 24 have been selected for presentation and 7 for poster sessions. In addition to these, four invited speakers have contributed to the conference. The site of Marne-la-Vall ee, just 20 min away from Paris, is particularly we- suited to hold the conference. Indeed, as a newly built city, it showcases a great amount of modern creative architecture, whose pure lines and original shapes o er a favorable context for the topic of Geometry.

Designed for students preparing to engage in their first struggles to understand and write proofs and to read mathematics independently, this is well suited as a supplementary text in courses on introductory real analysis, advanced calculus, abstract algebra, or topology. The book teaches in detail how to construct examples and non-examples to help understand a new theorem or definition; it shows how to discover the outline of a proof in the form of the theorem and how logical structures determine the forms that proofs may take. Throughout, the text asks the reader to pause and work on an example or a problem before continuing, and encourages the student to engage the topic at hand and to learn from failed attempts at solving problems. The book may also be used as the main text for a "transitions" course bridging the gap between calculus and higher mathematics. The whole concludes with a set of "Laboratories" in which students can practice the skills learned in the earlier chapters on set theory and function theory.

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

The Blaubeuren Conference "Theory and Practice of Geometric Modeling" has become a meeting place for leading experts from industrial and academic research institutions, CAD system developers and experienced users to exchange new ideas and to discuss new concepts and future directions in geometric modeling. The relaxed and calm atmosphere of the Heinrich-Fabri-Institute in Blaubeuren provides the appropriate environment for profound and engaged discussions that are not equally possible on other occasions. Real problems from current industrial projects as well as theoretical issues are addressed on a high scientific level. This book is the result of the lectures and discussions during the conference which took place from October 14th to 18th, 1996. The contents is structured in 4 parts: Mathematical Tools Representations Systems Automated Assembly. The editors express their sincere appreciation to the contributing authors, and to the members of the program committee for their cooperation, the careful reviewing and their active participation that made the conference and this book a success.

The main purpose of this book is to present the basic theory and some recent de velopments concerning the Cauchy problem for higher order abstract differential equations u(n)(t) + ~ AiU(i)(t) = 0, t ~ 0, { U(k)(O) = Uk, 0 ~ k ~ n-l. where AQ, Ab . . . , A - are linear operators in a topological vector space E. n 1 Many problems in nature can be modeled as (ACP ). For example, many n initial value or initial-boundary value problems for partial differential equations, stemmed from mechanics, physics, engineering, control theory, etc. , can be trans lated into this form by regarding the partial differential operators in the space variables as operators Ai (0 ~ i ~ n - 1) in some function space E and letting the boundary conditions (if any) be absorbed into the definition of the space E or of the domain of Ai (this idea of treating initial value or initial-boundary value problems was discovered independently by E. Hille and K. Yosida in the forties). The theory of (ACP ) is closely connected with many other branches of n mathematics. Therefore, the study of (ACPn) is important for both theoretical investigations and practical applications. Over the past half a century, (ACP ) has been studied extensively.

The present book contains the lecture notes from a "Nachdiplomvorlesung," a topics course adressed to Ph. D. students, at the ETH ZUrich during the winter term 95/96. Consequently, these notes are arranged according to the requirements of organizing the material for oral exposition, and the level of difficulty and the exposition were adjusted to the audience in Zurich. The aim of the course was to introduce some geometric and analytic concepts that have been found useful in advancing our understanding of spaces of nonpos itive curvature. In particular in recent years, it has been realized that often it is useful for a systematic understanding not to restrict the attention to Riemannian manifolds only, but to consider more general classes of metric spaces of generalized nonpositive curvature. The basic idea is to isolate a property that on one hand can be formulated solely in terms of the distance function and on the other hand is characteristic of nonpositive sectional curvature on a Riemannian manifold, and then to take this property as an axiom for defining a metric space of nonposi tive curvature. Such constructions have been put forward by Wald, Alexandrov, Busemann, and others, and they will be systematically explored in Chapter 2. Our focus and treatment will often be different from the existing literature. In the first Chapter, we consider several classes of examples of Riemannian manifolds of nonpositive curvature, and we explain how conditions about nonpos itivity or negativity of curvature can be exploited in various geometric contexts."

In this study extending classical Markov chain theory to handle fluctuating transition matrices, the author develops a theory of Markov set-chains and provides numerous examples showing how that theory can be applied. Chapters are concluded with a discussion of related research. Readers who can benefit from this monograph are those interested in, or involved with, systems whose data is imprecise or that fluctuate with time. A background equivalent to a course in linear algebra and one in probability theory should be sufficient.

The book describes some interactions of topology with other areas of mathematics and it requires only basic background. The first chapter deals with the topology of pointwise convergence and proves results of Bourgain, Fremlin, Talagrand and Rosenthal on compact sets of Baire class-1 functions. In the second chapter some topological dynamics of beta-N and its applications to combinatorial number theory are presented. The third chapter gives a proof of the Ivanovskii-Kuzminov-Vilenkin theorem that compact groups are dyadic. The last chapter presents Marjanovic's classification of hyperspaces of compact metric zerodimensional spaces.

The closed orbits of three-dimensional flows form knots and links. This book develops the tools - template theory and symbolic dynamics - needed for studying knotted orbits. This theory is applied to the problems of understanding local and global bifurcations, as well as the embedding data of orbits in Morse-smale, Smale, and integrable Hamiltonian flows. The necesssary background theory is sketched; however, some familiarity with low-dimensional topology and differential equations is assumed.

The articles in this volume were written to commemorate Reinhold Remmert's 60th birthday in June, 1990. They are surveys, meant to facilitate access to some of the many aspects of the theory of complex manifolds, and demonstrate the interplay between complex analysis and many other branches of mathematics, algebraic geometry, differential topology, representations of Lie groups, and mathematical physics being only the most obvious of these branches. Each of these articles should serve not only to describe the particular circle of ideas in complex analysis with which it deals but also as a guide to the many mathematical ideas related to its theme.

This book is for those interested in dynamical systems. It assumes a solid undergraduate training in mathematics. Geometrical methods are developed to study the process of iteration, which involves taking the output of a function and feeding it back as input. Iteration processes are used to produce fractals and wavelets, and to numerically approximate solutions to ordinary and partical differential equations. Each iteration procedure generates a discrete dynamical system. These systems are at the heart of many numerical algorithms. Essentially all mathematical models of evolving physical systems can be viewed as discrete dynamical systems. This book attempts to present the fundamental ideas of discrete dynamical systems as clearly and geometrically as possible. Illustrative examples of dynamical systems are presented in the first chapter. The second chapter gives a review of the typology of metric spaces. The third presents basic results and establishes a philosophy of dynamics which is strongly influenced by the work of Charles Conley. The stable manifold and local structural stability theorems are presented in the fourth chapter. Invariant sets and isolating blocks are defined in the fifth. The sixth develops what is called the Conley Index in the context of discrete dynamics, and the final chpater covers measure-preserving and symplectic maps. The book would be suitable for use as a main text for a graduate course in dynamical systems, and as a reference for engineers and scientists.

This is the softcover reprint of the English translation of 1971 (available from Springer since 1989) of the first 4 chapters of Bourbaki's Topologie générale. It gives all the basics of the subject, starting from definitions. Important classes of topological spaces are studied, uniform structures are introduced and applied to topological groups. Real numbers are constructed and their properties established. Part II, comprising the later chapters, Ch. 5-10, is also available in English in softcover.

This book contains a collection of articles corresponding to some of the talks delivered at the Foundations of Computational Mathematics conference held at IMPA in Rio de Janeiro in January 1997. Some ofthe others are published in the December 1996 issue of the Journal of Complexity. Both of these publications were available and distributed at the meeting. Even in this aspect we hope to have achieved a synthesis of the mathematics and computer science cultures as well as of the disciplines. The reaction to the Park City meeting on Mathematics of Numerical Analy sis: Real Number Algorithms which was chaired by Steve Smale and had around 275 participants, was very enthusiastic. At the suggestion of Narendra Karmar mar a lunch time meeting of Felipe Cucker, Arieh Iserles, Narendra Karmarkar, Jim Renegar, Mike Shub and Steve Smale decided to try to hold a periodic meeting entitled "Foundations of Computational Mathematics" and to form an organization with the same name whose primary purpose will be to hold the meeting. This is then the first edition of FoCM as such. It has been organized around a small collection of workshops, namely - Systems of algebraic equations and computational algebraic geometry - Homotopy methods and real machines - Information-based complexity - Numerical linear algebra - Approximation and PDEs - Optimization - Differential equations and dynamical systems - Relations to computer science - Vision and related computational tools There were also twelve plenary speakers."

Geometry undoubtedly plays a central role in modern mathematics. And it is not only a physiological fact that 80 % of the information obtained by a human is absorbed through the eyes. It is easier to grasp mathematical con- cepts and ideas visually than merely to read written symbols and formulae. Without a clear geometric perception of an analytical mathematical problem our intuitive understanding is restricted, while a geometric interpretation points us towards ways of investigation. Minkowski's convexity theory (including support functions, mixed volu- mes, finite-dimensional normed spaces etc.) was considered by several mathe- maticians to be an excellent and elegant, but useless mathematical device. Nearly a century later, geometric convexity became one of the major tools of modern applied mathematics. Researchers in functional analysis, mathe- matical economics, optimization, game theory and many other branches of our field try to gain a clear geometric idea, before they start to work with formulae, integrals, inequalities and so on. For examples in this direction, we refer to [MalJ and [B-M 2J. Combinatorial geometry emerged this century. Its major lines of investi- gation, results and methods were developed in the last decades, based on seminal contributions by O. Helly, K. Borsuk, P. Erdos, H. Hadwiger, L. Fe- jes T6th, V. Klee, B. Griinbaum and many other excellent mathematicians.

From the reviews:"The book...is a thorough and very readable introduction to the arithmetic of function fields of one variable over a finite field, by an author who has made fundamental contributions to the field. It serves as a definitive reference volume, as well as offering graduate students with a solid understanding of algebraic number theory the opportunity to quickly reach the frontiers of knowledge in an important area of mathematics...The arithmetic of function fields is a universe filled with beautiful surprises, in which familiar objects from classical number theory reappear in new guises, and in which entirely new objects play important roles. Goss'clear exposition and lively style make this book an excellent introduction to this fascinating field." MR 97i:11062