The Petersson inner product is defined on the space $\mathcal{S}_k(\Gamma)$ of weight $k$ cusp forms of level $\Gamma$, and takes values in $\mathbb{C}$.
First of all, I wonder: what does it mean for a complex-valued inner product to be positive definite?
Then, can anyone show me why the Petersson inner product is positive definite?