The study of qualitative aspects of PDE's has always attracted much attention from the early beginnings. More recently, once basic issues about PDE's, such as existence, uniqueness and stability of solutions, have been understood quite well, research on topological and/or geometric properties of their solutions has become more intense. The study of these issues is attracting the interest of an increasing number of researchers and is now a broad and well-established research area, with contributions that often come from experts from disparate areas of mathematics, such as differential and convex geometry, functional analysis, calculus of variations, mathematical physics, to name a few. This volume collects a selection of original results and informative surveys by a group of international specialists in the field, analyzes new trends and techniques and aims at promoting scientific collaboration and stimulating future developments and perspectives in this very active area of research.

The Conference on Algebraic Geometry, held in Berlin 9-15 March 1988, was organised by the Sektion Mathematik of the Humboldt-Universitat. The organising committee consisted of H. Kurke, W. Kleinert, G. Pfister and M. Roczen. The Conference is one in a series organised by the Humboldt-Universitat at regular intervals of two or three years, with the purpose of providing a meeting place for mathematicians from eastern and western countries. The present volume contains elaborations of part of the lectures presented at the Conference and some articles on related subjects. All papers were subject to the regular refereeing procedure of Compositio Mathematica, and H. Kurke acted as a guest editor of this journal. The papers focus on actual themes in algebraic geometry and singularity theory, such as vector bundles, arithmetical algebraic geometry, intersection theory, moduli and Hodge theory. We are grateful to all those who, by their hospitality, their presence at the Con ference, their support or their written contributions, have made this Conference to a success. The editors Compositio Mathematica 76: viii, 1990.

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

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.

Traditionally, Lorentzian geometry has been used as a necessary tool to understand general relativity, as well as to explore new genuine geometric behaviors, far from classical Riemannian techniques.Recent progress has attracted a renewed interest in this theoryfor many researchers: long-standing global open problems have been solved, outstanding Lorentzian spaces and groups have been classified, new applications to mathematical relativity and high energy physics have been found, and further connections with other geometries have been developed.

Samplesof these fresh trends are presented in this volume, based on contributions from the VI International Meeting on Lorentzian Geometry, held at the University of Granada, Spain, in September, 2011. Topics such as geodesics, maximal, trapped and constant mean curvature submanifolds, classifications of manifolds with relevant symmetries, relations between Lorentzian and Finslerian geometries, and applications to mathematical physics are included.

This book will be suitable for a broad audience of differential geometers, mathematical physicists and relativists, and researchers in the field."

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.

Contents: Introduction. - Standard Notations. - Preliminaries. - Curves on Surfaces. - Mappings of Surfaces. - Some General Properties of Surfaces. - Examples. - The Enriques-Kodaira Classification. - Surfaces of General Type. - K3-Surfaces and Enriques Surfaces. - Bibliography. - Subject Index.

The algebraic techniques developed by Kakde will almost certainly lead eventually to major progress in the study of congruences between automorphic forms and the main conjectures of non-commutative Iwasawa theory for many motives. Non-commutative Iwasawa theory has emerged dramatically over the last decade, culminating in the recent proof of the non-commutative main conjecture for the Tate motive over a totally real p-adic Lie extension of a number field, independently by Ritter and Weiss on the one hand, and Kakde on the other. The initial ideas for giving a precise formulation of the non-commutative main conjecture were discovered by Venjakob, and were then systematically developed in the subsequent papers by Coates-Fukaya-Kato-Sujatha-Venjakob and Fukaya-Kato. There was also parallel related work in this direction by Burns and Flach on the equivariant Tamagawa number conjecture. Subsequently, Kato discovered an important idea for studying the K_1 groups of non-abelian Iwasawa algebras in terms of the K_1 groups of the abelian quotients of these Iwasawa algebras. Kakde's proof is a beautiful development of these ideas of Kato, combined with an idea of Burns, and essentially reduces the study of the non-abelian main conjectures to abelian ones. The approach of Ritter and Weiss is more classical, and partly inspired by techniques of Frohlich and Taylor. Since many of the ideas in this book should eventually be applicable to other motives, one of its major aims is to provide a self-contained exposition of some of the main general themes underlying these developments. The present volume will be a valuable resource for researchers working in both Iwasawa theory and the theory of automorphic forms.

Although much of classical ergodic theory is concerned with single transformations and one-parameter flows, the subject inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multidimensional symmetry groups. However, the wealth of concrete and natural examples which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. The purpose of this book is to help remedy this scarcity of explicit examples by introducing a class of continuous Zd-actions diverse enough to exhibit many of the new phenomena encountered in the transition from Z to Zd, but which nevertheless lends itself to systematic study: the Zd-actions by automorphisms of compact, abelian groups. One aspect of these actions, not surprising in itself but quite striking in its extent and depth nonetheless, is the connection with commutative algebra and arithmetical algebraic geometry. The algebraic framework resulting from this connection allows the construction of examples with a variety of specified dynamical properties, and by combining algebraic and dynamical tools one obtains a quite detailed understanding of this class of Zd-actions."

Generalized Polygons is the first book to cover, in a coherent manner, the theory of polygons from scratch. In particular, it fills elementary gaps in the literature and gives an up-to-date account of current research in this area, including most proofs, which are often unified and streamlined in comparison to the versions generally known. Generalized Polygons will be welcomed both by the student seeking an introduction to the subject as well as the researcher who will value the work as a reference. In particular, it will be of great value for specialists working in the field of generalized polygons (which are, incidentally, the rank 2 Tits-buildings) or in fields directly related to Tits-buildings, incidence geometry and finite geometry. The approach taken in the book is of geometric nature, but algebraic results are included and proven (in a geometric way ). A noteworthy feature is that the book unifies and generalizes notions, definitions and results that exist for quadrangles, hexagons, octagons - in the literature very often considered separately - to polygons. Many alternative viewpoints given in the book heighten the sense of beauty of the subject and help to provide further insight into the matter. "

After Pyatetski-Shapiro[PS1] and Satake [Sa1] introduced, independent of one another, an early form of the Jacobi Theory in 1969 (while not naming it as such), this theory was given a de?nite push by the book The Theory of Jacobi Forms by Eichler and Zagier in 1985. Now, there are some overview articles describing the developments in the theory of the Jacobigroupandits autom- phic forms, for instance by Skoruppa[Sk2], Berndt [Be5] and Kohnen [Ko]. We refertotheseformorehistoricaldetailsandmanymorenamesofauthorsactive inthistheory,whichstretchesnowfromnumbertheoryandalgebraicgeometry to theoretical physics. But let us only brie?y indicate several- sometimes very closely related - topics touched by Jacobi theory as we see it: * ?eldsofmeromorphicandrationalfunctionsontheuniversalellipticcurve resp. universal abelian variety * structure and projective embeddings of certain algebraic varieties and homogeneous spaces * correspondences between di?erent kinds of modular forms * L-functions associated to di?erent kinds of modular forms and autom- phic representations * induced representations * invariant di?erential operators * structure of Hecke algebras * determination of generalized Kac-Moody algebras and as a ? nal goal related to the here ?rst mentioned * mixed Shimura varieties and mixed motives. Now, letting completely aside the arithmetical and algebraic geometrical - proach to Jacobi forms developed and instrumentalized by Kramer [Kr], we ix x Introduction will treat here a certain representation theoretic point of view for the Jacobi theory parallel to the theory of Jacquet-Langlands [JL] for GL(2) as reported by Godement [Go2], Gelbart [Ge1] and, recently, Bump [Bu].

This monograph brings together a collection of results on the non-vanishing of- functions.Thepresentation, thoughbasedlargelyontheoriginalpapers, issuitable forindependentstudy.Anumberofexerciseshavealsobeenprovidedtoaidinthis endeavour. The exercises are of varying di?culty and those which require more e?ort have been marked with an asterisk. The authors would like to thank the Institut d'Estudis Catalans for their encouragementof thiswork throughtheFerranSunyeriBalaguerPrize.Wewould also like to thank the Institute for Advanced Study, Princeton for the excellent conditions which made this work possible, as well as NSERC, NSF and FCAR for funding. Princeton M. Ram Murty August, 1996 V. Kumar Murty xi Introduction Since the time of Dirichlet and Riemann, the analytic properties of L-functions have been used to establish theorems of a purely arithmetic nature. The dist- bution of prime numbers in arithmetic progressions is intimately connected with non-vanishing properties of various L-functions. With the subsequent advent of the Tauberian theory as developed by Wiener and Ikehara, these arithmetical t- orems have been shown to be equivalent to the non-vanishing of these L-functions on the line Re(s)=1. In the 1950's, a new theme was introduced by Birch and Swinnerton-Dyer. Given an elliptic curve E over a number ?eld K of ?nite degree over Q, they associated an L-function to E and conjectured that this L-function extends to an entire function and has a zero at s = 1 of order equal to the Z-rank of the group of K-rational points of E. In particular, the L-function vanishes at s=1ifand only if E has in?nitely many K-rational points.

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.

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.

Configurations can be studied from a graph-theoretical viewpoint via the so-called Levi graphs and lie at the heart of graphs, groups, surfaces, and geometries, all of which are very active areas of mathematical exploration. In this self-contained textbook, algebraic graph theory is used to introduce groups; topological graph theory is used to explore surfaces; and geometric graph theory is implemented to analyze incidence geometries. After a preview of configurations in Chapter 1, a concise introduction to graph theory is presented in Chapter 2, followed by a geometric introduction to groups in Chapter 3. Maps and surfaces are combinatorially treated in Chapter 4. Chapter 5 introduces the concept of incidence structure through vertex colored graphs, and the combinatorial aspects of classical configurations are studied. Geometric aspects, some historical remarks, references, and applications of classical configurations appear in the last chapter. With over two hundred illustrations, challenging exercises at the end of each chapter, a comprehensive bibliography, and a set of open problems, Configurations from a Graphical Viewpoint is well suited for a graduate graph theory course, an advanced undergraduate seminar, or a self-contained reference for mathematicians and researchers.

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.

The main object of this book is to reorient and revitalize classical geometry in a way that will bring it closer to the mainstream of contemporary mathematics. The postulational basis of the subject will be radically revised in order to construct a broad-scale and conceptually unified treatment. The familiar figures of classical geometry-points, segments, lines, planes, triangles, circles, and so on-stem from problems in the physical world and seem to be conceptually unrelated. However, a natural setting for their study is provided by the concept of convex set, which is compara tively new in the history of geometrical ideas. The familiarfigures can then appear as convex sets, boundaries of convex sets, or finite unions of convex sets. Moreover, two basic types of figure in linear geometry are special cases of convex set: linear space (point, line, and plane) and halfspace (ray, halfplane, and halfspace). Therefore we choose convex set to be the central type of figure in our treatment of geometry. How can the wealth of geometric knowledge be organized around this idea? By defini tion, a set is convex if it contains the segment joining each pair of its points; that is, if it is closed under the operation of joining two points to form a segment. But this is precisely the basic operation in Euclid."

In the Fall of 1975 we started a joint project with the ultimate goal of topo logically classifying real algebraic sets. This has been a long happy collaboration (c.f., [K2)). In 1985 while visiting M.S.R.1. we organized and presented our classification results up to that point in the M.S.R.1. preprint series [AK14] -[AK17]. Since these results are interdependent and require some prerequisites as well as familiarity with real algebraic geometry, we decided to make them self contained by presenting them as a part of a book in real algebraic geometry. Even though we have not arrived to our final goal yet we feel that it is time to introduce them in a self contained coherent version and demonstrate their use by giving some applications. Chapter I gives the overview of the classification program. Chapter II has all the necessary background for the rest of the book, which therefore can be used as a course in real algebraic geometry. It starts with the elementary properties of real algebraic sets and ends with the recent solution of the Nash Conjecture. Chapter III and Chapter IV develop the theory of resolution towers. Resolution towers are basic topologically defined objects generalizing the notion of manifold.

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.