The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from the Langlands program over harmonic analysis, to non-Archimedean analysis, singularity theory and birational geometry. This book assembles the different theories of motivic integration and their applications for the first time, allowing readers to compare different approaches and assess their individual strengths. All of the necessary background is provided to make the book accessible to graduate students and researchers from algebraic geometry, model theory and number theory. Applications in several areas are included so that readers can see motivic integration at work in other domains. In a rapidly-evolving area of research this book will prove invaluable. This first volume contains introductory texts on the model theory of valued fields, different approaches to non-Archimedean geometry, and motivic integration on algebraic varieties and non-Archimedean spaces.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University.
An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential "Algebra." He was also a member of the Bourbaki group.
He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics."

A table of the different types of quartic ruled surfaces in three-dimensional space was published by Cremona in 1868. The corresponding tables of quintic and sextic ruled surfaces (classified by means of their double curves and bitangent developables) are presented in this book, first published in 1931. The results are obtained by two different methods which confirm the workings of one another in a very striking way. Correspondence theory and higher space are used throughout and properties of several interesting curves and loci are investigated.

Since the volume may be of interest to a broad variety of people, it is arranged in parts that require different levels of mathematical background. Part I is written in a simple form and can be assessed by any computer-literate person interested in the application of visualization methods in decision making. This part will be of interest to specialists and students in various fields related to decision making including environmental studies, management, business, engineering, etc. In Part II computational methods are introduced in a relatively simple form. This part will be of interest to specialists and students in the field of applied optimization, operations research and computer science. Part III is written for specialists and students in applied mathematics interested in the theoretical basis of modern optimization. Due to this structure, the parts can be read independently. For example, students interested in environmental applications could restrict themselves to Part I and the Epilogue. In contrast, those who are interested in computational methods can skip Part I and read Part II only. Finally, specialists, who are interested in the theory of approximation of multi-dimensional convex sets or in estimation of disturbances of polyhedral sets, can read the corresponding chapters of Part III.

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.

Stochastic geometry, based on current developments in geometry, probability and measure theory, makes possible modeling of two- and three-dimensional random objects with interactions as they appear in the microstructure of materials, biological tissues, macroscopically in soil, geological sediments etc. In combination with spatial statistics it is used for the solution of practical problems such as the description of spatial arrangements and the estimation of object characteristics. A related field is stereology, which makes possible inference on the structures, based on lower-dimensional observations. Unfolding problems for particle systems and extremes of particle characteristics are studied. The reader can learn about current developments in stochastic geometry with mathematical rigor on one hand and find applications to real microstructure analysis in natural and material sciences on the other hand.

The mathematical theory of "open" dynamical systems is a creation of the twentieth century. Its humble beginnings focused on ideas of Laplace transforms applied to linear problems of automatic control and to the analysis and synthesis of electrical circuits. However during the second half of the century, it flowered into a field based on an array of sophisticated mathematical concepts and techniques from algebra, nonlinear analysis and differential geometry. The central notion is that of a dynamical system that exchanges matter, energy, or information with its surroundings, i.e. an "open" dynamical system. The mathema tization of this notion evolved considerably over the years. The early development centered around the input/output point of view and led to important results, particularly in controller design. Thinking about open systems as a "black box" that accepts stimuli and produces responses has had a wide influence also in areas outside engineering, for example in biology, psychology, and economics. In the early 1960's, especially through the work of Kalman, input/state/output models came in vogue. This model class accommodates very nicely the internal initial conditions that are essentially always present in a dynamical system. The introduction of input/state/output models led to a tempestuous development that made systems and control into a mature discipline with a wide range of concepts, results, algorithms, and applications.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University. An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential Algebra. He was also a member of the Bourbaki group. He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics.

Serge Lang (1927-2005) was one of the top mathematicians of our time. He was born in Paris in 1927, and moved with his family to California, where he graduated from Beverly Hills High School in 1943. He subsequently graduated from California Institute of Technology in 1946, and received a doctorate from Princeton University in 1951 before holding faculty positions at the University of Chicago and Columbia University (1955-1971). At the time of his death he was professor emeritus of Mathematics at Yale University. An excellent writer, Lang has made innumerable and invaluable contributions in diverse fields of mathematics. He was perhaps best known for his work in number theory and for his mathematics textbooks, including the influential Algebra. He was also a member of the Bourbaki group. He was honored with the Cole Prize by the American Mathematical Society as well as with the Prix Carriere by the French Academy of Sciences. These five volumes collect the majority of his research papers, which range over a variety of topics"

Transportation problems belong to the domains mathematical program ming and operations research. Transportation models are widely applied in various fields. Numerous concrete problems (for example, assignment and distribution problems, maximum-flow problem, etc. ) are formulated as trans portation problems. Some efficient methods have been developed for solving transportation problems of various types. This monograph is devoted to transportation problems with minimax cri teria. The classical (linear) transportation problem was posed several decades ago. In this problem, supply and demand points are given, and it is required to minimize the transportation cost. This statement paved the way for numerous extensions and generalizations. In contrast to the original statement of the problem, we consider a min imax rather than a minimum criterion. In particular, a matrix with the minimal largest element is sought in the class of nonnegative matrices with given sums of row and column elements. In this case, the idea behind the minimax criterion can be interpreted as follows. Suppose that the shipment time from a supply point to a demand point is proportional to the amount to be shipped. Then, the minimax is the minimal time required to transport the total amount. It is a common situation that the decision maker does not know the tariff coefficients. In other situations, they do not have any meaning at all, and neither do nonlinear tariff objective functions. In such cases, the minimax interpretation leads to an effective solution.

Ricci Flow for Shape Analysis and Surface Registration introduces the beautiful and profound Ricci flow theory in a discrete setting. By using basic tools in linear algebra and multivariate calculus, readers can deduce all the major theorems in surface Ricci flow by themselves. The authors adapt the Ricci flow theory to practical computational algorithms, apply Ricci flow for shape analysis and surface registration, and demonstrate the power of Ricci flow in many applications in medical imaging, computer graphics, computer vision and wireless sensor network. Due to minimal pre-requisites, this book is accessible to engineers and medical experts, including educators, researchers, students and industry engineers who have an interest in solving real problems related to shape analysis and surface registration.

Previous publications on the generalization of the Thomae formulae to "Zn" curves have emphasized the theory's implications in mathematical physics and depended heavily on applied mathematical techniques. This book redevelops these previous results demonstrating how they can be derived directly from the basic properties of theta functions as functions on compact Riemann surfaces.

"Generalizations of Thomae's Formulafor "Zn" Curves" includes several refocused proofs developed in a generalized context that is more accessible to researchers in related mathematical fields such as algebraic geometry, complex analysis, and number theory.

This book is intended for mathematicians with an interest in complex analysis, algebraic geometry or number theory as well as physicists studying conformal field theory."

This book is an introduction to the mathematical theory of design for articulated mechanical systems known as linkages. The focus is on sizing mechanical constraints that guide the movement of a work piece, or end-effector, of the system. The function of the device is prescribed as a set of positions to be reachable by the end-effector; and the mechanical constraints are formed by joints that limit relative movement. The goal is to find all the devices that can achieve a specific task. Formulated in this way the design problem is purely geometric in character. Robot manipulators, walking machines, and mechanical hands are examples of articulated mechanical systems that rely on simple mechanical constraints to provide a complex workspace for the end- effector. The principles presented in this book form the foundation for a design theory for these devices. The emphasis, however, is on articulated systems with fewer degrees of freedom than that of the typical robotic system, and therefore, less complexity. This book will be useful to mathematics, engineering and computer science departments teaching courses on mathematical modeling of robotics and other articulated mechanical systems. This new edition includes research results of the past decade on the synthesis of multi loop planar and spherical linkages, and the use of homotopy methods and Clifford algebras in the synthesis of spatial serial chains. One new chapter on the synthesis of spatial serial chains introduces numerical homotopy and the linear product decomposition of polynomial systems. The second new chapter introduces the Clifford algebra formulation of the kinematics equations of serial chain robots. Examples are use throughout to demonstrate the theory.

The biennial meetings at Sao Carlos have helped create a worldwide community of experts and young researchers working on singularity theory, with a special focus on applications to a wide variety of topics in both pure and applied mathematics. The tenth meeting, celebrating the 60th birthdays of Terence Gaffney and Maria Aparecida Soares Ruas, was a special occasion attracting the best known names in the area. This volume contains contributions by the attendees, including three articles written or co-authored by Gaffney himself, and survey articles on the existence of Milnor fibrations, global classifications and graphs, pairs of foliations on surfaces, and Gaffney's work on equisingularity.

To mark the World Mathematical Year 2000 an International Conference on Number Theory and Discrete Mathematics in honour of the legendary Indian Mathematician Srinivasa Ramanuj~ was held at the centre for Advanced study in Mathematics, Panjab University, Chandigarh, India during October 2-6, 2000. This volume contains the proceedings of that conference. In all there were 82 participants including 14 overseas participants from Austria, France, Hungary, Italy, Japan, Korea, Singapore and the USA. The conference was inaugurated by Prof. K. N. Pathak, Hon. Vice-Chancellor, Panjab University, Chandigarh on October 2, 2000. Prof. Bruce C. Berndt of the University of Illinois, Urbana Chaimpaign, USA delivered the key note address entitled "The Life, Notebooks and Mathematical Contributions of Srinivasa Ramanujan". He described Ramanujan--as one of this century's most influential Mathematicians. Quoting Mark K. ac, Prof. George E. Andrews of the Pennsylvania State University, USA, in his message for the conference, described Ramanujan as a "magical genius". During the 5-day deliberations invited speakers gave talks on various topics in number theory and discrete mathematics. We mention here a few of them just as a sampling: * M. Waldschmidt, in his article, provides a very nice introduction to the topic of multiple poly logarithms and their special values. * C.

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

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.

Restricted-orientation convexity is the study of geometric objects whose intersections with lines from some fixed set are connected. This notion generalizes standard convexity and several types of nontraditional convexity. The authors explore the properties of this generalized convexity in multidimensional Euclidean space, and describ restricted-orientation analogs of lines, hyperplanes, flats, halfspaces, and identify major properties of standard convex sets that also hold for restricted-orientation convexity. They then introduce the notion of strong restricted-orientation convexity, which is an alternative generalization of convexity, and show that its properties are also similar to that of standard convexity.

The collection of papers in this volume represents recent advances in the under standing of the geometry and topology of singularities. The book covers a broad range of topics which are in the focus of contemporary singularity theory. Its idea emerged during two Singularities workshops held at the University of Lille (USTL) in 1999 and 2000. Due to the breadth of singularity theory, a single volume can hardly give the complete picture of today's progress. Nevertheless, this collection of papers provides a good snapshot of what is the state of affairs in the field, at the turn of the century. Several papers deal with global aspects of singularity theory. Classification of fam ilies of plane curves with prescribed singularities were among the first problems in algebraic geometry. Classification of plane cubics was known to Newton and classification of quartics was achieved by Klein at the end of the 19th century. The problem of classification of curves of higher degrees was addressed in numerous works after that. In the paper by Artal, Carmona and Cogolludo, the authors de scribe irreducible sextic curves having a singular point of type An (n > 15) and a large (Le. , :::: 18) sum of Milnor numbers of other singularities. They have discov ered many interesting properties of these families. In particular they have found new examples of so-called Zariski pairs, i. e.

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

This volume began as the last part of a one-term graduate course given at the Fields Institute for Research in the Mathematical Sciences in the Autumn of 1993. The course was one of four associated with the 1993-94 Fields Institute programme, which I helped to organise, entitled "Artin L-functions". Published as [132]' the final chapter of the course introduced a manner in which to construct class-group valued invariants from Galois actions on the algebraic K-groups, in dimensions two and three, of number rings. These invariants were inspired by the analogous Chin burg invariants of [34], which correspond to dimensions zero and one. The classical Chinburg invariants measure the Galois structure of classical objects such as units in rings of algebraic integers. However, at the "Galois Module Structure" workshop in February 1994, discussions about my invariant (0,1 (L/ K, 3) in the notation of Chapter 5) after my lecture revealed that a number of other higher-dimensional co homological and motivic invariants of a similar nature were beginning to surface in the work of several authors. Encouraged by this trend and convinced that K-theory is the archetypical motivic cohomology theory, I gratefully took the opportunity of collaboration on computing and generalizing these K-theoretic invariants. These generalizations took several forms - local and global, for example - as I followed part of number theory and the prevalent trends in the "Galois Module Structure" arithmetic geometry.

Created as a celebration of mathematical pioneer Emma Previato, this comprehensive book highlights the connections between algebraic geometry and integrable systems, differential equations, mathematical physics, and many other areas. The authors, many of whom have been at the forefront of research into these topics for the last decades, have all been influenced by Previato's research, as her collaborators, students, or colleagues. The diverse articles in the book demonstrate the wide scope of Previato's work and the inclusion of several survey and introductory articles makes the text accessible to graduate students and non-experts, as well as researchers. The articles in this second volume discuss areas related to algebraic geometry, emphasizing the connections of this central subject to integrable systems, arithmetic geometry, Riemann surfaces, coding theory and lattice theory.

The aim of this monograph is to introduce the reader to modern methods of projective geometry involving certain techniques of formal geometry. Some of these methods are illustrated in the first part through the proofs of a number of results of a rather classical flavor, involving in a crucial way the first infinitesimal neighbourhood of a given subvariety in an ambient variety. Motivated by the first part, in the second formal functions on the formal completion X/Y of X along a closed subvariety Y are studied, particularly the extension problem of formal functions to rational functions.
The formal scheme X/Y, introduced to algebraic geometry by Zariski and Grothendieck in the 1950s, is an analogue of the concept of a tubular neighbourhood of a submanifold of a complex manifold. It is very well suited to study the given embedding Y\subset X. The deep relationship of formal geometry with the most important connectivity theorems in algebraic geometry, or with complex geometry, is also studied. Some of the formal methods are illustrated and applied to homogeneous spaces.
The book contains a lot of results obtained over the last thirty years, many of which never appeared in a monograph or textbook. It addresses to algebraic geometers as well as to those interested in using methods of algebraic geometry.

It would be difficult to overestimate the influence and importance of modular forms, modular curves, and modular abelian varieties in the development of num- ber theory and arithmetic geometry during the last fifty years. These subjects lie at the heart of many past achievements and future challenges. For example, the theory of complex multiplication, the classification of rational torsion on el- liptic curves, the proof of Fermat's Last Theorem, and many results towards the Birch and Swinnerton-Dyer conjecture all make crucial use of modular forms and modular curves. A conference was held from July 15 to 18, 2002, at the Centre de Recerca Matematica (Bellaterra, Barcelona) under the title "Modular Curves and Abelian Varieties". Our conference presented some of the latest achievements in the theory to a diverse audience that included both specialists and young researchers. We emphasized especially the conjectural generalization of the Shimura-Taniyama conjecture to elliptic curves over number fields other than the field of rational numbers (elliptic Q-curves) and abelian varieties of dimension larger than one (abelian varieties of GL2-type).

A set in complex Euclidean space is called C-convex if all its intersections with complex lines are contractible, and it is said to be linearly convex if its complement is a union of complex hyperplanes. These notions are intermediates between ordinary geometric convexity and pseudoconvexity. Their importance was first manifested in the pioneering work of Andre Martineau from about forty years ago. Since then a large number of new related results have been obtained by many different mathematicians. The present book puts the modern theory of complex linear convexity on a solid footing, and gives a thorough and up-to-date survey of its current status. Applications include the Fantappie transformation of analytic functionals, integral representation formulas, polynomial interpolation, and solutions to linear partial differential equations."