3 Complex Multiplication
We have already observed above that
We can think of this as follows — we fix as our basepoint of , which corresponds to the point . Then multiplication by is an automorphism of , which should then descend to an automorphism of . This formula gives a very concrete description of what the induced map on is — it is simply multiplication by in the coordinates!
We might hope that there are more formulas of this sort. For example, an addition formula like
would be helpful. To look for such formulae, we may try playing around with some substitutions and see what we get. Previously, for the circle, we had the substitution that turned things into rational functions. We might try a similar substitution. If we want to become a perfect square and we can get rid of the radical, we should set
Doing the substitution yields
This looks quite like what we originally had, except for the change in sign below. Thus, we put , and then we get
Integrating and putting in the right bounds, we find that
In other words, we have
Taking complex conjugates, we get
Crucially, since , we can iterate these two formulas to obtain
The presence of these may be a bit off-putting, but there is no reason to fear them — they are simply the coordinates of , which we should think of as the lemniscate arcsine of . The ambiguity in sign is fixed by what happens in a small neighbourhood of , where we choose to be positive whenever is small and positive.
It is an elementary exercise to iterate these formulas to obtain
Given the duplication formula for , it is reasonable to guess that we might have an addition formula of the form
from which we can deduce all the above formulae using that .
A poor man's way of proving the formula would be to set for some constant , and then differentiate the right-hand side to see it is constant. There are more modern ways of doing so, but is out of the scope of this discussion.
We should think of this formula as transporting the obvious addition structure on to give an addition rule on .