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.

One of the major discoveries of the last two decades of the twentieth century in algebraic geometry is the realization that the theory of minimal models of surfaces can be generalized to higher dimensional varieties. This generalization, called the minimal model program or Mori's program, has developed into a powerful tool with applications to diverse questions in algebraic geometry and beyond. This book provides the a comprehensive introduction to the circle of ideas developed around the program, the prerequisites being only a basic knowledge of algebraic geometry. It will be of great interest to graduate students and researchers working in algebraic geometry and related fields.

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.

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.

Following Quillen's approach to complex cobordism, the authors introduce the notion of oriented cohomology theory on the category of smooth varieties over a fixed field. They prove the existence of a universal such theory (in characteristic 0) called Algebraic Cobordism. The book also contains some examples of computations and applications.

Neron models were invented by A. Neron in the early 1960s in order to study the integral structure of abelian varieties over number fields. Since then, arithmeticians and algebraic geometers have applied the theory of Neron models with great success. Quite recently, new developments in arithmetic algebraic geometry have prompted a desire to understand more about Neron models, and even to go back to the basics of their construction. The authors have taken this as their incentive to present a comprehensive treatment of Neron models. This volume of the renowned "Ergebnisse" series provides a detailed demonstration of the construction of Neron models from the point of view of Grothendieck's algebraic geometry. In the second part of the book the relationship between Neron models and the relative Picard functor in the case of Jacobian varieties is explained. The authors helpfully remind the reader of some important standard techniques of algebraic geometry. A special chapter surveys the theory of the Picard functor.

In recent years there has been enormous activity in the theory of algebraic curves. Many long-standing problems have been solved using the general techniques developed in algebraic geometry during the 1950's and 1960's. Additionally, unexpected and deep connections between algebraic curves and differential equations have been uncovered, and these in turn shed light on other classical problems in curve theory. It seems fair to say that the theory of algebraic curves looks completely different now from how it appeared 15 years ago; in particular, our current state of knowledge repre sents a significant advance beyond the legacy left by the classical geometers such as Noether, Castelnuovo, Enriques, and Severi. These books give a presentation of one of the central areas of this recent activity; namely, the study of linear series on both a fixed curve (Volume I) and on a variable curve (Volume II). Our goal is to give a comprehensive and self-contained account of the extrinsic geometry of algebraic curves, which in our opinion constitutes the main geometric core of the recent advances in curve theory. Along the way we shall, of course, discuss appli cations of the theory of linear series to a number of classical topics (e.g., the geometry of the Riemann theta divisor) as well as to some of the current research (e.g., the Kodaira dimension of the moduli space of curves)."

Geometrie inequalities have a wide range of applieations-within geometry itself as weIl as beyond its limits. The theory of funetions of a eomplex variable, the ealculus of variations in the large, embedding theorems of funetion spaees, a priori estimates for solutions of differential equations yield many sueh examples. We have attempted to piek out the most general inequalities and, in model eases, we exhibit effeetive geometrie eonstruetions and the means of proving sueh inequalities. A substantial part of this book deals with isoperimetrie inequalities and their generalizations, but, for all their variety, they do not exhaust the eontents ofthe book. The objeets under eonsideration, as a rule, are quite general. They are eurves, surfaees and other manifolds, embedded in an underlying space or supplied with an intrinsie metrie. Geometrie inequalities, used for different purposes, appear in different eontexts-surrounded by a variety ofteehnieal maehinery, with diverse require- ments for the objeets under study. Therefore the methods of proof will differ not only from ehapter to ehapter, but even within individual seetions. An inspeetion of monographs on algebraie and funetional inequalities ([HLP], [BeB], [MV], [MM]) shows that this is typical for books of this type.

Over the last 15 years important results have been achieved in the field of "Hilbert Modular" Varieties. Though the main emphasis of this book is on the geometry of Hilbert modular surfaces, both geometric and arithmetic aspects are treated. An abundance of examples - in fact a whole chapter - completes this competent presentation of the subject. This "Ergebnisbericht" will soon become an indispensible tool for graduate students and researchers in this field.

Stochastic geometry deals with models for random geometric structures. Its early beginnings are found in playful geometric probability questions, and it has vigorously developed during recent decades, when an increasing number of real-world applications in various sciences required solid mathematical foundations. Integral geometry studies geometric mean values with respect to invariant measures and is, therefore, the appropriate tool for the investigation of random geometric structures that exhibit invariance under translations or motions. Stochastic and Integral Geometry provides the mathematically oriented reader with a rigorous and detailed introduction to the basic stationary models used in stochastic geometry random sets, point processes, random mosaics and to the integral geometry that is needed for their investigation. The interplay between both disciplines is demonstrated by various fundamental results. A chapter on selected problems about geometric probabilities and an outlook to non-stationary models are included, and much additional information is given in the section notes."

Convex and Discrete Geometry is an area of mathematics situated between analysis, geometry and discrete mathematics with numerous relations to other areas. The book gives an overview of major results, methods and ideas of convex and discrete geometry and its applications. Besides being a graduate-level introduction to the field, it is a practical source of information and orientation for convex geometers. It should also be of use to people working in other areas of mathematics and in the applied fields.