A morphism of algebraic varieties (over a field characteristic 0) is monomial if it can locally be represented in e'tale neighborhoods by a pure monomial mappings. The book gives proof that a dominant morphism from a nonsingular 3-fold X to a surface S can be monomialized by performing sequences of blowups of nonsingular subvarieties of X and S.The construction is very explicit and uses techniques from resolution of singularities. A research monograph in algebraic geometry, it addresses researchers and graduate students.

'Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d' etre of this series."

This book provides a self-contained exposition of the theory of plane Cremona maps, reviewing the classical theory. The book updates, correctly proves and generalises a number of classical results by allowing any configuration of singularities for the base points of the plane Cremona maps. It also presents some material which has only appeared in research papers and includes new, previously unpublished results. This book will be useful as a reference text for any researcher who is interested in the topic of plane birational maps.

An up-to-date report on the current status of important research topics in algebraic geometry and its applications, such as computational algebra and geometry, singularity theory algorithms, numerical solutions of polynomial systems, coding theory, communication networks, and computer vision. Contributions on more fundamental aspects of algebraic geometry include expositions related to counting points on varieties over finite fields, Mori theory, linear systems, Abelian varieties, vector bundles on singular curves, degenerations of surfaces, and mirror symmetry of Calabi-Yau manifolds.

This book treats the general theory of Poisson structures and integrable systems on affine varieties in a systematic way. Special attention is drawn to algebraic completely integrable systems. Several integrable systems are constructed and studied in detail and a few applications of integrable systems to algebraic geometry are worked out.In the second edition some of the concepts in Poisson geometry are clarified by introducting Poisson cohomology; the Mumford systems are constructed from the algebra of pseudo-differential operators, which clarifies their origin; a new explanation of the multi Hamiltonian structure of the Mumford systems is given by using the loop algebra of sl(2); and finally Goedesic flow on SO(4) is added to illustrate the linearizatin algorith and to give another application of integrable systems to algebraic geometry.

Ruled varieties are unions of a family of linear spaces. They are objects of algebraic geometry as well as differential geometry, especially if the ruling is developable.
This book is an introduction to both aspects, the algebraic and differential one. Starting from very elementary facts, the necessary techniques are developed, especially concerning Grassmannians and fundamental forms in a version suitable for complex projective algebraic geometry. Finally, this leads to recent results on the classification of developable ruled varieties and facts about tangent and secant varieties.
Compared to many other topics of algebraic geometry, this is an area easily accessible to a graduate course.

Lie linksbetweentorus and Toroidal arethe complex missing groups any groups such and of Lie as complex pseudoconvexity groups. Manyphenomena groups the of beunderstood thestructure can onlythrough concept cohomologygroups of different behavior ofthe oftoroidal The cohomology complex groups groups. the of their toroidal Lie be characterized can by properties groups - groups in their centers. pearing book. So the oldest have not been treated in a Toroidal systematically groups in it who worked in this field and the mathematician youngest working living aboutthemain results these decidedto a concerning comprehensivesurvey give and to discuss problems. open groups of the torus As the Toroidal are generalization groups. groups non-compact and Grauert. As in the sense ofAndreotti manifolds are convex complex they others have similarbehaviorto Lie someofthem a complextori, complex groups whencec- different with for non-Hausdorff are example cohomology groups, mustbe used. newmethods pletely of is to describe the fundamental The aim of these lecture notes properties the reductiontheorem toroidal As a result ofthe qua- meromorphic groups. basic ends inthethird varieties of interest.Their Abelian are special description MainTheorem. withthe chapter wide atthe - ofSOPHus LIE -wasintroducedtoa This inhonour public theory " 1999. after Lie" in on Conference 100Years Leipzig, July 8-9, Sophus HUMBOLDT wishes to thank the ALEXANDER VON The first-named author FOUNDATION for partial support. December 1998 Hannoverand Toyama, YukitakaAbeandKlaus Kopfermann Contents 1 Introduction ..................................................... of Toroidal 3 1. The Concept Groups ............................. 1.1 and toroidal coordinates 3 Irrationality ........................ Toroidal 3 ........................................... groups 7 Complex homomorphisms .................................. Toroidal coordinates and C*n-q -fibre bundles 9 .................

It is an historical goal of algebraic number theory to relate all algebraic extensionsofanumber?eldinauniquewaytostructuresthatareexclusively described in terms of the base ?eld. Suitable structures are the prime ideals of the ring of integers of the considered number ?eld. By examining the behaviouroftheprimeidealswhenembeddedintheextension?eld, su?cient information should be collected to distinguish the given extension from all other possible extension ?elds. The ring of integers O of an algebraic number ?eld k is a Dedekind ring. k Any non-zero ideal in O possesses therefore a decomposition into a product k of prime ideals in O which is unique up to permutations of the factors. This k decomposition generalizes the prime factor decomposition of numbers in Z Z. In order to keep the uniqueness of the factors, view has to be changed from elements of O to ideals of O . k k Given an extension K/k of algebraic number ?elds and a prime ideal p of O, the decomposition law of K/k describes the product decomposition of k the ideal generated by p in O and names its characteristic quantities, i. e. K the number of di?erent prime ideal factors, their respective inertial degrees, and their respective rami?cation indices. Whenlookingatdecompositionlaws, weshouldinitiallyrestrictourselves to Galois extensions. This special case already o?ers quite a few di?culties

The theory of schemes is the foundation for algebraic geometry proposed and elaborated by Alexander Grothendieck and his co-workers. It has allowed major progress in classical areas of algebraic geometry such as invariant theory and the moduli of curves. It integrates algebraic number theory with algebraic geometry, fulfilling the dreams of earlier generations of number theorists. This integration has led to proofs of some of the major conjectures in number theory (Deligne's proof of the Weil Conjectures, Faltings' proof of the Mordell Conjecture). This book is intended to bridge the chasm between a first course in classical algebraic geometry and a technical treatise on schemes. It focuses on examples, and strives to show "what is going on" behind the definitions. There are many exercises to test and extend the reader's understanding. The prerequisites are modest: a little commutative algebra and an acquaintance with algebraic varieties, roughly at the level of a one-semester course. The book aims to show schemes in relation to other geometric ideas, such as the theory of manifolds. Some familiarity with these ideas is helpful, though not required.

In the last five years there has been very significant progress in the development of transcendence theory. A new approach to the arithmetic properties of values of modular forms and theta-functions was found. The solution of the Mahler-Manin problem on values of modular function j(tau) and algebraic independence of numbers pi and e DEGREES(pi) are most impressive results of this breakthrough. The book presents these and other results on algebraic independence of numbers and further, a detailed exposition of methods created in last the 25 years, during which commutative algebra and algebraic geometry exerted strong catalytic influence on the development of the s

Grothendieck's duality theory for coherent cohomology is a fundamental tool in algebraic geometry and number theory, in areas ranging from the moduli of curves to the arithmetic theory of modular forms. Presented is a systematic overview of the entire theory, including many basic definitions and a detailed study of duality on curves, dualizing sheaves, and Grothendieck's residue symbol. Along the way proofs are given of some widely used foundational results which are not proven in existing treatments of the subject, such as the general base change compatibility of the trace map for proper Cohen-Macaulay morphisms (e.g., semistable curves). This should be of interest to mathematicians who have some familiarity with Grothendieck's work and wish to understand the details of this theory.

This is the first attempt of a systematic study of real Enriques surfaces culminating in their classification up to deformation. Simple explicit topological invariants are elaborated for identifying the deformation classes of real Enriques surfaces. Some of theses are new and can be applied to other classes of surfaces or higher-dimensional varieties. Intended for researchers and graduate students in real algebraic geometry it may also interest others who want to become familiar with the field and its techniques. The study relies on topology of involutions, arithmetics of integral quadratic forms, algebraic geometry of surfaces, and the hyperk hler structure of K3-surfaces. A comprehensive summary of the necessary results and techniques from each of these fields is included. Some results are developed further, e.g., a detailed study of lattices with a pair of commuting involutions and a certain class of rational complex surfaces.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

Using harmonic maps, non-linear PDE and techniques from algebraic geometry this book enables the reader to study the relation between fundamental groups and algebraic geometry invariants of algebraic varieties. The reader should have a basic knowledge of algebraic geometry and non-linear analysis. This book can form the basis for graduate level seminars in the area of topology of algebraic varieties. It also contains present new techniques for researchers working in this area.

This book treats the theory of representations of homogeneous polynomials as sums of powers of linear forms. The first two chapters are introductory, and focus on binary forms and Waring's problem. Then the author's recent work is presented mainly on the representation of forms in three or more variables as sums of powers of relatively few linear forms. The methods used are drawn from seemingly unrelated areas of commutative algebra and algebraic geometry, including the theories of determinantal varieties, of classifying spaces of Gorenstein-Artin algebras, and of Hilbert schemes of zero-dimensional subschemes. Of the many concrete examples given, some are calculated with the aid of the computer algebra program "Macaulay," illustrating the abstract material. The final chapter considers open problems. This book will be of interest to graduate students, beginning researchers, and seasoned specialists. Prerequisite is a basic knowledge of commutative algebra and algebraic geometry.

The subject of algebraic cycles has thrived through its interaction with algebraic K-theory, Hodge theory, arithmetic algebraic geometry, number theory, and topology. These interactions have led to such developments as a description of Chow groups in terms of algebraic K-theory, the arithmetic Abel-Jacobi mapping, progress on the celebrated conjectures of Hodge and Tate, and the conjectures of Bloch and Beilinson. The immense recent progress in algebraic cycles, based on so many interactions with so many other areas of mathematics, has contributed to a considerable degree of inaccessibility, especially for graduate students. Even specialists in one approach to algebraic cycles may not understand other approaches well. This book offers students and specialists alike a broad perspective of algebraic cycles, presented from several viewpoints, including arithmetic, transcendental, topological, motives and K-theory methods. Topics include a discussion of the arithmetic Abel-Jacobi mapping, higher Abel-Jacobi regulator maps, polylogarithms and L-series, candidate Bloch-Beilinson filtrations, applications of Chern-Simons invariants to algebraic cycles via the study of algebraic vector bundles with algebraic connection, motivic cohomology, Chow groups of singular varieties, and recent progress on the Hodge and Tate conjectures for Abelian varieties.

This book, the first printing of which was published as volume 38 of the Encyclopaedia of Mathematical Sciences, presents a modern approach to homological algebra, based on the systematic use of the terminology and ideas of derived categories and derived functors. The book contains applications of homological algebra to the theory of sheaves on topological spaces, to Hodge theory, and to the theory of modules over rings of algebraic differential operators (algebraic D-modules). The authors Gelfand and Manin explain all the main ideas of the theory of derived categories. Both authors are well-known researchers and the second, Manin, is famous for his work in algebraic geometry and mathematical physics. The book is an excellent reference for graduate students and researchers in mathematics and also for physicists who use methods from algebraic geometry and algebraic topology.

Introduction Model theorists have often joked in recent years that the part of mathemat- ical logic known as "pure model theory" (or stability theory), as opposed to the older and more traditional "model theory applied to algebra" , turns out to have more and more to do with other subjects ofmathematics and to yield gen- uine applications to combinatorial geometry, differential algebra and algebraic geometry. We illustrate this by presenting the very striking application to diophantine geometry due to Ehud Hrushovski: using model theory, he has given the first proof valid in all characteristics of the "Mordell-Lang conjecture for function fields" (The Mordell-Lang conjecture for function fields, Journal AMS 9 (1996), 667-690). More recently he has also given a new (model theoretic) proof of the Manin-Mumford conjecture for semi-abelian varieties over a number field. His proofyields the first effective bound for the cardinality ofthe finite sets involved (The Manin-Mumford conjecture, preprint). There have been previous instances of applications of model theory to alge- bra or number theory, but these appl~cations had in common the feature that their proofs used a lot of algebra (or number theory) but only very basic tools and results from the model theory side: compactness, first-order definability, elementary equivalence...

This book contains 22 lectures presented at the final conference of the Ger man research program (Schwerpunktprogramm) Algorithmic Number The ory and Algebra 1991-1997, sponsored by the Deutsche Forschungsgemein schaft. The purpose of this research program and of the meeting was to bring together developers of computer algebra software and researchers using com putational methods to gain insight into experimental problems and theoret ical questions in algebra and number theory. The book gives an overview on algorithmic methods and on results ob tained during this period. This includes survey articles on the main research projects within the program: * algorithmic number theory emphasizing class field theory, constructive Galois theory, computational aspects of modular forms and of Drinfeld modules * computational algebraic geometry including real quantifier elimination and real algebraic geometry, and invariant theory of finite groups * computational aspects of presentations and representations of groups, especially finite groups of Lie type and their Heeke algebras, and of the isomorphism problem in group theory. Some of the articles illustrate the current state of computer algebra sys tems and program packages developed with support by the research pro gram, such as KANT and LiDIA for algebraic number theory, SINGULAR, RED LOG and INVAR for commutative algebra and invariant theory respec tively, and GAP, SYSYPHOS and CHEVIE for group theory and representation theory.

A guide to a rich and fascinating subject: algebraic curves and how they vary in families. Providing a broad but compact overview of the field, this book is accessible to readers with a modest background in algebraic geometry. It develops many techniques, including Hilbert schemes, deformation theory, stable reduction, intersection theory, and geometric invariant theory, with the focus on examples and applications arising in the study of moduli of curves. From such foundations, the book goes on to show how moduli spaces of curves are constructed, illustrates typical applications with the proofs of the Brill-Noether and Gieseker-Petri theorems via limit linear series, and surveys the most important results about their geometry ranging from irreducibility and complete subvarieties to ample divisors and Kodaira dimension. With over 180 exercises and 70 figures, the book also provides a concise introduction to the main results and open problems about important topics which are not covered in detail.

The book is devoted to the geometrical construction of the representations of Lusztig's small quantum groups at roots of unity. These representations are realized as some spaces of vanishing cycles of perverse sheaves over configuration spaces. As an application, the bundles of conformal blocks over the moduli spaces of curves are studied. The book is intended for specialists in group representations and algebraic geometry.

Schubert varieties and degeneracy loci have a long history in mathematics, starting from questions about loci of matrices with given ranks. These notes, from a summer school in Thurnau, aim to give an introduction to these topics, and to describe recent progress on these problems. There are interesting interactions with the algebra of symmetric functions and combinatorics, as well as the geometry of flag manifolds and intersection theory and algebraic geometry.

George Collins discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. In addition to original contributions by S. Basu et al., L. Gonzalez-Vega et al., G. Hagel, H. Hong and J.R. Sendra, J.R. Johnson, S. McCallum, D. Richardson, and V. Weispfenning and a survey by G.E. Collins outlining the twenty-year progress in CAD-based QE it brings together seminal publications from the area: A. Tarski: A Decision Method for Elementary Algebra and Geometry G.E. Collins: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition M.J. Fischer and M.O. Rabin: Super-Exponential Complexity of Presburger Arithmetic D.S. Arnon et al.: Cylindrical Algebraic Decomposition I: The Basic Algorithm; II: An Adjacency Algorithm for the Plane H. Hong: An Improvement of the Projection Operator in Cyclindrical Algebraic Decomposition G.E. Collins and H. Hong: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination H. Hong: Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination J. Renegar: Recent Progress on the Complexity of the Decision Problem for the Reals

A self-contained introduction is given to J. Rickard's Morita theory for derived module categories and its recent applications in representation theory of finite groups. In particular, Brou 's conjecture is discussed, giving a structural explanation for relations between the p-modular character table of a finite group and that of its "p-local structure." The book is addressed to researchers or graduate students and can serve as material for a seminar. It surveys the current state of the field, and it also provides a "user's guide" to derived equivalences and tilting complexes. Results and proofs are presented in the generality needed for group theoretic applications.

From the reviews: "This volume... consists of two papers. The first, written by V.V. Shokurov, is devoted to the theory of Riemann surfaces and algebraic curves. It is an excellent overview of the theory of relations between Riemann surfaces and their models - complex algebraic curves in complex projective spaces. ... The second paper, written by V.I. Danilov, discusses algebraic varieties and schemes. ... I can recommend the book as a very good introduction to the basic algebraic geometry." "European Mathematical Society" "Newsletter, 1996"
..". To sum up, this book helps to learn algebraic geometry in a short time, its concrete style is enjoyable for students and reveals the beauty of mathematics." Acta Scientiarum Mathematicarum