In mathematics the Petersson inner product is an inner product defined on the space of entire modular forms. It was introduced by the German mathematician Hans Petersson.

Definition

Let $mathbb\left\{M\right\}_k$ be the space of entire modular forms of weight k and $mathbb\left\{S\right\}_k$ the space of cusp forms.

The mapping $langle cdot , cdot angle : mathbb\left\{M\right\}_k imes mathbb\left\{S\right\}_k ightarrow mathbb\left\{C\right\}$,

:$langle f , g angle := int_mathrm\left\{F\right\} f\left( au\right) overline\left\{g\left( au\right)\right\}$

(operatorname{Im} au)^k d u ( au)

is called Petersson inner product, where

:$mathrm\left\{F\right\} = left\left\{ au in mathrm\left\{H\right\} : left| operatorname\left\{Re\right\} au ight| leq frac\left\{1\right\}\left\{2\right\}, left| au ight| geq 1 ight\right\}$

is a fundamental region of the modular group $Gamma$ and for $au = x + iy$

:$d u\left( au\right) = y^\left\{-2\right\}dxdy$

is the hyperbolic volume form.

Properties

The integral is absolutely convergent and the Petersson inner product is a positive definite Hermite form.

For the Hecke operators $T_n$ we have:

:$langle T_n f , g angle = langle f , T_n g angle$

This can be used to show that the space of cusp forms has an orthonormal basis consisting of simultaneous eigenfunctions for the Hecke operators and the Fourier coefficients of these forms are all real.

References

* 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

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Hans Petersson — (26 June 1902 ndash; 1984) was a German mathematician. He introduced the Petersson inner product and is also known for the Ramanujan Petersson conjecture.Petersson was born in Bentschen and died in Münster …   Wikipedia

• Atkin–Lehner theory — In mathematics, Atkin–Lehner theory is part of the theory of modular forms, in which the concept of newform is defined in such a way that the theory of Hecke operators can be extended to higher level. A newform is a cusp form new at a given level …   Wikipedia

• List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

• Hecke operator — In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by Hecke (1937), is a certain kind of averaging operator that plays a significant role in the structure of vector spaces of modular forms and more… …   Wikipedia

• Fundamental domain — In geometry, the fundamental domain of a symmetry group of an object or pattern is a part of the pattern, as small as possible, which, based on the symmetry, determines the whole object or pattern. The set of orbits of the symmetry group define a …   Wikipedia

• Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 …   Wikipedia