133
$\begingroup$

It's "well-known" that the 19th century Italian school of algebraic geometry made great progress but also started to flounder due to lack of rigour, possibly in part due to the fact that foundations (comm alg etc) were only just being laid, and possibly (as far as I know) due to the fact that in the 19th century not everyone had come round to the axiomatic way of doing things (perhaps in those days one could use geometric plausibility arguments and they would not be shouted down as non-rigorous and hence invalid? I have no real idea about how maths was done then).

But someone asked me for an explicit example of a false result "proved" by this school, and I was at a loss. Can anyone point me to an explicit example? Preferably a published paper that contained arguments which were at the time at least partially accepted by the community as being OK but in fact have holes in? Actually, to be honest I'd probably prefer some sort of English historical summary of such things, but I do have access to (living and rigorous) Italian algebraic geometers if necessary ;-)

EDIT: A few people have posted solutions which hang upon the Italian-ness or otherwise of the person making the mathematical mistake. It was not my intention to bring the Italian-ness or otherwise of mathematicians into the question! Let me clarify the underlying issue: a friend of mine, interested in logic, asked me about (a) Grothendieck's point of view of set theory and (b) a precise way that one could formulate the statement that he "made algebraic geometry rigorous". My question stemmed from a desire to answer his.

$\endgroup$
7
  • 3
    $\begingroup$ Are you aware of this question which has a similar flavor? mathoverflow.net/questions/17352/… $\endgroup$
    – j.c.
    Mar 26, 2010 at 13:39
  • 2
    $\begingroup$ @jc: no ;-) Thanks! That question turned out to have a narrower remit I guess. $\endgroup$ Mar 26, 2010 at 13:54
  • 50
    $\begingroup$ ftp.mcs.anl.gov/pub/qed/archive/209 This illuminating email by David Mumford is a concise example of how a modern algebraic geometer might feel about the work of the Italian school. $\endgroup$
    – bhwang
    Mar 26, 2010 at 19:14
  • 5
    $\begingroup$ Perhaps the 19th century Italian school of algebraic geometry should be the the 20th century... $\endgroup$ Feb 11, 2011 at 9:16
  • 16
    $\begingroup$ Actually, Grothendieck didn't make "algebraic geometry rigorous". Weil and Zariski made algebraic geometry rigorous. $\endgroup$
    – anon
    Jun 1, 2013 at 11:44

6 Answers 6

74
$\begingroup$

As for a result that was not simply incorrectly proved, but actually false, there is the case of the Severi bound(*) for the maximum number of singular double points of a surface in P^3. The prediction implies that there are no surfaces in P^3 of degree 6 with more than 52 nodes, but in fact there are such surfaces in P^3 with 65 nodes such as the Barth sextic (and this is optimal by Jaffe--Ruberman).

(*) Francesco Severi; "Sul massimo numero di nodi di una superficie di dato ordine dello spazio ordinario o di una forma di un iperspazio." Ann. Mat. Pura Appl. (4) 25, (1946). 1--41, MR0025179, doi:10.1007/bf02418077.

$\endgroup$
3
  • 6
    $\begingroup$ There is also Severi's incorrect proof of the irreducibility of the spaces of plane curves of degree d with r nodes. A proof of the result was given by Harris (ams.org/mathscinet/search/…). $\endgroup$
    – damiano
    Mar 26, 2010 at 16:20
  • 1
    $\begingroup$ I think I am forced to accept this answer as being precisely what I was looking for! However I find all the answers interesting: one thing this has going for it is that it has the most precise references in. Note to damiano: there exist people without access to mathscinet, and for them your answer might be rather more cryptic than it could be. $\endgroup$ Mar 27, 2010 at 12:55
  • 2
    $\begingroup$ I have added an explicit reference to the paper by Severi. The reference for Harris is: Joe Harris; "On the Severi problem." Invent. Math. 84 (1986), no. 3, 445--461. $\endgroup$
    – damiano
    Mar 28, 2010 at 11:22
111
$\begingroup$

Of course, we all know great mathematicians who constantly make mistakes even now, and not because of foundations.

In any case, it's not like "long dead Italian algebraic geometers" is a category of people who were all uniformly bad. For example, Enriques was notoriously careless, while Castelnuovo was much more scrupulous (I may be wrong, but as far as know he has not made any real mistake). I remember reading of a competition for a paper on resolution of singularities of surface; Castelnuovo and Enriques were in the committee. Beppo Levi presented his famous paper on the resolution of singularities for surfaces; Enriques asked him for a couple of examples and was convinced; Castelnuovo was not. The discussion got heated. Enriques exclaimed "I am ready to cut my head if this does not work" and Castelnuovo replied "I don't think that would prove it either".

$\endgroup$
4
  • 9
    $\begingroup$ I should perhaps stress again that my question was most definitely not supposed to be an "anti-Italian" rant! It was an attempt to get some insight, on my part, of how one can do algebraic geometry badly if one doesn't have a big dollop of commutative algebra to back it up. Although I accepted damiano's answer, in truth I think Emerton told me the most: the point is that the closer a "generic point" is to a vague idea than to a non-closed point on a scheme, the more likely you are to be in trouble. $\endgroup$ Mar 28, 2010 at 8:09
  • 29
    $\begingroup$ I understand, and most certainly I was not offended. My point is that the general opinion that the old Italian algebraic geometers made mistakes because they did not have the proper foundations may be roughly right, but also simplistic. It it true that the Italian school went slowly astray, as discussed in Mumford's very interesting email message; but how much of it was due to personalities of the leaders of the school (particularly Severi) and how much to lack of proper foundations, I'll leave to others more competent than me to answer. $\endgroup$
    – Angelo
    Mar 28, 2010 at 10:31
  • 10
    $\begingroup$ As I feel it (with not enough historical competence to prove it) in this and similar ages, the successive rigorous foundation came as an answer, after a call raised by the possibilities offered by new ideas and new fields that were disclosed to mathematicians. The same happened in different times with analysis and set theory. Mathematicians are not intrinsically rigorous; the rigor always came as a safety tool. $\endgroup$ Jun 24, 2010 at 8:56
  • 16
    $\begingroup$ The story about cutting-my-head-off has also been told about Thom: 'Ruelle recalls one session in Thom’s seminar in which Thom stated a theorem. Adrien Douady, who was in the audience, asked “Have you proved this theorem?” “Non, mais j’en mettrais ma tête à couper,” Thom replied (“I will put my head to be cut off if it’s not true”). “Avec toutes les têtes de Thom qu’on a déjà coupées,” Douady murmured (“Just like all his other heads that have already been cut off”).' - from The IHÉS at Forty. $\endgroup$ Aug 23, 2014 at 17:57
31
$\begingroup$

Fano's list of 3-dimensional "Fano varieties" (so named by V.A.Iskovskikh) missed an entire class, of genus 12 if I recall correctly. This list was made complete later by Iskovskikh and Mukai-Umemura.

$\endgroup$
30
$\begingroup$

A beautiful survey article on the Italian school, with a discussion of several errors of all kinds by Severi, can be found in

  • The Legacy of Niels Henrik Abel (Oslo 2002), Springer-Verlag 2004: Brigaglia, Ciliberto, Pedrini, The Italian school of algebraic geometry and Abel's legacy, 295--347
$\endgroup$
1
  • 3
    $\begingroup$ There is also a longer article by Brigaglia and Ciliberto, "Italian algebraic geometry between the two world wars" (originally a chapter in a book on Italian mathematics of the interwar period), translated into English and published as Queen's Papers in Pure and Applied Mathematics, vol 100, 1995, Kingston, Ontario $\endgroup$ Aug 16, 2010 at 4:51
27
$\begingroup$

[Added disclaimer: What follows is the product of probably faulty memory combined with a limited understanding in the first place, so should be taken with a grain of salt.]

Dear Kevin,

I believe that Brill--Noether of curves gives the kind of examples you are looking for. (My understanding, probably imperfect if not completely wrong, is that they made certain general position arguments about existence of linear systems that were just wrong, because they didn't realize that certain kinds of geometric condition were universal, and so, although they look special, are in fact general.)

You might try looking at the old papers of Harris (or maybe Eisenbud and Harris) about linear systems on curves.

Also, the introduction (by Zariski) to Zariski's collected works is interesting. He began in the Italian school, but then became instrumental in introducing algebraic tools.

Also, I think that the newest edition of his book on algebraic surfaces (a report on the results of the Italian school) has annotations by Mumford, which are very illuminating with regard to the differences and similarities between the Italian style and a more modern style.

P.S. Here's a way to imagine the kind of error one could make in general position arguments (although obviously any actual such error made by the Italians would be many times more subtle): Let $P_1,\ldots,P_8$ be eight points. Choose two elliptic curve $E_1$ and $E_2$ passing through the 8 points, and now try to choose them in general position (with respect to the property of containing the 8 points) so that the 9th point of intersection is in general position with regard to the $P_i$. This might seem plausibly possible if you don't think it through, but of course is in fact impossible, because the 8 given points uniquely determine the 9th one. (The possible $E_i$ lie in a pencil.) My impression is that the Italians made errors of that sort, but in much more subtle contexts.

$\endgroup$
4
  • 3
    $\begingroup$ A technical objection: while B-N theory does fit the bill of far-sightedness but imprecision in algebraic geometry, both Alexander von Brill and Max Noether were in fact German... (And perhaps they were followers of Riemann in the way they thought about families of curves?) $\endgroup$
    – Tim Perutz
    Mar 26, 2010 at 13:51
  • 2
    $\begingroup$ "eight points"-->"eight points in P^2" of course. I see your point! I can believe that "generic" would have been a stumbling-block before we understood what a generic point really was. $\endgroup$ Mar 26, 2010 at 13:51
  • 3
    $\begingroup$ PS @Tim: fair point! But of course my question wasn't specifically anti-italian ;-), I just wanted to see how one could make mistakes in algebraic geometry if one wasn't really too fussed about technical results in commutative algebra. $\endgroup$ Mar 26, 2010 at 13:53
  • $\begingroup$ Dear Tim, Thank you for pointing this out. My understanding of this field, both now and historically, is pretty hazy; I was trying to remember a comment of Joe Harris (either made in person or in a paper; I don't remember which anymore) about an error of the Italians in studying the moduli of curves. Now that I think again, I wonder if I am confusing a memory of reading Joe Harris with a memory of reading Mumford. I will leave my response, since it may still be helpful for someone, but will add a disclaimer. $\endgroup$
    – Emerton
    Mar 26, 2010 at 18:03
23
$\begingroup$

I had the impression that there were false claims concerning rationality of certain Fano varieties, but I don't have any specific references on hand. For a more definite example, take a look the introduction to Mumford's "Rational equivalence of 0-cycles on surfaces". In this paper, he disproves something that Severi took as self evident.

$\endgroup$
2
  • 4
    $\begingroup$ Ironically, Mumford used Severi's ideas to do so. $\endgroup$ Mar 26, 2010 at 14:44
  • 17
    $\begingroup$ Yes, which he acknowledges. To quote, "Now after criticizing Severi like this, I have to admit...". I've always admired Mumford's scholarship and sense of fairness. Thanks to which we have "Castelnuovo-Mumford" regularity... $\endgroup$ Mar 26, 2010 at 15:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.