Petersson-Skalarprodukt

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

In der Mathematik versteht man unter dem Petersson-Skalarprodukt ein bestimmtes Skalarprodukt auf dem Vektorraum der ganzen Modulformen. Eingeführt wurde dieses Skalarprodukt von Hans Petersson.

Es sei der Vektorraum der ganzen Modulformen zum Gewicht und der Vektorraum der Spitzenformen.

Die Abbildung ,

heißt Petersson-Skalarprodukt. Dabei ist

der Fundamentalbereich der Modulgruppe , und für ist

das hyperbolische Volumenelement. Man beachte, dass man formal auch für eine der beiden Komponente des Skalarprodukts eine ganze Modulformen aus in die obige Formel einsetzen darf, weil das Integral auch dann noch konvergiert. Jedoch müssen in der Definition eines Skalarprodukts beide Komponenten aus demselben Vektorraum stammen, weshalb man das Petersson-Skalarprodukt üblicherweise in der obigen Form definiert.

Das Integral ist absolut konvergent, und das Petersson-Skalarprodukt ist eine positiv definite Hermitesche Form.

Für die Hecke-Operatoren gilt

.

Damit lässt sich zeigen, dass der Vektorraum der Spitzenformen eine Orthonormalbasis aus simultanen Eigenformen zu den Hecke-Operatoren besitzt und dass die Fourier-Koeffizienten dieser Formen alle reell sind.

  • T.M. Apostol: Modular Functions and Dirichlet Series in Number Theory. Springer-Verlag, Berlin/Heidelberg/New York 1990, ISBN 3-540-97127-0.
  • M. Koecher, A. Krieg: Elliptische Funktionen und Modulformen. Springer-Verlag, Berlin/Heidelberg/New York 1998, ISBN 3-540-63744-3.
  • S. Lang: Introduction to Modular Forms. Springer-Verlag, Berlin/Heidelberg/New York 2001, ISBN 3-540-07833-9.