show · cmf.petersson_scalar_product all knowls · up · search:

Let $f$ and $g$ be two modular forms with respect to a finite index subgroup $G$ of $\Gamma$. When it exists, we define the Petersson scalar product of $f$ and $g$ with respect to the group $G$ by $\langle f,g\rangle_G=\frac{1}{[\Gamma:G]}\int_{\mathfrak{F}}f(z)\overline{ g(z)}y^kd\mu,$ where $\mathfrak{F}$ is a fundamental domain for $G$ and $d\mu=dxdy/y^2$ is the measure associated to the hyperbolic metric.

Note that the Petersson scalar product exists if at least one of $f$, $g$ is a cusp form.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by David Farmer on 2019-04-11 22:49:52
Referred to by:
History:
Differences