The second round of the British Mathematical Olympiad was taken yesterday, with the questions available online from Joseph Myers’ website. Results should be released shortly after marking, which takes place next Saturday.

Recall that a *Riemann surface* is a complex 1-manifold, or equivalently an orientable real surface locally endowed with the structure of the complex plane, enabling holomorphic functions to be defined on the surface. The most familiar examples are the complex plane itself and its one-point compactification, the Riemann sphere. Another example is an elliptic curve, which is homeomorphic to a torus when viewed as a real 2-manifold.

Now, suppose we have a non-constant holomorphic function *f* on the sphere. We are interested in the group G of automorphisms φ which preserve the values of *f* (that is to say, *f*(φ(*z*)) = *f*(*z*) for all *z* on the surface); G can be considered to be the symmetry group of *f*. G must be a finite subgroup of SO(3) and, depending on *f*, could be either a cyclic group (take ), dihedral group, or one of the polyhedral groups. In the latter case, the largest symmetry group is given by the icosahedral group of order 60:

A function with this symmetry is *Klein’s icosahedral function*, which is involved in a method of solution of the general quintic.

What about symmetry groups of the hyperbolic plane? We desire the one with the most symmetry or, more precisely, the one which minimises the absolute value of the Euler characteristic of the associated orbifold. This can be found by a quick case-bash, since we only care about orientation-preserving symmetries (rotations and translations) so can ignore the more complicated reflections and glide-reflections.

Suppose our orbifold has *gyration points* (points of rotational symmetry) of orders . Then the orbifold has an Euler characteristic of:

For an explanation of the above identity, note that the orbifold is a sphere with *n* cone-points (where the *i*th cone point counts as of a vertex), which we can cyclically connect to form a polygon with *n* edges, separating the sphere into two hemispherical faces.

To tile the hyperbolic plane, we require the Euler characteristic to be negative, so we’ll need at least three gyration points. If we have four or more gyration points, the best we can manage is an Euler characteristic of -1/6, corresponding to (2,2,2,3). With three gyration points, however, we want to find the smallest positive value of:

If two of (*a*,*b*,*c*) are equal, we can double the amount of symmetry by applying the rule (*a*,*b*,*b*) → (2,*b*,2*a*). Hence, assume without loss of generality that *a* < *b* < *c*. If *a* is 3 or more, then the best we can manage is the rather pathetic (3,4,5), which is strictly inferior to (2,4,5). Consequently, we can assume *a* = 2.

Now, either *b* = 4 (and the best solution is (2,4,5) with an Euler characteristic of -1/20) or *b* = 3 (and the best solution is (2,3,7) with an Euler characteristic of -1/42). Clearly the latter is preferable, so the (2,3,7) triangle group has the most symmetry amongst all hyperbolic tessellations.

Now, quotients of this tiling will yield compact Riemann surfaces (multi-holed tori) with maximal symmetry (order 84(*g* − 1), where *g* is the number of holes, or *genus*), known as *Hurwitz surfaces*. The simplest of these is *Klein’s quartic*, a three-holed torus with symmetry group PSL(2,7) of order 168. Next is the *Macbeath surface*, which has seven holes and the order-504 symmetry group PSL(2,8).

The next possible genus is 14, giving the order-1092 symmetry group PSL(2,13). Interestingly, there are three distinct Hurwitz surfaces with this symmetry group, known as the first Hurwitz triplet. This can be explained by the fact that in the real subfield of the field obtained by adjoining a principal 7th root of unity to the field of rationals, the number 13 is (up to multiplication by units) a product of three prime factors.

Considering surfaces of a much higher genus, R. A. Wilson demonstrated that the Monster group can be described as the automorphism group of a Hurwitz surface, corresponding to a presentation $1 = g^2 = h^3 = (gh)^7 = \dots$ (with an unknown number of relators omitted). Apart from 64 exceptions (the largest of which is A167), all alternating groups are also Hurwitz.

Is a presentation of the monster group as a hurwitz group known?

“Then the orbifold has an Euler characteristic of:

For an explanation of the above identity, …”

Er, should there be an image or something in between those two lines? I don’t see any.

It should be a LaTeX formula saying `chi = V + F – E = (1/a_1 + … + 1/a_n) + 2 – n’.

The source has a link to an image there:

https://i0.wp.com/latex.codecogs.com/gif.download?%5Cchi%20%3D%20V%20+%20F%20-%20E%20%3D%20%28%5Cdfrac%7B1%7D%7Ba_1%7D%20+%20%5Cdots%20+%20%5Cdfrac%7B1%7D%7Ba_n%7D%29%20+%202%20-%20n

Visiting it says

Error 0001. The type of image you are trying to process is not allowed.

So two things are wrong. One, there’s something the latex implementation or the surrounding server software doesn’t like about that particular formula. And two, for some reason it’s not rendering as even a broken-image placeholder in Firefox.

That’s not all that’s odd. A nearby, working one has this URL instead:

https://s-ssl.wordpress.com/latex.php?latex=1+-+%5Cdfrac%7B1%7D%7Ba%7D+-+%5Cdfrac%7B1%7D%7Bb%7D+-+%5Cdfrac%7B1%7D%7Bc%7D&bg=ffffff&fg=333333&s=0

It’s doing it completely differently. What happens if you change the broken one to use s-ssl.wordpress.com/latex.php instead of i0.wp.com/latex.codecogs.com/gif.download?