Dantzig's development of linear programming into one of the most applicable optimization techniques has spread interest in the algebra of linear inequalities, the geometry of polyhedra, the topology of convex sets, and the analysis of convex functions. It is the goal of this volume to provide a synopsis of these topics, and thereby the theoretical back ground for the arithmetic of convex optimization to be treated in a sub sequent volume. The exposition of each chapter is essentially independent, and attempts to reflect a specific style of mathematical reasoning. The emphasis lies on linear and convex duality theory, as initiated by Gale, Kuhn and Tucker, Fenchel, and v. Neumann, because it represents the theoretical development whose impact on modern optimi zation techniques has been the most pronounced. Chapters 5 and 6 are devoted to two characteristic aspects of duality theory: conjugate functions or polarity on the one hand, and saddle points on the other. The Farkas lemma on linear inequalities and its generalizations, Motzkin's description of polyhedra, Minkowski's supporting plane theorem are indispensable elementary tools which are contained in chapters 1, 2 and 3, respectively. The treatment of extremal properties of polyhedra as well as of general convex sets is based on the far reaching work of Klee. Chapter 2 terminates with a description of Gale diagrams, a recently developed successful technique for exploring polyhedral structures."

The basic problem of deformation theory in algebraic geometry involves watching a small deformation of one member of a family of objects, such as varieties, or subschemes in a fixed space, or vector bundles on a fixed scheme. In this new book, Robin Hartshorne studies first what happens over small infinitesimal deformations, and then gradually builds up to more global situations, using methods pioneered by Kodaira and Spencer in the complex analytic case, and adapted and expanded in algebraic geometry by Grothendieck.

The author includes numerous exercises, as well as important examples illustrating various aspects of the theory. This text is based on a graduate course taught by the author at the University of California, Berkeley.

The symposium "MEGA-90 - Effective Methods in Algebraic Geome try" was held in Castiglioncello (Livorno, Italy) in April 17-211990. The themes - we quote from the "Call for papers" - were the fol lowing: - Effective methods and complexity issues in commutative algebra, pro jective geometry, real geometry, algebraic number theory - Algebraic geometric methods in algebraic computing Contributions in related fields (computational aspects of group theory, differential algebra and geometry, algebraic and differential topology, etc.) were also welcome. The origin and the motivation of such a meeting, that is supposed to be the first of a series, deserves to be explained. The subject - the theory and the practice of computation in alge braic geometry and related domains from the mathematical viewpoin- has been one of the themes of the symposia organized by SIGSAM (the Special Interest Group for Symbolic and Algebraic Manipulation of the Association for Computing Machinery), SAME (Symbolic and Algebraic Manipulation in Europe), and AAECC (the semantics of the name is vary ing; an average meaning is "Applied Algebra and Error Correcting Codes")."

Addressing graduate students and researchers in physics and mathematics, this book fills a gap in the literature. It is an introduction into modern constructive physics, field theory and statistical mechanics and a survey on the most recent research in this field. It presents the main technical tools such as cluster expansion and their implementation in the rigorous renormalization group, and studies physical models in some detail. The reader will find a study of the ultraviolet limit of the Gross-Neveu model, of continuous symmetry breaking and of self-avoiding random walks in statistical mechanics, as well as applications to solid-state physics. Mathematicians will find constructive methods useful for studies in partial differential equations.

This textbook is designed to give graduate students an understanding of integrable systems via the study of Riemann surfaces, loop groups, and twistors. The book has its origins in a series of lecture courses given by the authors, all of whom are internationally known mathematicians and renowned expositors. It is written in an accessible and informal style, and fills a gap in the existing literature. The introduction by Nigel Hitchin addresses the meaning of integrability: how do we recognize an integrable system? His own contribution then develops connections with algebraic geometry, and includes an introduction to Riemann surfaces, sheaves, and line bundles. Graeme Segal takes the Kortewegde Vries and nonlinear Schroedinger equations as central examples, and explores the mathematical structures underlying the inverse scattering transform. He explains the roles of loop groups, the Grassmannian, and algebraic curves. In the final part of the book, Richard Ward explores the connection between integrability and the self-dual Yang-Mills equations, and describes the correspondence between solutions to integrable equations and holomorphic vector bundles over twistor space.

In 1961, C. Zener, then Director of Science at Westinghouse Corpora tion, and a member of the U. S. National Academy of Sciences who has made important contributions to physics and engineering, published a short article in the Proceedings of the National Academy of Sciences entitled" A Mathe matical Aid in Optimizing Engineering Design. " In this article Zener considered the problem of finding an optimal engineering design that can often be expressed as the problem of minimizing a numerical cost function, termed a "generalized polynomial," consisting of a sum of terms, where each term is a product of a positive constant and the design variables, raised to arbitrary powers. He observed that if the number of terms exceeds the number of variables by one, the optimal values of the design variables can be easily found by solving a set of linear equations. Furthermore, certain invariances of the relative contribution of each term to the total cost can be deduced. The mathematical intricacies in Zener's method soon raised the curiosity of R. J. Duffin, the distinguished mathematician from Carnegie Mellon University who joined forces with Zener in laying the rigorous mathematical foundations of optimizing generalized polynomials. Interes tingly, the investigation of optimality conditions and properties of the optimal solutions in such problems were carried out by Duffin and Zener with the aid of inequalities, rather than the more common approach of the Kuhn-Tucker theory."

This meeting has been motivated by two events: the 85th birthday of Pierre Lelong, and the end of the third year of the European network "Complex analysis and analytic geometry" from the programme Human Capital and Mobility. For the first event, Mathematicians from Poland, Sweden, United States and France, whose work is particularly related to the one ofP. Lelong have accepted to participate; for the second, the different teams of the Network sent lecturers to report on their most recent works. These teams are from Grenoble, Wuppertal, Berlin, Pisa and Paris VI; in fact, most of their results are also related to Lelong's work and, a posteriori, it is difficult to decide whether a talk is motivated by the first or by the second event. We chose only plenary lectures, usually of one hour, except a small number, given by young mathematicians, which have been shorter. A two hours problem session has been organized. The Proceedings gather papers which are exact texts of the talks, or are closely related to them. The members from the Network and five other lecturers sent us papers; the other lecturers published the content of their talks in mathematical Journals. All the presented texts have been submitted to referees independent of the organizing committee; the texts of the problems have been approved by their authors.

'Et moi, ..., si j'avait su comment en revcnrr, One service mathematics has rendered the je 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 non The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter 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."

From its birth (in Babylon?) till 1936 the theory of quadratic forms dealt almost exclusively with forms over the real field, the complex field or the ring of integers. Only as late as 1937 were the foundations of a theory over an arbitrary field laid. This was in a famous paper by Ernst Witt. Still too early, apparently, because it took another 25 years for the ideas of Witt to be pursued, notably by Albrecht Pfister, and expanded into a full branch of algebra. Around 1960 the development of algebraic topology and algebraic K-theory led to the study of quadratic forms over commutative rings and hermitian forms over rings with involutions. Not surprisingly, in this more general setting, algebraic K-theory plays the role that linear algebra plays in the case of fields. This book exposes the theory of quadratic and hermitian forms over rings in a very general setting. It avoids, as far as possible, any restriction on the characteristic and takes full advantage of the functorial aspects of the theory. The advantage of doing so is not only aesthetical: on the one hand, some classical proofs gain in simplicity and transparency, the most notable examples being the results on low-dimensional spinor groups; on the other hand new results are obtained, which went unnoticed even for fields, as in the case of involutions on 16-dimensional central simple algebras. The first chapter gives an introduction to the basic definitions and properties of hermitian forms which are used throughout the book.

In the study of algebraic/analytic varieties a key aspect is the description of the invariants of their singularities. This book targets the challenging non-isolated case. Let f be a complex analytic hypersurface germ in three variables whose zero set has a 1-dimensional singular locus. We develop an explicit procedure and algorithm that describe the boundary M of the Milnor fiber of f as an oriented plumbed 3-manifold. This method also provides the characteristic polynomial of the algebraic monodromy. We then determine the multiplicity system of the open book decomposition of M cut out by the argument of g for any complex analytic germ g such that the pair (f,g) is an ICIS. Moreover, the horizontal and vertical monodromies of the transversal type singularities associated with the singular locus of f and of the ICIS (f,g) are also described. The theory is supported by a substantial amount of examples, including homogeneous and composed singularities and suspensions. The properties peculiar to M are also emphasized.

Rigid (analytic) spaces were invented to describe degenerations, reductions, and moduli of algebraic curves and abelian varieties. This work, a revised and greatly expanded new English edition of an earlier French text by the same authors, presents important new developments and applications of the theory of rigid analytic spaces to abelian varieties, "points of rigid spaces," etale cohomology, Drinfeld modular curves, and Monsky-Washnitzer cohomology. The exposition is concise, self-contained, rich in examples and exercises, and will serve as an excellent graduate-level text for the classroom or for self-study."

This interesting book deals with the theory of convex and starlike biholomorphic mappings in several complex variables. The underly- ing theme is the extension to several complex variables of geometric aspects of the classical theory of univalent functions. Because the author's introduction provides an excellent overview of the content of the book, I will not duplicate the effort here. Rather, I will place the book into historical context. The theory of univalent functions long has been an important part of the study of holomorphic functions of one complex variable. The roots of the subject go back to the famous Riemann Mapping Theorem which asserts that a simply connected region n which is a proper subset of the complex plane C is biholomorphically equivalent to the open unit disk ~. That is, there is a univalent function (holo- morphic bijection) I : ~ -+ n. In the early part of this century work began to focus on the class S of normalized (f (0) = 0 and I' (0) = 1) univalent functions defined on the unit disk. The restriction to uni- valent functions defined on the unit disk is justified by the Riemann Mapping Theorem. The subject contains many beautiful results that were obtained by fundamental techniques developed by many mathe- maticians, including Koebe, Bieberbach, Loewner, Goluzin, Grunsky, and Schiffer. The best-known aspect of univalent function theory is the so-called Bieberbach conjecture which was proved by de Branges in 1984.

The concept of moduli goes back to B. Riemann, who shows in [68] that the isomorphism class of a Riemann surface of genus 9 ~ 2 depends on 3g - 3 parameters, which he proposes to name "moduli". A precise formulation of global moduli problems in algebraic geometry, the definition of moduli schemes or of algebraic moduli spaces for curves and for certain higher dimensional manifolds have only been given recently (A. Grothendieck, D. Mumford, see [59]), as well as solutions in some cases. It is the aim of this monograph to present methods which allow over a field of characteristic zero to construct certain moduli schemes together with an ample sheaf. Our main source of inspiration is D. Mumford's "Geometric In variant Theory". We will recall the necessary tools from his book [59] and prove the "Hilbert-Mumford Criterion" and some modified version for the stability of points under group actions. As in [78], a careful study of positivity proper ties of direct image sheaves allows to use this criterion to construct moduli as quasi-projective schemes for canonically polarized manifolds and for polarized manifolds with a semi-ample canonical sheaf.

Many special functions occuring in physics and partial differential equations can be represented by integral transformatIons: the fundamental solutions of many PDE's, Newton-Coulomb potentials, hypergeometric functions, Feynman integrals, initial data of (inverse) tomography problems, etc. The general picture of such transfor- mations is as follows. There is an analytic fibre bundle E --+ T, a differential form w on E, whose restrictions on the fibres are closed, and a family of cycles in these fibres, parametrized by the points of T and depending continuously on these points. Then the integral of the form w along these cycles is a function on the base. The analytic properties of such functions depend on the monodromy action, i.e., on the natural action of the fundamental group of the base in the homology of the fibre: this action on the integration cycles defines the ramification of the analytic continuation of our function. The study of this action (which is a purely topological problem) can answer questions about the analytic behaviour of the integral function, for instance, is this function single-valued or at least algebraic, what are the singular points of this function, and what is its asymptotics close to these points. In this book, we study such analytic properties of three famous classes of func- tions: the volume functions, which appear in the Archimedes-Newton problem on in- tegrable bodies; the Newton-Coulomb potentials, and the Green functions of hyperbolic equations (studied, in particular, in the Hada- mard-Petrovskii-Atiyah-Bott-Garding lacuna theory).

Convexity of sets in linear spaces, and concavity and convexity of functions, lie at the root of beautiful theoretical results that are at the same time extremely useful in the analysis and solution of optimization problems, including problems of either single objective or multiple objectives. Not all of these results rely necessarily on convexity and concavity; some of the results can guarantee that each local optimum is also a global optimum, giving these methods broader application to a wider class of problems. Hence, the focus of the first part of the book is concerned with several types of generalized convex sets and generalized concave functions. In addition to their applicability to nonconvex optimization, these convex sets and generalized concave functions are used in the book's second part, where decision-making and optimization problems under uncertainty are investigated. Uncertainty in the problem data often cannot be avoided when dealing with practical problems. Errors occur in real-world data for a host of reasons. However, over the last thirty years, the fuzzy set approach has proved to be useful in these situations. It is this approach to optimization under uncertainty that is extensively used and studied in the second part of this book. Typically, the membership functions of fuzzy sets involved in such problems are neither concave nor convex. They are, however, often quasiconcave or concave in some generalized sense. This opens possibilities for application of results on generalized concavity to fuzzy optimization. Despite this obvious relation, applying the interface of these two areas has been limited to date. It is hoped that the combination of ideas and results from the field of generalized concavity on the one hand and fuzzy optimization on the other hand outlined and discussed in Generalized Concavity in Fuzzy Optimization and Decision Analysis will be of interest to both communities. Our aim is to broaden the classes of problems that the combination of these two areas can satisfactorily address and solve.

This volume presents the lectures given during the second French-Uzbek Colloquium on Algebra and Operator Theory which took place in Tashkent in 1997, at the Mathematical Institute of the Uzbekistan Academy of Sciences. Among the algebraic topics discussed here are deformation of Lie algebras, cohomology theory, the algebraic variety of the laws of Lie algebras, Euler equations on Lie algebras, Leibniz algebras, and real K-theory. Some contributions have a geometrical aspect, such as supermanifolds. The papers on operator theory deal with the study of certain types of operator algebras. This volume also contains a detailed introduction to the theory of quantum groups. Audience: This book is intended for graduate students specialising in algebra, differential geometry, operator theory, and theoretical physics, and for researchers in mathematics and theoretical physics.

This is the first of two volumes representing the current state of knowledge about Enriques surfaces which occupy one of the classes in the classification of algebraic surfaces. Recent improvements in our understanding of algebraic surfaces over fields of positive characteristic allowed us to approach the subject from a completely geometric point of view although heavily relying on algebraic methods. Some of the techniques presented in this book can be applied to the study of algebraic surfaces of other types. We hope that it will make this book of particular interest to a wider range of research mathematicians and graduate students. Acknowledgements. The undertaking of this project was made possible by the support of several institutions. Our mutual cooperation began at the University of Warwick and the Max Planck Institute of Mathematics in 1982/83. Most of the work in this volume was done during the visit of the first author at the University of Michigan in 1984-1986. The second author was supported during all these years by grants from the National Science Foundation.

Since its very existence as a separate field within computer science, computer graphics had to make extensive use of non-trivial mathematics, for example, projective geometry, solid modelling, and approximation theory. This interplay of mathematics and computer science is exciting, but also makes it difficult for students and researchers to assimilate or maintain a view of the necessary mathematics. The possibilities offered by an interdisciplinary approach are still not fully utilized. This book gives a selection of contributions to a workshop held near Genoa, Italy, in October 1991, where a group of mathematicians and computer scientists gathered to explore ways of extending the cooperation between mathematics and computer graphics.

This research monograph provides a geometric description of holonomic differential systems in one or more variables. Stokes matrices form the extended monodromy data for a linear differential equation of one complex variable near an irregular singular point. The present volume presents the approach in terms of Stokes filtrations. For linear differential equations on a Riemann surface, it also develops the related notion of a Stokes-perverse sheaf. This point of view is generalized to holonomic systems of linear differential equations in the complex domain, and a general Riemann-Hilbert correspondence is proved for vector bundles with meromorphic connections on a complex manifold. Applications to the distributions solutions to such systems are also discussed, and various operations on Stokes-filtered local systems are analyzed.

This is the first monograph to exclusively treat Kac-Moody (K-M) groups, a standard tool in mathematics and mathematical physics. K-M Lie algebras were introduced in the mid-sixties independently by V. Kac and R. Moody, generalizing finite-dimensional semisimple Lie algebras. K-M theory has since undergone tremendous developments in various directions and has profound connections with a number of diverse areas, including number theory, combinatorics, topology, singularities, quantum groups, completely integrable systems, and mathematical physics. This comprehensive, well-written text moves from K-M Lie algebras to the broader K-M Lie group setting, and focuses on the study of K-M groups and their flag varieties. In developing K-M theory from scratch, the author systematically leads readers to the forefront of the subject, treating the algebro-geometric, topological, and representation-theoretic aspects of the theory. Most of the material presented here is not available anywhere in the book literature.{\it Kac--Moody Groups, their Flag Varieties and Representation Theory} is suitable for an advanced graduate course in representation theory, and contains a number of examples, exercises, challenging open problems, comprehensive bibliography, and index. Research mathematicians at the crossroads of representation theory, geometry, and topology will learn a great deal from this text; although the book is devoted to the general K-M case, those primarily interested in the finite-dimensional case will also benefit. No prior knowledge of K-M Lie algebras or of (finite-dimensional) algebraic groups is required, but some basic knowledge would certainly be helpful. For the reader's convenience some of the basic results needed from other areas, including ind-varieties, pro-algebraic groups and pro-Lie algebras, Tits systems, local cohomology, equivariant cohomology, and homological algebra are included.

The plan to write this book was laid out in April 1987 at Oberwolfach, dur- ing the Conference "Reelle Algebraische Geometrie". Afterwards we met at various conferences and seminars in Luminy, Madrid, Munster, Oberwolfach, Segovia, Soesterberg, Trento and La Turballe. We would like to thank the or- ganizers and the institutions which supported these meetings. With pleasure we remember the special year on Real Algebraic Geometry and Quadratic Forms (Ragsquad) in Berkeley 1990/91 where an essential part of this book was written. Thanks to T.Y. Lam and R. Robson. We are indepted to our Departments: Universidad Complutense de Madrid and WestfiiJische Wilhelms-Universitiit Munster, as well as the D.A.A.D. and the D.G.I.C.y'T .. It is not possible to mention here all colleagues and friends who showed permanent interest in the project. They encouraged us to continue and com- plete this work. In particular, we are obliged to Jacek Bochnak, Mike Buchner, Michel Coste and Claus Scheiderer for proofreading and helpful suggestions. While the work was still in progress, Manfred Knebusch used parts of our manuscript for a course on Real Algebraic Geometry. His experience con- vinced us that it was worth pursuing a fully abstract approach. We were also in permanent contact with Murray Marshall, and the reader will recognize the mutual influence of ideas. We are also indebted to Professor Reinhold Remmert and to the Springer- Verlag for publishing the book in this series.

Topology is a relatively young and very important branch of mathematics. It studies properties of objects that are preserved by deformations, twistings, and stretchings, but not tearing. This book deals with the topology of curves and surfaces as well as with the fundamental concepts of homotopy and homology, and does this in a lively and well-motivated way. There is hardly an area of mathematics that does not make use of topological results and concepts. The importance of topological methods for different areas of physics is also beyond doubt. They are used in field theory and general relativity, in the physics of low temperatures, and in modern quantum theory. The book is well suited not only as preparation for students who plan to take a course in algebraic topology but also for advanced undergraduates or beginning graduates interested in finding out what topology is all about. The book has more than 200 problems, many examples, and over 200 illustrations.

The subject of the present book is sub differential calculus. The main source of this branch of functional analysis is the theory of extremal problems. For a start, we explicate the origin and statement of the principal problems of sub differential calculus. To this end, consider an abstract minimization problem formulated as follows: x E X, f(x) --+ inf. Here X is a vector space and f : X --+ iR is a numeric function taking possibly infinite values. In these circumstances, we are usually interested in the quantity inf f( x), the value of the problem, and in a solution or an optimum plan of the problem (i. e. , such an x that f(x) = inf f(X", if the latter exists. It is a rare occurrence to solve an arbitrary problem explicitly, i. e. to exhibit the value of the problem and one of its solutions. In this respect it becomes necessary to simplify the initial problem by reducing it to somewhat more manageable modifications formulated with the details of the structure of the objective function taken in due account. The conventional hypothesis presumed in attempts at theoretically approaching the reduction sought is as follows. Introducing an auxiliary function 1, one considers the next problem: x EX, f(x) -l(x) --+ inf. Furthermore, the new problem is assumed to be as complicated as the initial prob lem provided that 1 is a linear functional over X, i. e.

This book is based on the notes of the authors' seminar on algebraic and Lie groups held at the Department of Mechanics and Mathematics of Moscow University in 1967/68. Our guiding idea was to present in the most economic way the theory of semisimple Lie groups on the basis of the theory of algebraic groups. Our main sources were A. Borel's paper [34], C. ChevalIey's seminar [14], seminar "Sophus Lie" [15] and monographs by C. Chevalley [4], N. Jacobson [9] and J-P. Serre [16, 17]. In preparing this book we have completely rearranged these notes and added two new chapters: "Lie groups" and "Real semisimple Lie groups". Several traditional topics of Lie algebra theory, however, are left entirely disregarded, e.g. universal enveloping algebras, characters of linear representations and (co)homology of Lie algebras. A distinctive feature of this book is that almost all the material is presented as a sequence of problems, as it had been in the first draft of the seminar's notes. We believe that solving these problems may help the reader to feel the seminar's atmosphere and master the theory. Nevertheless, all the non-trivial ideas, and sometimes solutions, are contained in hints given at the end of each section. The proofs of certain theorems, which we consider more difficult, are given directly in the main text. The book also contains exercises, the majority of which are an essential complement to the main contents.

In the late forties, Mathematical Programming became a scientific discipline in its own right. Since then it has experienced a tremendous growth. Beginning with economic and military applications, it is now among the most important fields of applied mathematics with extensive use in engineering, natural sciences, economics, and biological sciences. The lively activity in this area is demonstrated by the fact that as early as 1949 the first "Symposium on Mathe- matical Programming" took place in Chicago. Since then mathematical programmers from all over the world have gath- ered at the intfrnational symposia of the Mathematical Programming Society roughly every three years to present their recent research, to exchange ideas with their colleagues and to learn about the latest developments in their own and related fields. In 1982, the XI. International Symposium on Mathematical Programming was held at the University of Bonn, W. Germany, from August 23 to 27. It was organized by the Institut fUr Okonometrie und Operations Re- search of the University of Bonn in collaboration with the Sonderforschungs- bereich 21 of the Deutsche Forschungsgemeinschaft. This volume constitutes part of the outgrowth of this symposium and docu- ments its scientific activities. Part I of the book contains information about the symposium, welcoming addresses, lists of committees and sponsors and a brief review about the Ful- kerson Prize and the Dantzig Prize which were awarded during the opening ceremony.