If you map a square conformally onto the plane with two slits cut out, in the nicest way possible, the two lines cutting the square into 4 smaller squares get mapped to 'Bernoulli's lemniscate' — a charming curve shaped like a figure 8.
I didn't really want to know this. But I was studying Bernoulli's lemniscate!
Take 2 points. Draw the curves where the product of the distances from these 2 points is constant. These are called the ovals of Cassini. They look like this:
The one shaped like a figure 8 is special: it's called the lemniscate of Bernoulli.
Or: take a hyperbola
I didn't want to know any of this! All I wanted to understand is
how the lemniscate is connected to the elliptic curve given by
In my quest to understand the connection between Bernoulli's lemniscate and elliptic curves, I ran into this great article:
It says a lot about the lemniscate, number theory and elliptic curves. But I'm still confused.
The picture at the start of this entry came from here:
I just learned that there's a number
Just as
The lemniscate sine and cosine functions look a lot like the usual
sine and cosine. They have period
The lemniscate sine and cosine functions obey mutant versions of the
usual trig identities! For example:
The lemniscate versions of trig functions are examples of 'elliptic functions'. The Weierstrass elliptic function and Jacobi elliptic functions are more familiar — but the lemniscate elliptic functions are actually a special case of the Jacobi elliptic functions.
This page is like looking into a closet and discovering a whole new world:
However, we do know that
But wait — could
No. And in 1975, Gregory Chudnovsky showed much more: π and ϖ are
algebraically independent. That is: no nonzero polynomial with
integer coefficients
Later the Chudnovsky brothers became famous, in part because of this funny New Yorker article about their computations of pi:
Gregory Chudnovsky's proof that
How do people prove numbers are transcendental? It's not easy.
It started in 1844 when Liouville showed that an algebraic number
can't be extremely well approximated by rationals unless it is
rational. For example,
The proof is here:
This stuff is hard. Click here for a list of numbers that are believed, but not known, to be transcendental. Baker's Transcendental Number Theory seems like a good book to learn techniques, but I haven't gotten too far into it. For an overview, go here:
The integrals for
On Twitter, Leo Stein took up my challenge of generalizing these
formulas and finding new numbers that are like
First, following this paper:
Next, Leo showed
You get two sequences of numbers. Both converge to
Gauss showed the arithmetic-geometric mean of
This nice paper explains how Gauss came up with his integral formula for the arithmetic-geometric mean and proved
This simple algorithm let you compute
The key to the algorithm is that when you compute the
arithmetic-geometric mean of two numbers, the number of correct digits
doubles with each step. If you also have a quick way to compute the
integral shown here, you can use Gauss' formula to compute
But it's not so easy to explain how the algorithm actually works!
After all, it uses the square of the numbers
The Brent–Salamin algorithm computes
But in 1988, the Chudnovsky brothers invented a better algorithm for computing pi, based on some formulas of Ramanujan. All recent world records for computing pi use this... including Emma Iwao's 100 trillion digit computation this March!
During the Vietnam war, Grothendieck taught math to the Hanoi University mathematics department staff, out in the countryside. Hoàng Xuân Sính took notes and later did a PhD with him — by correspondence! She mailed him her hand-written thesis.
What was it about?
First, some background. Hoàng Xuân Sính was born in 1933 in a village called Cót, one of seven children of a fabric merchant. Her mother died when she was eight years old, and she was raised by a stepmother.
She completed a bachelor's degree in 1951 in Hanoi, studying English and French, and then traveled to Paris for a second baccalaureate in mathematics. She stayed in France to study for the agrégation (the competitive examination for civil service) at the University of Toulouse, which she completed in 1959 before returning to Vietnam and teaching mathematics at the Hanoi National University of Education.
Grothendieck visited North Vietnam in late 1967, during the Vietnam War, and spent a month teaching mathematics to the Hanoi University mathematics department staff, including Hoàng, who took the notes for the lectures. Because of the war, Grothendieck's lectures were held away from Hanoi, first in the nearby countryside and later in Đại Từ. After Grothendieck returned to France, he continued to teach Hoàng Xuân Sính in an exchange of letters.
She finished her thesis in 1972. Around Christmas that year, the United States dropped over 20,000 tons of bombs on North Vietnam, mainly Hanoi. So, it's not surprising that she only defended her thesis three years later, when the North had almost won. But she mentions another reason. She later wrote:
I was a Doctorate student during wartime. Back then, I was teaching at Hanoi Pedagogical University, there was not a mode to take leave to study for Doctorate. I taught during the day and worked on my thesis during the night under the kerosene lamp light. I wrote in French under my distant teacher’s guidance. When I got the approval from France to come over to defend, there were disagreeable talks about not letting me because they was afraid I wasn’t coming back. The most supportive person during the time was Lady Ha Thi Que — President of the Vietnamese Women Coalescent organization. Madame Que was a guerilla, without the conditions to get much education, but gave very convincing reasons to support me. She said, first I am 40 years old, finding work overseas is very difficult, how am I supposed to feed myself; secondly, my kid is here, and no woman would leave their kid. So they should be glad to let me go. I finished my thesis in 1972, and 3 years later with the help and struggle of the women’s organization, I was able to travel over to defend in 1975....
She went to France to defend her thesis at Paris Diderot University (also called Paris 7). Her thesis committee included not only Alexander Grothendieck but also Henri Cartan. Her thesis defense lasted two and a half hours. And soon thereafter she defended a second thesis, entitled "The embedding of a one-dimensional complex in a two-dimensional differential manifold".
She later became the first woman mathematics professor in Vietnam — and the second came 35 years later.
In 1988, she started the first private university in Vietnam, Thang Long University in Hanoi. For a while she was not only the head, but also the janitor, bringing water to the school and sweeping floors. Later she said "When I look back at it, I thought it was the most romantic idea I’ve had."
In 2003 she was awarded France's Ordre des Palmes Académiques. She is still alive! I hope someone has interviewed her, or does it now. Her stories must be very interesting.
But what about her thesis?
Her thesis classified Gr-categories, which are now called '2-groups'
for short. A 2-group is the categorified version of a group: it's a
monoidal category where every object and morphism is invertible.
(An object
From a 2-group you can get two groups:
Even better, Sính showed that cohomologous 3-cocycles give equivalent 2-groups. (Equivalent as monoidal categories, that is.)
So, we can classify 2-groups using cohomology! The most exciting,
least obvious part of this is the cohomology class
This connection between 2-groups and cohomology is no coincidence. It's best understood using a bit more topology.
Any connected space with a basepoint, say
So, Sính's thesis sheds light on 'homotopy 2-types': that is,
homotopy types of nice spaces with
Sính's thesis illuminated one of the simplest — yet still
important — special cases of Grothendieck's 'homotopy hypothesis',
namely that homotopy
You can see Hoàng Xuân Sính's thesis along with a handwritten summary in English here:
That website also has three nice photos of Grothendieck in Vietnam. I showed a colorized version of one at the top of this article, and here is another, with Sính at far left:
Here are the original uncolorized versions of all three:
I looked at Twitter. I saw that 1.6 miles away, near where Big Springs Road ends in the Box Springs park, there had been a rapidly spreading fire.
Luckily the fire department had already sent in 2 engines, 2 bulldozers, 2 hand crews and 2 chief officers. They stopped the blaze when it was 3 acres in area, then stayed there for hours putting it out completely.
Whew!
Here is a video of the fire:
But some were much worse. I repeatedly filled out the application saying Lisa was my dependent, but when it came time to apply for health insurance I was asked to confirm that I had no dependents:
There was no option given except to agree. And then I was taken to a page that sternly warned me I could be committing perjury if I didn't tell the truth!
Again there was no option except to agree. I wound up calling a UK visa help line. After waiting 30 minutes, I got someone whose phone wasn't working well — after I described my problem, I couldn't hear what she said. I called back and again and got someone audible. After I explained my problem, he looked it up and said "Yes, people have reported that bug in the software. Just go ahead and ignore it."
There was more. After getting my biometric taken by Homeland Security, I sent my passport to Flushing, New York where my visa will be physically attached to it, and then they should send it back. There is no way to know how long this will take, or how it's going since they received it. At least they sent me an email saying they received it.
For each point on a circle in 3d space, there's a plane through this point that cuts the circle at right angles. Each such plane is a 2d real vector space. So we get a '2-dimensional real vector bundle over the circle'.
A bagel is a sad approximation of this, where instead of planes we have disk-shaped bagel slices.
We can draw two coordinate axes in each of these planes, and let these axes twist as they go around. This says our 2d real vector bundle is a 'direct sum' of two 1d real vector bundles, called Möbius strip bundles.
The Möbius strip bundles are 'nontrivial' — they have a topological twist that can't be undone. But our 2d real vector bundle (the bagel bundle) is 'trivial' — it has no twist.
The direct sum of two nontrivial 1d real vector bundles over the circle is trivial!
Write
In fact every real vector bundle over the circle is isomorphic to a
direct sum of copies of
To get the real K-theory of the circle, take the set of isomorphism
classes of real vector bundles over a circle, which is a commutative
monoid using