Posts Categorized: featured

• featured, stories

On categories, go and the book $\in$

Posted on by

A nice interview with Jacques Roubaud (the guy responsible for Bourbaki’s death announcement) in the courtyard of the ENS. He talks about go, categories, the composition of his book $\in$ and, of course, Grothendieck and Bourbaki. Clearly there are pop-math books like dedicated to $\pi$ or $e$, but I don’t know just one novel having… Read more »

• featured

Posted on by

In the spring of 2009 I did spend a fortnight dog-sitting in a huge house in the countryside, belonging to my parents-in-law, who both passed away the year before. That particular day it was raining and thundering heavily. To distract myself from the sombre and spooky atmosphere in the house I began to surf the… Read more »

• featured

What is the knot associated to a prime?

Posted on by

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… Read more »

• featured

Posted on by

• featured

what does the monster see?

Posted on by

The Monster is the largest of the 26 sporadic simple groups and has order 808 017 424 794 512 875 886 459 904 961 710 757 005 754 368 000 000 000 = 2^46 3^20 5^9 7^6 11^2 13^3 17 19 23 29 31 41 47 59 71. It is not so much the size… Read more »

• featured

the McKay-Thompson series

Posted on by

Monstrous moonshine was born (sometime in 1978) the moment John McKay realized that the linear term in the j-function $j(q) = \frac{1}{q} + 744 + 196884 q + 21493760 q^2 + 864229970 q^3 + \ldots$ is surprisingly close to the dimension of the smallest non-trivial irreducible representation of the monster group, which is 196883…. Read more »

• featured

Posted on by

John Conway once wrote : There are almost as many different constructions of $M_{24}$ as there have been mathematicians interested in that most remarkable of all finite groups. In the inguanodon post Ive added yet another construction of the Mathieu groups $M_{12}$ and $M_{24}$ starting from (half of) the Farey sequences and… Read more »

• featured

exotic chess positions (2)

Posted on by

Juan de Mairena linked in the comments to last post to a truly great retro-chess problem ! In the position below white is to play and mate in three! At first this seems wrong as there is an obvious mate in two : 1. Qe2-f1, Kh1xh2 2. Rg3-h3 The ingenious point being that black claims… Read more »

• featured

exotic chess positions (1)

Posted on by

Ever tried a chess problem like : White to move, mate in two! Of course you have, and these are pretty easy to solve : you only have to work through the finite list of white first moves and decide whether or not black has a move left preventing mate on the next white move…. Read more »

• featured

the King’s problem on MUBs

Posted on by

MUBs (for Mutually Unbiased Bases) are quite popular at the moment. Kea is running a mini-series Mutual Unbias as is Carl Brannen. Further, the Perimeter Institute has a good website for its seminars where they offer streaming video (I like their MacromediaFlash format giving video and slides/blackboard shots simultaneously, in distinct windows) including a talk… Read more »

• featured

KMS, Gibbs & zeta function

Posted on by

Time to wrap up this series on the Bost-Connes algebra. Here’s what we have learned so far : the convolution product on double cosets $\begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} \backslash \begin{bmatrix} 1 & \mathbb{Q} \\ 0 & \mathbb{Q}_{> 0} \end{bmatrix} / \begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix}$… Read more »

• featured

“God given time”

Posted on by

If you ever sat through a lecture by Alain Connes you will know about his insistence on the ‘canonical dynamic nature of noncommutative manifolds’. If you haven’t, he did write a blog post Heart bit 1 about it. I’ll try to explain here that there is a definite “supplément d’âme” obtained in the transition from… Read more »

• featured

music of the primes (1)

Posted on by

This semester, I’m running a 3rd year course on Marcus du Sautoy’s The music of the primes. The concept being that students may suggest topics, merely sketched in the book, and then we’ll go a little deeper into them. I’ve been rather critical about the book before, but, rereading it last week (and knowing a… Read more »

• featured

Posted on by

Ibrahim Belkadi, one of my first-year group theory students invented the micro-sudokube, that is, a cube having a solution to a micro-sudoku on all its sides such that these solutions share one row along an edge. For example, here are all the solutions for a given central solution. There are 4 of them with ${… Read more » • featured abc on adelic Bost-Connes Posted on by The adelic interpretation of the Bost-Connes Hecke algebra$\mathcal{H} $is based on three facts we’ve learned so far : The diagonal embedding of the rational numbers$\delta~:~\mathbb{Q} \rightarrow \prod_p \mathbb{Q}_p $has its image in the adele ring$\mathcal{A} $. ( details ) There is an exact sequence of semigroups$1 \rightarrow \mathcal{G} \rightarrow… Read more »

• featured

Posted on by

Oystein Ore mentions the following puzzle from Brahma-Sphuta-Siddhanta (Brahma’s Correct System) by Brahmagupta : An old woman goes to market and a horse steps on her basket and crashes the eggs. The rider offers to pay for the damages and asks her how many eggs she had brought. She does not remember the exact number,… Read more »

• featured

Posted on by

Before we can even attempt to describe the adelic description of the Bost-Connes Hecke algebra and its symmetries, we’d probably better recall the construction and properties of adeles and ideles. Let’s start with the p-adic numbers $\hat{\mathbb{Z}}_p$ and its field of fractions $\hat{\mathbb{Q}}_p$. For p a prime number we can look at the… Read more »

• featured

Towards the end of the Bost-Connes for ringtheorists post I freaked-out because I realized that the commutation morphisms with the $X_n^*$ were given by non-unital algebra maps. I failed to notice the obvious, that algebras such as $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}]$ have plenty of idempotents and that this mysterious ‘non-unital’ morphism was nothing else but multiplication… Read more »