Klein’s ten planar dessins of degree 11, and beyond

The permutations corresponding to the map in Figure ? are as follows:

The monodromy group of this map is the alternating group {\rm A}_{16}. See also Figures ? and ? for other examples of maps with labelled edges.

We will show that the group L={\rm PSL}_2(11) has, up to automorphisms (equivalently, up to conjugacy in {\rm PGL}_2(11)\cong {\rm Aut}\,L), a single generating triple x, y, z satisfying (?). The character table of L, produced by GAP [GAP] and given here, has columns corresponding to the conjugacy classes, with the headings na, nb, etc. (nA, nB, etc in ATLAS notation [ATLAS]) indicating successive classes of elements of order n; the rows, labelled X.j, correspond to irreducible characters \chi_j for j=1, 2,\ldots. The table includes entries A, ^*A :=(-1\mp\sqrt 5)/2 and {\rm B}, /{\rm B}:=(-1\pm i\sqrt{11})/2, while a full stop denotes an entry 0.

In this example we take \mathcal X and \mathcal Y to be the classes 3a and 2a, and \mathcal Z to be either of the classes 11a or 11b. For each choice of \mathcal Z the character sum in formula (?) has the value

Now the centralisers C_L(x), C_L(y) and C_L(z) of typical elements x, y and z of \mathcal X, \mathcal Y and \mathcal Z have orders 6, 12 and 11, so that

Multiplying this by \Sigma_L gives 2^2\cdot 3\cdot 5\cdot 11 triples (x, y, z)\in{\mathcal X}\times{\mathcal Y}\times{\mathcal Z} with xyz=1 for each choice of \mathcal Z, and hence 2^3\cdot 3\cdot 5\cdot 11 in total. Each triple must generate L since this group has no proper subgroups of order divisible by 66 (in fact, none of index less that 11). Since {\rm Aut}\,L acts semi-regularly on generating triples, dividing by its order |{\rm PGL}_2(11)|=2^3\cdot 3\cdot 5\cdot 11 shows that {\rm Aut}\,L has a single orbit on such triples, as claimed.

Since the normal subgroups of any group \Delta with quotient isomorphic to a group G are in bijective correspondence with the orbits of {\rm Aut}\,G, acting by composition, on epimorphisms \Delta\to G, it follows that the triangle group

has a single normal subgroup with quotient isomorphic to L. Now L has two conjugacy classes of subgroups of index 11, all isomorphic to {\rm A}_5, and these classes are transposed by its automorphism group {\rm PGL}_2(11) (see [ATLAS] or [Dic, §259]); they lift to two conjugacy classes of subgroups of index 11 in \Delta, transposed by conjugation in the extended triangle group

which contains \Delta with index 2, and they correspond to a chiral pair of dessins \mathcal D of type (3,2,11) degree 11 with monodromy group isomorphic to L. This calculation shows that they are the only such dessins, so they are the dessins {\mathcal M}_1 and \overline{\mathcal M}_1 discussed earlier.

Next we count triples satisfying (?) in the simple group M={\rm M}_{11} of order 7920=2^4\cdot 3^2\cdot 5\cdot 11. The character table of M, given by GAP, is shown here:

We must take \mathcal X and \mathcal Y to be the unique conjugacy classes 3a and 2a of elements of order 3 and 2, and \mathcal Z to be either of the classes 11a or 11b of elements of order 11. We see that the character sum for M is

By [ATLAS] the centralisers in M of x, y and z have orders 18, 48 and 11, so

Multiplying this by 2\Sigma_M gives 2^5\cdot 3^2\cdot 5\cdot 11 triples in M. Now M has a single conjugacy class of 12 subgroups L\cong {\rm PSL}_2(11), and we saw in Example 4.1 that each of these is generated by 2^3\cdot 3\cdot 5\cdot 11 triples, so 2^5\cdot 3^2\cdot 5\cdot 11 triples in M generate proper subgroups. Thus none of these triples can generate M. (See [Con91, Wol90] for confirmation that {\rm M}_{11} is not a quotient of \Delta.)

The groups {\rm M}_{11} and {\rm M}_{12} were introduced by Mathieu [Mat61] in 1861, so they would have been known to Klein; unlike {\rm M}_{12} (see [JW, §2.1.6], for example), {\rm M}_{11} is not the monodromy group of any orientable cubic map, since an extension of the argument used here shows that it is not a quotient of \Gamma.

Now we count triples satisfying (?) in A={\rm A}_{11}. In this case there are three conjugacy classes of elements of order 3, and two classes of elements of order 2. A simple argument shows that if elements x, y\in A of orders 3 and 2 generate a transitive group than they must have cycle structures 3^31^2 and 2^41^3, so they belong to the conjugacy classes \mathcal X={\rm 3c} and \mathcal Y={\rm 2b} of A, while z must be in one of the two classes 11a and 11b of 11-cycles in A.

The character table of A is much too large to give here. However, the only irreducible characters \chi with \chi(x)\chi(y)\chi(z)\ne 0 are the principal character \chi_1 and the characters \chi_2, \chi_6 and \chi_{11} of degrees 10, 120 and 210, so we can give here the relevant portion of the character table, concerning these classes and characters:

The character sum

has the value

Now |A|=11!/2=2^7\cdot 3^4\cdot 5^2\cdot 7\cdot11, and by [ATLAS] the centralisers of x, y and z in A have orders 162=2\cdot 3^4, 1152=2^7\cdot 3^2 and 11, so

Multiplying this by 2\Sigma_A shows that the number of triples in A satisfying (?) is

From this total we must subtract the number of triples generating proper subgroups of A. As we have seen, the only such subgroups are those isomorphic to {\rm PSL}_2(11). Each subgroup L\cong {\rm PSL}_2(11) in A is contained in a unique subgroup M\cong {\rm M}_{11}; there are two conjugacy classes of 2520 such subgroups M in A, each containing one conjugacy class of 12 subgroups L, so the number of such subgroups L in A is 2\cdot 2520\cdot 12=60480=2^6\cdot 3^3\cdot 5\cdot 7. As shown in Example 4.1, each subgroup L is generated by 2^3\cdot 3\cdot 5\cdot 11 triples satisfying (?), so the number of triples in A generating subgroups L\cong {\rm PSL}_2(11) is 2^9\cdot 3^4\cdot 5^2\cdot 7\cdot 11=t/5=2\times 11!.

Since there are 10\times 11! triples in A, of which 2\times 11! generate proper subgroups, there are 8\times11! triples generating A, forming eight orbits under {\rm Aut}\,A={\rm S}_{11}; these correspond to eight normal subgroups of \Delta with quotient A, and hence to eight regular dessins with (orientation-preserving) automorphism group A. Now A has a single conjugacy class of subgroups of index 11, namely the natural point-stabilisers isomorphic to {\rm A}_{10}, so these lift to eight more conjugacy classes of subgroups of index 11 in \Delta, in addition to the two resulting from Example 4.1. These give eight more dessins \mathcal D of type (3,2,11) and degree 11, all with monodromy group G\cong {\rm A}_{11}. Thus we have a total of ten dessins of the required degree and type. This confirms the earlier enumeration, and also confirms that for {\mathcal M}_1 and \overline{\mathcal M}_1 the monodromy group is {\rm PSL}_2(11), whereas for the other eight dessins it is {\rm A}_{11}. Generating triples for these dessins are given in Subsection ?.

If k=1 and p=5 we obtain one planar dessin \mathcal D, shown on the left in Figure ?, ?, with monodromy group G={\rm PSL}_2(4)\cong {\rm A}_5; its regular cover \mathcal R is the dodecahedron, and \mathcal D is the quotient of \mathcal R by a point-stabiliser in G, isomorphic to {\rm A}_4. If k=2 and p=17 we obtain two dessins of genus 1; they are shown in Section ?, Figure ?. Their regular covers are of genus 221. If k=3 and p=257 we obtain 16 dessins of genus 21, with regular covers of genus 1\,365\,441. If k=4 and p=65\,537 we obtain 2048 dessins of genus 5461, with regular covers of genus 23\,454\,100\,602\,881. No Fermat primes are known for k\ge 5, and it is conjectured that none exist, but if any do, they are covered by Theorem 10.1.

The smallest example for the above theorem is the chiral pair of dessins of degree p=7 with monodromy group {\rm PSL}_3(2)\cong {\rm PSL}_2(7); one of this pair is shown on the right in Figure ?, ?.

Let p=13 and G={\rm PSL}_3(3). The required conjugacy classes are (in ATLAS [ATLAS] notation) {\mathcal X}=3B, {\mathcal Y}=2A and {\mathcal Z}=13A, 13B, 13C or 13D, giving four dessins \mathcal D of type (3,2,13) and degree 13; they form two chiral pairs, each pair having the same regular cover. Each dessin \mathcal D (see Figure ?, or [APZ, Orbit 13.1, Fig. 8.22(A)]) has passport (3^41^1, 2^41^5, 13^1) and genus 0, while the two regular covers have genus 253. (These are the duals of the regular maps R253.1 and R253.2 of type \{3,13\}_8 and \{3,13\}_{12} in [Con].)

Let p=31, with G={\rm PSL}_3(5). In this case {\mathcal X}=3A, {\mathcal Y}=2A and there are ten possible classes {\mathcal Z}=31A, 31B, \ldots. These give ten dessins \mathcal D of type (3,2,31) and degree 31, forming five chiral pairs with five regular covers. Each dessin \mathcal D has passport (3^{10}1^1, 2^{12}1^7, 31^1) and genus 1, while the regular covers have genus 25\,001. Generators of the monodromy groups of these ten dessins \mathcal D, as well as the diagram of one of them, are given in Subsection ?.

Let p=73 and G={\rm PSL}_3(8). Here {\mathcal X}=3A and {\mathcal Y}=2A, and there are 24 classes {\mathcal Z}=73A,\ldots of elements of order 73. Since e=3 we obtain 24/3=8 dessins \mathcal D. They have passport (3^{24}1^1, 2^{32}1^9, 73^1) and genus 4; their permutation representations are given in Subsection ?. They form four chiral pairs, each pair having a regular cover of genus 1\,260\,673.

Let p=2^3-1=7 and G={\rm PSL}_3(2)\;(={\rm GL}_3(2)\cong {\rm PSL}_2(7)). The only conjugacy classes of elements of order 3 or 2 in G are 3A and 2A, with cycle structures 3^21^1 and 2^21^3 in both of the natural representations of G, on points and lines of the Fano plane {\mathbb P}^2({\mathbb F}_2); there are two classes 7A, 7B of elements of order p=7. The only character which does not vanish in the character sum is \chi_1, so \Sigma=1. Since |C(x)|=3, |C(y)|=8=2^3, |C(z)|=7 and |G|=168=2^3\cdot 3\cdot 7, the number of triples of type (3,2,7) in G is

(Note that {\rm Out}\,G\cong {\rm C}_2, induced by the duality of the Fano plane, or equivalently by conjugation of {\rm PSL}_2(7) in {\rm PGL}_2(7).) These triples all generate G, so \Delta=\Delta(3,2,7) has a unique normal subgroup with quotient G, corresponding to a regular dessin \mathcal R of type (3,2,7) with automorphism group G. There are two conjugacy classes of subgroups of index 7 in G, the stabilisers of points and lines in the Fano plane; these lift to two conjugacy classes of subgroups of index 7 in \Delta, corresponding to two dessins \mathcal D of type (3,2,7) and degree 7, each having regular cover \mathcal R. Each dessin \mathcal D has passport (3^21^1, 2^21^3, 7^1), so it has genus 0, while \mathcal R has genus 3. One of the two dessins \mathcal D is shown on the right in Figure ?, ?, and the other is its mirror image \overline{\mathcal D}. These two maps, corresponding to the two choices for the conjugacy class \mathcal Z or to the two choices for the class of subgroups of index 7, are not isomorphic since the outer automorphism of G transposes both pairs. The dessin \mathcal R is Klein’s heptagonal map on his quartic curve, introduced in [Kle78]; it is denoted by \{7,3\}_8 in [CM] and is the dual of R3.1 in [Con]. As the common regular cover of a chiral pair of dessins (or by its uniqueness) this map is isomorphic to its mirror image.

Let p=31 (again), but now in its role as a Mersenne prime 2^5-1, with G={\rm PSL}_5(2)={\rm GL}_5(2). There are two classes each of elements of orders 3 and 2, namely 3A and 3B, with cycle structures 3^81^7 and 3^{10}1^1, and 2A and 2B, with cycle structures 2^81^{15} and 2^{12}1^7, together with six classes 31A, \ldots of elements of order 31. The inequality 2a+b\ge p-1 discussed earlier implies that \mathcal X and \mathcal Y must be 3B and 2B. For each of the six choices of \mathcal Z, only \chi_1 and \chi_6 appear in the character sum, so

We have |C(x)|=180=2^2\cdot 3^2\cdot 5, |C(y)|=1536=2^9\cdot 3, |C(z)|=31 and |G|=9\,999\,360=2^{10}\cdot 3^2\cdot 5\cdot 7\cdot 31, so the total number of triples in G is

Each triple generates G, so \Delta has three normal subgroups with quotient G. There are two conjugacy classes of subgroups of index 31 in G, the stabilisers of points and hyperplanes in {\mathbb P}^4({\mathbb F}_2), giving six dessins \mathcal D of degree 31, with three chiral pairs each having the same regular cover \mathcal R. Each dessin \mathcal D has passport (3^{10}1^1,2^{12}1^7,31^1), so it has genus 1, while the regular covers \mathcal R have genus 672\,001. Generators of the monodromy groups of these six dessins \mathcal D, as well as the diagram of one of them, are given in Subsection ?.

Taking n=5 we obtain a dessin of type (3,2,31), degree 32 and genus 3, with passport (3^{10}1^2, 2^{16}, 31^11^1). This should not be confused with the Galois orbit 32.1 of six planar dessins with the same type, degree and monodromy group in [APZ]: these have passport (3^{10}1^2, 2^{12}1^8, 31^11^1), and they correspond to taking b\in T(1-y), so that v fixes |\ker(1-y)|=8 points (see Subsection ?).