Editing Theta function (section)

===Riemann theta function===
Let

:<math>\mathbb{H}_n=\left\{F\in M(n,\Complex) \,\big|\, F=F^\mathsf{T} \,,\, \operatorname{Im} F >0 \right\}</math>

be the set of [[symmetric]] square [[matrix (mathematics)|matrices]] whose imaginary part is [[Positive-definite matrix|positive definite]]. <math>\mathbb{H}_n</math> is called the [[Siegel upper half-space]] and is the multi-dimensional analog of the [[upper half-plane]]. The {{mvar|n}}-dimensional analogue of the [[modular group]] is the [[symplectic group]] {{math|Sp(2''n'',<math>\mathbb{Z}</math>)}}; for {{math|''n'' {{=}} 1}}, {{math|Sp(2,<math>\mathbb{Z}</math>) {{=}} SL(2,<math>\mathbb{Z}</math>)}}. The {{mvar|n}}-dimensional analogue of the [[congruence subgroup]]s is played by

:<math>\ker \big\{\operatorname{Sp}(2n,\Z)\to \operatorname{Sp}(2n,\Z/k\Z) \big\}.</math>

Then, given {{math|''τ'' ∈ <math>\mathbb{H}_n</math>}}, the '''Riemann theta function''' is defined as

:<math>\theta (z,\tau)=\sum_{m\in \Z^n} \exp\left(2\pi i \left(\tfrac12 m^\mathsf{T} \tau m +m^\mathsf{T} z \right)\right). </math>

Here, {{math|''z'' ∈ <math>\mathbb{C}^n</math>}} is an {{mvar|n}}-dimensional complex vector, and the superscript '''T''' denotes the [[transpose]]. The Jacobi theta function is then a special case, with {{math|''n'' {{=}} 1}} and {{math|''τ'' ∈ <math>\mathbb{H}</math>}} where {{math|<math>\mathbb{H}</math>}} is the [[upper half-plane]]. One major application of the Riemann theta function is that it allows one to give explicit formulas for meromorphic functions on compact [[Riemann surface]]s, as well as other auxiliary objects that figure prominently in their function theory, by taking {{mvar|τ}} to be the period matrix with respect to a canonical basis for its first [[Homology (mathematics)|homology group]].

The Riemann theta converges absolutely and uniformly on compact subsets of <math>\mathbb{C}^n \times \mathbb{H}_n</math>.

The functional equation is

:<math>\theta (z+a+\tau b, \tau) = \exp\left( 2\pi i \left(-b^\mathsf{T}z-\tfrac12 b^\mathsf{T}\tau b\right)\right) \theta (z,\tau)</math>

which holds for all vectors {{math|''a'', ''b'' ∈ <math>\mathbb{Z}^n</math>}}, and for all {{math|''z'' ∈ <math>\mathbb{C}^n</math>}} and {{math|''τ'' ∈ <math>\mathbb{H}_n</math>}}.