Algebraic Toplogy

The articles in this volume study various cohomological aspects of algebraic varieties:
- characteristic classes of singular varieties;
- geometry of flag varieties;
- cohomological computations for homogeneous spaces;
- K-theory of algebraic varieties;
- quantum cohomology and Gromov-Witten theory.

The articles in this volume are devoted to:
- moduli of coherent sheaves;
- principal bundles and sheaves and their moduli;
- new insights into Geometric Invariant Theory;
- stacks of shtukas and their compactifications;
- algebraic cycles vs. commutative algebra;
- Thom polynomials of singularities;
- zero schemes of sections of vector bundles.

Shafarevich's Basic Algebraic Geometry has been a classic and universally used introduction to the subject since its first appearance over 40 years ago. As the translator writes in a prefatory note, ``For all [advanced undergraduate and beginning graduate] students, and for the many specialists in other branches of math who need a liberal education in algebraic geometry, Shafarevich’s book is a must.''

These notes are based on lectures given in the semmar on "Coding Theory and Algebraic Geometry" held at Schloss Mickeln, Diisseldorf, November 16-21, 1987. In 1982 Tsfasman, Vladut and Zink, using algebraic geometry and ideas of Goppa, constructed a seqeunce of codes that exceed the Gilbert-Varshamov bound. The result was considered sensational.

This textbook is designed for a one-year graduate course in real algebraic geometry, with a particular focus on positivity and sums of squares of polynomials.

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to make introductions and tools. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications.