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.

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.

This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures - livered at the Centre de Recerca Matem ati ca in February 2008, as part of a special year on Homotopy Theory and Higher Categories. Ieke Moerdijk's lectures constitute an introduction to the theory ofdendroidal sets, an extension of the theory of simplicial sets designed as a foundation for the homotopy theory of operads. The theory has many features analogous to the theory of simplicial sets, but it also reveals many new phenomena, thanks to the presence of automorphisms of trees. Dendroidal sets admit a closed symmetric monoidal structure related to the Boardman{Vogt tensor product. The lecture notes develop the theory very carefully, starting from scratch with the combinatorics of trees, and culminating with a model structure on the category of dendroidal sets for which the brant objects are the inner Kan dendroidal sets. The important concepts are illustrated with detailed examples.

The first contribution by Carter covers the theory of finite groups of Lie type, an important field of current mathematical research. In the second part, Platonov and Yanchevskii survey the structure of finite-dimensional division algebras, including an account of reduced K-theory.

The theory of elliptic curves involves a blend of algebra, geometry, analysis, and number theory. This book stresses this interplay as it develops the basic theory, providing an opportunity for readers to appreciate the unity of modern mathematics. The book 's accessibility, the informal writing style, and a wealth of exercises make it an ideal introduction for those interested in learning about Diophantine equations and arithmetic geometry.

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

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.

"This book succeeds brilliantly by concentrating on a number of core topics...and by treating them in a hugely rich and varied way. The author ensures that the reader will learn a large amount of classical material and perhaps more importantly, will also learn that there is no one approach to the subject. The essence lies in the range and interplay of possible approaches. The author is to be congratulated on a work of deep and enthusiastic scholarship." --MATHEMATICAL REVIEWS

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.

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.

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.

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.

This is a book about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover. It grew out of undergr- uate courses that the author taught at Harvard, UC San Diego, and the University of Washington. The systematic study of number theory was initiated around 300B. C. when Euclid proved that there are in?nitely many prime numbers, and also cleverly deduced the fundamental theorem of arithmetic, which asserts that every positive integer factors uniquely as a product of primes. Over a thousand years later (around 972A. D. ) Arab mathematicians formulated the congruent number problem that asks for a way to decide whether or not a given positive integer n is the area of a right triangle, all three of whose sides are rational numbers. Then another thousand years later (in 1976), Di?e and Hellman introduced the ?rst ever public-key cryptosystem, which enabled two people to communicate secretely over a public communications channel with no predetermined secret; this invention and the ones that followed it revolutionized the world of digital communication. In the 1980s and 1990s, elliptic curves revolutionized number theory, providing striking new insights into the congruent number problem, primality testing, publ- key cryptography, attacks on public-key systems, and playing a central role in Andrew Wiles' resolution of Fermat's Last Theorem.

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.

This book explores the theory and application of locally nilpotent derivations. It provides a unified treatment of the subject, beginning with sixteen First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschler 's Theorem for the plane, right up to the most recent results, such as Makar-Limanov 's Theorem for locally nilpotent derivations of polynomial rings. The book also includes a wealth of pexamples and open problems.

Integer programming (IP) is a fascinating topic. Indeed, while linear programming (LP), its c- tinuous analogue, is well understood and extremely ef?cient LP software packages exist, solving an integer program can remain a formidable challenge, even for some small size problems. For instance, the following small (5-variable) IP problem (called the unbounded knapsack problem) min{213x?1928x?11111x?2345x +9123x} 1 2 3 4 5 s.t. 12223x +12224x +36674x +61119x +85569x = 89643482, 1 2 3 4 5 x ,x ,x ,x ,x?N, 1 2 3 4 5 taken from a list of dif?cult knapsack problems in Aardal and Lenstra [2], is not solved even by hours of computing, using for instance the last version of the ef?cient software package CPLEX. However,thisisnotabookonintegerprogramming,asverygoodonesonthistopicalreadyexist. For standard references on the theory and practice of integer programming, the interested reader is referred to, e.g., Nemhauser and Wolsey [113], Schrijver [121], Wolsey [136], and the more recent Bertsimas and Weismantel [21]. On the other hand, this book could provide a complement to the above books as it develops a rather unusual viewpoint.

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.

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