{"id":10560,"date":"2018-09-20T15:11:48","date_gmt":"2018-09-20T19:11:48","guid":{"rendered":"http:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=10560"},"modified":"2022-04-09T05:50:27","modified_gmt":"2022-04-09T09:50:27","slug":"scholze-and-stix-on-the-mochizuki-proof","status":"publish","type":"post","link":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=10560","title":{"rendered":"Scholze and Stix on the Mochizuki  Proof"},"content":{"rendered":"<p>As discussed <a href=\"http:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=10436\">here<\/a> a couple months ago, Peter Scholze and Jakob Stix believe they have found a serious problem with Mochizuki&#8217;s claimed proof of the abc conjecture, and traveled to Kyoto in March to discuss it with him.  Their write-up is now available <a href=\"http:\/\/www.kurims.kyoto-u.ac.jp\/~motizuki\/SS2018-08.pdf\">here<\/a>.  Mochizuki has made public his response to this, creating a web-page available <a href=\"http:\/\/www.kurims.kyoto-u.ac.jp\/~motizuki\/IUTch-discussions-2018-03.html\">here<\/a>.  There&#8217;s also an <a href=\"https:\/\/www.maths.nottingham.ac.uk\/plp\/pmzibf\/rapm.pdf\">updated version of Ivan Fesenko&#8217;s take on the story<\/a>, as well as a possibly relevant <a href=\"http:\/\/www.kurims.kyoto-u.ac.jp\/~motizuki\/FAQ%20on%20IUTeich.pdf\">FAQ on IUTeich<\/a> from Go Yamashita.<\/p>\n<p>Erica Klarreich has an excellent <a href=\"https:\/\/www.quantamagazine.org\/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920\/\">long and detailed article<\/a> about this story at Quanta.<\/p>\n<p><strong>Update<\/strong>: Looking through these Scholze\/Stix\/Mochizuki documents, my non-expert opinion is that Mochizuki does not seem to effectively address the Scholze-Stix objections, which are aimed at a very specific piece of his argument.  Unfortunately, he also does his own credibility a huge amount of damage by including over-the-top attacks on the competence of Scholze and Stix, in typefaces that make him look unserious.  For instance, there&#8217;s<\/p>\n<blockquote><p><em>I can only say that it is a <\/em> very challenging task to document the depth of my astonishment <em>when I first read this Remark! This Remark may be described as a<\/em> <strong>breath-takingly (melo?)dramatic self-declaration<\/strong>, <em>on the part of SS, of their<\/em> profound ignorance <em>of the<\/em> elementary theory of heights, <em>at the advanced undergraduate\/beginning graduate level<\/em>.<\/p><\/blockquote>\n<p>or the last couple pages of <a href=\"http:\/\/www.kurims.kyoto-u.ac.jp\/~motizuki\/Rpt2018.pdf\">his report<\/a>.<\/p>\n<p><strong>Update<\/strong>:  More of the same about IUT from Fesenko available <a href=\"https:\/\/www.maths.nottingham.ac.uk\/plp\/pmzibf\/rapg.pdf\">here<\/a>.  His argument is that the overwhelming majority of leading experts in arithmetic geometry who are skeptical of the purported abc proof should be ignored, since they haven&#8217;t put in the two years of continuous study of IUT necessary.  I don&#8217;t think this collection of ad hominem arguments will do anything to change anyone&#8217;s mind.  I also don&#8217;t see why he doesn&#8217;t instead produce what could change minds: a clear and convincing technical refutation of the Scholze-Stix argument.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>As discussed here a couple months ago, Peter Scholze and Jakob Stix believe they have found a serious problem with Mochizuki&#8217;s claimed proof of the abc conjecture, and traveled to Kyoto in March to discuss it with him. Their write-up &hellip; <a href=\"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/?p=10560\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","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":[33],"tags":[],"class_list":["post-10560","post","type-post","status-publish","format-standard","hentry","category-abc-conjecture"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/10560","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=10560"}],"version-history":[{"count":14,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/10560\/revisions"}],"predecessor-version":[{"id":10594,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/10560\/revisions\/10594"}],"wp:attachment":[{"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=10560"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=10560"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.math.columbia.edu\/~woit\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=10560"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}