I believe weierstrass did all his work post 60 or so. Did peter scholze and jakob stix really find a serious flaw in shinichi mochizukis proof of abc conjecture. Can someone briefly explain the philosophy behind his work and comment on why it might be expected to shed light on questions like the abc conjecture. Apr 07, 2020 adding to the confusion was a claim by mochizuki that he had solved several conjectures in the proof, among them one of the most famous open problems in number theorythe abc conjecture. Notes on the oxford iut workshop by brian conrad mathbabe. 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. The proofs are posted among shinichi mochizukis papers, under the title. Dec 21, 2015 until mochizuki released his work, little progress had been made towards proving the abc conjecture since it was proposed in 1985.
He is one of the main contributors to anabelian geometry. 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 mochizuki s purported proof of the abc conjecture. For every field f, one can combine information about all of its finite galois. Mathematician set to publish abc proof almost no one. Meeting of math minds fails to clear up abc conjecture proof. This last example of the frobenius mutation and the associated core consti tuted by the. Dec 18, 2017 it is a mathematical epic five years in the making. But in this case, it is claimed by shinichi mochizuki with more than 500 pages. Mathematical proof that rocked number theory will be published. As of january 2019, mochizuki s proposed approach to szpiros conjecture and through it, the abc conjecture is not accepted as correct proof by the mathematical community, particularly experts in arithmetic geometry. Thus, in summary, it seems to the author that, if one ignores the delicate considerations that occur in the course of interpreting and combining the main results of the preparatory papers. It is far too early to judge its correctness, but it builds on many years of work by him. Mochizuki s theorem aims to prove the important abc conjecture, which dates back to 1985 and relates to prime numbers whole numbers that cannot be evenly divided by any.
Philosophy behind mochizukis work on the abc conjecture. 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. There has been a backandforth in 2018 between shinichi. After an eightyear struggle, embattled japanese mathematician shinichi mochizuki has finally received some validation. Mochizukis interuniversal teichmuller proof has been. The abc conjecture expresses a universal asymptotical property of all. The present paper forms the fourth and final paper in a series of papers concerning interuniversal teichmuller theory. What makes shinichi mochizuki s proof idiosyncratic. Mathematicians finally starting to understand epic abc proof. Pdf comments new 20121220 2 a version of the grothendieck conjecture for padic local fields.
Conclusion just admiration for sustained commitment. Mochizuki has made public his response to this, creating a webpage available here. A proof of abc conjecture after mochizuki rims, kyoto university. Aug 02, 2016 the 500page proof was published online by shinichi mochizuki of kyoto university, japan in 2012 and offers a solution to a longstanding problem known as the abc conjecture, which explores the.
Acknowledgment the author feels deeply indebted to shinichi mochizuki for the helpful and. In this research the a short proof of the abc conjecture is presented. By erica klarreich klaus kremmerz for quanta magazine shinichi mochizuki maintains that his proof is not. Shinichi mochizuki, mochizuki shinichi, born march 29, 1969 is a japanese mathematician working in number theory and arithmetic geometry. To nonspecialists all math papers are impenetrable, but what is it that made mochizuki s proof of the abc conjecture particularly so. 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. On april 3, 2020, two japanese mathematicians, masaki kashiwara and akio tamagawa, announced that mochizukis claimed proof of the abc conjecture would. Interuniversal teichmuller theory abbreviated as iut is the name given by mathematician shinichi mochizuki to a theory he developed in the 2000s, following his earlier work in arithmetic geometry. Ivan fesenko describes shinichi mochizukis theory and new concepts such. Monumental proof to torment mathematicians for years to come. This last example of the frobenius mutation and the associated core constituted by the.
An identity connecting c and rad abc is used to establish the lower limit. In august 2012, shinichi mochizuki claimed a proof of szpiros conjecture and therefore the abc. Abc conjecture two mathematicians have found what they say is a hole at the heart of a proof that has convulsed the mathematics community for nearly six years. Where can i find pdfs of shinichi mochizukis proof of the. Pdf proof of the abc conjecture samuel bonaya buya. Scholze and stix on the mochizuki proof not even wrong. It is a mathematical epic five years in the making. Pdf comments new 20190628 4 the grothendieck conjecture on the fundamental groups of. A proof of abc conjecture after mochizuki 3 way was to soak it in a large amount of water, to soak, to soak, and to soak, then it cracked by itself. As discussed here a couple months ago, peter scholze and jakob stix believe they have found a serious problem with mochizuki s claimed proof of the abc conjecture, and traveled to kyoto in march to discuss it with him. Another story is that once a mathematician asked an expert of etale cohomology what was.
Interuniversal teichmuller theory iv rims, kyoto university. The abc conjecture is a conjecture in number theory, first proposed by joseph oesterle 1988. His 600page proof of the abc conjecture, one of the biggest open problems. For instance, a proof of the abc conjecture would improve on a landmark result in number theory. Mochizuki has recently announced a proof of the abc conjecture. Carl pomerance the slides for this talk can be foundhere. Mochizuki s work translates this inequality into yet another form, which, stix said, can be thought of as comparing the volumes of two sets. A japanese mathematician claims to have solved one of the most important problems in his field. Sep 10, 2012 proof claimed for deep connection between primes if it is true, a solution to the abc conjecture about whole numbers would be an astounding achievement. Papers of shinichi mochizuki research institute for. Dec 17, 2015 in this video i give an overview of what papers are involved in mochizuki s work on abc.
It is shown that the product of the distinct prime factors of abc is greater than the squareroot of c. 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. Have there been any updates on mochizukis proposed proof of the. Where can i find pdfs of shinichi mochizukis proof of the abc. Of course, an important open conjecture that was formed in 1985 is still a rather impressive proposition, as such a conjecture can then be said to have stumped mathematicians for almost 30 years. Graph isomorphism in quasip laszlo babai, in 2015, at age 65. If d denotes the product of the distinct prime factors of abc, the conjecture essentially states that d is. The abc conjecture also known as the oesterlemasser conjecture is a conjecture in number theory, first proposed by joseph oesterle and david masser.
Mochizukis proof of abc conjecture is something like that. His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. Interuniversal teichmuller theory i construction of hodge theaters shinichi mochizuki april2020 abstract. However, mathematicians understood early on that the conjecture was intertwined with other big problems in mathematics. What makes shinichi mochizukis proof idiosyncratic. According to mochizuki, it is an arithmetic version of teichmuller theory for number fields equipped. His contributions include his solution of the grothendieck conjecture in anabelian geometry about hyperbolic curves over number. Dec 15, 2015 brian conrad is a math professor at stanford and was one of the participants at the oxford workshop on mochizuki s work on the abc conjecture.
1459 1498 53 792 924 1394 551 1075 852 600 880 798 636 483 1135 712 165 145 400 138 1380 493 1290 520 589 830 1386 417 901 129