This EMS volume provides an exposition of the structure theory of Fano varieties, i.e. algebraic varieties with an ample anticanonical divisor. This book will be very useful as a reference and research guide for researchers and graduate students in algebraic geometry.

An arrangement of hyperplanes is a finite collection of codimension one affine subspaces in a finite dimensional vector space. Arrangements have emerged independently as important objects in various fields of mathematics such as combinatorics, braids, configuration spaces, representation theory, reflection groups, singularity theory, and in computer science and physics. This book is the first comprehensive study of the subject. It treats arrangements with methods from combinatorics, algebra, algebraic geometry, topology, and group actions. It emphasizes general techniques which illuminate the connections among the different aspects of the subject. Its main purpose is to lay the foundations of the theory. Consequently, it is essentially self-contained and proofs are provided. Nevertheless, there are several new results here. In particular, many theorems that were previously known only for central arrangements are proved here for the first time in completegenerality. The text provides the advanced graduate student entry into a vital and active area of research. The working mathematician will findthe book useful as a source of basic results of the theory, open problems, and a comprehensive bibliography of the subject.

Graphs drawn on two-dimensional surfaces have always attracted researchers by their beauty and by the variety of difficult questions to which they give rise. The theory of such embedded graphs, which long seemed rather isolated, has witnessed the appearance of entirely unexpected new applications in recent decades, ranging from Galois theory to quantum gravity models, and has become a kind of a focus of a vast field of research. The book provides an accessible introduction to this new domain, including such topics as coverings of Riemann surfaces, the Galois group action on embedded graphs (Grothendieck's theory of "dessins d'enfants"), the matrix integral method, moduli spaces of curves, the topology of meromorphic functions, and combinatorial aspects of Vassiliev's knot invariants and, in an appendix by Don Zagier, the use of finite group representation theory. The presentation is concrete throughout, with numerous figures, examples (including computer calculations) and exercises, and should appeal to both graduate students and researchers.

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.

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.

The articles in this volume are an outgrowth of a colloquium "Systemes Integrables et Feuilletages," which was held in honor of the sixtieth birthday of Pierre Molino.
The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems.
Contributors to the volume include: Y. Benoist, G. Cairns, V. Cavalier, H. Flaschka, E. Ghys, A. Haefliger, B. Jessup, A. Lichnerowicz, G. Meigniez, I. Moerdijk, J. Pitkethly, T. Ratiu, J. Turiel, I. Vaisman, and P. Vanhaechke.

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.

Recent advances in both the theory and implementation of computational algebraic geometry have led to new, striking applications to a variety of fields of research. The articles in this volume highlight a range of these applications and provide introductory material for topics covered in the IMA workshops on "Optimization and Control" and "Applications in Biology, Dynamics, and Statistics" held during the IMA year on Applications of Algebraic Geometry. The articles related to optimization and control focus on burgeoning use of semidefinite programming and moment matrix techniques in computational real algebraic geometry. The new direction towards a systematic study of non-commutative real algebraic geometry is well represented in the volume. Other articles provide an overview of the way computational algebra is useful for analysis of contingency tables, reconstruction of phylogenetic trees, and in systems biology. The contributions collected in this volume are accessible to non-experts, self-contained and informative; they quickly move towards cutting edge research in these areas, and provide a wealth of open problems for future research.

The application of geometric algebra to the engineering sciences is a young, active subject of research. The promise of this field is that the mathematical structure of geometric algebra together with its descriptive power will result in intuitive and more robust algorithms.

This book examines all aspects essential for a successful application of geometric algebra: the theoretical foundations, the representation of geometric constraints, and the numerical estimation from uncertain data. Formally, the book consists of two parts: theoretical foundations and applications. The first part includes chapters on random variables in geometric algebra, linear estimation methods that incorporate the uncertainty of algebraic elements, and the representation of geometry in Euclidean, projective, conformal and conic space. The second part is dedicated to applications of geometric algebra, which include uncertain geometry and transformations, a generalized camera model, and pose estimation.

Graduate students, scientists, researchers and practitioners will benefit from this book. The examples given in the text are mostly recent research results, so practitioners can see how to apply geometric algebra to real tasks, while researchers note starting points for future investigations. Students will profit from the detailed introduction to geometric algebra, while the text is supported by the author's visualization software, CLUCalc, freely available online, and a website that includes downloadable exercises, slides and tutorials.

The main aim of this book is to present a completely algebraic approach to the Enriques classification of smooth projective surfaces defined over an algebraically closed field of arbitrary characteristic. This algebraic approach is one of the novelties of this book among the other modern textbooks devoted to this subject. Two chapters on surface singularities are also included. The book can be useful as a textbook for a graduate course on surfaces, for researchers or graduate students in algebraic geometry, as well as those mathematicians working in algebraic geometry or related fields.

Metric fixed point theory encompasses the branch of fixed point theory which metric conditions on the underlying space and/or on the mappings play a fundamental role. In some sense the theory is a far-reaching outgrowth of Banach's contraction mapping principle. A natural extension of the study of contractions is the limiting case when the Lipschitz constant is allowed to equal one. Such mappings are called nonexpansive. Nonexpansive mappings arise in a variety of natural ways, for example in the study of holomorphic mappings and hyperconvex metric spaces. Because most of the spaces studied in analysis share many algebraic and topological properties as well as metric properties, there is no clear line separating metric fixed point theory from the topological or set-theoretic branch of the theory. Also, because of its metric underpinnings, metric fixed point theory has provided the motivation for the study of many geometric properties of Banach spaces. The contents of this Handbook reflect all of these facts. The purpose of the Handbook is to provide a primary resource for anyone interested in fixed point theory with a metric flavor. The goal is to provide information for those wishing to find results that might apply to their own work and for those wishing to obtain a deeper understanding of the theory. The book should be of interest to a wide range of researchers in mathematical analysis as well as to those whose primary interest is the study of fixed point theory and the underlying spaces. The level of exposition is directed to a wide audience, including students and established researchers.

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

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

The modern theory of Kleinian groups starts with the work of Lars Ahlfors and Lipman Bers; specifically with Ahlfors' finiteness theorem, and Bers' observation that their joint work on the Beltrami equation has deep implications for the theory of Kleinian groups and their deformations. From the point of view of uniformizations of Riemann surfaces, Bers' observation has the consequence that the question of understanding the different uniformizations of a finite Riemann surface poses a purely topological problem; it is independent of the conformal structure on the surface. The last two chapters here give a topological description of the set of all (geometrically finite) uniformizations of finite Riemann surfaces. We carefully skirt Ahlfors' finiteness theorem. For groups which uniformize a finite Riemann surface; that is, groups with an invariant component, one can either start with the assumption that the group is finitely generated, and then use the finiteness theorem to conclude that the group represents only finitely many finite Riemann surfaces, or, as we do here, one can start with the assumption that, in the invariant component, the group represents a finite Riemann surface, and then, using essentially topological techniques, reach the same conclusion. More recently, Bill Thurston wrought a revolution in the field by showing that one could analyze Kleinian groups using 3-dimensional hyperbolic geome try, and there is now an active school of research using these methods."

It is now more than five years since the Belgian block cipher Rijndael was chosen as the Advanced Encryption Standard {AES). Joan Daemen and Vincent Rijmcn used algebraic techniques to provide an unparalleled level of assurance against many standard statistical cryptanalytic tech- niques. The cipher is a fitting tribute to their distinctive approach to cipher design. Since the publication of the AES, however, the very same algebraic structures have been the subject of increasing cryptanalytic attention and this monograph has been written to summarise current research. We hope that this work will be of interest to both cryptogra- phers and algebraists and will stimulate future research. During the writing of this monograph we have found reasons to thank many people. We are especially grateful to the British Engineering and Physical Sciences Research Council (EPSRC) for their funding of the research project Security Analysis of the Advanced Encryption System (Grant GR/S42637), and to Susan Lagerstrom-Fifc and Sharon Palleschi at Springer. Wo would also hke to thank Glaus Diem, Maura Paterson, and Ludovic Perret for their valuable comments. Finally, the support of our families at home and our colleagues at work has been invaluable and particularly appreciated.

In the spring of 1976, George Andrews of Pennsylvania State University visited the library at Trinity College, Cambridge, to examine the papers of the late G.N. Watson. Among these papers, Andrews discovered a sheaf of 138 pages in the handwriting of Srinivasa Ramanujan. This manuscript was soon designated "Ramanujan's lost notebook." The "lost notebook" contains considerable material on mock theta functions and so undoubtedly emanates from the last year of Ramanujan's life. It should be emphasized that the material on mock theta functions is perhaps Ramanujan's deepest work.

A new combinatorial foundation of the two concepts, based on a consideration of deep and classical results of homotopy theory, and an axiomatic characterization of the assumptions under which results in this field hold. Includes numerous explicit examples and applications in various fields of topology and algebra.

In Commutative Algebra certain /-adic filtrations of Noetherian rings, i.e. the so-called Zariski rings, are at the basis of singularity theory. Apart from that it is mainly in the context of Homological Algebra that filtered rings and the associated graded rings are being studied not in the least because of the importance of double complexes and their spectral sequences. Where non-commutative algebra is concerned, applications of the theory of filtrations were mainly restricted to the study of enveloping algebras of Lie algebras and, more extensively even, to the study of rings of differential operators. It is clear that the operation of completion at a filtration has an algebraic genotype but a topological fenotype and it is exactly the symbiosis of Algebra and Topology that works so well in the commutative case, e.g. ideles and adeles in number theory or the theory of local fields, Puisseux series etc, .... . In Non commutative algebra the bridge between Algebra and Analysis is much more narrow and it seems that many analytic techniques of the non-commutative kind are still to be developed. Nevertheless there is the magnificent example of the analytic theory of rings of differential operators and 1J-modules a la Kashiwara-Shapira."

Exploring the connections between arithmetic and geometric properties of algebraic varieties has been the object of much fruitful study for a long time, especially in the case of curves. The aim of the Summer School and Conference on "Higher Dimensional Varieties and Rational Points" held in Budapest, Hungary during September 2001 was to bring together students and experts from the arithmetic and geometric sides of algebraic geometry in order to get a better understanding of the current problems, interactions and advances in higher dimension. The lecture series and conference lectures assembled in this volume give a comprehensive introduction to students and researchers in algebraic geometry and in related fields to the main ideas of this rapidly developing area.

Fundamentals of Convex Analysis offers an in-depth look at some of the fundamental themes covered within an area of mathematical analysis called convex analysis. In particular, it explores the topics of duality, separation, representation, and resolution. The work is intended for students of economics, management science, engineering, and mathematics who need exposure to the mathematical foundations of matrix games, optimization, and general equilibrium analysis. It is written at the advanced undergraduate to beginning graduate level and the only formal preparation required is some familiarity with set operations and with linear algebra and matrix theory. Fundamentals of Convex Analysis is self-contained in that a brief review of the essentials of these tool areas is provided in Chapter 1. Chapter exercises are also provided. Topics covered include: convex sets and their properties; separation and support theorems; theorems of the alternative; convex cones; dual homogeneous systems; basic solutions and complementary slackness; extreme points and directions; resolution and representation of polyhedra; simplicial topology; and fixed point theorems, among others. A strength of this work is how these topics are developed in a fully integrated fashion.

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

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.

From the reviews "This book gives a thorough introduction to several theories that are fundamental to research on modular forms. Most of the material, despite its importance, had previously been unavailable in textbook form. Complete and readable proofs are given... In conclusion, this book is a welcome addition to the literature for the growing number of students and mathematicians in other fields who want to understand the recent developments in the theory of modular forms."
#"Mathematical Reviews"#
"This book will certainly be indispensable to all those wishing to get an up-to-date initiation to the theory of modular forms."
#"Publicationes Mathematicae"#