While I was traveling this past week, there was a conference held here entitled L-functions and Automorphic Forms, which was a celebration of the 60th birthday of my math department colleague Dorian Goldfeld. From all I’ve heard the conference was a great success, well attended, with lots of interesting talks. But by far the biggest excitement was due to one talk in particular, that of Lucien Szpiro on “Finiteness Theorems for Dynamical Systems”. Szpiro, a French mathematician who often used to be a visitor at Columbia, but is now permanently at the CUNY Graduate Center, claimed in his talk to have a proof of the abc conjecture (although I gather that, due to Szpiro’s low-key presentation, not everyone in the audience realized this…).
The abc conjecture is one of the most famous open problems in number theory. There are various slightly different versions, here’s one:
For each $\epsilon >0$ there exists a constant $C_\epsilon$ such that, given any three positive co-prime integers a,b,c satisfying a+b=c, one has
$$ c < C_ \epsilon R(abc)^{1+\epsilon}$$ where $R(abc)$ is the product of all the primes that occur in a,b,c, each counted only once.
The abc conjecture has a huge number of implications, including Fermat’s Last Theorem, as well as many important open questions in number theory. Before the proof by Wiles, probably quite a few people thought that when and if Fermat was proved it would be proved by first proving abc. For a very detailed web-site with information about the conjecture (which leads off with a quotation from Dorian “The abc conjecture is the most important unsolved problem in diophantine analysis”), see here. There are lots of expository articles about the subject at various levels, for two by Dorian, see here (elementary) and here (advanced).
As far as I know, Szpiro does not yet have a manuscript with the details of the proof yet ready for distribution. Since I wasn’t at the talk I can only relay some fragmentary reports from people who were there. Szpiro has been teaching a course last semester which dealt a bit with the techniques he has been working with, here’s the syllabus which includes:
We will then introduced the canonical height associated to a dynamical system on the Riemann Sphere. We will study such dynamical systems from an algebraic point of view. In particular we will look at the dynamics associated to the multiplication by 2 in an elliptic curve . We will relate these notions and the questions they raised to the abc conjecture and the Lehmer conjecture.
For more about these techniques, one could consult some of Szpiro’s recent papers, available on his web-site.
The idea of his proof seems to be to use a and b to construct an elliptic curve E, then show that if abc is wrong you get an E with too many torsion points over quadratic extensions of the rational numbers. The way he gets a bound on the torsion is by studying the “algebraic dynamics” given by the iterated map on the sphere coming from multiplication by 2 on the elliptic curve. I’m not clear about this, but it also seems that what Szpiro was proving was not quite the same thing as abc (his exponent was larger than 1+ε, something which doesn’t change many of the important implications).
Maybe someone else who was there can explain the details of the proof. I suspect that quite a few experts are now looking carefully at Szpiro’s arguments, and whether or not he actually has a convincing proof will become clear soon.
Update: I’m hearing from some fairly authoritative sources that there appears to be a problem with Szpiro’s proof.
This would be most remarkable and exciting if true! I seem to recall that the good professor Terry Tao mentions the opinion of another mathematician, Shou Wu Zhang, on how the abc conjecture could be proved, namely, saying that it would follow if one assumed enough variants of the BSD and RH conjectures.
http://terrytao.wordpress.com/2007/05/04/distinguished-lecture-series-iii-shou-wu-zhang-“triple-l-series-and-effective-mordell-conjecture”/
So if abc is true, while it is obviously not strong enough to provide any information about these other extremely famous conjectures, the remark of Shou Wu Zhang seems to indicate that at least it doesn’t rule them out (in their full generality) by contradiction.
I’m told by a mathematician friend that abc doesn’t imply Fermat; it implies asymptotic Fermat (sufficiently large exponents).
I agree with David S-D…in particular, on the site about the ABC conjecture which you link to, the consequence is said to be:
“that there are only finitely many solutions to the equation x^n+y^n=z^n with gcd(x,y,z)=1 and n> 3.”
I should have been more precise. It’s true that abc only implies Fermat for big enough n, but Fermat is known to be true by other methods for a large range of n, so abc would finish the proof (without Taylor-Wiles). You do have to check the coefficient you get in abc to make sure the ranges overlap, they do for Szpiro’s proof.
Peter,
The way you phrase the abc-conj above, it appears that C_\epsilon depends on a, b and c. The way I would phrase it would be to say,
that given any epsilon > 0, there exists a constant C_\epsilon
such that for any triple of positive integers a, b, c with a+b = c and gcd(a,b,c) =1… [etc]. Agree?
-Kasper
Kasper,
Yes, that’s right, I should have written things in another order to make that clear. The constant doesn’t depend on a,b,c. Maybe I’ll change it now…
According to Wikipedia Szpiro announced a proof of the ‘Weak abc conjecture’. The paper http://www.math.columbia.edu/~goldfeld/ABC-Conjecture.pdf mentions a ‘weak abc conjecture’.
How does abc connect to dynamical systems?
surlygrad,
No real connection to conventional dynamical systems. What is being used here is iteration of an algebraic map of the sphere to itself.
Rumours at my institution say that it is Emmanuel Ullmo, from University of Orsay, who is currently proof-reading the manuscript.
I think it would be informative to flip between this blog and that of Dr. Lubos Motl – after all, it doesnt hurt to listen to a range of opinions. Unfortunately, when you follow a link from this blog, you get a message refusing you entry and, worse, refusing return.
So flipping is difficult. Too bad. Hope he changes his policy.
layman,
I think you should take that up with Lubos, not much I can do about it. I suppose you could try posting a comment about this on his blog and not mine (although he’ll probably delete it, following his policy of deleting comments he disagrees with).
He put that page in place the day I pointed out here that his posting claiming the MiniBoone experiment had confirmed the LSND result was wrong (actually the opposite was true).
Hi,
What is your opinion about the recent paper posted in archive by T Pati disproving Riemann Hypothesis?
That the Pati paper actually disproves the Riemann hypothesis seems extremely unlikely, and I don’t know of anyone who has taken it seriously. The arXiv contains a large number of claims about the proof/disproof the the Riemann Hypothesis which are incorrect. The Pati paper is presumably also incorrect, but to find out why you need someone with some expertise who is willing to spend their time reading the paper and looking for the error. Perhaps the paper will get refereed and this will happen.
I heard rumors that the paper has been submitted for publication (may be annals). The interest lies in the fact that Pati is a respected figure in India.
Moreover, he is not known to have such false claims before.
Speaking about Riemann Hypothesis , recentle some suggestions were made by Alain Connes towards solution of Riemann Hypothesis by borrowing ideas from physics and may be non commutative geometry.
Can you shed any light on this , are there people seriously trying to prove the most important problem in number theory by borrowing ideas from physics?
Because that will have great implications……
Over the years people have tried all sorts of ideas related to physics on this problem. Connes has some ideas related to non-commutative geometry, but has not claimed to have a proof of RH. My understanding is that in the case of RH for function fields (where a proof by other methods exists), there is progress on finding a proof by Connes’s methods. For comments by him about this, see this posting on his blog:
http://noncommutativegeometry.blogspot.com/2007/03/le-rve-mathmatique.html
via Ars Mathematica, here’s a link to a discussion of what is wrong with the Pati argument:
http://guests.mpim-bonn.mpg.de/kroetz/RH.pdf
Pingback: Ars Mathematica » Blog Archive » Rumors of the abc conjecture