7
$\begingroup$

The theta function of a lattice is defined to be $$ \vartheta_\Lambda = \sum_{v\in\Lambda} q^{{\Vert v\Vert}^2}$$ which yields as a coefficient of qk the number of vectors of norm-squared k.

On the other hand, the Jacobi theta function is given by $$ \vartheta(u,q) = \sum_{n=-\infty}^\infty u^{2n}q^{n^2}$$ and we have the obvious fact that if $\Lambda = \mathbb{Z}$ with its usual intersection form, then $\vartheta(1,q)$ is the theta function for that lattice.

We also have the fact that $\vartheta_{\Lambda_1 \oplus \Lambda_2} = \vartheta_{\Lambda_1}\vartheta_{\Lambda_2}$, and so we can decompose our theta functions into products of theta functions of primitive lattices.

Combining these facts, it is not entirely ridiculous to hope that there is some way to write, for a lattice of rank k, a ``theta function'' of the form $$\vartheta(u_1, \ldots, u_k, q)$$ such that $\vartheta(1, \ldots, 1, q)$ is the ordinary theta function of the lattice. In some sense, the u-variables keep track of the basis elements of the lattice which immediately raises the question as to well-definedness of such an idea; it is worth noting that for the lattice $\Lambda = \bigoplus_i\mathbb{Z}$ that this definition does make sense.

So is there any literature on such objects? Do they make sense for lattices which are not just sums of copies of ℤ? Do they have nice relations akin to those of normal theta functions?

$\endgroup$
3
  • $\begingroup$ The ones for Z^g have applications to completely integrable systems. See mat.univie.ac.at/~gerald/ftp/book-jac/jacop.pdf . Or the book by Gesztesy, Holden, Michor, and Teschl (not available online, afaik). $\endgroup$
    – Helge
    Jun 22, 2010 at 20:31
  • 1
    $\begingroup$ There is a very nice old (around 1900) book of Krazer on theta functions in several variables (it's in German). Otherwise Mumford's Tata lectures on theta are still very comprehensive. There was a 2-volume proceedings edition of a conference on Theta functions (published by AMS in 1989); it contains some good surveys on the subject. $\endgroup$ Jun 23, 2010 at 0:18
  • $\begingroup$ Theta functions depend to two variables, $\tau$ in the Siegel upper half-plane $S_g$ and $z$ in $\mathbb{C}^g.$ Your theta function of the lattice $\vartheta_\Lambda$ (corresponding to $g=1$ is known as a theta-$\textit{constant},$ precisely because the "main" variable $z$ has been set to $0.$ Mumford's book explains it well. Let me just add that the role of the lattice is complementary: it accounts for the Howe duality between an auxiliary orthogonal group $O(\Lambda)$ of isometries of $\Lambda$ and the symplectic group $Sp_{2g}.$ $\endgroup$ Jun 23, 2010 at 2:29

2 Answers 2

7
$\begingroup$

There are three ways to view theta functions

  1. as classical homomorphic functions in vector z and/or period matrix T
  2. as matrix coefficients of a representation of the Heisenberg and/or Metaplectic grp
  3. as sections of Line bundles on the Abelian variety and/or moduli space of the abelian variety

Ram Murty's Theta functions - from the classical to the modern discusses Weil's representation-theoretic interpretation of theta functions. See chapter 3 by Hoffstein on Eisenstein series and theta functions on the metaplectic group. It is the connection to the metaplectic group which gives rise to the functional equation of the multivariable theta function, which you will also find in the chapter on the Metaplectic group in vol 3 of Mumford's Tata Lectures

Bellman's Brief introduction to Theta functions Section 61 alludes to theta functions in several complex variables.

You may also want to search for material in books on Abelian varieties. For example, Baker's Abelian functions Chapter X develops the theory based on the period matrix. Also Murty's book on Abelian varieties and Polishchuk's Abelian Varieties, Theta Functions and the Fourier Transform

Tyurin's Quantization, Classical and Quantum Field Theory, and Theta Functions might also be a useful reference, which I haven't browsed.

See also: Springer Encyclopedia of Math entry on theta functions

$\endgroup$
1
2
$\begingroup$

I'm not entirely sure what you're seeking, but Wikipedia has a short paragraph on Riemann theta functions. They seem to be a suitable higher-dimensional generalization of the 2-variable Jacobi form you described.

I'm not an expert in this subject, but my understanding is that a theta function is a section of a line bundle on the total space of a universal family of abelian varieties. That is, we have a smooth map $\pi: X_g \to A_g$, where $A_g$ is a moduli space of abelian varieties of dimension $g$ (maybe with a level structure and a polarization), and the fiber over a point on the parameter space describes the abelian variety being parametrized. I think Mumford's Tata Lectures on Theta describe this viewpoint in some detail.

$\endgroup$
1
  • $\begingroup$ The Riemann Theta function seems to be the same sort of function that I'm working with; I'll take a look at the Tata lectures to see what they have to say, but these seem promising. $\endgroup$
    – Simon Rose
    Jun 22, 2010 at 21:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.