The object of size 84
The object of size 84, stabilizer , one class of 21 subgroups · 4 automorphisms
Stabilizer and automorphism group : three involutions, each named by its quotient class.
Its incarnations
The seam table names the object in each of the five theories that meet the group. Every entry there is built.
- Fano plane
- quadrangles with an ordered pair of vertices
- Projective line
- pairs of disjoint pairs, cross-ratio
- The group
- involutions with a Sylow 3-subgroup they normalize
- Klein quartic
- centres with one of the four bitangents through them
- Graphs
- arcs of the Coxeter graph
The seams between two incarnations form a torsor under , a group of order 4, so there are 4 of them.
The fifteen objects
is a dihedral group of order 8, so the automorphism group is , abelian, and its identification with the automorphisms of every incarnation is canonical. has exactly three subgroups of order 4 containing its centre, one in each of the classes , and , so the three involutions have these quotient classes, and the quotient class names the involution. The power is not available, since an involution has .
Quadrangles of the Fano plane with an ordered pair of vertices; pairs of disjoint pairs of with cross-ratio ; involutions together with a Sylow 3-subgroup that they normalize; centres of involutions with one of the four bitangents through them; arcs of the Coxeter graph; the points of the Klein quartic with stabilizer , the midpoints of the edges of Klein’s map; pairs of Coxeter vertices at distance 2; the 10-cycles of the Coxeter and Heawood graphs; and one orbit of 12-cycles of the Coxeter graph.
Reversing a Coxeter arc and pairing the four bitangents at a centre into Coxeter edges both have quotient class , and the seam sending a centre with a bitangent to the Coxeter arc from the vertex of to its neighbour fixed by the involution with centre matches them. Replacing a Sylow 3-subgroup by the one generating with it is , and by the one generating an of class or is or ; exchanging the ordered pair of vertices of a quadrangle is ; passing to the other pairing of four points of with cross-ratio is .
No conjugacy class of elements or of subgroups is an incarnation of it.
In Thurston’s congruence link complement it is the tetrahedra with one of their edges, in two orbits, one for each class of tetrahedra. Over it the double cover adds no new object: an involution lifts to an element of order 4 whose square is .
- In the Esquisse
- 4La monodromie des sutures10La table en deux, en sept et à l’infini16Une loi de réciprocité
- In the volume
- XIIThe Coxeter Graph