In relation to the history of mathematics, the Italian school of algebraic geometry refers to mathematicians and their work in birational geometry, particularly on algebraic surfaces, centered around Rome roughly from 1885 to 1935. There were 30 to 40 leading mathematicians who made major contributions, about half of those being 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.
The classification of algebraic surfaces was a bold and successful attempt to repeat the division of algebraic curves by their genusg. The division of curves corresponds to the rough classification into the three types: g = 0 (projective line); g = 1 (elliptic curve); and g > 1 (Riemann surfaces with independent holomorphic differentials). 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 (elliptic fibrations, and K3 surfaces, as they would now be called) 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 (in effect, a line bundle theory for hyperplane sections of putative embeddings in projective space). 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 (page 9, 2005), 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[1] that Corrado Segre "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 (2004) 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.
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 (in volume terms) but secondary subject (when judged by its importance as research).
Further development of the theory of plane curves is only fruitful when it is connected with the theory of Riemann surfaces and Abelian functions. This has been a favorite study during the last fifty years, of the Italian geometers, and they have also made contributions of great beauty to a similar theory of surfaces and of “Varieties” of higher dimensions. Herein a combination of the theory of integrals on the varieties, and of their topology, yields decisive results. The theory of curves and surfaces is thus connected with modern algebra and topology...
The new algebraic geometry that would succeed the Italian school was distinguished 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.
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 incorrect. For example, in 1934 Severi claimed that the space of rational equivalence classes of cycles on an algebraic surface is finite-dimensional, but Mumford (1968) 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.
By about 1950 it had become too difficult to tell which of the results claimed were correct, and the informal intuitive school of algebraic geometry collapsed due to its inadequate foundations.[citation needed] From about 1950 to 1980 there was considerable effort to salvage as much as possible, 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.
Related Research Articles
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometrical problems. Classically, it studies zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects.
Oscar Zariski was a Russian-born American mathematician and one of the most influential algebraic geometers of the 20th century.
In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.
David Bryant Mumford is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two and so of dimension four as a smooth manifold.
In mathematics, a rational variety is an algebraic variety, over a given field K, which is birationally equivalent to a projective space of some dimension over K. This means that its function field is isomorphic to
In mathematics, in particular in algebraic geometry, a complete algebraic variety is an algebraic variety X, such that for any variety Y the projection morphism
Guido Castelnuovo was an Italian mathematician. He is best known for his contributions to the field of algebraic geometry, though his contributions to the study of statistics and probability theory are also significant.
Francesco Severi was an Italian mathematician. He was the chair of the committee on Fields Medal on 1936, at the first delivery.
In mathematics, geometric invariant theory is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory.
Abramo Giulio Umberto Federigo Enriques was an Italian mathematician, now known principally as the first to give a classification of algebraic surfaces in birational geometry, and other contributions in algebraic geometry.
In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.
In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of surface in the Enriques–Kodaira classification of complex surfaces, and were the first surfaces to be investigated.
Max Noether was a German mathematician who worked on algebraic geometry and the theory of algebraic functions. He has been called "one of the finest mathematicians of the nineteenth century". He was the father of Emmy Noether.
In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.
In algebraic geometry, Zariski's connectedness theorem says that under certain conditions the fibers of a morphism of varieties are connected. It is an extension of Zariski's main theorem to the case when the morphism of varieties need not be birational.
In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry.
In mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943.
Aldo Brigaglia (2001) "The creation and the persistence of national schools: The case of Italian algebraic geometry", Chapter 9 (pages 187–206) of Changing Images in Mathematics, Umberto Bottazzini and Amy Delmedico editors, Routledge .
Brigaglia, Aldo; Ciliberto, Ciro; Pedrini, Claudio (2004), "The Italian school of algebraic geometry and Abel's legacy", The legacy of Niels Henrik Abel, Berlin: Springer, pp.295–347, ISBN3-540-43826-2, MR2077577
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
