{"id":268,"date":"2015-06-22T08:35:02","date_gmt":"2015-06-22T13:35:02","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=268"},"modified":"2016-03-17T01:14:50","modified_gmt":"2016-03-17T06:14:50","slug":"zariski-surgically-dissecting-a-flawed-proof","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2015\/06\/22\/zariski-surgically-dissecting-a-flawed-proof\/","title":{"rendered":"Zariski surgically dissecting a flawed proof"},"content":{"rendered":"<p>The problem of bad science has been in the news recently. \u00a0See, for instance this article in the <em><a href=\"http:\/\/www.nytimes.com\/interactive\/2015\/05\/28\/science\/retractions-scientific-studies.html\">New York Times<\/a>,<\/em>\u00a0the website <a href=\"http:\/\/retractionwatch.com\/\">Retraction Watch<\/a>, or this retracted article in\u00a0<em><a href=\"http:\/\/www.sciencemag.org\/content\/346\/6215\/1366\">Science<\/a>.<\/em>\u00a0 In any of the sciences, researchers can get a sense that something is amiss with a published paper just by reading it. \u00a0Perhaps some circumstantial fact seems unusual. \u00a0A statistical analysis can provide some evidence that there really is a problem, either with the data or with the methods. \u00a0But in many cases, a researcher would have to try to recreate the experiment and the data to test the results &#8211; a daunting task. \u00a0Not so in mathematics. \u00a0In a mathematical article, everything is there on the page, open for scrutiny. \u00a0If there is a problem, the expert reader need only examine the arguments to discover it. \u00a0<a href=\"http:\/\/www.ams.org\/mathscinet\/search\/author.html?mrauthid=195214\">Oscar Zariski<\/a> does exactly that in his review of\u00a0an early attempt to prove resolution of singularities (in characteristic zero). \u00a0Zariski was famous for the way he increased the rigor in algebraic geometry by increasing the algebra in algebraic geometry. \u00a0In his analysis of Derwidu\u00e9&#8217;s paper, he points out early on that the approach is too geometric to work. \u00a0Rather than stopping there, Zariski forges on, zeroing in on the weak points of the argument and giving full explanations of their weaknesses.<\/p>\n<p>The real proof of the resolution of singularities in characteristic zero came thirteen years later, in <a href=\"http:\/\/www.ams.org\/mathscinet-getitem?mr=199184\">the famous work of Hironaka<\/a>.\u00a0<!--more--><\/p>\n<p><strong><a href=\"http:\/\/www.ams.org\/mathscinet-getitem?mr=42171\">MR0042171<\/a><\/strong> <strong>(13,67b)<\/strong><br \/>\n<a href=\"http:\/\/www.ams.org\/mathscinet\/search\/author.html?mrauthid=433777\">Derwidu\u00e9, L.<\/a><br \/>\n<span class=\"title\">Le probl\u00e8me de la r\u00e9duction des singularit\u00e9s d&#8217;une vari\u00e9t\u00e9 alg\u00e9brique.<\/span> <strong>(French)<\/strong><br \/>\n<a href=\"http:\/\/www.ams.org\/mathscinet\/search\/journaldoc.html?cn=Math_Ann\"><em>Math. Ann.<\/em><\/a> <strong>123, <\/strong>(1951). 302\u2013330.<\/p>\n<div class=\"review\">\n<p>The author presents in this paper an investigation which, he claims, constitutes a complete proof of the famous conjecture that every algebraic variety can be transformed birationally into a variety which is free from singularities. He restricts himself to the case of the complex domain. [In this case, and more generally, in the case of ground fields of characteristic zero, the conjecture has been proved so far only for varieties of dimension <span class=\"MathTeX\">$\\leq 3$<\/span>; for the case of dimension 3 see the reviewer&#8217;s paper &#8220;Reduction of the singularities of algebraic three-dimensional varieties,&#8221; [Ann. of Math. (2) <span class=\"bf\">45<\/span>, 472\u2013542 (1944); <a href=\"http:\/\/www.ams.org\/mathscinet\/search\/publdoc.html?r=1&amp;pg1=CNO&amp;s1=11006&amp;loc=fromrevtext\">MR0011006 (6,102f)<\/a>; this paper will be referred to in this review as RS3].] The author has published a number of other papers on the same subject, in particular a long memoir entitled &#8220;Le probl\u00e8me g\u00e9n\u00e9ral de la r\u00e9duction des singularit\u00e9s d&#8217;une vari\u00e9t\u00e9 alg\u00e9brique&#8221; [M\u00e9m. Soc. Roy. Sci. Li\u00e8ge (4) <span class=\"bf\">9<\/span>, no. 2 (1949); <a href=\"http:\/\/www.ams.org\/mathscinet\/search\/publdoc.html?r=1&amp;pg1=CNO&amp;s1=35487&amp;loc=fromrevtext\">MR0035487 (11,740c)<\/a>]. The present paper is described in the introduction as a decisive simplification of the proof given in the above cited memoir. It is stated that the simplification is due chiefly to the author&#8217;s recent discovery of what he calls &#8220;elementary transformations.&#8221; [These transformations, under the name of &#8220;monoidal transformations,&#8221; have been introduced and fully studied by the reviewer on pages 532\u2013542 of his paper (referred to in the sequel as FBC) &#8220;Foundations of a general theory of birational correspondences,&#8221; [Trans. Amer. Math. Soc. <span class=\"bf\">53<\/span>, 490\u2013542 (1943); <a href=\"http:\/\/www.ams.org\/mathscinet\/search\/publdoc.html?r=1&amp;pg1=CNO&amp;s1=8468&amp;loc=fromrevtext\">MR0008468 (5,11b)<\/a>]; they have been extensively used by the reviewer in RS3.] The monoidal (or &#8220;elementary&#8221;) transformations are indeed elementary, in more than one sense, and while the reviewer has found them a useful tool for the <span class=\"searchHighlight\">resolution<\/span> of the singularities, he finds it rather strange that they should have had such a tremendous effect on the author&#8217;s &#8220;proof,&#8221; for the deeper difficulties of the <span class=\"searchHighlight\">resolution<\/span> problem can be affected by such straightforward tools only to a very moderate extent. At any rate, it is stated that his discovery of monoidal transformations has enabled the author to condense &#8220;en quelques heures&#8221; the 139 pages of his cited memoir to five pages of a note entitled &#8220;M\u00e9thode simplifi\u00e9e de r\u00e9duction des singularit\u00e9s d&#8217;une vari\u00e9t\u00e9 alg\u00e9brique&#8221; [Acad. Roy. Belgique. Bull. Cl. Sci. (5) <span class=\"bf\">35<\/span>, 880\u2013885 (1949); <a href=\"http:\/\/www.ams.org\/mathscinet\/search\/publdoc.html?r=1&amp;pg1=CNO&amp;s1=35488&amp;loc=fromrevtext\">MR0035488 (11,740d)<\/a>]. According to the author, this short note contained the complete solution of the problem, so much so that he felt that &#8220;pour moi, le probl\u00e8m\u00e9 \u00e9tait bel et bien r\u00e9solu, mais il me restait \u00e0 faire admettre ma solution.&#8221; The present more elaborate version of that note has therefore been written chiefly for the purpose of convincing the unbelievers, and the author acknowledges his indebtedness to van der Waerden who, in a series of conferences with the author (&#8220;&#8230; une dizaine de discussions de deux heures chacune, suivies pour chacun de nous de deux ou trois jours de r\u00e9flection&#8230;&#8221;), has closely and critically scrutinized every single detail of the present &#8220;proof&#8221; (&#8220;&#8230; et il prit d\u00e8s lors la peine de passer au crible de son esprit critique bien connu les douze pages du texte que je lui apportais, litt\u00e9ralement ligne par ligne&#8221;).<\/p>\n<p>Before describing and discussing the author&#8217;s reasoning, a few general remarks about the paper will be in order. Its language is &#8220;geometric.&#8221; The geometric language, when it is not based on a carefully prepared algebraic basis, is never explicit or convincing in algebraic geometry. On this ground alone the author&#8217;s &#8220;proof&#8221; could be dismissed as incomplete, for in scientific work it is right to hold every author guilty until he proves himself innocent. However, out of consideration for the importance of the problem, and because of the author&#8217;s implied belief that his work has not been duly evaluated, this reviewer has reversed his attitude and has read the paper on the assumption that it is the reader who is to be held guilty until he proves himself innocent. In practice that meant that in cases of doubtful points, the reviewer has made an effort to either (a) complete the proof himself or (b) find precisely what is wrong with the proof or (and) (c) find a counterexample. With this approach, the geometric language of the author has the effect of shifting a good deal of the burden from the author to the reader, for in many cases it was at least as difficult to accomplish (a) or (b) or (c) as it was for the author to find his incomplete proofs. However, the problem of <span class=\"searchHighlight\">resolution<\/span> of singularities presents not only difficulties of rigor but also difficulties of perception which lie much deeper. It is for this reason that the reviewer was willing to give the author the benefit of the doubt on the formal side of the treatment. He was mainly interested in finding out how the author has dealt with the irreducibly difficult core of the problem. He was forced to conclude that lack of perception of the serious (and not obvious) complications that can (and do) arise in the course of the reduction process have prevented the author from coming to grips with the real difficulties of the problem. And so it happens that the two main pillars of his &#8220;proof&#8221;\u2014(a) the theorem on first polars on p. 314 (&#8220;qui est d&#8217;une importance capitale pour la suite&#8221;) and (b) the &#8220;raisonnement fondamental&#8221; on p. 317\u2014are represented by statements of which the first is false and the second is far from having been proved (see theorems <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span> and <span class=\"MathTeX\">${\\rm B}&#8217;$<\/span> below; as a matter of fact also <span class=\"MathTeX\">${\\rm B}&#8217;$<\/span>, in the general form stated at the bottom of p. 318, is false). As a consequence, the following can be said about the two other statements (see theorems A and B below) which are made by the author and whose logical sum implies the <span class=\"searchHighlight\">resolution<\/span> theorem: A has not been proved because its &#8220;proof&#8221; is based on <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span>; B has not been proved because its &#8220;proof&#8221; is based on A and <span class=\"MathTeX\">${\\rm B}&#8217;$<\/span>. On the whole, the author&#8217;s contribution merely scratches the surface of things: it belongs to the prenatal phase of the problem, a phase familiar to anybody who has given this problem any thought. (We pass without comment the author&#8217;s astonishing remark that his &#8220;methods&#8221; can be extended &#8220;without difficulties&#8221; to perfect fields of characteristic <span class=\"MathTeX\">$p\\neq 0$<\/span>, it being quite superficially clear that they could not possibly be so extended.)<\/p>\n<p>Let <span class=\"MathTeX\">$V$<\/span> be a <span class=\"MathTeX\">$k$<\/span>-dimensional irreducible variety in a projective space <span class=\"MathTeX\">$S_q$<\/span>. To resolve the singularities of <span class=\"MathTeX\">$V$<\/span> one will begin by applying to <span class=\"MathTeX\">$S_q$<\/span> a monoidal transformation <span class=\"MathTeX\">$T$<\/span> whose center is a suitable irreducible nonsingular variety <span class=\"MathTeX\">$W$<\/span> belonging to the singular variety of <span class=\"MathTeX\">$V$<\/span>. The effect of <span class=\"MathTeX\">$T$<\/span> is as follows: (a) it transforms birationally <span class=\"MathTeX\">$S_q$<\/span> into a nonsingular variety <span class=\"MathTeX\">$B_q{}&#8217;$<\/span>, immersed in some projective space <span class=\"MathTeX\">$S'{}_{n&#8217;}$<\/span>; (b) it transforms birationally <span class=\"MathTeX\">$V$<\/span> into a variety<span class=\"MathTeX\">$V&#8217;$<\/span> immersed in <span class=\"MathTeX\">$B_q{}&#8217;$<\/span>; (c) it blows up <span class=\"MathTeX\">$W$<\/span> into an irreducible <span class=\"MathTeX\">$(q-1)$<\/span>-dimensional subvariety <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> of <span class=\"MathTeX\">$B_q{}&#8217;$<\/span>; this variety <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> is free from singularities and carries a ruling of linear spaces <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> of dimension <span class=\"MathTeX\">$q-1-\\rho$<\/span> (where <span class=\"MathTeX\">$\\rho=\\dim W$<\/span>) which correspond to the individual points <span class=\"MathTeX\">$P$<\/span> of<span class=\"MathTeX\">$W$<\/span> (see FBC and RS3). In a second step of the <span class=\"searchHighlight\">resolution<\/span> process, <span class=\"MathTeX\">$V&#8217;$<\/span> and <span class=\"MathTeX\">$B_q{}&#8217;$<\/span> will replace the original <span class=\"MathTeX\">$V$<\/span> and <span class=\"MathTeX\">$S_q$<\/span>, and one will apply to <span class=\"MathTeX\">$B_q{}&#8217;$<\/span> a monoidal transformation <span class=\"MathTeX\">$T&#8217;$<\/span> whose center is a suitable irreducible nonsingular variety <span class=\"MathTeX\">$W&#8217;$<\/span> belonging to the singular variety of <span class=\"MathTeX\">$V&#8217;$<\/span> (the steps just described are identical to those used in RS3). We shall therefore assume that we are given, to begin with, a nonsingular <span class=\"MathTeX\">$q$<\/span>-dimensional variety <span class=\"MathTeX\">$B\\ (q\\geq k+1)$<\/span> containing <span class=\"MathTeX\">$V$<\/span>and contained in some projective space <span class=\"MathTeX\">$S_n\\ (n\\geq q)$<\/span>. If <span class=\"MathTeX\">$k=n-1$<\/span> (whence <span class=\"MathTeX\">$B=S_n$<\/span>) it is well known what is meant by a first polar <span class=\"MathTeX\">$F$<\/span> of <span class=\"MathTeX\">$V$<\/span>. If <span class=\"MathTeX\">$k&lt;n-1$<\/span>, a first polar of <span class=\"MathTeX\">$V$<\/span> is defined as a first polar of any hypercone which projects <span class=\"MathTeX\">$V$<\/span> from an <span class=\"MathTeX\">$S_{n-k-2}$<\/span>. The set <span class=\"MathTeX\">$[F]$<\/span> of first polars of <span class=\"MathTeX\">$V$<\/span> is an irreducible algebraic system (linear, if <span class=\"MathTeX\">$k=n-1$<\/span>); its base locus is the singular variety of <span class=\"MathTeX\">$V$<\/span>. The trace of <span class=\"MathTeX\">$[F]$<\/span> in <span class=\"MathTeX\">$B$<\/span>, i.e., the set of intersections <span class=\"MathTeX\">$F\\cap B$<\/span>, is an irreducible algebraic system <span class=\"MathTeX\">$[\\Phi]$<\/span> of <span class=\"MathTeX\">$(q-1)$<\/span>-dimensional subvarieties of <span class=\"MathTeX\">$B$<\/span>, and also the base locus of <span class=\"MathTeX\">$[\\Phi]$<\/span> is the singular variety of <span class=\"MathTeX\">$V$<\/span>. If <span class=\"MathTeX\">$V$<\/span> is a monoidal transformation of<span class=\"MathTeX\">$B$<\/span>, of the type described above, one defines in an obvious fashion the <span class=\"MathTeX\">$T$<\/span>-transform <span class=\"MathTeX\">$[\\Phi&#8217;]$<\/span> of the system <span class=\"MathTeX\">$[\\Phi]$<\/span>; this will be then an irreducible algebraic system of <span class=\"MathTeX\">$(q-1)$<\/span>-dimensional subvarieties of <span class=\"MathTeX\">$B&#8217;\\ (=B_q{}&#8217;)$<\/span> (since <span class=\"MathTeX\">$W$<\/span> is a base variety of <span class=\"MathTeX\">$[\\Phi]$<\/span>, particular members of <span class=\"MathTeX\">$[\\Phi&#8217;]$<\/span> may contain <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> as a component, to a suitable multiplicity). This process is to be repeated as long as the successive transforms <span class=\"MathTeX\">$V&#8217;,V&#8221;,\\cdots$<\/span> of <span class=\"MathTeX\">$V$<\/span> continue to have singularities. One is thus led to a sequence <span class=\"MathTeX\">$\\{V^{(i)},B^{(i)},[\\Phi^{(i)}]\\}$<\/span>. At each stage, the next, <span class=\"MathTeX\">$(i+1)$<\/span>th member of the sequence depends on the choice of the subvariety<span class=\"MathTeX\">$W^{(i)}$<\/span> of the singular variety of <span class=\"MathTeX\">$V^{(i)}$<\/span>. For the purposes of this review it must be clearly understood that <span class=\"MathTeX\">$[\\Phi&#8217;]$<\/span> no longer has the same relationship to <span class=\"MathTeX\">$V&#8217;$<\/span>as <span class=\"MathTeX\">$[\\Phi]$<\/span> has to <span class=\"MathTeX\">$V$<\/span>, i.e., <span class=\"MathTeX\">$[\\Phi&#8217;]$<\/span> is not the <span class=\"MathTeX\">$B&#8217;$<\/span>-trace of the system of first polars of <span class=\"MathTeX\">$V&#8217;$<\/span> (in relation to the ambient projective space <span class=\"MathTeX\">$S'{}_{n&#8217;}$<\/span> of <span class=\"MathTeX\">$B&#8217;$<\/span>). The author then proposes to prove the following two theorems: A. Every singular point of <span class=\"MathTeX\">$V^{(i)}$<\/span> is a base point of <span class=\"MathTeX\">$[\\Phi^{(i)}]$<\/span>. B. By a suitable choice of the centers<span class=\"MathTeX\">$W^{(i)}$<\/span> of the successive monoidal transformations <span class=\"MathTeX\">$T^{(i)}$<\/span> it is possible to obtain, after a finite number of steps, a transform <span class=\"MathTeX\">$V^{(i)}$<\/span> of <span class=\"MathTeX\">$V$<\/span> such that the system <span class=\"MathTeX\">$[\\Phi^{(i)}]$<\/span> has no base points.<\/p>\n<p>It is clear that A and B together would suffice to establish the theorem of <span class=\"searchHighlight\">resolution<\/span> of singularities. [The idea of using the first polars and studying their behavior under quadratic transformations (in the case of algebraic surfaces) goes back to B. Levi, and was used in one form or another in every investigation dealing with the<span class=\"searchHighlight\">resolution<\/span> problem. It may be noted that theorem B has been proved by the reviewer in the case <span class=\"MathTeX\">$q=3$<\/span>, for arbitrary systems <span class=\"MathTeX\">$[\\Phi]$<\/span> of surfaces; see RS3, Theorem<span class=\"MathTeX\">$7&#8217;$<\/span>, p. 531.] The essential ingredient of the author&#8217;s &#8220;proof&#8221; of A is the following theorem: <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span>. The generic first polar <span class=\"MathTeX\">$F$<\/span> of <span class=\"MathTeX\">$V$<\/span> has an <span class=\"MathTeX\">$(s-1)$<\/span>-fold point at every (proper or improper) <span class=\"MathTeX\">$s$<\/span>-fold point of <span class=\"MathTeX\">$V$<\/span> (&#8220;improper&#8221; means &#8220;infinitely near&#8221;). Or, in less mysterious language: if a (proper) point <span class=\"MathTeX\">$O^{(i)}$<\/span> of <span class=\"MathTeX\">$V^{(i)}$<\/span> is<span class=\"MathTeX\">$s$<\/span>-fold for <span class=\"MathTeX\">$V^{(i)}$<\/span>, then it is <span class=\"MathTeX\">$(s-1)$<\/span>-fold for the generic <span class=\"MathTeX\">$\\Phi^{(i)}$<\/span>. The &#8220;proof&#8221; of <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span> is given only under the following special conditions: <span class=\"MathTeX\">$k=n-1$<\/span>and the monoidal transformations used in the reduction process are all locally quadratic, i.e., their centers are points. The general case is dismissed in two lines by the mere statement that the proof is similar. Now while we shall see in a moment that <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span> is false even under these special conditions, it may be explained now that the general case presents additional difficulties which the author does not perceive. If the center <span class=\"MathTeX\">$W$<\/span> of <span class=\"MathTeX\">$T$<\/span> is of positive dimension then it may well happen that<span class=\"MathTeX\">$V&#8217;$<\/span> will contain a generator <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> of <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> which corresponds to some special point <span class=\"MathTeX\">$P$<\/span> of <span class=\"MathTeX\">$W$<\/span>. Whatever conclusions one arrives at in the special case of locally quadratic transformations, these conclusions cannot be automatically used, in the general case, for making statements concerning the behavior of <span class=\"MathTeX\">$V&#8217;$<\/span>at <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span>; they only give information about the behavior of <span class=\"MathTeX\">$V&#8217;$<\/span> at subvarieties <span class=\"MathTeX\">$W&#8217;$<\/span> which correspond to the whole of <span class=\"MathTeX\">$W$<\/span> (and not to proper subvarieties of <span class=\"MathTeX\">$W$<\/span>). [For a method of dealing with this phenomenon, see RS3.] Furthermore, if <span class=\"MathTeX\">$k&lt;n-1$<\/span> then the polars <span class=\"MathTeX\">$\\Phi$<\/span> are defined in terms of the general projections of<span class=\"MathTeX\">$V$<\/span> (in its ambient space <span class=\"MathTeX\">$S_n$<\/span>), and in that case it is not at all clear how the transforms <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> of <span class=\"MathTeX\">$\\Phi$<\/span> are related to the polars of the general projections of <span class=\"MathTeX\">$V&#8217;$<\/span>(in its ambient space <span class=\"MathTeX\">$S'{}_{n&#8217;}$<\/span>) and why this matter should have been dismissed in a few words.<\/p>\n<p>We now come to &#8220;theorem&#8221; <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span> and accept the special conditions under which the author &#8220;proves&#8221; it. It is not difficult to give counterexamples, even in the simplest case of plane algebraic curves <span class=\"MathTeX\">$(k=1,q=n=2)$<\/span>, for &#8220;theorem&#8221; <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span> is &#8220;almost always&#8221; false. Here is an example. Let <span class=\"MathTeX\">$V$<\/span> be the plane curve <span class=\"MathTeX\">$f(x,y)=0$<\/span>, where <span class=\"MathTeX\">$f(x,y)=y^3-x^5$<\/span>. Then <span class=\"MathTeX\">$V$<\/span> has a triple point at the origin <span class=\"MathTeX\">$O$<\/span> and it has a double point at the improper point <span class=\"MathTeX\">$O&#8217;$<\/span> infinitely near <span class=\"MathTeX\">$O$<\/span> in the direction <span class=\"MathTeX\">$y=0$<\/span>. By the locally quadratic transformation <span class=\"MathTeX\">$T\\colon x=x&#8217;$<\/span>, <span class=\"MathTeX\">$y=x&#8217;y&#8217;$<\/span>, the curve <span class=\"MathTeX\">$V$<\/span> is transformed into the curve <span class=\"MathTeX\">$V&#8217;$<\/span> given by the equation <span class=\"MathTeX\">$x^{\\prime 2}-y^{\\prime 3}=0$<\/span>, the improper point <span class=\"MathTeX\">$O&#8217;$<\/span> now being represented by the origin <span class=\"MathTeX\">$x&#8217;=y&#8217;=0$<\/span>. The generic polar <span class=\"MathTeX\">$\\Phi$<\/span> of <span class=\"MathTeX\">$V$<\/span> is <span class=\"MathTeX\">$uf_x{}&#8217;+vf_y{}&#8217;+w(xf_x{}&#8217;+yf_y{}&#8217;-5f)=0$<\/span>, i.e.,<span class=\"MathTeX\">$3vy^2-5ux^4-2wy^3=0$<\/span>. The <span class=\"MathTeX\">$T$<\/span>-transform of <span class=\"MathTeX\">$\\Phi$<\/span> is <span class=\"MathTeX\">$3vy^{\\prime 2}-5ux^{\\prime 2}-2wx&#8217;y^{\\prime 3}=0$<\/span>, and this has at <span class=\"MathTeX\">$O&#8217;$<\/span> a singular point of multiplicity 2 (and not 1, as is claimed in <span class=\"MathTeX\">${\\rm A}&#8217;$<\/span>). The error in the author&#8217;s proof is the following (we use his notations, pp. 313\u2013314): it is taken for granted that if\u00a0<span class=\"MathTeX\">$P$<\/span> is generic with respect to <span class=\"MathTeX\">$G$<\/span>, then <span class=\"MathTeX\">$G&#8217;$<\/span> will be such that also <span class=\"MathTeX\">$P&#8217;$<\/span> will be generic with respect to <span class=\"MathTeX\">$G&#8217;$<\/span>. The fact is that in most cases <span class=\"MathTeX\">$P&#8217;$<\/span> will not be generic with respect to <span class=\"MathTeX\">$G&#8217;$<\/span>. The author commits here the same error that has been committed once before in the &#8220;proof&#8221; of the following incorrect statement: &#8220;the composition of the singularity of a generic projection of an algebraic curve in <span class=\"MathTeX\">$S_3$<\/span> is the same as the composition of the corresponding singularity of the space curve itself.&#8221; The error in this reasoning has been pointed out long ago by the reviewer (see p. 12 of the reviewer&#8217;s book &#8220;Algebraic Surfaces&#8221; [Springer, Berlin, 1935]). From the moment that <span class=\"MathTeX\">$P&#8217;$<\/span> is not necessarily generic with respect to <span class=\"MathTeX\">$G&#8217;$<\/span> and hence <span class=\"MathTeX\">$H_1$<\/span> is not necessarily a generic first polar of <span class=\"MathTeX\">$G&#8217;$<\/span>, the multiplicity of <span class=\"MathTeX\">$H_1$<\/span> at<span class=\"MathTeX\">$O_1{}&#8217;$<\/span> may be greater than <span class=\"MathTeX\">$s_1-1$<\/span>, the lemma on pencils of hypersurfaces given on p. 313 is then not applicable, and the entire proof on p. 314 breaks down. What is even more serious is that as soon as the generic <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> has at <span class=\"MathTeX\">$O_1{}&#8217;$<\/span> a point of multiplicity <span class=\"MathTeX\">$\\geq s_1$<\/span>, then in a second quadratic transformation the fundamental surface <span class=\"MathTeX\">$\\Pi&#8221;$<\/span> will detach itself at least <span class=\"MathTeX\">$s_1$<\/span> times from the transform of <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> while it will detach itself precisely <span class=\"MathTeX\">$s_1-1$<\/span> times from the transform of the generic polar of <span class=\"MathTeX\">$G&#8217;$<\/span>. Thus already after two steps we find that further investigation would be necessary before one can make any assertion concerning the multiplicities of <span class=\"MathTeX\">$\\Phi&#8221;$<\/span> at the singular points of <span class=\"MathTeX\">$G&#8221;$<\/span>, as compared with the multiplicities which the first polars of <span class=\"MathTeX\">$G&#8221;$<\/span> have at these points. What happens after <span class=\"MathTeX\">$i$<\/span>steps is altogether nebulous.<\/p>\n<p>We now pass to theorem B. Part of the &#8220;proof&#8221; of this theorem, for dimension <span class=\"MathTeX\">$k$<\/span>, presupposes theorem A for all dimensions <span class=\"MathTeX\">$\\leq k-1$<\/span>, and hence already on this ground the proof is incomplete. That part of the &#8220;proof&#8221; which is independent of theorem A is based on a theorem which the author states under the heading: &#8220;raisonnement fondamental&#8221; (p. 317). We shall explain the gap in the author&#8217;s proof, and for simplicity we shall consider the case <span class=\"MathTeX\">$k=3$<\/span>, <span class=\"MathTeX\">$q=n=4$<\/span>. We shall also assume for simplicity that the singular variety of <span class=\"MathTeX\">$V$<\/span> (and hence also the base locus of <span class=\"MathTeX\">$[\\Phi]$<\/span>) is of dimension 1. Let <span class=\"MathTeX\">$[\\Phi_1]$<\/span> be the characteristic system of\u00a0<span class=\"MathTeX\">$[\\Phi]$<\/span>, i.e., the systems of surfaces which are intersections of pairs of <span class=\"MathTeX\">$\\Phi$<\/span>&#8216;s. We shall also assume that the characteristic system <span class=\"MathTeX\">$[\\Phi_2]$<\/span> of <span class=\"MathTeX\">$[\\Phi_1]$<\/span> (from which the base curves of <span class=\"MathTeX\">$[\\Phi_1]$<\/span> have been deleted) has no base points (in the notation of the author, we have assumed <span class=\"MathTeX\">$\\sigma=0$<\/span>, <span class=\"MathTeX\">$k_\\sigma=1$<\/span>). Let <span class=\"MathTeX\">$\\gamma$\u00a0<\/span>be an irreducible component of the base curve of <span class=\"MathTeX\">$[\\Phi_1]$<\/span>. We assume that <span class=\"MathTeX\">$\\gamma$<\/span> is free from singularities. We take now the curve <span class=\"MathTeX\">$\\gamma$<\/span> as the center of our monoidal transformation <span class=\"MathTeX\">$T$<\/span> and we denote by <span class=\"MathTeX\">$[\\Phi_1{}&#8217;]$<\/span> the <span class=\"MathTeX\">$T$<\/span>-transform of the system of surfaces <span class=\"MathTeX\">$[\\Phi_1]$<\/span>. The &#8220;raisonnement fondamental,&#8221; in this special case, is the following assertion: <span class=\"MathTeX\">${\\rm B}&#8217;$<\/span>. Let <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> be an irreducible curve in <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> which belongs to the base curve of the system <span class=\"MathTeX\">$[\\Phi_1{}&#8217;]$<\/span>. If the curve <span class=\"MathTeX\">$\\gamma$<\/span> is <span class=\"MathTeX\">$s$<\/span>-fold for the generic <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$t$<\/span>-fold for the generic <span class=\"MathTeX\">$\\Phi_1$<\/span> and if <span class=\"MathTeX\">$m$<\/span> is the intersection multiplicity of <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$\\Phi_1$<\/span> at <span class=\"MathTeX\">$\\gamma$<\/span>, then the intersection multiplicity at <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> of a generic <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> and a generic <span class=\"MathTeX\">$\\Phi_1{}&#8217;$<\/span> is <span class=\"MathTeX\">$\\leq m-st$<\/span> (whence, at any rate, <span class=\"MathTeX\">$&lt;m$<\/span>).<\/p>\n<p>In the proof the author takes it for granted that <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> meets each generator <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> of <span class=\"MathTeX\">$\\Gamma&#8217;\\ (P\\in\\gamma)$<\/span>. In other words, he assumes that\u00a0<span class=\"MathTeX\">$\\gamma&#8217;$<\/span> corresponds to the whole of <span class=\"MathTeX\">$\\gamma$<\/span>. He does not consider the possibility that <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> may correspond to some special point <span class=\"MathTeX\">$P$<\/span> of <span class=\"MathTeX\">$\\gamma$<\/span> (in which case <span class=\"MathTeX\">$\\gamma&#8217;\\subset\\Gamma_P{}&#8217;$<\/span> and <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> does not meet <span class=\"MathTeX\">$\\Gamma_Q{}&#8217;$<\/span> if <span class=\"MathTeX\">$Q\\neq P$<\/span>). To such a curve <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> the author&#8217;s reasoning is not applicable. The reviewer has asked himself the following question: May it be that the presence of a base curve <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> contained in <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> implies that\u00a0<span class=\"MathTeX\">$P$<\/span> is a base point of <span class=\"MathTeX\">$[\\Phi_2]$<\/span> (contrary to the assumption that <span class=\"MathTeX\">$[\\Phi_2]$<\/span> has no base points)? If that is so, it must be proved. The reviewer doubts that that is so. He knows that the above possibility can actually arise in the case of a linear system of hypersurfaces <span class=\"MathTeX\">$[\\Phi]$<\/span> in <span class=\"MathTeX\">$S_4$<\/span> whose successive characteristic systems\u00a0<span class=\"MathTeX\">$[\\Phi_1]$<\/span> and <span class=\"MathTeX\">$[\\Phi_2]$<\/span> satisfy all the conditions (as to their base varieties) stated above; and he does not see why the fact that we are dealing with polar hypersurfaces should make any difference. At any rate, the author correctly remarks that his reasoning makes no use of any special properties of the polars <span class=\"MathTeX\">$\\Phi$<\/span> and that even the fact that the <span class=\"MathTeX\">$\\Phi$<\/span>&#8216;s are complete intersections plays no role in the proof. He therefore reformulates his &#8220;raisonnement fondamental&#8221; as a general theorem concerning arbitrary pairs of varieties <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$\\Phi_1$<\/span> in B, of dimensions <span class=\"MathTeX\">$q-1$<\/span> and <span class=\"MathTeX\">$q&#8217;$<\/span> respectively, <span class=\"MathTeX\">$q&#8217;\\leq q-1$<\/span> (see end of p. 318). Now this generalization is definitely false, even if <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$\\Phi_1$<\/span> are complete intersections. Consider, for instance, the following case: <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$\\Phi_1$<\/span> are respectively a hypersurface and a surface in <span class=\"MathTeX\">$S_4$<\/span>, having a common point <span class=\"MathTeX\">$P$<\/span> which is an ordinary <span class=\"MathTeX\">$n$<\/span>-fold point of <span class=\"MathTeX\">$\\Phi$<\/span> and an ordinary <span class=\"MathTeX\">$\\nu$<\/span>-fold point of\u00a0<span class=\"MathTeX\">$\\Phi_1\\ (n&gt;1,\\nu&gt;1)$<\/span>; we also assume that <span class=\"MathTeX\">$\\Phi$<\/span> and <span class=\"MathTeX\">$\\Phi_1$<\/span> have in common a line <span class=\"MathTeX\">$\\gamma$<\/span> through <span class=\"MathTeX\">$P$<\/span> and that the intersection multiplicity at <span class=\"MathTeX\">$\\gamma$<\/span> is 1 (whence <span class=\"MathTeX\">$m=s=t=1$<\/span>). If <span class=\"MathTeX\">$\\gamma$<\/span> is taken as the center of our monoidal transformation <span class=\"MathTeX\">$T$<\/span>, then the following facts can be established in a straightforward manner: (a) the plane <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> belongs to the three-dimensional variety <span class=\"MathTeX\">$\\Phi&#8217;$<\/span>, the latter passing through <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> with multiplicity <span class=\"MathTeX\">$\\geq n-1$<\/span>; (b)\u00a0<span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> meets <span class=\"MathTeX\">$\\Phi_1{}&#8217;$<\/span> in a curve <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> which is at least <span class=\"MathTeX\">$(\\nu-1)$<\/span>-fold for <span class=\"MathTeX\">$\\Phi_1{}&#8217;$<\/span>. It follows that the intersection multiplicity of <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> and<span class=\"MathTeX\">$\\Phi_1{}&#8217;$<\/span> at <span class=\"MathTeX\">$\\gamma&#8217;$<\/span> is <span class=\"MathTeX\">$\\geq(n-1)(\\nu-1)\\geq 1&gt;0=m-st$<\/span>. This example shows in fact that the intersection multiplicity of <span class=\"MathTeX\">$\\Phi&#8217;$<\/span> and <span class=\"MathTeX\">$\\Phi_1{}&#8217;$<\/span> at a curve\u00a0<span class=\"MathTeX\">$\\gamma&#8217;$<\/span> belonging to a generator <span class=\"MathTeX\">$\\Gamma_P{}&#8217;$<\/span> of <span class=\"MathTeX\">$\\Gamma&#8217;$<\/span> may have no particular relationship to either <span class=\"MathTeX\">$m-st$<\/span> or <span class=\"MathTeX\">$m$<\/span>.<\/p>\n<\/div>\n<p>Reviewed by O. Zariski<\/p>\n<p>&nbsp;<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>The problem of bad science has been in the news recently. \u00a0See, for instance this article in the New York Times,\u00a0the website Retraction Watch, or this retracted article in\u00a0Science.\u00a0 In any of the sciences, researchers can get a sense that &hellip; <a href=\"https:\/\/blogs.ams.org\/beyondreviews\/2015\/06\/22\/zariski-surgically-dissecting-a-flawed-proof\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/beyondreviews\/2015\/06\/22\/zariski-surgically-dissecting-a-flawed-proof\/><\/div>\n","protected":false},"author":86,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-268","post","type-post","status-publish","format-standard","hentry","category-exceptional-reviews"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p6C2KK-4k","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/268","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/users\/86"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/comments?post=268"}],"version-history":[{"count":10,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/268\/revisions"}],"predecessor-version":[{"id":945,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/268\/revisions\/945"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=268"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=268"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=268"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}