Spitzenform

In der Zahlentheorie wird eine holomorphe Modulform f {\displaystyle f} zur Modulgruppe Γ = S L ( 2 , Z ) {\displaystyle \Gamma =SL(2,\mathbb {Z} )} (manchmal wird auch P S L ( 2 , Z ) {\displaystyle PSL(2,\mathbb {Z} )} als Modulgruppe definiert) als Spitzenform (engl.: cusp form) bezeichnet, wenn sie in der Spitze (cusp), das heißt für I m z → ∞ {\displaystyle Im\,z\to \infty } verschwindet.

Eine äquivalente Bedingung ist, dass der konstante Term a 0 = f ( 0 ) {\displaystyle a_{0}=f(0)} in der Fourier-Entwicklung

f ( z ) = ∑ a n e 2 π i n z = ∑ a n q n {\displaystyle f(z)=\sum a_{n}e^{2\pi inz}=\sum a_{n}q^{n}}

mit q = e 2 π i z {\displaystyle q=e^{2\pi iz}} , verschwindet:

a 0 = 0 {\displaystyle a_{0}=0} .

und keine negativen n in der Entwicklung vorhanden sind (die Modulform ist holomorph). Dann verschwindet f {\displaystyle f} in der Spitze q = 0 {\displaystyle q=0} .

Man kann auch Spitzenformen zu Kongruenzuntergruppen Γ ∗ {\displaystyle \Gamma _{*}} der Modulgruppe betrachten, dann gibt es im Allgemeinen mehrere Spitzen, parametrisiert durch rationale Zahlen im Unendlichen. Das entspricht dem Grenzwert a c {\displaystyle {\frac {a}{c}}} für z → ∞ {\displaystyle z\to \infty } im Transformationsgesetz z → a z + b c z + d {\displaystyle z\to {\frac {az+b}{cz+d}}} der Modulform, wobei sich nur endliche viele Spitzen im Unendlichen ergeben als Repräsentant jeweils eines Orbits. Kompaktifiziert man den Quotientenraum der oberen Halbebene H ∖ Γ ∗ {\displaystyle \mathbb {H} \backslash \Gamma _{*}} durch Hinzunahme der Spitzen erhält man die Riemannsche Flächen der zugehörigen Modulkurven.

Im Folgenden werden die Spitzenformen zur vollen Modulgruppe betrachtet. Aus der Definition folgt, dass es für ungerade Gewichte keine nicht-verschwindenden Spitzenformen gibt. Die Dimension des Raumes der Spitzenformen mit gegebenem Gewicht k ∈ Z {\displaystyle k\in \mathbb {Z} } kann mit dem Satz von Riemann-Roch berechnet werden. Die kleinsten Gewichte, für die nichttriviale Spitzenformen existieren, sind

k = 12 , 16 , 18 , 20 , 22 , 26 {\displaystyle k=12,16,18,20,22,26} ,

in allen diesen Fällen ist der Raum der Spitzenformen 1-dimensional, es gibt zu diesen Gewichten also jeweils eine bis auf Multiplikation mit komplexen Zahlen eindeutige Spitzenform. Allgemein ist die Dimension des Vektorraums der Spitzenformen zum Gewicht k = 2 m {\displaystyle k=2m} gleich [ m 6 ] − 1 {\displaystyle \left[{\frac {m}{6}}\right]-1} falls m ≡ 1   m o d   6 {\displaystyle m\equiv 1\ mod\ 6} ist und gleich [ m 6 ] {\displaystyle \left[{\frac {m}{6}}\right]} sonst.

Beispielsweise ist die bis auf Multiplikation mit komplexen Zahlen eindeutige Spitzenform zum Gewicht 12 die Diskriminante

Δ ( z ) = ( 2 π ) 12 ∑ n = 1 ∞ τ ( n ) e 2 π i n z {\displaystyle \Delta (z)=(2\pi )^{12}\sum _{n=1}^{\infty }\tau (n)\,{\mathrm {e} }^{2\pi inz}} ,

deren Fourier-Koeffizienten τ ( n ) {\displaystyle \tau (n)} die Ramanujansche tau-Funktion definieren.

Die Fourier-Koeffizienten einer Spitzenform zum Gewicht k = 2 m {\displaystyle k=2m} verschwinden in 0 {\displaystyle 0} zur Ordnung m {\displaystyle m}

a n = O ( n k ) {\displaystyle a_{n}=O(n^{k})} .

Das Petersson-Skalarprodukt auf dem Raum der Spitzenformen ist definiert durch

⟨ f , g ⟩ := ∫ F f ( τ ) g ( z ) ¯ ( Im ⁡ z ) k d ν ( z ) {\displaystyle \langle f,g\rangle :=\int _{\mathrm {F} }f(\tau ){\overline {g(z)}}(\operatorname {Im} z)^{k}{\rm {d}}\nu (z)} ,

wobei F = { z ∈ H | | Re ⁡ z | ≤ 1 2 , | z | ≥ 1 } {\displaystyle \mathrm {F} =\{z\in \mathrm {H} |\left|\operatorname {Re} z\right|\leq {\tfrac {1}{2}},\left|z\right|\geq 1\}} der Fundamentalbereich der Modulgruppe Γ {\displaystyle \Gamma } und d ν ( z ) = y − 2 d x d y {\displaystyle {\rm {d}}\nu (z)=y^{-2}{\rm {d}}x{\rm {d}}y} mit z = x + i y {\displaystyle z=x+iy} das hyperbolische Volumenelement ist.

• Tom Apostol: Modular functions and Dirichlet series in number theory. Second edition. Graduate Texts in Mathematics, 41. Springer-Verlag, New York, 1990. ISBN 0-387-97127-0

• Cusp Form (MathWorld)
• The L-functions and modular forms data base