I started the day by attending three large lectures:
Laura DeMarco, University of Illinois at Chicago who spoke about dynamical systems (that result from complex polynomials; for example if is a function of the complex plane, one can talk about the orbit of a point . One can then talk about sets of points and This is called the Filled Julia Set.
Ed Burger of Williams (a graduate school classmate of mine who made good) gave the second; he talked about Fibonacci numbers and their relation to irrational ratios (which can be obtained by continued fractions) and various theorems which say that natural numbers can be written uniquely as specified sums of such gadgets.
Lastly Manjul Bhargava of Princeton (who is already full professor though he is less than half my age; he was an Andrew Wiles student) gave a delightful lecture on algebraic curves.
What I noted: all three of these mathematicians are successful enough to be arrogant (especially the third). They could have blown us all away. Yes, they took the time and care to give presentations that actually taught us something.
Of the three, I was the most intrigued by the last one, so I’ll comment on the mathematics.
You’ve probably heard that a Pythagorean triple is a triple of integers such that . For now, we’ll limit ourselves to primitive triples; that is, we’ll assume that have no common factor.
You might have heard that any Pythagorean triple is of the form: for integers. It is true that being defined that way leads to a Pythagorean triple, but why do ALL Pythagorean triples come in this form?
One way to see this is to look at an algebraic curve; in this case, the curve corresponding to . Why? Start with and divide both sides by to obtain One then notes that one is now reduced to looking to rational solutions to (a rational solution to this can be put in the form by getting a common denominator).
We now wish to find all rational points (both coordinates rational) on the circle; clearly is one of them.
Easy claim: if is such a rational point, then the line from to has rational slope.
Not quite as easy claim: if a line running through has rational slope then the line intersects the circle in a rational point.
Verification: such a line has equation and intersects the circle in a point whose value satisfies . This is a quadratic that has rational coefficients and root hence the second root must also be rational. Let’s calculate the second root by doing division: . So the point of intersection has latex and . Both are rational.
Therefore, there is a one to one correspondence between rational slopes and rational points on the circle and all are of the form . Note: we obtain by letting go to infinity; use L’Hopital’s rule on the first coordinate). So if we have any Pythagorean triple then But is rational hence we write where are relatively prime integers. Just a bit of easy algebra reveals which gives us as required.
The point: the algebraic curve motivated the proof that all Pythagorean triples are of that form.
Note: we can extract even more: if latex is any quadratic rational curve (i. e., , all coefficients rational, and is any rational point and there is a line through of rational slope which intersects the curve in a second point (the quadratic nature forbids more than 2 points), the second point must also be rational. This follows by obtaining a quadratic in by substituting and obtaining a quadratic with rational coefficients that has one rational root.
Of course, it might be the case that there is no rational point to choose for . In fact, that is the case for
Why? Suppose there is a rational point on this curve with both fractions in lowest terms. We obtain Now let’s work Mod 4 (hint from the talk): note that in therefore the sum of two squares can only be 0, 1 or 2. The right hand side is either 3 or 0; equality means that both sides are zero. This means that are both even and therefore is divisible by 4 therefore either is even or is even.
Suppose is odd. Then is even and because is even, is even. This contradicts the fact that are relatively prime. If is odd, then because is even, is even. This contradicts the fact that are relatively prime. So both are even which means that are odd. Write where are odd (possibly 1). Then . Now if we obtain on the left hand side (sum of two odd numbers squared) which must be 2 mod 4. The right hand side is still only 3 or 0; this is impossible. Now if, say, then we get which means that the odd number is the difference of two even numbers. That too is impossible.
Hence contains no rational coordinates; that circle manages to miss that dense set.
The point of all of this is that algebraic curves can yield significant information about number theory.
This is the German Enigma Coding machine (with plug board) at the NSA booth.
This is another view of the Enigma
Edward Burger; I had some bad timing here.
Just prior to the first talk.