Jacobiform

Jacobiformen sind in der Funktionentheorie bestimmte Erweiterungen des Konzepts von Modulformen in zwei komplexen Variablen (sie sind automorphe Formen). Beispiel sind Jacobi-Thetafunktionen und die Weierstraßsche p-Funktion. Ihre Theorie wurde besonders von Don Zagier und Martin Eichler entwickelt und zum Beispiel von Nils-Peter Skoruppa.

Während übliche Modulformen (Gewicht k) auf dem Raum der Elliptischen Funktionen definiert sind und diese über die j-Funktion parametrisieren (Elliptische Funktionen sind auf der komplexen Ebene modulo einem Gitter definiert und die Modulformen sind auf der Äquivalenzklasse dieser Gitter definiert), gehen Jacobiformen einen Schritt weiter und sind zusätzlich analytische Funktionen auf elliptischen Kurven (definiert mit einem durch τ ∈ H {\displaystyle \tau \in \mathbb {H} } aus der oberen Halbebene festgelegten Gitter) über eine zweite Variable z {\displaystyle z} .

f ( τ , z ) : H × C → C {\displaystyle f(\tau ,z):\mathbb {H} \times \mathbb {C} \to \mathbb {C} }

Unter der Modulgruppe Γ {\displaystyle \Gamma } transformieren sie mit folgenden Automorphie-Faktoren:

f ( a τ + b c τ + d , z c τ + d ) = ( c τ + d ) k e ( 2 π i N c z 2 c τ + d ) f ( τ , z ) {\displaystyle f\left({\frac {a\tau +b}{c\tau +d}},{\frac {z}{c\tau +d}}\right)={(c\tau +d)}^{k}e^{\left({\frac {2\pi iNcz^{2}}{c\tau +d}}\right)}f(\tau ,z)}

f ( τ , z + l τ + m ) = e − 2 π i N ( l 2 τ + 2 l z ) f ( τ , z ) {\displaystyle f(\tau ,z+l\tau +m)=e^{-2\pi iN(l^{2}\tau +2lz)}f(\tau ,z)}

für z ∈ C {\displaystyle z\in \mathbb {C} } , τ ∈ H {\displaystyle \tau \in \mathbb {H} } , l , m ∈ Z {\displaystyle l,m\in \mathbb {Z} } und ( a b c d ) ∈ Γ {\displaystyle \left({\begin{smallmatrix}a&b\\c&d\end{smallmatrix}}\right)\in \Gamma } . Dabei ist k {\displaystyle k} das Gewicht und N {\displaystyle N} der Index der Jacobiform.

Außerdem wird wie bei Modulformen eine Wachstumsbedingung verlangt. Sie lautet, dass die Fourierentwicklung (es ist q = exp ⁡ 2 π i τ {\displaystyle q=\exp {2\pi i\tau }} , ζ = exp ⁡ 2 π i z {\displaystyle \zeta =\exp {2\pi iz}} ):

f ( τ , z ) = ∑ n = 0 ∞ ∑ r ∈ Z r 2 ≤ 4 N n c ( n , r ) q n ζ r {\displaystyle f(\tau ,z)=\sum _{n=0}^{\infty }\sum _{r\in \mathbb {Z} \atop r^{2}\leq 4Nn}c(n,r)q^{n}\zeta ^{r}}

mit den Fourierkoeffizienten c ( n , r ) {\displaystyle c(n,r)} ist.

Nach Don Zagier lassen sich viele physikalisch relevante Anwendungen von Modulformen (im verallgemeinerten Sinn)^[1] und Thetafunktionen unter den Jacobiformen einordnen, zum Beispiel sind einige Charaktere in irreduziblen Darstellungen höchsten Gewichts von Kac-Moody-Algebren Jacobiformen.^[2] Wichtige Beispiele sind verallgemeinerte Eisensteinreihen.

• Don Zagier, Introduction to modular forms, M. Waldschmidt, P. Moussa, J.-M. Luck, C. Itzykson, From Number Theory to Physics, Springer 1995, Kapitel 4, S. 277ff, Online, pdf
• Don Zagier, Martin Eichler, The theory of Jacobi forms, Birkhäuser 1985

1. ↑ Die üblichen Modulformen sind Spezialfälle der Jacobiformen, wenn man die z-Abhängigkeit vernachlässigt.
2. ↑ Zagier, Introduction to modular forms in Waldschmidt, u. a. From Number Theory to Physics, Springer 1995, S. 278.