Conjugacy classes of finite index subgroups of the modular group
On the left a modular quilt consisting of 18 numbered edges (some vertices and edges re-appear) which gives a honeycomb tiling on a torus. All white vertices have valency 3 and the order of the edges is given by walking around a point in counterclockwise direction. For example, the order of the edges at the top left vertex (which re-appears at the middle right vertex) can be represented by the 3-cycle (6,11,14), that around the central vertex gives the 3-cycle (2,7,16).
As we will see _another time_, the modular group
and remark that
The (index d) subgroup of
In order to connect modular quilts to special hyperbolic polygons we need the intermediate concept of cuboid tree diagrams. These are trees (that is, connected graphs without cycles) such that all internal vertices are 3-valent (and have an order on the incident edges) and the leaf-vertices are tinted either red or blue. In addition, there is an involution on the red vertices.
The tree on the left is a cuboid tree, the involution interchanges the two top red vertices (indicated by having the same number). We associate to such a cuboid tree diagram a modular quilt by taking as the white vertices : all internal vertices together with the blue leaf-vertices, and as the black vertices : the midpoints of internal edges, together with the midpoints of edges connecting a blue leaf-vertex, together will all red leaf-vertices. If two red leaf-vertices correspond under the involution, we glue the corresponding black vertices together. That is, the picture of the right is the resulting modular quilt. Conversely, starting with a modular quilt we can always construct from it a cuboid tree diagram by breaking cycles in black vertices until there are no cycles left. All black leaf-vertices in the resulting tree are tinted red and correspond under the involution when they came from the same black quilt-vertex. Remaining leaf-vertices are tinted blue. All internal black vertices are removed (and the edges incident to them glued into larger edges) and all internal white vertices become the internal vertices of the cuboid tree.
While a cuboid tree diagram determines the modular quilt uniquely, there are in general several choices of breaking up cycles in a modular quilt, so also several cuboid tree diagrams determining the same modular quilt. That is, we have shown that there are natural maps
cuboid tree —->> modular quilt <----> conjugacy class of finite index subgroup
where the first map is finite to one and the second map is a bijection.
Observe that we can also use modular quilts (or their associated cuboid trees) as a mnemotechnic device to remember the construction of groups, generated by an order two and an order three element and having a low dimensional faithful permutation representation. For example, the sporadic simple Mathieu group
(1,2)(3,4)(5,6)(7,8)(9,10)(11,12) and (1,2,3)(4,7,5)(8,9,11)
Hence the cuboid tree on the right can be called the M(12) tree. Similarly, the sporadic simple Mathieu group
That is,
(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24) with corresponding M(24) tree
with the two red vertices interchanging under the involution.
References
Tim Hsu, “Permutation techniques for cosed representations of modular subgroups”
Ravi S. Kulkarni, “An arithmetic-geometric method in the study of the subgroups of the modular group” Amer. J. Math. 113 (1991) 1053-1133
Comments