Pictures of Modular Curves (IX)
Posted by Guest
guest post by Tim Silverman
Welcome back to our series A Glorious Technicolor Panorama Documentary of Modular Form Country.
We’ve been looking at the curves , which result from quotienting the hyperbolic plane (or complex upper half-plane) by the action of the subgroup of . We do this by first quotienting by , giving a “mod ” version of our surface, and then further quotienting out by the additive or “translation” subgroup of the remaining action.
Last time, and the time before, we looked at rolling up sectors of into cones, pictorially representing the second quotient process. Today, I want to take advantage of the fact that several of the for small have genus , to try to represent everything smoothly on the surface of a sphere.
I should warn you that the pictures you’re about to see are to some extent “hand-sketched”. I didn’t really have guides to how to lay out the sizes and proportions of the variously-shaped tiles, unlike in the case of the Platonic solids or other regular tilings, or the conical rolled-up sectors. So there’s no guarantee that these images are even conformally faithful, let alone in some sense canonically “correct”. I’ve done my best to make them look nice and at least be combinatorially correct, but … well … you have been warned. Take them with a pinch of salt. Not actual size. Contents may have settled in transit. Batteries not included. Cape does not really confer ability to fly.
With that out of the way, let’s plunge right in!
Whoa! That’s a lot of pieces! And a lot of colours! And a lot of shapes!
Let’s go through it bit by bit.
First, there are the the faces corresponding to fractions with denominator , that is and . When we take conical sectors, these each consist of just one sector of a single octagon, made into a conical cap with a single edge looped round to join itself around the base of the cone. Since these have a single edge, and the supposed cones aren’t genuinely conical, I’ve flattened them out into circles. I’m not convinced this is really the right thing to do, but they look pretty:
Next, there is one face with denominator . This results from the identification of the fractions , , and . I’m using to stand for this class. Since there were originally four faces, the single face that results from this identification consists of four copies of the fundamental domain, or, to put matters more plainly, it’s a square:
Next, there is one face with denominator . There were originally two fractions with denominator , back in , namely and , but , so these get identified. I use the fraction to represent the class. Since there were originally two faces, we get a big yellow bigon (I’m afraid I’ve changed the colournumber mapping from the one I’ve been using up to now, mostly just to make it look prettier):
This leaves two octagons, corresponding to denominators and . But since I’ve tried to make the other faces look pretty, these have been distorted into weird, irregular shapes to fit in:
See the holes where the denominator faces snugly fit, and the seam where two edges have been identified.
Now we can put all these faces together to get the shocking concoction we saw at the beginning:
Now lets give a few different values of the same treatment.
Other
The threefold symmetry should hopefully be very clear here, as well as the fact that, if we quotient the surface out by it, it gives rise to two elliptic points of period —one on each side.
And here’s a view from another angle (and further away).
This one is a little more complex, so I’ll try to get it to pose for the paparazzi from a few angles.
From the side:
And opaque:
We can see clearly the three-fold symmetry as with , but this time the triangular panes on each side, containing and , ensure that quotienting by the threefold symmetry does not produce any elliptic points.
And now from the front, so we can get a better look at the faces with denominator or a unit:
And with the front panels removed so we can see inside:
OK, that’s enough from you, . You can go inside now.
Because we have a possibly even bigger star coming out …
Observe that, since is squarefree, we have the simple phenomenon that the faces with denominator have sides—they’re bigons—and faces with denominator or (i.e. ) have sides—they are (heart-shaped) pentagons. Faces with denominator or (i.e. ) have sides.
Observe also that the relation is still visible between adjacent faces (though not always perfectly clearly).
The largest for which has genus is :
And opaque for clarity:
And more from the side:
And opaque:
Those are all the more complicated genus- cases, which we haven’t seen before. I’ll also briefly add the cases with for the sake of completeness. We have seen these before, but in conical rather than spherical form.
First, and , side by side (I’ve refrained from painting the blue on the back of the sphere in order to bring out the colours on the front more clearly):
For (which is the same as ), the whole sphere is a single triangular face, sewn up with a seam which you can see as a line on the surface of the sphere. There is an elliptic point of period at one end of the line, and an elliptic point of period at the other end, the period- elliptic point being at the vertex between two of the edges of the triangle, and the period- elliptic point being at the midpoint of the third edge, where it is folded in half.
For , there are two faces, one a red monogon, and the other a blue bigon which takes up the rest of the sphere. There is an elliptic point of period at the end of the stalk (or seam) you can see, where one edge of the bigon is folded back on itself.
Here are and (again, I’ve left the blue colour off the back of the sphere):
, like , has a two faces—one a red monogon, and the other a blue triangle which takes up the rest of the sphere. It also has an elliptic point at the end of the stalk, but it is of period , and occurs at the vertex where two edges of the blue triangle meet.
has three faces: a red monogon (denominator ), a green monogon (denominator ) and a blue square that takes up the rest of the sphere (denominator ).
Finally, has four faces: red monogons with corresponding to and , and a blue and a green pentagon with denominators and ; and also has four faces: a monogon with denominator , a blue hexagon with denominator (which takes up most of the sphere), a green triangle with denominator , and an orange bigon with denominator .
And that is all the for which has genus .
However, in going all the way from to —albeit in a funny order—we have skipped over a genus- case: . This is also easy to represent. So here is a tiling of the plane corresponding to this torus:
and are also genus .
Here is .
And here is .
Aren’t they pretty!
And now you’ve seen all the genus and genus cases. I’m not going to show anything of higher genus—I’m too lazy, and I’ve run out of time. So that’s all from folks! Next time, we’ll be looking at .
Re: Pictures of Modular Curves (IX)
Tim, if you’re “too lazy”, I don’t know what that makes the rest of us…