It is a pleasure to welcome you to the proceedings of the second International Castle Meeting on Coding Theory and its Applications, held at La Mota Castle in Medina del Campo. The event provided a forum for the exchange of results and ideas, which we hope will foster future collaboration. The ?rst meeting was held in 1999, and, encouraged by that experience, we now intend to hold the meeting every three years. Springer kindly accepted to publish the proceedings volume you have in your hands in their LNCS series. The topics were selected to cover some of the areas of research in Coding Theory that are currently receiving the most attention. The program consisted of a mixture of invited and submitted talks, with the focus on quality rather than quantity. A total of 34 papers were submitted to themeeting.Afteracarefulreviewprocessconductedbythescienti?ccommittee aided by external reviewers, we selected 14 of these for inclusion in the current volume, along with 5 invited papers. The program was further augmented by the remaining invited papers in addition to papers on recent results, printed in a separate volume. We would like to thank everyone who made this meeting possible by helping with the practical and scienti?c preparations: the organization committee, the scienti?c committee, the invited speakers, and the many external reviewers who shall remain anonymous. I would especially like to mention the General Advisor ofthe meeting, OyvindYtrehus.Finally Iextend mygratitudeto allthe authors and participants who contributed to this meeting."

The problem of compactifying the moduli spaceA of principally polarized g abelian varieties has a long and rich history. The majority of recent work has focusedonthe toroidal compacti?cations constructed over C by Mumford and his coworkers, and over Z by Chai and Faltings. The main drawback of these compacti?cations is that they are not canonical and do not represent any r- sonable moduli problem on the category of schemes. The starting point for this work is the realization of Alexeev and Nakamura that there is a canonical compacti?cation of the moduli space of principally polarized abelian varieties. Indeed Alexeev describes a moduli problem representable by a proper al- braic stack over Z which containsA as a dense open subset of one of its g irreducible components. In this text we explain how, using logarithmic structures in the sense of Fontaine, Illusie, and Kato, one can de?ne a moduli problem "carving out" the main component in Alexeev's space. We also explain how to generalize the theory to higher degree polarizations and discuss various applications to moduli spaces for abelian varieties with level structure.

In this monograph, we de?ne and investigate an algebro-geometric analogue of Donaldson invariants by using moduli spaces of semistable sheaves with arbitrary ranks on a polarized projective surface. We may expect the existence of interesting "universal relations among invariants", which would be a natural generalization of the "wall-crossing formula" and the "Witten conjecture" for classical Donaldson invariants. Our goal is to obtain a weaker version of such relations, in other brief words, to describe a relation as the sum of integrals over the products of m- uli spaces of objects with lower ranks. Fortunately, according to a recent excellent work of L. Gottsche, H. Nakajima and K. Yoshioka, [53], a wall-crossing formula for Donaldson invariants of projective surfaces can be deduced from such a weaker result in the rank two case. We hope that our work in this monograph would, at least tentatively, provides a part of foundation for the further study on such universal relations. In the rest of this preface, we would like to explain our motivation and some of important ingredients of this study. See Introduction for our actual problems and results. Donaldson Invariants Let us brie?y recall Donaldson invariants. We refer to [22] for more details and precise. We also refer to [37], [39], [51] and [53]. LetX be a compact simply con- ? nected oriented real 4-dimensional C -manifold with a Riemannian metric g. Let P be a principalSO(3)-bundle on X.

"This book revives and vastly expands the classical theory of resultants and discriminants. Most of the main new results of the book have been published earlier in more than a dozen joint papers of the authors. The book nicely complements these original papers with many examples illustrating both old and new results of the theory." Mathematical Reviews

Aimed primarily at graduate students and beginning researchers, this book provides an introduction to algebraic geometry that is particularly suitable for those with no previous contact with the subject; it assumes only the standard background of undergraduate algebra. The book starts with easily-formulated problems with non-trivial solutions and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.

Homological mirror symmetry has its origins in theoretical physics but is now of great interest in mathematics due to the deep connections it reveals between different areas of geometry and algebra. This book offers a self-contained and accessible introduction to the subject via the representation theory of algebras and quivers. It is suitable for graduate students and others without a great deal of background in homological algebra and modern geometry. Each part offers a different perspective on homological mirror symmetry. Part I introduces the A-infinity formalism and offers a glimpse of mirror symmetry using representations of quivers. Part II discusses various A- and B-models in mirror symmetry and their connections through toric and tropical geometry. Part III deals with mirror symmetry for Riemann surfaces. The main mathematical ideas are illustrated by means of simple examples coming mainly from the theory of surfaces, helping the reader connect theory with intuition.

Thomas Cecil is a math professor with an unrivalled grasp of Lie Sphere Geometry. Here, he provides a clear and comprehensive modern treatment of the subject, as well as its applications to the study of Euclidean submanifolds. It begins with the construction of the space of spheres, including the fundamental notions of oriented contact, parabolic pencils of spheres, and Lie sphere transformations. This new edition contains revised sections on taut submanifolds, compact proper Dupin submanifolds, reducible Dupin submanifolds, and the cyclides of Dupin. Completely new material on isoparametric hypersurfaces in spheres and Dupin hypersurfaces with three and four principal curvatures is also included. The author surveys the known results in these fields and indicates directions for further research and wider application of the methods of Lie sphere geometry.

A q-clan with q a power of 2 is equivalent to a certain generalized quadrangle with a family of subquadrangles each associated with an oval in the Desarguesian plane of order 2. It is also equivalent to a flock of a quadratic cone, and hence to a line-spread of 3-dimensional projective space and thus to a translation plane, and more. These geometric objects are tied together by the so-called Fundamental Theorem of q-Clan Geometry. The book gives a complete proof of this theorem, followed by a detailed study of the known examples. The collineation groups of the associated generalized quadrangles and the stabilizers of their associated ovals are worked out completely.

Divisors and Sandpiles provides an introduction to the combinatorial theory of chip-firing on finite graphs. Part 1 motivates the study of the discrete Laplacian by introducing the dollar game. The resulting theory of divisors on graphs runs in close parallel to the geometric theory of divisors on Riemann surfaces, and Part I culminates in a full exposition of the graph-theoretic Riemann-Roch theorem due to M. Baker and S. Norine. The text leverages the reader's understanding of the discrete story to provide a brief overview of the classical theory of Riemann surfaces. Part 2 focuses on sandpiles, which are toy models of physical systems with dynamics controlled by the discrete Laplacian of the underlying graph. The text provides a careful introduction to the sandpile group and the abelian sandpile model, leading ultimately to L. Levine's threshold density theorem for the fixed-energy sandpile Markov chain. In a precise sense, the theory of sandpiles is dual to the theory of divisors, and there are many beautiful connections between the first two parts of the book. Part 3 addresses various topics connecting the theory of chip-firing to other areas of mathematics, including the matrix-tree theorem, harmonic morphisms, parking functions, $M$-matrices, matroids, the Tutte polynomial, and simplicial homology. The text is suitable for advanced undergraduates and beginning graduate students.

This two volume work on Positivity in Algebraic Geometry contains a contemporary account of a body of work in complex algebraic geometry loosely centered around the theme of positivity. Topics in Volume I include ample line bundles and linear series on a projective variety, the classical theorems of Lefschetz and Bertini and their modern outgrowths, vanishing theorems, and local positivity. Volume II begins with a survey of positivity for vector bundles, and moves on to a systematic development of the theory of multiplier ideals and their applications. A good deal of this material has not previously appeared in book form, and substantial parts are worked out here in detail for the first time. At least a third of the book is devoted to concrete examples, applications, and pointers to further developments.

Volume I is more elementary than Volume II, and, for the most part, it can be read without access to Volume II.

Here is a deformation theory for degenerations of complex curves; specifically, discussing deformations which induce splitting of the singular fiber of a degeneration. The author constructs a deformation of the degeneration in such a way that a subdivisor is "barked," or peeled off from the singular fiber. "Barking deformations" are related to deformations of surface singularities, in particular, cyclic quotient singularities, as well as the mapping class groups of Riemann surfaces via monodromies.

This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.

The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

The field of convex geometry has become a fertile subject of mathematical activity in the past few decades. This exposition, examining in detail those topics in convex geometry that are concerned with Euclidean space, is enriched by numerous examples, illustrations, and exercises, with a good bibliography and index.

The theory of intrinsic volumes for convex bodies, along with the Hadwiger characterization theorems, whose proofs are based on beautiful geometric ideas such as the rounding theorems and the Steiner formula, are treated in Part 1. In Part 2 the reader is given a survey on curvature and surface area measures and extensions of the class of convex bodies. Part 3 is devoted to the important class of star bodies and selectors for convex and star bodies, including a presentation of two famous problems of geometric tomography: the Shephard problem and the Busemanna "Petty problem.

Selected Topics in Convex Geometry requires of the reader only a basic knowledge of geometry, linear algebra, analysis, topology, and measure theory. The book can be used in the classroom setting for graduates courses or seminars in convex geometry, geometric and convex combinatorics, and convex analysis and optimization. Researchers in pure and applied areas will also benefit from the book.

This work treats an introduction to commutative ring theory and algebraic plane curves, requiring of the student only a basic knowledge of algebra, with all of the algebraic facts collected into several appendices that can be easily referred to, as needed. Kunz's proven conception of teaching topics in commutative algebra together with their applications to algebraic geometry makes this book significantly different from others on plane algebraic curves. The exposition focuses on the purely algebraic aspects of plane curve theory, leaving the topological and analytical viewpoints in the background, with only casual references to these subjects and suggestions for further reading. algebras, their graduated rings and Rees algebras, to deduce basic facts about the intersection theory of plane curves; presents residue theory in the affine plane and its applications to intersection theory; methods of proof for the Riemann-Roch theorem conform to the presentation of curve theory, formulated in the language of filtrations and associated graded rings; and examples, exercises, figures and suggestions for further study round out this fairly self-contained textbook.

The discovery of new algorithms for dealing with polynomial equations, and their implementation on fast, inexpensive computers, has revolutionized algebraic geometry and led to exciting new applications in the field. This book details many uses of algebraic geometry and highlights recent applications of Grobner bases and resultants. This edition contains two new sections, a new chapter, updated references and many minor improvements throughout.

Devised in the 19th century, Gauss and Jacobi Sums are classical formulas that form the basis for contemporary research in many of today's sciences. This book offers readers a solid grounding on the origin of these abstract, general theories. Though the main focus is on Gauss and Jacobi, the book does explore other relevant formulas, including Cauchy.

Algebraic Geometry often seems very abstract, but in fact it is full of concrete examples and problems. This side of the subject can be approached through the equations of a variety, and the syzygies of these equations are a necessary part of the study. This book is the first textbook-level account of basic examples and techniques in this area. It illustrates the use of syzygies in many concrete geometric considerations, from interpolation to the study of canonical curves. The text has served as a basis for graduate courses by the author at Berkeley, Brandeis, and in Paris. It is also suitable for self-study by a reader who knows a little commutative algebra and algebraic geometry already. As an aid to the reader, the appendices provide summaries of local cohomology and commutative algebra, tying together examples and major results from a wide range of topics.

Heegner points on both modular curves and elliptic curves over global fields of any characteristic form the topic of this research monograph. The Heegner module of an elliptic curve is an original concept introduced in this text. The computation of the cohomology of the Heegner module is the main technical result and is applied to prove the Tate conjecture for a class of elliptic surfaces over finite fields, this conjecture is equivalent to the Birch and Swinnerton-Dyer conjecture for the corresponding elliptic curves over global fields.

This ACM volume deals with tackling problems that can be represented by data structures which are essentially matrices with polynomial entries, mediated by the disciplines of commutative algebra and algebraic geometry. The discoveries stem from an interdisciplinary branch of research which has been growing steadily over the past decade. The author covers a wide range, from showing how to obtain deep heuristics in a computation of a ring, a module or a morphism, to developing means of solving nonlinear systems of equations - highlighting the use of advanced techniques to bring down the cost of computation. Although intended for advanced students and researchers with interests both in algebra and computation, many parts may be read by anyone with a basic abstract algebra course.

This is a book of problems in abstract algebra for strong undergraduates or beginning graduate students. It can be used as a supplement to a course or for self-study. The book provides more variety and more challenging problems than are found in most algebra textbooks. It is intended for students wanting to enrich their learning of mathematics by tackling problems that take some thought and effort to solve. The book contains problems on groups (including the Sylow Theorems, solvable groups, presentation of groups by generators and relations, and structure and duality for finite abelian groups); rings (including basic ideal theory and factorization in integral domains and Gauss's Theorem); linear algebra (emphasizing linear transformations, including canonical forms); and fields (including Galois theory). Hints to many problems are also included.

The NATO Advanced Study Institute "Axiomatic, enriched and rna tivic homotopy theory" took place at the Isaac Newton Institute of Mathematical Sciences, Cambridge, England during 9-20 September 2002. The Directors were J.P.C.Greenlees and I.Zhukov; the other or ganizers were P.G.Goerss, F.Morel, J.F.Jardine and V.P.Snaith. The title describes the content well, and both the event and the contents of the present volume reflect recent remarkable successes in model categor ies, structured ring spectra and homotopy theory of algebraic geometry. The ASI took the form of a series of 15 minicourses and a few extra lectures, and was designed to provide background, and to bring the par ticipants up to date with developments. The present volume is based on a number of the lectures given during the workshop. The ASI was the opening workshop of the four month programme "New Contexts for Stable Homotopy Theory" which explored several themes in greater depth. I am grateful to the Isaac Newton Institute for providing such an ideal venue, the NATO Science Committee for their funding, and to all the speakers at the conference, whether or not they were able to contribute to the present volume. All contributions were refereed, and I thank the authors and referees for their efforts to fit in with the tight schedule. Finally, I would like to thank my coorganizers and all the staff at the Institute for making the ASI run so smoothly. J.P.C.GREENLEES."

This book is the result of reworking part of a rather lengthy course of lectures of which we delivered several versions at the Leningrad and Moscow Universities. In these lectures we presented an introduction to the fundamental topics of topology: homology theory, homotopy theory, theory of bundles, and topology of manifolds. The structure of the course was well determined by the guiding term elementary topology, whose main significance resides in the fact that it made us use a rather simple apparatus. tn this book we have retained {hose sections of the course where algebra plays a subordinate role. We plan to publish the more algebraic part of the lectures as a separate book. Reprocessing the lectures to produce the book resulted in the profits and losses inherent in such a situation: the rigour has increased to the detriment of the intuitiveness, the geometric descriptions have been replaced by formulas needing interpretations, etc. Nevertheless, it seems to us tha.t the book retains the main qualities of our lectures: their elementary, systematic, and pedagogical features. The preparation of the reader is assumed to be limi ted to the usual knowledge of set .theory, algebra, and calculus which mathematics students should master after the first year and a half of studies. The exposition is accompanied by examples and exercises. We hope that the book can be used as a topology textbook."

This book contains the proceedings of the conference "Fractals in Graz 2001 - Analysis, Dynamics, Geometry, Stochastics" that was held in the second week of June 2001 at Graz University of Technology, in the capital of Styria, southeastern province of Austria. The scientific committee of the meeting consisted of M. Barlow (Vancouver), R. Strichartz (Ithaca), P. Grabner and W. Woess (both Graz), the latter two being the local organizers and editors of this volume. We made an effort to unite in the conference as well as in the present pro ceedings a multitude of different directions of active current work, and to bring together researchers from various countries as well as research fields that all are linked in some way with the modern theory of fractal structures. Although (or because) in Graz there is only a very small group working on fractal structures, consisting of "non-insiders," we hope to have been successful with this program of wide horizons. All papers were written upon explicit invitation by the editors, and we are happy to be able to present this representative panorama of recent work on poten tial theory, random walks, spectral theory, fractal groups, dynamic systems, fractal geometry, and more. The papers presented here underwent a refereeing process."

Mumford's famous Red Book gives a simple readable account of the basic objects of algebraic geometry, preserving as much as possible their geometric flavor and integrating this with the tools of commutative algebra. It is aimed at graduate students or mathematicians in other fields wishing to learn quickly what algebraic geometry is all about. This new edition also includes an overview of the theory of curves, their moduli spaces and their Jacobians, one of the most exciting fields within algebraic geometry. The book is aimed at graduate students and professors seeking to learni) the concept of "scheme" as part of their study of algebraic geometry and ii) an overview of moduli problems for curves and of the use of theta functions to study these.

The present book is devoted to a study of relative Prüfer rings and Manis valuations, with an eye to application in real and p-adic geometry. If one wants to expand on the usual algebraic geometry over a non-algebraically closed base field, e.g. a real closed field or p-adically closed field, one typically meets lots of valuation domains. Usually they are not discrete and hence not noetherian. Thus, for a further develomemt of real algebraic and real analytic geometry in particular, and certainly also rigid analytic and p-adic geometry, new chapters of commutative algebra are needed, often of a non-noetherian nature. The present volume presents one such chapter.