On the trace formula for Hecke operators on congruence subgroups, II

In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups $\Gamma_0(N)$ and $\Gamma_1(N)$, obtaining explicit formulas in terms of class numbers for the trace of a composition of Hecke and Atkin-Lehner operators. The formulas are among the simplest in the literature, and hold without any restriction on the index of the operators. We give two applications of the trace formula for $\Gamma_1(N)$: we determine explicit trace forms for $\Gamma_0(4)$ with Nebentypus, and we compute the limit of the trace of a fixed Hecke operator as the level $N$ tends to infinity

An algebraic property of Hecke operators and two indefinite theta series

We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for the theta series associated with the sum of four squares.Comment: 11 pages. Published version. Forum Math., published online February 201

A trace formula for Hecke operators on Fuchsian groups

In this paper we give a trace formula for Hecke operators acting on the cohomology of a Fuchsian group of finite covolume, with coefficients in a module $V$. The proof is based on constructing an operator whose trace on $V$ equals the Lefschetz number of the Hecke correspondence on cohomology, generalizing the operator introduced together with Don Zagier for the modular group.Comment: 12 page