Let S wþ2 be the vector space of cusp forms of weight w þ 2 on the full modular group, and let S Ã wþ2 denote its dual space. Periods of cusp forms can be regarded as elements of S Ã wþ2 . The Eichler-Shimura isomorphism theorem asserts that odd (or even) periods span S Ã wþ2 . However, periods are not linearly independent; in fact, they satisfy the Eichler-Shimura relations. This leads to a natural question: which periods would form a basis of S Ã wþ2 .
First we give an answer to this question. Passing to the dual space S wþ2 , we will determine a new basis for S wþ2 . The even period polynomials of this basis elements are expressed explicitly by means of Bernoulli polynomials.
Next we consider three spaces-S wþ2 , the space of even Dedekind symbols of weight w with polynomial reciprocity laws, and the space of even period polynomials of degree w. There are natural correspondences among these three spaces. All these spaces are equipped with compatible action of Hecke operators. We will find explicit forms of period polynomials and the actions of Hecke operators on the period polynomials.
Finally we will obtain explicit formulas for Hecke operators on S wþ2 in terms of Bernoulli numbers B k and divisor functions s k ðnÞ, which are quite di¤erent from the Eichler-Selberg trace formula.
Fukuhara, Explicit formulas for Hecke operators