nLab
theta function

Context

Complex geometry

Geometric quantization

Contents

Idea

General

A theta function (θ\theta-function, Θ\Theta-function) is a holomorphic section of a (prinicpally polarizing) holomorphic line bundle over a complex torus / abelian variety. (e.g. Polishchuk 03, section 17). The line bundle being principally polarizing means that its space of holomorphic sections is 1-dimensional, hence that it determines the θ\theta-function up to a global complex scale factor. Typically these line bundles themselves are Theta characteristics.

Expressed in local coordinates g\mathbb{C}^g a θ\theta-function appears as an actual function, satisfying certain transformation properties.

In quantization

Theta functions are naturally thought of as being the states in the geometric quantization of the given complex space, the given holomorphic line bundle being the prequantum line bundle and the condition of holomorphicity of the section being the polarization condition. See for instace (Tyurin 02). In this context they play a proming role specifically in the quantization of higher dimensional Chern-Simons theory and of self-dual higher gauge theory.See there for more.

Examples

References

Introductions to the traditional notion include

  • D.H. Bailey et al, The Miracle of Theta Functions (web)

  • M. Bertola, Riemann surfaces and theta functions (pdf)

A modern textbook account is

Further discussion with an emphasis of the origin of theta functions in geometric quantization is in

  • Arnaud Beuville, Theta functions, old and new (pdf)

  • Andrei Tyurin, Quantization, Classical and quantum field theory and theta functions (arXiv:math/0210466v1)

  • Yuichi Nohara, Independence of polarization in geometric quantization (pdf)

Relation to conformal blocks:

Relation to elliptic genera (see also at Jacobi form)

  • Kefeng Liu, section 2.4 of On modular invariance and rigidity theorems, J. Differential Geom. Volume 41, Number 2 (1995), 247-514 (EUCLID, pdf)

Revised on June 2, 2014 02:28:00 by Urs Schreiber (89.204.135.76)