Slashdot Mirror
Shimura-Taniyama-Weil (STW) Solved
timbo_red writes "The BBC report that an international team of scientists have solved the STW conjecture. I vaguely remember what this is from reading the Fermat book, I'll have to check it again. " This really has me interested in the conjecture. Anyone have any good links for background reading?
I read this a couple of days ago, and understood several of the words involved. Further reading, with decent enough explanations, can be found here.
While I don't pretend to understand the math involved, Simon Singh's book Fermat's Enigma gives a good explanation of why the Shimura-Taniyama-Weil conjecture is interesting and important, even beyond its application in proving Fermat's Last Theorem. It serves to unify two unexpectedly related fields of math. I recommend the book -- although nonmathematical, it gives a feeling and appreciation for the mathematical discovery process, and is a gripping read. It's a midway point between "popular math" and real math.
Like the article says, Wiles solved a special case of STW to knock off Fermat's Last Theorem. I guess this is a proof of the general version (but the article is a little vague--any number theorists around who are in the loop?)
The existence of a proof of the full Taniyama-Shimura conjecture was announced at a conference by Kenneth Ribet on June, 21 1999 (Knapp 1999), and reported on National Public Radio's Weekend Edition on July 31, 1999. The proof was completed by Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor, building on the earlier work of Wiles and Taylor.
/. posts what we submit. Though, I think monitoring NPR would be a good source for stories -- they reported this one a while back. Perhaps links like this one to the real-audio recordings of their broadcasts might be a nice touch.
Before everybody starts screaming "this is old news" remember,
The Future of Human Evolution: Autonomy
I used to think that math wasn't much of a direct use, but this is incorrect and a lot of it has to do with how mathematics is taught in western culture (something we should be ashamed of; Most people don't do any calculus until senior high school if at all!).
What math does is provide a (perhaps the) universal language with which to describe the universe, science, language, everything. Everything can be represented and manipulated in some form with math - this is what computers do! (discreetly >:).
Discovering relationships between unrelated fields of math allows the scientists and engineers of tomorrow to use these descriptive tools to develop new cool gadgets. ;)
Kudos,
..don't panic
It is rather unfortunate that the BBC correspondent has very little idea about the subject he is writing about
It's always the same from the Beeb. "Real" intellectuals have arts or humanities degrees, mathematicians are just geeks and beneath contempt. Did you notice the "related links" they placed on the page ? The top feature was last year's "mathematics of biscuit dunking" story. This just shows what little significance the increasingly dumbed-down BBC now places on science or technology stories.
ObRant: Why is it that at the hypothetical mixed-background middle class dinner party, the scientists are expected to be literate, but the literati still revel in their innumeracy ?
It is true that the subject is too esoteric to be accessible to non-mathemticians,
There's probably at least a dozen people in this room as me who work on elliptic curves on a daily basis. OK, so I work in an unusual environment, but these things do actually have real world applications (crypto, natch) and not just for the NSA.
Alright, I'm no expert on this stuff, but I'm going to take a stab at explaining why anyone would care about the STW conjecture.
First, let's start somewhere seemingly unrelated that may be easier to deal with: Physics; specifically, gravity. I'm working under the assumption that everyone knows what gravity is, so, good. There are other forces that do similar things in Physics, however. The most common are the "Strong" and "Weak" electromagnetic forces. The force that holds electrons close to an atom, and that bonds atoms to each other in molecules are examples of these forces.
Now in Physics, there is a holy grail of theory called the 'Grand Unification Theory'. This is big important stuff. In an amazing oversimplification, it suggests that there is a single formula that relates all of these forces together. We _expect_ this from intuition, we currently just don't have any idea how to prove it, although progress is being made all over the place.
Now, skip back to mathematics. Mathematics is split into tons of different areas. Statistics, Number Theory (the stuff normally used in cryptography), Calculus, and so on. Robert Langlands proposed that there is a Grand Unification Theory (GUT) of sorts for mathematics. This is commonly referred to as the Langlands Proposition (or Program, according to the BBC article).
Some years ago, Yukata Taniyama (The 'T' in STW) asserted a conjecture that did two things. First, if proved, it would bring elliptic curves and modular forms together in the spirit of the GUT, thus giving the Langlands program a big push. Secondly and, while not really more important, at least more interesting to the public, he showed that if his conjecture was proved, the most famous unproved theorem at the time would follow. I speak, of course, of Fermat's last theorem (FLT). This was the holy grail of math at the time.
A few years ago, Andrew Wiles proved enough of Taniyama's conjecture to prove FLT. This was what made STW mainstream; had this not happened, noone would care and the BBC story would probably be overlooked. But it did happen, made lots of papers, was flawed, fixed, flawed again, and currently is believed to be correct.
What recently happened, in the BBC story, is that the _rest_ of the STW conjecture was proved. Not just the part that Wiles used to show FLT, but all of it. In math this elevates STW from a conjecture to a theorem and makes mathematicians everywhere giddy with joy since the Langlands Program is slightly closer to being proved.
And of course, giddy mathematicians are the types who post stuff to Slashdot, which is why this article is here at all.
Was that any better?
I followed a one-semester graduate course (by Laurent Clozel) on the proof of the semistable case of the Shimura-Taniyama conjecture (the case proven originaly by Wiles and which concludes the proof of Fermat's theorem). So I can make a few comments on the subject.
The Shimura-Taniyama conjecture (Weil's name is attached to it for rather dubious reasons: essentially, he mentioned the conjecture — as an exercice for the interested reader! — in a book he published; Serge Lang is always ready to flame anyone calling the conjecture by Weil's name, so let us omit Weil) concerns a correspondance between certain modular forms and certain elliptic curves (actually with Galois representations in between the two). That is, it states that every elliptic curve is associated to a certain modular form (the association can be stated in many different ways: they have the same L function; the eigenvalues of the modular form for the Hecke operators can be deduced from the number of points of the elliptic curve on finite fields, and so on). This conjecture was known (i.e. formulated) long before any relation with Fermat's theorem was observed.
Gerhart Frey had noticed that if a counterexample (A,B,C) (with A+B+C=0, A, B and C being p-th powers) to Fermat's theorem were found it would yield an elliptic curve y=x(x-A)(x+B) having certain miraculous properties, including being ``semistable'' and possibly violating the Shimura-Taniyama conjecture. Using works of Jean-Pierre Serre, Ken Ribet was able to prove this remark of Frey, so that the Shimura-Taniyama conjecture, and in fact even only the Shimura-Taniyama conjecture for semistable elliptic curves, would imply Fermat's theorem.
At that point it became obvious that it would be only a matter of time before Fermat's theorem were proven. Andrew Wiles, was able to complete the task. His first proof contained a flaw (in trying to construct an Euler system), which was noticed by Luc Illusie, but with the help of Richard Taylor, Wiles was able to replace the technique of Euler systems and use Gorenstein rings instead (and some very fine points of commutative algebra) and correct the proof. The full proof (Wiles' ``Modular Elliptic Curves and Fermat's Last Theorem'' and Wiles and Taylor's ``Ring Theoretic Properties of Certain Hecke Algebras'') was published in Inventiones Mathematicæ. Thus, the case of Fermat's theorem was settled.
The general case of the ST conjecture was still unproven. However, soon after Wiles' result, Fred Diamond improvement over it. To understand it, you must know that semistability of an elliptic curve is a ``local'' property, i.e. it can be tested for each prime number. An E.C. is (globally) semistable iff it is semistable at every prime number. (It is always semistable at all but a finite number of primes.) Wiles' result required the E.C. to be semistable at all primes; Diamond refined that and proved the modularity of elliptic curves that are modular at 3 and 5. This was a considerable progress, and it was then pretty obvious that these last conditions would be eliminated. Now they have been (every elliptic curve is known to be modular), but this is more a question of technique than a fundamental improvement.
One might be tempted to think that the proof of the ST conjecture is fascinating. In fact, I found it (or at least the semistable case, which has, it would seem, the gist of the ideas) terribly boring. It is all a matter of controling the behavior of the ramified parts of the cohomology groups of some Galois representations, and it is done in a succession of lemmata, each one seeming exactly the same as the previous one. In fact, the experts' opinion is that the proof of the conjecture is technically difficult but fundamentally trivial in that it does not use any deep results from (algebraic) geometry.
The ST conjecture is part of a more general scheme called the ``Langlands programme''. The Langlands programme is a correspondance (which has not been formulated in a completely satisfactory way, as far as I know, let alone proven) between higher dimensional abelian varieties (elliptic curves are abelian varieties of dimension 1), Galois representations and modular forms (disclaimer: I don't know half of what I'm talking about here). ``Class field theory'', the climax of the number theory of the beginning of the century, is the case ``GL1'' of the Langlands programme (the abelian case). The Shimura-Taniyama conjecture was the case ``GL2'' of the same programme. Some other cases have been proven, such as ``Sp4'' (these funny acronyms refer to certain algebraic groups: GL is the General Linear group, and Sp is the Symplectic group).
The Langlands programme actually splits in two parts: the ``number field'' (or ``global'') Langlands programme, the hard number-theoretic part, of which the ST conjecture is a particular case, and the ``function field'' (or ``local'') Langlands programme, which is an easier analogue of more geometric content.
The major news recently is that the ``function field'' Langlands programme has been proven, by Laurent Lafforgue. This is much more important than the full proof of the ST conjecture. And it also means that Lafforgue will be getting the Fields medal in three years (mark my words).
Personally I shudder to think what having to take all that math could do to a person if they had to get a job in something like computers!
All that learnin hurts the brain as we all know.
It seems that the higher you go in math the more bland and unapproachable the subject
becoms and the more difficult (difficulty!) it becomes
Well yes it becomes more difficult...just like coding for X is alot more complicated than hello world. However, it actually becomes MUCH more interesting. Think about it...addition and subtraction are pretty fucking boring while higher mathematics gives you stuning results such as the Banach Tarski Paradox (A sphere may be cut up into finitely many pieces and by translating and rotating the pieces reassembled into a two spheres of the orignial size).
Why can't people produce a nice graphical textbook about complex math subjects with plents of examples and
problems to work on?
Math books with examples and problems to work on are fairly common. The reason the textbooks often aren't (and shouldn't be) graphical is because mathematics is not a graphical pursuit. It would be like explaining perl via venn diagrams. Yes, some parts of mathematics MODEL the real world (such as R^3) but all to often people taught via pictures are restricted by them. As soon as they run into a problem without an obvious visual component (say a problem in R^4 (yes it can be useful)) they are stuck.
I have a bias towards things that have a lasting importance versus
things that have a limited appeal
Question who is more famous? Archimdes or the political leaders of athens? It in fact appears mathematics is of much more lasting imprtance than whatever war is occuring at the moment.
How can you tell little Billy about STW?
As we all know little billy is the ultimate judge of these matters. I imagine huffman encodings shouldn't be studied either.
Ohh while not a textbook their is a book On relativity or something either written by einstein or from his notes which is exceptionally good.
Marriage is the "pseudo-ethics" that cloaks the messy truth of sexuality in the raiment of propriety -- it's "Don't Ask,
can get bar none!
:-) I think that this is a very poor take on this situation.
>Personally I shudder to think what having to take all that math could do to a person if they had to get a job in something like computers
Let's see.. impeccable logic... a rock solid understanding of algorithms...Top notch problem *defining* and solving skills.
yeah, not too useful in computers.
>It seems that the higher you go in math the more bland and unapproachable the subject becoms and the more difficult (difficulty!) it become
While there is no arguing that higher mathematics is difficult to wrap your brain around, I would rephrase the first part of this sentence.
I got a BS in mathematics taking several Graduate classes in the process(Real Analysis (The Horror) and Differential Equations/Dynamical Systems) and I would say rather than "bland and unapproachable"
:
Incredibly beautiful, deep, elegant and powerful, but with a much higher price of admission than any other field.
>Why can't people produce a nice graphical textbook about complex math subjects with plents of examples and problems to work on?
Well even in relatively simple math courses i.e. past the basic calc/diffEQ/linear algebra/ 2 year series, you are dealing with n-dimensional spaces.
The fact is there is no way to draw this. That is where the full power of the abstract approach is needed.
For example, take as your space the set of all functions from the real numbers to the real numbers. How the hell do you even draw anything dealing with this? If I remember correctly, this space has a cardinality ("number" of members) greater than that of the real numbers which is strictly greater than the usual "infinity" which is the cardinality of the Natural numbers/integers/rationals
>I think it's only in places in the US where people have the free time and material wealth to do research and be able to have means to feed themselves makes things like this possible
Well given that math and physics were almost completely re written a few hundred years ago by
Newton(England) Leibnitz, 23(?) different Bernoullis(SP),Gauss, Cauchy, Cantor,Riemann (Germany), and a few French people whose names slip my mind
Oops regarding computer theory we can't forget the Russians especially Kolmogorov
Are there any good textbooks (graphical, examples galore, problems) that would make someone an Einstein a little easier? Real world examples?
Einstein was a genius who did very poorly in school. He was not even accepted to any grad schools until he completed his Nobel prize winning work (Not General or Special Relativity either).
There is no easy way to understand the advanced results of mathematics without struggling your way up. Some people will have an easier time than others, but I feel that it is worth it even if I never use the specific facts I learned.
Mathematics has many "real-world" uses that haven't been discovered yet. In general Mathematics is decades and often centuries ahead of the relevant scientific fields. Abstract Algebra (not like in high school) was considered the most esoteric useless field by non-mathematicians until it became indispensible in quantum guage theory.
Superstring theory is built upon Some-old-guy-or-other's Beta function and Symmetry group theory.
General Relativity is written in the language of differential geometry.
To understand some of these theories is a mind blowing experience I would highly recommend.
Seriously though eve if you don't decide to pursue it you will be prepared for anything else you do want to do. You can go to grad school in almost any discipline, and your problem solving skills will exceed those of almost anyone you interview against for a job.
---CONFLICT!!---