Geodesic flows of Riemannian metrics on manifolds are one of the classical objects in geometry. A particular place among them is occupied by integrable geodesic flows. We consider them in the context of the general theory of integrable Hamiltonian systems, and in particular, from the viewpoint of a new topological classification theory, which was recently developed for integrable Hamiltonian systems with two degrees of freedom. As a result, we will see that such a new approach is very useful for a deeper understanding of the topology and geometry of integrable geodesic flows. The main object to be studied in our paper is the class of integrable geodesic flows on two-dimensional surfaces. There are many such flows on surfaces of small genus, in particular, on the sphere and torus. On the contrary, on surfaces of genus 9 > 1, no such flows exist in the analytical case. One of the most important and interesting problems consists in the classification of integrable flows up to different equivalence relations such as (1) an isometry, (2) the Liouville equivalence, (3) the trajectory equivalence (smooth and continuous), and (4) the geodesic equivalence. In recent years, a new technique was developed, which gives, in particular, a possibility to classify integrable geodesic flows up to these kinds of equivalences. This technique is presented in our paper, together with various applications. The first part of our book, namely, Chaps.

Foliations, groups and pseudogroups are objects which are closely related via the notion of holonomy. In the 1980s they became considered as general dynamical systems. This book deals with their dynamics. Since "dynamics is a very extensive term, we focus on some of its aspects only. Roughly speaking, we concentrate on notions and results related to different ways of measuring complexity of the systems under consideration. More precisely, we deal with different types of growth, entropies and dimensions of limiting objects. Invented in the 1980s (by E. Ghys, R. Langevin and the author) geometric entropy of a foliation is the principal object of interest among all of them.

Throughout the book, the reader will find a good number of inspirating problems related to the topics covered."

The chapters on Clifford algebra and differential geometry can be used as an introduction to the topics, and are suitable for senior undergraduates and graduates. The other chapters are also accessible at this level.; This self-contained book requires very little previous knowledge of the domains covered, although the reader will benefit from knowledge of complex analysis, which gives the basic example of a Dirac operator.; The more advanced reader will appreciate the fresh approach to the theory, as well as the new results on boundary value theory.; Concise, but self-contained text at the introductory grad level. Systematic exposition.; Clusters well with other Birkhauser titles in mathematical physics.; Appendix. General Manifolds * List of Symbols * Bibliography * Index

Differential-geometric methods are gaining increasing importance in the understanding of a wide range of fundamental natural phenomena. Very often, the starting point for such studies is a variational problem formulated for a convenient Lagrangian. From a formal point of view, a Lagrangian is a smooth real function defined on the total space of the tangent bundle to a manifold satisfying some regularity conditions. The main purpose of this book is to present: (a) an extensive discussion of the geometry of the total space of a vector bundle; (b) a detailed exposition of Lagrange geometry; and (c) a description of the most important applications. New methods are described for construction geometrical models for applications. The various chapters consider topics such as fibre and vector bundles, the Einstein equations, generalized Einstein--Yang--Mills equations, the geometry of the total space of a tangent bundle, Finsler and Lagrange spaces, relativistic geometrical optics, and the geometry of time-dependent Lagrangians. Prerequisites for using the book are a good foundation in general manifold theory and a general background in geometrical models in physics. For mathematical physicists and applied mathematicians interested in the theory and applications of differential-geometric methods.

Multivariable analysis is of interest to pure and applied mathematicians, physicists, electrical, mechanical and systems engineers, mathematical economists, biologists, and statisticians. This book takes the student and researcher on a journey through the core topics of the subject. Systematic exposition, with numerous examples and exercises from the computational to the theoretical, makes difficult ideas as concrete as possible. Good bibliography and index.

This book gives an introduction to index theory for symplectic matrix paths and its iteration theory, as well as applications to periodic solution problems of nonlinear Hamiltonian systems. The applications of these concepts yield new approaches to some outstanding problems. Particular attention is given to the minimal period solution problem of Hamiltonian systems and the existence of infinitely many periodic points of the Poincare map of Lagrangian systems on tori."

This monograph is the first to develop a mathematical theory of gravitational lensing. The theory applies to any finite number of deflector planes and highlights the distinctions between single and multiple plane lensing. Introductory material in Parts I and II present historical highlights and the astrophysical aspects of the subject. Part III employs the ideas and results of singularity theory to put gravitational lensing on a rigorous mathematical foundation.

The Monge-Ampere equation has attracted considerable interest in recent years because of its important role in several areas of applied mathematics. Monge-Ampere type equations have applications in the areas of differential geometry, the calculus of variations, and several optimization problems, such as the Monge-Kantorovitch mass transfer problem. This book stresses the geometric aspects of this beautiful theory, using techniques from harmonic analysis - covering lemmas and set decompositions.

Boundary problems constitute an essential field of common mathematical interest. The intention of this volume is to highlight several analytic and geometric aspects of boundary problems with special emphasis on their interplay. It includes surveys on classical topics presented from a modern perspective as well as reports on current research.

The collection splits into two related groups:

- analysis and geometry of geometric operators and their index theory

- elliptic theory of boundary value problems and the Shapiro-Lopatinsky condition

Minimal Surfaces is the first volume of a three volume treatise on minimal surfaces (Grundlehren Nr. 339-341). Each volume can be read and studied independently of the others. The central theme is boundary value problems for minimal surfaces. The treatise is a substantially revised and extended version of the monograph Minimal Surfaces I, II (Grundlehren Nr. 295 & 296). The first volume begins with an exposition of basic ideas of the theory of surfaces in three-dimensional Euclidean space, followed by an introduction of minimal surfaces as stationary points of area, or equivalently, as surfaces of zero mean curvature. The final definition of a minimal surface is that of a non-constant harmonic mapping X: \Omega\to\R DEGREES3 which is conformally parametrized on \Omega\subset\R DEGREES2 and may have branch points. Thereafter the classical theory of minimal surfaces is surveyed, comprising many examples, a treatment of Bjorlings initial value problem, reflection principles, a formula of the second variation of area, the theorems of Bernstein, Heinz, Osserman, and Fujimoto. The second part of this volume begins with a survey of Plateaus problem and of some of its modifications. One of the main features is a new, completely elementary proof of the fact that area A and Dirichlet integral D have the same infimum in the class C(G) of admissible surfaces spanning a prescribed contour G. This leads to a new, simplified solution of the simultaneous problem of minimizing A and D in C(G), as well as to new proofs of the mapping theorems of Riemann and Korn-Lichtenstein, and to a new solution of the simultaneous Douglas problem for A and D where G consists of several closed components. Then basic facts of stable minimal surfaces are derived; this is done in the context of stable H-surfaces (i.e. of stable surfaces of prescribed mean curvature H), especially of cmc-surfaces (H = const), and leads to curvature estimates for stable, immersed cmc-surfaces and to Nitsches uniqueness theorem and Tomis finiteness result. In addition, a theory of unstable solutions of Plateaus problems is developed which is based on Courants mountain pass lemma. Furthermore, Dirichlets problem for nonparametric H-surfaces is solved, using the solution of Plateaus problem for H-surfaces and the pertinent estimates."

Finslerian Laplacians have arisen from the demands of modelling the modern world. However, the roots of the Laplacian concept can be traced back to the sixteenth century. Its phylogeny and history are presented in the Prologue of this volume. The text proper begins with a brief introduction to stochastically derived Finslerian Laplacians, facilitated by applications in ecology, epidemiology and evolutionary biology. The mathematical ideas are then fully presented in section II, with generalizations to Lagrange geometry following in section III. With section IV, the focus abruptly shifts to the local mean-value approach to Finslerian Laplacians and a Hodge-de Rham theory is developed for the representation on real cohomology classes by harmonic forms on the base manifold. Similar results are proved in sections II and IV, each from different perspectives. Modern topics treated include nonlinear Laplacians, Bochner and Lichnerowicz vanishing theorems, Weitzenbock formulas, and Finslerian spinors and Dirac operators. The tools developed in this book will find uses in several areas of physics and engineering, but especially in the mechanics of inhomogeneous media, e.g. Cofferat continua. Audience: This text will be of use to workers in stochastic processes, differential geometry, nonlinear analysis, epidemiology, ecology and evolution, as well as physics of the solid state and continua."

In recent times it has been stated that many dynamical systems of classical mathematical physics and mechanics are endowed with symplectic structures, given in the majority of cases by Poisson brackets. Very often such Poisson structures on corresponding manifolds are canonical, which gives rise to the possibility of producing their hidden group theoretical essence for many completely integrable dynamical systems. It is a well understood fact that great part of comprehensive integrability theories of nonlinear dynamical systems on manifolds is based on Lie-algebraic ideas, by means of which, in particular, the classification of such compatibly bi Hamiltonian and isospectrally Lax type integrable systems has been carried out. Many chapters of this book are devoted to their description, but to our regret so far the work has not been completed. Hereby our main goal in each analysed case consists in separating the basic algebraic essence responsible for the complete integrability, and which is, at the same time, in some sense universal, i. e., characteristic for all of them. Integrability analysis in the framework of a gradient-holonomic algorithm, devised in this book, is fulfilled through three stages: 1) finding a symplectic structure (Poisson bracket) transforming an original dynamical system into a Hamiltonian form; 2) finding first integrals (action variables or conservation laws); 3) defining an additional set of variables and some functional operator quantities with completely controlled evolutions (for instance, as Lax type representation)."

During the last twenty-five years quite remarkable relations between nonas sociative algebra and differential geometry have been discovered in our work. Such exotic structures of algebra as quasigroups and loops were obtained from purely geometric structures such as affinely connected spaces. The notion ofodule was introduced as a fundamental algebraic invariant of differential geometry. For any space with an affine connection loopuscular, odular and geoodular structures (partial smooth algebras of a special kind) were introduced and studied. As it happened, the natural geoodular structure of an affinely connected space al lows us to reconstruct this space in a unique way. Moreover, any smooth ab stractly given geoodular structure generates in a unique manner an affinely con nected space with the natural geoodular structure isomorphic to the initial one. The above said means that any affinely connected (in particular, Riemannian) space can be treated as a purely algebraic structure equipped with smoothness. Numerous habitual geometric properties may be expressed in the language of geoodular structures by means of algebraic identities, etc.. Our treatment has led us to the purely algebraic concept of affinely connected (in particular, Riemannian) spaces; for example, one can consider a discrete, or, even, finite space with affine connection (in the form ofgeoodular structure) which can be used in the old problem of discrete space-time in relativity, essential for the quantum space-time theory."

. E C, 0 < 1>'1 < 1, and n E Z, n ~ 2. Let~.>. be the O-dimensional Lie n group generated by the transformation z ~ >.z, z E C - {a}. Then (cf.

This book consists of two parts, different in form but similar in spirit. The first, which comprises chapters 0 through 9, is a revised and somewhat enlarged version of the 1972 book Geometrie Differentielle. The second part, chapters 10 and 11, is an attempt to remedy the notorious absence in the original book of any treatment of surfaces in three-space, an omission all the more unforgivable in that surfaces are some of the most common geometrical objects, not only in mathematics but in many branches of physics. Geometrie Differentielle was based on a course I taught in Paris in 1969- 70 and again in 1970-71. In designing this course I was decisively influ enced by a conversation with Serge Lang, and I let myself be guided by three general ideas. First, to avoid making the statement and proof of Stokes' formula the climax of the course and running out of time before any of its applications could be discussed. Second, to illustrate each new notion with non-trivial examples, as soon as possible after its introduc tion. And finally, to familiarize geometry-oriented students with analysis and analysis-oriented students with geometry, at least in what concerns manifolds."

Every group is represented in many ways as an epimorphic image of a free group. It seems therefore futile to search for methods involving generators and relations which can be used to detect the structure of a group. Nevertheless, results in the indicated direction exist. The clue is to ask the right question. Classical geometry is a typical example in which the factorization of a motion into reflections or, more generally, of a collineation into central collineations, supplies valuable information on the geometric and algebraic structure. This mode of investigation has gained momentum since the end of last century. The tradition of geometric-algebraic interplay brought forward two branches of research which are documented in Parts I and II of these Proceedings. Part II deals with the theory of reflection geometry which culminated in Bachmann's work where the geometric information is encoded in properties of the group of motions expressed by relations in the generating involutions. This approach is the backbone of the classification of motion groups for the classical unitary and orthogonal planes. The axioms in this char acterization are natural and plausible. They provoke the study of consequences of subsets of axioms which also yield natural geometries whose exploration is rewarding. Bachmann's central axiom is the three reflection theorem, showing that the number of reflections needed to express a motion is of great importance."

"Singular Loci of Schubert Varieties" is a unique work at the crossroads of representation theory, algebraic geometry, and combinatorics. Over the past 20 years, many research articles have been written on the subject in notable journals. In this work, Billey and Lakshmibai have recreated and restructured the various theories and approaches of those articles and present a clearer understanding of this important subdiscipline of Schubert varieties - namely singular loci. The main focus, therefore, is on the computations for the singular loci of Schubert varieties and corresponding tangent spaces. The methods used include standard monomial theory, the nil Hecke ring, and Kazhdan-Lusztig theory. New results are presented with sufficient examples to emphasize key points. A comprehensive bibliography, index, and tables - the latter not to be found elsewhere in the mathematics literature - round out this concise work. After a good introduction giving background material, the topics are presented in a systematic fashion to engage a wide readership of researchers and graduate students.

ThesubjectofthisbookisSemi-In?niteAlgebra,ormorespeci?cally,Semi-In?nite Homological Algebra. The term "semi-in?nite" is loosely associated with objects that can be viewed as extending in both a "positive" and a "negative" direction, withsomenaturalpositioninbetween,perhapsde?nedupto a"?nite"movement. Geometrically, this would mean an in?nite-dimensional variety with a natural class of "semi-in?nite" cycles or subvarieties, having always a ?nite codimension in each other, but in?nite dimension and codimension in the whole variety [37]. (For further instances of semi-in?nite mathematics see, e. g. , [38] and [57], and references below. ) Examples of algebraic objects of the semi-in?nite type range from certain in?nite-dimensional Lie algebras to locally compact totally disconnected topolo- cal groups to ind-schemes of ind-in?nite type to discrete valuation ?elds. From an abstract point of view, these are ind-pro-objects in various categories, often - dowed with additional structures. One contribution we make in this monograph is the demonstration of another class of algebraic objects that should be thought of as "semi-in?nite", even though they do not at ?rst glance look quite similar to the ones in the above list. These are semialgebras over coalgebras, or more generally over corings - the associative algebraic structures of semi-in?nite nature. The subject lies on the border of Homological Algebra with Representation Theory, and the introduction of semialgebras into it provides an additional link with the theory of corings [23], as the semialgebrasare the natural objects dual to corings.

This volume contains the Proceedings of the conference "Complex and Differential Geometry 2009", held at Leibniz Universitat Hannover, September 14 - 18, 2009. It was the aim of this conference to bring specialists from differential geometry and (complex) algebraic geometry together and to discuss new developments in and the interaction between these fields. Correspondingly, the articles in this book cover a wide area of topics, ranging from topics in (classical) algebraic geometry through complex geometry, including (holomorphic) symplectic and poisson geometry, to differential geometry (with an emphasis on curvature flows) and topology.

"Spherical soap bubbles", isometric minimal immersions of round spheres into round spheres, or spherical immersions for short, belong to a fast growing and fascinating area between algebra and geometry. In this accessible book, the author traces the development of the study of spherical minimal immersions over the past 30 plus years, including a valuable selection of exercises.

Everybody having even the slightest interest in analytical mechanics remembers having met there the Poisson bracket of two functions of 2n variables (pi, qi) f g ~(8f8g 8 8 ) (0.1) {f,g} = L...~[ji - [ji~ ,;=1 p, q q p, and the fundamental role it plays in that field. In modern works, this bracket is derived from a symplectic structure, and it appears as one of the main in- gredients of symplectic manifolds. In fact, it can even be taken as the defining clement of the structure (e.g., [TIl]). But, the study of some mechanical sys- tems, particularly systems with symmetry groups or constraints, may lead to more general Poisson brackets. Therefore, it was natural to define a mathematical structure where the notion of a Poisson bracket would be the primary notion of the theory, and, from this viewpoint, such a theory has been developed since the early 19708, by A. Lichnerowicz, A. Weinstein, and many other authors (see the references at the end of the book). But, it has been remarked by Weinstein [We3] that, in fact, the theory can be traced back to S. Lie himself [Lie].

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, ..., Ii j'avait so comment en revenir. je One serviee mathematics has rendered the n 'y serais point all .' human nee. It hal put rommon sense back Jules Verne whme it belongs, on the topmost shelf next to the dusty canister labelled' discarded nonsense'. The series il divergent; therefore we may be EricT. Bell able to do scmething with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlineari ties abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sci ences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One ser 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."