Now, we’re going to talk a bit about the geometry of the periods, which were completely analytic in nature. As we mentioned, for a compact Riemann surface , we have a period matrix that encodes the complex integration theory on the surface.
We can use to construct a lattice. Inside of , there’s naturally a lattice , but it’s not of full rank, the quotient isn’t compact. However, if we add in another rank lattice that is independent from the natural one, that will be full rank. So now, we take the lattice . This is then a lattice in of full rank that varies holomorphically with the pair of Riemann surface and symplectic basis of .
This means that the quotient varies holomorphically with that data. In fact, because a change of basis is linear, the transformation extends to all of , and so the quotient doesn’t depend on which symplectic basis we chose! Thus, this torus, which we will denote by only depends on the Riemann surface, not on the symplectic basis.
We can also define a function on out of , and it will behave decently with respect to the lattice. Define , the Riemann theta function, to be the multivariate Fourier series . It’s not hard to see from this definition that if we translate by an element of , the function is invariant. And it’s holomorphic (convergence is guaranteed because is symmetric and has positive definite imaginary part) everywhere. So it can’t be periodic in the other directions. In those, you pick up an exponential factor.
Because of this, is periodic, and so we get a divisor on called the Theta divisor, . The geometry of this divisor is a rich and detailed subject of study, and we’ll talk about it a bit in later posts. For now, the main point is that for any Riemann surface , this divisor defines what is called a principal polarization. One way to see that is because the bilinear form on the lattice is unimodular. Another way is by directly computing that has a unique (up to scaling) global section. The third, and in many ways most geometric, way is by looking at the map given by where is the translate of by . This gives an isomorphism between and the dual torus of degree zero divisors on .
Next time, we’ll have an interlude with an application of the geometry of the theta divisor, and then we’ll get back to constructing things with 1-forms on curves.