Just suppose, for a moment, that all rings of integers in algebraic number fields were unique factorization domains, then it would be fairly easy to produce a proof of Fermat's Last Theorem, fitting, say, in the margin of this page. Unfortunately however, rings of integers are not that nice in general, so that, for centuries, math ematicians had to search for alternative proofs, a quest which culminated finally in Wiles' marvelous results - but this is history. The fact remains that modern algebraic number theory really started off with in vestigating the problem which rings of integers actually are unique factorization domains. The best approach to this question is, of course, through the general the ory of Dedekind rings, using the full power of their class group, whose vanishing is, by its very definition, equivalent to the unique factorization property. Using the fact that a Dedekind ring is essentially just a one-dimensional global version of discrete valuation rings, one easily verifies that the class group of a Dedekind ring coincides with its Picard group, thus making it into a nice, functorial invariant, which may be studied and calculated through algebraic, geometric and co homological methods. In view of the success of the use of the class group within the framework of Dedekind rings, one may wonder whether it may be applied in other contexts as well. However, for more general rings, even the definition of the class group itself causes problems."

Providing a systematic introduction to differential characters as introduced by Cheeger and Simons, this text describes important concepts such as fiber integration, higher dimensional holonomy, transgression, and the product structure in a geometric manner. Differential characters form a model of what is nowadays called differential cohomology, which is the mathematical structure behind the higher gauge theories in physics.

In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to algebraic operads. An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point of view. The book presents this topic with an emphasis on Koszul duality theory. After a modern treatment of Koszul duality for associative algebras, the theory is extended to operads. Applications to homotopy algebra are given, for instance the Homotopy Transfer Theorem. Although the necessary notions of algebra are recalled, readers are expected to be familiar with elementary homological algebra. Each chapter ends with a helpful summary and exercises. A full chapter is devoted to examples, and numerous figures are included. After a low-level chapter on Algebra, accessible to (advanced) undergraduate students, the level increases gradually through the book. However, the authors have done their best to make it suitable for graduate students: three appendices review the basic results needed in order to understand the various chapters. Since higher algebra is becoming essential in several research areas like deformation theory, algebraic geometry, representation theory, differential geometry, algebraic combinatorics, and mathematical physics, the book can also be used as a reference work by researchers.

This book, addressing both researchers and graduate students, reviews equivariant localization techniques for the evaluation of Feynman path integrals. The author gives the relevant mathematical background in some detail, showing at the same time how localization ideas are related to classical integrability. The text explores the symmetries inherent in localizable models for assessing the applicability of localization formulae. Various applications from physics and mathematics are presented.

Tamari lattices originated from weakenings or reinterpretations of the familar associativity law. This has been the subject of Dov Tamari's thesis at the Sorbonne in Paris in 1951 and the central theme of his subsequent mathematical work. Tamari lattices can be realized in terms of polytopes called associahedra, which in fact also appeared first in Tamari's thesis. By now these beautiful structures have made their appearance in many different areas of pure and applied mathematics, such as algebra, combinatorics, computer science, category theory, geometry, topology, and also in physics. Their interdisciplinary nature provides much fascination and value. On the occasion of Dov Tamari's centennial birthday, this book provides an introduction to topical research related to Tamari's work and ideas. Most of the articles collected in it are written in a way accessible to a wide audience of students and researchers in mathematics and mathematical physics and are accompanied by high quality illustrations.

Since most of the problems arising in science and engineering are nonlinear, they are inherently difficult to solve. Traditional analytical approximations are valid only for weakly nonlinear problems and often fail when used for problems with strong nonlinearity. Nonlinear Flow Phenomena and Homotopy Analysis: Fluid Flow and Heat Transfer presents the current theoretical developments of the analytical method of homotopy analysis. This book not only addresses the theoretical framework for the method, but also gives a number of examples of nonlinear problems that have been solved by means of the homotopy analysis method. The particular focus lies on fluid flow problems governed by nonlinear differential equations. This book is intended for researchers in applied mathematics, physics, mechanics and engineering.

Both Kuppalapalle Vajravelu and Robert A. Van Gorder work at the University of Central Florida, USA."

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

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.

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

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

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.

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.

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.

Introduction In the last few years a few monographs dedicated to the theory of topolog ical rings have appeared [Warn27], [Warn26], [Wies 19], [Wies 20], [ArnGM]. Ring theory can be viewed as a particular case of Z-algebras. Many general results true for rings can be extended to algebras over commutative rings. In topological algebra the structure theory for two classes of topological algebras is well developed: Banach algebras; and locally compact rings. The theory of Banach algebras uses results of Banach spaces, and the theory of locally compact rings uses the theory of LCA groups. As far as the author knows, the first papers on the theory of locally compact rings were [Pontr1]' [J1], [J2], [JT], [An], lOt], [K1]' [K2]' [K3], [K4], [K5], [K6]. Later two papers, [GS1,GS2]appeared, which contain many results concerning locally compact rings. This book can be used in two w.ays. It contains all necessary elementary results from the theory of topological groups and rings. In order to read these parts of the book the reader needs to know only elementary facts from the theories of groups, rings, modules, topology. The book consists of two parts.

As the interaction of mathematics and theoretical physics continues to intensify, the theories developed in mathematics are being applied to physics, and conversely. This book centers around the theory of primitive forms which currently plays an active and key role in topological field theory (theoretical physics), but was originally developed as a mathematical notion to define a "good period mapping" for a family of analytic structures. The invited papers in this volume are expository in nature by participants of the Taniguchi Symposium on "Topological Field Theory, Primitive Forms and Related Topics" and the RIMS Symposium bearing the same title, both held in Kyoto. The papers reflect the broad research of some of the world's leading mathematical physicists, and should serve as an excellent resource for researchers as well as graduate students of both disciplines.

The conjugate operator method is a powerful recently developed technique for studying spectral properties of self-adjoint operators. One of the purposes of this volume is to present a refinement of the original method due to Mourre leading to essentially optimal results in situations as varied as ordinary differential operators, pseudo-differential operators and N-body Schroedinger hamiltonians. Another topic is a new algebraic framework for the N-body problem allowing a simple and systematic treatment of large classes of many-channel hamiltonians. The monograph will be of interest to research mathematicians and mathematical physicists. The authors have made efforts to produce an essentially self-contained text, which makes it accessible to advanced students. Thus about one third of the book is devoted to the development of tools from functional analysis, in particular real interpolation theory for Banach spaces and functional calculus and Besov spaces associated with multi-parameter C0-groups. Certainly this monograph (containing a bibliography of 170 items) is a well-written contribution to this field which is suitable to stimulate further evolution of the theory. (Mathematical Reviews)

From the reviews: "The book is well written. We find here many examples. Each chapter is followed by exercises, and at the end of the book there are outline solutions to some of them. [...] I especially appreciated the lively style of the book; [...] one is quickly able to find necessary details." EMS Newsletter

The material and references in this extended second edition of "The Topology of Torus Actions on Symplectic Manifolds," published as Volume 93 in this series in 1991, have been updated. Symplectic manifolds and torus actions are investigated, with numerous examples of torus actions, for instance on some moduli spaces. Although the book is still centered on convexity results, it contains much more material, in particular lots of new examples and exercises.

'Et moi, ..., si j'avait su comment en revenir, One service methematics has rendered the je n'y serais point aile.' human race. It has put common sense back JulesVerne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be seese'. 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 nonlinearities 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 state ments as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered computer science .. .'; 'One service category theory has rendered mathematics .. .'. All arguable true. And all statements obtainable this .way form part of the raison d'etre of this series."

The articles in this volume are an outgrowth of an International Confer- ence in Intersection Theory that took place in Bologna, Italy (December 1997). In a somewhat unorthodox format aimed at both the mathematical community as well as summer school students, talks were research-oriented as well as partly expository. There were four series of expository talks by the following people: M. Brion, University of Grenoble, on Equivariant Chow groups and applications; H. Flenner, University of Bochum, on Joins and intersections; E. M. Friedlander, Northwestern University, on Intersection products for spaces of algebraic cycles; R. Laterveer, University of Strasbourg, on Bigraded Chow (co)homology. Four introductory papers cover the following topics and bring the reader to the forefront of research: 1) the excess intersection algorithm of Stuckrad and Vogel, combined with the deformation to the normal cone, together with many of its geo- metric applications; 2) new and very important homotopy theory techniques that are now used in intersection theory; 3) the Bloch-Beilinson filtration and the theory of motives; 4) algebraic stacks, the modern language of moduli theory. Other research articles concern such active fields as stable maps and Gromov-Witten invariants, deformation theory of complex varieties, and others. Organizers of the conference were Rudiger Achilles, Mirella Manaresi, and Angelo Vistoli, all from the University of Bologna; the scientific com- mittee consisted of Geir Ellingsrud, University of Oslo, William Fulton, University of Michigan at Ann Arbor, and Angelo Vistoli. The conference was financed by the European Union (contract no.

This two-volume monograph obtains fundamental notions and results of the standard differential geometry of smooth (CINFINITY) manifolds, without using differential calculus. Here, the sheaf-theoretic character is emphasised. This has theoretical advantages such as greater perspective, clarity and unification, but also practical benefits ranging from elementary particle physics, via gauge theories and theoretical cosmology (`differential spaces'), to non-linear PDEs (generalised functions). Thus, more general applications, which are no longer `smooth' in the classical sense, can be coped with. The treatise might also be construed as a new systematic endeavour to confront the ever-increasing notion that the `world around us is far from being smooth enough'. Audience: This work is intended for postgraduate students and researchers whose work involves differential geometry, global analysis, analysis on manifolds, algebraic topology, sheaf theory, cohomology, functional analysis or abstract harmonic analysis.

The book is based on my lecture notes "Infinite dimensional Morse theory and its applications," 1985, Montreal, and one semester of graduate lectures delivered at the University of Wisconsin, Madison, 1987. Since the aim of this monograph is to give a unified account of the topics in critical point theory, a considerable amount of new materials has been added. Some of them have never been published previously. The book is of interest both to researchers following the development of new results, and to people seeking an introduction into this theory. The main results are designed to be as self-contained as possible. And for the reader's convenience, some preliminary background information has been organized. The following people deserve special thanks for their direct roles in help ing to prepare this book. Prof. L. Nirenberg, who first introduced me to this field ten years ago, when I visited the Courant Institute of Math Sciences. Prof. A. Granas, who invited me to give a series of lectures at SMS, 1983, Montreal, and then the above notes, as the primary version of a part of the manuscript, which were published in the SMS collection. Prof. P. Rabinowitz, who provided much needed encouragement during the academic semester, and invited me to teach a semester graduate course after which the lecture notes became the second version of parts of this book. Professors A. Bahri and H. Brezis who suggested the publication of the book in the Birkhiiuser series."

This book is an introduction to modern methods of symplectic topology. It is devoted to explaining the solution of an important problem originating from classical mechanics: the 'Arnold conjecture', which asserts that the number of 1-periodic trajectories of a non-degenerate Hamiltonian system is bounded below by the dimension of the homology of the underlying manifold. The first part is a thorough introduction to Morse theory, a fundamental tool of differential topology. It defines the Morse complex and the Morse homology, and develops some of their applications. Morse homology also serves a simple model for Floer homology, which is covered in the second part. Floer homology is an infinite-dimensional analogue of Morse homology. Its involvement has been crucial in the recent achievements in symplectic geometry and in particular in the proof of the Arnold conjecture. The building blocks of Floer homology are more intricate and imply the use of more sophisticated analytical methods, all of which are explained in this second part. The three appendices present a few prerequisites in differential geometry, algebraic topology and analysis. The book originated in a graduate course given at Strasbourg University, and contains a large range of figures and exercises. Morse Theory and Floer Homology will be particularly helpful for graduate and postgraduate students.

The idea of this book originated from two series of lectures given by us at the Physics Department of the Catholic University of Petr6polis, in Brazil. Its aim is to present an introduction to the "algebraic" method in the perturbative renormalization of relativistic quantum field theory. Although this approach goes back to the pioneering works of Symanzik in the early 1970s and was systematized by Becchi, Rouet and Stora as early as 1972-1974, its full value has not yet been widely appreciated by the practitioners of quantum field theory. Becchi, Rouet and Stora have, however, shown it to be a powerful tool for proving the renormalizability of theories with (broken) symmetries and of gauge theories. We have thus found it pertinent to collect in a self-contained manner the available information on algebraic renormalization, which was previously scattered in many original papers and in a few older review articles. Although we have taken care to adapt the level of this book to that of a po- graduate (Ph. D. ) course, more advanced researchers will also certainly find it useful. The deeper knowledge of renormalization theory we hope readers will acquire should help them to face the difficult problems of quantum field theory. It should also be very helpful to the more phenomenology oriented readers who want to famili- ize themselves with the formalism of renormalization theory, a necessity in view of the sophisticated perturbative calculations currently being done, in particular in the standard model of particle interactions.