## November 28, 2010

### Pictures of Modular Curves (V)

#### Posted by Guest guest post by Tim Silverman

Welcome back!

Last time, I introduced the subgroup of $PSL(2, \mathbb{Z}_N)$ consisting of what I called the “affine transformations” of $X(N)$, of the form $\left(\array{a&b\\0&d}\right)$, which preserve the relation “having the same denominator”; and I also introduced two of its subgroups, the “translations”, of the form $\left(\array{1&b\\0&1}\right)$, which preserve denominators, and the “rescalings” of the form $\left(\array{a&0\\0&d}\right)$—between them, these two groups generate the affine transformations.

And I said that I intended to talk more about the latter group first. So that is what I am going to do.

The Rescaling Action

Since we’ve decided to organise the tiling by denominator, the first thing to look at is the action on denominators, ignoring numerators. But the action on denominators just amounts to the action of the units in $\mathbb{Z}_N$ on the elements of $\mathbb{Z}_N$ by multiplication.

The orbits of the latter action are quite simple to enumerate: they correspond to the factors of $N$. The units themselves form one orbit (corresponding to $1\vert N$, since they are all multiples of $1$ by a unit). The singleton set $\{0\}$ is a second orbit (corresponding to $N\vert N$, seeing as how $N=0$ mod $N$). Any other factor of $N$ gives its own orbit, consisting of multiples of that factor by units. If $s$ and $t$ are two different factors of $N$, neither of which is a factor of the other, then there is no way that multiplying one of them by a unit can give a multiple of the other, so the different factors stay separate under the action of multiplication by units. Similarly, if $s\vert t$, then multiples of $s$ which are not multiples of $t$ will still be so after multiplication by any unit.

So, to sum up, each factor $s$ of $N$ gives rise to an orbit consisting of multiples of $s$ which are not multiples of any larger factor of $N$.

Let’s see how this works in a few cases.

We’ll start small, but not too small. For $N=2$, the group of units is trivial, so not very illustrative for our case. For $N=3$, the group of units is $\{1, 2\}$, or in other words, $\{1, -1\}$, but since we are quotienting everything out by $\{1, -1\}$, this also reduces to triviality; and the same is true for $N=4$.

So the first interesting case is $N=5$. Here the group of units is $\{1, 2, 3, 4\}$, and after quotienting out by $\{1, -1\}$, we get a group isomorphic to (the group) $\mathbb{Z}_2$, for which we can choose representative members $\{1, 2\}$. Or, within $PSL(2, \mathbb{Z}_5)$, we can choose matrices to implement the corresponding rescalings, such as $\left(\array{1&0\\0&1}\right)$ and $\left(\array{3&0\\0&2}\right)$.

At the same time, we can see that, geometrically, once we start organising things around the “at infinity” faces, whose fractions have denominator $0$, the icosahedron divides into two isomorphic parts (coloured here blue and green):

5|1,0|0,0|2|false|false|false|32.000000|5.000000|3.000000|1.000000|false|1.400000|1.000000|false|false|false|true|1.100000|false| e h 0:red, , blue, green,, 1:blue,,,,, 2:green,,,,, T 1 2 $\frac{1}{0}$ $\frac{2}{1}$ $\frac{3}{1}$ $\frac{4}{1}$ $\frac{3}{2}$ $\frac{0}{2}$ $\frac{2}{2}$ $\frac{2}{0}$ $\frac{1}{1}$ $\frac{0}{1}$ $\frac{1}{2}$ $\frac{4}{2}$
N = 5: two isomorphic pieces

Consider the action of $\left(\array{3&0\\0&2}\right)$ on the blue fractions:

$\frac{1}{0}\rightarrow\frac{3}{0}=\frac{-3}{-0}=\frac{2}{0}$
$\frac{0}{1}\rightarrow\frac{0}{2}$
$\frac{1}{1}\rightarrow\frac{3}{2}$
$\frac{2}{1}\rightarrow\frac{1}{2}$
$\frac{3}{1}\rightarrow\frac{4}{2}$
$\frac{4}{1}\rightarrow\frac{2}{2}$

Viz: the blue fractions are sent to the green fractions.

On the green fractions, the action is of course precisely the reverse. Putting these actions together, this “rescaling” is just a rotation of the sphere through $180^\circ$ about an axis passing through the equator (with the axis lying roughly in the plane of the page in these particular pictures):

5|2,0|3,2|2|false|false|false|32.000000|5.000000|3.000000|1.000000|false|1.400000|1.000000|false|false|false|true|1.100000|false| e h 0:red, , blue, green,, 1:blue,,,,, 2:green,,,,, T 1 2 $\frac{2}{0}$ $\frac{1}{2}$ $\frac{4}{2}$ $\frac{2}{2}$ $\frac{1}{1}$ $\frac{0}{1}$ $\frac{4}{1}$ $\frac{1}{0}$ $\frac{3}{2}$ $\frac{0}{2}$ $\frac{2}{1}$ $\frac{3}{1}$
N = 5: action of unit 2

Or side by side for comparison:

5|1,0|0,0|2|false|false|false|32.000000|5.000000|3.000000|1.000000|false|0.850000|1.000000|false|false|false|true|2.500000|false|false|0.700000|false|1|false|1|1,0|-1.300000|-1.200000| e | h | 0:red, , blue, green,, 1:blue,,,,, 2:green,,,,, T 1 2 N = 5: two isomorphic pieces|||| 5|2,0|3,2|2|false|false|false|32.000000|5.000000|3.000000|1.000000|false|0.850000|1.000000|false|false|false|true|2.500000|false|false|0.700000|false|1|false|1|1,0|1.100000|-1.200000| e | h | 0:red, , blue, green,, 1:blue,,,,, 2:green,,,,, T 1 2 N = 5: two isomorphic pieces|||| $\frac{1}{0}$ $\frac{2}{1}$ $\frac{3}{1}$ $\frac{4}{1}$ $\frac{3}{2}$ $\frac{0}{2}$ $\frac{2}{2}$ $\frac{2}{0}$ $\frac{1}{1}$ $\frac{0}{1}$ $\frac{1}{2}$ $\frac{4}{2}$ $\frac{2}{0}$ $\frac{1}{2}$ $\frac{4}{2}$ $\frac{2}{2}$ $\frac{1}{1}$ $\frac{0}{1}$ $\frac{4}{1}$ $\frac{1}{0}$ $\frac{3}{2}$ $\frac{0}{2}$ $\frac{2}{1}$ $\frac{3}{1}$
N = 5: Before and After

$N=6$ has a group of units consisting of just $\{1,-1\}$, hence trivial, so we’ll move onto the more interesting case $N=7$.

Let’s look once more at the example coloured by denominator. N = 7: coloured by denominator

Consider the faces with denominator $0$, coloured red. There are three of these: $\frac{1}{0}$, $\frac{2}{0}$ and $\frac{3}{0}$. Each is surrounded by a uniformly coloured ring: $\frac{1}{0}$ by a blue ring of faces with denominator $1$, $\frac{2}{0}$ by a yellow ring of faces with denominator $3$, and $\frac{3}{0}$ by a green ring of faces with denominator $2$.

Consider the group of units in $\mathbb{Z}_7$, viz. $\{1, 2, 3, 4, 5, 6\}$. After modding out by $\{1, -1\}$, we can pick representatives $\{1, 2, 3\}$. In $PSL(2,\mathbb{Z}_7)$, we can represent the actions on fractions, which result in multiplying denominators by these units $1$, $2$, and $3$, respectively, by the matrices $\left(\array{1&0\\0&1}\right)$, $\left(\array{4&0\\0&2}\right)$ and $\left(\array{5&0\\0&3}\right)$.

For instance, multiplying the above picture by $\left(\array{4&0\\0&2}\right)$, we get the following: N = 7: denominators multiplied by 2

Here is what we are seeing: each of the three different kinds of $\frac{p}{0}$ face is the centre of a block, consisting of itself together with the ring of faces surrounding it, all of which have, as denominator, the unit $\frac{1}{p}$). And under the action of the group of units, each such block gets sent to another such block.

Let’s just show those blocks, each in its own colour, and outlined with thickened edges, grouped by still thicker edges into adjacent triplets, each corresponding to the entire quotient space. N = 7: coloured by block

Or, bringing out the unit group action more clearly as a symmetry: N = 7: coloured by block, symmetrical

In general, for $N$ an odd prime, we always get a version of the pattern we have seen for $5$ and $7$. There will be $N-1$ units in $\mathbb{Z}_N$, (just as there are $6$ units in $\mathbb{Z}_7$). These will give a “rescaling group” with $\frac{N-1}{2}$ elements. (The elements are units mod $\{1,-1\}$—just as the rescaling group mod $7$ consists of $\{1,2,3\}$, as we say above).

The modular curve $X(N)$ will be made up of $\frac{N-1}{2}$ blocks of $N$-gons, corresponding to the elements of the rescaling group—just like the blue, yellow and green blocks for $N=7$.

Each block will itself consist of a central face $\frac{p}{0}$ (for some unit $p$), surrounded by $N$ faces with denominator $\frac{1}{p}$.

There will be $N+1$ orbits of the rescaling action in total: one including $\frac{1}{0}$ (and all the other $0$-denominator fractions), and then one for each fraction of the form $\frac{p}{1}$ (including this fraction together with its images with different denominators, viz. other units-mod-$\{1, -1\}$).

When $N$ is not prime, the surface doesn’t divide up quite so neatly, but luckily things are not too different. However, since I’ve been talking for a while, I think I’ll leave that for next time.

Posted at November 28, 2010 10:36 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2311