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

The Seminar has taken place at Rutgers University in New Brunswick, New Jersey, since 1990 and it has become a tradition, starting in 1992, that the Seminar be held during July at IHES in Bures-sur-Yvette, France. This is the second Gelfand Seminar volume published by Birkhauser, the first having covered the years 1990-1992. Most of the papers in this volume result from Seminar talks at Rutgers, and some from talks at IHES. In the case of a few of the papers the authors did not attend, but the papers are in the spirit of the Seminar. This is true in particular of V. Arnold's paper. He has been connected with the Seminar for so many years that his paper is very natural in this volume, and we are happy to have it included here. We hope that many people will find something of interest to them in the special diversity of topics and the uniqueness of spirit represented here. The publication of this volume would be impossible without the devoted attention of Ann Kostant. We are extremely grateful to her. I. Gelfand J. Lepowsky M. Smirnov Questions and Answers About Geometric Evolution Processes and Crystal Growth Fred Almgren We discuss evolutions of solids driven by boundary curvatures and crystal growth with Gibbs-Thomson curvature effects. Geometric measure theo retic techniques apply both to smooth elliptic surface energies and to non differentiable crystalline surface energies."

Geometric topology may roughly be described as the branch of the topology of manifolds which deals with questions of the existence of homeomorphisms. Only in fairly recent years has this sort of topology achieved a sufficiently high development to be given a name, but its beginnings are easy to identify. The first classic result was the SchOnflies theorem (1910), which asserts that every 1-sphere in the plane is the boundary of a 2-cell. In the next few decades, the most notable affirmative results were the "Schonflies theorem" for polyhedral 2-spheres in space, proved by J. W. Alexander [Ad, and the triangulation theorem for 2-manifolds, proved by T. Rad6 [Rd. But the most striking results of the 1920s were negative. In 1921 Louis Antoine [A ] published an extraordinary paper in which he 4 showed that a variety of plausible conjectures in the topology of 3-space were false. Thus, a (topological) Cantor set in 3-space need not have a simply connected complement; therefore a Cantor set can be imbedded in 3-space in at least two essentially different ways; a topological 2-sphere in 3-space need not be the boundary of a 3-cell; given two disjoint 2-spheres in 3-space, there is not necessarily any third 2-sphere which separates them from one another in 3-space; and so on and on. The well-known "horned sphere" of Alexander [A ] appeared soon thereafter.

This book introduces advanced undergraduates to Riemannian geometry and mathematical general relativity. The overall strategy of the book is to explain the concept of curvature via the Jacobi equation which, through discussion of tidal forces, further helps motivate the Einstein field equations. After addressing concepts in geometry such as metrics, covariant differentiation, tensor calculus and curvature, the book explains the mathematical framework for both special and general relativity. Relativistic concepts discussed include (initial value formulation of) the Einstein equations, stress-energy tensor, Schwarzschild space-time, ADM mass and geodesic incompleteness. The concluding chapters of the book introduce the reader to geometric analysis: original results of the author and her undergraduate student collaborators illustrate how methods of analysis and differential equations are used in addressing questions from geometry and relativity. The book is mostly self-contained and the reader is only expected to have a solid foundation in multivariable and vector calculus and linear algebra. The material in this book was first developed for the 2013 summer program in geometric analysis at the Park City Math Institute, and was recently modified and expanded to reflect the author's experience of teaching mathematical general relativity to advanced undergraduates at Lewis & Clark College. This book is published in cooperation with IAS/Park City Mathematics Institute.

This IMA Volume in Mathematics and its Applications TOWARDS HIGHER CATEGORIES contains expository and research papers based on a highly successful IMA Summer Program on n-Categories: Foundations and Applications. We are grateful to all the participants for making this occasion a very productive and stimulating one. We would like to thank John C. Baez (Department of Mathematics, University of California Riverside) and J. Peter May (Department of Ma- ematics, University of Chicago) for their superb role as summer program organizers and editors of this volume. We take this opportunity to thank the National Science Foundation for its support of the IMA. Series Editors Fadil Santosa, Director of the IMA Markus Keel, Deputy Director of the IMA v PREFACE DEDICATED TO MAX KELLY, JUNE 5 1930 TO JANUARY 26 2007. This is not a proceedings of the 2004 conference "n-Categories: Fo- dations and Applications" that we organized and ran at the IMA during the two weeks June 7-18, 2004! We thank all the participants for helping make that a vibrant and inspiring occasion. We also thank the IMA sta? for a magni?cent job. There has been a great deal of work in higher c- egory theory since then, but we still feel that it is not yet time to o?er a volume devoted to the main topic of the conference.

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

The first international conference on Probability in Banach Spaces was held at Oberwolfach, West Germany, in 1975. It brought together European researchers who, under the inspiration of the Schwartz Seminar in Paris, were using probabi listic methods in the study of the geometry of Banach spaces, a rather small number of probabilists who were already studying classical limit laws on Banach spaces, and a larger number of probabilists, specialists in various aspects of the study of Gaussian processes, whose results and techniques were of interest to the members of the first two groups. This first conference was very fruitful. It fos tered a continuing relationship among 50 to 75 probabilists and analysts working on probability on infinite-dimensional spaces, the geometry of Banach spaces, and the use of random methods in harmonic analysis. Six more international conferences were held since the 1975 meeting. Two of the meetings were held at Tufts University, one at Scentsnderborg, Denmark, and the others at Oberwolfach. This volume contains a selection of papers by the partici pants of the Seventh International Conference held at Oberwolfach, West Ger many, June 26-July 2, 1988. This exciting and provocative conference was at tended by more than 50 mathematicians from many countries. These papers demonstrate the range of interests of the conference participants. In addition to the ongoing study of classical and modern limit theorems in Banach spaces, a branching out has occurred among the members of this group."

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

Topology occupies a central position in modern mathematics, and the concept of the fibre bundle provides an appropriate framework for studying differential geometry. Fibrewise homotopy theory is a very large subject that has attracted a good deal of research in recent years. This book provides an overview of the subject as it stands at present.

Historically, applications of algebraic topology to the study of topological transformation groups were originated in the work of L. E. 1. Brouwer on periodic transformations and, a little later, in the beautiful fixed point theorem ofP. A. Smith for prime periodic maps on homology spheres. Upon comparing the fixed point theorem of Smith with its predecessors, the fixed point theorems of Brouwer and Lefschetz, one finds that it is possible, at least for the case of homology spheres, to upgrade the conclusion of mere existence (or non-existence) to the actual determination of the homology type of the fixed point set, if the map is assumed to be prime periodic. The pioneer result of P. A. Smith clearly suggests a fruitful general direction of studying topological transformation groups in the framework of algebraic topology. Naturally, the immediate problems following the Smith fixed point theorem are to generalize it both in the direction of replacing the homology spheres by spaces of more general topological types and in the direction of replacing the group tl by more general compact groups.

Compactness is related to a number of fundamental concepts of mathemat ics. Particularly important are compact Hausdorff spaces or compacta. Com pactness appeared in mathematics for the first time as one of the main topo logical properties of an interval, a square, a sphere and any closed, bounded subset of a finite dimensional Euclidean space. Once it was realized that pre cisely this property was responsible for a series of fundamental facts related to those sets such as boundedness and uniform continuity of continuous func tions defined on them, compactness was given an abstract definition in the language of general topology reaching far beyond the class of metric spaces. This immensely extended the realm of application of this concept (including in particular, function spaces of quite general nature). The fact, that general topology provided an adequate language for a description of the concept of compactness and secured a natural medium for its harmonious development is a major credit to this area of mathematics. The final formulation of a general definition of compactness and the creation of the foundations of the theory of compact topological spaces are due to P.S. Aleksandrov and Urysohn (see Aleksandrov and Urysohn (1971))."

The use of topological ideas to explore various aspects of graph theory, and vice versa, is a fruitful area of research. There are links with other areas of mathematics, such as design theory and geometry, and increasingly with such areas as computer networks where symmetry is an important feature. Other books cover portions of the material here, but there are no other books with such a wide scope. This book contains fifteen expository chapters written by acknowledged international experts in the field. Their well-written contributions have been carefully edited to enhance readability and to standardize the chapter structure, terminology and notation throughout the book. To help the reader, there is an extensive introductory chapter that covers the basic background material in graph theory and the topology of surfaces. Each chapter concludes with an extensive list of references.

Topological Dynamics has its roots deep in the theory of differential equations, specifically in that portion called the "qualitative theory." The most notable early work was that of Poincare and Bendixson, regarding stability of solutions of differential equations, and the subject has grown around this nucleus. It has developed now to a point where it is fully capable of standing on its own feet as a branch of Mathematics studied for its intrinsic interest and beauty, and since the publication of Topological Dynamics by Gottschalk and Hedlund, it has been the subject of widespread study in its own right, as well as for the light it sheds on differential equations. The Bibliography for Topological Dyna mics by Gottschalk contains 1634 entries in the 1969 edition, and progress in the field since then has been even more prodigious. The study of dynamical systems is an idealization of the physical studies bearing such names as aerodynamics, hydrodynamics, electrodynamics, etc. We begin with some space (call it X) and we imagine in this space some sort of idealized particles which change position as time passes."

Probability limit theorems in infinite-dimensional spaces give conditions un der which convergence holds uniformly over an infinite class of sets or functions. Early results in this direction were the Glivenko-Cantelli, Kolmogorov-Smirnov and Donsker theorems for empirical distribution functions. Already in these cases there is convergence in Banach spaces that are not only infinite-dimensional but nonsep arable. But the theory in such spaces developed slowly until the late 1970's. Meanwhile, work on probability in separable Banach spaces, in relation with the geometry of those spaces, began in the 1950's and developed strongly in the 1960's and 70's. We have in mind here also work on sample continuity and boundedness of Gaussian processes and random methods in harmonic analysis. By the mid-70's a substantial theory was in place, including sharp infinite-dimensional limit theorems under either metric entropy or geometric conditions. Then, modern empirical process theory began to develop, where the collection of half-lines in the line has been replaced by much more general collections of sets in and functions on multidimensional spaces. Many of the main ideas from probability in separable Banach spaces turned out to have one or more useful analogues for empirical processes. Tightness became "asymptotic equicontinuity. " Metric entropy remained useful but also was adapted to metric entropy with bracketing, random entropies, and Kolchinskii-Pollard entropy. Even norms themselves were in some situations replaced by measurable majorants, to which the well-developed separable theory then carried over straightforwardly."

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

The object of this book is a presentation of the major results relating to two geometrically inspired problems in analysis. One is that of determining which metric spaces can be isometrically embedded in a Hilbert space or, more generally, P in an L space; the other asks for conditions on a pair of metric spaces which will ensure that every contraction or every Lipschitz-Holder map from a subset of X into Y is extendable to a map of the same type from X into Y. The initial work on isometric embedding was begun by K. Menger [1928] with his metric investigations of Euclidean geometries and continued, in its analytical formulation, by I. J. Schoenberg [1935] in a series of papers of classical elegance. The problem of extending Lipschitz-Holder and contraction maps was first treated by E. J. McShane and M. D. Kirszbraun [1934]. Following a period of relative inactivity, attention was again drawn to these two problems by G. Minty's work on non-linear monotone operators in Hilbert space [1962]; by S. Schonbeck's fundamental work in characterizing those pairs (X,Y) of Banach spaces for which extension of contractions is always possible [1966]; and by the generalization of many of Schoenberg's embedding theorems to the P setting of L spaces by Bretagnolle, Dachuna Castelle and Krivine [1966].

Knot theory is a kind of geometry, and one whose appeal is very direct because the objects studied are perceivable and tangible in everyday physical space. It is a meeting ground of such diverse branches of mathematics as group theory, matrix theory, number theory, algebraic geometry, and differential geometry, to name some of the more prominent ones. It had its origins in the mathematical theory of electricity and in primitive atomic physics, and there are hints today of new applications in certain branches of chemistryJ The outlines of the modern topological theory were worked out by Dehn, Alexander, Reidemeister, and Seifert almost thirty years ago. As a subfield of topology, knot theory forms the core of a wide range of problems dealing with the position of one manifold imbedded within another. This book, which is an elaboration of a series of lectures given by Fox at Haverford College while a Philips Visitor there in the spring of 1956, is an attempt to make the subject accessible to everyone. Primarily it is a text book for a course at the junior-senior level, but we believe that it can be used with profit also by graduate students. Because the algebra required is not the familiar commutative algebra, a disproportionate amount of the book is given over to necessary algebraic preliminaries."

Structural topology optimization is a fast growing field that is finding numerous applications in automotive, aerospace and mechanical design processes. Homogenization is a mathematical theory with applications in several engineering problems that are governed by partial differential equations with rapidly oscillating coefficients Homogenization and Structural Topology Optimization brings the two concepts together and successfully bridges the previously overlooked gap between the mathematical theory and the practical implementation of the homogenization method. The book is presented in a unique self-teaching style that includes numerous illustrative examples, figures and detailed explanations of concepts. The text is divided into three parts which maintains the book's reader-friendly appeal.

In 1890 P. J. Heawood 35] published a formula which he called the Map Colour Theorem. But he forgot to prove it. Therefore the world of mathematicians called it the Heawood Conjecture. In 1968 the formula was proven and therefore again called the Map Color Theorem. (This book is written in California, thus in American English. ) Beautiful combinatorial methods were developed in order to prove the formula. The proof is divided into twelve cases. In 1966 there were three of them still unsolved. In the academic year 1967/68 J. W. T. Youngs on those three cases at Santa Cruz. Sur invited me to work with him prisingly our joint effort led to the solution of all three cases. It was a year of hard work but great pleasure. Working together was extremely profitable and enjoyable. In spite of the fact that we saw each other every day, Ted wrote a letter to me, which I present here in shortened form: Santa Cruz, March 1, 1968 Dear Gerhard: Last night while I was checking our results on Cases 2, 8 and 11, and thinking of the great pleasure we had in the afternoon with the extra ordinarily elegant new solution for Case 11, it seemed to me appropriate to pause for a few minutes and dictate a historical memorandum. We began working on Case 8 on 10 October 1967, and it was settled on Tuesday night, 14 November 1967."

An extension of a topological space X is a space that contains X as a dense subspace. The construction of extensions of various sorts - compactifications, realcompactifications, H-elosed extension- has long been a major area of study in general topology. A ubiquitous method of constructing an extension of a space is to let the "new points" of the extension be ultrafilters on certain lattices associated with the space. Examples of such lattices are the lattice of open sets, the lattice of zero-sets, and the lattice of elopen sets. A less well-known construction in general topology is the "absolute" of a space. Associated with each Hausdorff space X is an extremally disconnected zero-dimensional Hausdorff space EX, called the Iliama absolute of X, and a perfect, irreducible, a-continuous surjection from EX onto X. A detailed discussion of the importance of the absolute in the study of topology and its applications appears at the beginning of Chapter 6. What concerns us here is that in most constructions of the absolute, the points of EX are certain ultrafilters on lattices associated with X. Thus extensions and absolutes, although very different, are constructed using similar tools.

General topology is the domain ofmathematics devoted to the investigation of the concepts of continuity and passage to a limit at their natural level of generality. The most basic concepts of general topology, that of a topological space and a continuous map, were introduced by Hausdorffin 1914. Oneofthecentralproblemsoftopologyisthedeterminationandinvestigation of topological invariants; that is, properties ofspaces which are preserved under homeomorphisms. Topological invariants need not be numbers. Connectedness, compactness, andmetrizability, forexample, arenon-numericaltopologicalinvariants.Dimen sional invariants, on the otherhand, areexamplesofnumericalinvariants which take integervalues on specific topological spaces. Part II ofthis book is devoted to them. Topological invariants which take values in the cardinal numbers play an especially important role, providing the raw material for many useful coin" putations. Weight, density, character, and Suslin number are invariants ofthis type. Certain classes of topological spaces are defined in terms of topological in variants. Particularly important examples include the metrizable spaces, spaces with a countable base, compact spaces, Tikhonov spaces, Polish spaces, Cech complete spaces and the symmetrizable spaces."

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

In the large and thriving field of compact transformation groups an important role has long been played by cohomological methods. This book aims to give a contemporary account of such methods, in particular the applications of ordinary cohomology theory and rational homotopy theory with principal emphasis on actions of tori and elementary abelian p-groups on finite-dimensional spaces. For example, spectral sequences are not used in Chapter 1, where the approach is by means of cochain complexes; and much of the basic theory of cochain complexes needed for this chapter is outlined in an appendix. For simplicity, emphasis is put on G-CW-complexes; the refinements needed to treat more general finite-dimensional (or finitistic) G-spaces are often discussed separately. Subsequent chapters give systematic treatments of the Localization Theorem, applications of rational homotopy theory, equivariant Tate cohomology and actions on Poincare duality spaces. Many shorter and more specialized topics are included also. Chapter 2 contains a summary of the main definitions and results from Sullivan's version of rational homotopy theory which are used in the book.

The present volume of reprints are what I consider to be my most interesting and influential papers on algebra and topology. To tie them together, and to place them in context, I have supplemented them by a series of brief essays sketching their historieal background (as I see it). In addition to these I have listed some subsequent papers by others which have further developed some of my key ideas. The papers on universal algebra, lattice theory, and general topology collected in the present volume concern ideas which have become familiar to all working mathematicians. It may be helpful to make them readily accessible in one volume. I have tried in the introduction to each part to state the most significant features of ea ch paper reprinted there, and to indieate later developments. The background that shaped and stimulated my early work on universal algebra, lattice theory, and topology may be of some interest. As a Harvard undergraduate in 1928-32, I was encouraged to do independent reading and to write an original thesis. My tutorial reading included de la Vallee-Poussin's beautiful Cours d'Analyse Infinitesimale, Hausdorff's Grundzuge der Mengenlehre, and Frechet's Espaces Abstraits. In addition, I discovered Caratheodory's 1912 paper "Vber das lineare Mass von Punktmengen" and Hausdorff's 1919 paper on "Dimension und Ausseres Mass," and derived much inspiration from them. A fragment of my thesis, analyzing axiom systems for separable metrizable spaces, was later published 2]. * This background led to the work summarized in Part IV."