I’m sorry for the long gap, though there’s nothing really to be sorry about. I know I wasn’t missed.
This posts will present some of my newly created gifs. Before showing the outcome, first let’s delve into some theory (the hasty reader is free to scroll to the juicier part, of course). As you may have perhaps deduced from the title, the theme of discussion today is the Modular group.
By the modular group , we almost mean the following group (fondly known as ).
However, in reality, the modular group is just slightly away from being that group. It’s the group given by the quotient group
There is a natural action of the modular group on the complex upper half plane, which is
The action of an element , is given by (check that the sign does not matter)
What is almost so magical about the above action is that it actually is a group action. That is, there is associativity with the group product and group identity fixes everything. The former of these two facts is not immediately trivial, but to witness it, look at the following calculation:
The group action of the modular group on the upper half plane has inspired a lot of mathematics. It has deep connections with number theory and hyperbolic geometry. There are a lot of reasons to talk about these groups. There are complete books written on these subjects.
We will also witness another concept called the fundamental domain. Suppose we have a group acting on a topological space . Then a fundamental domain of the action of (which is the set of -orbits endowed with the Quotient topology), is a certain set inside which is in a set-bijection with . More precisely, it is a region satisfying
If you’ve ever googled these things, the most commonly given example is always of the modular action, and how there is a fundamental domain such that the following holds true
where is the set
A picture of this region (accurate upto boundary, beyond which it will be impossible for a computer to be accurate), is given here:
When acted upon by different elements of the modular group, the following “tiling” can be generated:
It is widely known that the modular group can be generated by the generators as described by
In the language of the above matrices, it is known that the modular group is given as the presentation
Here is the action of (a little uneventful, unfortunately):
Here is the action of the element the element upon our favorite tiling:
To keep track of the flipping around, here is the same with each tile randomly colored (it was difficult to color the inside of a non-convex tile on the computer without triangulating it, so I chose the following scheme instead):
Here is the action of on the Poincare Disk model
Here is the action of on the same (looking much less dramatic):
While proving a landmark result (the Monstrous moonshine conjecture) related to modular forms, which are related to our discussion, Richard Borcherds had recounted his experience by saying, “I sometimes wonder if this is the feeling you get when you take certain drugs. I don’t actually know, as I have not tested this theory of mine.”
Inspired by this, I have created the following imagery (the colours of the tiles are a smooth function of time):