05/31/2017, 05:38 PM
The part that was miraculous was mapping the region to the unit disk so that the transfer map \( z \mapsto z+1 \) gets sent to \( z \mapsto \tau(z) \) where \( \tau \) is an automorphism of the unit disk without fixed points. That to me was the genius of the method. I'm still a little unclear on how he does it, but I'm starting to see the general picture.

