The abc conjecture also known as the oesterlemasser conjecture is a conjecture in number theory, first proposed by joseph oesterle and david masser. The proof itself is embedded in a framework that mochizuki calls interuniversal teichmuller theory iut. Nov 25, 2012 a couple of months ago, japanese mathematician shinichi mochizuki posted the latest in a series of four papers claiming the proof of a longstanding problem in mathematics the abc conjecture. I think the abc conjecture is still open, scholze said.
So when word spread in 2012 that mochizuki had presented a proof, many. Mochizukis proof of abc conjecture is something like that. The cases n 1 and n 2 have been known to have infinitely many solutions since antiquity. Pdf assuming c conjecture has gained increasing awareness in august 2012 when shinichi mochizuki released a series of four preprints containing a claim to a proof of the abc conjecture using his inter. Shinichi mochizuki anounced the proof which the mathematical community perceives as a serious but unchecked claim. In 2012, shinichi mochizuki at kyoto university in japan produced a proof of a long standing problem called the abc conjecture, but no one could. Nobody could understand what the heck mochizuki was going on about. For instance, a proof of the abc conjecture would improve on a landmark result in number theory. Arithmetic deformation theory via algebraic fundamental groups and nonarchimedean thetafunctions, notes on the work of shinichi mochizuki, by ivan fesenko 1. After an eightyear struggle, embattled japanese mathematician shinichi mochizuki has finally received some validation.
Even a tenured professor of mathematics specializing in the same field of number theory as mochizuki would probably have to do some background reading before being able to understand his paper. When the abc conjecture was mentioned as solved, many suddenly tried to read it, and found that they had 25 year long extremely technical backlog. In this video i give an overview of what papers are involved in mochizukis work on abc. The thing is that he has done it in steps, publishing and building from the 1990s but went under many peoples radar. Dec 17, 2017 the abc conjecture has still not been proved. Davide castelvecchi at nature has the story this morning of a press conference held earlier today at kyoto university to announce the publication by publications of the research institute for mathematical sciences rims of mochizukis purported proof of the abc conjecture this is very odd. A proof of abc conjecture after mochizuki go yamashita abstract. Mochizuki first published a michenernovellength proof of the abc conjecture in 2012, when he unceremoniously dumped 500 pages online and said hed proven it. On august 30, 2012, shinichi mochizuki, a mathematician at kyoto university in japan, published four papers on the internet claiming to prove the abc conjecture. The aim of these notes is to present, in a relatively simple and general form, the key ideas, concepts and objects of the work of shinichi mochizuki on interuniversal teichmuller theory iut, to as many potential readers as possible. In them, mochizuki claimed to have solved the abc conjecture, a 27yearold problem in number theory that no other mathematician had even come close to. Mochizuki, shinichi 2016a, interuniversal teichmuller theory i.
Shinichi mochizukis purported proof of the abc conjecture is otherwise. The author feels deeply indebted to shinichi mochizuki for the helpful and. Pdf comments new 20121220 2 a version of the grothendieck conjecture for padic local fields. Shinichi mochizuki, initiator of iutt, says in 5 of his report. He released a series of four preprints developing a new theory called interuniversal teichmuller theory iutt which is then applied to prove several famous conjectures in number theory, including the abc conjecture and the hyperbolic. Unlike 150year old riemann hypothesis or the twin prime conjecture whose age is measured in millennia, the abc conjecture was discovered. A little over five years back, the celebrated japanese mathematician unveiled a 500page proof spread over four papers, which together purported to offer a revolutionary solution to whats called the abc conjecture a gruelling math problem posed over 30 years ago there was only one problem. This is an unsolved problem hitherto although shinichi mochizuki published four papers on the internet claiming prove it. The wealth of consequences that would spring from a proof of the abc conjecture had convinced number theorists that proving the conjecture was likely to be very hard.
His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number. Pdf a simple proof of the abc conjecture samuel bonaya buya. Mochizuki s ingenious interuniversal teichmuller theory and its consequences to diophantine inequality. His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. The logical origin of the differences in viewpoint and so of misunderstandings by critics might be the different approaches to histories of operations on mathematical objects e. Shinichi mochizuki maintains that his proof is not. A proof of abc conjecture after mochizuki rims, kyoto university. The proofs are posted among shinichi mochizuki s papers, under the title inter universal. Mochizukis interuniversal teichmuller proof has been. In the summer of 2012 shinichi mochizuki, a noted japanese mathematician, released a series of four papers in which he may have succeededby. Jan 07, 2015 shinichi mochizuki of kyoto university, japan, has tried to prove the abc conjecture, a longstanding pure maths problem, but now says fellow mathematicians are failing to get to grips with his work. He is one of the main contributors to anabelian geometry. It is claimed mochizuki 12d but currently unchecked that a proof of the abc conjecture can be found from anabelian geometry in this context. In august 2012, shinichi mochizuki claimed a proof of szpiros conjecture and therefore the abc conjecture.
Abc conjecture unsolved math problems abc conjecture. Introduction to interuniversal teichmuller theory in japanese,by yuichiro hoshi 3. Where can i find pdfs of shinichi mochizukis proof of the. This last example of the frobenius mutation and the associated core consti tuted by the. This is the well known abc theorem for polynomials. Shinichi mochizuki, a japanese mathematician who claims to have solved the abc conjecture. On mochizuki s report on discussions thehighergeometer. Dec 17, 2015 in this video i give an overview of what papers are involved in mochizuki s work on abc. Why does mochizuki insist on forgetting the previous history. An abc proof too tough even for mathematicians the. The abc conjecture asks about additive relations between prime numbers while their definition uses multiplication only. Shinichi mochizuki of kyoto university, japan, has tried to prove the abc conjecture, a longstanding pure maths problem, but now says fellow. The abc conjecture has still not been proved persiflage.
Titans of mathematics clash over epic proof of abc conjecture. In march 2018 peter scholze and jacob stix travelled to japan to visit shinichi mochizuki to discuss with him his claimed proof of the abc conjecture. The article is just about how mochizuki claims to have proven abc, its the mainstream media catching up to something this sub has been aware of for a while. See the references at interuniversal teichmuller theory. In documents released in september 2018, scholzestix claimed the key lemma3. Where can i find pdfs of shinichi mochizukis proof of the abc. Pdf proof of the abc conjecture samuel bonaya buya. The proofs are posted among shinichi mochizuki s papers, under the title interuniversal.
In august 2012, shinichi mochizuki claimed a proof of szpiros conjecture and therefore the abc. The abc conjecture is a conjecture in number theory, first proposed by joseph oesterle 1988. You should take some time to read this very wellwritten piece about shin mochizukis claimed proof of the abc conjecture. A couple of months ago, japanese mathematician shinichi mochizuki posted the latest in a series of four papers claiming the proof of a longstanding problem in mathematics. Mathematicians anger over his unread 500page proof new. This conjecture has gained increasing awareness in august 2012 when shinichi mochizuki released a series of four preprints containing a claim to a proof of the abc conjecture using his inter. Quanta magazine september 20, 2018 titans of mathematics clash. Papers of shinichi mochizuki research institute for.
Shinichi mochizuki, interuniversal teichmuller theory i, construction of hodge theaters 2012 pdf. If d denotes the product of distinct prime factors of abc, the conjecture states that d is usually not much smaller than c. Interuniversal teichmuller theory iv rims, kyoto university. As discussed here a couple months ago, peter scholze and jakob stix believe they have found a serious problem with mochizukis claimed proof of the abc conjecture, and traveled to kyoto in march to discuss it with him. What is the status on shinichi mochizukis abc conjecture. Pdf 5 the absolute anabelian geometry of hyperbolic curves. In them, mochizuki claimed to have solved the abc conjecture, a 27yearold problem in number theory that no other mathematician had even come close to solving. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and arithmetic geometry. On the abc conjecture and some of its consequences by. Sep 12, 2012 that might change if what shinichi mochizuki of kyoto university is claiming is true. Sep 20, 2018 scholze and stix on the mochizuki proof posted on september 20, 2018 by woit as discussed here a couple months ago, peter scholze and jakob stix believe they have found a serious problem with mochizukis claimed proof of the abc conjecture, and traveled to kyoto in march to discuss it with him. So when word spread in 2012 that mochizuki had presented a proof, many number. Pdf comments new 20190628 4 the grothendieck conjecture on the fundamental groups of algebraic curves. Shinichi mochizuki mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and arithmetic geometry.
A version of the grothendieck conjecture for padic local fields. His 600page proof of the abc conjecture, one of the biggest open problems. We explain the details as in selfcontained manner as possible. Mathematician set to publish abc proof almost no one. Interuniversal teichmuller theory i construction of hodge theaters shinichi mochizuki may2020 abstract. What is the current progress in verifying shinichi mochizukis proof of the abc conjecture. I have nothing further to add on the sociological aspects of mathematics discussed in that. However, mathematicians understood early on that the conjecture was intertwined with other big problems in mathematics. Mochizuki has made public his response to this, creating a webpage available here. On mochizukis report on discussions thehighergeometer. Scholze and stix on the mochizuki proof not even wrong.
What the alphabet looks like when d through z are eliminated1,2 1. To mathematicians its akin to the grand unified theory of. Proof of the abc conjecture, written by shinichi mochizuki. I have nothing further to add on the sociological aspects of mathematics discussed in that post, but i just wanted to report on how the. Mathoverflow, philosophy behind mochizukis work on the abc.
The conjecture always seems to lie on the boundary of what is known and what is unknown, dorian goldfeld of columbia university has written. In this research the a short proof of the abc conjecture is presented. Shinichi mochizuki building on several thousand pages of work he has carried out over the last 20 years. In their report, scholze and stix argue that a line of reasoning near the end of the proof of corollary 3. Apr 07, 2020 after eight years of debate, japanese mathematician shinichi mochizuki has found a publisher for his mammoth undertakingthe interuniversal teichmuller theory iut. An identity connecting c and rad abc is used to establish the lower limit. It is a mathematical epic five years in the making. A brutal 500page math proof even experts cant understand is. Mathematical proof that rocked number theory will be published.
Mochizukis work translates this inequality into yet another form, which, stix said, can be thought of as comparing the volumes of two sets. Oct 08, 2015 in them, mochizuki claimed to have solved the abc conjecture, a 27yearold problem in number theory that no other mathematician had even come close to solving. On april 3, 2020, two japanese mathematicians, masaki kashiwara and akio tamagawa, announced that mochizukis claimed proof of the abc conjecture would. In this talk, i will explain what the conjecture asserts, some evidence that supports it, and a few of its corollaries. It is shown that the product of the distinct prime factors of abc is greater than the squareroot of c. The occasion was a conference on the work of shinichi mochizuki, a brilliant mathematician at kyoto university who in august 2012 released four papers that were both difficult to understand and impossible to ignore. Pdf assuming c written by shinichi mochizuki, has checked. Mathematician announces that hes proved the abc conjecture.
210 46 259 448 895 920 1072 401 1213 1517 279 703 767 736 1610 72 890 1063 857 442 175 930 982 411 928 959 1590 920 183 231 544 629 1159 1462 818 775 656 892