Let me begin with a little history. In the 20th century, algebraic geometry has gone through at least 3 distinct phases. In the period 1900-1930, largely under the leadership of the 3 Italians, Castelnuovo, Enriques and Severi, the subject grew immensely. In particular, what the late 19th century had done for curves, this period did for surfaces: a deep and systematic theory of surfaces was created. Moreover, the links between the "synthetic" or purely "algebro-geometric" techniques for studying surfaces, and the topological and analytic techniques were thoroughly explored. However the very diversity of tools available and the richness of the intuitively appealing geometric picture that was built up, led this school into short-cutting the fine details of all proofs and ignoring at times the time consuming analysis of special cases (e. g. , possibly degenerate configurations in a construction). This is the traditional difficulty of geometry, from High School Euclidean geometry on up. In the period 1930-1960, under the leadership of Zariski, Weil, and (towards the end) Grothendieck, an immense program was launched to introduce systematically the tools of commutative algebra into algebraic geometry and to find a common language in which to talk, for instance, of projective varieties over characteristic p fields as well as over the complex numbers. In fact, the goal, which really goes back to Kronecker, was to create a "geometry" incorporating at least formally arithmetic as well as projective geo metry.