Skip to content →

Tag: etale cohomology

the birthday of the primes=knots analogy

Last time we discovered that the mental picture to view prime numbers as knots in $S^3$ was first dreamed up by David Mumford. Today, we’ll focus on where and when this happened.

3. When did Mazur write his unpublished preprint?

According to his own website, Barry Mazur did write the paper Remarks on the Alexander polynomial in 1963 or 1964. A quick look at the references gives us a coarse lower- and upper-estimate.

Apart from a paper by Iwasawa and one by Milnor, all references predate 1962 giving us a lower-bound. More interesting is reference (14) to David Mumford’s Geometric Invariant Theory (GIT) which was first published in 1965 and is referred to as ‘in preparation’, so the paper was written no later than 1965. If we look a bit closer we see than some GIT-references are very precise

indicating that Mazur must have had the final version of GIT to consult, making it rather difficult to believe that the preprint was written late 1963 or early 1964.

Mazur’s dating of the preprint is probably based on this penciled note on the frontpage of the only surviving copy of the preprint

It reads : “Date from about 63/64, H.R. Morton”. Hugh Morton of Liverpool University confirms that it is indeed his writing on the preprint.

Further, he told me that early 64 Christopher Zeeman held a Topology Symposium in Cambridge UK, where Hugh was a graduate student at the time and, as far as he could recall, Mazur attended that conference and gave him the preprint on that occasion, whence the 63/64 dating. Hugh kindly offered to double-check this with Terry Wall who cannot remember Mazur attending that particular conference.

In fact, we will see that a more correct dating of the Mazur-preprint will be : late 1964 or early 1965.

4. The birthday : July 10th 1964

Clearly, Mumford’s insight predates the Mazur-preprint. In the first section, Mazur mentions ‘Grothendieck cohomology groups’ rather than ‘Etale cohomology groups’.

At the time, Artin’s seminar notes on Grothendieck topologies (spring 1962) were widely distributed, and Artin and Grothendieck were in the process of developing etale cohomology in their Paris 1963/64 seminar SGA 4, while Mumford was working on GIT in Harvard.

Mike Artin, David Mumford and Jean-Louis Verdier all attended the Woods Hole conference from july 6 till july 31 1964, famous for producing the Atiyah-Bott fixed point theorem (according to Fulton first proved by Verdier at the conference).

Etale cohomology was a hot topic at that conference. On july 10th there were three talks, Artin spoke on ‘Etale cohomology of schemes’, Verdier on ‘A duality theorem in the etale cohomology of schemes’ and John Tate on ‘Etale cohomology over number fields’.

After a first week of talks, more informal seminars were organized, including the Atiyah-Bott seminar leading to the ‘Woods hole duality theorem’ and one by Lubin-Tate and Serre on elliptic curves and formal groups. Two seminars adressed Etale Cohomology.

Artin and Verdier ran a seminar on the etale cohomology of number fields leading to their duality result, and, three young turks : Daniel Quillen, Steve Kleiman and Robin Hartshorne ran a Baby Seminar on Etale cohomology

Probably it is safe to say that the talks by Artin, Verdier and Tate on July 10th sparked the primes=knots idea, and if not then, a couple of days later.

5. The birthplace : the Whitney Estate

The ‘Woods Hole’ conference took place at the Whitney Estate and all the lectures took place in the rustic rooms of the main building and the participants (and their families) were housed in rented cottages in the neighborhood, for the duration of the summer.

The only picture i managed to find from the Whitney house comes from a rather surprising source : Gardeners and Caretakers ofWoods Hole. Anyway, here it is :

Probably, the knots=primes analogy was first dreamed up inside, or in the immediate neighborhood, on a walk to or from the cottages, overlooking the harbor.

Leave a Comment

What is the knot associated to a prime?

Sometimes a MathOverflow question gets deleted before I can post a reply…

Yesterday (New-Year) PD1&2 were visiting, so I merely bookmarked the What is the knot associated to a prime?-topic, promising myself to reply to it this morning, only to find out that the page no longer exists.

From what I recall, the OP interpreted one of my slides of the April 1st-Alumni talk

as indicating that there might be a procedure to assign to a prime number a specific knot. Here’s the little I know about this :

Artin-Verdier duality in etale cohomology suggests that $Spec(\mathbb{Z}) $ is a 3-dimensional manifold, as Barry Mazur pointed out in this paper

The theory of discriminants shows that there are no non-trivial global etale extensions of $Spec(\mathbb{Z}) $, whence its (algebraic) fundamental group should be trivial. By Poincare-Perelman this then implies that one should view $Spec(\mathbb{Z}) $ as the three-sphere $S^3 $. Note that there is no ambiguity in this direction. However, as there are other rings of integers in number fields having trivial fundamental group, the correspondence is not perfect.

Okay, but then primes should correspond to certain submanifolds of $S^3 $ and as the algebraic fundamental group of $Spec(\mathbb{F}_p) $ is the profinite completion of $\mathbb{Z} $, the first option that comes to mind are circles

Hence, primes might be viewed as circles embedded in $S^3 $, that is, as knots! But which knots? Well, as far as I know, nobody has a procedure to assign a knot to a prime number, let alone one having p crossings. What is known, however, is that different primes must correspond to different knots

because the algebraic fundamental groups of $Spec(\mathbb{Z})- { p } $ differ for distinct primes. This was the statement I wanted to illustrate in the first slide.

But, the story goes a lot further. Knots may be linked and one can detect this by calculating the link-number, which is symmetric in the two knots. In number theory, the Legendre symbol, plays a similar role thanks to quadratic reciprocity

and hence we can view the Legendre symbol as indicating whether the knots corresponding to different primes are linked or not. Whereas it is natural in knot theory to investigate whether collections of 3, 4 or 27 knots are intricately linked (or not), few people would consider the problem whether one collection of 27 primes differs from another set of 27 primes worthy of investigation.

There’s one noteworthy exception, the Redei symbol which we can now view as giving information about the link-behavior of the knots associated to three different primes. For example, one can hunt for prime-triples whose knots link as the Borromean rings

(note that the knots corresponding to the three primes are not the unknot but more complicated). Here’s where the story gets interesting : in number-theory one would like to discover ‘higher reciprocity laws’ (for collections of n prime numbers) by imitating higher-link invariants in knot-theory. This should be done by trying to correspond filtrations on the fundamental group of the knot-complement to that of the algebraic fundamental group of $Spec(\mathbb{Z})-{ p } $ This project is called arithmetic topology

Perhaps I should make a pod- or vod-cast of that 20 minute talk, one day…

6 Comments