The content of this monograph is situated in the intersection of important branches of mathematics like the theory of one complex variable, algebraic geometry, low dimensional topology and, from the point of view of the techniques used, com- natorial group theory. The main tool comes from the Uniformization Theorem for Riemannsurfaces, whichrelatesthetopologyofRiemannsurfacesandholomorphic or antiholomorphic actions on them to the algebra of classical cocompact Fuchsian groups or, more generally, non-euclidean crystallographic groups. Foundations of this relationship were established by A. M. Macbeath in the early sixties and dev- oped later by, among others, D. Singerman. Another important result in Riemann surface theory is the connection between Riemannsurfacesandtheir symmetrieswith complexalgebraiccurvesandtheirreal forms. Namely, there is a well known functorial bijective correspondence between compact Riemann surfaces and smooth, irreducible complex projective curves. The fact that a Riemann surface has a symmetry means, under this equivalence, that the corresponding complex algebraic curve has a real form, that is, it is the complex- cation of a real algebraic curve. Moreover, symmetries which are non-conjugate in the full group of automorphisms of the Riemann surface, correspond to real forms which are birationally non-isomorphic over the reals. Furthermore, the set of points xedbyasymmetryishomeomorphictoaprojectivesmoothmodeloftherealform

This monograph is a self-contained introduction to the geometry of Riemann Surfaces of constant curvature 1 and their length and eigenvalue spectra. It focuses on two subjects: the geometric theory of compact Riemann surfaces of genus greater than one, and the relationship of the Laplace operator with the geometry of such surfaces. Research workers and graduate students interested in compact Riemann surfaces will find here a number of useful tools and insights to apply to their investigations.

This book gives an account of theoretical and algorithmic developments on the integral closure of algebraic structures. It gives a comprehensive treatment of Rees algebras and multiplicity theory while pointing to applications in many other problem areas. Its main goal is to provide complexity estimates by tracking numerically invariants of the structures that may occur.

This classic geometry text explores the theory of 3-dimensional convex polyhedra in a unique fashion, with exceptional detail. Vital and clearly written, the book includes the basics of convex polyhedra and collects the most general existence theorems for convex polyhedra that are proved by a new and unified method. This edition includes a comprehensive bibliography by V.A. Zalgaller, and related papers as supplements to the original text.

This book provides a quick access to computational tools for algebraic geometry, the mathematical discipline which handles solution sets of polynomial equations. Originating from a number of intense one week schools taught by the authors, the text is designed so as to provide a step by step introduction which enables the reader to get started with his own computational experiments right away. The authors present the basic concepts and ideas in a compact way.

The relation between mathematics and physics has a long history, in which the role of number theory and of other more abstract parts of mathematics has recently become more prominent.

More than ten years after a first meeting in 1989 between number theorists and physicists at the Centre de Physique des Houches, a second 2-week event focused on the broader interface of number theory, geometry, and physics.

This book is the result of that exciting meeting, and collects, in 2 volumes, extended versions of the lecture courses, followed by shorter texts on special topics, of eminent mathematicians and physicists.

The present volume has three parts: Conformal Field Theories, Discrete Groups, Renomalization.

The companion volume is subtitled: On Random Matrices, Zeta Functions and Dynamical Systems (Springer, 3-540-23189-7).

Historically, complex analysis and geometrical function theory have been inten sively developed from the beginning of the twentieth century. They provide the foundations for broad areas of mathematics. In the last fifty years the theory of holomorphic mappings on complex spaces has been studied by many mathemati cians with many applications to nonlinear analysis, functional analysis, differential equations, classical and quantum mechanics. The laws of dynamics are usually presented as equations of motion which are written in the abstract form of a dy namical system: dx / dt + f ( x) = 0, where x is a variable describing the state of the system under study, and f is a vector function of x. The study of such systems when f is a monotone or an accretive (generally nonlinear) operator on the under lying space has been recently the subject of much research by analysts working on quite a variety of interesting topics, including boundary value problems, integral equations and evolution problems (see, for example, [19, 13] and [29]). In a parallel development (and even earlier) the generation theory of one parameter semigroups of holomorphic mappings in en has been the topic of interest in the theory of Markov stochastic processes and, in particular, in the theory of branching processes (see, for example, [63, 127, 48] and [69]).

Two contributions on closely related subjects: the theory of linear algebraic groups and invariant theory, by well-known experts in the fields. The book will be very useful as a reference and research guide to graduate students and researchers in mathematics and theoretical physics.

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a fact summarized in Church's thesis, which says that the resulting definitions form an adequate formalization of the intuitive notion of computability. This had and continues to have an enormous effect. First of all, with these notions it has been possible to prove that various problems are algorithmically unsolvable. Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem. Secondly, concepts like Turing machines and WHILE-programs had a strong influence on the development of the first computers and programming languages. In the era of digital computers, the question of finding efficient solutions to algorithmically solvable problems has become increasingly important. In addition, the fact that some problems can be solved very efficiently, while others seem to defy all attempts to find an efficient solution, has called for a deeper under standing of the intrinsic computational difficulty of problems."

Sheaf Theory is modern, active field of mathematics at the intersection of algebraic topology, algebraic geometry and partial differential equations. This volume offers a comprehensive and self-contained treatment of Sheaf Theory from the basis up, with emphasis on the microlocal point of view.

From the reviews:

"Clearly and precisely written, and contains many interesting ideas: it describes a whole, largely new branch of mathematics." Bulletin of the L.M.S.

A new and complete treatment of semi-abelian degenerations of abelian varieties, and their application to the construction of arithmetic compactifications of Siegel moduli space, with most of the results being published for the first time. Highlights of the book include a classification of semi-abelian schemes, construction of the toroidal and the minimal compactification over the integers, heights for abelian varieties over number fields, and Eichler integrals in several variables, together with a new approach to Siegel modular forms. A valuable source of reference for researchers and graduate students interested in algebraic geometry, Shimura varieties or diophantine geometry.

This monograph covers one of the divisions of mathematical theory of control which examines moving objects functionating under conflict and uncertainty conditions. To identify this range of problems we use the term "conflict con trolled processes," coined in recent years. As the name itself does not imply the type of dynamics (difference, ordinary differential, difference-differential, integral, or partial differential equations) the differential games falI within its realms. The problems of search and tracking moving objects are also referred to the field of conflict controlled process. The contents of the monograph is confined to studying classical pursuit-evasion problems which are central to the theory of conflict controlled processes. These problems underlie the theory and are of considerable interest to researchers up to now. It should be noted that the methods of "Line of Sight," "Parallel Pursuit," "Proportional N avigation,""Modified Pursuit" and others have been long and well known among engineers engaged in design of rocket and space technology. An abstract theory of dynamic game problems, in its turn, is based on the methods originated by R. Isaacs, L. S. Pontryagin, and N. N. Krasovskii, and on the approaches developed around these methods. At the heart of the book is the Method of Resolving Functions which was realized within the class of quasistrategies for pursuers and then applied to the solution of the problems of "hand-to-hand," group, and succesive pursuit."

First Edition sold over 2500 copies in the Americas; New Edition contains three new chapters and two new appendices

The present volume is a translation, revision and updating of our book (pub lished in French) with the title "Geometrie Algebrique Reelle." Since its pub lication in 1987 the theory has made advances in several directions. There have also been new insights into material already in the French edition. Many of these advances and insights have been incorporated in this English version of the book, so that it may be viewed as being substantially different from the original. We wish to thank Michael Buchner for his careful reading of the text and for his linguistic corrections and stylistic improvements. The initial Jb. TEiX file was prepared by Thierry van Effelterre. The three authors participate in the European research network "Real Algebraic and Analytic Geometry." The first author was partially supported by NATO Collaborative Research Grant 960011. Jacek Bochnak April 1998 Michel Coste Marie-Pranroise Roy Table of Contents Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Ordered Fields, Real Closed Fields . . . . . . . . . . . . . . . . . . . . . . . 7 1. 1 Ordered Fields, Real Fields . . . . . " . . . . . . . . . . . . . . . . . . . . . . . 7 1. 2 Real Closed Fields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 3 Real Closure of an Ordered Field. . . . . . . . . . . . . . . . . . . . . . . . . 14 1. 4 The Tarski-Seidenberg Principle. . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. Semi-algebraic Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2. 1 Algebraic and Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . . . . 23 2. 2 Projection of Semi-algebraic Sets. Semi-algebraic Mappings. . 26 2. 3 Decomposition of Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . 30 2. 4 Connectedness. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2. 5 Closed and Bounded Semi-algebraic Sets. Curve-selection Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2. 6 Continuous Semi-algebraic Functions. Lojasiewicz's Inequality 42 2. 7 Separation of Closed Semi-algebraic Sets. . . . . . . . . . . . . . . . . ."

Elementary number theory is concerned with arithmetic properties of the ring of integers. Early in the development of number theory, it was noticed that the ring of integers has many properties in common with the ring of polynomials over a finite field. The first part of this book illustrates this relationship by presenting, for example, analogues of the theorems of Fermat and Euler, Wilson?'s theorem, quadratic (and higher) reciprocity, the prime number theorem, and Dirichlet?'s theorem on primes in an arithmetic progression. After presenting the required foundational material on function fields, the later chapters explore the analogy between global function fields and algebraic number fields. A variety of topics are presented, including: the ABC-conjecture, Artin?'s conjecture on primitive roots, the Brumer-Stark conjecture, Drinfeld modules, class number formulae, and average value theorems.

The legacy of Galois was the beginning of Galois theory as well as group theory. From this common origin, the development of group theory took its own course, which led to great advances in the latter half of the 20th cen tury. It was John Thompson who shaped finite group theory like no-one else, leading the way towards a major milestone of 20th century mathematics, the classification of finite simple groups. After the classification was announced around 1980, it was again J. Thomp son who led the way in exploring its implications for Galois theory. The first question is whether all simple groups occur as Galois groups over the rationals (and related fields), and secondly, how can this be used to show that all finite groups occur (the 'Inverse Problem of Galois Theory'). What are the implica tions for the stmcture and representations of the absolute Galois group of the rationals (and other fields)? Various other applications to algebra and number theory have been found, most prominently, to the theory of algebraic curves (e.g., the Guralnick-Thompson Conjecture on the Galois theory of covers of the Riemann sphere)."

The problem of "Shortest Connectivity," which is discussed here, has a long and convoluted history. Many scientists from many fields as well as laymen have stepped on its stage. Usually, the problem is known as Steiner's Problem and it can be described more precisely in the following way: Given a finite set of points in a metric space, search for a network that connects these points with the shortest possible length. This shortest network must be a tree and is called a Steiner Minimal Tree (SMT). It may contain vertices different from the points which are to be connected. Such points are called Steiner points. Steiner's Problem seems disarmingly simple, but it is rich with possibilities and difficulties, even in the simplest case, the Euclidean plane. This is one of the reasons that an enormous volume of literature has been published, starting in 1 the seventeenth century and continuing until today. The difficulty is that we look for the shortest network overall. Minimum span ning networks have been well-studied and solved eompletely in the case where only the given points must be connected. The novelty of Steiner's Problem is that new points, the Steiner points, may be introduced so that an intercon necting network of all these points will be shorter. This also shows that it is impossible to solve the problem with combinatorial and geometric methods alone."

This monograph contains an exposition of the theory of minimal surfaces in Euclidean space, with an emphasis on complete minimal surfaces of finite total curvature. Our exposition is based upon the philosophy that the study of finite total curvature complete minimal surfaces in R3, in large measure, coincides with the study of meromorphic functions and linear series on compact Riemann sur faces. This philosophy is first indicated in the fundamental theorem of Chern and Osserman: A complete minimal surface M immersed in R3 is of finite total curvature if and only if M with its induced conformal structure is conformally equivalent to a compact Riemann surface Mg punctured at a finite set E of points and the tangential Gauss map extends to a holomorphic map Mg _ P2. Thus a finite total curvature complete minimal surface in R3 gives rise to a plane algebraic curve. Let Mg denote a fixed but otherwise arbitrary compact Riemann surface of genus g. A positive integer r is called a puncture number for Mg if Mg can be conformally immersed into R3 as a complete finite total curvature minimal surface with exactly r punctures; the set of all puncture numbers for Mg is denoted by P (M ). For example, Jorge and Meeks JM] showed, by constructing an example g for each r, that every positive integer r is a puncture number for the Riemann surface pl."

This book is written for theoretical and mathematical physicists and mat- maticians interested in recent developments in complex general relativity and their application to classical and quantum gravity. Calculations are presented by paying attention to those details normally omitted in research papers, for pedagogical r- sons. Familiarity with fibre-bundle theory is certainly helpful, but in many cases I only rely on two-spinor calculus and conformally invariant concepts in gravitational physics. The key concepts the book is devoted to are complex manifolds, spinor techniques, conformal gravity, ?-planes, ?-surfaces, Penrose transform, complex 3 1 - - space-time models with non-vanishing torsion, spin- fields and spin- potentials. 2 2 Problems have been inserted at the end, to help the reader to check his und- standing of these topics. Thus, I can find at least four reasons for writing yet another book on spinor and twistor methods in general relativity: (i) to write a textbook useful to - ginning graduate students and research workers, where two-component spinor c- culus is the unifying mathematical language.

The aim of this book is to provide an introduction to the structure theory of higher dimensional algebraic varieties by studying the geometry of curves, especially rational curves, on varieties. The main applications are in the study of Fano varieties and of related varieties with lots of rational curves on them. This "Ergebnisse" volume provides the first systematic introduction to this field of study. The book contains a large number of examples and exercises which serve to illustrate the range of the methods and also lead to many open questions of current research.

This book explores the theory of abelian varieties over the field of complex numbers, explaining both classic and recent results in modern language. The second edition adds five chapters on recent results including automorphisms and vector bundles on abelian varieties, algebraic cycles and the Hodge conjecture. ." . . far more readable than most . . . it is also much more complete." Olivier Debarre in Mathematical Reviews, 1994.

Mori's Program is a fusion of the so-called Minimal Model Program and the IItaka Program toward the biregular and/or birational classification of higher dimensional algebraic varieties. The author presents this theory in an easy and understandable way with lots of background motivation. Prerequisites are those covered in Hartshorne's book "Algebraic Geometry." This is the first book in this extremely important and active field of research and will become a key resource for graduate students wanting to get into the area.

This two-part EMS volume provides a succinct summary of complex algebraic geometry, coupled with a lucid introduction to the recent work on the interactions between the classical area of the geometry of complex algebraic curves and their Jacobian varieties. An excellent companion to the older classics on the subject.

The central problem considered in this introduction for graduate students is the determination of rational parametrizability of an algebraic curve and, in the positive case, the computation of a good rational parametrization. This amounts to determining the genus of a curve: its complete singularity structure, computing regular points of the curve in small coordinate fields, and constructing linear systems of curves with prescribed intersection multiplicities. The book discusses various optimality criteria for rational parametrizations of algebraic curves.

Conics and Cubics offers an accessible and well illustrated introduction to algebraic curves. By classifying irreducible cubics over the real numbers and proving that their points form Abelian groups, the book gives readers easy access to the study of elliptic curves. It includes a simple proof of Bezout 's Theorem on the number of intersections of two curves. The subject area is described by means of concrete and accessible examples. The book is a text for a one-semester course.