Given 4 complex numbers, , we may consider the linear fractional transformation (LFT)
Well, 4 numbers are enough to make a matrix, . Is there any better reason to relate the linear fractional transformation with this matrix?
Suppose you have two matrices, and . Then the product is as follows:
If you take the composite of the two linear fractional transformations, i.e.,
and then play around simplifying that expression for a few minutes, you obtain the LFT
which is precisely the LFT corresponding to the product matrix above. So, if nothing else, writing LFTs as matrices this way won’t lead us astray when thinking about composites.
This idea is not without its confusion, for me anyway. Generally when you think about a 2×2 matrix of complex values, you are thinking about that matrix as a linear map , which is not what we are doing above. Instead, I guess we are saying that the “monoid” (group without inverses) of 2×2 matrices, , acts (in the technical sense) on as linear fractional transformations. My guess is that there are even better ways to say what is going on.
I think it is also important to keep in mind that two different matrices may correspond to the same LFT. For example, represents the same LFT as . More generally, if is any complex value (nonzero), then represents the same LFT as . I guess one can think of as a -vector space (isomorphic to ), and then think of its projective space (the quotient where two “vectors” (matrices here) are the same when they differ by a scalar (complex) multiple), which I’ll denote . Then I think I’m saying that the action of on actually is an action of the quotient, . I’m not sure if this is a useful viewpoint (or, indeed, correct).
Yesterday, when I was talking about how to picture what an LFT does to , I wrote down a factorization of the LFT as a composite. Our new notation gives us another way to write that factorization (recall , and that we had assumed ):
As is frequently useful, we will assume that (indeed, this factorization seems to require it – I think I’m missing something somewhere, anybody see it?). Notice that is the determinant of the matrix representing our LFT. We may then multiply all entries in our matrix (without changing the LFT, as discussed above) by , and obtain a matrix with determinant 1. Let’s do that, making .
Yesterday, when I was working on the factorization above, I only had something like idea where I was going. I think today I’ve got about twice that, so I want to re-write the factorization. Let me write it as
So what’s the connection with Ford circles? Recall that for a reduced fraction , the associated Ford circle is the circle centered at with radius . Following Rademacher (and, presumably, others), let us say that the “fraction” also gets a Ford “circle”, the line in the plane. This isn’t such a nasty thing to do, as it has the tangency properties I talked about when talking about Ford circles. Anyway, let us think about applying our transformation , as the composite given above, and see what happens to this line . We’ll assume that , and are all integers.
The first step, is the linear translation . Since is real (since are integers), this translation is a horizontal shift, which leaves unchanged.
Next up, , which is . Thinking of a point on the line , you can quickly determine that its polar coordinates are . The transformation is the composite of: (1) inversion with respect to the unit circle (the point becomes ), (2) reflection across the horizontal axis (giving ), and finally (3) multiplication by -1 (giving , since these are polar coordinates). This final point is . As varies through , also varies through this interval, and so we get the graph of the polar curve . If you know your polar curves, you know what this looks like…
So, the first two transformations take the line to the circle with center (0,1/2) and radius 1/2. The next in our composite is multiplication by , which is just a scaling (since ). This scaling takes our circle to the circle with center and radius . Finally, the last transformation is another horizontal translation, leaving our circle centered at . We recognize this as the Ford circle for the fraction (as long as that fraction is reduced).
Wasn’t that fun? If you want to think about it some more, you might convince yourself that any point above the line will get moved to a point inside the Farey circle resulting from this process.
Anyway, enough out of me. Hopefully tomorrow I’ll have slightly more of an idea what I’m talking about. Don’t count on it though.