Italian school of algebraic geometry


In relation with the history of mathematics, the Italian school of algebraic geometry refers to the work over half a century or more done internationally in birational geometry, particularly on algebraic surfaces. There were in the region of 30 to 40 leading mathematicians who made major contributions, about half of those being in fact Italian. The leadership fell to the group in Rome of Guido Castelnuovo, Federigo Enriques and Francesco Severi, who were involved in some of the deepest discoveries, as well as setting the style.

Algebraic surfaces

The emphasis on algebraic surfaces—algebraic varieties of dimension two—followed on from an essentially complete geometric theory of algebraic curves. The position in around 1870 was that the curve theory had incorporated with Brill–Noether theory the Riemann–Roch theorem in all its refinements.
The classification of algebraic surfaces was a bold and successful attempt to repeat the division of algebraic curves by their genus g. The division of curves corresponds to the rough classification into the three types: g = 0 ; g = 1 ; and g > 1. In the case of surfaces, the Enriques classification was into five similar big classes, with three of those being analogues of the curve cases, and two more being with the case of two-dimension abelian varieties in the 'middle' territory. This was an essentially sound, breakthrough set of insights, recovered in modern complex manifold language by Kunihiko Kodaira in the 1950s, and refined to include mod p phenomena by Zariski, the Shafarevich school and others by around 1960. The form of the Riemann–Roch theorem on a surface was also worked out.

Foundational issues

Some proofs produced by the school are not considered satisfactory because of foundational difficulties. These included frequent use of birational models in dimension three of surfaces that can have non-singular models only when embedded in higher-dimensional projective space. In order to avoid these issues, a sophisticated theory of handling a linear system of divisors was developed. Many modern techniques were found, in embryonic form, and in some cases the articulation of these ideas exceeded the available technical language.

The geometers

According to Guerraggio & Nastasi Luigi Cremona is "considered the founder of the Italian school of algebraic geometry". Later they explain that in Turin the collaboration of Enrico D'Ovidio and Corrado Segre "would bring, either by their own efforts or those of their students, Italian algebraic geometry to full maturity". A one-time student of Segre, H.F. Baker wrote, "may probably be said to be the father of that wonderful Italian school which has achieved so much in the birational theory of algebraical loci." On this topic, Brigaglia & Ciliberto say "Segre had headed and maintained the school of geometry that Luigi Cremona had established in 1860." Reference to the Mathematics Genealogy Project shows that, in terms of Italian doctorates, the real productivity of the school began with Guido Castelnuovo and Federigo Enriques. In the USA Oscar Zariski inspired many Ph.D.s.
The roll of honour of the school includes the following other Italians: Giacomo Albanese, Eugenio Bertini, Luigi Campedelli, Oscar Chisini, Michele De Franchis, Pasquale del Pezzo, Beniamino Segre, Francesco Severi, Guido Zappa.
Elsewhere it involved H. F. Baker and Patrick du Val, Arthur Byron Coble, Georges Humbert and Charles Émile Picard, Lucien Godeaux, Hermann Schubert and Max Noether, and later Erich Kähler, H. G. Zeuthen.
These figures were all involved in algebraic geometry, rather than the pursuit of projective geometry as synthetic geometry, which during the period under discussion was a huge but secondary subject.

Advent of topology

The new algebraic geometry that would succeed the Italian school was distinguished also by the intensive use of algebraic topology. The founder of that tendency was Henri Poincaré; during the 1930s it was developed by Lefschetz, Hodge and Todd. The modern synthesis brought together their work, that of the Cartan school, and of W.L. Chow and Kunihiko Kodaira, with the traditional material.

Collapse of the school

In the earlier years of the Italian school under Castelnuovo, the standards of rigor were as high as most areas of mathematics. Under Enriques it gradually became acceptable to use somewhat more informal arguments instead of complete rigorous proofs, such as the "principle of continuity" saying that what is true up to the limit is true at the limit, a claim that had neither a rigorous proof nor even a precise statement. At first this did not matter too much, as Enriques's intuition was so good that essentially all the results he claimed were in fact correct, and using this more informal style of argument allowed him to produce spectacular results about algebraic surfaces.
Unfortunately, from about 1930 onwards under Severi's leadership the standards of accuracy declined further, to the point where some of the claimed results were not just inadequately proved, but were hopelessly wrong.
For example, in 1934 Severi claimed that the space of rational equivalence classes of cycles on an algebraic surface is finite-dimensional, but showed that this is false for surfaces of positive geometric genus, and in 1946 Severi published a paper claiming to prove that a degree-6 surface in 3-dimensional projective space has at most 52 nodes, but the Barth sextic has 65 nodes.
Severi did not accept that his arguments were inadequate, leading to some acrimonious disputes as to the status of some results.
From about 1950 to 1980 there was considerable effort to salvage as much as possible from the wreckage, and convert it into the rigorous algebraic style of algebraic geometry set up by Weil and Zariski. In particular in the 1960s Kodaira and Shafarevich and his students rewrote the Enriques classification of algebraic surfaces in a more rigorous style, and also extended it to all compact complex surfaces, while in the 1970s Fulton and MacPherson put the classical calculations of intersection theory on rigorous foundations.