nLab
theta function

Context

Complex geometry

Geometric quantization

Contents

Idea

General

Generally, a theta function (θ\theta-function, Θ\Theta-function) is a holomorphic section of a (principally polarizing) holomorphic line bundle over a complex torus / abelian variety. (e.g. Polishchuk 03, section 17) and in particular over a Jacobian variety (Beauville) such as prequantum line bundles for (abelian) gauge theory. 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 coordinates z\mathbf{z} on the covering g\mathbb{C}^g of the complex torus g/ g\mathbb{C}^g/\mathbb{Z}^g, a θ\theta-function appears as an actual function zθ(z)\mathbf{z} \mapsto \theta(\mathbf{z}) satisfying certain transformation properties, and this is how theta functions are considered.

Those theta functions encoding line bundles on a Jacobian variety J(Σ)J(\Sigma) of a Riemann surface Σ\Sigma typically vary in a controlled way with the complex structure modulus τ\mathbf{\tau} of Σ\Sigma and are hence really functions also of this variable (z,τ)θ(z,τ)(\mathbf{z},\mathbf{\tau}) \mapsto \theta(\mathbf{z}, \mathbf{\tau}) with certain transformation properties. These are the Riemann theta functions. If here Σ\Sigma is complex 1-dimensional of genus g=1g = 1 (hence a complex elliptic curve) then such a function (z,τ)θ(z,τ)(z,\tau) \mapsto \theta(z,\tau) of two variables with the pertinent transformation properties is properly called a Jacobi form. Nevertheless the principal examples here are called Jacobi theta functions.

Specifically in the context of number theory/arithmetic geometry, by the theta function one usually means the Jacobi theta function (see there for more) for z=0z = 0. While this is the historically first and archetypical function from which all modern generalizations derive their name, notice that at fixed zz as a function in τ\tau the “theta function” is not actually a section of a line bundle anymore.

Certain integrals of theta functions yield zeta functions, see also at function field analogy.

context/function field analogytheta function θ\thetazeta function ζ\zeta (= Mellin transform of θ(0,)\theta(0,-))eta function η\eta and L-function L zL_{\mathbf{z}} of Galois representation/flat connection z\mathbf{z}special values of L-functions
physics/2d CFTpartition function θ(z,τ)=Tr(exp(τ(D z) 2))\theta(\mathbf{z},\mathbf{\tau}) = Tr(\exp(-\mathbf{\tau} \cdot (D_\mathbf{z})^2)) as function of complex structure τ\mathbf{\tau} of worldsheet Σ\Sigma (hence polarization of phase space) and background gauge field/source z\mathbf{z}analytically continued Feynman propagator ζ(s)=Tr reg(1(D 0) 2) s= 0 τ s1θ(0,τ)dτ\zeta(s) = Tr_{reg}\left(\frac{1}{(D_{0})^2}\right)^s = \int_{0}^\infty \tau^{s-1} \,\theta(0,\tau)\, d\tauanalytically continued Dirac propagator η z(s)=Tr reg(sgn(D z)D z) s\eta_{\mathbf{z}}(s) = Tr_{reg} \left(\frac{sgn(D_{\mathbf{z}})}{ D_{\mathbf{z}} }\right)^s regularized Feynman propagator pvζ(1)=Tr reg(1(D z) 2)pv\, \zeta(1) = Tr_{reg}\left(\frac{1}{(D_{\mathbf{z}})^2}\right) / regularized Dirac propagator pvη(1)=Tr reg(D z(D z) 2)pv\, \eta(1)= Tr_{reg} \left( \frac{D_{\mathbf{z}}}{(D_{\mathbf{z}})^2} \right) / path integral ζ (0)=lndet reg(D z 2)\zeta^\prime(0) = - \ln\;det_{reg}(D_{\mathbf{z}}^2)
analysiszeta function of an elliptic differential operatoreta function of a self-adjoint operatorfunctional determinant
complex analytic geometrysection θ(z,τ)\theta(\mathbf{z},\mathbf{\tau}) of line bundle over Jacobian variety J(Σ τ)J(\Sigma_{\mathbf{\tau}}) in terms of covering coordinates z\mathbf{z} on gJ(Σ τ)\mathbb{C}^g \to J(\Sigma_{\mathbf{\tau}})zeta function of a Riemann surfaceSelberg zeta function
arithmetic geometry for a function fieldGoss zeta function (for arithmetic curves) and Weil zeta function (in higher dimensional arithmetic geometry)
arithmetic geometry for a number fieldHecke theta function, automorphic formDedekind zeta function (being the Artin L-function L zL_{\mathbf{z}} for z=0\mathbf{z} = 0 the trivial representation)Artin L-function L zL_{\mathbf{z}} of a Galois representation z\mathbf{z}, expressible “in coordinates” (by Artin reciprocity) as a finite-order Hecke L-function (for 1-dimensional representations) and generally (via Langlands correspondence) by an automorphic L-function (for higher dimensional reps)class number \cdot regulator
arithmetic geometry for \mathbb{Q}Jacobi theta functionRiemann zeta functionArtin L-function of a Galois representation z\mathbf{z} , expressible “in coordinates” (via Artin reciprocity) as a Dirichlet L-function (for 1-dimensional Galois representations) and generally (via Langlands correspondence) as an automorphic L-function

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 instance (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.

Specifically the fact that in geometric quantization of Chern-Simons theory in the abelian case, and the holographically dual partition functions of the WZW model the choice of polarization is induced from the choice of complex structure τ\mathbf{\tau} on a given Riemann surface Σ\Sigma and for each such choice there is then a section/partition function depending on a coordinte z\mathbf{z} in the Jacobian J(Σ)J(\Sigma) is reflected in the double coordinate dependence of the theta function:

θ(z,τ)=θ(gaugefieldconfigurationonΣ,complexstructureonΣ). \theta(\mathbf{z},\mathbf{\tau}) = \theta\left(gauge\;field\;configuration\;on\;\Sigma\;, \; complex\;structure\;on\;\Sigma\right) \,.

see e.g. (AlvaresGaume-Moore-Vafa 86, Bunke-Olbrich 94, around def. 4.5).

Since from the point of view of Chern-Simons theory this is a wavefunction, one might rather want to write Ψ(z,τ)\Psi(\mathbf{z},\mathbf{\tau}).

Definition

Consider a complex torus TV/ΓT \simeq V/\Gamma for given finite group Γ\Gamma.

Say that a system of multipliers is a system of invertible holomorphic functions

e γ:V × e_\gamma \colon V \longrightarrow \mathbb{C}^\times \hookrightarrow \mathbb{C}

satisfying the cocycle condition

e γ+δ(z)=e γ(z+δ)e δ(z). e_{\gamma + \delta}(z) = e_\gamma(z + \delta) e_\delta(z) \,.

Then a theta function is a holomorphic function

θ:V \theta \colon V \longrightarrow \mathbb{C}

for which there is a system of multipliers {e γ}\{e_\gamma\} satisfying the functional equation which says that for each zVz \in V and γΓV\gamma \in \Gamma \hookrightarrow V we have

θ(z+γ)=e γ(z)θ(z). \theta(z + \gamma) = e_\gamma(z) \theta(z) \,.

e.g. (Beauville, above prop. 2.2), also (Beauville, section 3.4)

Examples

The following table lists classes of examples of square roots of line bundles

line bundlesquare rootchoice corresponds to
canonical bundleTheta characteristicover Riemann surface and Hermitian manifold (e.g.Kähler manifold): spin structure
density bundlehalf-density bundle
canonical bundle of Lagrangian submanifoldmetalinear structuremetaplectic correction
determinant line bundlePfaffian line bundle
quadratic secondary intersection pairingpartition function of self-dual higher gauge theoryintegral Wu structure

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)

Modern textbook accounts include

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

  • Arnaud Beauville, Theta functions, old and new, Open Problems and Surveys of Contemporary Mathematics SMM6, pp. 99–131 (pdf)

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

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

  • Gerard Lion, Michele Vergne, The Weil representation, Maslov index and theta series

Specifically the theta functions appearing in 2d CFT as conformal blocks and as prequantum line bundles in quantization of Chern-Simons theory are discussed for instance in

and more generally the partition functions of connection-twisted Dirac operators on even-dimensional locally symmetric spaces is discussed in

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)

The generalization of theta functions to automorphic forms is due to

  • André Weil, Sur certaines groups d’operateur unitaires, Acta. Math. 111 (1964), 143-211

see Gelbhart 84, page 35 (211) for review.

Revised on August 29, 2014 06:23:26 by Urs Schreiber (89.204.138.134)