Skip to content →

Arithmetic topology in Quanta

Consider subscribing to the feed of the mathematics section of Quantamagazine.

The articles there are invariably of high quality and quite informative.

Their latest is Secret Link Uncovered Between Pure Math and Physics by Kevin Hartnett.

It features the work by number-theorist Minhyong Kim of Oxford University.



In it, Minhyong Kim comes out of the closet, revealing that many of his results on rational points of algebraic curves were inspired by analogies he sees between number theory and physics.

So far he refrained from mentioning this inspiration in papers because “Number theorists are a pretty tough-minded group of people,” he said.

Yesterday, Peter Woit had a post on this on his blog ‘Not Even Wrong’, stuffed with interesting links to recent talks and papers by Minhyong Kim.

Minhyong Kim’s ideas grew out the topic of arithmetic topology, that is, the analogy between number rings and $3$-dimensional compact manifolds and between their prime ideals and embedded knots.

In this analogy, which is based on the similarity between finite connected covers of manifolds on the one hand and connected etale extensions of rings on the other, the prime spectrum of $\mathbb{Z}$ should correspond (due to Minkowski’s result on discriminants and Perelman’s proof of the Poincare-conjecture) to the $3$-sphere $S^3$.

I’ve written more about this analogy here:

Mazur’s knotty dictionary.

What is the knot associated to a prime?

Who dreamed up the knots=primes analogy?

The birthday of the primes=knots analogy.

And probably I’ll mention it later this month when I give a couple of talks at the $\mathbb{F}_1$-seminar in Ghent.

Published in math number theory

4 Comments

  1. From your abstract:

    >I will give a new proposal, in the spirit of Jim Borger’s approach

    are details available, or going to available shortly?

  2. [Sorry, formatting broken.]

    “I will give a new proposal, in the spirit of Jim Borger’s approach”.

    Are details available, or going to be available shortly?

  3. @David : Here’s the main idea: https://arxiv.org/abs/1509.00749
    Probably i’ll add a few things such as maps $\mathbf{Spec}(\mathbb{Z}) \rightarrow \mathbb{P}^1_{\mathbb{F}_1}$ for any $q \in \mathbb{Q}$ a la Smirnov in ‘Hurwitz inequalities for number fields’.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.