This volume offers a well-structured overview of existent computational approaches to Riemann surfaces and those currently in development. The authors of the contributions represent the groups providing publically available numerical codes in this field. Thus this volume illustrates which software tools are available and how they can be used in practice. In addition examples for solutions to partial differential equations and in surface theory are presented. The intended audience of this book is twofold. It can be used as a textbook for a graduate course in numerics of Riemann surfaces, in which case the standard undergraduate background, i.e., calculus and linear algebra, is required. In particular, no knowledge of the theory of Riemann surfaces is expected; the necessary background in this theory is contained in the Introduction chapter. At the same time, this book is also intended for specialists in geometry and mathematical physics applying the theory of Riemann surfaces in their research. It is the first book on numerics of Riemann surfaces that reflects the progress made in this field during the last decade, and it contains original results. There are a growing number of applications that involve the evaluation of concrete characteristics of models analytically described in terms of Riemann surfaces. Many problem settings and computations in this volume are motivated by such concrete applications in geometry and mathematical physics.

Point-counting results for sets in real Euclidean space have found remarkable applications to diophantine geometry, enabling significant progress on the Andre-Oort and Zilber-Pink conjectures. The results combine ideas close to transcendence theory with the strong tameness properties of sets that are definable in an o-minimal structure, and thus the material treated connects ideas in model theory, transcendence theory, and arithmetic. This book describes the counting results and their applications along with their model-theoretic and transcendence connections. Core results are presented in detail to demonstrate the flexibility of the method, while wider developments are described in order to illustrate the breadth of the diophantine conjectures and to highlight key arithmetical ingredients. The underlying ideas are elementary and most of the book can be read with only a basic familiarity with number theory and complex algebraic geometry. It serves as an introduction for postgraduate students and researchers to the main ideas, results, problems, and themes of current research in this area.

The moduli space Mg of curves of fixed genus g - that is, the algebraic variety that parametrizes all curves of genus g - is one of the most intriguing objects of study in algebraic geometry these days. Its appeal results not only from its beautiful mathematical structure but also from recent developments in theoretical physics, in particular in conformal field theory.

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.

In the early 70's and 80's the field of integrable systems was in its prime youth: results and ideas were mushrooming all over the world. It was during the roaring 70's and 80's that a first version of the book was born, based on our research and on lectures which each of us had given. We owe many ideas to our colleagues Teruhisa Matsusaka and David Mumford, and to our inspiring graduate students (Constantin Bechlivanidis, Luc Haine, Ahmed Lesfari, Andrew McDaniel, Luis Piovan and Pol Vanhaecke). As it stood, our first version lacked rigor and precision, was rough, dis connected and incomplete. . . In the early 90's new problems appeared on the horizon and the project came to a complete standstill, ultimately con fined to a floppy. A few years ago, under the impulse of Pol Vanhaecke, the project was revived and gained real momentum due to his insight, vision and determination. The leap from the old to the new version is gigantic. The book is designed as a teaching textbook and is aimed at a wide read ership of mathematicians and physicists, graduate students and professionals."

The lectures contained in this book were presented at Harvard University in June 1979. The workshop at which they were presented was the third such on algebro-geometric methods. The first was held in 1973 in London and the emphasis was largely on geometric methods. The second was held at Ames Research Center-NASA in 1976. There again the emphasis was on geometric methods, but algebraic geometry was becoming a dominant theme. In the two years after the Ames meeting there was tremendous growth in the applications of algebraic geometry to systems theory and it was becoming clear that much of the algebraic systems theory was very closely related to the geometric systems theory. On this basis we felt that this was the right time to devote a workshop to the applications of algebra and algebraic geometry to linear systems theory. The lectures contained in this volume represent all but one of the tutorial lectures presented at the workshop. The lec ture of Professor Murray Wonham is not contained in this volume and we refer the interested to the archival literature. This workshop was jointly sponsored by a grant from Ames Research Center-NASA and a grant from the Advanced Study Institute Program of NATO. We greatly appreciate the financial support rendered by these two organizations. The American Mathematical Society hosted this meeting as part of their Summer Seminars in Applied Mathematics and will publish the companion volume of con tributed papers."

The 12 lectures presented in Representation Theories and Algebraic Geometry focus on the very rich and powerful interplay between algebraic geometry and the representation theories of various modern mathematical structures, such as reductive groups, quantum groups, Hecke algebras, restricted Lie algebras, and their companions. This interplay has been extensively exploited during recent years, resulting in great progress in these representation theories. Conversely, a great stimulus has been given to the development of such geometric theories as D-modules, perverse sheafs and equivariant intersection cohomology. The range of topics covered is wide, from equivariant Chow groups, decomposition classes and Schubert varieties, multiplicity free actions, convolution algebras, standard monomial theory, and canonical bases, to annihilators of quantum Verma modules, modular representation theory of Lie algebras and combinatorics of representation categories of Harish-Chandra modules.

This book provides an overview of the theory of p-adic (and more general non-Archimedean) dynamical systems. The main part of the book is devoted to discrete dynamical systems. It presents a model of probabilistic thinking on p-adic mental space based on ultrametric diffusion. Coverage also details p-adic neural networks and their applications to cognitive sciences: learning algorithms, memory recalling.

A NATO Advanced Study Institute entitled "Algebraic K-theory and Algebraic Topology" was held at Chateau Lake Louise, Lake Louise, Alberta, Canada from December 12 to December 16 of 1991. This book is the volume of proceedings for this meeting. The papers that appear here are representative of most of the lectures that were given at the conference, and therefore present a "snapshot" of the state ofthe K-theoretic art at the end of 1991. The underlying objective of the meeting was to discuss recent work related to the Lichtenbaum-Quillen complex of conjectures, fro both the algebraic and topological points of view. The papers in this volume deal with a range of topics, including motivic cohomology theories, cyclic homology, intersection homology, higher class field theory, and the former telescope conjecture. This meeting was jointly funded by grants from NATO and the National Science Foun dation in the United States. I would like to take this opportunity to thank these agencies for their support. I would also like to thank the other members of the organizing com mittee, namely Paul Goerss, Bruno Kahn and Chuck Weibel, for their help in making the conference successful. This was the second NATO Advanced Study Institute to be held in this venue; the first was in 1987. The success of both conferences owes much to the professionalism and helpfulness of the administration and staff of Chateau Lake Louise."

2 Triangle Groups: An Introduction 279 3 Elementary Shimura Curves 281 4 Examples of Shimura Curves 282 5 Congruence Zeta Functions 283 6 Diophantine Properties of Shimura Curves 284 7 Klein Quartic 285 8 Supersingular Points 289 Towers of Elkies 9 289 7. CRYPTOGRAPHY AND APPLICATIONS 291 1 Introduction 291 Discrete Logarithm Problem 2 291 Curves for Public-Key Cryptosystems 3 295 Hyperelliptic Curve Cryptosystems 4 297 CM-Method 5 299 6 Cryptographic Exponent 300 7 Constructive Descent 302 8 Gaudry and Harley Algorithm 306 9 Picard Jacobians 307 Drinfeld Module Based Public Key Cryptosystems 10 308 11 Drinfeld Modules and One Way Functions 308 12 Shimura's Map 309 13 Modular Jacobians of Genus 2 Curves 310 Modular Jacobian Surfaces 14 312 15 Modular Curves of Genus Two 313 16 Hecke Operators 314 8. REFERENCES 317 345 Index Xll Preface The history of counting points on curves over finite fields is very ex- tensive, starting with the work of Gauss in 1801 and continuing with the work of Artin, Schmidt, Hasse and Weil in their study of curves and the related zeta functions Zx(t), where m Zx(t) = exp (2: N t ) m m 2': 1 m with N = #X(F qm). If X is a curve of genus g, Weil's conjectures m state that L(t) Zx(t) = (1 - t)(l - qt) where L(t) = rr~!l (1 - O'.

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented.

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.

The theory of transcendental numbers is closely related to the study of diophantine approximation. This book deals with values of the usual exponential function ez: a central open problem is the conjecture on algebraic independence of logarithms of algebraic numbers. Two chapters provide complete and simplified proofs of zero estimates (due to Philippon) on linear algebraic groups.

This book is dedicated to the theory of continuous selections of multi valued mappings, a classical area of mathematics (as far as the formulation of its fundamental problems and methods of solutions are concerned) as well as 'J-n area which has been intensively developing in recent decades and has found various applications in general topology, theory of absolute retracts and infinite-dimensional manifolds, geometric topology, fixed-point theory, functional and convex analysis, game theory, mathematical economics, and other branches of modern mathematics. The fundamental results in this the ory were laid down in the mid 1950's by E. Michael. The book consists of (relatively independent) three parts - Part A: Theory, Part B: Results, and Part C: Applications. (We shall refer to these parts simply by their names). The target audience for the first part are students of mathematics (in their senior year or in their first year of graduate school) who wish to get familiar with the foundations of this theory. The goal of the second part is to give a comprehensive survey of the existing results on continuous selections of multivalued mappings. It is intended for specialists in this area as well as for those who have mastered the material of the first part of the book. In the third part we present important examples of applications of continuous selections. We have chosen examples which are sufficiently interesting and have played in some sense key role in the corresponding areas of mathematics."

Considering integral transformations of Volterra type, F. Riesz and B. Sz.-Nagy no ticed in 1952 that [49]: "The existence of such a variety of linear transformations, having the same spectrum concentrated at a single point, brings out the difficulties of characterization of linear transformations of general type by means of their spectra." Subsequently, spectral analysis has been developed for different classes of non selfadjoint operators [6,7,14,20,21,36,44,46,54]. It was then realized that this analysis forms a natural basis for the theory of systems interacting with the environment. The success of this theory in the single operator case inspired attempts to create a general theory in the much more complicated case of several commuting operators with finite-dimensional imaginary parts. During the past 10-15 years such a theory has been developed, yielding fruitful connections with algebraic geometry and sys tem theory. Our purpose in this book is to formulate the basic problems appearing in this theory and to present its main results. It is worth noting that, in addition to the joint spectrum, the corresponding algebraic variety and its global topological characteristics play an important role in the classification of commuting operators. For the case of a pair of operators these are: 1. The corresponding algebraic curve, and especially its genus. 2. Certain classes of divisors - or certain line bundles - on this curve.

The already broad range of applications of ring theory has been enhanced in the eighties by the increasing interest in algebraic structures of considerable complexity, the so-called class of quantum groups. One of the fundamental properties of quantum groups is that they are modelled by associative coordinate rings possessing a canonical basis, which allows for the use of algorithmic structures based on Groebner bases to study them. This book develops these methods in a self-contained way, concentrating on an in-depth study of the notion of a vast class of non-commutative rings (encompassing most quantum groups), the so-called Poincar -Birkhoff-Witt rings. We include algorithms which treat essential aspects like ideals and (bi)modules, the calculation of homological dimension and of the Gelfand-Kirillov dimension, the Hilbert-Samuel polynomial, primality tests for prime ideals, etc.

Pairs of compact convex sets arise in the quasidifferential calculus of V.F. Demyanov and A.M. Rubinov as sub- and superdifferentials of quasidifferen- tiable functions (see [26]) and in the formulas for the numerical evaluation of the Aumann-Integral which were recently introduced in a series of papers by R. Baier and F. Lempio (see [4], [5], [10] and [9]) and R. Baier and E.M. Farkhi [6], [7], [8]. In the field of combinatorial convexity G. Ewald et al. [36] used an interesting construction called virtual polytope, which can also be represented as a pair of polytopes for the calculation of the combinatorial Picard group of a fan. Since in all mentioned cases the pairs of compact con- vex sets are not uniquely determined, minimal representations are of special to the existence of minimal pairs of compact importance. A problem related convex sets is the existence of reduced pairs of convex bodies, which has been studied by Chr. Bauer (see [14]).

The Curves The Point of View of Max Noether Probably the oldest references to the problem of resolution of singularities are found in Max Noether's works on plane curves [cf. [148], [149]]. And probably the origin of the problem was to have a formula to compute the genus of a plane curve. The genus is the most useful birational invariant of a curve in classical projective geometry. It was long known that, for a plane curve of degree n having l m ordinary singular points with respective multiplicities ri, i E {1, . . . , m}, the genus p of the curve is given by the formula = (n - l)(n - 2) _ ~ "r. (r. _ 1) P 2 2 L. . ,. ** . Of course, the problem now arises: how to compute the genus of a plane curve having some non-ordinary singularities. This leads to the natural question: can we birationally transform any (singular) plane curve into another one having only ordinary singularities? The answer is positive. Let us give a flavor (without proofs) 2 on how Noether did it * To solve the problem, it is enough to consider a special kind of Cremona trans formations, namely quadratic transformations of the projective plane. Let ~ be a linear system of conics with three non-collinear base points r = {Ao, AI, A }, 2 and take a projective frame of the type {Ao, AI, A ; U}.

While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

The common solutions of a finite number of polynomial equations in a finite number of variables constitute an algebraic variety. The degrees of freedom of a moving point on the variety is the dimension of the variety. A one-dimensional variety is a curve and a two-dimensional variety is a surface. A three-dimensional variety may be called asolid. Most points of a variety are simple points. Singularities are special points, or points of multiplicity greater than one. Points of multiplicity two are double points, points of multiplicity three are tripie points, and so on. A nodal point of a curve is a double point where the curve crosses itself, such as the alpha curve. A cusp is a double point where the curve has a beak. The vertex of a cone provides an example of a surface singularity. A reversible change of variables gives abirational transformation of a variety. Singularities of a variety may be resolved by birational transformations.

This book grew out of our lectures given in the Oberseminar on 'Cod ing Theory and Number Theory' at the Mathematics Institute of the Wiirzburg University in the Summer Semester, 2001. The coding the ory combines mathematical elegance and some engineering problems to an unusual degree. The major advantage of studying coding theory is the beauty of this particular combination of mathematics and engineering. In this book we wish to introduce some practical problems to the math ematician and to address these as an essential part of the development of modern number theory. The book consists of five chapters and an appendix. Chapter 1 may mostly be dropped from an introductory course of linear codes. In Chap ter 2 we discuss some relations between the number of solutions of a diagonal equation over finite fields and the weight distribution of cyclic codes. Chapter 3 begins by reviewing some basic facts from elliptic curves over finite fields and modular forms, and shows that the weight distribution of the Melas codes is represented by means of the trace of the Hecke operators acting on the space of cusp forms. Chapter 4 is a systematic study of the algebraic-geometric codes. For a long time, the study of algebraic curves over finite fields was the province of pure mathematicians. In the period 1977 - 1982, V. D. Goppa discovered an amazing connection between the theory of algebraic curves over fi nite fields and the theory of q-ary codes."

This book contains an exposition of the theory of meromorphic functions and linear series on a compact Riemann surface. Thus the main subject matter consists of holomorphic maps from a compact Riemann surface to complex projective space. Our emphasis is on families of meromorphic functions and holomorphic curves. Our approach is more geometric than algebraic along the lines of [Griffiths-Harrisl]. AIso, we have relied on the books [Namba] and [Arbarello-Cornalba-Griffiths-Harris] to agreat exten- nearly every result in Chapters 1 through 4 can be found in the union of these two books. Our primary motivation was to understand the totality of meromorphic functions on an algebraic curve. Though this is a classical subject and much is known about meromorphic functions, we felt that an accessible exposition was lacking in the current literature. Thus our book can be thought of as a modest effort to expose parts of the known theory of meromorphic functions and holomorphic curves with a geometric bent. We have tried to make the book self-contained and concise which meant that several major proofs not essential to further development of the theory had to be omitted. The book is targeted at the non-expert who wishes to leam enough about meromorphic functions and holomorphic curves so that helshe will be able to apply the results in hislher own research. For example, a differential geometer working in minimal surface theory may want to tind out more about the distribution pattern of poles and zeros of a meromorphic function.

Clifford algebra, then called geometric algebra, was introduced more than a cenetury ago by William K. Clifford, building on work by Grassmann and Hamilton. Clifford or geometric algebra shows strong unifying aspects and turned out in the 1960s to be a most adequate formalism for describing different geometry-related algebraic systems as specializations of one "mother algebra" in various subfields of physics and engineering. Recent work outlines that Clifford algebra provides a universal and powerfull algebraic framework for an elegant and coherent representation of various problems occuring in computer science, signal processing, neural computing, image processing, pattern recognition, computer vision, and robotics. This monograph-like anthology introduces the concepts and framework of Clifford algebra and provides computer scientists, engineers, physicists, and mathematicians with a rich source of examples of how to work with this formalism.

Automorphisms of Affine Spaces describes the latest results concerning several conjectures related to polynomial automorphisms: the Jacobian, real Jacobian, Markus-Yamabe, Linearization and tame generators conjectures. Group actions and dynamical systems play a dominant role. Several contributions are of an expository nature, containing the latest results obtained by the leaders in the field. The book also contains a concise introduction to the subject of invertible polynomial maps which formed the basis of seven lectures given by the editor prior to the main conference. Audience: A good introduction for graduate students and research mathematicians interested in invertible polynomial maps.

P. Dolbeault: R sidus et courants.- D. Mumford: Varieties defined by quadratic equations.- A. N ron: Hauteurs et th orie des intersections.- A. Seidenberg: Report on analytic product.- C.S. Seshadri: Moduli of p-vector bundles over an algebraic curve.- O. Zariski: Contributions to the problem of equi-singularity.