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.
Let [math]\displaystyle{ \mathbb{M}_k }[/math] be the space of entire modular forms of weight [math]\displaystyle{ k }[/math] and [math]\displaystyle{ \mathbb{S}_k }[/math] the space of cusp forms.
The mapping [math]\displaystyle{ \langle \cdot , \cdot \rangle : \mathbb{M}_k \times \mathbb{S}_k \rightarrow \mathbb{C} }[/math],
is called Petersson inner product, where
is a fundamental region of the modular group [math]\displaystyle{ \Gamma }[/math] and for [math]\displaystyle{ \tau = x + iy }[/math]
is the hyperbolic volume form.
The integral is absolutely convergent and the Petersson inner product is a positive definite Hermitian form.
For the Hecke operators [math]\displaystyle{ T_n }[/math], and for forms [math]\displaystyle{ f,g }[/math] of level [math]\displaystyle{ \Gamma_0 }[/math], we have:
This can be used to show that the space of cusp forms of level [math]\displaystyle{ \Gamma_0 }[/math] has an orthonormal basis consisting of simultaneous eigenfunctions for the Hecke operators and the Fourier coefficients of these forms are all real.
Original source: https://en.wikipedia.org/wiki/Petersson inner product.
Read more |