2人のフィールズ賞学者が望月論文に抱いた違和感
今月初めにフィールズ賞を受賞したピーター・ショルツ*1が、京都大学の望月新一教授によるabc予想の証明に問題点を見つけた、という話をこちらのツイート経由で知った。ただ、ショルツのその指摘を望月氏は認めておらず、今年3月に京都で直接顔を合わせた際も議論はすれ違いに終わり、両者の意見は今のところ平行線を辿ったままだという。
なお、前記のツイートのリンクを辿っていくと(ネイチャー記事→Peter Woitというコロンビア大の数学者の7/17付けブログ記事→同氏の昨年12/16付けブログ記事(の追記))、匿名のシカゴ大教授のブログ*2「Persiflage」の昨年12/17付け記事へのコメントという形で、ショルツ自身の見解*3を読むことができる。この件(というか数学全般)について小生は完全な門外漢ではあるが、専門用語の訳をグーグルさんに頼りつつ、以下に紹介してみる。
なお、前記のツイートのリンクを辿っていくと(ネイチャー記事→Peter Woitというコロンビア大の数学者の7/17付けブログ記事→同氏の昨年12/16付けブログ記事(の追記))、匿名のシカゴ大教授のブログ*2「Persiflage」の昨年12/17付け記事へのコメントという形で、ショルツ自身の見解*3を読むことができる。この件(というか数学全般)について小生は完全な門外漢ではあるが、専門用語の訳をグーグルさんに頼りつつ、以下に紹介してみる。
Thanks for the wonderful post! I agree with everything that was said.
One small thing I would like to add is that most accounts indicate that no experts have been able to point to a place where the proof would fail. This is in fact not the case; since shortly after the papers were out I am pointing out that I am entirely unable to follow the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part III: “If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, one concludes [the main inequality].” Note that this proof is in fact the *only* proof in parts II and III that is longer than a few lines which essentially say “This follows from the definitions”. Those proofs, by the way, are completely sound, very little seems to happen in those two papers (to me). Since then, I have kept asking other experts about this step, and so far did not get any helpful explanation. In fact, over the years more people came to the same conclusion; from everybody outside the immediate vicinity of Mochizuki, I heard that they did not understand that step either. The ones who do claim to understand the proof are unwilling to acknowledge that more must be said there; in particular, no more details are given in any survey, including Yamashita’s, or any lectures given on the subject (as far as they are publicly documented). [I did hear that in fact all of parts II and III should be regarded as an explanation of this step, and so if I am unable to follow it, I should read this more carefully… For this reason I did wait for several years for someone to give a better (or any) explanation before speaking out publicly.]
One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work). The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear, but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
(拙訳)
素晴らしいポストを有難う! 書かれたことに全面的に同意する。
一つ細かな点を付け加えるならば、証明が間違ったであろう箇所を専門家は誰も指摘できない、と大半の記事は述べているが、これは事実ではない。論文が出た直後から、私は、宇宙際タイヒミュラー理論パート3の系3.12の証明の図3.8の後のロジックが全くフォローできない、と指摘している。それは、「上記の議論を系3.12において導入された記法で解釈するならば、(主題の不等式という)結論が導かれる」というものだ。この証明が実際のところパート2と3の中で、事実上「定義から導かれる」と言っている数行以上書かれた*唯一の*証明であることに注意されたい。ちなみに[それ以外の「定義から導かれる」と言っている*4]証明は完全にまともなものであり、その2つの論文ではほとんど何も起きていない(ように私には見える)。それ以来、私は他の専門家にこのステップについて尋ね続けているが、今のところ有益な説明は一切受けていない。実際のところ、年を経るに従ってより多くの人が同じ結論に到達しつつある。私が聞いたところでは、望月の側近の人たち以外は皆、やはりそのステップを理解できていない。その証明を理解したと主張する人は、説明が言葉足らずであることを認めようとはしない。実際、山下のものを含めどのサーベイ論文でも、あるいはこのテーマについてなされたどの講義においても、(公けに記録されている限りにおいては)これ以上の詳細は提示されていない。[実際のところ、パート2と3はすべてこのステップの説明と見做すべきであり、従ってこれが理解できなければもっと注意深く読むべきである、という話は聞いた…そのため私は、この話を公けにする前に、誰かがもっと良い(ないし何らかの)説明をしてくれるのを数年間待っていた。]
最後にもう一つ。コンピュータによる確認について言及したものすべてに私は非常に苛立っている(このブログでは出てきていないが、望月の研究をネットで論じた別のどこかに出ていた)。コンピュータもこのステップを明らかにすることはできない。例えばケプラー予想*5と比較するというのは、完全に間違っている。ケプラー予想の場合は、全体戦略は明確であったが、すべてのケースが虱潰しに調べられたかどうかが明確でなかった。本件の場合は、ケースは一切存在せず、「よって結果が導かれる」という主張だけが存在する。
Thanks for this. I do not have the expertise to have an informed first-hand opinion on Mochizuki’s work, but on comparing this story with the work of Perelman and Yitang Zhang you mentioned that I am much more familiar with, one striking difference to me has been the presence of short “proof of concept” statements in the latter but not in the former, by which I mean ways in which the methods in the papers in question can be used relatively quickly to obtain new non-trivial results of interest (or even a new proof of an existing non-trivial result) in an existing field. In the case of Perelman’s work, already by the fifth page of the first paper Perelman had a novel interpretation of Ricci flow as a gradient flow which looked very promising, and by the seventh page he had used this interpretation to establish a “no breathers” theorem for the Ricci flow that, while being far short of what was needed to finish off the Poincare conjecture, was already a new and interesting result, and I think was one of the reasons why experts in the field were immediately convinced that there was lots of good stuff in these papers. Yitang Zhang’s 54 page paper spends more time on material that is standard to the experts (in particular following the tradition common in analytic number theory to put all the routine lemmas needed later in the paper in a rather lengthy but straightforward early section), but about six pages after all the lemmas are presented, Yitang has made a non-trivial observation, which is that bounded gaps between primes would follow if one could make any improvement to the Bombieri-Vinogradov theorem for smooth moduli. (This particular observation was also previously made independently by Motohashi and Pintz, though not quite in a form that was amenable to Yitang’s arguments in the remaining 30 pages of the paper.) This is not the deepest part of Yitang’s paper, but it definitely reduces the problem to a more tractable-looking one, in contrast to the countless papers attacking some major problem such as the Riemann hypothesis in which one keeps on transforming the problem to one that becomes more and more difficult looking, until a miracle (i.e. error) occurs to dramatically simplify the problem.
From what I have read and heard, I gather that currently, the shortest “proof of concept” of a non-trivial result in an existing (i.e. non-IUTT) field in Mochizuki’s work is the 300+ page argument needed to establish the abc conjecture. It seems to me that having a shorter proof of concept (e.g. <100 a="" about="" an="" application="" argument.="" be="" bizarre="" dispel="" entire="" external="" help="" href="http://d.hatena.ne.jp/keyword/the%20abc" is="" it="" me="" nbsp="" only="" pages="" prove="" scepticism="" seems="" self-contained="" style="color: #416ed2; max-width: 100%;" that="" the="" theory="" there="" to="" whose="" would="">the abc100>
0 Comments:
コメントを投稿
<< Home