Theta functions of one variable

I’m closing in on the source of my confusion. In this post, I’m going to explain as much as I can in the case of Jacobians of genus one curves, that is to say, the case of elliptic curves. Of course there are about a zillion books on the classical topic of theta functions, and other elliptic functions, in one variable. I’m going to do a few things that I haven’t seen elsewhere though. I’m going to work entirely in the analytic world. You’ll never see a complex conjugate, a Hermitian matrix or, with one exception that I’ll discuss when I get to it, a real or imaginary part. As a result, my constructions will be analytic so, if I get down to compact spaces, I will be able to apply GAGA and conclude that they are algebraic. Also, I’m going to try as hard as possible not to make any arbitrary choices. Finally, of course, I have been thinking about the higher genus case, and I am trying to choose notation that will generalize well. There will probably be a followup post shortly, discussing what changes in the higher genus case. So far, it looks like the things that are different are basically orthogonal to the things that interest me.

For those who haven’t seen \theta-functions before, let me give this advertisement — just as every polynomial is a product of linear factors, every function on an elliptic curve is a product of \Theta-functions. If you care about elliptic curves, it should be pretty obvious why you care about \Theta-functions.

Let \Lambda be a free \mathbb{Z}-module of rank {2}, let H be a \mathbb{C} vector space of dimension {1} and let \Omega be a linear map \Lambda \to H whose image is a lattice. If we choose coordinates, of course, \Lambda = \mathbb{Z}^2, H=\mathbb{C} and \Omega is a matrix \left( \begin{smallmatrix} \omega_1 \omega_2 \end{smallmatrix} \right). But we’re not going to do that until we can’t help it. This discipline will reward us when we get to higher genus.

One technical note first: the space of maps \Lambda \to H whose image is a lattice has two connected components. This is because the complex structure on H gives an orientation to H, and we can ask which of the two orientations on \Lambda it corresponds to. We’ll fix one component and stay in it. We will call the corresponding orientation on \Lambda the standard orientation. In coordinates, this means that we require that the imaginary part of \omega_1/\omega_2 be positive. This is the “one exception” I warned you about above, where I take the imaginary part of something. Observe that the upper half plane is still a complex submanifold of \mathbb{C}, so we haven’t left the complex analytic category.

Theta functions and Polarization

We’d like to build an analytic function \psi on H whose zeroes are \Omega(\Lambda)-periodic. (So this will give us a finite set of zeroes in H/\Omega(\Lambda).) So, for \lambda in \Lambda, the function \psi(z+\Omega(\lambda))/\psi(z) has no zeroes and can be written as e^{2 \pi i f_{\lambda}(z)} for some analytic function f_{\lambda}. By definition, \psi is called a \Theta-function if, for every \Lambda, the function f_{\lambda} is an affine linear function, that is to say, f_{\lambda} is of the form \langle L(\lambda), z \rangle + J(\lambda). The pair (L, J) is called the holonomy factor of \psi. Naturally speaking, J is a \mathbb{C}-valued function on \Lambda and L is a H^{\vee}-valued function on \Lambda. (Here H^{\vee} is the dual vector space to H.)

The most basic \Theta-functions are the trivial \Theta-functions, which are of the form (in coordinates) \theta(z) = e^{P z^2 + Qz +R} for some constants P, Q and R. These have no zeroes, and we will eventually see that they are the only \Theta-functions with no zeroes. Note for future reference that, for a trivial \Theta-function, J(\lambda) - (1/2) \langle L(\lambda), \Omega(\lambda) \rangle is a linear function of \Omega(\lambda).

What properties must (L,J) obey? Computing \theta(z+\Omega(\lambda)+\Omega(\mu)) in two ways, we see that

\langle L(\lambda + \mu), \Omega(z) \rangle + J(\lambda + \mu)  =

\langle L(\lambda), \Omega(z) \rangle  + \langle L(\lambda), \Omega(\mu) \rangle  +  \langle L(\mu), \Omega(z) \rangle  +   J(\lambda)   +   J(\mu) \! \! \mod  \mathbb{Z}

Thinking a little, we have

L(\lambda + \mu) = L(\lambda) + L(\mu) and

\langle L(\lambda), \Omega(\mu) \rangle = J(\lambda+ \mu) + J(\lambda) + J(\mu) \mod \mathbb{Z}.

So the first equation simply states that L : \Lambda \to H^{\vee} is a linear map. As a corollary of the second equation, \langle L(\lambda), \Omega(\mu) \rangle - \langle L(\mu), \Omega(\lambda) \rangle is an integer-valued, skew symmetric form on \Lambda. This form is called the polarization. (Trivial \Theta-functions have polarization zero.) Let \mathrm{Vol} be the skew symmetric form on \Lambda which assigns {1} to any basis which respects the standard orientation of \Lambda and let

\langle L(\lambda), \Omega(\mu) \rangle - \langle L(\mu), \Omega(\lambda) \rangle = d \mathrm{Vol}.

Then d is the number of zeroes inside a fundamental domain for \Omega(\Lambda). (This is a very nice exercise. Hint: integrate d \log \theta(z)/dz around the boundary of a fundamental parallelogram.) In particular, if d is negative, there are no non-zero \Theta functions. From now on, we will focus on the case d=1, which is called principal polarization.

Some basic facts

Fact 1: There is a linear map L : \Lambda \to H^{\vee} such that \langle L(\lambda), \Omega(\mu) \rangle - \langle L(\mu), \Omega(\lambda) \rangle = \mathrm{Vol}. If L_0 is one such linear map, then any other such map is of the form L_0 + S \circ \Omega where S is a linear map H^{\vee} \to H. Given a \Theta function with holonomy (L_0+S \circ \Omega, J), one can always divide it by the trivial \Theta-function e^{(1/2) \langle z, S(z) \rangle} to obtain a \Theta-function with holonomy (L_0, J' ) for some J'

Thus, if we are only interested in the zeroes of \theta, we may always choose one solution L_0 and rewrite everything in terms of it. Many classical references, especially for the higher genus case, make the choice L_0 = (\overline{\omega_1} \ \overline{\omega_2})/(2 \mathrm{Im}(\overline{\omega_1} \omega_2)). This is usually described as “the unique Hermitian form on H whose imaginary part is \mathrm{Vol}.” Although natural, this choice is not complex analytic, so we will not make it. In fact, we will not make any choice for L_0.

In higher genus, L may not exist; the claim that it does is part of Riemmann’s period relations. Also, in higher genus, the map S must be self-adjoint; this is trivial in the one dimensional case.

Fact 2: For any map L as in Fact 1, there is a function J obeying \langle L(\lambda), \Omega(\mu) \rangle = J(\lambda+ \mu) - J(\lambda) - J(\mu) \mod \mathbb{Z}. If J_0 is one such function, all other such functions are obtained, modulo \mathbb{Z}, by adding a linear function \ell : \Lambda \to \mathbb{C} to J_0. Given a \Theta-function \theta for (L,J), we can form a \Theta-function for (L,J') by replacing \theta by e^{az} \theta(z+b) for some a and b. We can take b=0 if and only if \ell is pulled back from H.

We consider the case b=0 to be “boring”, as it doesn’t change the zero locus of \theta. Thus the options for J, modulo “boring modifications”, are a principal homogeneous space for

\mathrm{Hom}(\Lambda, \mathbb{C})/(\mathrm{Hom}(\Lambda, \mathbb{Z})+ \Omega^* \mathrm{Hom}(H, \mathbb{C})).

This is called the dual torus to H/\Omega(\Lambda). In the principally polarized case, and also in the genus one case, this can be identified with H/\Omega(\Lambda), but not in general.

Fact 3: Remember that we are in the principally polarized case. For any (L,J) obeying the required equations, there is a unique nonzero \theta function up to scaling. (More generally, if the polarization is d \mathrm{Vol}, then there is a d-dimensional space of \theta functions.)

One proves Fact 3 by constructing a particular \Theta-function. The details of this construction matter because it is that particular function whose zeroes are supposed to be the \Theta-divisor. So, let’s explain how this is done.

Using Facts 1 and 2, we may reduce to our favorite choice of (L,J). Here is our favorite choice: choose a primitive element e_1 in \Lambda and require that L(e_1)=0. This can be shown to fix L uniquely. In coordinates, if e_1 = \left( \begin{smallmatrix} 1 \\ 0 \end{smallmatrix} \right), then L=(0 \ - \! \omega_1^{-1}). The favorite choice of J then involves picking a second element e_2 \in \Lambda such that (e_1, e_2) is an oriented basis for \Lambda and normalizing J(e_1)=0 and J(e_2) = (1/2) \langle L(e_2), \Omega(e_2) \rangle. These determine all of the other values.

Since L(e_1) and J(e_1) are zero, \theta is periodic in the e_1 direction and, thus, \theta(z) = \sum_{n = - \infty}^{\infty} a_n e^{n 2 \pi i z/\omega_1} for some a_n. (Of course, I’m using coordinates and one-dimensionality of H to cheat a bit. The expression z/\omega_1 really means f(z), where f is the functional on H such that f(\Omega(e_1))=1.) Writing down the functional equation for translation by e_2, we deduce the standard formula

\theta(z) = c \cdot \sum_{n = - \infty}^{\infty} e^{2 \pi i \left( (1/2) n^2 \frac{\omega_2}{\omega_1} + n z/\omega_1 \right) }.

Well, fairly standard. Plug in \omega_1=1 and \omega_2=\tau to get the truly classical formula. Note that we used our assumption on orientations to make sure the sum converged.

Fact 3 has very interesting consequences. If we made a different choice of e_1 and e_2, we’d get a different function \theta'. Then Facts 1, 2 and 3 tells us there would be some sort of relation

\theta'(z) = e^{P z^2 + Qz + R} \theta(z+b).

This gets into the fascinating topic of modular forms, which is not where I want to go today.

How do the zeroes of \theta transform?

In the previous formula, I am only interested in how the zeroes of \theta and \theta' relate, so I only care about b. In the higher genus case, the fact that changing our basis just translates the zero locus of \theta is interesting, but for genus one, it is vacuous. Can’t we say anything more about b?

I tried to compute b from the definition, or by looking in references, and got horribly stuck. I think, though, that I have a way around this by looking at how a change of basis effects (L,J). By Fact 3, (L,J) determines \theta up to a constant, so this should at least in principle be doable. Be warned that everything from this point on is due to me (although I’m sure other people have thought of this too) and may contain errors.

Wow, this post is long! If you want to stretch your legs, this is a good point.

The conclusion

The first thing we need to do is get rid of the confusing effect of trivial \Theta-functions. Given (L,J), let r(\lambda) = J(\lambda) - (1/2) \langle L(\lambda), \Omega(\lambda) \rangle. Multiplying \theta by a trivial \Theta-function modifies r(\lambda) by a linear function of \Omega(\lambda). Plugging into the functional equation of J,

r(\lambda+\mu) - r(\lambda) - r(\mu) = (1/2) \mathrm{Vol}(\lambda, \mu) \mod \mathbb{Z}

(I urge you to check the {2}‘s carefully, this whole argument depends on factors of {2}.) Now, if I worked it out correctly, with the standard choice of coordinates above, r \left( \begin{smallmatrix} p \\ q \end{smallmatrix} \right) = (1/2) pq. (Note how sneaky it is; if you just look at the special cases p=0 or q=0 you miss it!) That means that, for any choice of e_1 and e_2, the resulting r(\lambda) lies in (1/2) \mathbb{Z}. Let’s say that (L, J) is elegant if r(\lambda) lies in (1/2) \mathbb{Z}. So our choice of a basis for \Lambda can not give rise to an arbitrary principally polarized \Theta-function, but only to an elegant one. Moreover, up to the symmetry of multiplying by trivial \Theta-functions, it’s not too hard to show that an elegant \theta function is determined by the function r modulo \mathbb{Z}.

How many such functions r are there? If r_0 is one such function, and r_1 another, then r_0-r_1 is a linear function of \lambda. So the r‘s form a principal homogenous space for \mathrm{Hom}(\Lambda, (1/2 \mathbb{Z})/\mathbb{Z})). Explicitly the four possible functions r \left( \begin{smallmatrix} p \\ q \end{smallmatrix} \right) are (1/2) pq, (1/2) (pq + p) \equiv (1/2) (pq+p^2) \mod \mathbb{Z}, (1/2) (pq + q) \equiv (1/2) (pq+q^2) \mod \mathbb{Z} and (1/2) (pq + p + q) \equiv (1/2) (pq+p^2 + q^2) \mod \mathbb{Z}. As we change bases of \Lambda, we only see these four r‘s (modulo \mathbb{Z}) and thus only see four different zeroes for our \Theta functions. Explicitly (if I didn’t screw up), if our basis is \left( \begin{smallmatrix} a \\ b \end{smallmatrix} \right), \left( \begin{smallmatrix} c \\ d \end{smallmatrix} \right), the resulting function is r \left( \begin{smallmatrix} p \\ q \end{smallmatrix} \right) = (1/2) (ap+bq)(cp+dq).

Take the space of orientation preserving maps \Lambda \to H, and quotient by SL_2(\mathbb{Z}) acting on \Lambda and \mathbb{C}^* acting on H. We get the j-line. Everything we did was analytic, so we get that there is an analytic correspondence which, given j, creates {4} points on the elliptic curve with j-invariant j. Thinking a little harder about analysis (because the j-line is not compact) and a little harder about stacky issues, GAGA let’s us deduce that this correspondence is algebraic.

(Anti)-climax

Come to think of it, there is a much easier way to algebraically get {4}-points on an elliptic curve: just take the {2}-torsion. The reason I wrote this out, though, is because things will be more interesting with other principally polarized abelian varieties (like Jacobians). I’m still checking details, but I think I’ll get that there is an algebraic construction of a 2^{2g}-tuple of hypersurfaces in any principally polarized abelian variety. This should be the 2^{2g}-tuple of \Theta-divisors that Jordan Ellenberg promised me.

Also, I have a misgiving! One of the {2}-torsion points of an elliptic curve is special, namely, the origin. I should be able to see that from my argument. Indeed, I can. Only three of the four r‘s actually show up. If \left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) is in SL_2(\mathbb{Z}), then (1/2) (ap+bq)(cp+dq) can not be (p^2+pq+q^2)/2 \mod \mathbb{Z}. If it were, then ac and bd would both be odd, meaning that a, b, c and d were all odd. Then the determinant of \left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) is even, a contradiction!

Well, that’s OK then. But I wonder if something similar happens for higher g. Do all of the 2^{2g} choices of \Theta-divisor actually show up for some choice of basis of \Lambda?

References: I referred frequently to Mumford’s Lectures on Theta and to the first chapter of Hindry and Silverman’s Diophantine Geometry in preparing this post.

4 thoughts on “Theta functions of one variable

  1. minor typos:

    in section `Theta functions and polarization,’ paragraph three:
    In the equation after `we see that,’ there should not be omega’s in front of the z’s. In the equation after that some minus signs are missing.

Comments are closed.