Tag Archive for Dedekind


bloomsday 2 : BistroMath

Exactly one year ago this blog was briefly renamed MoonshineMath. The concept being that it would focus on the mathematics surrounding the monster group & moonshine. Well, I got as far as the Mathieu groups… After a couple of months, I changed the name back to neverendingbooks because I needed the freedom to post on any topic I wanted. I… Read more →


Dedekind or Klein ?

The black&white psychedelic picture on the left of a tessellation of the hyperbolic upper-halfplane, was called the Dedekind tessellation in this post, following the reference given by John Stillwell in his excellent paper Modular Miracles, The American Mathematical Monthly, 108 (2001) 70-76. But is this correct terminology? Nobody else uses it apparently. So, let’s try to track down the earliest… Read more →

Farey symbols of sporadic groups

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 the associated cuboid tree diagram… Read more →


It’s been a while, so let’s include a recap : a (transitive) permutation representation of the modular group $\Gamma = PSL_2(\mathbb{Z}) $ is determined by the conjugacy class of a cofinite subgroup $\Lambda \subset \Gamma $, or equivalently, to a dessin d’enfant. We have introduced a quiver (aka an oriented graph) which comes from a triangulation of the compactification of… Read more →

quivers versus quilts

We have associated to a subgroup of the modular group $PSL_2(\mathbb{Z}) $ a quiver (that is, an oriented graph). For example, one verifies that the fundamental domain of the subgroup $\Gamma_0(2) $ (an index 3 subgroup) is depicted on the right by the region between the thick lines with the identification of edges as indicated. The associated quiver is then… Read more →

Superpotentials and Calabi-Yaus

Yesterday, Jan Stienstra gave a talk at theARTS entitled “Quivers, superpotentials and Dimer Models”. He started off by telling that the talk was based on a paper he put on the arXiv Hypergeometric Systems in two Variables, Quivers, Dimers and Dessins d’Enfants but that he was not going to say a thing about dessins but would rather focuss on the… Read more →

the iguanodon dissected

Here the details of the iguanodon series. Start with the Farey sequence $F(n) $of order n which is the sequence of completely reduced fractions between 0 and 1 which, when in lowest terms, have denominators less than or equal to n, arranged in order of increasing size. Here are the first eight Fareys F(1) = {0⁄1, 1⁄1} F(2) = {0⁄1,… Read more →

Farey codes

John Farey (1766-1826) was a geologist of sorts. Eyles, quoted on the math-biographies site described his geological work as “As a geologist Farey is entitled to respect for the work which he carried out himself, although it has scarcely been noticed in the standard histories of geology.” That we still remember his name after 200 years is due to a… Read more →

Hyperbolic Mathieu polygons

Today we will link modular quilts (via their associated cuboid tree diagrams) to special hyperbolic polygons. The above drawing gives the hyperbolic polygon (the gray boundary) associated to the M(24) tree diagram (the black interior graph). In general, the correspondence goes as follows. Recall that a cuboid tree diagram is a tree such that all internal vertices are 3-valent and… Read more →

The Dedekind tessellation

In 1877, Richard Dedekind discovered one of the most famous pictures in mathematics : the black&white tessellation of the upper half-plane in hyperbolic triangles. Recall that the group $SL_2(\mathbb{Z}) $ of all invertible 2×2 integer matrices with determinant $1$ acts on the upper halfplane via Read more →