
A few recollections and a very quick number game by Hendrik Lenstra.

We use Kontsevich’s idea of thin varieties to define complexified varieties over F\_un.

We saw that the icosahedron can be constructed from the alternating group $A_5 $ by considering the elements of a conjugacy class of order 5 elements as the vertices and edges between two vertices if their product is still in the conjugacy class. This description is so nice that one would like to have a… Read more »

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

The black&white psychedelic picture on the left of a tessellation of the hyperbolic upperhalfplane, 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) 7076. But is this correct terminology? Nobody else uses it apparently. So, let’s try… Read more »

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 »

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

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

Here I will go over the last post at a more leisurely pace, focussing on a couple of far more trivial examples. Here’s the goal : we want to assign a quiversuperpotential to any subgroup of finite index of the modular group. So fix such a subgroup $\Gamma’ $ of the modular group $\Gamma=PSL_2(\mathbb{Z}) $… Read more »

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

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

John Farey (17661826) was a geologist of sorts. Eyles, quoted on the mathbiographies 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… Read more »

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

In 1877, Richard Dedekind discovered one of the most famous pictures in mathematics : the black&white tessellation of the upper halfplane 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

The natural habitat of this lesson is a bit further down the course, but it was called into existence by a comment/question by Kea I don’t yet quite see where the nc manifolds are, but I guess that’s coming. As I’m enjoying telling about all sorts of sources of finite dimensional representations of $SL_2(\mathbb{Z}) $… Read more »
Close