X 1 O S R Cher lecteur, J'entre bien tard dans la sphere etroite des ecrivains au double alphabet, moi qui, il y a plus de quarante ans deja, avais accueilli sur mes terres un general epris de mathematiques. JI m'avait parle de ses projets grandioses en promettant d'ailleurs de m'envoyer ses ouvrages de geometrie. Je suis entiche de geometrie et c'est d'elle dontje voudrais vous parler, oh! certes pas de toute la geometrie, mais de celle que fait l'artisan qui taille, burine, amene, gauchit, peaufine les formes. Mon interet pour le probleme dont je veux vous entretenir ici, je le dois a un ami ebeniste. En effet comme je rendais un jour visite il cet ami, je le trouvai dans son atelier affaire a un tour. Il se retourna bientot, puis, rayonnant, me tendit une sorte de toupie et me dit: "Monsieur Besse, vous qui calculez les formes avec vos grimoires, que pensez-vous de ceci?)) Je le regardai interloque. Il poursuivit: "Regardez! Si vous prenez ce collier de laine et si vous le maintenez fermement avec un doigt place n'importe ou sur la toupie, eh bien! la toupie passera toujours juste en son interieur, sans laisser le moindre espace.)) Je rentrai chez moi, fort etonne, car sa toupie etait loin d'etre une boule. Je me mis alors au travail ...

The discoveries of the last decades have opened new perspectives for the old field of Hamiltonian systems and led to the creation of a new field: symplectic topology. Surprising rigidity phenomena demonstrate that the nature of symplectic mappings is very different from that of volume preserving mappings. This raises new questions, many of them still unanswered. On the other hand, analysis of an old variational principle in classical mechanics has established global periodic phenomena in Hamiltonian systems. As it turns out, these seemingly different phenomena are mysteriously related. One of the links is a class of symplectic invariants, called symplectic capacities. These invariants are the main theme of this book, which includes such topics as basic symplectic geometry, symplectic capacities and rigidity, periodic orbits for Hamiltonian systems and the action principle, a bi-invariant metric on the symplectic diffeomorphism group and its geometry, symplectic fixed point theory, the Arnold conjectures and first order elliptic systems, and finally a survey on Floer homology and symplectic homology.

The exposition is self-contained and addressed to researchers and students from the graduate level onwards.

L' inj' ' enuit' ' m eme d' un regard neuf (celui de la science l'est toujours) peut parfois ' 'clairer d' un jour nouveau d' anciens probl' emes. J.Monod [77, p. 13] his book is intended as a comprehensive introduction to the theory of T principalsheaves andtheirconnections inthesettingofAbstractDi?- ential Geometry (ADG), the latter being initiated by A. Mallios'sGeometry of Vector Sheaves [62]. Based on sheaf-theoretic methods and sheaf - homology, the presentGeometry of Principal Sheaves embodies the classical theory of connections on principal and vector bundles, and connections on vector sheaves, thus paving the way towards a uni?ed (abstract) gauge t- ory and other potential applications to theoretical physics. We elaborate on the aforementioned brief description in the sequel. Abstract (ADG) vs. Classical Di?erential Geometry (CDG). M- ern di?erential geometry is built upon the fundamental notions of di?er- tial (smooth) manifolds and ?ber bundles, based,intheir turn, on ordinary di?erential calculus. However, the theory of smooth manifolds is inadequate to cope, for - stance, with spaces like orbifolds, spaces with corners, or other spaces with more complicated singularities. This is a rather unfortunate situation, since one cannot apply the powerful methods of di?erential geometry to them or to any spaces that do not admit an ordinary method of di?erentiation. The ix x Preface same inadequacy manifests in physics, where many geometrical models of physical phenomena are non-smooth.

This volume is dedicated to the memory of Harry Ernest Rauch, who died suddenly on June 18, 1979. In organizing the volume we solicited: (i) articles summarizing Rauch's own work in differential geometry, complex analysis and theta functions (ii) articles which would give the reader an idea of the depth and breadth of Rauch's researches, interests, and influence, in the fields he investigated, and (iii) articles of high scientific quality which would be of general interest. In each of the areas to which Rauch made significant contribution - pinching theorems, teichmiiller theory, and theta functions as they apply to Riemann surfaces - there has been substantial progress. Our hope is that the volume conveys the originality of Rauch's own work, the continuing vitality of the fields he influenced, and the enduring respect for, and tribute to, him and his accom plishments in the mathematical community. Finally, it is a pleasure to thank the Department of Mathematics, of the Grad uate School of the City University of New York, for their logistical support, James Rauch who helped us with the biography, and Springer-Verlag for all their efforts in producing this volume. Isaac Chavel . Hershel M. Farkas Contents Harry Ernest Rauch - Biographical Sketch. . . . . . . . VII Bibliography of the Publications of H. E. Rauch. . . . . . X Ph.D. Theses Written under the Supervision of H. E. Rauch. XIII H. E. Rauch, Geometre Differentiel (by M. Berger) . . . . . . . ."

This is the second volume of the new subseries "Invariant Theory and Algebraic Transformation Groups." The aim of the survey by A. Bialynicki-Birula is to present the main trends and achievements of research in the theory of quotients by actions of algebraic groups. This theory contains geometric invariant theory with various applications to problems of moduli theory. The contribution by J. Carrell treats the subject of torus actions on algebraic varieties, giving a detailed exposition of many of the cohomological results one obtains from having a torus action with fixed points. Many examples, such as toric varieties and flag varieties, are discussed in detail. W.M. McGovern studies the actions of a semisimple Lie or algebraic group on its Lie algebra via the adjoint action and on itself via conjugation. His contribution focuses primarily on nilpotent orbits that have found the widest application to representation theory in the last thirty-five years.

Nilpotent Ue algebras have played an Important role over the last ye!US : either In the domain at Algebra when one considers Its role In the classlftcation problems of Ue algebras, or In the domain of geometry since one knows the place of nilmanlfolds In the Illustration, the description and representation of specific situations. The first fondamental results In the study of nilpotent Ue algebras are obvlsouly, due to Umlauf. In his thesis (leipZig, 1991), he presented the first non trlvlal classifications. The systematic study of real and complex nilpotent Ue algebras was Independently begun by D1xmler and Morozov. Complete classifications In dimension less than or equal to six were given and the problems regarding superior dimensions brought to light, such as problems related to the existence from seven up, of an infinity of non Isomorphic complex nilpotent Ue algebras. One can also find these losts (for complex and real algebras) In the books about differential geometry by Vranceanu. A more formal approach within the frame of algebraiC geometry was developed by Michele Vergne. The variety of Ue algebraiC laws Is an affine algebraic subset In this view the role variety and the nilpotent laws constitute a Zarlski's closed of Irreduclbl~ components appears naturally as well the determination or estimate of their numbers. Theoritical physiCiSts, Interested In the links between diverse mechanics have developed the Idea of contractions of Ue algebras (Segal, Inonu, Wlgner). That Idea was In fact very convenient In the determination of components.

Reprinted as it originally appeared in the 1990s, this work is as an affordable textthat will be of interest to a range of researchers in geometric analysis and mathematical physics. Thebook covers avarietyof concepts fundamental tothe study and applications of the spin-c Dirac operator, making use of the heat kernels theory of Berline, Getzlet, and Vergne. True to the precision and clarity for which J.J. Duistermaat was so well known, the exposition is elegant and concise."

This two-volume treatise is a standard reference in the field. It pays special attention to the historical aspects and the origins partly in applied problems such as those of geometric optics of parts of the theory. It contains an introduction to each chapter, section, and subsection and an overview of the relevant literature in the footnotes and bibliography. It also includes an index of the examples used throughout the book.

The development of dynamics theory began with the work of Isaac Newton. In his theory the most basic law of classical mechanics is f = ma, which describes the motion n in IR. of a point of mass m under the action of a force f by giving the acceleration a. If n the position of the point is taken to be a point x E IR. , and if the force f is supposed to be a function of x only, Newton's Law is a description in terms of a second-order ordinary differential equation: J2x m dt = f(x). 2 It makes sense to reduce the equations to first order by defining the velo city as an extra n independent variable by v = :i; = ~~ E IR. . Then x = v, mv = f(x). L. Euler, J. L. Lagrange and others studied mechanics by means of an analytical method called analytical dynamics. Whenever the force f is represented by a gradient vector field f = - \lU of the potential energy U, and denotes the difference of the kinetic energy and the potential energy by 1 L(x,v) = 2'm(v,v) - U(x), the Newton equation of motion is reduced to the Euler-Lagrange equation ~~ are used as the variables, the Euler-Lagrange equation can be If the momenta y written as . 8L y= 8x' Further, W. R.

State-of-the-art in qualitative theory of functional differential equations; Most of the new material has never appeared in book form and some not even in papers; Second edition updated with new topics and results; Methods discussed will apply to other equations and applications

One of the most of exciting aspects is the general relativity pred- tion of black holes and the Such Big Bang. predictions gained weight the theorems through Penrose. singularity pioneered In various by te- books on theorems general relativity singularity are and then presented used to that black holes exist and that the argue universe started with a To date what has big been is bang. a critical of what lacking analysis these theorems predict-' We of really give a proof a typical singul- theorem and this ity use theorem to illustrate problems arising through the of possibilities violations" and "causality weak "shell very crossing These singularities." add to the problems weight of view that the point theorems alone singularity are not sufficient to the existence of predict physical singularities. The mathematical theme of the book In order to both solid gain a of and intuition understanding good for any mathematical theory, one, should to realise it as model of try a a fam- iar non-mathematical theories have had concept. Physical an especially the important on of and impact development mathematics, conversely various modern theories physical rather require sophisticated mathem- ics for their formulation. both and mathematics Today, physics are so that it is often difficult complex to master the theories in both very s- in the of jects. However, case differential pseudo-Riemannian geometry or the general relativity between and mathematics relationship physics is and it is therefore especially close, to from interd- possible profit an ciplinary approach.

The present book has been written by two mathematicians and one physicist: a pure mathematician specializing in Finsler geometry (Makoto Matsumoto), one working in mathematical biology (Peter Antonelli), and a mathematical physicist specializing in information thermodynamics (Roman Ingarden). The main purpose of this book is to present the principles and methods of sprays (path spaces) and Finsler spaces together with examples of applications to physical and life sciences. It is our aim to write an introductory book on Finsler geometry and its applications at a fairly advanced level. It is intended especially for graduate students in pure mathemat ics, science and applied mathematics, but should be also of interest to those pure "Finslerists" who would like to see their subject applied. After more than 70 years of relatively slow development Finsler geometry is now a modern subject with a large body of theorems and techniques and has math ematical content comparable to any field of modern differential geometry. The time has come to say this in full voice, against those who have thought Finsler geometry, because of its computational complexity, is only of marginal interest and with prac tically no interesting applications. Contrary to these outdated fossilized opinions, we believe "the world is Finslerian" in a true sense and we will try to show this in our application in thermodynamics, optics, ecology, evolution and developmental biology. On the other hand, while the complexity of the subject has not disappeared, the modern bundle theoretic approach has increased greatly its understandability."

The only monograph on the topic, this book concerns geometric methods in the theory of differential equations with quadratic right-hand sides, closely related to the calculus of variations and optimal control theory. Based on the author 's lectures, the book is addressed to undergraduate and graduate students, and scientific researchers.

Aconferenceon"NoncommutativeGeometryandtheStandardModelof- ementaryParticlePhysics"washeldattheHesselbergAcademy(innorthern Bavaria, Germany) during the week of March 14-19, 1999. The aim of the conference was to give a systematic exposition of the mathematical foun- tions and physical applications of noncommutative geometry, along the lines developedbyAlainConnes. Theconferencewasactuallypartofacontinuing series of conferences at the Hesselberg Academy held every three years and devoted to important developments in mathematical ?elds, such as geom- ricanalysis, operatoralgebras, indextheory, andrelatedtopicstogetherwith their applications to mathematical physics. The participants of the conference included mathematicians from fu- tional analysis, di?erential geometry and operator algebras, as well as - perts from mathematical physics interested in A. Connes' approach towards the standard model and other physical applications. Thus a large range of topics, from mathematical foundations to recent physical applications, could becoveredinasubstantialway. Theproceedingsofthisconference, organized in a coherent and systematic way, are presented here. Its three chapters c- respond to the main areas discussed during the conference: Chapter1. Foundations of Noncommutative Geometry and Basic Model Building Chapter2. The Lagrangian of the Standard Model Derived from Nonc- mutative Geometry Chapter3. New Directions in Noncommutative Geometry and Mathema- cal Physics During the conference the close interaction between mathematicians and mathematical physicists turned out to be quite fruitful and enlightening for both sides. Similarly, it is hoped that the proceedings presented here will be useful for mathematicians interested in basic physical questions and for physicists aiming at a more conceptual understanding of classical and qu- tum ?eld theory from a novel mathematical point of view.

From the reviews: ..". focused mainly on complex differential geometry and holomorphic bundle theory. This is a powerful book, written by a very distinguished contributor to the field" (Contemporary Physics )"the book provides a large amount of background for current research across a spectrum of field. ... requires effort to read but it is worthwhile and rewarding" (New Zealand Math. Soc. Newsletter) " The contents are highly technical and the pace of the exposition is quite fast. Manin is an outstanding mathematician, and writer as well, perfectly at ease in the most abstract and complex situation. With such a guide the reader will be generously rewarded " (Physicalia) This new edition includes an Appendix on developments of the last 10 years, by S. Merkulov.

To our wives, Masha and Marian Interest in the so-called completely integrable systems with infinite num ber of degrees of freedom was aroused immediately after publication of the famous series of papers by Gardner, Greene, Kruskal, Miura, and Zabusky [75, 77, 96, 18, 66, 19J (see also [76]) on striking properties of the Korteweg-de Vries (KdV) equation. It soon became clear that systems of such a kind possess a number of characteristic properties, such as infinite series of symmetries and/or conservation laws, inverse scattering problem formulation, L - A pair representation, existence of prolongation structures, etc. And though no satisfactory definition of complete integrability was yet invented, a need of testing a particular system for these properties appeared. Probably one of the most efficient tests of this kind was first proposed by Lenard [19]' who constructed a recursion operator for symmetries of the KdV equation. It was a strange operator, in a sense: being formally integro-differential, its action on the first classical symmetry (x-translation) was well-defined and produced the entire series of higher KdV equations; but applied to the scaling symmetry, it gave expressions containing terms of the type J u dx which had no adequate interpretation in the framework of the existing theories. It is not surprising that P. Olver wrote "The de duction of the form of the recursion operator (if it exists) requires a certain amount of inspired guesswork. . . " [80, p.

This extremely useful book is devoted to the study of scalar and asymptotic scalar derivatives and their applications to some problems in nonlinear analysis, Riemannian geometry and applied mathematics. The theoretical results are developed in particular with respect to the study of complementarity problems, monotonicity of nonlinear mappings and the non-gradient type monotonicity on Riemannian manifolds. The text is intended for researchers and graduate students working in the fields of nonlinear analysis, Riemannian geometry and applied mathematics.

tEl moi, "0, si j'avait su comment en revenir, je One service mathematics has rendered the n 'y serais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded nonsense'. The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought A highly necessary tool in a world where both feedback and nonlinea- ties abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other s- ences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One s- vice topology has rendered mathematical physics .. .'; 'One service logic has rendered computer science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

The concept of ridges has appeared numerous times in the image processing liter ature. Sometimes the term is used in an intuitive sense. Other times a concrete definition is provided. In almost all cases the concept is used for very specific ap plications. When analyzing images or data sets, it is very natural for a scientist to measure critical behavior by considering maxima or minima of the data. These critical points are relatively easy to compute. Numerical packages always provide support for root finding or optimization, whether it be through bisection, Newton's method, conjugate gradient method, or other standard methods. It has not been natural for scientists to consider critical behavior in a higher-order sense. The con cept of ridge as a manifold of critical points is a natural extension of the concept of local maximum as an isolated critical point. However, almost no attention has been given to formalizing the concept. There is a need for a formal development. There is a need for understanding the computation issues that arise in the imple mentations. The purpose of this book is to address both needs by providing a formal mathematical foundation and a computational framework for ridges. The intended audience for this book includes anyone interested in exploring the use fulness of ridges in data analysis."

The book contains a comprehensive account of the structure and classification of Lie groups and finite-dimensional Lie algebras (including semisimple, solvable, and of general type). In particular, a modern approach to the description of automorphisms and gradings of semisimple Lie algebras is given. A special chapter is devoted to models of the exceptional Lie algebras. The book contains many tables and will serve as a reference. At the same time many results are accompanied by short proofs. Onishchik and Vinberg are internationally known specialists in their field and well-known for their monograph "Lie Groups and Algebraic Groups" (Springer-Verlag 1990). This Encyclopaedia volume will be immensely useful to graduate students in differential geometry, algebra and theoretical physics.

Scale is a concept the antiquity of which can hardly be traced. Certainly the familiar phenomena that accompany sc ale changes in optical patterns are mentioned in the earliest written records. The most obvious topological changes such as the creation or annihilation of details have been a topic to philosophers, artists and later scientists. This appears to of fascination be the case for all cultures from which extensive written records exist. For th instance, chinese 17 c artist manuals remark that "distant faces have no eyes" . The merging of details is also obvious to many authors, e. g. , Lucretius mentions the fact that distant islands look like a single one. The one topo logical event that is (to the best of my knowledge) mentioned only late (by th John Ruskin in his "Elements of drawing" of the mid 19 c) is the splitting of a blob on blurring. The change of images on a gradual increase of resolu tion has been a recurring theme in the arts (e. g. , the poetic description of the distant armada in Calderon's The Constant Prince) and this "mystery" (as Ruskin calls it) is constantly exploited by painters.

Finsler geometry is the most natural generalization of Riemannian geo- metry. It started in 1918 when P. Finsler [1] wrote his thesis on curves and surfaces in what he called generalized metric spaces. Studying the geometry of those spaces (which where named Finsler spaces or Finsler manifolds) became an area of active research. Many important results on the subject have been brought together in several monographs (cf. , H. Rund [3], G. Asanov [1], M. Matsumoto [6], A. Bejancu [8], P. L. Antonelli, R. S. Ingar- den and M. Matsumoto [1], M. Abate and G. Patrizio [1] and R. Miron [3]) . However, the present book is the first in the literature that is entirely de- voted to studying the geometry of submanifolds of a Finsler manifold. Our exposition is also different in many other respects. For example, we work on pseudo-Finsler manifolds where in general the Finsler metric is only non- degenerate (rather than on the particular case of Finsler manifolds where the metric is positive definite). This is absolutely necessary for physical and biological applications of the subject. Secondly, we combine in our study both the classical coordinate approach and the modern coordinate-free ap- proach. Thirdly, our pseudo-Finsler manifolds F = (M, M', F*) are such that the geometric objects under study are defined on an open submani- fold M' of the tangent bundle T M, where M' need not be equal to the entire TMo = TM\O(M).

This book contains an exposition of the theory of meromorphic functions and linear series on a compact Riemann surface. Thus the main subject matter consists of holomorphic maps from a compact Riemann surface to complex projective space. Our emphasis is on families of meromorphic functions and holomorphic curves. Our approach is more geometric than algebraic along the lines of [Griffiths-Harrisl]. AIso, we have relied on the books [Namba] and [Arbarello-Cornalba-Griffiths-Harris] to agreat exten- nearly every result in Chapters 1 through 4 can be found in the union of these two books. Our primary motivation was to understand the totality of meromorphic functions on an algebraic curve. Though this is a classical subject and much is known about meromorphic functions, we felt that an accessible exposition was lacking in the current literature. Thus our book can be thought of as a modest effort to expose parts of the known theory of meromorphic functions and holomorphic curves with a geometric bent. We have tried to make the book self-contained and concise which meant that several major proofs not essential to further development of the theory had to be omitted. The book is targeted at the non-expert who wishes to leam enough about meromorphic functions and holomorphic curves so that helshe will be able to apply the results in hislher own research. For example, a differential geometer working in minimal surface theory may want to tind out more about the distribution pattern of poles and zeros of a meromorphic function.

This book serves two purposes. The authors present important aspects of modern research on the mathematical structure of Einstein's field equations and they show how to extract their physical content from them by mathematically exact methods. The essays are devoted to exact solutions and to the Cauchy problem of the field equations as well as to post-Newtonian approximations that have direct physical implications. Further topics concern quantum gravity and optics in gravitational fields.
The book addresses researchers in relativity and differential geometry but can also be used as additional reading material for graduate students.

Ordinary differential control thPory (the classical theory) studies input/output re lations defined by systems of ordinary differential equations (ODE). The various con cepts that can be introduced (controllability, observability, invertibility, etc. ) must be tested on formal objects (matrices, vector fields, etc. ) by means of formal operations (multiplication, bracket, rank, etc. ), but without appealing to the explicit integration (search for trajectories, etc. ) of the given ODE. Many partial results have been re cently unified by means of new formal methods coming from differential geometry and differential algebra. However, certain problems (invariance, equivalence, linearization, etc. ) naturally lead to systems of partial differential equations (PDE). More generally, partial differential control theory studies input/output relations defined by systems of PDE (mechanics, thermodynamics, hydrodynamics, plasma physics, robotics, etc. ). One of the aims of this book is to extend the preceding con cepts to this new situation, where, of course, functional analysis and/or a dynamical system approach cannot be used. A link will be exhibited between this domain of applied mathematics and the famous 'Backlund problem', existing in the study of solitary waves or solitons. In particular, we shall show how the methods of differ ential elimination presented here will allow us to determine compatibility conditions on input and/or output as a better understanding of the foundations of control the ory. At the same time we shall unify differential geometry and differential algebra in a new framework, called differential algebraic geometry."