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 to read. In 1983, gerd faltings, now a director of the max planck institute for mathematics in bonn, germany, proved the mordell conjecture, which asserts that there are only finitely many rational solutions to certain types of algebraic equations, an. In order to show the profound importance of the abcconjecture in number theory, we enumerate some remarkable consequences that would follow if the abcconjecture were proven. We will state the conjecture, which concerns integer. Unlike 150year old riemann hypothesis or the twin prime conjecture whose age is measured in millennia, the abc conjecture was discovered. 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. On a problem related to the abc conjecture daniel m. The abc conjecture describes the relationship between the three numbers in perhaps the simplest possible equation.
An introduction to the abc conjecture hector pasten vasquez. Monday, march 21 in this talk i will discuss some classical and new applications of the abc. Mochizukis ingenious interuniversal teichmuller theory and its consequences to diophantine inequality. Oct 05, 2016 mathematics is full of stories of geniuses toiling away in isolation before presenting the world with a monumental result that takes years for everyone else to understand. Mochizuki proved grothendiecks conjecture on anabelian geometry in 1996. The statement, which comes in several slightly different versions, concerns the prime numbers that divide each of the. Meeting of math minds fails to clear up abc conjecture proof. Its truth implies several results that were awarded fields medals in the past. But it is far from obvious to me that the first follows from the second. Notes on the oxford iut workshop by brian conrad mathbabe. The second easily follows from the first if theres only finitely many triples, there must be a best one.
In 20002008 he discovered several new theories including the theory of frobenioids, monoanabelian geometry and the etale theta theory for line bundles over tempered covers of the tate curve. What is the status on shinichi mochizukis abc conjecture. Assuming the truth of the abc conjecture for quadratic number fields for which the norm of a fundamental unit is 1, ichimura ic proved that there exist infinitely many primes p such that p k0. What the alphabet looks like when d through z are eliminated1,2 1. If d denotes the product of the distinct prime factors of abc, the conjecture essentially states that d is. At a recent conference dedicated to the work, optimism mixed with bafflement. The refined abc conjecture of robert, stewart and tenenbaum predicts the precise rate of convergence. The abc conjecture, formulated in the mid1980s by oesterle and masser, is one of the most important conjectures in number theory. He was an invited speaker at the international congress of mathematicians in 1998. The section formulations gives two formulations abc conjecture and abc conjecture ii which are said to be equivalent. 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. Sep 10, 2012 the abc conjecture, proposed independently by david masser and joseph oesterle in 1985, might not be as familiar to the wider world as fermats last theorem, but in some ways it is more significant.
A proof of abc conjecture after mochizuki go yamashita abstract. The unbeaten list provides the best known lower bound on how quickly this limsup tends to 1. It has many deep consequences, but its basic formulation can be given in entirely elementary terms. We explain the details as in selfcontained manner as possible. 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 this is very odd. A new hope for a perplexing mathematical proof wired. The pseudonull conjecture of greenberg 1976 asserts that these two invariants vanish for all p and all k. Where can i find pdfs of shinichi mochizukis proof of the. In this paper we give upper bounds for z in terms of the greatest squarefree factor of xyz.
A famous example is fermats last theorem, a 350year old problem that was solved in the 1990s by andrew wiles after years of secretive work. The abc conjecture jeff lagarias abstract for 24 september 2015 the abc conjecture is a famous conjecture in number theory formulated around 1985 by d. Interuniversal teichmuller theory i construction of hodge theaters shinichi mochizuki april2020 abstract. The abc conjecture says that the limsup of the quality when we range over all abc triples, is 1. According to lang, one important antecedent of the abc conjecture is a simple but at the time unexpected relation for the function field case, published in 1984. Baffling abc maths proof now has impenetrable 300page. Scholze and stix on the mochizuki proof not even wrong. The abc conjecture also known as the oesterlemasser conjecture is a conjecture in number theory, first proposed by joseph oesterle and david masser. Mochizuki s ingenious interuniversal teichmuller theory and its consequences to diophantine inequality. Pdf comments new 20190628 4 the grothendieck conjecture on the fundamental groups of algebraic curves. The thing is that he has done it in steps, publishing and building from the 1990s but went under many peoples radar. The riddle the conjecture consequences evidence abc hits i the product of the distinct primes in a number is called the radical of that number. Papers of shinichi mochizuki research institute for. What this says in plain english is something like this.
Next we recite masons proof of an analogous assertion for polynomials at,bt,ct that implies, among other. This last example of the frobenius mutation and the associated core consti tuted by the. It has been thought for some time that the conjecture. Another is the poincare conjecture, proved in the 2000s by the reclusive grigory. Dec 21, 2015 for instance, a proof of the abc conjecture would improve on a landmark result in number theory. Mochizuki s papers on abc conjecture and iut theory have been accepted but the main issue is that mochizuki is editorinchief of the journal to which he submitted his papers publications of the rims. Our proofs require a number of tools from arakelov geometry, analytic number theory, galois representations, complexanalytic estimates on shimura curves, automorphic forms, known cases of the colmez conjecture, and results on generalized fermat equations. In order to compare abc triples the quality is introduced. Based on this conjecture we give an effective algorithm for computing an infinite set of primes which are not wieferich primes. Pdf 5 the absolute anabelian geometry of hyperbolic curves. Pdf comments new 20121220 2 a version of the grothendieck conjecture for padic local fields.
1338 1282 586 131 551 177 1627 1016 726 1231 1503 1072 816 1643 640 85 189 1196 273 444 1223 176 419 730 718 1635 1526 295 1441 469 1549 13 1186 634 350 775 1029 1295 1300 630 219 1154