A recent paper on subfactors of von Neumann factors has stimulated much research in von Neumann algebras. It was discovered soon after the appearance of this paper that certain algebras which are used there for the analysis of subfactors could also be used to define a new polynomial invariant for links. Recent efforts to understand the fundamental nature of the new link invariants has led to connections with invariant theory, statistical mechanics and quantum theory. In turn, the link invariants, the notion of a quantum group, and the quantum Yang-Baxter equation have had a great impact on the study of subfactors. Our subject is certain algebraic and von Neumann algebraic topics closely related to the original paper. However, in order to promote, in a modest way, the contact between diverse fields of mathematics, we have tried to make this work accessible to the broadest audience. Consequently, this book contains much elementary expository material.

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.

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.

Due to the lack of proper bibliographical sources stratification theory seems to be a "mysterious" subject in contemporary mathematics. This book contains a complete and elementary survey - including an extended bibliography - on stratification theory, including its historical development. Some further important topics in the book are: Morse theory, singularities, transversality theory, complex analytic varieties, Lefschetz theorems, connectivity theorems, intersection homology, complements of affine subspaces and combinatorics. The book is designed for all interested students or professionals in this area.

The present volume contains, together with numerous addition and extensions, the course of lectures which I gave at Pavia (26 September till 5 October 1955) by invitation of the "Centro Internazionale Mate matico Estivo". The treatment has the character of a monograph, and presents various novel features, both in form and in substance; these are indicated in the notes which will be found at the beginning and end of each chapter, Of the nine parts into which the work is divided, the first four are essentially differential in character, the next three deal with algebraic geometry, while the last two are concerned with certain aspects of the theory of differential equations and of correspondences between topo logical varieties. A glance at the index will suffice to give a more exact idea of the range and variety of the contents, whose chief characteristic is that of establishing suggestive and sometimes unforeseen relations between apparently diverse subjects (e. g. differential geometry in the small and also in the large, algebraic geometry, function theory, topo logy, etc. ); prominence is given throughout to the geometrical view point, and tedious calculations are as far as possible avoided. The exposition has been planned so that it can be followed without much difficulty even by readers who have no special knowledge of the subjects treated.

This is the English translation of our introductory book on Teichmiiller space written in Japanese. We have taken advantage of the opportunity afforded by this translation to correct some minor errors in the original text, and to include several new related topics as additional sections or subsections. Among other things, we add the construction of Thurston's compactification of the Teichmiiller space in 4 of Chapter 3, and the Thurston and Bers theory on the classification of Teichmiiller modular transformations in 5 of Chapter 6. We also include a sketch of the proof of celebrated theorems of Royden ( 4 of Chapter 6), connection between Teichmiiller theory and deformation theory of the complex structures of Riemann surfaces due to Kodaira and Spencer ( 2.4 of Chapter 7), and a derivation of negativity of curvatures of the Teichmiiller space with respect to the Weil-Petersson metric ( 3.4 of Chapter 7). Further, we indicate how to verify that the compactified moduli space of a compact Riemann surface, constructed in Appendix B, is actually compact. We include several new references chiefly related to added parts. Other than these, the main body of the text is unchanged. Professors Tadashi Kuroda and Kotaro Oikawa kindly read the manuscript of the English edition and gave much valuable advice. We also record our gratitude to all friends and colleagues, especially Sadayoshi Kojima, Makoto Masumoto, Toshiyuki Sugawa, and Harumi Tanigawa, who rendered us much help by reading various parts of the manuscript."

The main purpose of this book is to show how ideas from combinatorial group theory have spread to two other areas of mathematics: the theory of Lie algebras and affine algebraic geometry. Some of these ideas, in turn, came to combinatorial group theory from low-dimensional topology in the beginning of the 20th Century.

This book constitutes the thoroughly refereed post-conference proceedings of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications, CGGA 2010, held in Dalian, China, in November 2010. The 23 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. All aspects of computational and discrete geometry, graph theory, graph algorithms, and their applications are covered.

Based on a graduate course given at the Technische Universität, Berlin, these lectures present a wealth of material on the modern theory of convex polytopes. The clear and straightforward presentation features many illustrations, and provides complete proofs for most theorems. The material requires only linear algebra as a prerequisite, but takes the reader quickly from the basics to topics of recent research, including a number of unanswered questions. The lectures - introduce the basic facts about polytopes, with an emphasis on the methods that yield the results (Fourier-Motzkin elimination, Schlegel diagrams, shellability, Gale transforms, and oriented matroids) - discuss important examples and elegant constructions (cyclic and neighborly polytopes, zonotopes, Minkowski sums, permutahedra and associhedra, fiber polytopes, and the Lawrence construction) - show the excitement of current work in the field (Kalai's new diameter bounds, construction of non-rational polytopes, the Bohne-Dress tiling theorem, the upper-bound theorem), and nonextendable shellings) They should provide interesting and enjoyable reading for researchers as well as students.

The aim of this book is to introduce the reader to the geometric theory of algebraic varieties, in particular to the birational geometry of algebraic varieties. This volume grew out of the author's book in Japanese published in 3 volumes by Iwanami, Tokyo, in 1977. While writing this English version, the author has tried to rearrange and rewrite the original material so that even beginners can read it easily without referring to other books, such as textbooks on commutative algebra. The reader is only expected to know the definition of Noetherin rings and the statement of the Hilbert basis theorem. The new chapters 1, 2, and 10 have been expanded. In particular, the exposition of D-dimension theory, although shorter, is more complete than in the old version. However, to keep the book of manageable size, the latter parts of Chapters 6, 9, and 11 have been removed. I thank Mr. A. Sevenster for encouraging me to write this new version, and Professors K. K. Kubota in Kentucky and P. M. H. Wilson in Cam bridge for their careful and critical reading of the English manuscripts and typescripts. I held seminars based on the material in this book at The University of Tokyo, where a large number of valuable comments and suggestions were given by students Iwamiya, Kawamata, Norimatsu, Tobita, Tsushima, Maeda, Sakamoto, Tsunoda, Chou, Fujiwara, Suzuki, and Matsuda.

Als ich 1945 in MUnster zu studieren begann, war van dec Waerdens "Mo- deme Algebra" eines dec wenigen Bticher, die ich mir in diesen schwierigen Zeiten leihen konnte. Wie vielen Studenten so war also auch mir . ,dervan dec Waerden" vertraut von Anfang des Studiums an. lch lernte van dec Waerden einige Jahre spaler kennen, und er sagte miT, wie merkwiirdig es sei, daB alle Mathematiker ibn wegen dieses Buches kennen, das Vorlesungen von Emil Artin und Emmy Noether benutzt, wahrend seine wirklichen mathemati- schen Leistungen gam woanders Uigen. In dem Gesprach zeigte sich dann, dall van dec Waerden seine Arheiten zur algebraischen Geometrie nnd insbe- sondere die in den Mathematischen Annalen erschienene Reihe "Zur alge- braischen Geometrie" 1 die es in weiteren Jahren his zur NT. 20 bringen sollte, fUr das Wichtigste hielt. (Etwa 30 Jahre spater war ich zu einem Essen zu Ehren der Trager des Ordens Pour Ie Merite fUr Wissenschaft und Kunste ein- geladen. Die beiden Ordenstrager van der Waerden und Elias Canetti unter- hielten sich. Canetti bedauerte, dall man ibn hauptsachlich wegen seines Bu- ches ,. Die gerettete Zunge" kenne, wahrend andere Schriften doch viet wich- tiger seien. Van der Waerden rief aus "Aber mir geht es doch gaOl genau so mit meinem Algebra-Buch". ) Van der Waerden ist ein so ungewohnlich vielseitiger Mathematiker mit bedeutenden Buchem und Arbeiten aus zahlreichen weit von einander ent* fernten Gebieten, dal3 die Entscheidung des Verlages, diese Setecta der alge- braischen Geometrie zu widmen, sicberlich nicht selbstverstiindlich war.

Content and Subject Matter: This research monograph deals with two main subjects, namely the notion of equimultiplicity and the algebraic study of various graded rings in relation to blowing ups. Both subjects are clearly motivated by their use in resolving singularities of algebraic varieties, for which one of the main tools consists in blowing up the variety along an equimultiple subvariety. For equimultiplicity a unified and self-contained treatment of earlier results of two of the authors is given, establishing a notion of equimultiplicity for situations other than the classical ones. For blowing up, new results are presented on the connection with generalized Cohen-Macaulay rings. To keep this part self-contained too, a section on local cohomology and local duality for graded rings and modules is included with detailed proofs. Finally, in an appendix, the notion of equimultiplicity for complex analytic spaces is given a geometric interpretation and its equivalence to the algebraic notion is explained. The book is primarily addressed to specialists in the subject but the self-contained and unified presentation of numerous earlier results make it accessible to graduate students with basic knowledge in commutative algebra.

The geometrical theory of nonlinear differential equations originates from classical works by S. Lie and A. Backlund. It obtained a new impulse in the sixties when the complete integrability of the Korteweg-de Vries equation was found and it became clear that some basic and quite general geometrical and algebraic structures govern this property of integrability. Nowadays the geometrical and algebraic approach to partial differential equations constitutes a special branch of modern mathematics. In 1993, a workshop on algebra and geometry of differential equations took place at the University of Twente (The Netherlands), where the state-of-the-art of the main problems was fixed. This book contains a collection of invited lectures presented at this workshop. The material presented is of interest to those who work in pure and applied mathematics and especially in mathematical physics."

Regenerative gas turbines are attractive alternatives to diesel engines and spark ignition engines for automobiles and to diesel engines and combined-cycle en gines for power generation. Theory indicates regenerative gas turbines should achieve higher thermal efficiencies than those of diesel engines and combined cycle engines. Further, regenerative gas turbines are potentially lower in cost, require less maintenance, require less space, and pollute less than competitive systems. Regenerators can be used for exhaust-gas heat exchange or for intercooling in gas-turbine systems. As an exhaust-gas heat exchanger, a regenerator recovers heat from the exhaust and uses it to preheat the compressed air before the compressed air enters the combustor. Preheating of the compressed air permits a small heat input to the combustor for a given power output of the engine. As an intercooler, a regenerator cools the gas between compressor stages. Less work is required to compress cool gas than is required to compress warm gas. Therefore, a regenerator intercooler can reduce the required work input to the compressor. Thus, regenerators can be used to increase the thermal efficiencies and power outputs of gas turbines. the backbones of high-performance re High-performance regenerators are generative gas turbines. In the past, lack of understanding of regenerator per formance has led to sub-optimal engine designs. Now this book gives com prehensive regenerator information. With this book, the designer can design regenerators that will yield gas turbines with maximum thermal efficiencies."

The theory of vertex operator algebras and their representations has been showing its power in the solution of concrete mathematical problems and in the understanding of conceptual but subtle mathematical and physical struc- tures of conformal field theories. Much of the recent progress has deep connec- tions with complex analysis and conformal geometry. Future developments, especially constructions and studies of higher-genus theories, will need a solid geometric theory of vertex operator algebras. Back in 1986, Manin already observed in [Man) that the quantum theory of (super )strings existed (in some sense) in two entirely different mathematical fields. Under canonical quantization this theory appeared to a mathematician as the representation theories of the Heisenberg, Vir as oro and affine Kac- Moody algebras and their superextensions. Quantization with the help of the Polyakov path integral led on the other hand to the analytic theory of algebraic (super ) curves and their moduli spaces, to invariants of the type of the analytic curvature, and so on. He pointed out further that establishing direct mathematical connections between these two forms of a single theory was a "big and important problem. " On the one hand, the theory of vertex operator algebras and their repre- sentations unifies (and considerably extends) the representation theories of the Heisenberg, Virasoro and Kac-Moody algebras and their superextensions.

The theory and practice of computation in algebraic geometry and related domains, from a mathematical point of view, has generated an increasing interest both for its rich theoretical possibilities and its usefulness in applications in science and engineering. In fact, it is one of the master keys for future significant improvement of the computer algebra systems (e.g., Reduce, Macsyma, Maple, Mathematica, Axiom, Macaulay, etc.) that have become such useful tools for many scientists in a variety of disciplines. The major themes covered in this volume, arising from papers p- sented at the conference MEGA-92 were: - Effective methods and complexity issues in commutative algebra, projective geometry, real geometry, and algebraic number theory - Algebra-geometric methods in algebraic computing and applica- tions. MEGA-92 was the second of a new series of European conferences on the general theme of Effective Methods in Algebraic Geometry. It was held in Nice, France, on April 21-25, 1992 and built on the themes presented at MEGA-90 (Livomo, Italy, April 17-21, 1990). The next conference - MEGA-94 - will be held in Santander, Spain in the spring of 1994. The Organizing committee that initiatiod and supervises this bi- enniel conference consists of A. Conte (Torino), J. H. Davenport (Bath), A. Galligo (Nice), D. Yu. Grigoriev (Petersburg), J. Heintz (Buenos Aires), W. Lassner (Leipzig), D. Lazard (paris), H. M. MOller (Hagen), T. Mora (Genova), M. Pohst (DUsseldort), T. Recio (Santander), J. J.

Positivity is one of the most basic mathematical concepts. In many areas of mathematics (like analysis, real algebraic geometry, functional analysis, etc.) it shows up as positivity of a polynomial on a certain subset of R DEGREESn which itself is often given by polynomial inequalities. The main objective of the book is to give useful characterizations of such polynomials. It takes as starting point Hilbert's 17th Problem from 1900 and explains how E. Artin's solution of that problem eventually led to the development of real algebra towards the end of the 20th century. Beyond basic knowledge in algebra, only valuation theory as explained in the appendix is needed. Thus the monograph can also serve as the basis for a 2-semester course in real a

Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re cently developed algorithms have made theoretical aspects of the subject accessible to a broad range of mathematicians and scientists. The algorith mic approach to the subject has two principal aims: developing new tools for research within mathematics, and providing new tools for modeling and solv ing problems that arise in the sciences and engineering. A healthy synergy emerges, as new theorems yield new algorithms and emerging applications lead to new theoretical questions. This book presents algorithmic tools for algebraic geometry and experi mental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. A wide range of mathematical scientists should find these expositions valuable. This includes both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all."

The volume contains both general and research papers. Among the first ones are papers showing recent and original developments or methods in subjects such as resolution of singularities, D-module theory, singularities of maps and geometry of curves. The research papers deal on topics related to, or close to, those listed_above. The contributions are organized in three parts according to their contents. Part I presents a set of papers on resolution of singularities, a topic of renewed activity. It deals with important topics of current interest, such as canonical, algorithmic, combinatorial and graphical procedures (Villamayor, Oka, Marijmin), as well as special results on desingularization in characteristic p (Cossart, Moh), and connections between resolution and structure of the space of arcs through a singularity (Gonz81ez-Sprinberg-Lejeune-Jalabert). Part II contains a series of papers on the study~of singularities and its connections with differential systems and deformation or perturbation theo- ries. Two expository papers (Maisonobe-Briam;on, :'vlebkhout) describe, in an algebro-geometric way, the interaction between singularities and D-module t.he- ory including recent progress on Bernstein polynomials and Newton polygon techniques. Geometry of foliations (Henaut, Garcfa-Reguera), polar varieties and stratifications (Hajto) are also topics treated here. Two other papers (Wall, Greuel-Pfister) deal with quasihomogeneous singularities in the contexts of per- turbations and moduli spaces. Globalization of deformations of singularities (de Jong) and determination of complex topology from the real one (~10nd) com- plete this series of papers. Part III consists of papers on algebraic geometry of curves and surfaces.

This volume arises from the contributions presented at the MEGA 94 Con- ference (Metodos Efectivos en Geomctria Algebraica = Effective Methods in Algebraic Geometry), held at the University of Cantabria (Santander, Spain) April 59, 1994. Previous sessions of this biannual conference had taken place in Castiglioncello (Livorno, Italy, 1990) and in Nice (France, 1992) and the cor- responding proceedings have been published in the Birkhauser series Progress in Mathematics. volumes no. 94 and 109, respectively. The present collection consists of twenty articles involvillg miscellaneous topics concerning algorithms in algebra, algebraic geometry and related appli- cations. Fourteen of these papers correspond to the contents of the Conference's regular scientific program and have been selected, by the MEGA Committee, from the submitted contributions after a very rigorous refereeing procedure entailing an average of three independent reports per paper and two Program Committee panel discussions before and after the Conference. The remaining six papers (by S. Beck & M. Kreuzer, M. Bronstein, E. V. Flvnn. 1. Itenberg, J.-P. Merlet and 1\1. Seppala) correspond to invited talks and have also been subject to a post-conference refereeing procedure.

This volume is an outgrowth of the research project "The Inverse Ga lois Problem and its Application to Number Theory" which was carried out in three academic years from 1999 to 2001 with the support of the Grant-in-Aid for Scientific Research (B) (1) No. 11440013. In September, 2001, an international conference "Galois Theory and Modular Forms" was held at Tokyo Metropolitan University after some preparatory work shops and symposia in previous years. The title of this book came from that of the conference, and the authors were participants of those meet All of the articles here were critically refereed by experts. Some of ings. these articles give well prepared surveys on branches of research areas, and many articles aim to bear the latest research results accompanied with carefully written expository introductions. When we started our re earch project, we picked up three areas to investigate under the key word "Galois groups"; namely, "generic poly nomials" to be applied to number theory, "Galois coverings of algebraic curves" to study new type of representations of absolute Galois groups, and explicitly described "Shimura varieties" to understand well the Ga lois structures of some interesting polynomials including Brumer's sextic for the alternating group of degree 5. The topics of the articles in this volume are widely spread as a result. At a first glance, some readers may think this book somewhat unfocussed."

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.

Although the monograph Progress in Optimization I: Contributions from Aus tralasia grew from the idea of publishing a proceedings of the Fourth Optimiza tion Day, held in July 1997 at the Royal Melbourne Institute of Technology, the focus soon changed to a refereed volume in optimization. The intention is to publish a similar book annually, following each Optimization Day. The idea of having an annual Optimization Day was conceived by Barney Glover; the first of these Optimization Days was held in 1994 at the University of Ballarat. Barney hoped that such a yearly event would bring together the many, but widely dispersed, researchers in Australia who were publishing in optimization and related areas such as control. The first Optimization Day event was followed by similar conferences at The University of New South Wales (1995), The University of Melbourne (1996), the Royal Melbourne Institute of Technology (1997), and The University of Western Australia (1998). The 1999 conference will return to Ballarat University, being organized by Barney's long-time collaborator Alex Rubinov. In recent years the Optimization Day has been held in conjunction with other locally-held national or international conferences. This has widened the scope of the monograph with contributions not only coming from researchers in Australia and neighboring regions but also from their collaborators in Europe and North America."

In the early years of the 1980s, while I was visiting the Institute for Ad vanced Study (lAS) at Princeton as a postdoctoral member, I got a fascinating view, studying congruence modulo a prime among elliptic modular forms, that an automorphic L-function of a given algebraic group G should have a canon ical p-adic counterpart of several variables. I immediately decided to find out the reason behind this phenomenon and to develop the theory of ordinary p-adic automorphic forms, allocating 10 to 15 years from that point, putting off the intended arithmetic study of Shimura varieties via L-functions and Eisenstein series (for which I visited lAS). Although it took more than 15 years, we now know (at least conjecturally) the exact number of variables for a given G, and it has been shown that this is a universal phenomenon valid for holomorphic automorphic forms on Shimura varieties and also for more general (nonholomorphic) cohomological automorphic forms on automorphic manifolds (in a markedly different way). When I was asked to give a series of lectures in the Automorphic Semester in the year 2000 at the Emile Borel Center (Centre Emile Borel) at the Poincare Institute in Paris, I chose to give an exposition of the theory of p-adic (ordinary) families of such automorphic forms p-adic analytically de pending on their weights, and this book is the outgrowth of the lectures given there."