The previous lecture in this series is here.
We define the Petersson inner product on modular forms and use it to show that the eigenforms of the Hecke algebra span the space of modular forms.
This video is part of a lecture course by Richard Borcherds from 2021.