2 The Lemniscate Sine
The lemniscate sine is an example of an elliptic integral. Elliptic integrals first arose when people studied problems analogous to the above but for ellipses, and integrals that looked similar were called elliptic integrals. We shall not be interested in ellipses here, because they are less interesting. Fix two foci , and consider the locus of all points such that
Explicitly, this is given by
Equivalently, this is
It is convenient to set , and using polar coordinates, this equation becomes
We then have
Thus, the line element is
and we have a lemniscate arcsine
with inverse . Again, we want to promote this to a complex function. From now on, we will replace with , since explicit coordinates for the lemniscate itself will not be of much use. Then the associated Riemann surface is given by
Observe that this surface is singular at infinity. Which is bad. However, we can blow this up at infinity to resolve the singularity, and since we are working with curves, any rational map is automatically a morphism, and so we don't have to think about infinity much.
A key observation is that projection onto the coordinate exhibits as a double cover of branched at four points (it cannot be branched at infinity since there is always an even number of branch points), and so by Riemann-Hurwitz, is a torus. This means admits a holomorphic and non-vanishing differential, and one can check is one.
Since is topologically a torus, its homology is generated by two loops, and will be defined up to the integrals of those loops, which we expect to be an integer lattice in . We will explicitly identify this lattice soon. What this means is that actually gives an explicit identification . Surjectivity is automatic, and injectivity is given by the Abel–Jacobi theorem, since if , then is killed by the Abel–Jacobi map, and hence . This is possible only if as is not .
To understand the lattice, we pick two generated loops as follows:
The horizontal loop has a very geometric interpretation, since the path lies entirely within the real axis. Indeed, this just corresponds to integrating the line element along the whole lemniscate, and the integral is just the total arc length of the lemniscate, . It is written this way so that the length of half of the lemniscate is , which is exactly the contribution we get if we go around the branch point at and then return to the “origin” (of course, on the Riemann surface, this is a distinct point that the origin, as it is on the other sheet).
It remains to understand what happens when we go around the branch point at . This follows from the simple observation that the integrand is invariant under , while gets multiplied by under this operation. So we find that
So it follows that the other homology class has an integral of . Thus,
The inverse function is then a double periodic function with period lattice with zeroes given by .